 + 6*u. Suppose -15*i - 30 = -t*i. Is i >= -11?
True
Let p = 131 + -131. Let v be (-60)/684*2/(-5). Is v smaller than p?
False
Suppose v - 5 = 2*l, 3*v + 2*l - 4 - 43 = 0. Suppose 3*b + 10 + 7 = 2*z, -z + v = -3*b. Let s = b - -3. Which is smaller: s or 1/5?
s
Let z(g) = 8 - g + 3*g + 8 - 1. Let o be z(-9). Which is greater: -11/3 or o?
o
Let n(b) = -4*b + 14. Suppose 2*q + 2 = -c - q, 0 = 2*c - 4*q - 16. Let a be n(c). Is -3 at most a?
True
Let i = 1 - 2. Let u = 0.06 + 13.54. Let n = u - 14. Which is smaller: i or n?
i
Suppose 3*d - 2*r + 292 = 0, -2*r - 3*r + 106 = -d. Let v = -130 + 34. Is v less than d?
False
Suppose -9 = m + 4*i + 40, m = -i - 52. Let p = m - -65. Which is bigger: 11 or p?
p
Let s(q) = 14*q - 339. Let m be s(32). Which is smaller: 112 or m?
m
Suppose 1769*y + 380 = 1752*y + 125. Let f(d) = 2*d**2 - 4*d + 2. Let x be f(2). Suppose z - 15 = x*z. Is z >= y?
True
Suppose -3 = -i + 3*y - 5, -5*y = 2*i - 18. Let q = -190 - -192. Suppose q*h - 14 = i*h. Is -1 at least as big as h?
True
Let j be 21/(-36) - 2/(-8). Let i = 42.4 + -24.4. Which is smaller: i or j?
j
Let i = 132 - 188. Let m = i + 23. Which is bigger: m or 1/3?
1/3
Let u = -5 - -23. Let a be 21/27 - (-4)/u. Which is smaller: a or 1/50?
1/50
Let t be (0/(-1) - 5) + (-147)/(-28). Which is greater: -223 or t?
t
Let w = 55 - 45. Let z = -5 + w. Which is bigger: z or 8?
8
Let q be 1/(-2 - 3/(-2)). Let x(z) = -2*z - 14*z**2 + 3*z**3 + 3 - 2 + 10*z**2 - 2*z**3. Let s be x(q). Is s at least -19?
True
Suppose 76 = -2*h - h + r, 0 = -h - 2*r - 30. Which is smaller: h or 0.3?
h
Let c = 0.073 - -57.927. Let v = c - 33. Which is greater: v or 0?
v
Let u = -36.28 - -35. Let i = u + 1.2. Are 0.2 and i unequal?
True
Suppose -2*n = 7 - 1. Let w be 10/(-3)*n/(-13). Which is smaller: -1 or w?
-1
Let g(j) = 3*j**2 + j - 2. Let c be g(1). Suppose -c*u = -2*a - 30, 4*a - 60 - 8 = -4*u. Let b = -18 + u. Which is bigger: b or 2?
2
Let r(i) = 2*i**3 - 12*i - 32. Let l be r(-5). Which is smaller: -223 or l?
-223
Let r be (-2)/4*1/(-13). Suppose -2*j = -5*j - 2*w + 17, 5*w - 20 = 0. Suppose 10 = j*t - 13*t. Is t < r?
True
Let p = 2163261 + -2736523916/1265. Let l = 9/115 - p. Let t = -117/44 - l. Which is smaller: -1 or t?
t
Let p = -143 - -139. Which is greater: p or 0.43?
0.43
Let r = -2 - -4. Suppose -w + 1 = -x, 0*w - 6 = -r*w. Which is smaller: 4 or x?
x
Let c = -2.04 - -0.04. Let z = 2049 + -2049. Which is greater: c or z?
z
Let g = -219 - -113. Suppose -249 + 885 = -6*o. Is g > o?
False
Let h be (-435)/(-90) + (26/12 - 2). Which is greater: -11 or h?
h
Suppose -156*h = -162*h. Which is greater: 70/71 or h?
70/71
Suppose 13 = -2*t - 3*y, -2*t + 0*t - 5*y - 3 = 0. Let n be (t/21)/(2/(-3)). Suppose 4*b = 2*p + 6, n = -4*p - 3*b - 0*b. Is -1/3 smaller than p?
False
Suppose 22*k = 5*k - 544. Let w = -5 - -2. Let x be (k*w/(-3))/(-2). Is x less than or equal to 17?
True
Let q = 180 - 76. Let t = q - 65. Which is bigger: 1 or t?
t
Let y = 127/12 - 37/12. Let d be (-3 + 0)/((-6)/16). Which is smaller: y or d?
y
Let k = -554 - -557. Which is smaller: k or -2/73?
-2/73
Let a(y) = 4*y**3 + 10*y**2 + 4*y + 1. Let h(l) = -l**3 - l**2 - l + 1. Let d(o) = a(o) + 5*h(o). Let j be d(5). Let z = 4 + -2. Is z not equal to j?
True
Let g = -845 + 229843/272. Is g greater than or equal to 0?
True
Let p be 11/((-1617)/14)*3. Which is smaller: -15 or p?
-15
Let h(m) = 2*m - 13. Suppose 3*k - 21 = -0. Let d be h(k). Let l = -63/2 - -32. Which is greater: l or d?
d
Let y(q) = -q**3 + 12*q**2 + 14*q - 13. Let o be y(13). Let s = 7 - o. Which is greater: s or 90/11?
90/11
Let a be 7395/2205 + (-30)/9. Let u(i) = i**2 - 7*i - 1. Let c be u(7). Which is greater: c or a?
a
Let k = -33 - -32.65. Let c = k - 1.65. Is 3 equal to c?
False
Let c = 1.5 - -0.5. Let t = -5 + c. Suppose 3*l + 6 = -2*n - 12, 16 = -4*n - l. Is t at least as big as n?
True
Let g be (-10)/6*3*-1. Let l be 69/6 + 6 + -3. Let p = 18 - l. Are g and p unequal?
True
Suppose -2*a = -4*m + 16, 4*a + a + m = 15. Suppose a*k - 3*k - 3*w = 4, w = 4*k + 16. Let h be k/6*6/4. Which is bigger: h or -3?
h
Let k be (-2)/(-1) + (-38)/8 + -2. Which is greater: k or 2?
2
Let l be (13/3 - 3)*6. Let g = l + -16. Let y = 9.1 + -9. Which is smaller: y or g?
g
Suppose -531 = 4*a - a - u, -4*u + 892 = -5*a. Is a bigger than -177?
True
Suppose -3*v = -7*v - 2*w + 212, -200 = -4*v - 5*w. Let p = -7.1 - -7.1. Which is greater: v or p?
v
Let p = -32950/7 - -4693. Let x = p + 877/63. Which is smaller: x or -1?
-1
Let a be (148/(-36) - -2)*(-234)/(-39). Let f(c) = -c. Let u be f(12). Is u bigger than a?
True
Let a = 257 + -287. Which is smaller: -31 or a?
-31
Suppose -5*j + 3 = -4*j. Suppose o + 2*h - 325 = j*h, 2*h - 995 = -3*o. Let b = o - 10855/33. Is -1 greater than or equal to b?
False
Let h(l) = l**3 + 5*l**2 - l - 1. Let u be h(-5). Let d be (-3)/(-6)*4 + 0. Suppose -d*i = -u*i. Which is bigger: i or 5/4?
5/4
Let o(a) = -a**3 + 5*a**2 + 6*a + 1. Let y be o(6). Let r = -104 + 831/8. Let m = 3/40 - r. Which is greater: y or m?
y
Suppose 5 = -5*u, -2*u = -2*s - 0*s + 12. Suppose -50 + 25 = s*h. Is 0 greater than h?
True
Let y(b) = 15*b**2 + b**3 - 2*b**3 + b - 5 - 15*b + 11. Let n be y(14). Suppose -5*j = -2*g - 13, 3*j + 3 - 15 = -3*g. Which is greater: n or j?
n
Let u = 52 + -53. Which is smaller: u or -2/131?
u
Let f = -53 - -52.67. Let k = f + 0.37. Is -2 > k?
False
Suppose 3*n + 3*l = 9, -2*l + 9 = n - 4*l. Is n <= 24?
True
Let u = 125 + -164. Which is greater: -0.3 or u?
-0.3
Suppose -2*k + k + 1 = 0. Let p = 5 + k. Suppose 4*c = 3*v + p*c - 19, 0 = 2*c + 2. Is 7 at most v?
True
Let q be (0 - -1)/(-28 + 4). Let m = -3/8 - q. Is -3/4 bigger than m?
False
Suppose -5*w + 150 = 3*l, 3*w = -w - l + 127. Let s = w + -38. Which is bigger: 4/7 or s?
4/7
Suppose 2*x + k = 6*x + 8, -4*k = -16. Which is smaller: 2/5 or x?
x
Suppose -6*o + 3*o - 77 = 4*r, 5*o = -4*r - 115. Is o < -14?
True
Suppose -4*f + 882 = 14*f. Are 54 and f nonequal?
True
Let q be ((-70)/(-56))/((-1)/101). Let i = q + 124. Let d = -15/4 - i. Is d equal to -2?
False
Let i = 733 + -733. Let k = 10483/47 - 223. Is i greater than or equal to k?
False
Let q be 6/(-8) + 0*(8 - 9). Is 15 <= q?
False
Let n(x) = x**3 + 6*x**2 - 3*x - 12. Let o be n(-5). Suppose o - 29 = -p. Which is greater: p or -1/11?
p
Suppose -7507*z + 7518*z + 726 = 0. Do z and -197/3 have the same value?
False
Suppose 12 = -2*u + 17*t - 22*t, -3*u - 7 = 2*t. Let b = 169/6 - 29. Is b less than or equal to u?
False
Let z be (-3)/((66/(-8))/(-11)). Is z at least -1?
False
Let c = 19544/1275 - 259/17. Which is greater: c or -1/3?
c
Let b = -16 + 16. Let h = b - 0.56. Is -1/4 greater than h?
True
Let h = 121.3 - 121. Which is smaller: -167 or h?
-167
Let a = -16 + 28. Let f be ((-9)/6)/((-428)/(-88) - 5). Is f >= a?
False
Let o = 13/87 + -35/493. Which is greater: o or 1?
1
Let y = -73 - -8. Let f = -71 - y. Is f less than or equal to 1?
True
Suppose -72*p = 13*p - 2125. Is 205/8 greater than p?
True
Let y be (-420)/(-18) + (-4)/12. Is 25 bigger than y?
True
Suppose 25 = 5*m - 0. Suppose -3*c + 31 = 4*g, -c = -m*g - 3 - 20. Let f = c + -14. Which is smaller: f or 3/11?
f
Let g = 2/3027 - 3705/8072. Which is bigger: g or -1?
g
Let n = 323 - 323.06. Does n = 65?
False
Suppose 5*t - 4*d - 40 = 0, -25 = -4*t - 3*d + 7. Which is smaller: 13/2 or t?
13/2
Let k be -3*(9/6*2 - 4). Which is smaller: k or 30/7?
k
Suppose 0 = -a - a + 5*s - 34, 3*a + 26 = -5*s. Which is smaller: -24 or a?
-24
Suppose 0 = -0*y + 5*y + 10. Let c = 7 - 9. Let h be (-5 - -3) + (-1)/c. Which is bigger: h or y?
h
Let o = -36 + 71. Let v = 35 - o. Suppose 5*u - 18 + 13 = v. Is u < -2/7?
False
Let i = -5.332 - -0.332. Are i and 0.034 non-equal?
True
Let q = -330.3 + 391.06. Let m = q - 61. Which is smaller: 1 or m?
m
Suppose -2*p = -6, 0 = 5*c - 29*p + 25*p + 232. Is -46 > c?
False
Let i = 6183/215930 + -1/1510. Do 0 and i have the same value?
False
Let x = -51 + -9. Let d be (16/(-20))/((-3)/x). Which is smaller: d or -17?
-17
Let u = 2.18 + -0.18. Let j = 0.09 + -3.09. Let f = j + 6. Which is bigger: f or u?
f
Suppose -4*x - 12 = 2*a - 0, 3*a + 8 = -4*x. Let d be (a*-3)/((-12)/16). Which is bigger: d or 18?
18
Let j(r) = 14*r + 2. Let q be j(-1). Let f = 10 + q. Let x be 2/(