-21 - -21. Let a be (-1)/(-2)*s/7. Which is bigger: a or 2?
2
Let x be (-37)/2 - (20/8 - 2). Suppose -z + 92 = -4*y + 17, -3*z - 60 = 3*y. Is y greater than x?
False
Let p = 26 + -21. Let w be ((-3)/30)/(8/p). Is w bigger than 0?
False
Let j = -127.1 - -127. Is j != 2/1071?
True
Let b = 0.55 - 94.55. Let o = b + 95. Let t be 1/(-3)*(-1 - 0). Which is greater: t or o?
o
Let c = -7 - -7. Let d be 15/(-35) + 1 + 25/42. Is c at most d?
True
Suppose 0*z = -2*z. Suppose 5*j - 2 - 3 = z. Let q(f) = -2*f**2 + 2*f - 1. Let o be q(j). Which is smaller: o or 1/18?
o
Suppose r = -7*n + 3*n - 739, 5*r = 4*n + 721. Does n = -184?
True
Suppose 5*r = 5, -5*r - 3 = 5*d + 12. Let t be (-13)/((-3)/(-1 - d)). Let v = 13 - t. Is -1/11 < v?
True
Suppose 4*v + 3*a + 89 = 438, -178 = -2*v + 2*a. Suppose l - v - 32 = 2*y, 3*l = 4*y + 354. Are 114 and l nonequal?
False
Let s be (24 - -3)*40/15. Let p = -239 - s. Let i = 1561/5 + p. Do i and -1 have different values?
True
Suppose -4*n - 16 = -3*c, -2*c + 0*n = n + 4. Suppose c = -0*p + p - 40. Let r be (1/(-3))/(p/36). Which is smaller: 0 or r?
r
Let v = 5 - 8. Let p be (-176)/(-24) + (-2)/v. Is p less than 7?
False
Suppose 40218 + 2230 = -56*a. Which is bigger: a or -757?
-757
Let d(a) = -a - 15. Let n be d(-15). Let x be 3150/(-1062) + n + 3. Is x smaller than -1?
False
Let t = 57 + -40. Let l be 99872/408 + (-2)/t. Let w = l - 247. Which is bigger: -2 or w?
-2
Let j = -10 - -10. Suppose j*c = -4*c + 12. Let h be (8/14)/(4 - 2). Which is greater: c or h?
c
Let a(u) = 3*u**3 - 7*u**2 + 17*u - 19. Let m be a(3). Is 46 equal to m?
False
Let x(d) = d**2 - 7. Let f be x(0). Let a = -25 + 23. Let z(p) = -p**2 + 2*p - 1. Let c be z(a). Which is bigger: f or c?
f
Suppose 0 = 5*d - 10. Suppose -2*n - 8 = -4*p, 5*p = 12 - d. Let g be ((n - 0) + 0)*-1. Is -3/29 at most as big as g?
True
Let d = 421 - 427.7. Which is greater: -1/3 or d?
-1/3
Let q(s) = -s + 1. Let w be q(-2). Suppose -4*f = -4*a + 16, -3*f - 3 = w. Let o be ((-48)/(-63))/((-18)/(-21)). Does a = o?
False
Let t = 18.6973 - -0.0027. Do t and -1 have the same value?
False
Let z(h) = 426*h + 30. Let j be z(0). Let u(a) = 7*a + 3. Let f be u(4). Is j >= f?
False
Let s(p) = -p**2 + p + 2. Let f be s(3). Let u = f + 4. Let k = -298.94 + 299. Which is smaller: u or k?
u
Let z be (9/15)/(2/30). Suppose -z*n - 444 = -120. Which is smaller: n or -37?
-37
Let o = 32457469/3286 - 19755/2. Let z = o - -1501/116653. Let t = 61/710 + z. Is 2/5 greater than t?
True
Let k be -4 + 2*(-3)/6. Let c be 9*3/(-13 - -4) + 3. Do k and c have different values?
True
Let t = 427 - 5549/13. Suppose -r + 0*r = 0. Does t = r?
False
Let r(l) = -8*l + 5. Let w be r(0). Suppose 91 = -w*h + 336. Is 49 < h?
False
Suppose -3*p + 24 + 12 = 3*k, -5*p + 21 = 2*k. Let a = k + -21. Let t(o) = -14*o**2 - 583*o + 586. Let v be t(1). Are v and a nonequal?
True
Let j = 503 + -517. Which is smaller: -16 or j?
-16
Let b = 918 - 914. Let l = -22840/3 + 2513963/330. Let d = l - -3/220. Which is smaller: b or d?
b
Let d(o) = 5*o - 12. Let f be d(6). Suppose 16*m = f*m - 8. Is 2 at most as big as m?
True
Let b(o) = -o**2 - 12*o - 29. Let s be b(-9). Let y be (2/(-88)*s)/(2/(-168)). Which is smaller: y or -3?
y
Suppose 0 = 5*l - 3*a - 2*a + 135, 5*a - 66 = 2*l. Which is bigger: l or -20?
-20
Suppose 3*t - 3 = -4*c, t = 5*c + 20 - 19. Which is greater: c or -2/235?
c
Let i = -2.72 - -2.8. Let y = i + 0.02. Which is bigger: -0.6 or y?
y
Let n = -191 - -200.3. Let k = 9.5 - n. Is k greater than or equal to 0.11?
True
Suppose 0 = x - 3*x - 2*g + 14, -x + 3*g = 9. Let l be 5 - x - 4 - -12. Suppose -5*s = l, -o - o = -5*s - 12. Which is smaller: 1/11 or o?
1/11
Let u(y) = -y**2 + 2*y + 12. Let v be u(0). Suppose 2*q + 2*q + v = 0. Let a be (5/q)/((-8)/24). Which is smaller: a or 17/3?
a
Let d = 0.354 + 63.646. Which is smaller: d or 2/5?
2/5
Suppose -2*s - 28 + 8 = 0. Let j be ((-12)/s)/((-3)/(-5)). Which is greater: j or 1?
j
Let q = 7/164 - 1667/33292. Is q > 0?
False
Let p(a) = a**3 - 3*a - 1. Let s be p(-2). Let v be (4/84)/(1/s). Let g = 97/420 - -2/105. Is v > g?
False
Suppose -76*y + 168 = -62*y. Is y < 78/7?
False
Let a = 250 - 289. Which is greater: -40 or a?
a
Let v = 10 - 8. Suppose -x - 17 - 3 = v*l, 3*x + 20 = 4*l. Let i = x - -13. Which is smaller: i or -2/11?
-2/11
Let g(x) = -88*x**3 + x + 3*x**3 - 2 + 53*x**3 + 2*x**2. Let f be g(1). Is -30 >= f?
True
Let s = 591.8 + -592. Which is smaller: s or -2/233?
s
Let b = 1820 + -440. Let x be (-6475)/b - -5 - (-2)/(-8). Which is smaller: x or 0?
0
Suppose 0 = 4*s + 11 + 29. Let w be 2*(s/45 + 2/36). Which is bigger: w or 1/3?
1/3
Suppose 2*u + 26 - 80 = 0. Suppose 17 + 0 = 4*h + 5*y, -h = -5*y + u. Is -14/13 < h?
False
Let x be (4 + -1)/3*-19. Let q = x + 18. Let n be 0/2 - 3/2. Which is bigger: n or q?
q
Let i(u) be the second derivative of u**3/3 - u**2 + 9*u. Let k be i(3). Do 13/5 and k have different values?
True
Let d(g) = -g**2 + 14*g - 31. Let a be d(11). Let l be ((-2)/1)/(a - 0)*4. Suppose 5*k + 29 = 3*i, -4*k - 2*i + 1 - 11 = 0. Is k greater than l?
False
Let n = 10011/10 + -106921/110. Let l = 29 - n. Suppose -4*u = -20, -4*u + 7 = -5*v - 8. Which is greater: v or l?
v
Let q(a) = a**3 - 20*a**2 + a + 7. Let i be (((-96)/10)/6)/(4/(-50)). Let p be q(i). Let m = 4 + -3. Is p <= m?
False
Let b = 3372 - 3354.716. Let u = b - -0.666. Let s = -18 + u. Is s greater than -2?
True
Let o be 34/9 - (-12)/54. Let q(v) be the first derivative of -v**3/3 + 5*v**2/2 - 6*v + 1. Let b be q(o). Which is greater: b or 1?
1
Let i be 0/(736/(-138)*6/(-8)). Let a be (-42)/(-19) - (2 - 0). Are a and i equal?
False
Let h = 5.07 + -5.08. Are h and -0.1 unequal?
True
Suppose 13*n + 18*n = 31. Let b = -226 - -438. Let h = 1283/6 - b. Is h at least as big as n?
True
Suppose 0 = 6*v - 8*v + 2. Suppose 0 = k - v - 2. Let i be (-6)/18*(0 - k). Is 2 at least i?
True
Let o(i) = -4*i + 20. Let q be o(-42). Which is bigger: 189 or q?
189
Let f = -44 - -33. Which is smaller: 25 or f?
f
Let b = -257/5 - -51. Let p = 21 - 19. Suppose 0 = p*v + r, 0*v + 4*r = 2*v. Which is greater: v or b?
v
Let g = 783 + -7049/9. Let r = -1.8 + 1.37. Does r = g?
False
Let n = 40 - 28. Suppose 0 = l - 3*l - 5*u - 15, -5*l - 4*u - n = 0. Is l at most 1/10?
True
Let z be (-565)/(-20) + 3/(-12) + -2. Let i be z/(-26) - (4/(-6))/1. Is 12 greater than or equal to i?
True
Let z = -412 + 400.8. Is z not equal to 1?
True
Let d = -24 + 25.7. Let x = d - 1.6. Let a = 673/8 + -84. Is x at most as big as a?
True
Suppose -40 = 6*x - 4. Let s(c) = -c**3 - 8*c**2 - 10*c + 10. Let g be s(x). Let z = 10 - 14. Which is smaller: g or z?
z
Let k(c) = c**3 - 7*c**2 + 4*c + 13. Let o be k(6). Is 14 smaller than o?
False
Suppose -2*r = 3*r - 20. Let x = -23.7 + 25. Let l = 0.3 - x. Are l and r non-equal?
True
Suppose 0*p + 17 = -p - b, -5*b + 11 = -p. Let i = p - -15. Let t(x) = 9*x**2 + 3*x + 2. Let v be t(i). Which is smaller: v or -2?
-2
Let o(c) = 5*c - 8. Let i be o(7). Let d(x) = -2*x + 14. Let w be d(6). Suppose -3*u + 4*p = w*u - i, 4*p + 12 = 0. Is u > 9/5?
True
Let k = 444 + -487. Is -40 >= k?
True
Let j be 10934/210 - (-9)/15. Is 53 > j?
True
Let w(h) = -h**2 - 16*h - 16. Let x be w(-11). Suppose 2*l + l = x. Let d be (-4)/8 + (-25)/(-2). Are l and d equal?
False
Let y = -2264 - -2072. Which is bigger: -577/3 or y?
y
Let r = 43 - 23. Let n = r + -18.3. Let b = n - 0.7. Which is greater: -6 or b?
b
Let x be 6/10 - 244/(-10). Let o be (-10)/x*15/(-6). Let w be 6/(-18)*(-10 - 3/(-3)). Is o greater than or equal to w?
False
Suppose 2*q = -2*q - 3*s + 21, 2*q = 3*s + 15. Suppose 22*c - 4 = 18*c. Which is smaller: c or q?
c
Let f = -8/17 + 58/51. Let a = 2 + 0. Suppose 0 = -a*d + 5*d - 3. Is f greater than d?
False
Let t = -7998 - -8025. Let q(u) = 9*u + 1. Suppose 2*f - f = 3. Let z be q(f). Which is bigger: z or t?
z
Let r = 1.265 - 0.265. Is r < 0.118?
False
Suppose -5*s - 112 = 5*l - 2*s, -3*l = 4*s + 76. Let t be (216/(-105) - -2)/((-4)/l). Let g = 2 + -3. Which is smaller: t or g?
g
Let u be ((-186930)/24)/(-15) + 3/4. Let x be (u/12)/5 - (-2)/6. Does x = 10?
False
Let k be -4 + 3 - (-1)/(-1). Let h = k + 7. Suppose h*p = p + 16. Which is smaller: 5 or p?
p
Let o be 0 + 60/(-7572)*2/(-10). Is o < -1?
False
Suppose