t?
False
Suppose -6 = -9*x + 30. Let n be (4 - (-18)/(-4))*x. Let b = 3 - 5. Is b < n?
False
Let o be (-1)/(-1)*(-1 + 2). Let j be ((-9)/((-54)/2))/1. Do o and j have the same value?
False
Let o = -0.059 - -5.259. Let l = -5 + o. Let q = 159 + -1111/7. Is q greater than l?
True
Suppose -4 = -g - 0*g, 2*g = -4*n - 8. Suppose -2*i - 2*u = -2, -2*u - 15 = 3*u. Suppose -5 = i*k + 5*y + 3, -3*y = -4*k - 8. Which is smaller: n or k?
n
Suppose 3*n - 199 - 158 = -2*v, 3*v + 9 = 0. Which is smaller: 119 or n?
119
Let n = -489 - -492. Is n at most as big as 35/11?
True
Let h be (1 + -4)*(28/21 - 1). Which is greater: -0.72 or h?
-0.72
Let a = -2663 - -2774.8. Which is smaller: a or -1/4?
-1/4
Let q be 4/(-6) - (-17)/102. Let x = 0.43 + -0.33. Which is smaller: x or q?
q
Let g = -723 + 722. Which is bigger: g or 1077?
1077
Let u(s) = 8*s + 119. Let l be u(-15). Which is smaller: l or 7/75?
l
Let b(y) = -2*y + 10. Let t be b(7). Let w = -28.1 + 29. Let r = -0.7 + w. Is r greater than or equal to t?
True
Suppose 5*y + 27 = -38. Suppose 46*o = 45*o + 58. Let p = -71 + o. Is p at most y?
True
Suppose -3*d - 2*k = -39, 0 = 2*k - 0*k. Let t = d + -11. Let h = 0 + 2. Is t equal to h?
True
Let q = 17.5 - 121.5. Is q equal to 1?
False
Let n(d) = -27*d - 79. Let s be n(-4). Is 29 != s?
False
Let m = 57253/6 + -9565. Which is bigger: m or -22?
-22
Suppose 0 = -2*x + 4 + 4. Suppose 2*s + 3*f + 2 = 4*s, -5*f - x = -3*s. Let c = 29 + -29.4. Is s greater than c?
False
Suppose -3*r - 5*z = r - 18, 5*r - 2*z = 6. Suppose -2*b - i = -b + 1, b + 2*i + r = 0. Is -4 smaller than b?
True
Let w = -1.3 + 1.08. Let s = 1511 + -1511.12. Let l = w - s. Is l != 23?
True
Let x = 0.1 - -0.2. Let a be (6/21)/(60/126). Which is bigger: x or a?
a
Suppose 0 = -5*f + 240 + 120. Let z be 46/f - (-1)/4. Is 0 bigger than z?
False
Let d = -6423 + 19015/3. Is -86 at most d?
True
Let v = 2.55 - 2.65. Is v at least as big as -0.008?
False
Let b = -19.4 - -7.7. Let c = b - -15.7. Is 7 <= c?
False
Let v = 567129/7 - 81175. Is v <= -156?
True
Let o(m) = -2*m**2 - 4*m + 6*m**2 + 3*m**3 + 3*m - 1 - 3*m**2. Let l be o(-1). Which is greater: 1 or l?
1
Let x = -1/84 - 151/1428. Let i be (31 - -1)*(7/2)/7. Let h(j) = -j**3 + 16*j**2 + j - 15. Let a be h(i). Which is greater: x or a?
a
Let f = -19 + 34. Let x = 19 - f. Suppose -2 = -2*i + x. Is i equal to 0.2?
False
Let h = -44 - -30. Let g be -18*(-1)/(-2) + -2. Is g less than or equal to h?
False
Let c be 685/60*2/123. Let k = c + 3/82. Suppose -26*j = -34*j + 8. Is k > j?
False
Suppose -3*r = -4*l - 263, 45 = -2*l - 5*r - 80. Which is greater: -66 or l?
l
Let b = -869 - -645. Is -224 bigger than b?
False
Let t = -231 - -251. Is t bigger than 19?
True
Let x = -33 - -16. Suppose 0*i + 4*i = q + 35, -2*q - 3*i - 26 = 0. Let a = q - -1. Is x greater than a?
True
Let m = 129 + -82. Let q = m - 33. Suppose d + q = -5*y, -y + 4*d + 20 = 6. Are y and 1 equal?
False
Let x = 732 + -730.967. Let f = 0.033 - x. Let d = 0.9 + 0.1. Is f smaller than d?
True
Let j = -2.396 + 2.69. Let w = -0.094 + j. Which is smaller: w or -6?
-6
Suppose -4 - 2 = 3*y, y = -4*r - 14. Let l be 1 - 21/14 - (-11)/(-10). Which is bigger: l or r?
l
Let o(x) = -5*x**2 - 4*x + 8. Let j(g) = g**2 + g - 1. Let h(w) = -12*j(w) - 3*o(w). Let l be h(-4). Is l at most 36?
True
Let w = 2 + -4. Let r be (1 + 3)/w + -6. Let v = -12 - r. Which is greater: -1 or v?
-1
Let o be 80/280 - 1396/(-14). Which is smaller: 98 or o?
98
Suppose 0 = 3*q - 743 + 167. Let i = q + 230. Let x = i + -2959/7. Which is smaller: x or -2?
-2
Let r = -3035/74 + 41. Let t = 894 - 894. Is t > r?
True
Let w = -0.4 - -0.1. Let k = 38.95 + 0.05. Let a = k + -39.4. Is w <= a?
False
Let b(q) = q**2 - 2*q. Suppose -a = 4*w + 3*a + 16, -5*a - 23 = 2*w. Let t be b(w). Is t > 2/137?
False
Suppose 2*p - 35 = -5*v - 3*p, 0 = -v - 2*p + 11. Let d = -3 + v. Suppose -5*b + 0*b + 5 = d. Which is smaller: b or 2/19?
2/19
Let p = -47.897 + 43.82. Let x = 0.077 + p. Which is smaller: 1/13 or x?
x
Let n be (3729/1672 - 1/2)/13. Let k = n + -2/247. Let u be 2/(-5) + 8/(-5). Which is smaller: k or u?
u
Let p = 5 + -32. Let d = p + 29.6. Are -0.1 and d non-equal?
True
Let n = -3.6 + 1.8. Let c = n - -1.7. Is c != -1/15?
True
Let f = -4291 + 98736/23. Which is smaller: f or 2?
f
Let p be (-4)/(-18)*(-9)/(-6). Suppose -4*g + 5*b - 20 = -2*g, 0 = 5*g + 3*b + 112. Let r = -17 - g. Which is bigger: r or p?
r
Let u = -166 - -173. Let k = 39 + -26. Let n = u - k. Is n less than -6?
False
Suppose -s + 3*s + t = 37, -t + 58 = 3*s. Let c be 8/(-28) - (-405)/s. Let g = c + -11. Which is bigger: 7 or g?
g
Let r be 5/(-2)*42066/(-285). Are r and 370 equal?
False
Let u be 4/10 + (-17)/5. Let k be ((-42)/5)/(2/10) + 3. Let v be (-52)/k*(-6)/4. Is u at most v?
True
Let k = 443 - 2209/5. Let y be (0 - (-10)/(-4))*2. Let p be 3*(-6)/45*y. Which is bigger: k or p?
p
Let a(g) = -g**3 + 10*g**2 - 10*g + 12. Let c be a(9). Let v = 0 + c. Suppose 0 = -2*d + v*d + 3. Do -14/9 and d have the same value?
False
Let r = -17 + 23. Let m be (22/r + -3)/(2/(-3)). Are m and 23 nonequal?
True
Let y(z) = -z**3 + z**2 + 4. Let s be y(-4). Let a be 144/s*14/4. Let x be (-10 - -2) + 0/a. Which is smaller: -6 or x?
x
Suppose -x - 3 = -4. Let p be (x + 0)/(((-10)/2)/(-5)). Which is bigger: 7/13 or p?
p
Suppose 568 = -40*x + 44*x. Is 142 bigger than x?
False
Suppose 44 = -5*i + 54. Do 2 and i have the same value?
True
Let q be (0 + -4)/(90 + (11 - 0)). Is q equal to 1?
False
Suppose i + 36 = -i. Let l = 19 + i. Let z = -1 - -1. Which is smaller: l or z?
z
Let q be (-6)/69 + (-256708)/8671. Is -30 > q?
False
Let r(n) = -6 - 2*n - 4 + n. Let v be r(-6). Let d(w) = 3*w**3 + 25*w**2 + 8*w - 4. Let z be d(-8). Is v greater than z?
False
Let y(c) = 11 + 3*c**2 + 6*c - 14*c + 2*c + c. Let m be y(2). Is m greater than 5?
True
Let v be (-4)/10 + 2/(-70). Suppose 0 = -5*h + 2*m + 9, 251*h + 2 = 247*h - 3*m. Is v != h?
True
Suppose r = -l - 2, 5 = -4*l - 5*r - 6. Let i = -2 - l. Let t be (5 + -1)*i/(-3). Is 0 not equal to t?
True
Let f = -11/2 - -5. Let z(g) be the third derivative of g**4/24 + g**3/6 - 7*g**2. Let m be z(-1). Which is bigger: m or f?
m
Suppose 0 = 5*s - 4 - 1. Let p = -11 + 15. Let q = p + -12. Is q equal to s?
False
Let n be ((15/6)/(-5))/(11 + -9). Which is smaller: -0.359 or n?
-0.359
Let a = -3.7 + 8.7. Let x = a - 4.8. Which is smaller: x or -11?
-11
Suppose -5*x = 4*m + 454, -2*x + m - 5*m - 184 = 0. Is x equal to -90?
True
Let a(k) = 26*k + 1. Let u be a(1). Let z(c) = c - 11. Let n be z(13). Suppose b - 4*g + 12 = 0, b + n*b - 3*g + u = 0. Is -9 bigger than b?
False
Let f be (-3 + 1)*(-3)/(-6). Let y be (-187)/77 - 8/14. Let h be 2/y*(-15)/(-10). Are h and f non-equal?
False
Let a(i) = -5*i**2 + i**3 - 2*i**3 + 6*i - 3*i**2 + 2*i**3 + 7. Let z be a(7). Is 1/53 <= z?
False
Suppose -b + 33 = 30. Suppose -7*q + 3*k - 18 = -3*q, 3 = q + b*k. Which is bigger: q or 2?
2
Suppose 3*z - 4*z = 217. Let r = -3687/17 - z. Suppose -4*g + 4 = -4*u, 2*u - 5*g = -g - 6. Is r greater than or equal to u?
False
Let m = 137/95 + 3/19. Let t = 29 - 21. Let y = -7 + t. Which is greater: y or m?
m
Let j be 1/(-2) + -5 + (-63)/14. Which is greater: -11 or j?
j
Suppose 3*r = 906 - 660. Is r != 82?
False
Let w(a) = -a + 6. Let d be w(0). Let i be d/(-24) + 67/(-4). Let b = i + 32. Is b at least 15?
True
Suppose -s + 3*k = -64, 2*k = 3*s - 78 - 149. Suppose -2*w - s = -73. Is -4 less than or equal to w?
True
Suppose 5*m - 22 = -5*w + 2*w, 3*m - w - 2 = 0. Suppose 2 = m*o - 8. Let z be 26*(o/2 - 3). Is z greater than or equal to -12?
False
Let y be (10/(-3))/(4/12). Let u = y + 12. Suppose u*g - g - 5 = 0. Is 4 at most g?
True
Let j be (-1 - (-16406)/(-195)) + (-2)/(-15). Is -85 >= j?
True
Let c(j) = -2*j**3 - 3*j**2 + j + 4. Let t = -24 + 22. Let g be c(t). Suppose -g*h + 12 = -3*h. Is 3 > h?
False
Let s = -217 + 871/4. Which is greater: s or 18?
18
Suppose 2*f = -2*f. Let c be 21382/42 + -3 + f. Let g = c - 506. Is 0 at least g?
False
Let b be (2/(-4) - 0)/((-374)/(-619564)). Let h = b + 828. Is 0 smaller than h?
False
Suppose -62 = 29*v + 25. Is -3/2 less than v?
False
Let y = 89/3 + -30. Let t(v) = v**2 + 7*v + 4 + 1 + 4 - 3. Let s be t(-6). Which is smaller: s or y?
y
Let w(n) = n**2 - 8*