68 - g. Is 8/3 greater than or equal to z?
True
Let l = -793/8 + 99. Let u = 51 + -49. Let z = u + -2.6. Is z greater than or equal to l?
False
Suppose -125 + 26 = -33*l. Suppose 873 = l*o + 351. Is o at least as big as 176?
False
Let g = -23 - -21. Let n be (-338)/(-6) + 19/(-57). Let b be (n/84)/(g/57). Which is bigger: b or 1?
1
Let y = -56 - -165. Let i = y - 100.4. Is 2 smaller than i?
True
Let t = -151512 + 313736. Let b be 4 - t/46284 - 4/14. Let r = b - 8/57. Do -1 and r have different values?
True
Let g be (-3 - -1)/(1/4). Let t be g + 2 + 0 + (2 - 1). Let c be t + 8/2*7/(-14). Is c >= -9?
True
Suppose 90 = 6*k + 3*k. Suppose -5*i = 2*j - 19, -3*i - 3*j = -k - 5. Let n be 21/(-7) + (7 - i). Which is smaller: n or 6/35?
6/35
Let q(l) = 5*l + 38. Let i be q(-6). Let s = i - -37. Let f be (3/(-4))/(s/(-20)). Is f != 1/9?
True
Let t = 5696 - 5772. Is -53 smaller than t?
False
Suppose -4*w = 4*y, -2*y + 0*y = w + 5. Let q(i) = i**2 + 11*i + 26. Let z be q(y). Which is bigger: 39 or z?
39
Let q = -2/41959 + 4867554/6503645. Which is greater: q or 2?
2
Suppose -17 + 1093 = -370*a - 220*a - 486*a. Let t = -24 - -34. Which is bigger: t or a?
t
Let d be (-3)/(-4) + (-190)/40. Let w be (1 + 2 + -5)/(d/18). Suppose 0 = -b - w. Which is smaller: b or -13?
-13
Let v(f) = f**2 + 22*f - 30. Let q be v(-20). Let z = 131 + q. Suppose -2*p + 87 + z = 0. Is 75 at most p?
False
Let c be 1312/(1 - 2) + 23/(-782)*0. Which is smaller: c or -1313?
-1313
Let i = 21 + -14. Suppose -19*f - 222 = 2*h, -282 = -5*h - 5*f - 327. Are h and i nonequal?
True
Let b be (-8 - -7)*((-20)/2)/(-1). Let y be ((-39)/6)/(-1) - 5/b. Which is smaller: 8 or y?
y
Let n(x) = 40*x**2 - 11*x - 11. Let h be (-2)/(10/30 - (-5)/3). Let f be n(h). Is 79/2 at least f?
False
Let y be 24/56 - (-73854)/1232. Which is bigger: y or 59?
y
Let d(y) = -6*y. Let o be d(-1). Suppose u + 4*w = 2*u + 18, 4 = w. Let z be 49/7 + u/o. Is z at most 7?
True
Let o = -61/288 - 23351/17568. Let t = o - 1772/671. Is -5 >= t?
False
Let j be ((-6 - (-132)/30) + 1)/(-4 - -5). Which is greater: j or -658?
j
Suppose -3*r = 2*h - 43, -3*r + 71 = 2*r + 3*h. Suppose q + r = 8. Let u(i) = 4*i + 15. Let n be u(q). Do -0.05 and n have the same value?
False
Let t = -235 - -234.9584. Let o = t + -0.9584. Which is bigger: 1/72 or o?
1/72
Let g = -2.59 - -10.23. Let n = -8 + g. Let k = n - -0.55. Is 1/4 bigger than k?
True
Let z be 43/4 - (-6)/24. Let l = z - 31. Suppose -5*v = -108*r + 105*r - 42, 0 = -4*r + 2*v - 70. Is r at least as big as l?
True
Let t = -0.0512 - 258.9488. Let q = t - -258.7. Is q greater than or equal to 16?
False
Let n be (3750 - 52)/(16/(-6) - 14/(-21)). Do -1847 and n have the same value?
False
Suppose -2*j + 0*j + 2 = 0. Let i = -2244601/56 + 40082. Which is greater: i or j?
j
Suppose 90 = 4*u - 2*s, 5*u + 3*s - s = 99. Suppose -u + 12 = -9*c. Which is greater: c or 3/134?
c
Let x = 19241515074709379510691284/575225 - 33450415184828345536. Let v = x - 200723450/7. Let t = 2/4325 + v. Are t and 0 non-equal?
True
Let j(d) be the third derivative of -1/3*d**4 - 27*d**2 + 0*d + 0 + 5/3*d**3 - 7/60*d**5 - 1/120*d**6. Let a be j(-5). Is 2/83 > a?
True
Suppose -2*l + 8 = 3*a, 0 = 5*a + 3 + 7. Suppose l*q + 12 = 26. Let n be (-5)/(-10) - (-5)/8. Is n != q?
True
Let g = -36 + -16. Let c = 125 - g. Is c greater than or equal to 176?
True
Let v(d) = -d**2 - 13*d - 36. Let n be v(-9). Suppose n*z = 7*z - 35. Suppose u - 12 = -z*u. Which is smaller: u or -1/4?
-1/4
Let c = 1.224 - 1784.224. Which is smaller: -2 or c?
c
Suppose 3*c - 15 = -2*c. Let t = -6/2441 - -97766/51261. Which is smaller: t or c?
t
Suppose -i - 202 = -5*t, -2*t + 101 = -3*i + 15. Let k be ((-56)/t)/((-20)/(-75)). Which is greater: k or -5?
-5
Suppose -14 + 54 = 5*z. Let n = -2878 - -2882. Is n bigger than z?
False
Let y = 129 + -42. Suppose -92*a + y*a = 0. Let h = 48 + -54. Which is greater: a or h?
a
Let y = 69.823 + -1.523. Which is bigger: y or 3?
y
Let i = 54.963 + 0.037. Let p = i + -53.59. Let g = 4.09 + p. Which is bigger: 0 or g?
g
Let k = -1.2 + 2.3. Let q = -322.6 + 322.3. Is q bigger than k?
False
Let q = 47/28 - 18325/10892. Suppose -3*x + 11 = -2*d, -d - 9 = -6804*x + 6799*x. Are q and x nonequal?
True
Let q be (-3745)/465 - 19/((-209)/99). Which is bigger: q or 2?
2
Let h be (1*8)/(2 + 0). Suppose 0 = -27*u + 37 + 17. Suppose 0 = -h*a - 2*v + 4, -3*a - u*v + 4 = -0. Is a >= 1/17?
False
Let m = 151765 - 151769. Suppose w - 4 = -w, -3*j + 2*w - 256 = 0. Is j bigger than m?
False
Suppose -3700 = -4*n - 5*f, -15*n + 4*f = -16*n + 936. Which is smaller: 918 or n?
918
Suppose 3*x + 0*x + 2*x = 0. Let s be 2 + (312/6 - x). Let d be ((-2)/(-9) + (-93)/s)*26. Which is greater: -77/2 or d?
-77/2
Suppose 13283 = -93*b - 266*b. Which is bigger: b or 2?
2
Suppose 7*c = -2*c - 486. Suppose 3*p = 15, -5*l = 8*p - 4*p - 235. Let y = l + c. Is -10 at most as big as y?
False
Let t be 1 + 12/(-9) - -6*(-4)/36. Is 2/753 bigger than t?
True
Let j be 2/4*(-7 + 27). Let u be 2/((-48)/40*j/9). Is u less than or equal to -9?
False
Let t be (7 + (-125)/20)*2/5008*4. Is 2 at least t?
True
Let z = -20143 + 14259. Is -5884 equal to z?
True
Suppose -s - 20 + 72 = 0. Suppose 0 = 4*l + 24 - s. Do l and -2 have the same value?
False
Let p(x) = -18*x - 80. Let d be p(-18). Let f = d - 234. Are f and 9 unequal?
True
Let z(b) = 20*b - 175. Let n(p) = -81*p + 700. Let j(s) = -2*n(s) - 9*z(s). Let m be j(17). Which is greater: 1 or m?
1
Let v = 1.359 + -0.269. Let f = -1.1 + v. Let h = 208 + -215. Is f equal to h?
False
Let n = -225 + 229. Suppose -n*u - 196 + 152 = 0. Let m = 2269/28 + -363/4. Is m at least as big as u?
True
Suppose 3*r + 3*d = -339, 420 + 145 = -5*r + 5*d. Which is smaller: -131 or r?
-131
Suppose 7*p = 6*p - 2*j - 15, 4*j + 21 = p. Do -158/55 and p have different values?
True
Suppose -5*y + 9 + 16 = 0. Let v(l) = l**3 - 5*l**2 + 5*l - 12. Let x be v(y). Suppose 4*k + 9 = x*k. Which is bigger: k or -6?
k
Let k be (209/(-9434))/(8/2528) - -7. Is k at least 0?
False
Let n be (358/1611)/(1 + (-26)/(-3)). Which is greater: n or 43?
43
Let g = -2541 - -2546. Let z = 2 - 2. Suppose -2*i - g*m = -17, z = 3*i - 7*i - 4*m + 4. Is i at most as big as -5?
False
Suppose 0 = c + 4*a + 19, 4*a + 5 = 5*a. Let t(y) = 11*y + 34. Let x be t(-3). Let p be (-429)/22*(1 + x). Is p at least as big as c?
True
Suppose v - 2*v - 4846 = 931. Is v at least -5778?
True
Let c = 1284 - 1283. Which is bigger: c or 107.8?
107.8
Let k = -220 - -224. Suppose 0 = -5*c + k*s + 106, 5*c - 33 - 49 = -2*s. Do c and 21 have different values?
True
Suppose 3*n + 3*f - 12 = 0, -4*f = 3*n - 8 - 3. Suppose -2*j - 3*d + 10 = 0, -j + 6*d - n = 5*d. Is j != 2/1829?
True
Let u = 3 - 4. Let q be u + (-4 - -3)*-5. Let h be (1 - 3) + (-1 + q)/1. Which is smaller: h or -1/13?
-1/13
Let x = -0.0498 - -0.0798. Let g = x - -1.77. Which is smaller: g or 0?
0
Let j = -44865 - -44892. Let p = 2.9 + -3. Which is smaller: j or p?
p
Let w be (205/(-30) - 1/6) + -13. Is -846/41 bigger than w?
False
Let m(n) = -n**2 - 33*n + 76. Let o be m(17). Is o at most -771?
True
Let s = -430.2 - 69.8. Let h = 535.7 + s. Let n = h + -36. Which is smaller: n or 2/27?
n
Suppose 75*d - 142*d + 8777 = 0. Which is smaller: 133 or d?
d
Let p = 6.498 - 10.498. Which is bigger: -938 or p?
p
Suppose -c = 3*s - 9380, 729*s - 733*s = -2*c - 12510. Is s at least 3127?
True
Let y(q) = -q**2 + 61*q + 203. Let l be y(63). Suppose -5*v = 4*z - 32, -4*v + 1 = -5*z - 0. Let x be 75 - (v/(-2) - 0). Do l and x have different values?
False
Let s = -827.1 - -1342.3. Is -2 <= s?
True
Suppose 2*h - 5*h + 57 = 0. Suppose 14*n = h*n + 2700. Is n > -540?
False
Let t = -289 + 292. Suppose -4*a = -5*l + 3, l + t - 9 = -a. Are -9 and a unequal?
True
Let q be ((-3)/7 - 0) + (-45508416)/11788. Which is bigger: q or -3860?
-3860
Let r(t) = t**3 + 2*t**2 - 8*t - 10. Let k be r(-3). Suppose 2*d + k*d + 77 = 0. Which is bigger: -4 or d?
-4
Suppose -4*c - 3*h + 8151 = 0, -2*h = 7*c - 11*c + 8146. Is c smaller than 2037?
False
Let c(r) be the second derivative of r**5/20 + 5*r**4/12 - 4*r**3 - 2*r**2 + 4*r - 12. Let h be c(-8). Which is greater: h or 40?
40
Suppose -6*z = 46 + 8. Suppose 2*y = 8 + 2. Suppose -2*t = -4*l - 42, y*l + 6*t = 4*t - 30. Whi