)/(70/144) + (-6)/(-15). Let l be g(f). Is l not equal to -10/7?
True
Let w(q) be the third derivative of q**6/60 + 7*q**5/30 - 7*q**4/8 - 8*q**3/3 + 36*q**2. Let o be w(-8). Is 23 at least o?
False
Let n = -2.15 + 2.2. Let y = 953 - 949. Which is smaller: n or y?
n
Let u(h) = -2*h**3 + 10*h**2 - h + 4. Let q(a) = -5*a**3 - a**2 + a + 2. Let j be q(-1). Let n be u(j). Is 1/60 <= n?
False
Suppose v - 3*g = -3*v + 77, 0 = 4*v - 4*g - 80. Let t(x) = 18*x - 2. Let u(z) = 9*z - 1. Let l(h) = 4*t(h) - 9*u(h). Let f be l(-2). Is f greater than v?
True
Let t = -5441 + 13902. Is t < 8462?
True
Let b = -7413 + 7833. Which is greater: -2/27 or b?
b
Let v be ((-640)/(-192))/((52/(-6))/2). Let g = 28 - 30. Is v equal to g?
False
Let m = -158 + 144. Let w = -12 - m. Which is smaller: 0 or w?
0
Let f be -1*19/(-1)*1 + -2. Suppose -6*q - 55 = -f*q. Suppose 4 = -q*t + 2*u - 1, -3*u = 5*t - 20. Which is bigger: t or 1/53?
t
Suppose -2*w = 22*w + 3*w. Let q be (w - (3 + -2))*-1. Is 2/183 at least q?
False
Let q be (-10)/78 + -3 + 101/(-303). Which is smaller: -20 or q?
-20
Suppose -6*l + 730 + 56 = 0. Let m = l + -134. Suppose -5*x + 20 = 0, 4*h = 3*x - 2*x - 20. Is m greater than h?
True
Suppose -384 = 9*m - 24. Let t be (108/m + (-9)/6)*-15. Which is greater: 1/2 or t?
t
Let r be (-62)/88 + (-4)/(-16). Suppose -5*m + 3 = -4*o, -3 = 5*o - 18. Suppose -2*f - 4*i = -f - 11, -5*f - m*i = -4. Is f bigger than r?
False
Let t(x) = 2*x**2 - 10*x + 8. Let a be t(4). Let v be ((-1)/4)/((-5)/(96 + 4)). Let j be 3/4*(300/v)/(-5). Is a > j?
True
Let i be ((-39)/(-6) + -3)*(-3)/(-210)*-5. Which is greater: i or -1098?
i
Suppose -2*c + 3*c - 64 = -2*r, -3*r + 3*c = -114. Let z = 38 - r. Suppose d = w + z, 0 = -5*w - 4*d + 2 + 5. Which is greater: w or 2/13?
2/13
Suppose -4*u + 7*u = -r + 39, -5*r + 135 = -5*u. Suppose 7*i - r = i. Suppose -7*m - i = -12*m. Which is smaller: m or 12?
m
Let k(p) = -p**3 - 2*p**2 + 3. Let l be k(0). Suppose -69 = 3*i + l*z, -2*z + z - 101 = 4*i. Is i less than or equal to -24?
True
Let i be (6/(-84))/((-593)/(-912) - (-16)/(-24)). Which is smaller: i or 3?
3
Let c be (-5432)/(-21) - (-2)/6 - 2. Let u = c + -245. Is u < 12?
False
Let a be (16/12)/(1/(-3)). Let c be (24/(-16))/((-3)/a). Let j be (2/(-16))/(c/(-4)). Do -1 and j have the same value?
False
Let v be (876/(-8))/((-2)/(-4)). Suppose -4400 = -2*w + 22*w. Is w greater than v?
False
Suppose 4*y + 9 = 13. Let p be -2 + (4 - 23/13). Which is greater: y or p?
y
Suppose 260 = -47*b - 163. Is -92/9 < b?
True
Suppose 2202*c = 1101*c + 1099*c - 256. Is c > -0.8?
False
Let i = -108.1 - -100. Let m = i - -8.1. Is m at most as big as -122?
False
Let v = 1638470239/3590184 + -2/448773. Is 455 greater than v?
False
Let x = 200373/56 + -3578. Suppose 25 - 2 = -3*y - 4*i, 5*y - 15 = 4*i. Is x less than y?
False
Let p(t) = -5*t**2 + 5*t**2 - 22 - t**3 + 10*t**2 - 6 + t + 3*t**2. Let l be p(15). Is -463 greater than or equal to l?
True
Let i be (5 - 316/(-10))*(8 + -3). Which is smaller: i or -2?
-2
Let u = 65485.93 - 65486. Let s = -5/28 + 3/7. Which is smaller: s or u?
u
Let h(m) = 55*m**2 + 865*m - 30. Let c be h(-16). Is c at least as big as 211?
False
Let c be (-2*(-1 + 0))/(14/63). Suppose -3*h - 3 + c = 0. Suppose -h*x + 5 - 7 = 0. Which is smaller: x or 2?
x
Let t = 78 + -78. Suppose i + b + 4 = t, -4*b = -5*i - 2*b - 13. Is i bigger than -5?
True
Let g(k) = 2*k**2 - 36*k + 37. Let j be g(17). Are j and 10 non-equal?
True
Let l(d) = d**2 - 8*d - 10. Let s be l(12). Suppose 41*k = s*k + 42. Let t be (2 + 165/(-100))*4/k. Is 0 greater than t?
False
Let o(i) be the second derivative of -i**4/12 - 19*i**3/6 - 35*i**2/2 - i - 9. Let x be o(-11). Which is smaller: 52 or x?
52
Let f be (-45)/25 + 253/55 + -4. Which is greater: 3/41 or f?
3/41
Let w = 1.23 + -1.43. Let h = 1.3 - 1.3. Let b = h - 20. Which is smaller: b or w?
b
Let z = -0.05452 - 0.94548. Is z > 0.858?
False
Suppose -202 = 5*x - 187. Which is smaller: -273/131 or x?
x
Let p = 1941 - 1814. Which is smaller: p or 897/7?
p
Let r be -15286 - (6 + -3) - (-9)/1. Which is smaller: -15281 or r?
-15281
Suppose 5*j + 7*m - 4*m + 593 = 0, 4*j - 4*m = -468. Let c = j + 172. Let v be (-70)/c - (-12)/9. Which is smaller: v or 1?
v
Suppose -5*z - 5 = 0, 3*r + 2*z + 10 - 65 = 0. Suppose -3*t + 247 = r. Suppose -234 = -10*m + t. Which is smaller: m or 30?
30
Let a be (3753/54)/(5/(-10)). Are a and -139 unequal?
False
Suppose 1385 - 338 = s. Let a be 5 + s/42 + 3/(-6). Which is bigger: 30 or a?
30
Let b = -31 - -7. Let d = -41 - b. Let y be d/(-4) - (0 + 4). Is -1 bigger than y?
False
Suppose 44*b - 7*b - 22*b + 30 = 0. Is -13/17 smaller than b?
False
Let w = 76749/4 - 18816. Is 372 bigger than w?
True
Let j(a) = -6*a + 4. Let i be j(-1). Let s be ((-4)/i*17)/((-9)/(-45)). Let p be 20/40*(-136)/2. Is s at least as big as p?
True
Let s(z) = z**2 - 3*z - 3. Let u be s(6). Let i be 985/u + 2/(-3). Let n = i + -64. Does 1/56 = n?
False
Let w be -3*(224/408 + (-4)/(-34)) + 3371. Which is smaller: 3372 or w?
w
Suppose 0 = -4*j + 6*j - 2. Suppose j = w - 4. Suppose w*l = -5*b - 110, -4*l - 190 = -5*b - 66. Which is smaller: l or -27?
-27
Suppose 5*g + 3370 = -5*b, 2027 = -3*g + 39*b - 41*b. Let w = g + 687. Which is smaller: 35/4 or w?
w
Let f(q) = -2*q - 20. Let z be f(-11). Suppose d - 3*m = 236, 3*d + 2*d = z*m + 1245. Is 251 equal to d?
True
Let m = -10049098/615 - -16340. Let p(b) = -3*b + 22. Let v be p(7). Which is bigger: v or m?
v
Let l be 888/(-51)*(-2)/(-4). Let t = 1308/119 + l. Let s(f) = 4*f - 3. Let p be s(1). Which is smaller: p or t?
p
Let z(x) = 5*x**3 - 373*x**2 - 149*x - 46. Let d be z(75). Are 28 and d unequal?
True
Let p(l) = -7*l - 84. Let i(s) = -4*s - 56. Let a(g) = 7*i(g) - 5*p(g). Let o be (-4)/12*-3*-8. Let m be a(o). Are m and -27 equal?
False
Suppose 0*x + 251 = -3*q + x, -4*q - x - 344 = 0. Let r be (68/q)/((-17)/10). Which is greater: -1 or r?
r
Suppose 211 - 46 = -3*p. Let c be (-1)/(20/784*(-256)/(-320)). Which is smaller: p or c?
p
Suppose 21*n + 27*n + 2006 = 14*n. Is n < -57?
True
Let z(k) = -2*k + 8. Let y be z(4). Is -376 at least y?
False
Suppose -65*l = -15*l - 2100. Suppose -22*k - 1428 = -l. Which is greater: k or -62?
-62
Suppose -222*c = -214 + 4210. Which is smaller: c or -1/99?
c
Let v = -3.64 - 158.36. Let m = 274 + v. Let d = 129 - m. Which is smaller: d or -1?
-1
Let d = -4.35 - -3.65. Let w = -0.081 - 1.919. Which is smaller: d or w?
w
Suppose -8*k = -23*k + 6630. Suppose -17*b + k = 17*b. Is b smaller than 10?
False
Suppose 4*y - 2*r = -48446, 5*y + 11414 = 3*r - 49143. Is y smaller than -12112?
False
Let r = -0.13 + 5.13. Let t = 122.1 + -117. Let f = r - t. Is f < 1.9?
True
Suppose -4378 = -46*u - 1664. Which is smaller: u or 60?
u
Let j(i) be the first derivative of 19*i**2/2 + 10*i + 36. Let n be j(3). Suppose v + 112 = 2*s, -3*s + 108 = -5*v - n. Which is smaller: 53 or s?
53
Suppose j + 4 = -4*x, 17 - 1 = -4*x - 4*j. Is -7/255 not equal to x?
True
Let a be (-36)/5*((-35)/(-3) + -5). Let d = a + 59. Which is smaller: d or 9?
9
Let i(a) = -817*a**3 + 2*a**2 - 7*a - 8. Let u be i(-1). Is -3 >= u?
False
Let t = -444 + 471. Suppose -9*a = -4*a, 0 = -3*x - 2*a + t. Is x less than 83/9?
True
Let a(z) = -7*z**3 + 8*z**2 + 4. Let h be a(-3). Let t = -50357/182 + -74/91. Let j = t + h. Which is bigger: j or -13?
j
Let i = 15464 - 8541. Does 6924 = i?
False
Let o be -3 + ((-410)/(-6))/(22 - -1). Is -1 at least as big as o?
False
Let n = 47 + -41. Suppose -2*s + 16 = i, 14 = -s + n*s - 4*i. Suppose 2*x = 5*v + 3*x + 4, -3*v + 3*x = s. Are -4/15 and v non-equal?
True
Let r = 2193 + -721498/329. Let v = r - 625/10857. Let m(o) = o**3 + 2*o**2 + o + 1. Let b be m(-1). Is v > b?
False
Let b(y) = 419*y + 7. Let f be b(-5). Let m be (0 - -6) + 11984/(-1554)*-270. Let o = m + f. Which is smaller: 1 or o?
o
Let p(z) = -12*z**3 - z. Let h be p(1). Let r(v) = v**2 + 13*v + 4. Let a be r(h). Suppose 0*k - a*k = -8*k. Which is greater: 2/13 or k?
2/13
Let o(b) = 5*b + 3 - 2*b**2 - 3 - 6 + 3*b. Let l be o(3). Suppose 0 = 4*q + 4*s + 4, -s + l = 4. Which is bigger: -7 or q?
q
Let s = -6.509 - -6.562. Which is bigger: 16/15 or s?
16/15
Let i = -4153 - -4210. Which is smaller: -5 or i?
-5
Let g be (-18)/4*748/1020. Which is smal