= 0.216 - -21.804. Let q = a - h. Which is smaller: q or 2?
q
Let n be (3/(-4))/(1/4*1). Let h be (-172)/(-2484)*n + 2/9. Which is greater: h or 0?
h
Let i be 27/(-12) + (-6816)/(-128). Do 347/7 and i have the same value?
False
Let z = 0 - 0. Let y be (-172)/24 + (-8)/(-2). Let i = y + 127/42. Which is greater: z or i?
z
Suppose -2*n - 1098 = -2*w + 1260, -4*w - 2*n = -4740. Let c = -3518/3 + w. Which is bigger: c or 10?
c
Let z = 8278 - 430471/52. Which is smaller: z or -1?
-1
Let w = 2.2 + -2. Suppose -6*l + 4*l = -8. Suppose -l*g = 2*d + 4, 3*d = 5*d - 5*g + 13. Which is greater: w or d?
w
Let o = -90 + 132. Let g = -14 + o. Is 55/2 bigger than g?
False
Suppose -3*n + 3*p = 3 + 3, 0 = -2*n + 4*p - 8. Suppose n*h = 4*h - 16. Which is smaller: h or 23/8?
23/8
Let x be 2/186*(-6 + (-3 - -3)). Which is bigger: x or -1?
x
Let d be 5637/(-11220) - 4/(-16). Let v = d + 6/85. Is 0 smaller than v?
False
Suppose 2*m - 14*m = 900. Is -74 at most as big as m?
False
Let p be 139/51 + 5 + -8. Let r = p - -26/51. Let i = r + 40/119. Is i at least 0.1?
True
Let v be 24715851/390 + (-15)/25. Let u = -63373 + v. Let l = u - -3/130. Which is bigger: 0 or l?
l
Let w = -28 - -27.8. Which is greater: w or -420?
w
Let b = -117 + 165. Let n = -43.06 + b. Let z = -0.06 - n. Which is smaller: -1 or z?
z
Suppose -50 = 61*c - 11*c. Which is bigger: -1/92 or c?
-1/92
Let s = 15 - 15.68. Let m = s - -0.11. Let x = -0.17 - m. Which is bigger: -2/9 or x?
x
Let s = 40 + -40. Let o = 6 - 9. Let q be -1 - (0 - (0 - o)). Do q and s have the same value?
False
Let d be -3 - (-447)/(-4185) - (0 - 3). Let n = d + 4/31. Let w(b) = b**2 - 6*b - 7. Let x be w(7). Are n and x unequal?
True
Suppose 27*f - 3635 + 12518 = 0. Is -328 at most as big as f?
False
Let c = -9 + 27. Let l = c + -18.4. Which is smaller: -1 or l?
-1
Let g = -534 + 511. Is -9/4 greater than or equal to g?
True
Let o be (-6)/8 - 376/(-32). Let p be 4/3*o/(-8). Is p less than or equal to -3?
False
Suppose 0 = 5*l - 3*x + 12, -5*x = -10*l + 7*l - 20. Which is smaller: 4/593 or l?
l
Let c = 1 - 2. Let i(a) be the second derivative of a**4/12 - 5*a**3/6 + 3*a**2/2 + 10*a. Let w be i(3). Which is smaller: c or w?
w
Let b = 6 - 5. Is 1/9 smaller than b?
True
Let m be (9*(-15)/396225)/((-6)/20). Which is smaller: 2/3 or m?
m
Let i(z) = -z**2 + 5*z - 2. Let x be i(4). Let t be (-2)/((-6)/(-9)) - -6. Suppose -x*o + 5*b = 2*b + 4, 0 = -t*o - 4*b + 11. Which is smaller: o or -2?
-2
Let o be ((-2)/(-12))/((-126)/189). Suppose 1 = 5*u + 6. Let c = -1 - u. Which is smaller: o or c?
o
Let k = -2/9367 - 37282/871131. Which is bigger: 0 or k?
0
Let a = -1.16 - -0.06. Let q = 0.04 - 1.04. Which is greater: a or q?
q
Suppose 0 = -2*s + 3*z + 10, -3 = 4*z + 13. Let a = 1362 - 1334. Which is smaller: s or a?
s
Suppose -21 = 20*q - 1. Is -5/42 less than q?
False
Suppose -z - 4*c = z, -c = -4*z + 36. Let y(h) = 2*h - 1. Let w be y(1). Let q = 7 + w. Is z not equal to q?
False
Let i(s) = -3*s**2 - 2*s - 3. Let t be i(-2). Let p be 0*(-2)/4 - t. Suppose z - 35 = -3*v, v - 3*z = 2*z + 17. Is p <= v?
True
Let w(o) = o**3 - 5*o**2 - 22*o - 4. Let f be w(10). Is f < 276?
False
Suppose 2*z + 2*z - 69 = -q, 2*q = -4*z + 150. Let c = 85 - q. Which is bigger: 3 or c?
c
Suppose 2*w - 21 = 5*v, 3*v + 2*w + 6 = -v. Let z be (-3)/(v/4) + -5. Is z < 2?
True
Suppose 3014 = -837*g + 826*g. Which is bigger: -818/3 or g?
-818/3
Let o = -536 + 533.9. Is -6/5 bigger than o?
True
Let n = -163326 + 811579/5. Let f = n + 1002. Which is bigger: f or -8?
-8
Let v = -8.01 + 0.01. Let k = v - -6.7. Let z = k - -0.8. Do 1 and z have the same value?
False
Let y(p) = 2*p**3 + 2*p**2 - p + 4. Let z be y(0). Suppose 6*d + 16 = z*d - 4*a, -3*a = 12. Which is smaller: d or -2?
-2
Let q = 2/10445 + 20216/3519965. Is q at least as big as -1?
True
Let z(q) = -q - 11. Let x be z(-14). Suppose -s + x = v, 13 = 3*v + 4*s - 3*s. Does v = 7?
False
Let x(w) = 11*w**2 + 3*w - 2. Let i be x(1). Let v(p) = p**3 - 13*p**2 + 11*p + 14. Let z be v(i). Let b be ((-5)/((-175)/(-2)))/z. Is 2/5 at most b?
False
Let o = -6.809 - -0.009. Let p = o - 0.2. Let s = 0.9 + -1. Is s greater than or equal to p?
True
Let m = -11/13 + 1. Suppose -78 = -2*o - 76. Is m at most as big as o?
True
Let g = 15 + -5. Let i = 25 + -36. Let a = g + i. Are -1/10 and a equal?
False
Suppose -88 = -10*r + 102. Let j be (-33)/(-11) - r*-1. Do 22 and j have different values?
False
Suppose 4*d - 25 = -0*d + 5*z, -4*d - z - 5 = 0. Let j = 10080379/258915 + 3/17261. Let l = -39 + j. Which is smaller: l or d?
l
Suppose 4*z - 18 - 26 = 0. Suppose -4*h - z = -55. Let k = 11 - h. Is 7/6 greater than or equal to k?
True
Let k(v) = -2 - 18*v + v**2 - 15 - 3. Let p be k(19). Is -1/47 greater than p?
True
Let w be (-1 + 5)*1/4. Let d be w*3 - 32/8. Is d > -2/39?
False
Let x be 3/13 - 0/2. Let n(o) = -2*o + 29. Let i be n(14). Let r be 2 - ((i + 3)/(-4) - -2). Which is smaller: r or x?
x
Let q(t) = -21*t + 96. Let m be q(8). Is m bigger than 1?
False
Let s = 80 - 61. Let m = -18 + 16. Let l be -1*(2 - (0 - m)). Is l bigger than s?
False
Suppose 8*d - 10 = 3*d. Suppose -d*l + 24 = -5*l. Let r = -5 - l. Is 5 smaller than r?
False
Let o be (1 + 0)/(-3 - (1 + -2)). Let n = 47 + -54. Which is smaller: o or n?
n
Suppose -3*y = 2*y - 10. Let o(q) = -q**3 - 7*q**2 + 9*q + 3. Let b be o(-8). Let s be (4 + b)*4 - -5. Is y <= s?
False
Suppose 3*y + 5*p - 21 = -y, 5*y - p = -10. Are 87 and y equal?
False
Let m(n) = n**2 - 6*n - 2. Let d be m(8). Let g = d - 1. Are g and -2 non-equal?
True
Let b = 3.93 + -0.13. Let l = -4.8 + b. Which is bigger: -2/19 or l?
-2/19
Let o = -96.038 - -96. Let s = o + -0.102. Are -0.1 and s unequal?
True
Suppose -7*t = -11*t + 40. Let n(x) = -6*x - 12 - t*x + x**2 - 2*x**2 + 4*x. Let a be n(-11). Is 0 greater than or equal to a?
True
Suppose 4*m + 6*n = 5*n + 4, 2*m - n - 8 = 0. Which is smaller: -69/2 or m?
-69/2
Suppose -2*r + 4*u - 110 = -u, 2*r = u - 94. Let p = 63 + r. Which is greater: -2/7 or p?
p
Let a be ((-4)/(-7))/((-25)/(1106000/(-96))). Which is bigger: 263 or a?
a
Let j be (-42)/28 + 0 + 26/12. Which is bigger: j or -4/25?
j
Let o be ((6/(-7))/((-16)/(-112)))/1. Which is smaller: -3 or o?
o
Let h be 8/24 + (-33)/153*1. Let k = -3 + 0.08. Let y = -0.08 + k. Is y less than or equal to h?
True
Let s = 0.6376 + 0.0624. Is s <= -42?
False
Let g = 315 + -314. Is g at least as big as -32?
True
Suppose 3*b + 6 = 6*b. Let o be (-152)/12 + 2/(b - 8). Is -13 >= o?
True
Suppose -30*g + 21*g = -54. Let o = -7 - -13. Do g and o have the same value?
True
Let c = 3.07 - 20.48. Let h = c + 1.28. Let x = h - -0.13. Which is smaller: x or 0?
x
Let u(s) = s**2 - 4*s - 3. Let k be u(3). Let o = k - -11. Is o less than 5?
False
Let m = -961 - -1473. Which is smaller: m or 1?
1
Suppose -5*q = s - 17, 0 = 5*s - q - 7. Let r = s - -12. Do 15 and r have the same value?
False
Let k(p) = p**3 + 21*p**2 - 5*p - 35. Let b be k(-21). Which is smaller: b or 1?
1
Let k = 9755/342 + -256/9. Let a = k - -8/19. Which is smaller: a or 1?
a
Suppose 4 = -3*k - k. Suppose o = 5*o - 24. Let a be ((-6)/27)/(o/3). Which is smaller: k or a?
k
Let p = 1.6 - 0.6. Let m = -1.3 + p. Let x = -120 - -123. Is m < x?
True
Let d be 8/36 + 400/(-18). Let n = 15 + d. Let y = -12 + 7. Is y smaller than n?
False
Let d be (0 - -2) + (-25010)/66. Let a = d + 377. Do -1 and a have the same value?
False
Let i be (98/5)/((-17)/85). Let d be (-2)/(-10) - i/(-590). Let r = d - -55/118. Which is smaller: r or 2/5?
2/5
Let q = -27/130 - -3/52. Let w = -3/5 + q. Which is bigger: -2 or w?
w
Let d = 1872/41 - 53522/1271. Which is smaller: d or 5?
d
Suppose -2*z - 44 = -4*x - 12, -2*z = -3*x + 25. Suppose 4*j - l + x = 2, j + 5 = -l. Let m be (-16)/(-40) + j/5. Is m < -2/49?
False
Let i be (10/34)/(42/546). Do i and 5 have different values?
True
Let a = 25 - -278. Which is smaller: a or 2/5?
2/5
Let n = -217 - -217. Is -3/248 not equal to n?
True
Let w = -338 - -11156/33. Suppose 0 = -3*h - 0*h. Which is greater: w or h?
w
Let x = -6781 + 6722.38. Let s = -59 - x. Is s equal to -1?
False
Let h = -309 - -309.5. Which is smaller: h or -87/7?
-87/7
Let a = 169 + -168.99. Is a greater than or equal to -1/6?
True
Let r(m) = 2*m**2 + 6*m + m**3 - 11*m**2 - 6*m. Let h