
Let s be 27/(-216) + (-6946)/(-16). Let w be 2/(-3)*2578/4. Let n = w + s. Are 5 and n equal?
False
Let o(r) = -3*r + 1. Let f(t) = 7*t - 2. Let i(g) = 2*f(g) + 5*o(g). Let n be i(-6). Let a(h) = h**2 - 8*h + 3. Let m be a(n). Is m less than or equal to -4?
True
Let s(v) = -v - 2. Let z be s(-3). Let n = -25/12 + 299/132. Which is bigger: z or n?
z
Let s = 354/5 + -71. Let y = -8 + 11. Let d be 34/(-51) - 1/y. Is d at least as big as s?
False
Suppose 0 = -2*m + m. Suppose -4*v + 2 = -4*l + 2*l, -v = 3*l - 32. Suppose m = l*w - 6*w + 3. Which is smaller: 0.05 or w?
w
Suppose 0 = -3*r - 5*o + 6, -4*r + o + 4*o = -43. Suppose -7 = -2*y - 1. Suppose y*l + 8 = 4*l. Which is smaller: l or r?
r
Let g be (-68)/(-54)*3 - 8/(-36). Let n(m) = -m - 33. Let t be n(g). Is t <= -35?
True
Suppose 0*s + 3*s - 21 = 0. Suppose -s*w = -2*w + w. Do 1/3 and w have different values?
True
Let z be 3 - -13*11/(-44). Which is bigger: 8 or z?
8
Suppose 14*b = -5318 + 1664. Which is smaller: -258 or b?
b
Let s(r) = -80*r + 472. Let a be s(6). Let l = -5 - -9. Let b be (l/(-10))/((-1)/(-20)). Is a equal to b?
True
Let r(a) = -a**3 - 4*a**2 + 2*a + 4. Let p be r(-6). Let j be (-3)/15 - p/(-20). Let b be j + -2 + -2 - 26. Is b at least as big as -27?
True
Let h(n) = n**2 - 1. Suppose 0 = 3*l + 2*l. Suppose 5*o + 1 = 3*u, 4*u - 6 - 2 = l. Let i be h(o). Which is smaller: 1/8 or i?
i
Let f = -1040 - -1379. Is 340 != f?
True
Let w be 3 + -5 + (-92)/(-37). Let j = 242/111 + w. Suppose 20 = 30*q - 25*q. Which is smaller: q or j?
j
Let b = -0.046 + -7.954. Let a = 62 - 54.4. Let y = a + b. Do y and 0 have the same value?
False
Let c = 0.11 + -0.18. Let k = c + 0.07. Let n be (-8)/2 - (-752)/184. Is k greater than n?
False
Suppose 3*i - 4*r - 35 = 0, -3*i - 9 = -r - 29. Let d be i/(-10)*(1 - -1). Let g be (-3*(16/12 - 1))/6. Is g at most d?
False
Let f = -216/19 + 610/57. Is 1/20 smaller than f?
False
Let s = 203 + -108. Let q = s - 94. Is 2/79 at most q?
True
Suppose 3*u = -v - 3 + 13, -6 = -4*v + 5*u. Let s = v + -6. Does -2 = s?
True
Suppose 3*b - t = -287, 6*b - 4*b = t - 191. Do -103 and b have the same value?
False
Let d = -1709 - -1427. Which is greater: d or 4?
4
Let p = 5.01 - 0.01. Suppose i = -r - 1, 3*i - 6*r - 9 = -3*r. Which is bigger: p or i?
p
Let w be (2/3)/((-9)/(-18)*-20). Is w bigger than -4/25?
True
Suppose 0 = -4*u + 16. Suppose 0*f + 4*f = u. Let a = 1024/5511 + -2/501. Which is bigger: f or a?
f
Let t = -1585 - -1590. Which is bigger: t or -154?
t
Let w = -3249/4 + 804. Is -7 >= w?
True
Suppose 3*q + 4*h - 12 = 8, -5*q = -3*h + 15. Let x = 15.9616 + 0.0384. Which is smaller: q or x?
q
Let o be (22/2)/1 + -55 + 58. Let f = -7 + o. Is f smaller than 6?
False
Let u be 9 - (9 - (-1)/7). Which is smaller: -0.063 or u?
u
Let m = 3/67 - 79/268. Is 201 > m?
True
Let z = -25 - -27. Suppose -i + z*c + 10 = -13, -84 = -3*i + 3*c. Suppose -2*m + i = -15. Which is greater: m or 25?
25
Let x = 161921/1309 + -866/7. Which is smaller: 1 or x?
x
Let b(j) = 702*j - 3512. Let a be b(5). Let p be 1 + (-1)/46*47. Let o = p - 34/23. Are a and o unequal?
True
Let w = 1 - 2. Let h be w/(-2) + (-6)/(-4). Suppose -5 = 34*q - 29*q. Do h and q have the same value?
False
Suppose -133 = t + 2*p, 3*t + 10*p = 9*p - 404. Are t and -133 equal?
False
Let i = -0.28 - 11.72. Let a = i - 15. Let o = -26 - a. Is o at least as big as -0.04?
True
Let w(p) = -2*p**3 + 22*p**2 - 20*p + 4. Let q be w(10). Suppose -q*r = -8*r + 16. Are r and 4 equal?
True
Suppose 25 = 5*i - 4*i. Let t be 0 + 1 - (0 + -23). Let b = i - t. Is -3 equal to b?
False
Let x = 451 + -453. Are 14 and x unequal?
True
Let j be (-2)/(-8) - 4/16. Suppose -4*b + 5*z - 6 - 18 = j, 2*b + 3*z = 10. Is 28 not equal to b?
True
Let j be 1860/(-125) + 13 + 4/2. Let r = 1 - 1. Which is smaller: j or r?
r
Let u(y) = 4*y - 6. Let p be u(4). Let z be (-120)/(-100) + 4/p. Is 0.1 equal to z?
False
Let x = 6 - 4. Let g be (-106)/(-22) - 20/(-110). Suppose -g = 4*m - 13. Is m > x?
False
Suppose 0 = 5*x - 0*x + 315. Which is smaller: x or -65?
-65
Let s = 0.18 - -24.82. Let b = s + -26. Does -20 = b?
False
Let b(d) = -d**2 + 46*d - 133. Let x be b(3). Do -46/9 and x have the same value?
False
Suppose 3*k = 4*x + 22, 3*x + 10 = -2*k + k. Suppose 2*q = -k*q + v - 51, 0 = 5*v - 15. Let z = q - -12. Is z smaller than 1/13?
True
Let r(a) = -a**3 + 6*a**2 + 19*a - 24. Let o be r(8). Is o less than 692?
True
Let y = -42 - -41.9. Let k = -0.29 - -0.39. Which is greater: y or k?
k
Suppose -2*t - 9*k = -12*k - 115, -5*k = -5*t + 295. Is t equal to 0.3?
False
Let a = -1.47 - 26.73. Let q = 27 + a. Which is greater: 0.2 or q?
0.2
Let l be (-12)/15*60/(-8). Let t be l - (-2)/(-2) - 3. Let w be 0 + t*(-3)/42. Which is smaller: 1 or w?
w
Let g(n) = n - 3. Let f be g(3). Let p = f + 15. Let z = 16 - p. Which is bigger: 1/6 or z?
z
Let m = -2233 - -2233. Let g = -456/595 - -14/17. Are m and g unequal?
True
Suppose 24*w - 11 = 13*w. Is w not equal to 38/61?
True
Let j = 187 - 186. Let r = 0.19 + -0.32. Let c = r + 8.13. Is c at most j?
False
Let w be (20/3090)/((-2)/(-3))*-1. Which is smaller: w or -1?
-1
Suppose 0 = -4*r - 0*r + 4. Suppose 2*m - 5 = r. Let x be (-1)/(4/(-15 + m)). Are 1 and x unequal?
True
Let j = -567/2252 - -1/563. Let g = -8 - 9. Which is smaller: j or g?
g
Let k(y) = y + 7. Suppose 2*z - z = 1. Suppose 0 = x - 3*m + z + 8, 12 = -x + 4*m. Let q be k(x). Are q and 7 nonequal?
False
Let r = -237 - -133. Are -104 and r nonequal?
False
Let q = 172 + -171. Let y = q - 4.9. Which is greater: y or -0.1?
-0.1
Let q = -6 - -11. Suppose 2*o + r = -2, -o + r = -q*o. Which is greater: -2/79 or o?
o
Let p = -63 - -39. Let k = 13 + p. Is k less than or equal to -10?
True
Suppose 21*x = -2*r + 20*x + 1, -5*x = 2*r - 13. Is 4/151 < r?
False
Suppose 0 = 7*q - 33 + 12. Suppose 8*f = q*f + 3*f. Is -1 equal to f?
False
Let i(d) be the second derivative of d**5/20 - d**4/6 - d**2 + 12*d. Let y be i(2). Do y and -3 have different values?
True
Let d = -3 + 2. Let m(y) = y**2 + 12*y + 33. Let t be m(-7). Let n be t/d - (1 + 9). Which is smaller: n or -5?
n
Let k = -654 + 731. Are k and 71 equal?
False
Let q be 142/8 - (-4)/48*-9. Let l = 1.9 - 1.7. Which is bigger: l or q?
q
Let c(s) be the first derivative of 3/2*s**2 + 1/4*s**4 - 5*s - 7 + 5/3*s**3. Let n be c(-4). Which is greater: n or 2/13?
2/13
Let p be (1/3)/(1/2). Let a = 423 - 420.2. Is p greater than a?
False
Let b = -0.3 + 1.3. Let p = -17 + 15. Let g = p - b. Which is smaller: g or -0.2?
g
Let f be 9 - (0 - -1) - 0. Suppose o + o - f = 0. Let r be 4/o - 51/39. Is 1 at least as big as r?
True
Suppose 0 = 28*n - 9*n. Which is smaller: -2/337 or n?
-2/337
Suppose -5*x = 2*i - 5*i, 5*x + 3*i - 30 = 0. Let c = x + -17. Let o = c + 10. Which is smaller: o or -17/5?
o
Let j(r) = -r + 8. Let g be j(8). Let x be 7 + 76/(-8) - 12/8. Is x bigger than g?
False
Let x = 66 + -34. Let k = 7 - 23. Let c = x + k. Which is smaller: 2/5 or c?
2/5
Let z be 6*((-38)/90 + (-14)/(-70)). Is z < -1?
True
Let g(n) be the second derivative of 1/6*n**3 - 2*n + 0 + 1/2*n**2. Let p be g(-1). Which is bigger: p or -2/13?
p
Let o = 3 + -4. Let b be ((0 + 1)/5)/(4/(-8)). Is o at least as big as b?
False
Let p = -25 - -26. Let i be (-4 + (-158)/(-38))*-3. Which is bigger: i or p?
p
Let o = 116 + -1157/10. Let w(j) = 4*j**3 - 5*j**3 - 9 + 2 - j - 11*j**2 - 5. Let x be w(-11). Which is smaller: x or o?
x
Let o(p) = p**3 + p**2 + 11. Let i be o(0). Let y = 9 - i. Let j(m) = m**2 + 5*m. Let t be j(-4). Is t bigger than y?
False
Let p = 52.97 - 53. Let g = p + 2.03. Is -22 at most g?
True
Let i be ((-16)/(-44))/(4/158). Is 14 at least as big as i?
False
Let q = -1.98 - -2.08. Let b be (-38)/60 - (-23)/(-115). Is q != b?
True
Let b = -2041 + 2045. Is 77 less than b?
False
Let q(n) = 7*n - 4*n - 11*n - 5 - n**2. Let x be q(-7). Let k be (x/4)/(1/2). Which is greater: -2/7 or k?
k
Let m be -4 + (28/4 - 2). Let i be m + 20/44*-5. Is -1 less than i?
False
Suppose h - 17 = -4*g, 0 = 4*g - 0*h - 2*h - 26. Suppose g*z - 5*d = 2*z + 16, 0 = -3*z - 4*d + 52. Let r be 2 - (z/3 + 27). Which is smaller: -30 or r?
-30
Let z be (-1)/3 - 4/6. Let c be (-6)/784*7*(-14)/(-4). Which is smaller: z or c?
z
Let z be 2 - 5*(-3)/3*-1. Let k be ((-1)/((-6)/(-141