*r, -3*b - 668 = -r. Let u = b + 328. Does u = 107?
True
Let n(z) = -z**3 - 7*z**2 - 12*z + 13. Let k be n(-6). Let h = k + -70. Which is greater: -19 or h?
-19
Suppose 0*r - 3*g = 2*r - 5, r - 20 = 2*g. Let w = 11 - r. Let a = 26/1969 - 21/358. Is a < w?
True
Let z(v) = 41*v + 772. Let n be z(-16). Is -4 greater than n?
False
Let d = -396 - -290. Let m = d + 105.8. Which is smaller: m or -47?
-47
Let q = -2949 + 2948. Which is smaller: q or -44/325?
q
Suppose -5*l = 4*x + 405, 2*x + 2*l - 5*l + 175 = 0. Let u = 139 + x. Suppose 3*d + 20 = u. Which is smaller: 5 or d?
5
Let v(i) = 71*i**2 - 14 - 2*i - 70*i**2 + 9*i. Let x be v(-9). Let g be 4/(2/x*(28 + 0)). Which is smaller: g or -1?
-1
Let w = -1263 + 1263. Are -1/857 and w unequal?
True
Suppose 3*j = -3*g + 6*j - 54, -6 = -3*j. Suppose 4*i + 53*w + 51 = 50*w, 4*w + 18 = -2*i. Which is bigger: g or i?
i
Let b(t) = 4*t**2 + t - 11. Let h be b(4). Suppose -2*o + 115 = -h. Let n(y) = y**3 + 11*y**2 - 14. Let q be n(-10). Is q at most as big as o?
True
Let d = -118 + 218. Let g be 1*((-40)/d)/((-2)/(-13)). Is g equal to 1?
False
Let w(m) = -20*m + 500. Let c be w(17). Is c bigger than 176?
False
Let z = 113 - 100. Suppose z*t - 684 = t. Suppose 56*p = t*p - 7. Does 1 = p?
False
Suppose 0 = -3*u + 8 + 40. Let n be u*(0 + (-5)/10). Let q = -4 + 6. Which is bigger: n or q?
q
Let v(t) = t**3 - t**2 - 3*t - 4. Let y be v(3). Suppose -5*k + 10 = 5*j, 12*j - 6 = k + 9*j. Suppose k = y*m - 50 - 60. Which is bigger: 24 or m?
24
Let w = -378 - -378.064. Let u = -17.71 - -4.774. Let a = u - w. Is -2 smaller than a?
False
Let b(t) = 2*t**2 + 13*t - 87. Let r = 217 + -212. Let z be b(r). Which is bigger: 26 or z?
z
Let d be (-28)/(-20) + 2583/(-1995) + 940/(-3154). Let x = 2 - 2. Which is greater: d or x?
x
Let r be (-3 + (-33)/(-9))/(50/7425). Let n be 9/r - 2258/25322. Which is greater: 0 or n?
n
Let c = 17.4 - 17.3. Let d be 69/561 + (-14)/77. Does c = d?
False
Suppose -7*h = -12*h + 25. Suppose -5*u - 2*p + 11 = 0, 4*p - 9 = -2*u + 5*u. Suppose 4 = h*i - u. Is 2 != i?
True
Let r = -52 + 50. Let b be r/1 + ((-54)/(-6) - 0). Are b and 11 unequal?
True
Let c(l) = -l**3 - 32*l**2 - 83*l - 36. Let y be c(-29). Which is greater: y or -150?
-150
Let d = -3193 + 3192. Let s = 15256 - 9901142/649. Is s not equal to d?
True
Let s = 458983/185 - 2481. Let d = s - 12/259. Let z = -41/105 - d. Which is greater: z or -5?
z
Let u = -0.0256 + 46.2256. Let b = u + -46.13. Is b at most as big as -2/9?
False
Let y be (-8)/(-12) - 13/(-3). Suppose -f + 2 = y*r, 0*r + 5*r - 8 = -4*f. Suppose 0 = 3*h - f*u - 2, 6*h = h + u + 1. Which is bigger: -3 or h?
h
Let r = 18 - 42. Suppose -7*t - 84 + 63 = 0. Let y be t + (-106)/r - 9/12. Which is smaller: 6.4 or y?
y
Let c = -2411 - -2410. Is c at least as big as -3/262?
False
Let d = -2 - -7. Suppose 28 = -2*h + 4*q, -2*h + 11 = -2*q + 33. Let j be 2 - h*(-1 - -2). Is d at most as big as j?
True
Suppose -5*l = 21 + 4, -3*u = -4*l - 14. Let p be (-67 - u)/(-10 - -9). Suppose 0 = -4*h - 2*z - 3*z + 59, z = 4*h - p. Are h and 17 non-equal?
True
Suppose 610 = -4*c + 7*d, 0 = -5*c - 15*d + 16*d - 716. Is c greater than -143?
True
Let r = -6312 + 6368. Which is greater: r or 44?
r
Let l = 3361 + -3364. Are l and -54/13 equal?
False
Let o(d) = -d**3 - 32*d**2 - 32*d - 29. Suppose -336*w + 339*w = -93. Let i be o(w). Is i equal to 46/19?
False
Let w = 53/411 - 20507/41100. Do -1 and w have the same value?
False
Let r be (-2)/(-10)*-51 - 392/490. Let m(q) = 5*q**2 + 6*q. Let z be m(-3). Suppose -c + 37 = -3*d, 0 = -3*d + 2*d + 4*c - z. Is d at most r?
True
Let j = -786 + 1209. Which is smaller: j or 12?
12
Let q be ((0 - 5) + 4 + 6/3)*1. Is 1/2921 greater than q?
False
Let k be (-5)/(-225)*(-1 - -4). Which is bigger: -4/269 or k?
k
Let h = -109.256 + -5.744. Which is bigger: h or -14?
-14
Let p = 12/5 - 89/35. Let f = -0.07484 + 0.37484. Which is smaller: f or p?
p
Let t be 4 + -1 + 178*140/(-8280). Is t > 0?
False
Let v(w) = -2*w**3 - 4*w**2 + 13*w. Let j be v(-5). Let k be (-1 - -3) + (2*j - 1). Is 170 equal to k?
False
Let h be -4 + 294/77 - 8204/(-110). Let n = 324/5 - h. Is -9 not equal to n?
True
Let g(v) = 3*v - 19. Let r be g(9). Suppose -5*n = -38 + r. Let x = -12 + n. Is x >= -9?
True
Let x(v) = -17*v**2 + 7*v + 7. Let a be x(-2). Let z be 3/(a/100 + (-3)/(-8)). Which is bigger: -52/7 or z?
-52/7
Let f be (-9170)/(-4) - (-10 - 1 - (-11 + 7)). Is 2301 less than f?
False
Let z = 1.6904 - -1229.3096. Which is smaller: -2 or z?
-2
Suppose -d - 3*d = 0. Suppose 5*c = 10, -2*a + 4*c - 8*c + 76 = d. Let t = 37 - a. Is t greater than 11?
False
Let p(m) = m**3 - 8*m**2 + 24*m - 114. Let j be p(7). Suppose j*u = u - 596. Which is smaller: -295/2 or u?
u
Suppose -8 = -0*q - 2*q, 2*c - 34 = -4*q. Let j be (2/(-219))/(6/c). Suppose -5*a = 3*h + 3, 40*a + 4*h = 37*a - 4. Which is greater: j or a?
a
Let y = 175.15 + -171. Let d = -6 + 10.1. Let z = d - y. Is -0.2 > z?
False
Let d be (-2)/8*1 + 105/(-28). Let a be (d/1268)/(2/4). Let q = -473 + 473. Is a smaller than q?
True
Let r = -1920 + 1933. Which is greater: r or 32?
32
Suppose 3*h - 21 = -3. Suppose -2*k = -52 + h. Let f = k + -23. Which is smaller: f or -10?
-10
Suppose 7654 = -38*h + 41*h + 4*q, 4*h - 10207 = -5*q. Which is bigger: 2561 or h?
2561
Let p be (8 - (-174)/(-24))/(258/160). Is 1/9 != p?
True
Let v be (-143952)/(-756) + 5 + 2/14*1. Are 197 and v equal?
False
Let w(o) = 14*o - 55. Let t be w(-2). Let r = -84 - t. Does r = -2/5?
False
Let l(f) = f**2 + 11*f + 14. Let g be l(-10). Suppose 659 = -g*y - 361. Let s be 2/6 - (2650/y)/(-10). Which is greater: s or -1?
s
Let l = -58 - -61. Let g be (-28)/(-8) + 2/(-4). Suppose -g*q = u - 5, -2*q = l*q - 2*u + 10. Is 5/6 greater than or equal to q?
True
Let h be (-2)/(-24)*-1 + (-1892746)/(-22609848). Which is smaller: 1 or h?
h
Let b(h) = -h**3 + 10*h**2 - 2*h + 8. Let f be b(10). Let x be 2/f*6/834. Let c = -3757/3336 - x. Is -1 != c?
True
Let q be (7/9 + -1)/(-49). Suppose -81*w = 242 + 235 - 477. Which is smaller: q or w?
w
Let x = -97 - 12. Let h = x - -122. Suppose -3*i = 4*l + h, -3*l - 14 = l + 2*i. Which is bigger: -3 or l?
-3
Let x be -2*1/2 - -6. Let s(h) = -h**3 - 25*h**2 - 113*h + 15. Let t be s(-19). Which is smaller: x or t?
t
Let x = -84 + 86. Suppose -4*b = 2*d + 3*d + 269, -x*d - 332 = 5*b. Is -64 greater than b?
True
Let q be (-16)/36 + 102/189 + 22024/(-168). Which is greater: -138 or q?
q
Let o(q) = -2*q**3 + 30*q**2 + 31*q + 83. Let r be o(16). Are r and 89 nonequal?
True
Let c be (-1 - (-52)/50)*(-215 - (-20960)/96). Suppose 0 = -2*o - 1 + 3. Which is smaller: c or o?
c
Let c be (-4)/(-14) + (-888)/21. Let g = 380 - 348. Let s = c + g. Which is smaller: -12 or s?
-12
Let p = -313 - 74. Let k = p + 363. Which is smaller: -4 or k?
k
Let r(x) = x**2 + 6*x - 164. Let q be r(0). Let o be 25/(-8) - 205/q. Which is smaller: o or -3?
-3
Suppose 5*u = 6*u - 60. Let z = u + -13. Let w = z + -70. Is -23 at most w?
True
Let j be (28/(-8) + 2)*(-27282)/9. Let k = 40874/9 - j. Are -6 and k unequal?
True
Let c = 3954 + -3937. Which is smaller: 19 or c?
c
Suppose -4*t = g - 0*g + 6, t = -g - 3. Let z be 6/18*(g + -19). Let k = z - -3. Is k >= -3?
False
Suppose -4*i - 222 = -5*g - 27, -5*i - 25 = 0. Let j be 28/g - 2036/2520. Which is greater: j or -0.1?
j
Let o(z) = -18*z - 10. Let t be o(7). Let c(g) = 2*g**2 + 50*g - 88. Let m be c(-24). Is m less than t?
False
Suppose -j - 16 = -5*r + j, -3*r = 5*j - 22. Let d be 3 - ((-9)/(-3) - r). Suppose d*p + 16 = 4*z, p - z + 10 = 2*z. Are -8/7 and p unequal?
True
Let i be (236/(-70))/((2 - (-7 + 12))/(-49)). Is i smaller than -55?
True
Let t(v) = 3*v**3 - 7*v**2 + 3*v + 10. Let f be t(5). Suppose f = 11*q - 2*q. Let z = q - 31. Is -7 at least z?
False
Let w = -4024.231 + 4024. Which is smaller: w or -1.7?
-1.7
Suppose -3*n - 2*c + 6713 = -15366, 4*n + 4*c = 29436. Is 7361 < n?
False
Suppose 0 = 3*i + 3*a + 177, 11*i - 123 = -a - 812. Which is greater: 0.21 or i?
0.21
Let x be 3 - 121990/184*-1. Let o = x - 666. Let r = 3 + -3. Is o greater than r?
False
Let s(x) = -x**3 + 5*x**2 - x - 15. Let t(k) = 3*k**3 + 14*k**2 + 7*k. Let j be t(-4). Let i be s(j). Which is greater: i or -63/17?
i
Let b = -4618/15 - -216521/705. Which is greater