?
True
Let c = 1654 + -1653. Let f be (0 - -2)*(-1)/86. Is f <= c?
True
Suppose 3*p - 27 = -5*z + z, p = 5*z - 48. Is 7 < z?
True
Suppose 4*q + 8 = -8, -p + 11 = -2*q. Suppose p*z = -8 + 26. Which is smaller: 11 or z?
z
Let b = 545489921/1239 + -440266. Let w = b + 1/177. Which is greater: 25 or w?
25
Let m = 2126 - 2125. Is 1157 at most as big as m?
False
Suppose -r = -2*o + 93, 2 = -3*o - 4. Let f = r - -67. Let x = f - -18. Which is bigger: x or -14?
x
Let v(k) be the second derivative of -9*k**5/20 + k**4/12 - 7*k. Let r be v(1). Let z be 6/r*(-24)/108. Is 1 equal to z?
False
Let y = 4 + -3.6. Suppose 2*a = -3*t - 0*t - 14, -5*a + 15 = -5*t. Which is greater: a or y?
y
Suppose 0 = 5*u - 15, 3*u + 8 - 14 = -3*x. Let n be (-1)/4*(1 - 5). Which is greater: n or x?
n
Let z be -1 + (-477)/(-237) + -1. Let c be 3/9 + (-1118)/(-948). Let h = z - c. Which is bigger: -2 or h?
h
Let o = -0.526 + 0.426. Which is bigger: o or 7/36?
7/36
Suppose -c + 1 = 7. Let f(p) = 2*p**2 + 29*p + 6. Let t(w) = -w**2 - 14*w - 3. Let r(k) = -2*f(k) - 5*t(k). Let u be r(-11). Is u smaller than c?
True
Suppose -7 = u - v - 4, -4*v + 12 = 3*u. Let d be 3/(-6)*(0 + -10). Suppose u = -d*b - 4 + 14. Which is greater: b or 0.1?
b
Let z = 110.1 + -116. Let m = -7 - z. Let g = m - -2.1. Which is smaller: 0 or g?
0
Let b(j) = -6*j + 18. Let n be 180/42 - (-2)/(-7). Let r be b(n). Is r < -3?
True
Let s be 39/(-36) - 6/(-8). Let t(z) = 4*z - 6. Let f be t(4). Suppose 0 = -0*l + 5*l - f. Which is bigger: l or s?
l
Let j be -4*(-22853)/18284 - (9 - 4). Do 0 and j have different values?
True
Suppose -5*w - 2*w + 35 = 0. Suppose 5 = 2*f - w*a - 9, 0 = 3*f + 3*a. Suppose -5*g + 2*g - 38 = -f*k, 5*g = -3*k - 38. Is -12 bigger than g?
False
Let a(k) = -k**2 + 14*k - 22. Let n be a(13). Let s = 11 + n. Do s and 1 have the same value?
False
Let x = -1.034 - 0.961. Let z = 0.005 - x. Are z and -8 equal?
False
Let l(i) be the first derivative of 3*i**2/2 - 14*i - 1. Suppose -3*o + v + 16 = 0, -5*o + v + 5 + 23 = 0. Let t be l(o). Which is smaller: 2 or t?
2
Let s be 6 + (-7)/7 + 93. Which is bigger: s or 99?
99
Suppose 32*m - 76032 = -m. Is 2304 < m?
False
Let r = 22.97 + -25.97. Is 369 less than or equal to r?
False
Let n(r) = -8*r + 2 - r + r + 24*r**2 + 10*r. Let t be n(-1). Is t at most as big as 24?
True
Let t(z) = z + 2. Let s be t(-2). Suppose -4 = 2*i - 0, i = -4*u + 10. Let f be 58/(-19) + u*1. Which is smaller: f or s?
f
Suppose -3*i + i = -2*v + 4, -3*i = 2*v - 9. Suppose v*p - 13*p = -7*p. Which is bigger: -2/11 or p?
p
Let r(n) = n + 4. Let t be r(-8). Let l(y) = y**3 + 4*y**2 - 3*y - 4. Let g be l(t). Let k(a) = a - 7. Let j be k(g). Do j and 3 have different values?
True
Let p = 8449/3 + -2876. Let c = p - -59. Is -1/8 less than or equal to c?
False
Suppose -19 = -9*v - 10*v. Which is smaller: 7/64 or v?
7/64
Suppose 3*d = -2293 - 2387. Let y be 1218/d - (-9)/12. Is 0 equal to y?
False
Suppose -5*m + 19 = -n, -n + 3*n - 2*m = -30. Let j be n/4*20/35. Is -56 smaller than j?
True
Let l = 2039 - 1744. Do 295 and l have the same value?
True
Let x(b) = 54*b**3 - b**2 + 1. Let a be x(1). Let w be ((-1)/14)/(27/a). Is w greater than or equal to -5/4?
True
Suppose -2*w + 3*u = -191, 0*u = -u + 3. Let l = 95 - w. Is l less than -29/5?
False
Let n be 1/(((-4)/(-28))/(2/7)). Let m be (-1)/n*-5*3/(-30). Does -7/4 = m?
False
Suppose 0 = -i + 5*s + 4, 4 + 16 = 5*i - s. Suppose -i*f - 119 = -0*z + 5*z, 4*f = 3*z + 97. Which is smaller: z or -28?
-28
Let p(m) = -12*m - 7. Let l be p(3). Is 0.3 greater than l?
True
Suppose 25*g - 19*g + 6 = 0. Which is bigger: g or -12?
g
Suppose -2*h = 3*n - 0*n + 6, -n - 2 = 2*h. Let l = -1/24460 - 506016/6115. Let o = l - -82. Is h smaller than o?
False
Let c = -394612/23 + 17153. Let f = c + 1914/115. Which is bigger: 14 or f?
14
Let g be 17/((-1156)/(-162))*(-8)/6. Is g bigger than -3?
False
Let t = 0.052 + -1.052. Let g(i) = i**2 + 10*i - 2. Let d be g(-9). Which is bigger: d or t?
t
Let v(z) = 2*z**2. Let b be v(-1). Suppose 4*o - 10 = -b*t, 0 - 2 = -2*o - 4*t. Is o greater than 15/4?
False
Let h = -51 - -67. Which is smaller: 0.3 or h?
0.3
Let d = -1001 + 1001. Which is bigger: d or -6/101?
d
Suppose -3*d = 2*b + 3*b + 22, -3*b - 10 = 5*d. Suppose 3*c = -4*k - 3 - 0, 5*c = 4*k - 5. Which is bigger: c or d?
d
Let k(w) = w - 9. Let x be k(11). Suppose 0 = -3*f + z - 5, -x*f + 3*z - 3 = f. Which is smaller: -3 or f?
-3
Let i = 20 - 32. Let q be 1 - ((-100)/i - 3). Which is greater: q or -3?
-3
Suppose -2*q - 58 = 122. Let k = -90 - q. Let d be 1 - (1 + (-6)/(-14)). Which is smaller: k or d?
d
Let a be -145 - ((-48)/(-32))/((-3)/(-10)). Are -150 and a unequal?
False
Suppose -2*p + 2 = g, 2*p - 3*g = p + 15. Suppose -p*f = 5*l + 119, 2*l = -0*f + f + 47. Which is smaller: -44 or f?
-44
Let f(t) be the first derivative of t**2/2 + 13*t - 4. Let n be f(-12). Let z = -0.02 - -8.02. Is z less than or equal to n?
False
Suppose -754*x + 753*x = 38. Is x greater than -188/5?
False
Let c = 15376283/1161 - 13244. Which is greater: -1 or c?
c
Let s be 25/(-30)*12/(-32). Let d = s - -3/16. Is -1/5 >= d?
False
Let p = 5/13 - 2/39. Let w(k) = k + 9. Let x be w(14). Let f = x + -26. Is p greater than or equal to f?
True
Suppose -23 - 37 = -5*r. Suppose r = -4*l + 8*l. Suppose 3*k - 3 = -0*h + 3*h, 4*h = l*k - 3. Is h at least as big as -2/13?
True
Let x = -1.02 - -0.02. Let o be (-2 - (-340)/175)*20. Which is greater: x or o?
x
Let s be (-10224)/130 - 4/(-5). Let l = s - -78. Which is smaller: 0 or l?
0
Let t = -1.01 - -0.01. Let l = 337.3 + -337. Do t and l have the same value?
False
Let k = 97 - 56. Let t = -40.988 + k. Is t >= 0.1?
False
Let i = -17/11 + 62/33. Is -1 greater than i?
False
Let y(o) = o**3 + 17*o**2 - 16*o + 37. Let j be y(-18). Let u = 10326767 + -109949087995/10647. Let w = -4/507 - u. Is w equal to j?
False
Let w be 18/(-3) - (-2 + 2). Let t = w + 5. Which is smaller: t or -1/2?
t
Let v be 36/10 + 4/10. Let r(l) = l**3 + 12*l**2 + 29*l + 23. Let k be r(-9). Is k != v?
True
Suppose -4 = -5*b + b. Let i = b - -3. Suppose -i*u + 3*w + 3 - 15 = 0, -u + 5*w = 20. Is 0 not equal to u?
False
Let k = 23 - 34. Let q = 72.2 - 61. Let s = q + k. Is s != -1/5?
True
Suppose 0 = 2*c - 6*c + 8. Suppose 5*m - 181 = 574. Let z = -148 + m. Which is bigger: c or z?
z
Let z = 13 - 5. Let k = 11 - z. Suppose -5*n - 1 = t + k, -5*n = -3*t + 8. Which is greater: 7/3 or t?
7/3
Let t = 0.452 + -0.413. Which is smaller: -0.1 or t?
-0.1
Suppose -9*j = -210 + 433 + 191. Suppose 4*b + 5*o + 165 = 0, 0 = -2*b + o - 109 + 16. Is j at least as big as b?
False
Let m(a) = 39*a + 433. Let y be m(-17). Do -230 and y have the same value?
True
Suppose -d = -4*d - 198. Let y = -68 - d. Is y >= -4?
True
Suppose 2*s + 5*k = 3*k - 8, 3*s + 2 = 2*k. Which is smaller: s or -3?
-3
Let o(r) = -r**3 + 8*r**2 - r - 5. Suppose 0 = -9*m + 6*m + 18. Let j be o(m). Is 60 less than j?
True
Let o = 846 + -844. Which is bigger: o or 4/3?
o
Let s(g) = -6*g + 23. Let a be s(4). Which is smaller: -2/105 or a?
a
Let w(t) = t**3 + 6*t**2 + 6*t + 7. Let b be w(-5). Let s be (0 - (-1)/(-28))*b*-4. Is -1 greater than or equal to s?
False
Let r be (7 - 41/6)*16/(-2984). Are r and 0 equal?
False
Let a = 8 - 8.4. Let d = a - -4.4. Let u = d - 2. Is -0.2 > u?
False
Let s(d) = d**3 - 2*d**2 - d + 5. Let b be s(2). Suppose b*v = -2*v. Which is greater: v or 7/8?
7/8
Let v be (11/10 + 0)*(-896)/(-224). Which is smaller: -1/5 or v?
-1/5
Suppose 4*l + 58 + 6 = 0. Let o = 376 - 391. Do o and l have different values?
True
Let v be (-40)/(-22)*924/56. Let s(f) = f**2 - 3*f - 9. Let h be s(8). Is h less than or equal to v?
False
Let d be (-22)/77*(-79 - 5). Which is greater: -0.019 or d?
d
Let k(u) = 50*u - 687. Let x be k(0). Are x and -687 non-equal?
False
Let g be (-19)/(133/42) + -4. Which is smaller: g or -1?
g
Let m be 4/15*78/(-2). Let n = m + 374/35. Do n and 4 have the same value?
False
Let r be -1 + 17*2/(-1). Let b(j) = -3*j**3 + 14*j**2 - 13*j - 13. Let k be b(4). Is k > r?
True
Let q = -27 - -43. Let f = -652 + 669. Which is smaller: f or q?
q
Let m = 354.582 - 355. Let n = m + 0.118. Let i = -0.1 - -1.1. Is i > n?
True
Suppose -10 = -2*z - 4*a, -z + 4*z - 2*a - 31 = 0. Let s be (-8)/(-12) + 48/z. Is 4 < 