-204*i = -207*i + m. Is i equal to 181/5?
False
Suppose 0 = d - 213 + 147. Suppose -3*z + 14*z - d = 0. Suppose -6 = -z*o + 9*o. Which is smaller: 4 or o?
o
Let r be (0 - 1*(-15)/3) + 29. Let c be (r/(-18))/(-7 - (-46)/6). Which is greater: c or -4?
c
Let s = 267 + -267.039. Let j = s + 0.039. Let f = 0 - -2. Is j > f?
False
Let z = -74521 - -369367/5. Is z < -649?
False
Let i = 567 - 569. Let s be 28/(-16) - -1 - (-3)/(-28). Is s not equal to i?
True
Suppose 478*o - 473*o = 30. Which is smaller: o or 24?
o
Let x = 2890.1 - 2891. Which is smaller: x or -28/9?
-28/9
Suppose -4*j = -3*o + 1028, -3*o - 9*j + 1024 = -14*j. Let z = o - 375. Is -31 greater than or equal to z?
False
Let k(w) = w**3 + 16*w**2 + 14*w. Let y be k(-15). Let h be ((-20)/(-4) - y)/(4/(-6)). Let j be (-51)/17*(2/h - 0). Which is smaller: j or -1?
-1
Let v be (2/(-4))/(2/(-200)). Let a = v + -36. Let n be (-9)/15*5/15 + (-396)/(-30). Is a less than n?
False
Let k = 2763 - 2763.1. Let f be 1/(-2)*0/(-2). Suppose -5*l + 33 = -5*m - 142, -2*l + 3*m + 71 = f. Which is smaller: l or k?
k
Suppose 60*s + 19068 = -166*s - s. Let u = 0.7 - -0.3. Is s >= u?
False
Suppose 17*y - 19*y = 2*d + 536, 796 = -3*d + y. Let b = d - -281. Which is greater: 14 or b?
b
Let c be ((-21)/30)/(350/(-125)). Do c and 4332 have different values?
True
Let o = 2297 - 2297. Is 3/788 at most o?
False
Let y = -1 - 0. Let r = -226 - -218.85. Let o = -8.85 - r. Are y and o nonequal?
True
Suppose 61*b - 43*b = -558. Which is smaller: b or 42?
b
Suppose -4*x = 2*p + 822, 3*x - 2*p = -0*x - 634. Let l = x - -241. Which is bigger: 39 or l?
39
Suppose c = 2*z + 2, 3*z = -5*c - 26 - 29. Let j be c/(400/(-15))*(-10)/276. Let n(u) = -13*u + 1. Let d be n(0). Which is smaller: d or j?
j
Let d = -28.36 - 4.04. Let l = -182 - -150. Let x = d - l. Is 0.4 != x?
True
Let c be (-12 + 11)*11 - -11. Which is bigger: c or -3/703?
c
Let h = 386249 - 386194. Suppose x = -5*i - 10, 0*x = 2*x + i + 2. Is x at least h?
False
Let g = 6949 - 6952. Are g and -0.063 non-equal?
True
Let g = -4038 - -4351. Which is smaller: g or 320?
g
Let r be (-4)/3 + 56/(-12). Let m be (2444/(-30))/(-9 - r) - 0. Let t = 138/5 - m. Is t equal to -1?
False
Let l be 422/660 - 132/(-231)*(-14)/12. Which is smaller: l or -6?
-6
Let o(u) be the first derivative of u**3/6 + 11*u**2/2 + 11*u + 1. Let c(j) be the first derivative of o(j). Let w be c(-14). Which is smaller: -28/9 or w?
-28/9
Let g(c) = 14*c + 4. Suppose -y - 2*y = -4*p - 4, 5*y - 5*p - 10 = 0. Let l be g(y). Let s = 58 - l. Is -5 at least as big as s?
False
Suppose 4*i + 13 = 3*x + 7, -x = 2*i - 2. Suppose 7*f - 665 - 189 = i. Do f and 123 have different values?
True
Let p = -653/175 + 204/25. Is -20 >= p?
False
Let s = 5155 - 36112/7. Let g(j) = j**3 - 9*j**2 + 7*j + 5. Let n be g(8). Is n > s?
True
Let p be 6/18 - (-1 + 13899/10458). Do -1 and p have different values?
True
Let b = 4 - -3. Let t be b + 3/(-9)*(6 + 0). Suppose -5*d = -4*c + 27, 4*d + 21 = 3*c - 0*c. Which is greater: t or c?
t
Let o(h) = -2*h**2 - 28*h - 12. Let i(b) = -2. Let w(s) = -8*i(s) + o(s). Let u be w(-6). Is 100 greater than u?
False
Let g be 626944/(-744) + (-2)/(-3) + -1. Let n = 3385/4 + g. Let u be -1*6/(-9) + 0. Does n = u?
False
Let b(t) = 10*t - 295. Let z be b(30). Which is greater: 46/11 or z?
z
Let f be (-28681)/(-1290) + -13 + -12. Is -4 at least f?
False
Let w be ((-2)/85)/((-5)/(-153775)). Let b = -724 - w. Let u be (4/(-4) - -2)*0. Which is bigger: b or u?
u
Suppose p - 6*p + 925 = 0. Let b = p - 96. Let x = -174 + 174. Is b at least as big as x?
True
Suppose 1808 + 2636 = 143*y - 1276. Which is smaller: 453/11 or y?
y
Let c(f) = -2520*f + 3603. Let t be c(4). Which is bigger: t or -6476?
-6476
Suppose 0*j + 22 = -2*j. Let f(g) = -g**3 - 4*g**2 + 22*g + 1. Let a = -625 + 618. Let i be f(a). Are j and i equal?
False
Let x = 120615 - 120628.6473. Let q = -0.0273 - x. Let w = q - 0.62. Which is greater: w or 3/4?
w
Let q be 1780/(-89) - (-20 - 1). Which is bigger: q or -1/4153?
q
Let l(b) = b - 11. Suppose -5*m = -4*m - 9. Let d be l(m). Let r be 66/4*(8/(-6) + d). Is -55 < r?
False
Let t = 3/2479 + 2467/9916. Is 2/69 smaller than t?
True
Let u(i) = 2*i + 31. Let v be u(0). Let n = v + 1. Let c = 103 + -73. Which is smaller: n or c?
c
Let s = -1478 + 1483. Is s less than or equal to -0.289?
False
Let y = 20 - 28. Let t(f) be the first derivative of 2*f**3/3 + 5*f**2 - 5*f - 3. Let d be t(y). Are d and 43 non-equal?
False
Let z(g) be the second derivative of -g**4/12 - 4*g**3/3 - g**2/2 + 8*g. Let y be z(-8). Let o = -0.0709 + -17.9291. Which is bigger: o or y?
y
Let m(f) = f**2 + 6*f + 4. Let v be m(-5). Let t = -8261923/105752 + 6/13219. Let z = t + 78. Which is smaller: z or v?
v
Let x be 54/45*(1 - 43/58). Let f = x - 124/493. Which is greater: f or -1?
f
Let a be 725/5*(-1)/(-1). Suppose -19*b - 77 = -n - 15*b, b = -2*n + a. Which is smaller: 71 or n?
71
Let p be (-30)/(-1) - 1 - -4. Let u(w) = -5*w**2 + 5*w - 3. Let x be u(3). Let k = p + x. Is k <= 3?
True
Let t = 10761627/13 + -827367. Which is smaller: 449 or t?
449
Let f = -22 + -23. Let d = 0.009 + 43.991. Let g = f + d. Is g less than or equal to 3/10?
True
Suppose -8792 = -3*l - b, -12*l + 8*l = 5*b - 11697. Which is smaller: 0 or l?
0
Suppose 133*c = d + 127*c + 2254, -4453 = 2*d - c. Which is bigger: 1/2 or d?
1/2
Let w(a) = -6*a**2 + 2*a - 1. Let l be w(2). Let u = l - -8. Let p be (46 - (-2 + 0))*(-38)/114. Are p and u nonequal?
True
Let i(z) be the first derivative of 11/2*z**2 + 16*z - 1/4*z**4 - 34 - 8/3*z**3. Let t be i(-9). Which is smaller: t or 0?
t
Let h(w) be the second derivative of -2*w**3/3 + 15*w**2/2 - 13*w + 1. Let q be h(4). Which is smaller: q or 8/39?
q
Let x = -21.818 + 22. Let o = x - 0.112. Is -2 at most o?
True
Let c(v) = -23*v - 16. Let p be 39/52 + 1/(-4)*43. Let u be c(p). Is u smaller than 213?
False
Let m be 3/1*(6 + (-32808)/36). Is -2716 at most m?
True
Let v = 114 + -62. Let l be (v + -49)/(2646/4). Which is greater: l or -1?
l
Suppose -h + 3*b = 2, -2*b - 8 + 63 = -3*h. Which is smaller: -576 or h?
-576
Let u be 13225/45 - -3*(-4)/(-108). Let r = u + -1469/5. Is -147 > r?
False
Let x(g) = 14 + 4*g + g**2 - 14*g**2 + 5 + 11*g - g**3. Let z be x(-14). Suppose z*y = 5*p - 165, -3*y - 2*p + 128 = -7*y. Which is greater: -2/5 or y?
-2/5
Suppose -72*n + 85*n - 138411 = 0. Is n greater than 10647?
False
Suppose 0 = -5*o + 2*l - 2981, l = -18 + 26. Is -590 > o?
True
Suppose 0 = 4*i - 112*o + 109*o + 2450, 4*o = -8. Is i equal to -614?
True
Let s be 1202 + (10 - 1 - (-5 + 9)). Is s smaller than 1207?
False
Let a = 1377 - 1348. Let t = -1.5 + 1.4. Which is smaller: t or a?
t
Let f = -6237 - -835757/134. Are f and -1 non-equal?
True
Suppose c = -j + 217, 2*j + c - 576 + 142 = 0. Which is smaller: j or 213?
213
Let z = -0.0122 - 0.3878. Which is smaller: z or 64?
z
Let l = 6.862 - -0.118. Let o = l - 6.52. Is -6 < o?
True
Let w = -20/9 + 7/3. Let x = 25.7 + -25.7. Is w != x?
True
Suppose -6665*r + 3212 = -6676*r. Are r and 2 non-equal?
True
Suppose -2*r + 46 - 42 = 0. Suppose -320 = 4*h + r*q, -5*h - q = 219 + 184. Are h and -81 nonequal?
False
Let g be (2/4)/((-2)/(-16)). Suppose -17*a + 97 = 2 - 7. Which is smaller: a or g?
g
Let c = 62451/2214490 - 1/31190. Suppose 3*s - 5*t + 20 = 2*s, 4*t = -5*s + 16. Suppose -5*x + s*u = u - 1, 2*x = -u + 1. Which is greater: x or c?
c
Let m be ((-30)/(-120) - (-2)/(-4))*(-4)/2079. Which is greater: m or -1?
m
Let b = 2.94 + -0.84. Let j = -18 + 16.9. Let y = j + b. Are -0.6 and y nonequal?
True
Let c = 3546.114 + -3518. Let a = c + -0.114. Let o = a - 28.1. Which is smaller: 0.18 or o?
o
Suppose -5*k - 4*y = -10, -6*y = -5*k - 3*y - 25. Let v be ((294/(-9))/(-7))/(k/(-5)). Is 13 less than v?
False
Let n = 11 + -10.1. Let h = n - -0.1. Let s = 14716 + -14716.04. Which is smaller: h or s?
s
Suppose 0 = 2*b - 2 - 6. Suppose -2*l = 5*v + 18, 0*l - 4*v = -4*l - 8. Let r be (232/l)/(-2 + b). Is -30 greater than or equal to r?
False
Let a = 4/9 - 7/9. Let h = -29 + 326. Let n = 298 - h. Which is greater: n or a?
n
Let s(z) = -3*z - 23. Let j be s(-8). Let u = 28 - 96. Let r = u + 2583/38. Which is smaller: r or j?
r
Let b(o) = 3*o + 48. Let r be b(-21). Let m be -3*20/r + (1 - -2). Let