 = 2/1179 - -35248/71919. Is q less than 1?
True
Suppose 5*n = 2*m + 3*n - 36, m - 5*n = 10. Is m < 81/4?
True
Let w(m) = -m**3 - 2*m**2 + 18*m + 13. Let b be w(-5). Does b = 10?
False
Let q = -318/5 - -2236/35. Which is smaller: q or 246?
q
Let h be (-14)/28 + (-2)/12. Which is bigger: -8/17 or h?
-8/17
Suppose 4*z - 5*u + 145 = 0, 5*z - 23 = 2*u - 217. Which is smaller: z or -22?
z
Let l(g) = g**3 + 2*g**2 + 3*g. Let m be l(-2). Let p be (m/(-10))/((-6)/(-18)). Let y(q) = -q**3 - 2*q**2 + 2*q - 1. Let d be y(-3). Are p and d nonequal?
True
Let w = 4556/21 - 217. Let c = -3.9 - -4.9. Is c <= w?
False
Let w = 1153 + -1078. Is 71 greater than or equal to w?
False
Let i = 2.166 + -0.166. Which is smaller: -1/7 or i?
-1/7
Suppose -2*z + 5*c - 12 = -45, c = -5. Suppose -t + 1 + 2 = -4*x, 3*x + 6 = 2*t. Suppose -3 = -4*y + t*u, -4*u = -z*y + 3 + 1. Which is smaller: -3/4 or y?
-3/4
Let g = 19 - 15. Let t(d) = d**3 + 5*d**2 - 9*d + 36. Let v be t(-7). Does g = v?
False
Let l be ((-9)/5)/(9/(-30)). Let m be (2/((-6)/63))/(9/l). Do m and -16 have the same value?
False
Suppose -8*f + 1544 = 1592. Let s(i) = -i - 8. Let x be s(-7). Let a be (2*-1 - 4) + x. Which is greater: f or a?
f
Let j = -1.9 - -2. Let s = -10971/7 - -1567. Is j not equal to s?
True
Suppose 32*y - 4*y - 7280 = 0. Which is smaller: y or 259?
259
Let s = 13 - 22. Let u(q) = -2*q + 10. Let l be u(10). Which is smaller: l or s?
l
Let z be ((-7)/4)/((-2)/(-32)). Let h = z - -8. Which is smaller: h or -19?
h
Let c = 129698/9 + -14425. Which is smaller: 0.1 or c?
c
Let n(w) = -w**2 + 43*w - 29. Let g be n(42). Is 13 bigger than g?
False
Suppose -11*c - 813 + 824 = 0. Which is bigger: 3/158 or c?
c
Let d be 0 - 1 - 26/(-28). Suppose 22 - 56 = 34*u. Which is smaller: u or d?
u
Let s = 1566 - 1562. Is s greater than 112/23?
False
Suppose 8*y + 2875 = -9045. Do y and -1491 have different values?
True
Let q be ((-963)/(-144)*4)/1. Which is smaller: q or 28?
q
Let q = 10 + 8. Let c = q + -17.89. Let g = 0.16 - c. Which is greater: 2/5 or g?
2/5
Let y be (0/(-10))/12 + 127 + -1. Is y greater than or equal to 126?
True
Let s = 0.23 - 0.23. Is -868 bigger than s?
False
Let l = 76/87 - 6/29. Let r(h) = -h**3 + h**2 - h + 2. Let a be r(0). Is a less than l?
False
Let x = 1.974 + -1.924. Let u(o) = -2*o**2 + 2. Let v be u(2). Does x = v?
False
Let f = -90 + 81. Suppose 6 - 1 = -5*z. Let c(q) = 7*q**3 + q. Let u be c(z). Are f and u nonequal?
True
Let n(j) = -j**3 - 12*j**2 - 11*j - 3. Let s be n(-11). Let h = 32 - 35. Is s less than h?
False
Suppose j - 2*m - 27 = 0, 3*j - 86 = 4*m + 3. Let i = -36 + j. Is -2/137 at most i?
False
Let a be 1 + 3/(-3) + 4. Suppose 95 + 39 = -2*p - 4*z, -a*p = -z + 277. Let o be 141/p + (1 - -1). Which is bigger: 1 or o?
1
Let m be 3760/1250 - 4 - -1. Is m <= 0?
False
Let b be 66/48*-6 + (-12 - -11). Is -10 at least as big as b?
False
Suppose 4*m - 118 = -2*x, 38 + 102 = 5*m + 4*x. Let b be 3/(-2 - 4)*m. Which is bigger: b or -17?
b
Let c(u) = -u**3 + 11*u**2 - 12*u + 28. Let b be c(10). Is 8 at most b?
True
Let l(q) = -139*q + 2. Let p be l(-3). Suppose 2*w - 439 = 3*d, -2*w + 0*d - d = -p. Let n = -2330/11 + w. Is 0.3 at least n?
True
Let m = 0.049 + -4.449. Let p = -4 - m. Let l be ((-35)/(-14))/(-5)*2. Is p > l?
True
Let l = 0.09 + -2.09. Let i = l - -7. Let o = i + -3. Is -2/17 bigger than o?
False
Let b(y) = 2*y**3 + 11*y**2 - 9*y + 5. Let k(p) = -p**3 - 10*p**2 + 9*p - 4. Let r(u) = 2*b(u) + 3*k(u). Let l = -9 + 16. Let c be r(l). Is c at most 11?
False
Let m be 4/24 + -4 + (-889)/210*-1. Let j = -2 - -3. Is m smaller than j?
True
Let c(o) = 3*o**2 - 33*o - 50. Let f be c(9). Which is greater: f or -102?
-102
Let b be 2 - (2 + -4)*1. Suppose -b*c + h + 3 = -9, 5*c - 15 = -h. Let o = 9 + -5. Which is smaller: o or c?
c
Let w = -8 - -11. Let o(k) = k**2 - 2*k - 2. Let p be o(w). Let a(s) = -s**3 + 5*s**2 - 8*s + 7. Let z be a(3). Are p and z non-equal?
False
Let d(c) = -c**3 - 5*c**2 - 1. Let h = 22 - 23. Let q be (32/40)/(h/5). Let l be d(q). Which is smaller: l or -18?
-18
Let k(b) = -23*b**2 - 55*b + 55. Let x be k(1). Is -189/8 less than or equal to x?
True
Let p(j) = j**3 - 3*j**2 - 3*j - 3. Let q be p(3). Let o(m) = m**2 + 9*m + 6. Suppose -13*x = 11 + 67. Let h be o(x). Is q less than or equal to h?
True
Let d be (-3 - 0)/(-21) - 153/(-105). Suppose 30 - 4 = 13*m. Is d at least as big as m?
False
Let y = -358 - -228. Let m = y - -131. Which is smaller: -2/495 or m?
-2/495
Let g be 21/9 - (-1)/(-3). Let i(q) = q**3 - 7*q**2 + 6*q + 2. Let r be i(6). Suppose 0 = 4*d - 5*v + r - 5, 2*d = 2*v + 4. Which is bigger: d or g?
d
Let u = -98 - -96. Let p(g) = -4 + 6*g**2 + 2*g**2 - 3*g - 4*g**2 - 5*g**2. Let y be p(u). Which is bigger: -4 or y?
y
Let j(z) be the first derivative of z**3/3 - z**2/2 + 4*z - 3. Let g(a) be the first derivative of j(a). Let o be g(1). Are o and 0 non-equal?
True
Suppose 0 = 5*x - 20, 0 = 3*d - x - 1 - 1. Suppose -t = -2*f + 35, -3*t + d = 5. Is f bigger than 16?
True
Let q = -0.38 - -0.18. Let m = q - 0. Is 2/5 equal to m?
False
Let g = 232 + -232. Which is smaller: -2/569 or g?
-2/569
Let c = 17 + -14. Let y = 561463 + -103870298/185. Let b = 10/37 + y. Is c less than b?
False
Suppose -172*h + 169*h + 48 = 0. Which is greater: h or 13?
h
Let v = 12 - 14. Let y = -1.8 - v. Is y < -0.1?
False
Let k = -19.9 - -20. Let u(g) = g**3 - g**2 + g - 5. Let z = 3 - 3. Let v be u(z). Is k < v?
False
Let z be (-406)/(-105) + (-4)/(-30). Let w(v) = -4 + v + 2 + 2 - z. Let r be w(6). Which is bigger: r or 3/2?
r
Let b(w) = -w + 1. Let s be b(-1). Let h be ((-8 - -2)/(-3))/(125/75). Is s at least h?
True
Suppose -41 - 127 = -7*b. Suppose 0 = -0*f - 8*f - b. Which is smaller: f or -2/3?
f
Let z be (-6)/(-42) + ((-8594)/(-4620) - 2). Is 0 > z?
False
Suppose -2*j - 2*i + 18 = -4, -3*i = -j + 23. Suppose 5*h = j - 4. Let n = 0 + 2. Is n smaller than h?
False
Suppose -11 = -3*u - 4*x, -2*u - 26 = -4*x - 20. Which is greater: -6/1279 or u?
u
Suppose 7*z + 141 = 22. Is -220/13 > z?
True
Let o = -261 + 543/2. Let b(s) = s + 8. Let p be b(3). Which is greater: p or o?
p
Let x = 98359/5001 + -2/1667. Let l(s) = -2*s**2 - 75*s - 384. Let q be l(-31). Which is smaller: x or q?
q
Let f = -159 - -172. Which is smaller: f or -5?
-5
Let d = 6352/6765 + -38/41. Which is smaller: d or -1?
-1
Let f be (1 - 0)*0*1/(-5). Is -0.05 < f?
True
Let a be 12/(13/(-2) + 5). Is a != -14?
True
Let t = -0.9 + 1. Let i be (-1016)/20 + (-1)/5. Let n be ((-2)/6)/(17/i). Is n less than t?
False
Suppose 5*c + 136 = c. Let k be 8/c*2/(-4). Let s(h) = -6*h - 73. Let v be s(-12). Which is bigger: v or k?
k
Suppose 0 = 2*z + 4*z. Let c(t) = 4 - 3*t**2 + t**3 + z*t**3 + 0 + 2*t - 3*t. Let h be c(3). Which is greater: 3 or h?
3
Let l = 23 - 22. Let t = 840326/6485 + 26/1297. Let o = -130 + t. Which is greater: l or o?
l
Let m(h) = 116*h - 102. Let k be m(2). Is 127 at least k?
False
Let v = -24.8 - -25. Let g = 8.2 - v. Let z = 8.2 - g. Is z less than or equal to 0.4?
True
Let h be 6/4*(-16)/(-6). Let w = 279 - 269. Suppose -w = -3*z - h. Which is greater: 3 or z?
3
Let q = 794 + -790. Let z(w) = w + 22. Let c be z(0). Let k be c/(-4) - 2/q. Does k = -8?
False
Let m(u) = -u - 3. Let s be m(0). Let c be ((-13 - -13)/3)/(-2 - (-5 - -2)). Which is smaller: c or s?
s
Let z = 0.126 + 0.004. Let r = -0.13 + z. Which is bigger: r or -14/3?
r
Let x = -143.92 + 117.3. Let p = x + -0.38. Which is smaller: 0 or p?
p
Let h be ((-1792)/88 - -20) + (-4)/(-11). Are h and -3/2425 equal?
False
Let q be (388/(-170))/((-654)/12). Let w = 2/85 - q. Which is smaller: -1 or w?
-1
Let w(o) = 3*o**2 + 83*o - 31. Let v be w(-28). Suppose -5*y = 12 + 23. Let s = -10 - y. Is s > v?
False
Let v = -1059/2 + 554. Suppose -85 = 4*u - 5*z, -z + 32 = -u + 10. Let h = u + v. Which is smaller: h or -2?
-2
Let y be (-1040)/(-3627) - (-8)/(-124). Which is greater: -126 or y?
y
Let c be (4 - -3 - 1) + -4. Suppose 3*x + 0*x - 2*l = 39, x - 21 = -c*l. Let d = -16 + x. Which is smaller: d or 2/9?
d
Suppose -28*x + 5 - 5 = 0. Which is smaller: x or 52/73?
x
Let n(h) = h**3 - 6*h**2 + 8*h + 3. Let o be n(4). Suppose 0 = u + o*f + 8, 5*f + 0*f = 4*u - 2. Is -1 at most as big as u?
False
Let d = -16939832/43605 + 2456/1615. Let w = d +