. Is m > 1?
False
Suppose 0 = 2*q - 3*n - 37, -3*q = -3*n - 29 - 19. Let g be (-2)/q - 88010/(-837375). Let i = -2/609 + g. Is -1 less than i?
True
Let l = -0.5 - -2.5. Let f = -12.66 + -1.64. Let j = 14 + f. Are l and j unequal?
True
Let w = 4/189 + -194/3213. Let r = 6 + 3. Let c = -9 + r. Which is greater: c or w?
c
Let l = 552 - 52991/96. Which is smaller: 1 or l?
l
Let k = 0.1702 - 12.1702. Let u = 0.4 - 0.3. Is u at most as big as k?
False
Let s be -5*(2 - (-40)/(-25)). Let o(m) = 10*m + 17. Let r be o(s). Which is bigger: r or -5?
r
Let q(r) = r**3 + 2*r**2 - 9*r - 10. Let b be q(-4). Let x be (b/(-9))/(3/((-54)/(-4))). Do 6 and x have the same value?
False
Let s be 5*(0 + 3/(-7 - -4)). Let h be (1 - (-8 + 4)) + s. Let c be (35/17 + -2)*3. Which is smaller: h or c?
h
Let d(u) = -u**3 - 7*u**2 + 2*u - 47. Let l be d(-8). Which is smaller: l or -0.04?
-0.04
Suppose -3*p = -9, -23 - 8 = 5*r - 2*p. Let y(i) = i**3 + 6*i**2 + 6*i + 3. Let d be y(r). Let m(n) = n + 2. Let x be m(d). Is -3/10 not equal to x?
True
Let s(z) = z**3 + 15*z**2 + 27*z + 9. Let k be s(-13). Which is bigger: -39/8 or k?
k
Let v = 15/655672568 - -5135091172671491/453069744488. Let a = 11334 - v. Let u = -737/15893 + a. Which is bigger: -1 or u?
u
Let v = 313 - 349. Is v greater than -32?
False
Let a be 4*3/28*(-32)/6. Do 13 and a have the same value?
False
Let v(j) = 2*j - 6. Let u be v(6). Let r(k) = -5*k + 13. Let d be r(11). Let q be u/(-10) - d/35. Which is smaller: q or 1?
q
Let d = -40 + 24. Let o = d + 14.2. Let p = o - 0.2. Which is smaller: 0.2 or p?
p
Let v be ((-75)/(-20))/((-2)/8). Let b = v + 14. Is -2 bigger than b?
False
Let f be (-6)/363 - (6 + -6). Let d = 2 - 3. Which is smaller: d or f?
d
Suppose -2*s + 15 - 5 = 0. Suppose -2*r - 2*r = -76. Suppose -21 - r = -s*o. Which is greater: o or -2?
o
Let f = 0 + -0.46. Let a = f + -0.41. Let z = -0.13 + a. Is 1/19 less than z?
False
Suppose -c - c - 4 = 0. Suppose 6 = r - 0. Suppose 3*x = 5*y, 2*x - r*y = -2*y. Is x bigger than c?
True
Let w be (14*(-5)/(-30))/(1/(-11)). Let s = w - -26. Which is smaller: 0.06 or s?
0.06
Suppose x = -3*l - 11, -6*l = -l + 25. Do 12 and x have the same value?
False
Let u be (32/300)/4 + -8 + 8. Let q(t) = -t - 1. Let a be q(-1). Is a at most as big as u?
True
Let b = 39038/3 - 13445. Let d = -1027 + 1463. Let i = b + d. Is i greater than -0.1?
True
Let m = 866/5 - 1467/10. Let h = m - 26. Which is greater: h or 9?
9
Suppose 0*f - 2*f + 5*j + 24 = 0, 0 = -2*j. Let a be f/(-16)*(-2 + 1). Is 0 less than or equal to a?
True
Let z(w) = -w**2 - 11*w + 5. Let b(h) = h**3 - 2*h**2 - 11. Let y be b(0). Let n be z(y). Suppose 12*u + n = 11*u. Is u <= -4?
True
Let y = 23 + -21. Let a be y*4 - (2 - -1). Which is bigger: a or 36/7?
36/7
Let t(u) = 10*u**2 + 4*u + 3. Let w be t(-1). Let n = -441 - -445. Which is smaller: w or n?
n
Suppose 16 = 3*k - 14. Suppose -4*v + 9*v + 19 = h, 0 = 3*h - v - 29. Which is bigger: k or h?
k
Let k = 19 - 29. Let n = k - -8.5. Let s = 1.2 + n. Is -2 equal to s?
False
Let b = 18 + -16. Suppose -3 = -w - b. Let t be 287/(-98) + 2 + w. Is 1 bigger than t?
True
Let a = 73 + -104. Let n = 30 + a. Are n and 4 unequal?
True
Let u = -0.86 - -0.9. Let h = u - 1.04. Let v = 6 - 5.92. Which is greater: v or h?
v
Let d be 3/18*-22*33. Let v = 66 + d. Which is greater: v or -54?
-54
Let t be ((-1)/4)/((-12)/48). Which is smaller: t or 0?
0
Let n be (9 - 4)/165*-3891. Let l = 118 + n. Is l less than -1?
False
Let l = -7 - -4. Let z = -31.31 + 31. Let f = 0.11 + z. Is l > f?
False
Suppose -2*v = -6*v - 16, -4*c - 3*v = 448. Are -109 and c nonequal?
False
Let u = 13 + 1. Let o = -13 + u. Let j be (o/9)/(20/(-24)). Which is bigger: j or -0.2?
j
Let h = -906 - -908. Let g(z) = 3*z + 13. Let s be g(-6). Is h greater than s?
True
Let t = -21 + 25. Let p be 16/4 + t + -4. Suppose 0 = 5*q - n - 65, 35 + p = 3*q - n. Is 11 > q?
False
Suppose -2*n = n - 165. Which is bigger: n or 56?
56
Let a be 4 + 1010/150 - 11. Suppose 3*z + b = -1, -3*b - 2 = -4*z + 14. Is z < a?
False
Suppose v = -3*q - 74, -10*v - 4 = -14*v. Do -19 and q have the same value?
False
Let o = 2/1599 + -1613/11193. Let s = 0.2 + -0.1. Which is smaller: s or o?
o
Let b be (-13)/((-117)/(-54)) + 5. Which is smaller: -2/2751 or b?
b
Suppose 109 = -6*f - 35. Let v be (4/6)/(8/f). Suppose 6*k - 10 = k. Which is smaller: v or k?
v
Let g = -153279/8 - -19213. Let s = g - 53. Let a = 157 + -157. Is a != s?
True
Let h be 2/15 + (-103)/(-15). Let v be (-8)/(-28) - (-12)/h. Let p = -3.7 + 4. Is p at least v?
False
Let x = -0.059 - -27.059. Let g = -26 + x. Is 2/5 not equal to g?
True
Let f = 17 - 7. Suppose -f = -3*b + 2. Suppose 14 = 4*p - 2. Is p at most as big as b?
True
Suppose 8*h = 1173 - 93. Let y be 133/9 + 30/h. Is 15 greater than or equal to y?
True
Let y = -5/4 + 53/36. Let r = 3523/4 - 880. Is r < y?
False
Let m = -38.704 + 40. Let y = 1.31 - m. Is -1/3 at most as big as y?
True
Suppose 0 = -4*q + 12. Suppose g + 30 = q*g. Let p = -2 + g. Is 13 greater than p?
False
Let k = -0.009 - 100.991. Which is smaller: -0.2 or k?
k
Let c(i) be the second derivative of -i**5/20 - i**4/6 - 21*i. Let w = 4 - 6. Let d be c(w). Is d greater than or equal to 4?
False
Suppose -7*l + 780 = -5*h - 2*l, 5*l = -4*h - 633. Let w = -158 - h. Is -2/13 bigger than w?
True
Let z be (-104)/(-40) - (-56)/40. Is z at most as big as 9?
True
Let m(g) = g**3 + 11*g**2 + 8*g + 11. Let p be m(-4). Let a = -183/2 + p. Which is smaller: -1 or a?
-1
Let u(b) = 5 + 3 - b + 0*b. Let w be u(5). Suppose -4*i + 8*i = 3*o - 5, 2*i + 7 = w*o. Which is smaller: 4 or o?
o
Let w be (-21)/(-15) + 6/10. Suppose 3 + 1 = -w*i. Do 3 and i have different values?
True
Suppose -2*j + 5*w = 1, 4 = -4*w - 8. Let a = 1 + 2. Suppose 3*q = 5*l - 29, l + 2*l = a. Is j equal to q?
True
Let b(z) = -5*z + 23. Let d be b(-5). Let g be 6/(-8) - 1068/d. Is g greater than -23?
False
Let s be (1/(-6))/((-2)/(-4)). Suppose 2*x - 6*x = -8*x. Does s = x?
False
Let o be (3 - -1) + -1 - 0. Let m be (-3)/o - (0 + -4). Suppose 3*t - 2*w - m = 0, -3*w + w = -4*t + 6. Which is smaller: 1 or t?
1
Let v = 3809/110 + 523/22. Which is greater: 57 or v?
v
Let j = -202 + 366. Is 164 greater than j?
False
Let d = -158/7 + 2837/126. Let g(x) = -5*x - 40. Let r be g(-7). Let j be (r/10)/((-2)/4 - 0). Which is smaller: j or d?
d
Let o be (10 + 824/(-84))/((-4)/6). Is o < -4?
False
Let w = 5.2 + 8.7. Let n = w - 71.9. Which is greater: n or 0?
0
Suppose -22 = -o + r, 0 = 3*o + 7*r - 2*r - 82. Let k be o*(-1 - (-6)/4). Let b be ((-2)/8)/(k/(-48)). Which is bigger: -5 or b?
b
Let t = -2406 + 12089/5. Which is bigger: 12 or t?
12
Let d = 237.9 - 205. Let r = d + -2.9. Let s = -28 + r. Which is greater: 2/5 or s?
s
Let u(w) be the third derivative of w**6/120 - w**5/30 + w**4/24 - 10*w**3/3 - 13*w**2. Let r be u(0). Is r not equal to -20?
False
Suppose 21*x - 10*x + 374 = 0. Which is smaller: -31 or x?
x
Suppose -m = -5*x + 2*m - 8, -5*m = -5. Let i = x - -1. Let z be (2/1)/(i - 1). Which is smaller: -1 or z?
z
Let d be (3/(-6))/(2/(-96)). Suppose 0 = 10*y - 28 - 72. Let r be 4 + -2 - d/y. Which is smaller: r or -2?
-2
Let j = 0.2 - -1. Let y = -2.2 + j. Suppose -32 = 3*m + g, m + 4*g = -3*m - 56. Which is smaller: m or y?
m
Let v(t) = -t - 2. Suppose 5*f = 9 + 11. Suppose 3*i = 4*l, -i - 12 = f*l + 4. Let q be v(l). Is 1/13 > q?
False
Let n = 2902/9 - 322. Let a be (-3)/(5 - 2)*-1. Let k be (0 + 1)*(a - 0). Which is smaller: n or k?
n
Let s = 18 + -14. Suppose 4*p - s*z = -16, 3*p = 4*p + z - 6. Suppose -2*i - 2*m = 3*i - 5, -m - p = -i. Is 0.08 bigger than i?
False
Let h(v) = -v**3 - 7*v**2 - v - 4. Let p be h(-7). Let k(b) = -17*b - 2. Let l be k(5). Let r = l - -177/2. Is p bigger than r?
True
Let u(i) = -i**2 + 10. Let a be u(-8). Let p be 4256/(-80) - (2/5)/(-2). Which is smaller: a or p?
a
Let t be (-4*1/(-6))/(4/6). Let u be (-28)/3 + 7 - -3*t. Let j = 1 + -1. Is u < j?
False
Suppose 4*m = -10 - 6. Suppose -3*b = -4*b - 2. Let z be 18/m*b/3. Is -1 less than or equal to z?
True
Let y be (-2 - -2 - 0)/2. Suppose y = -3*r - r + 4. Is r not equal to 1/22?
True
Let b be (92/10)/2 - (-6)/15. Suppose -12 = b*o - o + 3*c, o - c - 4 = 0. Is 20/19 at least as big as o?
True
Suppose x - c + 16 - 2 = 