23 greater than or equal to i?
True
Let g(w) = -3*w**3 - 38*w**2 + 4*w - 116. Let n be g(-13). Which is smaller: 23/999 or n?
23/999
Let t = 862.3506 - 0.3506. Which is greater: t or -2?
t
Let u be -6 + -213*(-10)/15. Suppose -8*f = -4*f + u. Which is smaller: f or -36?
-36
Let i = -4234 + 4233. Is 11/532 equal to i?
False
Let n = 0.279 + -16.279. Let b = -4 + 4.6. Is b bigger than n?
True
Let t = 16313.434 + -16314. Is t greater than or equal to -3/2?
True
Let u = 0.945 - 31.665. Let t = u - -31. Let s = -0.18 + t. Which is smaller: s or -19?
-19
Let p = 897344366/8589 - 104476. Does p = 0?
False
Let u = -499 + 709. Let v be (0 - -5)*(0 - (-92)/u). Which is bigger: v or 2?
v
Let c be (-6 + 4 + (-4)/(-3))*93. Let m = 7 + c. Is m smaller than -2/9?
True
Suppose -4*t + w = 907, 3*t + 694 = -w - w. Let b = 1924 + -2152. Is t equal to b?
True
Let n = 7 - -3. Suppose 5*g = -4*a - n, -a + 4*g + 10 = -g. Let v = 10122410/3 - 3374138. Is a >= v?
True
Let h(q) = -5 + 3*q**2 + 7*q + 4*q**2 - 10*q**2. Let v be h(2). Which is greater: v or -33/10?
v
Suppose -l = -5*f + 37 - 0, 0 = 4*l - 2*f + 112. Let g = -85 - -34. Let i = -79 - g. Is l > i?
True
Let q(l) = -16*l + 63. Suppose -22*n + 14*n + 32 = 0. Let m be q(n). Are m and 11/40 non-equal?
True
Let a = 437 + -434.54. Let s = a + -1.66. Which is bigger: 1/3 or s?
s
Suppose 9*k - k = 56. Let r(u) = -3*u + 9 + 2*u + k*u. Let m be r(4). Is 33 equal to m?
True
Let i = 424 - 393. Suppose i*f + 2310 = 37*f. Is f > 386?
False
Let m = 0.05 - 0. Let w = 0.35 + m. Let a be ((-93)/(-1023))/((-1)/(-2) + 0). Which is smaller: w or a?
a
Let g be (-2)/(-14) - (684/(-14) + 4). Suppose 18 - g = -9*k. Let p be (-4)/(((-18)/(-30))/k). Is p != -18?
True
Let c be (-318)/(-40) - (-1)/4. Let i be 20 + 24 + (2 + -1 - 0). Suppose 4*g + 3*t - i = 6*t, 5*t + 6 = -g. Are g and c nonequal?
True
Let r(p) = p**2. Let v be r(-1). Suppose 5*x + 4 = 3*a - v, 2 = -5*a - 2*x. Which is greater: 2/169 or a?
2/169
Let b be (3/(-4)*(-1156)/102)/((-2)/(-4)). Which is smaller: -67 or b?
-67
Let g = 132 + -397. Let x = 265 + g. Which is bigger: 5/7 or x?
5/7
Suppose 2*v = -2*i - 18, -3*i + 2*v - 4 = 8. Let n be (2*-2)/(i/24*-4). Suppose 4 = -2*d, -g + 6 + 2 = -2*d. Are g and n equal?
False
Let j = 52 + -44. Suppose j*f = 4*f + 188. Which is bigger: f or 45?
f
Let b = -85 + 18. Suppose -158*k - 165*k = -321*k + 4. Which is greater: b or k?
k
Suppose 8*j = 3*w + 3*j + 2514, 4*j - 4203 = 5*w. Is -4221/5 less than w?
True
Let m = 126 + -120. Let c be (0 + 4)/(-1) + 6. Suppose 1 - 11 = -c*k. Which is smaller: k or m?
k
Let g(p) = -p**3 + 5*p**2 - 6*p + 9. Let j be g(6). Let t = -26 - j. Suppose -5*c = -5*x + t + 33, -3*x = -2*c - 25. Is -19 > c?
False
Let h = -3.73 + 1.73. Let z = h + -208. Is z at most -1?
True
Let n = -2.7779 + 2.8779. Which is smaller: -0.733 or n?
-0.733
Let c = -76 - -59. Let t = 17 + c. Let b be 0/(-3 - (t + -1)). Is b greater than or equal to -7/8?
True
Let o(w) = -98*w + 364. Let f be o(3). Which is smaller: f or 415/6?
415/6
Let s = -577 - -228. Let g = 452 + s. Which is smaller: 102 or g?
102
Let h(x) = -7*x**2 + 20*x + 22. Let n be h(-1). Which is greater: n or 623?
623
Let u = -28384 + 25680. Which is bigger: -2700 or u?
-2700
Let g = 85/148 - 160/37. Is -4 > g?
False
Let b = -5.372 - -0.132. Let a = b - -5.44. Let h = 1.01 - 1. Is a < h?
False
Let g(z) = 7*z - 142. Let n be g(21). Let u = 67 - n. Is 64 > u?
True
Suppose 19*c = -m - 4031, m - 3*c + 4936 - 751 = 0. Are m and -4164 equal?
True
Suppose -31 = 13*a - 57. Suppose -114 = a*k - 4*s, 68*k + 285 = 63*k - 4*s. Which is bigger: k or -286/5?
k
Let z(i) = -58*i + 24. Let p be z(14). Let b = -3954/5 - p. Let j = -11/5 - b. Is j at least 2/15?
True
Suppose -3*f + 174 - 54 = 0. Let u be 192/30 - 9/(-15). Let m be (-16)/(u - 5) - -47. Which is greater: f or m?
f
Let o(v) = 2*v**2 - 7*v - 120. Let k be o(10). Suppose 0 = -k*r - 513 + 503. Which is greater: 31 or r?
31
Let z = -0.105 + 0.084. Let o = z - -0.121. Let m = 16.1 - 15. Is o at most as big as m?
True
Let t be (-4)/6*(2 - -1). Let l be (-3663)/1210 - 10*33/1210. Is l less than or equal to t?
True
Suppose -5*z = 2*p - 13, 0 = -4*z + 115*p - 113*p + 32. Is 2/49 less than z?
True
Let h = 565 - 18649/33. Which is bigger: h or 0?
0
Let f = 0.05 - -33.95. Let r = f - 33.9. Are r and -0.067 non-equal?
True
Let w be 14*-15*(3 + (-28)/8). Let u = -131 + w. Let k = 23 + u. Is k > -5?
True
Let b be 1*(-4)/15*15/70. Is 12 greater than or equal to b?
True
Let q = 816 + 18. Let l be q/(-18)*3 - 3. Is -140 != l?
True
Let l be 2*1/1 - -7. Let m be 60/(-16) - (-3 + 9/4). Let i be (-34)/m - (-4)/6. Does i = l?
False
Let d be -2 + (-484)/(-4 + 2). Suppose -17*t - 3107 = -30*t. Is t < d?
True
Suppose -64*c + 8 - 13 = -5. Let h = -54387/2600 + 272/13. Which is smaller: c or h?
c
Let b = 441 + -442. Does b = 19.91?
False
Suppose -9 = 3*p, 3*p - 2*p + 1353 = 3*v. Let g = v + -43648/97. Which is bigger: g or 0?
g
Let f be 0 - 1 - 6/(-2). Let z be 1/((36/(-2))/18). Which is smaller: z or f?
z
Let m = 9064.9 - 9065. Which is greater: 25.52 or m?
25.52
Let r be (-254)/((-9)/(153/(-34))). Let p = 177 - 302. Which is bigger: r or p?
p
Suppose 0 = -4*v - 47 + 19. Let l = v - -6. Let y be 3 + (l + 4 - -3) + 2. Is y at least 11?
True
Let o = 112429 + -1051436009/9352. Is o greater than 0?
False
Suppose 0*t = -5*t - 25, 4*t = -5*r - 25. Let g be r*((-12)/54 - 7/9). Are g and 1/132 non-equal?
True
Let i be (-2)/(2 - 0)*18. Let k(t) = -2 + 2*t**2 + 7 + 4 - 3*t**2. Let h be k(-5). Which is greater: i or h?
h
Let d be (6/9)/((-1)/(-9)). Suppose -47*x + 60*x = 78. Do d and x have different values?
False
Let f(v) = v**3 - v**2 - v + 2. Let m(i) = i**2 - 3*i - 2. Let c be m(3). Let p be f(c). Which is bigger: -6 or p?
-6
Let u be 5/(-1)*(26112/(-30))/16. Is 7 != u?
True
Suppose -382*m = -21*m + 72200. Is -204 greater than or equal to m?
False
Suppose -i - 2 = 6*i + 3*q, 2*i - 2*q - 8 = 0. Do i and -2/1705 have different values?
True
Let u = -4008 - -96193/24. Which is smaller: -2/627 or u?
-2/627
Let p be (-4)/636*(-545 - -11). Which is smaller: 3 or p?
3
Let k be -2 - -13*2/8*(-44696)/302. Which is smaller: -481 or k?
k
Suppose 6*a = 5*a - 2*k - 14, -5*a - 55 = -5*k. Let y be (8/(-3) - -4)/(6/(-9)). Let x be 160/8*1/y. Is x smaller than a?
False
Let r(w) = w**3 - 12*w**2 + w - 12. Suppose 22*x - 164 - 100 = 0. Let h be r(x). Is -173 > h?
False
Let m(i) = 2*i**3 + 23*i**2 + 60*i + 1. Let t be m(-4). Let w = 4999/21 - 238. Which is smaller: w or t?
w
Suppose 269*u + 419 = 327*u - 161. Is u greater than 140/13?
False
Let j be 7*((-8)/(-168))/(3/18). Let v be (-5330)/(-55) - j/(-22). Which is smaller: 98 or v?
v
Let k(a) = 22*a - 34 - 3*a + 52 - a. Let c be k(-1). Is c equal to 0?
True
Let g = 19.57 - 15.57. Let v be (-106 - (-4 - 5)) + 1*2. Is g != v?
True
Suppose 0 = 3*b - 84 + 96. Let f be (-625)/(-10)*(b/(-5) + 0). Is f at most as big as 53?
True
Let x = 328328 + -23311292/71. Suppose -4*k - 2 = -2*k. Which is smaller: k or x?
k
Let s be ((-276235)/(-12369))/(-1) - (5 - 3). Let l = s + -2/4123. Is -25 at most as big as l?
True
Let w(o) = o**2 + o + 31. Let k be w(0). Let t = k - 118. Let y = t + 128. Which is smaller: y or 42?
y
Let o be (1 + -1)*(-2 + 1). Let z be 3/(((-5)/2)/(6/120)). Let d = 7/50 + z. Is o < d?
True
Let o = 174 + -180. Let j = 12.5 - 14.2. Is o < j?
True
Suppose 3*g + 22 = 5*g + 5*j, -g - j = -11. Suppose g*n = 21*n - 130. Which is smaller: n or 19?
n
Let b = -2 - -0.7. Let s = -0.3 - b. Let a be (-135 - -111)*1/(-15)*1. Does a = s?
False
Let a = 1.4116 - -0.0084. Let q = -1.92 + a. Which is greater: -11 or q?
q
Let m(u) = u**2 - 3*u - 1. Let a be m(4). Suppose -4*s + a*f + 54 = -s, 2*f = 4*s - 80. Let x = s + -23. Which is smaller: x or -0.07?
x
Let t be -419*((-4 - 0) + 5). Let j = 419 + t. Which is smaller: 2 or j?
j
Let v be 1 - (-1 - 4)/(-5). Suppose v = -7*h - 454 - 64. Let f = h + 65. Is f equal to -8?
False
Let j be 10430/560 - ((-4)/8 + 2/4). Which is smaller: j or 20?
j
Let w = 2006413/128 + -15675. Is w < 0?
False
Let d(a) = -a**3 - 7*a**2 + 10*a - 9. Let i(x) = -x**3 - 7*x**2 - 4*x + 4. Let l be i(-6). Let q be d(l). Is q >= -24?
False
Suppose 6*k + 4*k = 0. Suppose -5*a + 6*a - 69 = k. Which is smaller: 279/4 or a?
a