0, 10 = 2*t. Is 1241/5 smaller than q?
False
Let w be 87/27 + 2/(-9). Let v be ((-3)/(-1))/w + 7. Let d(p) = -p + 4. Let i be d(-6). Is i bigger than v?
True
Suppose 696 = 38*w - 44*w. Is -116 >= w?
True
Let f = -21 - -17. Let p be (-2)/f + 12/(-8). Is -9/14 at least as big as p?
True
Let d = 10.9917 - -0.0083. Is d at most 1?
False
Let g(x) = -32*x**3 - x**2 + 1. Let a be g(1). Let s = 107/170 - 11/85. Is a >= s?
False
Suppose -4*y - 1734 = -5*n, 1288 = 4*n - y - 108. Which is bigger: n or 351?
351
Suppose 4*i = 8, t - 5*i = 2*t - 14. Suppose -2*v - 4*g = -6, -4*v + 8*g - t*g = 0. Which is bigger: v or -1/6?
v
Suppose u = 7*u - 240. Let s = u + -33. Is 5 greater than s?
False
Let n = -7375 - -52168/7. Let u = n + -78. Suppose -2*q - 1 + 5 = 0. Is q smaller than u?
False
Let f be -12*3/45*-3. Suppose 0*y = 4*y. Let j = 1 - y. Is j < f?
True
Suppose -9 - 15 = -4*n. Suppose -3*v = -0 + n. Which is bigger: v or -1?
-1
Let x = -90 - -94. Let y be ((-15)/(-18))/(x/24 - 0). Is y at most 56/9?
True
Let d = 53 - 25. Let k be (1 - -7)/(d/(-6)). Suppose -30 = -5447*r + 5462*r. Do k and r have the same value?
False
Suppose y - 3 = h + 9, -3*y + 68 = -5*h. Let g be 4/(4 + h)*-9. Is 2 at least as big as g?
False
Let s(l) = l - 27. Let h be s(0). Let c = h + 46. Is c smaller than 19?
False
Let d = 314 + -553. Is d <= -239?
True
Suppose -i = 2*m + 3 - 8, 3*i = m + 50. Let w = -5 + 20. Is w smaller than i?
False
Suppose 0*t - 3*t - 72 = -4*q, 0 = -q - t + 18. Suppose 0 = 5*p - q - 7. Suppose 3*b + 2*b - 20 = 0. Is p > b?
True
Let d be 2/(-6)*3/(-2). Let x = -4.355 - -0.055. Let m = x - -4.1. Is d < m?
False
Let m be 2/(-16)*6*(-140)/1455. Which is smaller: 0 or m?
0
Suppose -6*v - 321 = -51. Let t = -67 - -22. Is v smaller than t?
False
Suppose 2*m + 15 + 77 = 2*f, 4*f = 3*m + 183. Let k = f + 141. Let l = 1311/7 - k. Which is smaller: l or 0?
0
Let n be (-17)/(-3) - 13/((-78)/(-4)). Suppose -5 = 7*f - n. Which is smaller: -6/29 or f?
-6/29
Suppose -w = w - 124. Let n = w - 263/4. Is -3 less than or equal to n?
False
Let o = -116/7 + 457/28. Which is bigger: 2.5 or o?
2.5
Suppose 68 = 2*o - 6*o. Let j = o + 27. Suppose 7*g - j*g - 15 = 0. Is -5 less than or equal to g?
True
Let l = -369 - -214. Does -153 = l?
False
Let r be ((-10)/(-6))/((-1)/30). Let c be 1/2 + r/(-60). Which is smaller: 1 or c?
1
Suppose -5*s = 5 - 0. Let l be 98/(-70) + 2/5. Let c = l - -10/9. Which is greater: s or c?
c
Suppose 0 = -3*k - k - 68. Let x = -33 - k. Let j be (-6)/((-4)/x*6). Is -5 at most j?
True
Let q = -31 + 36. Suppose q - 2 = 3*t. Let i = 5/36 + 1/12. Which is smaller: i or t?
i
Let k(g) be the second derivative of -g**4/6 + 5*g**3/2 - 7*g**2/2 - 13*g. Let x be k(7). Do x and 1 have the same value?
False
Let c = 4.2 + -0.2. Let t = -17 + c. Let g = -15 - t. Which is greater: g or -1/4?
-1/4
Let k = 92 - 47. Suppose -k = -3*q - 0*q + 4*x, -3*q = 3*x - 66. Are q and 18 nonequal?
True
Let k = 6.03 + -0.03. Let b = k - 6.05. Which is greater: b or -1?
b
Suppose 138*k = 95*k - 22446. Which is greater: k or -2?
-2
Let f be (482/980 + (-8)/16)/(-2). Let g = f + 46/735. Are 5 and g equal?
False
Let k(j) = 2*j**3 - 19*j**2 - 13*j + 29. Let w be k(10). Is w equal to 9/22?
False
Suppose -405 = -3*d - 2*s, 18*d - 13*d = 2*s + 675. Do d and 135 have the same value?
True
Let f be 0*(1 - 10/8). Suppose 30 = -5*n + 3*n. Let c be 4/n*(-6)/(-4). Is f equal to c?
False
Let l = 37 + -64. Let v = 27 + l. Is v <= 9?
True
Let o(r) = 2*r**3 - 30*r**2 + 31*r - 20. Let i be o(13). Is i > -1171/4?
False
Let s = 9.78 - 5.79. Let c = 0.01 + s. Let z = c + 0. Which is smaller: -1/4 or z?
-1/4
Let o(b) = -b - 9. Let c be o(-7). Let a be (c*(-1)/4)/(6/96). Let j be (2/4)/(1/18). Which is smaller: a or j?
a
Let f = -13/35 - -4/7. Is f less than 1?
True
Let v = 277 - 277. Let b(t) = t - 1. Let k be b(5). Let j = v - k. Which is bigger: -1/3 or j?
-1/3
Let h = 97872/7 - 1330968/91. Suppose 4*v - 5*v + 5*p = -649, -3*p = -4*v + 2579. Let s = h + v. Which is bigger: 0 or s?
0
Suppose 29*n - 484 = 73*n. Let m(r) = r**2 - 8*r + 3. Let d be m(3). Is d at least as big as n?
False
Let j = -27 - -16. Let k = j + 10. Let h = -2903/9 + 323. Which is greater: k or h?
h
Let m be ((-14)/35)/(3/(-5)). Suppose 3*j = -5*p - 5, 0 = -p + 2*j + 1 + 11. Suppose p*g = -0 + 2. Which is smaller: g or m?
m
Let p be (0 - ((-4)/(-3) - 0))*-3. Suppose -5*o = 5, -p*i + i = -5*o - 5. Which is bigger: 1/46 or i?
1/46
Let n = -3.2 - 6.8. Let d = -1 - n. Let t = d - 14. Do -0.2 and t have different values?
True
Let z = -86.1 + 86. Which is bigger: -117 or z?
z
Let x = -15 + -28. Let h = x + 43.06. Which is bigger: -1 or h?
h
Let r = 1495 + -1497. Is -0.023 at least as big as r?
True
Let g = -273980/3033 + -1/3033. Is -91 < g?
True
Suppose 0 = -2*l - 4*k - 16, -2*l = -0*l - 2*k - 8. Suppose 5*r = -l - 5. Which is bigger: 5 or r?
5
Let w be ((-4)/(-10))/(8/10). Let q be (-296)/3075 - (-14)/175. Which is greater: q or w?
w
Let z(n) = 2*n + 12. Let p(h) = 2*h + 13. Let f(j) = 2*p(j) - 3*z(j). Let a be f(-5). Which is smaller: -1/17 or a?
-1/17
Let x = -121 - -271. Are x and 446/3 equal?
False
Let p be (-26)/22 - (-22)/121. Let s(i) = -11*i**3 - i**2. Let c be s(-1). Are p and c non-equal?
True
Suppose 5*h = -7 + 37. Let z be (-40)/(-18) - (h + 104/(-18)). Is 8/3 smaller than z?
False
Let o be (-2 + 1)*58 + (218 - 218). Which is smaller: 1/3 or o?
o
Let i(z) = z**2 - 8*z + 8. Let c be ((-36)/15)/(2/(-5)). Let b be i(c). Is b < -1?
True
Let z be 5 + (-1771)/(-49) + 1/(-7). Are 40 and z non-equal?
True
Let u be (-2)/(-4) - (-86)/(-188). Let a = -23 + 27. Let t be (-1 - -2)/(a/(-4)). Is u at least t?
True
Let l = -2 + -1. Let b = l - -3. Let q be 1 + b + (-39)/65. Which is bigger: 1 or q?
1
Let u = 276 - 275. Which is smaller: u or 14/69?
14/69
Let f = -15446125/571 - -27051. Do 1 and f have the same value?
False
Let x(g) = 4*g**2 - 2*g + 1. Let j be x(2). Suppose 0 = -5*f - 5*r + 30, -2*f + 4*r - 7*r + 6 = 0. Which is smaller: j or f?
f
Let t be 4*(-4 + 2)/4. Let y be (-9)/(-12)*t*18. Are y and -28 equal?
False
Suppose 0 = -9*a + 159 + 858. Is 111 at least as big as a?
False
Let t = 54.765 - -0.035. Let u = t - 55. Do -1/21 and u have the same value?
False
Let d(w) = -w**2 + 11*w - 5. Let j be d(10). Suppose -2*v + i - 7 = 0, 0*v + 2*v + j*i = -37. Is v greater than -8?
True
Suppose 2*s + 15 = c - 2*s, -3*s + 6 = 5*c. Let p be (c - 0)*6/(-6). Let n be 0 + 4/p + 1. Are -1/3 and n non-equal?
False
Let x = 3257/370 - -11/37. Let f = -659/90 + x. Are 2 and f equal?
False
Suppose -2*z = -15 - 13. Let k(w) = -4*w + 3. Let a(u) = -4*u + 1. Let c be a(1). Let p be k(c). Does p = z?
False
Suppose -3*w + 4*l = w + 288, -12 = -4*l. Is w > 1?
False
Suppose -6*k + 1466 = 218. Is k > 208?
False
Let j be (0 - -2)/(-2) + -74. Let o be (1 - (-2)/(-6)) + (-25102)/(-336). Let c = o + j. Does c = 1?
False
Let f = 303 - 285. Which is greater: f or -0.01?
f
Suppose -2*y = 5*d + 37, y - 5*y + 2*d = 38. Let b(h) = -h**3 + 19*h**2 - 23*h + 81. Let p be b(18). Which is smaller: y or p?
y
Suppose 20 = 16*n - 44. Let h be ((-2)/n)/(9/(-180)) + 0. Suppose 2 = -2*l + 22. Is h at least l?
True
Let f be 15000/(-288) - 4/(-48). Which is smaller: -258/5 or f?
f
Suppose 4*i - 12 + 20 = 0. Let c be ((-18)/27)/(i/(-30)). Let n(z) = z**3 + 10*z**2 - z. Let k be n(c). Is k less than 10?
False
Let i = 24 - 24. Suppose -5*y + 7 - 2 = i. Is 1 smaller than y?
False
Let g = 0.86 - 5.86. Let s = -2/319 + 10531/638. Let k = s + -17. Is k less than or equal to g?
False
Suppose -s + 24 = -3*s. Let x be (-5 + 1)*75/s. Suppose 4*j - 7 = x. Which is smaller: j or 7?
7
Let g = 984 + -911. Does g = 67?
False
Let l(q) be the second derivative of q**4/12 - 5*q**3/3 - 17*q**2/2 + 27*q + 1. Let h be l(11). Which is smaller: h or -5?
h
Let y(m) = m**3 - m**2 - 2*m. Let w(z) = -z**2 + 7*z - 10. Suppose -9 = c - 5*k + 1, 2*k = c + 1. Let g be w(c). Let n be y(g). Is -1 > n?
False
Suppose 0 = 30*l - 1 + 1. Is l bigger than 5?
False
Let o(p) = p**2 - 5. Let m be o(0). Let h = -48 + 51. Suppose -3*k + 4 = -n - k, -8 = 2*n + h*k. Which is bigger: m or n?
n
Let g = -1892/895635 + -2/1531. Which is smaller: g or 1?
g
Suppose 0 = -13*v + 8*v. Is v at most 3.1?
True
Let x be (3 + -3 + 4)/4. Let s be (-1)/