167?
False
Suppose 0 = 12*x - 7*x + 500. Let n be 3*(x/(-12) + 0). Suppose 0 = -2*g + 7*g - n. Is 7 <= g?
False
Let i be 1/((-2)/(-1 - -3)). Suppose -4*t - 4*x = 36, -7 = 3*t - 2*x + x. Let s be (2 + t - 0) + 1. Is i less than s?
False
Suppose 13*o - 11*o = -2. Is o greater than -4?
True
Suppose -504 = 35*g - 28*g. Is -72 less than or equal to g?
True
Suppose 35 = c + 5*u, 0 = -4*c + 4*u + 66 + 2. Let j be (6*(-45)/c)/(-3). Which is smaller: -0.1 or j?
-0.1
Let r be (-78)/(-52)*344/6. Does 87 = r?
False
Let o = 2 - 2. Let p be (-1)/((-8)/(-356) + o). Let v = 2763/62 + p. Is v >= 1?
False
Suppose -5*c + 6 = 1, -3*d = -c + 1. Let h = -10 + 841/84. Is d greater than h?
False
Let d = -12393 + 12399.741. Let r = 0.041 - d. Let i = r - -7. Which is greater: 0.1 or i?
i
Let u = -3 - -1. Suppose 15 = 2*v - 17. Suppose 5*o + v - 1 = 0. Which is smaller: o or u?
o
Suppose -5*t + 3*t - 12 = 0. Let v = t + 8. Let p = 0 - 0. Which is bigger: p or v?
v
Let p(i) = -4*i**2 + 3*i. Let a be p(2). Let m = -45 - -53. Let z = m + a. Is -5 at most z?
True
Let d = -1036679/51636 + -1/3972. Which is greater: d or -21?
d
Let u = 9094 - 44916/5. Are u and 110 nonequal?
True
Let i = -19 - -15. Let z(j) = 7*j - 5. Let x be z(i). Let l be -1 + (0 - x/21). Does l = 0?
False
Let t = -2 + 3. Let x be t/(10/8 + -1). Let o be x/(-8) + (-2)/4. Which is bigger: 4/9 or o?
4/9
Suppose 5*v + 26933 = -3*n - 46236, 0 = -2*n - v - 48777. Let l be 6100/n - (-2)/7. Let z = l + -2/201. Which is bigger: -1 or z?
z
Let w = 0.9 - 0.73. Let d = w - 1.07. Let r = d + -2.1. Is -6 smaller than r?
True
Let u = 211 + -285. Are u and -75 equal?
False
Suppose 0 = -2*d - 2*t - 6, -d + 5*t - 9 = -0*d. Let i be (4 - 0)*7/(-14). Let x = i + 1. Which is smaller: x or d?
d
Suppose 0 = -j + 3, -3*j - 4 = -4*l - 5. Which is greater: l or -0.0861?
l
Suppose -12*r - 608 = 1156. Do -147 and r have the same value?
True
Let y(x) = -x**2 + 12*x + 6. Let n be y(12). Let v(l) = 1 + 8 + 0 - 8*l + l**2. Let w be v(n). Which is greater: -4 or w?
w
Let r = -8 + 6. Let x be ((-5)/(-4))/((-1859)/(-88) - 21). Do r and x have the same value?
False
Let j be ((-75)/12 - -6)/(4/(-16)). Which is smaller: -203 or j?
-203
Let s(b) = 10*b**3 + b + 2. Let m be s(-1). Let k be ((-24)/(-10))/((-3)/15). Let z = k - -3. Is m less than z?
False
Let r(t) = -t + 22. Let p be r(-17). Which is greater: p or 239/6?
239/6
Let v = 11.33 - 4.21. Let r = -7 + v. Are r and -1 non-equal?
True
Let k be 23606/55 + 4/5. Let d be 2/4 + k/20. Does d = 21?
False
Suppose 3*t - 5*x = 13, 0 = 4*t - x - 5 - 18. Suppose 4*c + 158 = j, -c + 0*j - 42 = j. Let m = -33 - c. Is m greater than t?
True
Suppose -2*u + 830 = 8*u. Is 83 <= u?
True
Let n(w) = -w**3 - w**2 + 5*w - 77. Let y be n(0). Is -0.15 less than or equal to y?
False
Let j = 22.41 - 22.61. Let v = 26 + -14. Is j bigger than v?
False
Let t = 11719/42 + -279. Let l = 8 - 9. Are t and l equal?
False
Suppose 56*x + 364 = 84. Which is greater: 15 or x?
15
Let b = -4398.05 - -4398. Let g = -1 + 0. Which is smaller: b or g?
g
Suppose -18 + 6 = -3*t. Suppose -t*j = 4*r - r, 0 = -j + 3*r. Is 2/27 at most as big as j?
False
Let g(x) = -x**3 - x**2 + x + 1. Let i be g(-1). Let m be 165/378 + 98/(-441). Which is smaller: m or i?
i
Let u(t) = 3*t**2 + 2*t - 3. Let y be u(-3). Let w(m) = m**3 + 4*m**2 - 4*m - 2. Let o(k) = 6*k - 33. Let z be o(5). Let c be w(z). Which is bigger: y or c?
c
Let p = 4 + -10. Let z(u) = 3*u**2 + 17*u - 5. Let x be z(p). Do 8/5 and x have different values?
True
Let i be -3 - (248/(-82) + 0). Let u(x) = 26*x - 520. Let a be u(20). Which is smaller: a or i?
a
Suppose -1299 = -25*c - 3174. Let x(n) = -2*n**2 - 5*n. Let j be x(5). Does j = c?
True
Let u be 2/6 - 3/18. Let d be 4/(-8)*(-24)/(-54). Which is smaller: u or d?
d
Suppose -3*z + 12 = 3*y, -y + 3*z = 2*y - 30. Let d be (-3)/2 + y/2. Let p = -2/393 + 1316/1179. Which is bigger: p or d?
d
Let p = 1165 + -1164.9. Are p and -65/2 equal?
False
Let r(l) = -2*l - 7. Let k be (4/6)/(2/6). Let x(v) = v**3 - 2*v**2 + v - 2. Let p be x(k). Let i be r(p). Are i and -5 equal?
False
Suppose 0*b - b = -8. Let h(j) = -j**2 - 6*j + 7. Let s = -9 - -3. Let l be h(s). Are l and b unequal?
True
Suppose 0 = -2*s + 4, -s + 0 = -f + 2. Let o = -11 - -9. Let n be f + (o + -13)/(-5). Which is bigger: 6 or n?
n
Let t(x) = -x**2 + 5*x + 6. Let r be t(5). Let v(u) = u**2 + 16*u + 21. Let l be ((-15)/2)/(1/2). Let n be v(l). Is r >= n?
True
Let o = -233/90 + 23/9. Let x = o + -1/6. Suppose -5*c = -4*q - 21, 0*c + 2*c - 6 = 4*q. Do x and q have different values?
True
Suppose 4*d = -5*i - 357, 18*d - 23*d - 438 = -2*i. Is -260/3 at most d?
False
Let u(d) = d - 6. Let k be u(9). Suppose -k*g - 34 = o, 3*o + g + 81 = -g. Is o > -26?
True
Suppose 2*m + 0*j - 9 = -j, 4*m - 21 = -3*j. Let s be ((-13)/m)/(11/3 - 4). Is 17 smaller than s?
False
Suppose 10 = 3*c - d - 28, -4*d = c + 9. Let q(j) = -j**3 - 7*j**2 + 7*j + 7. Let o be q(-8). Suppose 0 = -6*t + c*t + o. Is t greater than 0?
False
Let w = 9.32 - 10.12. Is -54 > w?
False
Let i be 2/(-8)*2*-58. Which is smaller: i or 28?
28
Let x = 139.6 + -141. Let j = -13.9 - x. Which is greater: 0 or j?
0
Suppose h + w + w = -31, -4*h = 5*w + 109. Let f = -49 + 29. Which is bigger: f or h?
f
Let x be (0/2 - 3)*2. Let g(v) = 2*v + 5. Let p be g(x). Let u be (-7 - p)*1/(-2). Which is smaller: u or 6/5?
u
Let h = -3/88 + 315/1496. Which is smaller: h or 1?
h
Let d = -244/11403 - -1/181. Let f = -5/63 + d. Let l be (2/6)/((-2)/6). Which is bigger: f or l?
f
Let i = 36 - 35.74. Let v = i + 3.74. Which is smaller: v or 1?
1
Let u = 878 - 877. Is -20/11 less than u?
True
Let o(y) = -y**3 + 5*y**2 + 3. Let m be o(3). Is m greater than or equal to 20?
True
Let o = -7 - -13. Suppose -4*j + o + 2 = 0. Suppose j*d = 6*d - 8. Is d at most 4?
True
Suppose 62 = -v + 4*w, v + 4*w + 10 = -36. Let u = v - -63. Is 9 >= u?
True
Suppose -5*c + 1 + 4 = 0. Suppose -5*v - 40 = 4*x, 30 = -4*v - 3*x - 2. Let u be 2/v + 28/64. Which is smaller: u or c?
u
Let w(s) = s**2 - 7*s + 3. Let x be w(7). Suppose -f - l = 3*f - 24, x*l = 12. Let a be (-50)/15*(-4)/f. Is 0.1 less than a?
True
Suppose i - 5*q + 50 = 10, 0 = -2*q. Let l be 1/(-3) - i/3. Let t(r) = -r**2 + 14*r - 6. Let h be t(l). Is 8 greater than h?
True
Suppose 2*w - w - 22 = -4*c, 3*w - 1 = c. Suppose 2*g = 2*u, -u + 2*u + c = 2*g. Let k = 34/5 + -228/35. Which is bigger: k or u?
u
Let a = -57 + 57. Let x = -29 + a. Is x greater than or equal to -29?
True
Let f be (2 - (-8)/5) + (-4)/(-10). Suppose f*p + 22 + 50 = 0. Which is smaller: 2 or p?
p
Let g = -552/13 - -22749/533. Which is bigger: g or -1?
g
Let f = -7.05 - -8.05. Which is greater: 7 or f?
7
Let h be (-2)/(-4) + (-54)/4. Let z be 16*-2*h/26. Do 17 and z have the same value?
False
Let r(y) = y**2 - 14*y + 13. Let l be r(13). Suppose 4*a - 49 - 3 = l. Is a < 14?
True
Let g be 5/10*-1*(-1 - 3). Suppose 5*u - 9*u = 16, -g*t = 3*u + 6. Is t > 26?
False
Suppose 0 = -5*f - 194 - 21. Let z = -51 - f. Is z at least -9?
True
Let s(j) = -j**3 - 4*j**2 - 3*j - 4. Let n be s(-4). Let u be ((n/76)/(-2))/(-1)*1. Which is smaller: u or 1?
u
Suppose -2*a = 2*l - 3*a - 16, -a = -2. Suppose -54 = -l*j + 3*j. Let v be 5/(-3) - (-6)/j. Is -1 less than v?
False
Let n = -5 - 32. Let h = -37 - n. Which is smaller: -5 or h?
-5
Let a(c) = c**3 - c + 3*c - 31*c**2 - 5 + 26*c**2. Suppose 6*w = w - 3*q + 28, -13 = -2*w - 3*q. Let i be a(w). Which is smaller: i or 4?
4
Let g = 0.039 + -0.169. Let u = g - -0.49. Which is bigger: u or -1?
u
Let g(y) = 2*y**3 - 4*y**2 - 17*y - 9. Let i(u) = u**3 - 2*u**2 - 8*u - 4. Let q(b) = 6*g(b) - 13*i(b). Let n be q(0). Which is smaller: n or -4?
-4
Let i(q) = -q**3 + q**2 - 2*q + 4. Let r be i(0). Let c be 7*1/6 + r/(-24). Are c and -2/7 equal?
False
Let k = -314719/7 + 45057. Is 97 < k?
True
Let s = -0.8 - 0.2. Let u = 16.9 + -10.9. Let h = 0 + u. Which is greater: h or s?
h
Let t be -1*1227/(11 + -7 - 1). Which is greater: t or -406?
-406
Let v = -639 + 639. Which is smaller: v or -40?
-40
Suppose -c - 17 = -0. Suppose -147*l + 23*l = 2108. Is l less than c?
False
Let b = 4/111 + -338/3219. Suppose f + 3*x = -10, x - 4 + 11 = -4*f. Is b > f?
True
Let u be ((3 - 3) + 0)/(-1). Let q = 12 - u. Let s(m) = -m**3 + 11*m**