ose -4*t + 0 = -16. Let v be j(t). Is r at most as big as v?
False
Suppose 0 = 19*j - 14*j - 3*b + 202, 0 = -2*j - 3*b - 64. Which is smaller: -27 or j?
j
Let i be 512/(-384)*(2/(-4) - -2). Is i at least -30/29?
False
Let r(m) = 185*m**3 + m**2 + 10*m + 10. Let b be r(-1). Is b < -185?
False
Let c be 3 + (18496/24 - 1/(-3)). Let j be (-5)/4 - c/(-696). Which is greater: j or -1?
j
Let u = -11 - 15. Let b = -17 - u. Are 8 and b unequal?
True
Let l = -0.3 + -4.8. Let m = 79 - 81.1. Let u = m - l. Which is bigger: -0.4 or u?
u
Let d = 1282 - 1286. Let w = -0.4 + -1.6. Is w not equal to d?
True
Let x = 0.401 + -0.42. Let d = -0.019 - x. Is d at least -35?
True
Let o = 768 - 767. Suppose 3*z = -5*p - 4 + 16, 1 = -p - 4*z. Is o at most p?
True
Let c be (-4 - (-9)/1) + 4 + -8. Which is bigger: c or -1/319?
c
Suppose 79 = 2*r + 4*y + 49, 5*r + 3*y - 47 = 0. Let w be 1/(-3)*(-18 + -3). Suppose -w*q + 3*q + 24 = 0. Is q bigger than r?
False
Let t(x) = -3*x. Let h be t(2). Let s be (1 - 2)/(h/(-42)). Is -7 less than s?
False
Let n be (-28)/(-16) - (-1938)/(-952). Let v = -88 - -58. Are n and v unequal?
True
Suppose 4*x - 16 = o + o, -o - x = 2. Let r = 9 + -6. Which is smaller: o or r?
o
Suppose -5*d - 53 = -5*k + 152, 3*d + 117 = k. Is d greater than -42?
True
Let d(i) = -3*i - 3. Let h be d(1). Let x be 4*2 - (9 + h). Are x and 21/4 unequal?
True
Let x be (-1 - (2 - 2)) + 1. Let j be -3 + 0 - (-1236)/396. Which is greater: j or x?
j
Let k = 33 + -14. Let i = k - 18. Does -1/2 = i?
False
Suppose -o - 15 = -6*o, 3*m - 3 = 5*o. Let f(w) = -3*w + 56. Let b be f(17). Suppose 0 = b*h - 4*h + 3, -31 = -4*t + 5*h. Which is greater: t or m?
m
Let k = -0.34 - 0.54. Let r = k + 0.18. Let d = 5.7 + r. Is d smaller than -1?
False
Let b be 1*24/30*(2 - 0). Let r(h) = -2*h - 25. Let t be r(-14). Is t not equal to b?
True
Suppose -h - m = 66, -32 = 4*m - 12. Does -62 = h?
False
Suppose 16 = -4*j + 4, 0 = 3*r - j - 150. Which is bigger: 48 or r?
r
Let l = 37 - 32. Suppose -l = -51*d + 46*d. Let n(y) = -y**2 - 9*y - 9. Let j be n(-8). Which is greater: d or j?
d
Let o be ((-2)/(-68))/(6/(-225235212)). Let h = o + 1103762. Let n = 332 + h. Which is greater: n or -1?
n
Let d(o) = -o**2 - o + 2. Let s be d(0). Let y be (-6*(s - 1))/(-2). Suppose y*x - 43 = 5*z, z = -6*x + 2*x + 19. Is x at most as big as 6?
True
Let y(v) = 2*v**2 - 7*v + 9. Let l be y(3). Suppose 4*z + 2*x = -2*x - 24, 5*x = z - l. Which is smaller: -0.9 or z?
z
Let v = 0 - 0. Suppose -34*k + 24 = -30*k. Suppose 4*j - 14 - k = v. Which is smaller: 6 or j?
j
Let c(g) = -2*g**3 + 0*g - 2 + 2*g**2 - 23*g**3 - g. Let h be 1/2*(-35 + 33). Let f be c(h). Is 25 smaller than f?
True
Let r = -431/66 + 37/6. Let g(s) = -s**3 + 2*s**2 - s + 1. Let l be g(1). Do r and l have the same value?
False
Suppose 2*z + 2*z + 46 = 2*f, 0 = 3*f + 3. Is z at least as big as -15?
True
Suppose 1 - 33 = 4*h. Let y = 17 - h. Is y greater than or equal to 73/3?
True
Let k = -513/7 + 73. Is 0.86 at most k?
False
Suppose 2 = -4*s - t + 7, 0 = 4*t - 20. Let b be s*((-28)/10 + 3). Which is bigger: 2/9 or b?
2/9
Suppose 0 = -3*w + 16*w - 1911. Does w = 147?
True
Let f = 6722 + -114232/17. Is f != 3?
True
Let n be 1/((-172)/(-1316)) - 85/17. Which is bigger: n or 3?
3
Let z = 802/7 - 115. Suppose 6*h - 16 + 4 = 0. Is h greater than z?
True
Let n = -75 + 75.1. Do n and 110 have the same value?
False
Let g = -928 - -702. Is -226 >= g?
True
Suppose -2*q + 5*v = -23, 3*q - 2*v - 10 + 3 = 0. Which is greater: q or 2/1189?
2/1189
Let j = -52 + 52. Suppose -5*y + 5*o = -4*y, 5*y - o = j. Which is bigger: 3/49 or y?
3/49
Let h = -30 - -62. Suppose h + 3 = -5*u. Are 3 and u non-equal?
True
Let z = 29 + -19. Let q = -97 - -137. Suppose 3*s = -s + q. Is z less than or equal to s?
True
Let n be ((-1229)/4)/(-6*(-5)/(-40)). Let h = n - 405. Which is smaller: h or 6?
h
Suppose -20 = -v - 0*m + 3*m, 0 = 3*v - 2*m - 25. Let a(w) = 5*w - 2. Let x(r) = -12*r + 5. Let l(i) = 10*a(i) + 4*x(i). Let q be l(v). Is q >= 9?
True
Let c be (-13032)/30 - 6/10. Let u be (6/(-3))/2 + c/(-433). Is 1 less than u?
False
Let v be (8/(-28))/((-1)/7) - -162. Let w = -5090/11 - -13111/44. Let b = v + w. Is -2 at least as big as b?
False
Suppose -x = 4*x + 25. Let u(p) = -5*p + 9. Let q be u(x). Let v = 20 - q. Is -13 less than v?
False
Let j = -58472/73 - -801. Does -1 = j?
False
Let s be 178/(-1) - (-4 - -1). Let v be s/220 - 1/(-4). Which is bigger: v or 0?
0
Let c be (-2)/4 - (-1833)/2610. Let s = -2/29 + c. Which is bigger: 1 or s?
1
Suppose 0 = -2*z + 4*p - 8, -4*z - 3*p = z - 6. Let r(t) be the third derivative of -t**5/60 + t**3/2 - 3*t**2. Let i be r(z). Is i less than 1?
False
Let c = 0.204 + 0.796. Is c smaller than 24/19?
True
Suppose 0 = -h + 5 - 2. Suppose 3*a - 11 = -h*k - 2*a, 0 = -2*a - 4. Let v(g) = g**3 - 6*g**2 - 3*g - 17. Let n be v(k). Which is smaller: n or 10?
10
Let o = 31.97 + 0.03. Let u = o - 34. Which is bigger: u or -8?
u
Let z(n) = -3*n**2 + 19*n - 6. Let s be z(7). Which is bigger: s or -190/9?
s
Let o be (-4 + -2)/(9/(-6)). Suppose -o*l - 23 = 61. Let h be 6/18 - (-1)/l. Which is bigger: 22 or h?
22
Let l(b) = 2*b**2 - 10*b - 4. Let r be l(6). Let f = r + -8. Let t = -243/7 + 249/7. Is f >= t?
False
Suppose -v - 11*g = -8*g, -3*v - 12 = -3*g. Let u(t) = t - 3. Let r be u(3). Let p be 2/7 + (-2 - r). Is v bigger than p?
False
Let f be 70/(-84)*(-6)/(-8). Let r = -47/40 + f. Which is greater: -3 or r?
r
Let o be (-4 - -6) + (1 + -5)*2. Suppose -5*k + 39 = -2*v, -2*k + 24 = -0*v - 5*v. Is k greater than o?
True
Let o = -0.977 + -17.023. Suppose 4*s = -31 - 25. Let b be 2/7 + 18/s. Which is bigger: o or b?
b
Suppose 1 + 9 = -4*a - 2*q, 3*a = 3*q + 15. Let d be a - (-6 - (7 + -4)). Suppose -d = t + 1. Is -10 at least t?
True
Let p(o) = -o**3 - o**2 + 2*o + 1. Suppose -20 = -0*n + 4*n - 4*k, -4*n = 2*k - 10. Let r be p(n). Does -3/8 = r?
False
Let o(b) = -b**3 - 17*b**2 + 110*b + 1. Let c be o(5). Which is bigger: c or -9/113?
c
Let t = -625 + 625.53. Is 8 >= t?
True
Let g be 6/1 - (6 + -6). Suppose -5*r + 3*u - 5*u = 18, 0 = 3*r - 3*u - g. Is r greater than -17/6?
True
Let a be (-24)/(-13) + (-2)/(-13). Suppose -a*i = -5*l + i - 30, 4*l + 4*i = -24. Let r = -10 - -3. Which is smaller: l or r?
r
Let l = -1 + 0.99. Let w = -0.01 - l. Let q = -4.034 + 0.034. Is q at most as big as w?
True
Let j be 9 - (5 - (12 + -67)). Which is smaller: -39 or j?
j
Let j(p) = 4*p - 5. Let s be j(5). Suppose -5*u + 3 = 3*m - 2*u, 0 = 5*m - u - 23. Suppose m*q + q = s. Which is greater: 4 or q?
4
Let n be (-18)/(-5)*65/(-598). Which is bigger: n or -1?
n
Let k = -221/3 + 167/2. Which is greater: k or 11?
11
Let z = -1.17 + 0.97. Is z greater than or equal to -3/7?
True
Suppose 4*v = -3*s - 29, 0 = 2*s - 0*v + 5*v + 31. Let p be -3 + (-8)/s - 4/6. Which is smaller: p or 5/27?
p
Let h = -4 + 4. Suppose -5*m + 3*i + h*i = 12, 0 = 5*m - 2*i + 8. Which is smaller: m or -1?
-1
Let h = 22.932 + 0.068. Let p = h - 24. Which is smaller: 5/31 or p?
p
Let j(s) = 9*s - 27. Let f(z) = z. Let m(r) = 2*f(r) - j(r). Let y be m(4). Which is bigger: -4/65 or y?
-4/65
Suppose -4*l + f + 10 = -2*f, -5*l - 4*f + 28 = 0. Let v be 4 - 6/4*l. Let g = 0.1 - 0.2. Which is greater: v or g?
g
Let x be (-835)/(-150) + (-1)/6. Let h = 6 - 1. Suppose 3*r = -h*n + 3, -4*n = -0*n + 12. Which is greater: r or x?
r
Suppose -p + 6777 = 26*p. Is 249 at least as big as p?
False
Suppose 0*u + 2*a = -5*u - 14, -3*u + 2*a - 18 = 0. Let m be 3/2*u/(-3). Suppose -k - 3*k - 16 = 3*j, -m*j = 2*k + 8. Which is greater: j or 8?
8
Suppose 5*m - 2*q = 80, 3*q = q - 10. Is -4 greater than m?
False
Suppose 3*l - 4*s = -0*l - 151, 4*s - 265 = 5*l. Which is bigger: l or -58?
l
Let z = -242 - -209. Is z <= 0?
True
Let g = 0.035 - 4.535. Suppose 2*h - c = -5, -4*h + 2*c = -2*c + 16. Which is greater: h or g?
h
Suppose -25 = -2*g + 3*g + d, -3*g + 2*d - 80 = 0. Let a be (-6)/(g/7 + 4). Let z = -20 - a. Is z less than -11?
False
Let h = 4387/3 + -1475. Let t = h + 13. Which is smaller: 1/2 or t?
t
Let v = 30 + -67. Let m = 33 + v. Is m smaller than 1?
True
Let k = 29 + -28. Suppose 0 = -5*f - 3*h + k, 5 = -0*f + f + 3*h. Are -12/13 and f nonequal?
True
Let q = -1 - 25. Let c = q + 25.8. Is -1 >= c?
False
Suppose -4*f - 16 