= -5*k. Suppose -11 = 2*r - k. Let h(o) = o - 8. Let w be h(4). Is w less than r?
True
Let k = -37 - -39. Suppose -t - t + k = 0. Is t less than 6?
True
Let h(o) be the second derivative of o**4/6 + 2*o**3/3 + o**2 + 10*o. Let l be h(-3). Suppose 0 = p - l*p - 35. Are p and -5 equal?
True
Let j = -3.4 - -3.5. Is 0.102 < j?
False
Let z be (-6 + 5 - -36)*(-2)/(-5). Suppose -4*g + 28 - 66 = 2*a, g - a = -z. Is -14 at most as big as g?
True
Let z be -102 + -4 + (-3)/(-3). Suppose -3*p = 9, -6*i - 4*p = -10*i - 404. Which is smaller: z or i?
z
Let v = 0.05 - 0.2. Let t = 17480 - 17486. Which is bigger: t or v?
v
Let k(d) = -d**3 + 8*d**2 - 4. Let m(h) = -1. Let q(t) = k(t) - 5*m(t). Let g be q(8). Is g less than -1/45?
False
Let r = -33 + 39. Suppose r*d + 0 = 6. Which is bigger: d or -3/26?
d
Let x = 187/105 + -26/15. Suppose -k = 4 - 5. Suppose k = 4*o - 3. Is o not equal to x?
True
Let p = -169 - -230. Which is smaller: p or 62?
p
Suppose 3*n = 4*h + 20, -4*n - 3*h + 25 = -8*h. Suppose 0 = -2*j - 5*u - n*u - 95, -10 = 2*u. Let l = -33 - j. Is 0.1 at least l?
False
Let j be (-4 - 2)/(-3*(-5)/15). Let v be (7 + -4)*(-4)/j + -1. Let q = 2/37 + 68/111. Does q = v?
False
Let u = -12.16 - -0.16. Let a = u + 12.9. Let s = a - -8.1. Which is bigger: s or 0.1?
s
Let l = -0.385 - -2.655. Let d = -0.27 + l. Let s = -141/143 + 10/11. Which is bigger: s or d?
d
Suppose -10 = -2*m, -5*w = -10*w - 2*m + 790. Is w smaller than 156?
False
Let s = -985 + 1757. Is s greater than or equal to 1/2?
True
Suppose -5 = -2*o + 15. Let b be (o/4)/((-1)/(-2)). Suppose 4*v - 9 + b = 0. Which is smaller: v or -4/15?
-4/15
Suppose 2*g = -q + g + 3, 3*g = -4*q + 8. Is q > 12/43?
False
Let f(t) = -2*t + 53. Let c be f(11). Which is smaller: 42 or c?
c
Let m(b) = 6*b + 203. Let h be m(-34). Which is smaller: h or -4.6?
-4.6
Let m(k) = 9*k + 9. Let u be m(7). Suppose -l = -4*l - u. Is 1 smaller than l?
False
Suppose -364 - 209 = -g + r, 3*r = -15. Let m = -13066/23 + g. Is 0 less than or equal to m?
False
Suppose 0 = 20*l - 22 + 42. Which is smaller: l or -414?
-414
Let w(g) = g**3 + 3*g**2 - g - 2. Let b be w(-3). Let s be (b/(-4))/((-6)/(-6)). Let a = -30 - -31. Is s at least as big as a?
False
Let b(s) = -2*s - 5. Let m be b(-5). Suppose -m*a - 16 - 29 = -5*d, 6 = 2*d. Which is greater: a or -10?
a
Let q be (-142*(-4)/336)/(14/(-22)). Let x = q - 1/98. Is x at most as big as -2?
True
Let d(j) = 4*j**2 + 50*j + 38. Let l be d(-9). Do 1 and l have different values?
True
Suppose 5*n - 3*q = -0*q + 22, q + 4 = 0. Let c be (-2)/(n*-4) + (-46)/(-8). Does c = 10?
False
Suppose -15*i - 712 = -23*i. Is i at most 89?
True
Let h = 160475/44 - 3647. Which is bigger: 0 or h?
h
Suppose 0 = -2*l - 5*c - 54, 108 = -2*l - 2*l - c. Let h = l - -26. Is -6/7 >= h?
True
Let x be ((6/(-99))/(-1))/((-125)/45). Let d = -9942/1925 - x. Which is smaller: -4 or d?
d
Let z(k) = -5*k - k - 18 + 4*k + k. Let t be z(-3). Which is greater: -18 or t?
t
Let z = -28.1 - -28. Let p = -1.9 + z. Which is smaller: 0.4 or p?
p
Let g be 6 + (679/(-63) - -5). Is g < -1?
False
Let c = 0.286 - -0.114. Is c smaller than 3/5?
True
Suppose -x = -12 + 2. Suppose -x*b + 14*b = 0. Which is smaller: 2/19 or b?
b
Let g = -176 + 175. Are -127 and g nonequal?
True
Let p = 3.62 - 4.62. Does 550/9 = p?
False
Let f = -0.1 - -0.2. Let h = -1128 + 1127.86. Is f at most as big as h?
False
Suppose -4*l = -3*l - 8. Let p = l + -14. Let m = -1 + -6. Is m <= p?
True
Let h(i) = i**2 - 5*i - 4. Let p be h(5). Let q be (p/(-5))/(6/(-15)). Is q not equal to -10/13?
True
Let l(s) = s**3 - 51*s**2 - 109*s + 183. Let t be l(53). Suppose 9*m = 4*m + 120. Is m >= t?
True
Suppose -16*x + 0 - 176 = 0. Which is bigger: x or 12?
12
Suppose 3097*t + 3 = 3096*t. Which is smaller: t or -53?
-53
Let t be (970/(-72))/((-34)/(-16)). Let k be 118/(-18) + (1 - (-2)/(-3)). Let q = k - t. Which is smaller: 0.2 or q?
q
Let a be 58/3*(-12)/8. Let j(q) = 10*q + 62. Let w be j(-9). Is w less than or equal to a?
False
Let l be (-12)/(-8)*6/(-9)*1. Which is smaller: 1/750 or l?
l
Let r be 1/(((-19)/716)/(-19)). Are r and 715 nonequal?
True
Suppose 35*c = -29 + 99. Let r = -62 + 32. Let q be (-74)/r - (-2)/(-3). Is q at least c?
False
Suppose b - 3*b = -4. Suppose -b*z - z = 0. Let u = -4.86 + -0.14. Is u bigger than z?
False
Suppose -z = -2*z + 3. Suppose 0 = -5*y - i - 17 + 68, 0 = -z*y + 2*i + 28. Let w be (1/(-40))/(8/y). Is 1 greater than w?
True
Let q = -16 - -17. Let v = 2033041/11 + -184691. Let s = v - 131. Is q at most as big as s?
False
Suppose 8 + 65 = -12*y - 23. Let m = 2 + -9. Is y != m?
True
Suppose -5*i - 45 = 4*c - 16, -c = 3*i + 9. Let b be (2/84)/(c/24). Is b at most 0?
True
Suppose -2*o = -5*u - 8, 2*o + o + 2*u - 12 = 0. Let f be (((-2)/1)/2)/(4/8). Let v be 18/(f/(-1)) - 4. Is v > o?
True
Let m(o) = -o**2 + 8*o - 3. Let y(z) = 4*z**3 - 6*z**2 + 7*z - 6. Let a(u) = u**3 - 1. Let b(c) = -3*a(c) + y(c). Let r be b(5). Let n be m(r). Does n = 4?
True
Suppose -5*i + a = -0*a - 14, -28 = -4*i + 5*a. Suppose -i*j - q + 29 = -0*q, 57 = 4*j + q. Are j and 13 nonequal?
True
Suppose 36*i - 34*i - 10 = 0. Suppose -4*v + i*v - 6 = 0. Suppose 5*n = 2*n + v. Does 3 = n?
False
Suppose 0*u - 16 = -4*f - u, -3*f + 5 = -u. Suppose 4*t - 3 - 16 = -5*m, 0 = 3*m + f*t - 12. Let s be 20/5 + (m - 2). Is s less than or equal to 4?
False
Suppose -4*p + 6 = y - p, p = -2*y + 2. Suppose y = 16*t - 19*t - 18. Let d = 4 + t. Is d > -5?
True
Let g be 16/(-128)*(-16)/(-20). Let w = -12 + -13. Let p be (-2)/20*w/10. Which is bigger: g or p?
p
Let p = -1664 - -1740. Which is bigger: p or 77?
77
Let k be 24/(-16) + (-3755)/(-50). Are k and 75 equal?
False
Let q = -1/1494 + -4349/198702. Is 0 < q?
False
Let d = -11 - -11.015. Let x = d - -1.035. Let w = -0.05 + x. Are w and -2/7 nonequal?
True
Suppose -u + 2*u - 9 = 0. Let f = u - 5. Let h = -83 + 86. Is f at most as big as h?
False
Let c(b) = -2*b**2 + 9*b + 2. Let s = -5 + 10. Let o be c(s). Which is smaller: o or 2/13?
o
Let d = 141 + -141.81. Let u = d - -0.71. Is u not equal to -43?
True
Let z = 21/4181 + -16452319/16724. Let o(f) = -35*f**2 + 47*f. Let c be o(6). Let t = z - c. Which is bigger: t or -5?
-5
Let j(v) = v**3 + 11*v**2 - 9*v - 10. Let a(d) = -d**3 - 12*d**2 + 9*d + 11. Let i(b) = 5*a(b) + 6*j(b). Let k be i(-8). Which is smaller: -60 or k?
k
Let d = -9.3 - -9.4. Which is smaller: 1.7 or d?
d
Let y = 86/15 + -5833/1020. Let w = 19 + -19. Is y at least w?
True
Let a(l) = -6*l - 82. Let p be a(-14). Does 5/9 = p?
False
Let v = 0.109 + 5.891. Is -31 at least v?
False
Let q be 11 + 7/(63/(-90)). Let v = -101/299 - -6/23. Which is smaller: v or q?
v
Let g(d) = -3*d**3 - 4*d**2 - 3. Let s(y) = 7*y**3 + 8*y**2 - y + 5. Let k(h) = -5*g(h) - 2*s(h). Let x be k(-4). Are -1 and x unequal?
True
Let y = -37.2 + 37.2. Is y <= 10.3?
True
Let b(p) = 3*p - 6. Let c be b(4). Let s be 87/c*(-4)/2. Let q = s - -30. Is -2/35 smaller than q?
True
Let c be (2 + 5/(-3))/((-623)/(-21)). Do -1 and c have different values?
True
Let y be (-1)/(-2) + 9/2. Let f(w) = -13*w + 70. Let o be f(5). Is y less than or equal to o?
True
Suppose -20*g - 72 = 52*g. Which is greater: 566 or g?
566
Suppose 3*l - 5*l + j = -2, -2*l = j + 6. Let n = -7 + 125/18. Do l and n have different values?
True
Let u be (236/(-6))/(428/(-60) + 7). Is 294 at most u?
True
Let j be 55 + (-11)/((-44)/(-8)). Which is smaller: j or 51?
51
Let q = -67.5 + 67. Is -29 bigger than q?
False
Suppose -8*w + 7*w + 28 = 5*k, -2*k - w + 13 = 0. Suppose 5*h - 4*h = -3*z, -5*z = -2*h. Is z smaller than k?
True
Let s be (-1)/5 - 11508/210. Which is greater: s or -54?
-54
Let f(g) = g**3 - 4*g**2 + 9*g + 2. Let c be f(3). Let l be ((-10)/12*-9)/(3/c). Is l greater than or equal to 50?
True
Suppose 2*w - 3 = -3*c - 7, -w = -2*c + 2. Is -3 bigger than w?
False
Suppose 4*v = -3*g - 2*g - 23, -5*v - 16 = 2*g. Let d be v/(0 + (1 - 2)). Let a = 2 + -3. Which is smaller: d or a?
a
Let u = -34.3 - -35.3. Which is smaller: u or -68?
-68
Let m be 2 - ((-178)/(-6) + -4)*-24. Let p be (m/321)/2 + (-8 - -7). Is 0 bigger than p?
True
Suppose 0 = -4*p - 2*v + 16, 4*v - 2*v = 4*p. Suppose -4*x = p*y + 12, -x - 3*y - 5 = 3. Which is greater: -11/5 or x?
x
Let x = -0.04 - -2.44. Let s = 2.5 - x. Which