Is q greater than or equal to -37?
True
Let v = 112 - 123. Let j(d) = d**3 + 13*d**2 + 22*d + 25. Let u be j(v). Are u and 23 equal?
False
Let o be (-3 - 1)*6*-37. Suppose 3*g + g = -o. Let b = g - -3328/15. Is b at most as big as 1?
True
Let x = 213.1 + -213. Which is smaller: -459 or x?
-459
Let n = 57 - 55.78. Let r = n + -0.12. Which is smaller: r or -3?
-3
Let d = -8524 + 6171375/724. Is 0 less than d?
False
Let a be 692/12 + 1 + 9/27. Is a bigger than 59?
False
Let n be 30/(-7) + (-6)/(-21). Let c be 36/(-27)*6/n. Suppose -15 = 5*d - 3*y - 2*y, -y + c = 0. Is -8/7 > d?
False
Suppose 3*c - 61 = 5*h - c, -3 = -h - 3*c. Let x = -43 + 35. Do h and x have the same value?
False
Let m(p) be the first derivative of p**3/3 - 3*p**2 + 7*p - 3. Let g be 5*(3 + -4)*-1. Let x be m(g). Which is bigger: 1 or x?
x
Let i be (16/(-18) - -1)/(2775/900). Which is smaller: -1 or i?
-1
Let o = -43 + 67. Suppose -7*t = -10*t + o. Is t greater than 4?
True
Suppose -4*o = 0, -19 = -2*p + 20*o + 13. Which is greater: p or 11?
p
Suppose 39 - 35 = -v. Are v and -4 equal?
True
Let v be 10/(2/(-1 - -3)). Suppose 4*p = -x + 8, 2*x + 3*x - v = -5*p. Which is smaller: -1/17 or x?
-1/17
Let a(q) = 6*q**3 - q**2 - q + 1. Let l be a(1). Let b(u) = u**2 - 3*u - 5. Let f be b(5). Suppose -f*r + 0*o - 3*o = -8, -24 = -2*r + 4*o. Is l equal to r?
False
Let a = 24632/113 + -218. Let d = -511/892 + 517485/705572. Let g = a + d. Is 1 less than g?
False
Suppose -3*n - 10*k - 555 = -7*k, -4*k = -n - 165. Are -181 and n equal?
True
Let v = -12 + 11. Let w be (-1 - v)*(8 - 9). Is -1 at least as big as w?
False
Let i be 5 - (9 + (-6 + 2 - 1)). Do i and -2/607 have the same value?
False
Let j = 34 - 37. Let w = 5 + -1. Suppose -4*o + 2*o = w. Is o at most as big as j?
False
Let g = -2139 + 1733. Which is bigger: g or -408?
g
Let l be (16 - 10)/(2/(-7)). Let y = l + 22. Which is smaller: y or -1/6?
-1/6
Let w be 28/6 - 2/(-6). Suppose v - w*s + 29 = 0, -4*v + 17 - 91 = s. Suppose -3*o = 2*a + 25, -3*a - 4*o - 26 - 14 = 0. Is v less than a?
False
Let a = 0.991 - -0.009. Is -111 < a?
True
Suppose 6*t = 12*t + 2*p - 8, 0 = 5*t - 5*p. Let v be ((-50)/17)/(-2) - 1. Are v and t non-equal?
True
Let z be (-39)/7 - (-5 + -1). Which is smaller: z or -1?
-1
Let f = -33.4 - -34.2. Is -9 <= f?
True
Let b = 291 + -410. Let r be ((-4)/(-32))/((-1)/951). Let o = r - b. Which is greater: -2/5 or o?
o
Let k = -7 - -14. Suppose k*x - 3*x = 0. Let v = 60 - 61. Is v less than or equal to x?
True
Suppose 0 = -7*d + 27 + 141. Let i(p) = 2*p + 1. Let b be i(2). Suppose -b*c = -4*f + d, 4*c + 2 = 2*f - 16. Which is smaller: 2 or f?
f
Let r = 0.6 - 4.6. Let l = -2389/12 - -199. Are r and l non-equal?
True
Let z be -1 - 0 - (-30 - 1). Let n be (-1 - 3) + (-3 - -38). Which is greater: z or n?
n
Let w = -20 + 18.8. Let k = 1.3 + w. Let l = -0.11 + 0.01. Which is bigger: k or l?
k
Let m = 16 - 23. Let x = 600933/20 + -30029. Let b = 69/4 - x. Which is smaller: b or m?
m
Suppose 3*l = 6, 5*l - 171 = -4*q + 31. Let z be 6/(-15) - q/(-45). Is z >= 1?
False
Let n be (-3)/5 - 6/15. Let s = n + 5. Suppose c = s*c + 21. Is -8 at least as big as c?
False
Let v = -385 - -409. Is v > 19?
True
Let q(b) = b - 1. Let i(a) = a**2 + 3*a + 7. Let f(u) = i(u) + 3*q(u). Let m be f(-2). Does -16/5 = m?
False
Suppose s = 4*h - s + 16, 0 = -4*h - 5*s - 2. Let d be h/36 - (-2)/(-8). Which is smaller: d or 0.23?
d
Suppose 3*h - 7 - 6 = -4*n, 3*h - 1 = -n. Suppose -p + 20 = n*p. Let t = 1031 - 4113/4. Which is smaller: t or p?
t
Let u be ((0/4)/(-4))/1. Suppose u = 4*x - 181 - 131. Suppose 3*s = x - 24. Is s <= 18?
True
Let w(l) = -l**3 + 15*l**2 + 18*l - 42. Let b be w(16). Let r(c) = -2*c**2 - 18*c + 29. Let a be r(b). Is a < 2?
False
Let l(m) = m**2 + m. Let g(y) = 2*y**3 + 18*y**2 + 7. Let a(d) = -g(d) + 5*l(d). Let b be a(-7). Which is smaller: b or 6?
6
Let k be (-154)/3 - 2/3. Let u(j) = -23*j + 131. Let l be u(8). Do l and k have different values?
True
Let z(n) = -2*n - 1. Let i be 3/(-12) - 21/12. Let x be z(i). Which is smaller: 5/2 or x?
5/2
Let m be 1*40 - -16*(-7)/28. Is 38 less than or equal to m?
False
Let j = 115/2 + -58. Is j >= -35/6?
True
Let m = 529 - 233. Let y be (-2)/(-12) + m/(-48). Let r be (-2)/(-6) - y/9. Which is smaller: r or -3/7?
-3/7
Let o be (-7 - -1)*2/(-6). Let k = -2 + o. Let p = 49735 - 49735.4. Is p >= k?
False
Let x be (-43)/(-3) - 4/(-6). Suppose -20 = -4*z, -5*s + x = 3*z + 2*z. Suppose -3*h + 18 = -4*h - 5*v, -5*h - 2*v = 21. Which is bigger: h or s?
s
Suppose 2*r = 2*f - 147 - 101, -2*r + 3*f = 251. Is r < -121?
False
Let l = -804 + 805.047. Let a = 0.047 - l. Which is bigger: -27 or a?
a
Let g be 8/2*(-6)/(-3). Let a(k) = -13*k**2 - 41 + 80 + k**3 - 40 + 5*k**2. Let y be a(g). Which is bigger: -2/63 or y?
-2/63
Let z(r) = 5*r - 5. Let g be z(2). Suppose 0 = g*h - 6*h. Is -2/101 at most as big as h?
True
Let h be (-28)/(-12) - (-1)/(-3). Suppose -4 = h*p - 3*p. Suppose 3*c + 135 = -5*y, -p*y - c - 121 = 4*c. Which is smaller: y or -23?
y
Let j = 3.14 - 3.24. Is 17/6 > j?
True
Let u(j) = -4*j + 3. Let k be u(2). Let v be (-77)/(-35)*k/6. Suppose 87 = 2*q + 93. Which is smaller: v or q?
q
Suppose 5*l - 5 = 105. Let g = -27 + l. Let q be 6/2 - (-18)/g. Is q greater than 4/7?
False
Let r be ((-180)/6885)/((-11)/9 - -1). Let g = -0.1 + -0.1. Are r and g non-equal?
True
Suppose 0*x - 3*x = 0. Suppose 2*q + 32 = 5*q + p, 0 = -3*q - 5*p + 40. Let w = 10 - q. Are w and x non-equal?
False
Suppose 14 + 36 = -5*o. Suppose 50 = 4*d - 58. Suppose 4*x = x - d. Which is greater: o or x?
x
Suppose -32*q + 52*q - 500 = 0. Let i be 4/10 + (-256)/(-10). Which is smaller: i or q?
q
Let f be (-24)/(-3) + -5 + -1 + -2. Let j = -11 - -15. Which is greater: j or f?
j
Let k be (-329)/(225/(-18) + 9). Which is bigger: 89 or k?
k
Suppose 3*m + 5*y + 31 = 5*m, 2*m + y - 1 = 0. Let r be (-8)/m*(-189)/(-12). Let n = r - -24. Is -19 at least as big as n?
False
Let c = 38 + -147. Let m = c + 198. Is 0 at most as big as m?
True
Let u = 2 + -16. Let w = u - -5. Is -10 less than w?
True
Let c = -7.8 + 0.8. Let i(z) = 3*z + 5*z - 5*z. Let d be i(0). Which is greater: c or d?
d
Let h be (12/(-10))/(804/60). Is h <= 1?
True
Suppose 2*w = 2*y - 2, 0 = -2*y - 3*w - 2*w + 9. Suppose -z = -2*z - 5*t + 13, -t - 4 = -2*z. Let f be (-11 - 0) + (z - y). Is f < -10?
False
Suppose -12*a - 2118 = 282. Is a smaller than -200?
False
Let k = -764 - -766. Which is smaller: k or -98?
-98
Let i = -412/11891 - 2/253. Which is bigger: -1 or i?
i
Let p = -20294396 - -17940250553/884. Let t = p + -86/17. Is 0 greater than t?
False
Let l be (5/(-55))/((-3)/33). Which is greater: 38/33 or l?
38/33
Let s(q) = 2*q**2 - 23*q + 26*q - 3 + 6. Let l be s(-2). Suppose l*b + 2 + 3 = 0. Which is smaller: 0 or b?
b
Let s = 14 + -5. Suppose 0 = 9*u - 12*u - s. Let y be -2 + -1 + 1 - u. Which is smaller: y or 2?
y
Let f be 2/7 - 915/5040. Is 1 at least as big as f?
True
Suppose 10*p + 17*p = 216. Is p greater than 15/2?
True
Let j = -78 - -62. Which is greater: j or 2/3?
2/3
Let q be ((-10)/8)/((-10)/1000). Is 125 at least q?
True
Let p = 31 - 12. Let y be ((-38)/(-6))/((-1)/(-3)). Is y not equal to p?
False
Let j = -2608 - -2608.3. Are -292 and j unequal?
True
Let o(g) = 2*g + 8. Let c be o(5). Is 17 less than c?
True
Let h = 0.334 - 10.034. Which is smaller: h or 1/5?
h
Suppose -205 = -2*u + 3*w, -u - w = -1 - 99. Are 98 and u equal?
False
Suppose -4*w + 6 = m, -4*m = -3*m + 2. Which is greater: w or 19/37?
w
Let s = -360 + 368. Is s smaller than 0.21?
False
Let q = -7 - -10. Let x be q/18 + (-116)/(-24). Suppose -3*h + x = -4. Which is bigger: h or 2?
h
Suppose 0 = 3*t - 142 - 41. Let o = t + -94. Suppose -2*h - 2 = -2*g - 6, -2*h + 5*g = -10. Is h bigger than o?
True
Let l(h) = -69*h + 727. Let n be l(11). Which is smaller: -18 or n?
n
Let m = 149 - 148. Let r be (10/(-25))/((-418)/10). Is m != r?
True
Let c = -1297 - -1296. Are c and 2/1677 non-equal?
True
Let f(x) = -x**2 - 2*x. Suppose 0 = -4*a - 4*s, -2*a - 12 = a - 3*s. Let b be f(a). Which is smaller: b or 6/5?
b
Let w(o) = o**2 + 4*o. Let m be w(-4). Suppose 2*r + m*r = 42. Let g = r + -21. Is g greater than 1/17?
False
Let f = -41 + 19. Suppose -25 = 3007*d - 3006*d. Which is greater: f or d?
f
Let u = 