951 = 0. Is z greater than or equal to -131/2?
False
Suppose 0 = -3*t + 3 - 0. Let a = -1855778 - -640241926/345. Let d = -102/23 - a. Which is greater: d or t?
t
Suppose -908*b = -905*b. Which is smaller: 65/272 or b?
b
Suppose -256*y + 263*y = 0. Let c = -530 - -2576/5. Let p = 232/15 + c. Is p bigger than y?
True
Let t = -38110 - -38112. Which is greater: t or 3287?
3287
Let j be (-1 + -5)/(6*1/8). Let h be (54/(-72))/(-2*(-1)/j). Let b(u) = 5*u - 12. Let x be b(h). Is -1 less than x?
True
Let f(l) = l**3 - 13*l**2 + 14*l - 3. Let a = -10 + 22. Let n be f(a). Suppose n = -4*h + 5*d, 0*h + 5*h + 15 = 4*d. Which is bigger: h or -1/25?
h
Let g be (-8 + -3 - -9) + 3965. Which is greater: 0 or g?
g
Suppose -4*f + 3*b - 137 = 0, 215 = 117*f - 122*f - 5*b. Suppose 0 = -3*t + 2*j - 7*j - 93, 0 = -t - 3*j - 27. Which is bigger: f or t?
t
Let r(w) = w**2 + 2*w - 5. Let k be r(-3). Let y be -4*k/8*-2. Let o(j) = j**2 + 4*j - 2. Let n be o(y). Is n > -6?
False
Let w(d) = -73*d**3 - 10*d**2 + 15*d + 10. Let j be w(4). Is j < -4761?
True
Let c = -2552 - -2024. Which is greater: c or -7?
-7
Suppose -68*q + 61977 - 9401 = -121*q. Is -980 at least q?
True
Suppose 0 = 4*l - 5*p + 5 + 18, 0 = 5*p + 5. Let v be (l/((-245)/28))/(-118). Are v and -1 equal?
False
Suppose 0 = 4*l - 20, -4*l - 1 + 21 = 4*a. Let f be a/1 - (-10 + 4)/(-3). Let x be 3/(51/(-32)) + f/(-1). Which is bigger: x or -1?
x
Let o(n) = 4*n**2 - 6*n - 18. Let p be o(8). Let r be (-14)/(-5)*p/(-76). Is r > 25?
False
Let w = 3094 - 3341. Are -2/9 and w equal?
False
Let i be (-4)/28 + (-352)/(-2268). Suppose 0 = 9*s + 6 + 3. Which is bigger: i or s?
i
Let f(k) = k**2 + 12*k + 34. Let h be f(-5). Suppose 60 - 5 = 5*m. Is m <= h?
False
Suppose -4*r = 3*b - 4*b + 7, b = 3*r + 10. Let s(g) = -g + 1. Let u be s(-4). Let i = u - -13. Do b and i have the same value?
False
Let c(k) = k - 32. Let v be c(25). Let q(s) = 4*s + 29. Let z be q(v). Which is smaller: -2/547 or z?
-2/547
Suppose 1155 = 70*b - 67*b. Let w be 196/(-418) + 140/b. Which is bigger: -21 or w?
w
Let q = 2.92 + -3. Let h = -97.48 - -97.6. Let w = q - h. Is 35 at least w?
True
Let k = -303843 - -57228. Let p = k - -1965735/8. Let b = p + 897. Which is smaller: -2 or b?
-2
Suppose -5*y = -15*y. Suppose y = 6*t - 2*t + 36. Let c = 9 + t. Is c bigger than -1/6?
True
Let g = 51 - 38. Suppose -9 = g*n - 4*n. Do n and -2/303 have the same value?
False
Suppose -29845 = 30*v + 57785. Is v at most as big as -2921?
True
Let p = -627855/8 + 78243. Which is smaller: -238 or p?
p
Let y = 434.4 - 0.4. Let t = y - 433.9. Which is bigger: t or -24.3?
t
Let i be (-184)/48 - ((-1550)/(-60))/(-31). Is 27/11 at least as big as i?
True
Suppose -2*z + 10 = 4*n - 6*n, 3*n = -9. Let i be (13 + (-703)/19)*1/(-2). Let t be (-6)/i - (0 + -1). Is z != t?
True
Let v = 18.2 + -22.5. Let i = -234 + 236. Which is bigger: i or v?
i
Let o be ((-156)/46)/3 - -1. Let x be ((6/10)/(-3))/((54/15)/(-18)). Which is smaller: x or o?
o
Let l(z) = -z**3 + 10*z**2 - 9*z + 1. Let x(u) = -2*u**2 + 14*u + 2. Let n be x(7). Suppose 2*c + 3 - 21 = n*q, 0 = -4*q. Let i be l(c). Is 3/23 bigger than i?
False
Suppose 6*o - 12*o = -162. Suppose 31*q - o*q - 400 = 0. Suppose -q = 6*d + 38. Which is greater: d or -25?
d
Suppose -y - y + 3*m = 2, -5*y - m - 5 = 0. Suppose 504 = -3*n + 11*n. Let k be n/294*(-2)/(-14 - -2). Which is bigger: k or y?
k
Let b = -36 + 68. Let c be (-618)/(-20) + (-256)/40 + 6. Which is greater: c or b?
b
Let s = -6 + 5. Let l = 5 + s. Let m be 18/(-22) + 1/(-22)*l. Which is smaller: m or 37?
m
Let b be -1 + -4 + 1657 - (-1 + 1). Suppose 0 = 2*n - 4*n + 5*m - 812, 3*m - b = 4*n. Which is greater: 2/7 or n?
2/7
Let n(j) = -j + 14. Suppose -5*f + 45 = -10. Let k be n(f). Suppose 2*i + 16 = k*o + 41, -3*i + 43 = o. Which is smaller: -2 or i?
-2
Suppose -17*l + 18*l = -3*z - 15, 3*z = -4*l - 15. Which is bigger: l or 13/448?
13/448
Let i be ((-17)/3)/(13/(-4)*(-168)/(-126)). Which is smaller: i or 4?
i
Let n be (104/20 + -6)*(-24)/32. Let y(v) = v**2 + 3*v + 2. Let w(g) = g**3 - 4*g**2 + g + 3. Let z be w(3). Let p be y(z). Which is smaller: n or p?
n
Suppose -20 = -4*u - 2*k - 196, -u = 2*k + 47. Is -890/21 greater than or equal to u?
True
Let g be (-1 - -696) + 3 + -6. Let p be 15/(-25)*(-20)/g. Which is smaller: p or 0?
0
Suppose 0 = -3*r - 3, -3*k + 5*r = -267 + 52. Let h = k + 38. Does h = 107?
False
Let m = -63/1976 - 3018761/17784. Which is smaller: -170 or m?
-170
Let d(q) = -7 - q + 2 + 4*q**3 + 7*q**2 + 3. Let m be d(-2). Which is smaller: -0.2 or m?
m
Let r be (396/23166)/(2 + (-17)/9). Let l = 16 - 24. Which is bigger: r or l?
r
Let m be (-11)/(-99) - (20/18 - -1). Let n be (3/9)/((-4)/(-6))*m. Let o be 5/14*(-1)/5. Which is greater: n or o?
o
Suppose -2*i + 2 + 2 = 0. Suppose -4*a - 3*v - 2*v = 34, 2*a + i*v + 16 = 0. Let j = a + -10. Is j equal to -17?
False
Let k = -15734473/782439 - -22390/1007. Let d = -2/111 - k. Is d bigger than -2?
False
Let k(s) = -66*s**2 - 39*s - 13. Let z be k(-6). Is z smaller than -2156?
False
Suppose -2765 = -4*q + 5*h, 2763 = 4*q + 63*h - 66*h. Do 690 and q have the same value?
True
Let o(z) = -21*z. Let a be o(-1). Let h be ((-5)/14)/((-116)/406)*12. Which is bigger: a or h?
a
Let x = -14/1555 + -6178/4665. Do 0.08 and x have different values?
True
Let r = -0.87 - -0.47. Let b be 4 - (-492)/150*5/(-4). Is b < r?
False
Suppose -5*u + 3 = -3*j - u, 2*j = u + 3. Suppose -12*n + j*n = 216. Which is smaller: -20 or n?
n
Let a(b) = 2*b**2 - 12*b + 18. Let d be a(2). Suppose -3*k + d*h + 6 = -8*k, -4*k - 15 = 5*h. Which is greater: k or -1/637?
k
Suppose -3*m + 1 = -5. Let k(c) = -15*c - 2*c**2 - 6*c**2 - 8*c**2 - c**3 - 24 - 35*c. Let w be k(-12). Are m and w nonequal?
True
Suppose 0 = -4*k + 3*k + 4*x + 15, 4*x + 36 = 4*k. Suppose 208 + 3122 = 234*y - 12*y. Which is greater: y or k?
y
Let c be 0/3*(-1)/2 - -53. Let y = c + -53. Which is greater: y or -9/11?
y
Let u be 18 + -3*(-4)/(-6). Suppose 4*i = -5*h - 4, -u = -0*i - 3*i + h. Suppose n - i + 3 = 0. Which is smaller: n or 2/9?
2/9
Suppose 8*f - 24 = -16. Is f equal to -37?
False
Let w = 747 - 749.24. Let j be -2*(-1)/(1*6). Which is smaller: j or w?
w
Let n = 2382 + -2180. Is n less than or equal to 10?
False
Let p = -231 + 261. Suppose -13 + 43 = -p*v. Which is bigger: v or 5/41?
5/41
Let m be (10 + -12)*4/(-8). Which is smaller: -2/4281 or m?
-2/4281
Let o(s) = s**3 - 8*s**2 - 3*s + 10. Let p be o(8). Let c = 2/3493 - 153698/10479. Is c greater than or equal to p?
False
Suppose 5*l + 5*r + 5 = 0, 8 = 5*l - 3*r - 27. Suppose 28 = 4*p - l*w, -4*p + 0*w + 43 = w. Let c be (-4 + 6 + -4)/(1*p). Which is greater: c or 0?
0
Let j = 2159/4 - 88481/164. Which is greater: j or 1/3?
1/3
Suppose 5*n = -4*i - 16, 2*i + 0*i = -4*n - 14. Let h be (-72)/(-14) + (-5)/i. Let f = -1.8 - -8.8. Which is bigger: h or f?
f
Let s = 12346 + -12345. Which is greater: 206.4 or s?
206.4
Suppose -v + 5*b - 4 = 0, 27 - 22 = 2*v + 3*b. Is v < -0.038?
False
Let b = 109.1 + -11.1. Let f = -1.21 + 2.21. Is b at least as big as f?
True
Suppose 10*r - 11*r = 0. Suppose r = 15*q - 10*q - 2*f - 42, -4*f = -3*q + 14. Suppose -3*x - 2*x + 40 = 0. Are q and x nonequal?
True
Let a = 10.068 + 11.932. Is a at most -65?
False
Suppose -6*w - 310 = -5*w. Let u be w/(-4)*(8 - 10). Let g = 1083/7 + u. Is g greater than 7?
False
Let n = 496 + -495.5. Let l be 0 + 0 - -1 - (-8)/(-16). Is n smaller than l?
False
Let s = -302 + 306. Suppose s*h - y = -120, 3*y + y = 16. Which is greater: -24 or h?
-24
Let p be ((-580)/232)/((-220)/8 + 0). Is -451 >= p?
False
Suppose 2*h + 332 = -218. Let v = 14.12 - 14.22. Is v >= h?
True
Let r = -223 + 181. Let a = r - -43. Which is bigger: a or -2.9?
a
Let l(s) = 5*s**2 - 5*s + 4. Let a be l(5). Let k be 3*2*(-26)/a. Let d be 4/6*(-15)/5. Which is greater: d or k?
k
Let s(q) be the second derivative of q**3 - 1/12*q**4 + 3*q**2 + 0 + 7*q. Let o be s(5). Which is smaller: o or 9?
9
Let f = 232.668 + 0.532. Let s = 235 - f. Which is bigger: s or 3/7?
s
Let t = 18252 - 18250. Let b = 17 + -13. Which is smaller: b or t?
t
Let c = 0.6565 + -0.6165. Which is smaller: 0.0849 or c?
c
Let h = 13813/452520 + -3/3352. Let n = 191665 + -191665. Which is bigger: n or h?
h
Suppose -2*y + 5*m = -5814, 