False
Suppose 4*l + 4 = 5*n + 22, -2*n = l + 2. Is l at least 40/27?
True
Suppose 168 - 53 = 5*l. Let m = 79 + -55. Which is smaller: l or m?
l
Suppose -2*p = -5*p + 9. Suppose 3*u - 127 = 2*o, -5*o + p = -4*u + 184. Let k = -427/11 + u. Which is greater: k or 0?
k
Let c = 1898 + -1899. Let a = 438/11 + -41161/1034. Which is smaller: a or c?
c
Let q = -266/55 - 4/11. Let g(x) = -12*x + 6. Let s be g(1). Is s at least q?
False
Let t(f) = -2*f**2 - 73*f + 155. Let j be t(-38). Is j less than or equal to 436/11?
False
Let v(u) = 2*u. Let p be v(10). Suppose 3*t - 48 = 2*s - 5*s, p = t + 2*s. Suppose -12 = -3*x, 0 = -3*i + 4*x - 5 + 22. Which is smaller: t or i?
i
Let x(b) = b**3 + 18*b**2 + 34*b + 31. Let m be x(-16). Suppose -a = -11 + 1. Let j be (m*3)/(225/a). Is -1 less than or equal to j?
True
Let p(o) = o**3 - o**2 - 2*o + 3. Let t be p(2). Suppose 2*q = -t + 5. Do 4/9 and q have different values?
True
Suppose 0 = -95*s + 98*s - 6. Which is greater: s or -153?
s
Suppose 17 = -2*g - 11. Let n = 5051/3 + -1698. Let m = n - g. Does -1 = m?
False
Let g = -78914/45 - -7911/5. Let l = g - -171. Which is greater: l or -0.1?
-0.1
Let s be ((-2)/13)/(1/3). Let n(g) = 3*g**3 - 2*g**2 + g. Let m be n(1). Suppose -3*x + 4*h = 20, 3*h + 2 - 17 = -m*x. Is s <= x?
True
Let l(j) = 44*j - 9. Let z be l(4). Let r = z + -1833/11. Which is smaller: r or 1?
r
Suppose 5*z + 1 = -2*m + 7, -9 = -3*m - 5*z. Let l(s) = -s**3 - 5*s**2. Let w be l(-5). Suppose m*i + i - 32 = w. Which is bigger: 9 or i?
9
Suppose -b = -2*b. Let l be (-5619)/(-102)*(-116)/6. Let w = 1065 + l. Is w smaller than b?
True
Let y(l) = -l**3 + 13*l**2 + l - 3. Let v be y(13). Are 1 and v nonequal?
True
Suppose 5*x - 2 + 7 = 0, 3*z - 8 = 5*x. Let a = 110 - 111. Let f = 1 - a. Do z and f have different values?
True
Suppose 14*s = 10*s - 1420. Which is bigger: s or -356?
s
Let p = 1/22 + -49/110. Let t = 0.9 - 2.5. Let q = t + -0.4. Which is bigger: q or p?
p
Suppose 33*q = 35*q + 5*k + 4, -q = 3*k. Is -21 bigger than q?
False
Let x = -739 - -738.9. Is 33 greater than or equal to x?
True
Let a = -10 - -11. Let l = -2 - 6. Let w = l + 2. Is a less than or equal to w?
False
Suppose -x = -11*q + 14*q + 36, -4*x + q - 79 = 0. Which is greater: 3 or x?
3
Suppose q + 3*q = x + 24, -2*x = 3*q - 7. Suppose 7*y = 4*y. Suppose -r - 5*w = -4*r + 13, y = 2*r + w. Which is greater: q or r?
q
Let a = -27 + 29. Let u be 5340/2675 - (-2)/(-1). Let c = 747/535 - u. Which is bigger: c or a?
a
Let l(a) = -a**3 - 11*a**2 + 4*a + 57. Let g be l(-11). Is 37/3 less than g?
True
Let h be (12/16)/((-3)/(-36)). Suppose -10*o + o - h = 0. Which is greater: o or 1/13?
1/13
Let v be -4*(-6)/(-120) - 412/(-10). Which is greater: v or 38?
v
Let h(j) = -2*j**3 + 2*j + 2. Let n be h(-3). Suppose -102 = -2*o + 4*t, o - 2*t = t + 52. Which is smaller: n or o?
o
Let c = 2/1313 + -2019/463489. Which is smaller: c or 0?
c
Let b be (-2)/6*((-760)/(-56) + -14). Which is greater: b or 21?
21
Let n = 19 - 9. Let y = 106.8 - 97. Let g = y - n. Which is smaller: -0.12 or g?
g
Let o be (21/1540)/(3/(-106)). Let h = o + 3/10. Let w = 4 - 6. Does h = w?
False
Let y be (-24108)/45 - 6/(-15). Let k = -528 - y. Which is greater: k or 2/5?
k
Suppose 0 = 3*k - 10 - 50. Let y be (-16)/k*15/(-6). Let f be 5/(-15) - 34/(-30). Which is smaller: y or f?
f
Let r = 0.148 - 12.148. Let p = -4 + 3. Is r < p?
True
Let z be (-1756208172)/(-954)*162/105. Let d = 2840230 - z. Let s = 2/265 - d. Is -1 < s?
False
Let u = -199 + 201. Let k be 5/((-5)/2) + 4. Suppose 2*g + 11 = -z, k*z - u = -g - 9. Are g and -4 nonequal?
True
Let b be 2 + (-69)/15 + 51/85. Which is bigger: b or -8/13?
-8/13
Let s be (-1 - 0 - -1)/1. Suppose 5*f + 0*f + 158 = 4*y, 0 = 5*y - 5*f - 200. Let j be (-11 - -8)*8/y. Is s less than j?
False
Suppose -88 = 4*o - 4*w, 72 = -3*o + 2*w + 6. Let u = 21 + o. Which is greater: -3/22 or u?
-3/22
Let o = 3 - -3. Let r = 37 - 38.01. Let j = -0.01 - r. Which is bigger: j or o?
o
Let o = -13 + 18. Suppose -o = -16*r + 15*r. Suppose r*d + 2*f = -11, 1 = 3*d + f + 8. Does -5 = d?
False
Let d = 43.9 - 42. Let w = -1.8 + d. Let v = w - -0.4. Is 0.1 != v?
True
Suppose -2*j + 146 = -b, -3*j - 2*j + b + 365 = 0. Which is smaller: j or 76?
j
Suppose 0 = -5*n + n + 176. Let m be 4/22 + 25/n. Let j be (-11)/(-9) + 116/(-522). Do m and j have the same value?
False
Let r(a) = -2*a + 5. Let l be r(4). Let y be (-2)/l + (-2384)/7140. Let t = y + -4/85. Which is bigger: 4 or t?
4
Suppose -n + 15 = -13. Suppose -3*i + 3 + 23 = 5*b, 2*i - 2*b = n. Let r be i/9*5/20. Which is smaller: -5 or r?
-5
Let q = -1286 + 1282. Let n = 1694/9 - 188. Does n = q?
False
Let w be (-6365)/(-4750) - 1/2. Which is smaller: w or 0?
0
Suppose -6*a + 1 = -29. Suppose 4 = -a*o + 5*j - 1, -4*j + 4 = 0. Are o and 1/3 equal?
False
Suppose -4*w - 4 = -0. Let o(f) = -f**2 - 4*f - 6. Let m(i) = -2*i**2 - 3*i - 4. Let k(s) = -3*m(s) + 2*o(s). Let x be k(w). Is 7/4 < x?
True
Let p be (-30)/(-2) + 3 + -3. Suppose 2*n - p = 7*n. Is n at most as big as -2?
True
Let k(v) = 0*v**3 + 4*v**2 + v**3 - 2 + 2*v**2 - 5*v. Let p be k(-6). Let l be 4/p - 99/399. Is 1 not equal to l?
True
Let y = -62 - -83. Let w be 111/y + 18/(-63). Is w greater than or equal to 5?
True
Let q(a) = 9*a - 9. Let y be q(-1). Suppose -31 = 5*v + 54. Is y at least as big as v?
False
Let c be 8/(-108) + 698*(-4)/216. Let t(h) = -h**3 + 3*h**2 + 3*h + 4. Let s be t(4). Suppose l + 4*l + 70 = s. Which is bigger: l or c?
c
Suppose 0*u - 5*u = 4*j + 192, 3*j - 135 = 4*u. Let w be (-37)/(4*1/4). Is u at least as big as w?
True
Let h = 10 + -40. Let u = -33 - h. Which is smaller: -2/3 or u?
u
Suppose -48*g - 50 = -38*g. Suppose a = -0*a. Suppose a = 5*t + 3*z + 45, 5*t + 7 = -2*z - 33. Which is smaller: g or t?
t
Let q be (-4)/(-8)*(-5 + -2 + 5). Which is greater: 27 or q?
27
Let w = -1798 - -565. Let k = w + 13513/11. Is -5 greater than or equal to k?
False
Suppose -8*f + 4*z - 16 = -4*f, -20 = -5*z. Let m(j) = -j - 3. Let g be m(-6). Suppose 0 = -0*u + 3*u + g. Is f at most as big as u?
False
Suppose 0 = 3*p - 6*p + 3*f + 12, -4 = f. Which is smaller: 9/50 or p?
p
Suppose 0 = -4*f - 11 - 37. Let o(v) = -v**3 - 11*v**2 + 11*v + 3. Let q be o(f). Let w be q/(-6)*(-4)/(-5). Is w >= 2?
False
Suppose 4*f + 20 = 5*s, -2*s + 5*f = s - 25. Suppose 2*n + 2*u + 10 = s, -4*n + 2*n - 3*u - 12 = 0. Let x = 16 + n. Is 0.1 > x?
False
Let h = -0.03 - 0.03. Let g = 2339 + -2342. Which is bigger: h or g?
h
Let a = 0.0559 - -1.9391. Let p = a + 0.005. Is 18 >= p?
True
Let x = -4 - 0. Let o = x - 5. Let m be o/6 + 5/2. Is m equal to -1/5?
False
Suppose 0*u + u - 5 = 0. Suppose 32 + u = -f. Let q = 26 + f. Is q <= -12?
False
Let h be 47150/575 - 6*(0 - 1). Which is smaller: h or 91?
h
Let p be -5 - ((-190)/10 + 11). Let j = 7 + -13. Is p equal to j?
False
Let t be (-2)/(-2) + (-8)/6. Let x = -94.6122 + -0.3178. Let l = -95 - x. Which is smaller: t or l?
t
Let a(t) = -t**3 + 8*t**2 + 9*t + 2. Let l = 18 - 9. Let c be a(l). Suppose 9 = c*m - f, f - 6*f = 5*m + 15. Does m = 7/6?
False
Let g = -818.9 - -778. Let y = 5.9 + g. Suppose -j - 3 = 2*d, 2*j + j = -4*d - 7. Are y and d equal?
False
Let t be (-7)/2 - 6/(-4). Let x be t/(-6)*-3 - 7. Which is greater: -0.1 or x?
-0.1
Let w = -956 + 959. Is -47 at most w?
True
Suppose 326 = 3*j + 4*b + 63, 180 = 2*j - 2*b. Which is greater: 88 or j?
j
Let n = 4.3 + -53.3. Let i = 35 + n. Let m = i - -12. Which is smaller: 5 or m?
m
Suppose -2*t - 4 = 20. Let j be (0 - -7)*(-3 - -1). Are j and t non-equal?
True
Let q = -31 + 16. Let h = -14 - q. Let z = h - 1/2. Is 0 at most z?
True
Let k = -0.5 + 2.5. Let f = 0.66 - -6.54. Let y = 4.2 - f. Is y > k?
False
Let d = -290 - -426. Are d and 0 non-equal?
True
Let t = 1/65 + 1493/130. Let z = -12 + t. Let f(j) = -j**2 + 2*j. Let q be f(2). Which is smaller: q or z?
z
Let j = 145/483 + -1/69. Let q(g) = 3*g - 8. Let x be q(4). Suppose -5 = -x*w - 9. Which is greater: w or j?
j
Let r = 35841 + -287233/8. Let x = -63 - r. Is x greater than -2?
True
Suppose 2*d - 200 = 3*k, k - 26 + 86 = -d. Which is bigger: k or -65?
k
Let l = 22 + -46. Let q(j) = 5*j - 50. Let h be q(5). Are h and l unequal?
True
Let j(c) = 7*c - 42. Let w be j(23). Is w != 118?
True
Let i(k) = 167*k**2 - 3*k 