j or z?
j
Let x = 125.74 - 127.64. Which is greater: -0.06 or x?
-0.06
Let w = -336304 - -336513. Let a(h) = -41*h + 3. Let b be a(-5). Which is smaller: b or w?
b
Let o = 0.0202 + -0.3722. Let a = 0.052 + o. Does 0.086 = a?
False
Let l = -1309 - -569. Let w = 436 + l. Which is bigger: -306 or w?
w
Let j = -8/689 + 98946721/10335. Let f = -9617 + j. Let p = f + 43. Is p at most as big as -1?
False
Let d = 53 - 53. Suppose a = -4*t + 51, 3*t = -d*a + 5*a + 44. Suppose -4*z + z - 5*r - t = 0, 2*z + 4*r + 10 = 0. Is z bigger than -2/115?
False
Suppose -3*y - 4*x = 77, 5*y + 0*x = -3*x - 143. Let s = 135.9721 - -0.1279. Let b = -136 + s. Is y less than or equal to b?
True
Suppose -19*a - 6 = s - 15*a, 3*s + 58 = -4*a. Let t be 120/(-1)*s/(-52). Which is greater: t or -59?
-59
Let b = -0.4 + 0.3. Let f = -0.3 - b. Let r = -338676 - -338643. Are f and r equal?
False
Let w = 9 + 0. Let o(z) = -2 + 38*z**2 + 38*z**2 - 16*z - 7 - 74*z**2. Let r be o(9). Is r equal to w?
True
Suppose -7*v = -3*v - 5*n + 32, n = 5*v + 19. Suppose -373*k + 3120 = -367*k. Let b = k + -2618/5. Is v not equal to b?
True
Suppose 0 = -2*d + 9*n - 5*n - 2292, -2*d + n = 2283. Let m be (d/475)/((-78)/20). Is m less than or equal to 3/4?
True
Let w = -8 + 5. Let n be (-6)/27 + ((-1428)/(-108) - 18). Is n bigger than w?
False
Let v = -6349 - -11119. Which is smaller: 4771 or v?
v
Suppose 17*y - 42 = 1896. Let i be (-3657)/(-33) - 6*12/(-396). Which is smaller: y or i?
i
Suppose -35*u - 974 - 848 = -247. Suppose -135 = 3*l - 2*v, l = -2*v + 7*v - 45. Is l > u?
False
Let i = -5168 - -20735/4. Which is smaller: i or 11?
11
Let o be (473/(-86))/((-63)/(-62) - 1). Is o <= -341?
True
Let q = 252/121 - 3032/4477. Do 2 and q have different values?
True
Let a = -6/11201 - 2430563/100809. Which is smaller: a or -25?
-25
Suppose 0 = 2*k + 2*q + 4, -18 = -3*k + 6*k - q. Is k < -91/20?
True
Let s be (-676374)/2224 - 1/(-8). Is s less than -329?
False
Let w = -64 + 65. Suppose 2*p + 0*p = -158. Let f = -947/12 - p. Is f < w?
True
Let d = -405503 + 3660595/9. Which is smaller: d or 1229?
1229
Let t = -39.7 - -38.01. Let k = -1.19 - t. Let m = 83/3 + -28. Which is greater: k or m?
k
Suppose -3*q - 3*c = q - 19, 0 = 3*q - 3*c - 9. Let j(m) = 3*m**2 - 10*m - 9. Let x be j(q). Is x <= -24?
False
Let r = 1500 + -1380. Are -2/3 and r equal?
False
Let i(m) = m**3 + 5*m**2 - 4*m + 7. Let j be i(-6). Let k = 5 + j. Let a be (8/(-57))/(1 + 5/(-3)). Which is greater: a or k?
a
Let t = -15762028/25 - -629818. Let p = t + 663. Which is smaller: -3 or p?
-3
Suppose 32274 = 378*f + 1165518. Is f equal to -2999?
False
Let y(u) = 2*u**3 - u**2 + 3*u - 1. Let d be y(3). Which is greater: d or 788/15?
d
Suppose -i - 2*i - 5*w = 80, -2*w = 4*i + 102. Let l = 16 + -13. Suppose v = l*v. Is v > i?
True
Let i = 19886 - 19886. Is i smaller than 21/200?
True
Let k be (-2)/(-10) - 66/55. Let b = -17766 + 39138500/2203. Which is bigger: b or k?
b
Let c = 11737 - 11737.011. Are c and 0.047 equal?
False
Suppose 5*q + 2*m - 8 = 0, 5*q + 7*m - 2*m - 5 = 0. Suppose -7 + 5 = -q*w. Let s be w/(-2 + 52/24). Which is smaller: -0.2 or s?
-0.2
Suppose -9*d - 36 = -18*d. Let l(q) = 20*q - q**2 + d + 3 + 21. Let j be l(19). Which is bigger: j or 46?
j
Let m = -2366 + 267356/113. Let h = 0.032 - -2.968. Which is smaller: h or m?
m
Let b be 0*(-9 + 3 - -5). Is 6/839 bigger than b?
True
Let k be 31/(-2) + (-800)/(-50). Let f = 6 - 21. Is f not equal to k?
True
Let d = 547.6 + -547.76. Which is bigger: 0.179 or d?
0.179
Let g be -4 - 138/99*-3. Let m be -5 - ((-10)/35 + -5). Is m at most as big as g?
False
Let z = 62 - 60. Let n(l) = 19*l**2 + l - 2. Let u be n(z). Let c = 77 - u. Which is smaller: 1/95 or c?
1/95
Suppose 20 = -2*f - h - 3*h, -3*h + 12 = 0. Let a(s) = -12*s**2 - 264*s + 261. Let g be a(-23). Is f at least as big as g?
False
Suppose 3*g - 1 = -4*c, -2*c - c + 1 = 2*g. Let b be g + (1 - (-15)/(-3)). Which is bigger: 6 or b?
6
Suppose 7*g = 4*g + 291. Let o = g + 32. Which is bigger: 130 or o?
130
Let m be (4 - 13463/(-4))*192/126. Let u = m - 5162. Which is bigger: u or -26?
-26
Suppose 4*n - 27 = 3*f, -3*f = 4*n + 7 - 4. Suppose -n*k + k + 7*k = 0. Which is smaller: 7/11 or k?
k
Let z = 1.184 + -0.723. Which is bigger: 8 or z?
8
Let q be 3/(-3) - 6 - (27398/252)/(-19). Let o = -6 + 6. Which is bigger: o or q?
o
Suppose k = 84 - 98. Let z = -19 + 28. Suppose -s - z - 5 = 0. Do s and k have the same value?
True
Let b be (88/(-66))/(((-4)/(-66))/2). Let y = 84 + b. Is 41 at most as big as y?
False
Suppose 5*o + 799 + 413 = -4*q, 0 = 4*q - 3*o + 1244. Is 0.4 equal to q?
False
Let f(g) = -g + 14. Let j be f(-19). Let w be (6/(-16))/(0 - j/(-22)). Are w and 27 non-equal?
True
Let d(n) = 1 - 2*n**2 - 10 + 3*n**2 - 14*n. Let j be d(15). Let x(w) = -w**3 + 5*w**2 + 4*w + 4. Let t be x(j). Are -7 and t unequal?
True
Let w = 0.2923 + -1.2923. Which is bigger: -975 or w?
w
Suppose 0 = -2*z - 2*z - 12. Let g(u) = 2*u**2 - 75*u - 32. Let p be g(38). Let q be (-1 - -6) + p/(-60)*-10. Which is bigger: z or q?
q
Let h be ((-120)/(-100))/3 + ((-99)/70)/3. Is 18/41 at most h?
False
Let s be 56/8 + 1 + -8. Suppose 3*q + 5*x + 178 = s, 2*x - 195 = 5*q + 81. Is -54 > q?
True
Suppose -3*a - 13 = -25. Let x be (a/(-3190))/(8/10). Let u = x + -8929/1914. Are -5 and u nonequal?
True
Suppose 4*k + 3*t = -11, 3*t = 2*k - 0*t + 19. Is 174 greater than k?
True
Let l = 413 - 866. Let h = -438 - l. Which is smaller: 8 or h?
8
Let j = -4671 - -3516. Which is bigger: j or -1157?
j
Let g be (-309)/(-8) + 11/((-264)/(-9)). Suppose 56*o - 1224 = g*o. Are o and 217/3 nonequal?
True
Let y = 8 + 6. Suppose -4*d + 36 = 2*o, -570*d + 572*d - 34 = 3*o. Which is smaller: y or d?
d
Let y(d) = -4*d - 10. Let u be y(-3). Suppose 0 = -2*n - u*n + g + 25, -5 = g. Suppose r = -n*c - 219, -c + 4*r - 27 = -0*c. Which is bigger: -42 or c?
-42
Let z = -1568371.207 - -1569025. Let w = z - 654. Which is smaller: w or -3?
-3
Let j = 190 + -190. Suppose -5*t + j*o + o = 440, o + 176 = -2*t. Is -89 bigger than t?
False
Let j(l) = 11*l**2 + 225*l - 3679. Let h be j(15). Is h greater than 0.2?
True
Suppose -36*a + 15097 = 84073. Which is bigger: a or -1917?
a
Let l(q) = 7*q + 0*q**2 + 4*q - 4*q**2 - 3 + 8*q. Let i be l(6). Let d = 33 + i. Is d at least -2?
True
Let m(s) = -s**3 - 7*s**2 - 7*s - 1. Let x be m(-6). Suppose -30 = -x*k - 65. Is k < -47/6?
False
Let n be -166 + (3/6)/(5/(-10)). Let z be n/(-5)*(-4 + -1). Is z at least -168?
True
Let i be 2/(-6) - 224/(-24). Let j be (-21)/(-18) - (-3)/i. Let n = -13.35 - -13.55. Which is greater: n or j?
j
Suppose 4*j + 2 - 1 = -y, 5*y = 4*j + 91. Let a be 5/(25/(-56)) + (-12)/y. Is -3 bigger than a?
True
Let v be 72/(-84) + (-100628)/(-77). Is 1310 < v?
False
Let h = 34.009 + -0.009. Let m = -0.3844 + 22.3844. Let l = m - h. Is 1 at least as big as l?
True
Let u = -570 + 571. Is u != 1/5320?
True
Let g(i) be the first derivative of -i**4/4 - 10*i**3/3 - 7*i**2 - 9*i - 36. Let w be g(-9). Suppose -33*j + 29*j = w. Which is greater: j or -8?
-8
Let l = 776294 + -776287.2. Let r = 47/3 - 16. Is l != r?
True
Let c be ((-386)/130 + 3)/((-68)/680). Let r = 0.05 - 0.15. Is r at least c?
True
Let m(n) = -5*n**2 - n + 1. Let c be m(-1). Let f be 6*(19/(-2) - -3). Let u be 26/f + 1/c. Are u and -3/76 equal?
False
Suppose -468 = 61*m - 8398. Are m and 646/5 non-equal?
True
Let t = 26 + -24. Suppose t*r - 33 = 19. Suppose -y = -5 + r. Is -19 at most as big as y?
False
Let t(w) = -w**3 + 41*w**2 + 1934*w - 127. Let z be t(69). Which is smaller: z or 512/41?
z
Let c be (6 - 0 - (-118 - -22))*4. Let q = c - 453. Is 0 at most as big as q?
False
Suppose 10 = 5*o, 0 = 5*c - 23*o + 18*o + 15. Which is smaller: -1/2716 or c?
c
Let c be (-39976)/217 + 18/(-279). Are -183 and c equal?
False
Let o(f) = -2*f**2 - 88*f - 128. Let b be o(-8). Which is smaller: 445 or b?
445
Suppose 4918 = -348*b + 353*b - 11937. Are 3371 and b unequal?
False
Suppose -v = 3*f + 4*v - 9, f - 4*v + 14 = 0. Let s = -373 - -372.7. Is f less than s?
True
Let h(v) = 20*v + 124. Let w be h(34). Suppose w + 1020 = 32*i. Which is smaller: 58 or i?
i
Let h = 9.3779 - -1.3361. Let c = 0.286 + h. Let k be (-4)/10 + (-36)/(-15). Which is bigger: k or c?
c
Let c(g) = 4*g**3 + 2 - 43*g**2 -