= i - 8. Suppose -3*g + 6*g = j. Are 2 and g nonequal?
False
Let y = -28 + 45. Let d = 21 - y. Let c(x) = -x + 12. Let t be c(9). Which is smaller: t or d?
t
Let x(k) = -k**2 + 17*k + 84. Let j be x(-4). Which is bigger: j or 4/335?
4/335
Let z = 164 - 165. Is z > 1/161?
False
Suppose -4*u + 40 = 15*c - 19*c, -5*c - 15 = 2*u. Is c < -10?
False
Suppose -236 = 2*f - 7*f + 3*h, 0 = -4*f + h + 193. Suppose 5*l + 2*l = -f. Which is smaller: -6 or l?
l
Suppose 4 = -0*l - 4*l. Suppose -2*b - y = 41, 15 - 84 = 3*b + 4*y. Let w be (-1)/b*74 - 4. Is w at most l?
False
Suppose -4*s - 1 = -5. Suppose 7 + s = -h. Which is smaller: h or -15/2?
h
Let p be (-14)/(-133) + 6771228/(-2242). Let l = p + 3020. Is l smaller than -1?
False
Let d = 51697/41 + -1261. Suppose 0 = -4*z - 3*h + 2 + 2, -3 = -3*z + 4*h. Is z less than d?
False
Suppose 1202 = 8*j - 766. Is 247 at least j?
True
Let m = -44.8 + 41. Let k = m + 3.9. Is -20 less than or equal to k?
True
Suppose 55*m + 4*x = 50*m + 4272, 2*x = -4. Which is greater: 855 or m?
m
Let u = 665 + -579. Which is smaller: u or 1?
1
Let f = 508 - 1537/3. Let u = -5 - f. Suppose 0*b + 2 = -3*b - 2*v, -4*v = 4*b. Which is bigger: u or b?
u
Let y = -22926/29 - -791. Which is smaller: 1 or y?
y
Let t(u) = u - 1. Let n be t(5). Let p(f) = 2*f**2 + 5*f**2 - 2 + f**3 + n + 6*f. Let z be p(-6). Do z and 0 have the same value?
False
Let l be 4/6 + (-28)/(-12). Let n = l + -4. Let s be n - 2*(-1)/6. Is 0 not equal to s?
True
Let d(z) = z + 3. Let u be d(-2). Suppose -5*g = -2*m - 19, -7*g = -2*g + 4*m - 7. Suppose -g*q = 2*q. Which is greater: u or q?
u
Let s = 2983/42 + -32/21. Let t = s + -1113/16. Let k(m) = m**2 - 6*m - 1. Let p be k(6). Is t smaller than p?
False
Let i = 11 + 12. Suppose -o + 9 = g, -3*g - 3*o = -4*o - i. Let m = g - 11. Which is bigger: m or -0.1?
-0.1
Let x = 1069 + -1065. Is x smaller than -0.003?
False
Let s be 87/(-145) + (-8)/10. Is s greater than 0.03?
False
Let o be 324/10*25/(-10). Which is greater: o or -80?
-80
Let z = -9.2 - -9. Let l = -39 + 67. Which is bigger: l or z?
l
Let r = 4 - 3.6. Let s = 200 - 200.5. Let m = s + r. Are m and -3/7 non-equal?
True
Let p be ((-9)/(-18))/(1/3). Suppose 3*z = -3*n + 18, -5*n + 19 = -4*z - 2. Let u be (z + -3)*1/(-2). Is u greater than p?
False
Let i = 268 - 153. Is i less than or equal to 118?
True
Suppose -60*y + 54*y = -816. Which is greater: 135 or y?
y
Suppose 0 = 22*t - 17*t + 120. Suppose 2*a + 125 = -3*a. Are t and a unequal?
True
Let f(y) = y**3 + 8*y**2 + 7*y + 3. Let b be f(-7). Let r = b - 2. Is 1/69 < r?
True
Suppose -10 = -6*t + t. Suppose -11 = -t*j + 9. Is 21/2 equal to j?
False
Let v be (-720)/(-56)*28/(-21). Is -0.4 bigger than v?
True
Let w be (-5)/4 + 4/16. Let v be (13 - 378/14)/(-2). Does v = w?
False
Let l = 4339 - 73761/17. Suppose 0*n = -4*p - 3*n - 23, -31 = 3*p + 5*n. Let t(h) = h**3 + h**2 - 3*h - 1. Let x be t(p). Are x and l non-equal?
True
Let g = -16.25 + 16. Let f = 0.05 - g. Which is bigger: 6 or f?
6
Let g(p) = p**3 + 6*p**2 - 2*p - 9. Suppose 0*n - 4*n - 30 = -2*x, -2*n - x = 9. Let f be g(n). Let a = 4 - f. Which is bigger: a or 2/11?
a
Let s be 61/(-65)*3 + (-10)/(-50). Is s less than or equal to -3?
False
Let g(y) = y**2 - 8*y + 13. Let q(o) = -o + 1. Let b(l) = -g(l) - 2*q(l). Let n be b(8). Let c be 3*(0 - 8/(-300)). Which is greater: n or c?
n
Let z be (-10)/(-16) + (54/16 - 3). Which is smaller: z or -702?
-702
Let p(j) = -3*j + 5. Let i(t) = 2*t - 2. Let m(b) = -5*i(b) - 3*p(b). Let g be m(-8). Suppose -2 - 11 = -g*h - 2*z, -z = 4*h - 14. Is -2/3 <= h?
True
Let d be ((-40)/(-48)*8)/(4/18). Is d greater than 237/8?
True
Let i be ((-2)/3)/(10/15). Let a be (i + 1)/(-6) - (-6)/2. Which is greater: -3/7 or a?
a
Let m be 2 + 0 + (-321)/105 + 1. Which is smaller: 7 or m?
m
Suppose -d = -6*d - 485. Let j = d - -96. Which is bigger: j or 47?
47
Suppose 8867 + 4408 = 25*t. Is 531 greater than or equal to t?
True
Let t = -17182 - -4209598/245. Is 0 at most t?
True
Let i(d) = -2*d**3 - 4*d**2 - 7*d - 7. Let r be i(-6). Let a be r/85 + (-1)/(-5). Suppose -a*t + 12 = 0, g - t = -3*t + 4. Is g smaller than -3?
False
Let p = 1424 + -1424.26. Which is smaller: p or 9?
p
Let x be 29125/1500 - (-1 + (-4)/(-6)). Is x equal to -0.2?
False
Let t be 4/14*(0 - 1)*1. Which is greater: t or 13?
13
Let f = 7415 - 5024. Which is smaller: f or 2390?
2390
Suppose 0 = -543*f + 551*f + 3408. Is f less than -429?
False
Let p = -9 + 12. Let u = -4207/11 + 383. Is u != p?
True
Let z(j) = j**3 + 10*j**2 + j + 13. Let o be z(-10). Let h = -19/6 + o. Is 1 less than or equal to h?
False
Let q = 100 + -39. Suppose 8*m + 427 = 15*m. Is m at least q?
True
Suppose 7*x + 4 = 3*x. Suppose f = -5*f. Suppose f + 14 = 2*o. Which is smaller: x or o?
x
Let o = -5.3 - -5.1. Which is bigger: 9.4 or o?
9.4
Let p be ((-273)/693)/(5/(-15)). Which is greater: p or 2?
2
Suppose -27*j - 3 = -28*j. Let v be (0/(-1))/(j + -2). Do v and 2/233 have the same value?
False
Let w(x) = -x - 3*x**2 - 3*x**2 + 3*x + 1 + 7*x**2. Let c be w(-3). Suppose -2*j - 2*j = 20, -4*r = -c*j - 24. Is 9/7 less than r?
False
Suppose d - 12866 = -13491. Is -626 less than or equal to d?
True
Let w = -29 + 929/32. Let p = -341 - -180. Let v = 1129/7 + p. Which is smaller: w or v?
w
Let f(a) = 11*a**3 - 2*a**2 + 14*a + 29. Let z be f(-2). Is -94 at most z?
False
Suppose -36*n + 42 = -38*n. Suppose 2*o = -2*o - 80. Does n = o?
False
Let p = -1.2 + 1.19. Let y = p - -0.09. Which is smaller: y or -1/4?
-1/4
Let k = -2489535/161 - -15463. Are 0 and k equal?
False
Let v(n) = 2*n**2 - 2*n + 1. Let r be v(1). Let f(h) = h**2 - 18*h - 13. Let c be f(19). Which is greater: r or c?
c
Let f(x) = -10*x + 122. Let g be f(12). Which is smaller: g or -115?
-115
Suppose 2*i = 7*i. Let m be i*(-3)/(-12) + -8. Let y = 8 + m. Which is smaller: 1 or y?
y
Let c be ((-6)/9)/(1022/(-21)). Which is bigger: c or -0.1?
c
Let s = -2 + 2. Suppose -2*h + 2*a = s, 5*h = -3*a + 49 - 9. Suppose 494 = -19*f + 608. Which is smaller: f or h?
h
Suppose 2*i + 50 = -4*m - 3*i, 5*i - 20 = 3*m. Which is greater: m or 0?
0
Suppose -2*g = 2*g - 156. Let t be (3/9)/(1/g). Is 27/2 smaller than t?
False
Let v(y) = 4*y**2 + 23*y - 15. Let u be v(-3). Which is smaller: u or -2?
u
Let o(z) = z**3 + 12*z**2 + 6*z + 18. Let l be o(-12). Let p be 2 - 1/(4/228). Is p smaller than l?
True
Let p = 316 + -130. Let c be 3/p + -3 + (-9)/(-3). Is c at least as big as 1?
False
Let w be (-1 + 15/9)*3. Let t be (1/w)/(2/4). Let s be 70/(-32) + (3 + -3 - -2). Which is smaller: t or s?
s
Let q(s) = -s**2 - 5*s + 8. Let f be q(-6). Let l be (-9)/f + 2 + 2. Let p be 2*-2*11/66. Is p not equal to l?
True
Suppose -9 = 2*i + x, 2*i = 3*i + 4*x - 6. Let p be ((-10)/35)/(i/14). Which is bigger: 0.1 or p?
p
Let y = 48.4 + -37. Let c = y - 11. Let z = -1/131 + 141/1310. Do c and z have the same value?
False
Let d be (-10)/(-3) + -3 + 9 + -100. Let q = d + 90. Is q greater than 4?
False
Let k = -815 + 801. Do -2 and k have the same value?
False
Let q be 152/(-12)*3*(-2)/4. Let f = q + -39/2. Is f less than 2/35?
True
Let p(q) = 2*q**3 + q**2 + q - 1. Let d be p(1). Suppose -4*c + 14 = -2. Suppose -2*i - c = 0, -4 - 1 = -5*k - 5*i. Is d greater than k?
False
Suppose 4*s + 0*s - 36 = -4*b, -2*s + 2 = -2*b. Suppose x - 7 = g, s*g - 2*g + 19 = x. Let i be 16/15*9/g. Which is greater: i or -2?
i
Let k = -2033.8 - -2034. Let p = -3.4 - -2. Is p at least as big as k?
False
Suppose 3*t = -0*t - 3*t. Suppose t = 29*p - 26*p + 3. Which is greater: -1/34 or p?
-1/34
Suppose -1 = 5*v - 21. Let a be 1/v + (-6)/(-8). Let p be 161/140 + 2/(-5). Is a smaller than p?
False
Let o = 14.2 + -4.2. Let u = -12.7 + o. Which is bigger: u or 1?
1
Let r = -4100 - -69652/17. Is r greater than or equal to -4?
True
Let y = -454 + 455. Does -22 = y?
False
Suppose t - 5 = -0*t. Suppose 0*x = -5*x - t. Let m be 1*x - (0 - 2). Which is greater: m or 1/17?
m
Let a = -64 + 112. Let d be ((-22)/3)/(32/a). Is d equal to -12?
False
Suppose s = -2*p - 2*s + 12, 5*p - 2*s = 30. Let z be (-19)/(-3) + (28/p - 6). Which is bigger: 1 or z?
z
Let o = -27 + 53. Which is smaller: o or 24?
24
Let h = -3838800095/1653 - -2322323. Let b = h + 10/57. Which is greater: 0 or b?
b
Let h(q) = -3*q**2 + 4*q + 2. Let i be (