 q = -62, 0 = 3*t - f*t - 4*q - 28. Suppose 4*n = p + t, 4*p = 3*n + 13 - 35. Is n at least as big as 2?
True
Let j = -222 - -362. Is j >= 139?
True
Suppose -37 = 8*q - 9*q. Let u = 85 + -48. Is q at least u?
True
Let f = -473 - -469. Which is bigger: 3.8 or f?
3.8
Let i(t) = -t**3 - t**2 + 8*t + 12. Let a be i(7). Let k = a - -1612/5. Let r = -3 - -1. Is k bigger than r?
True
Suppose w + q = -3, -4*q - 10 = 2. Let f be w*(-1 - (0 + 0)). Is 4 bigger than f?
True
Suppose 2*x = -0*x - 42. Let t be (-1)/(-2) + x/(-6). Is 4 < t?
False
Let v = 763/3 - 254. Is -29 at least v?
False
Let n be (-3036)/77 + 6/14. Which is smaller: -279/7 or n?
-279/7
Let o be 0 + -11*8/1. Let k = -82 - o. Is k > 5?
True
Suppose 8*m - 808 = 16*m. Which is smaller: -106 or m?
-106
Let u be (-2)/12*(366/114 - 3). Which is smaller: u or -1?
-1
Suppose 2*d = 4*d + 14. Let y(v) be the second derivative of -v**3/6 - 2*v**2 + 34*v. Let j be y(d). Which is bigger: 0 or j?
j
Let d be (-2 - (-267)/138)*26/78. Which is smaller: d or -1?
-1
Let x = 0.55 - 0.477. Let l = 0.073 - x. Which is bigger: l or -1/36?
l
Let s = 5759.14 + -5211. Let y = -526 + s. Let b = 22 - y. Which is smaller: 2 or b?
b
Suppose 4*a - 22 = 3*z, 0 = z + 3*z + 2*a. Let h be (-12)/(-6)*(z + 0). Is h bigger than -5/2?
False
Let w(b) = -b**3 - 4*b**2 + 5*b + 2. Let c be w(-5). Is c at most 9/7?
False
Let a = -379 + 378.7. Do a and -38 have the same value?
False
Let m(f) = f**2 + 25*f + 1. Let d be m(-25). Which is greater: d or -14/151?
d
Suppose 0 = 5*s - 4*q + 20, 0 = 7*q - 5*q. Is -18/7 less than s?
False
Let h be (16/798)/((-58)/60 + 1). Let v = 6/19 - h. Let i(l) = -l**2 + 2*l + 1. Let a be i(3). Which is bigger: v or a?
v
Let h be 4 + -6 - 1134/(-573). Which is bigger: 1 or h?
1
Let z(s) = -5*s + 2. Let i be z(-2). Suppose -3*h = 3*y - 4*y - 39, 2*y = -5*h + 54. Is h equal to i?
True
Suppose -2*r = 3*r + 20. Let b = r - -3. Which is smaller: -2 or b?
-2
Suppose 223*q + 514 = 221*q. Is -257 at least q?
True
Let o = 86 - 81. Suppose -o + 68 = 3*d. Which is smaller: d or 20?
20
Suppose -34*u = 2073 - 5915. Which is greater: u or 120?
120
Suppose -r = r + 34. Let k(s) = -6*s**3 + 2*s**2 + 7*s + 8 + 3*s + 5*s**3. Let n be k(5). Is n <= r?
True
Suppose 4*x = -f + 10, -4*x + 2*f + 3 = -13. Suppose m - x*y - 2*y - 17 = 0, 5*m = -5*y - 35. Is m not equal to -3?
False
Suppose -2*g - 15 = -9. Let c(x) = -3*x**3 - 12*x**2 - 5*x - 3. Let r be c(g). Let u = -1 - -1. Which is smaller: u or r?
r
Let f be (-333)/(-15) + (-8)/(-10). Let g = -127/4 + f. Let n = 11 + g. Is n at most as big as 3?
True
Suppose -c + 4*z = 2*c - 43, 0 = z + 4. Suppose 8*u + c = -15. Let h(n) = n**3 + 2*n**2 - 1. Let j be h(-1). Which is smaller: u or j?
u
Let m be (-2)/(-16) + 21/24*1. Which is bigger: 1/43 or m?
m
Let i(u) = 61*u**3 - 6*u**2 + 3*u + 4. Let b be i(1). Which is smaller: b or 2/3?
2/3
Let z(h) = 15*h**3 + h**2 - h. Let p be z(1). Suppose 0 = -p*u + 12*u + 6. Suppose -2*t - 22 = 3*i, 0 = -i - u*t + t - 8. Is i at most as big as -0.1?
True
Let r(q) = -59*q + 198. Let n be r(5). Is -99 >= n?
False
Let p be (-5874)/(-189) + (-4)/18. Let u = -298/21 + p. Let o = u - 16. Which is smaller: 2 or o?
o
Let b be 46/10 + 6/(-10). Suppose -3*s - 16 = -5*t, s + s - 2*t = -b. Let d = s - 8. Which is smaller: d or -7?
-7
Suppose 4*w = 4, 0 = 3*d - w - 13 + 5. Suppose 15 + 5 = -4*o, d*i - 5*o = 13. Let m be 1 + -3 - i/1. Is 14/11 greater than m?
False
Let g = 0.84 - 0.66. Which is bigger: g or 2?
2
Let f = 205117/98 + -2093. Let w = f - 16/1323. Is w at least as big as -1?
True
Let s = 6397175/1171 - 5463. Are 0 and s equal?
False
Suppose -q + 4*i + 132 = 3*q, -2*q - 5*i = -59. Let w be 1/2*(1 - -61). Is q > w?
True
Suppose 26*o + 1653 + 505 = 0. Is o less than or equal to -84?
False
Let x = 2.568 + 0.082. Let d = 55 - 57.6. Let i = x + d. Which is smaller: i or 3?
i
Suppose p + 2 = -4*i, 0*i - 3*p - 6 = 3*i. Let g be (-110)/120 - (-1)/(-2)*-2. Which is smaller: g or i?
i
Suppose 2*j = -56 - 28. Which is greater: -41 or j?
-41
Let p = -27 + 24. Suppose -5*d - 5*y = -190, 2*d + 4*y = 62 + 24. Let o be (10/p)/(22/d). Which is smaller: o or -2?
o
Let b be 22/8 + (-3)/(-12). Let k be (38 + 1)*b/(-9). Which is smaller: -12 or k?
k
Let i be 78*(-3)/(18/15). Let j = 971/5 + i. Which is greater: 0 or j?
0
Suppose 82*t + 96 = 88*t. Which is smaller: 8 or t?
8
Let t be (266/(-7))/((4 + -3)/(-1)). Is 36 != t?
True
Let v be 2 - 304/(-22)*-1. Which is greater: v or -11?
-11
Let r = 26 - 41. Let f be 6/30 - 12/r. Which is smaller: f or 2/19?
2/19
Let r(s) = -5*s**2 + 2*s. Let p be r(-2). Suppose 91 = -4*k + x, -k + 2*x = 7 + 21. Is p <= k?
True
Suppose -i = -3 + 4. Let h be (5 - i)*(-1)/40. Which is smaller: 0 or h?
h
Suppose -2*z + 3*z - 39 = 0. Let b = 1331/5 + -4588/15. Let c = z + b. Is c greater than -1/10?
False
Suppose -4*u = j + 13, 0 = 5*u - 4*j + 33 - 43. Is -58/35 smaller than u?
False
Suppose 0 = 5*w - 3*w - 2. Let l = -1685 - -1624. Which is greater: l or w?
w
Let v(m) = -2*m**2 - 4*m - 2. Let k be v(-2). Let u(q) be the third derivative of q**5/60 - 2*q**3/3 - 4*q**2. Let w be u(k). Which is bigger: 1/10 or w?
1/10
Let x be 30/(-4) + (-1)/(-2). Let w = 19/345 - 8011/1380. Is w <= x?
False
Let b = 134 - 133.2. Is 15 < b?
False
Let n = -9/14 + -6/7. Suppose 0 = -h + 4*c + 21, h - c - 2 = 4*h. Suppose 5 = -3*s - h. Is n not equal to s?
True
Let n = -356/5 - -1178/15. Let v = n + -7. Suppose -17 = -115*o + 124*o + 10. Which is bigger: o or v?
v
Let r = 917.9 + -918. Is 146 greater than r?
True
Let x be (1706/423)/2 + (-25)/(-225). Is 3 less than or equal to x?
False
Let j be (-2)/(-8) - (-4)/(-16). Let r be 64/(-40) + (2 - j). Do 1 and r have different values?
True
Suppose 2*q + 94 = 5*l, -3*l + 4*q - 10 = -4*l. Is l <= -14?
False
Suppose 0 = 3*x - 4*d + 3*d + 53, -5*x + 4*d - 100 = 0. Let y = -2 + 31. Let g = -201/7 + y. Is g at least as big as x?
True
Let f = -27 - -25. Let q be 18 + -17 + (1/(-1))/1. Are q and f equal?
False
Suppose 4*n = -i + 31 + 114, -3*n - i + 110 = 0. Is n > 43?
False
Suppose 2*a - 4*k - 34 = 0, 0 = -4*a - a - 3*k + 59. Let r = a + -13. Which is smaller: r or 1?
r
Let o = 36/11 + -161/66. Let t = 42 + -34. Suppose 2*b + 16 = -k + 5*k, 4*b = 2*k - t. Is o < b?
False
Let n be (-168)/(-224)*(5 + (0 - 1)). Suppose n*c = -6*c + 72. Which is smaller: 7 or c?
7
Let x(t) = t**3 - 18*t**2 + t - 14. Let u be x(18). Let s(l) = -l**3 - 5*l**2 - 6*l - 4. Let a be s(-4). Let k = 2 + a. Is k greater than u?
True
Suppose 5*f - 262 = -i, 3*i - f - 802 = -0*i. Let n = -2933/11 + i. Is n at least as big as -1?
True
Let x = 405 - 324. Is x less than or equal to 242/3?
False
Let l = 130 - 129. Is l >= -182?
True
Let l(q) = -4*q**2 - 93*q + 29. Let x be l(-23). Which is smaller: 53 or x?
x
Suppose 4*p + 1346 = 1330. Is p greater than 5/3?
False
Let o = 196 - 391/2. Which is bigger: -0.07 or o?
o
Suppose -3 = -3*v, -4*x + 7*x = v - 22. Which is smaller: -9 or x?
-9
Let t = 328 + -336. Is t less than or equal to -0.1?
True
Let y be -4 + ((-836)/20)/(-11). Which is greater: 137 or y?
137
Suppose -4*h - 3 = 5*y, -y - 3*y + 10 = -3*h. Let s be (-1)/(-2)*(-3 - y). Let a be -1 + (1 - (2 - 1)). Is a greater than or equal to s?
True
Suppose 3*k - 25 = -2*k. Suppose -2*c + 0*q - 32 = q, 0 = 3*c + k*q + 34. Which is smaller: -19 or c?
-19
Let d(x) = -15*x - 40. Let l be d(-5). Let v be (l/(-21))/(21/6). Which is bigger: v or 1?
1
Let u = 49 - 47. Suppose u*d = -3*a - 7, -d + 5*a + 10 = -6*d. Is d <= -3/8?
False
Let i = -11 - -11.15. Let g = i + -0.03. Let p = g - 0.19. Which is bigger: p or 1?
1
Let m = 203.6 + -203.4. Suppose 0*k = 3*k + 15. Let q be 1 - k/7 - 2. Is m at least as big as q?
True
Let a be (-138)/(-8) + 1/(-4). Let l(g) = -5*g + 15. Let f be l(6). Let k = f + a. Is 3 greater than or equal to k?
True
Let f be (-35)/6*(-28)/175. Let m = 3260 - 3258. Does f = m?
False
Let d = -15.2 - -15. Is 2/99 <= d?
False
Let z(a) = 11*a + 30. Let g be z(-3). Let f be (-6 - g)*(-3)/9. Is f greater than or equal to -1/30?
True
Let i = -32 - -32. Let a be (-1 + i)*2/48. Which is greater: 1 or a?
1
Let n = 2.4 + 6.6. Which is smaller: 19 or n?
n
Let x be ((-228)/(-342))/((-4)/6). Which is smaller: -3/668 or x?
x
Let d = 21 + -29. Let w = -10 - d. Let b be (-15