 = -97129/39 + r. Let v = c + 2/13. Which is smaller: v or -1?
-1
Suppose 3*v + 0*v + 4*u = 12, 0 = 4*v + 3*u - 9. Suppose -5*d + 0*d = 3*m - 6, -m - 3*d = -2. Suppose 0*c - 2 = -m*c. Is v at most c?
True
Suppose 3 = 5*w - 2. Which is smaller: w or 1/12?
1/12
Let h be ((-2 - 0) + 2)/1. Suppose 2*c + 12 = -5*b - 3, 0 = 2*c - 5*b - 35. Suppose 4*w - 2 + 1 = -f, 3*w = c*f - 5. Is w smaller than h?
False
Suppose -3 - 1 = 2*q. Let x be (q - (0 - 1)) + 13. Let o = x - 18. Is o smaller than -6?
False
Let n = -9.5 + 9. Let c = -0.5 + n. Are 2 and c nonequal?
True
Let n(f) = f**2 - 6*f - 5. Let v be n(7). Let d(m) = m**3 - 3*m**2 + 3*m - 2. Let k be d(v). Let u = 2 + -1. Which is bigger: k or u?
u
Let i = 73 - 38. Which is smaller: i or 37?
i
Let o(b) = b**3 - 9*b**2 + 8. Let v be o(9). Suppose 4*x = v*x. Is -1/11 at least as big as x?
False
Let a be 8/(-10) - (-1 - 1). Which is bigger: 2 or a?
2
Suppose 0 = 5*c - 8*c - 18. Let x = c - -8. Is x > 0?
True
Let l = -2 - -2. Let h = -0.3 + l. Which is greater: -2 or h?
h
Let o be 2/5 - 76/(-10). Suppose 5*u + 38 - o = 0. Let l = -4 - u. Is 2 < l?
False
Let m = -2.5 + 0.5. Let g = 1 - 0. Let t = g + -2. Does m = t?
False
Let a(q) = -3*q - 26. Let n(t) = -t - 9. Let o(h) = 3*a(h) - 8*n(h). Suppose 5*z = -46 + 6. Let k be o(z). Which is smaller: 4 or k?
k
Let g = 1169 - 91183/78. Is g at least as big as 0?
False
Suppose -5*l = -s, 0 = -2*l + l. Let t(y) = y + 5. Let g be t(-3). Is g < s?
False
Let v = 67 + -41. Which is smaller: 24 or v?
24
Let l(v) = v**2 + 0*v**2 - 2*v - 51 + 54. Let r be l(5). Which is greater: r or 17?
r
Let a = 268/5 + -54. Let n(p) = -p. Let z be n(2). Let b be ((-8)/(-12))/(z/3). Which is bigger: a or b?
a
Let c = -8 + 8. Suppose 5*m - 4*r = 12, 5*m = -r - 1 - 2. Suppose s = 1 - m. Which is smaller: s or c?
c
Suppose 0 = 5*f + 10, 2*f = d + 4*f. Is d >= -2?
True
Let s = 43 + -44. Let q = -1 + 2. Is q at most as big as s?
False
Suppose 0*m + 37 = m + 5*z, -5*m = -3*z - 45. Which is smaller: 13 or m?
m
Let s = -15 + 9. Let g be (-1)/((-5)/s + -1). Is 4 less than g?
True
Let z = 3.2 - 3. Let f = -0.38 - -0.08. Let j = f + z. Which is smaller: -2 or j?
-2
Let m = -108 - -106. Which is bigger: m or 0.1?
0.1
Let y(f) = 2*f**2 - 4*f + 3. Let d be y(3). Let w = d - 16. Let i be (-2)/7 + (-16)/w. Which is smaller: 1 or i?
1
Let l(w) be the third derivative of -w**4/24 - w**3 - 12*w**2. Suppose 0 = -4*v + 2 - 26. Let s be l(v). Does s = 2/11?
False
Suppose 4*s = -15 + 15. Which is smaller: 1/7 or s?
s
Let f be 4/2 - (-1 - -1). Let s be -1 + f + (1 - 0). Let k = s - 3. Is k at most -0.2?
True
Suppose -x - 5*l - 1022 = -4*x, -5*x = -2*l - 1716. Let i = x - 1727/5. Which is greater: -2 or i?
i
Suppose x + x = 4. Is x smaller than -5?
False
Suppose 2*z - 2*f = 16, 3*z - 2*f + f - 22 = 0. Which is bigger: 5 or z?
z
Let f = -0.044 - 0.056. Which is smaller: f or 37/5?
f
Let i = 7 - 15. Let u be ((-2)/i)/((-3)/(-8)). Are 0 and u non-equal?
True
Let k = -18 + 18. Let d be (-3 + 2)/(k + -1). Is d != 2/9?
True
Let n = -565/7 - -80. Does n = -1?
False
Let p = -1 + -1. Let b be (3 - (1 + p)) + 0. Which is smaller: -0.1 or b?
-0.1
Let z(r) = 2 + 0*r**2 + 0*r - 4*r + r**2 + 0*r**2. Let k be z(4). Suppose -5*i = -4 - 11. Is k at most as big as i?
True
Let q be (-20)/21*(-70)/30. Which is bigger: q or 3?
3
Let w be 13/(-26) - (-2)/(-4). Which is smaller: w or -1/6?
w
Let y = 150 - 1348/9. Is y greater than or equal to 7?
False
Let l = 22.5 + -23. Are 0.2 and l non-equal?
True
Let r = -17 + 17.7. Let y = -0.3 - r. Let k = y + -3. Is k smaller than -1?
True
Let a be ((-15)/50)/((-9)/(-12)). Which is bigger: -0.02 or a?
-0.02
Let j = 0.4 - 10.4. Let d = -9 - j. Are d and 2/7 unequal?
True
Let x = 72 + -71. Is 10/13 at most as big as x?
True
Let b = -0.2 - -0.4. Let s = -0.1 - -0.2. Let x = s - b. Which is greater: x or -1/3?
x
Let n be 1435/(-42) + 1/6. Let s = n + 168/5. Is s less than or equal to -1?
False
Suppose -2*h - 3*h = -3*a - 8, 12 = -2*a + 5*h. Are a and 6 equal?
False
Let n = 24 - 167/7. Let y(f) = -f**3 + 9*f**2 - f + 9. Let p be y(9). Is p < n?
True
Suppose 0 = 2*m + 4*k - 90, 4*m - 4*k - 183 = -m. Suppose 5*u - s = 33, 5*u + s - 4*s - m = 0. Suppose g - u*g - 20 = 0. Which is greater: g or -3?
-3
Suppose 4*j + 5*q = -29, -9 = 5*j + q + 1. Let w be 14/(-21)*3/2. Let t = w - j. Is t equal to 0?
True
Let p be 2/4*(48/(-4))/6. Suppose 2*j + 14 = 3*u, -2*u + u + 3*j + 14 = 0. Suppose u = 5*r - 3. Which is smaller: p or r?
p
Suppose -4*k = 4, -w - 15 = 5*k - 6. Let x be 6*3/((-9)/(-2)). Let f = w + x. Is -1/8 less than f?
True
Suppose 0 = -2*b + p - 1, 2*b + 2*p - 3 + 13 = 0. Let l = -4 + 1. Which is bigger: l or b?
b
Suppose -5*m = -9 - 31. Is m at least as big as 9?
False
Let n = 4.1 + -4.4. Let h = -3 - -3.1. Which is greater: n or h?
h
Let x(h) = 5*h + 1. Let m be x(1). Suppose 0 = 8*k - m*k + 2. Which is smaller: k or 6/13?
k
Let m be (3/(-8))/(18/(-8)). Which is smaller: -1 or m?
-1
Suppose 0*a - 4 = -4*a. Let f be (-3)/a*(-4)/24. Is 0 >= f?
False
Suppose 3 + 6 = -3*u. Let a(s) = s + 3. Let m be a(u). Which is bigger: m or 1/6?
1/6
Let m = -4 + -1. Let d = -7 - -10. Let n = m + d. Do n and 0.2 have different values?
True
Let q = -9.4 - -2.2. Let z = -7 - q. Is -2 at least z?
False
Let n = -469 + 3274/7. Is 0 < n?
False
Let c = -15 + 15.1. Let t = -2.1 - -2. Let w = c + t. Is w at least as big as 0?
True
Let h(l) = -l**2 - 4*l + 9. Let k be h(-4). Suppose -k = -q + 3*p + 1, 0 = -3*q + 3*p + 12. Which is smaller: q or -2/27?
-2/27
Let w(d) = -2*d + 10. Let f be w(-10). Let y be (-192)/154 - f/165. Which is greater: y or 0?
0
Suppose 5*q = -0*q + l - 4, 0 = -2*l + 8. Which is bigger: q or -2/71?
q
Suppose 5*l - 4*m - 2 = 9, m - 16 = -5*l. Suppose 4*x + x + 5*p = 10, -l*p = -2*x - 6. Suppose -3*g + 7*g = x. Is -1 less than g?
True
Let h(d) = d**3 - 2*d**2 + 5*d + 3. Let n be h(-3). Is n <= -56?
True
Suppose 3*h = -h - 8. Let s be (105/(-9))/5 - h. Is -1 > s?
False
Suppose -3*n + 22 = -5*x, 28 = x - 5*x + 5*n. Let u = x - 0. Suppose 0*b + b = -3. Which is smaller: u or b?
b
Let v = -178 + 170.7. Let j = v + 7. Let k = -0.1 + 2.1. Which is smaller: k or j?
j
Let k(r) = -r**2 - 14*r + 21. Let h be k(-15). Which is bigger: h or 3?
h
Suppose -21 = -4*m - 5*b, 5*b = -2 + 7. Let o be m/10*1*5. Let w be 12/3 - o*1. Which is bigger: -1/4 or w?
w
Suppose -w - 7 = 3*b, -8*w + 3*w - 21 = b. Let t(f) = -7*f - 3. Let l(z) = 10*z + 5. Let n(s) = -5*l(s) - 7*t(s). Let y be n(w). Which is bigger: -1/5 or y?
y
Let c be (-60)/(-12) + 0/2. Is c smaller than 4?
False
Let k = 86 - 173/2. Which is bigger: 0 or k?
0
Let m(b) = -b**3 - 11*b**2 - b - 14. Let t be m(-11). Let l = 11 + t. Let s be 4/10*5/l. Is s at most as big as -1?
False
Let h(i) be the first derivative of -i**2/2 - 18*i - 3. Let t be h(-10). Which is smaller: -9 or t?
-9
Suppose 5*l + 4*c = -4, 4*l + 3*c + 1 = -2. Which is bigger: l or -2/41?
l
Let t(n) = n + 1. Let w be t(6). Let v = -143 + 303/2. Let a = w - v. Which is smaller: -1 or a?
a
Let h = 3 + -4. Let y = -0.35 - -0.05. Let u = y + -0.7. Is u smaller than h?
False
Let j = -8 + 8. Let u = -2 - -2. Is j > u?
False
Let l = 8 + -10. Let r = -2 - -1. Is r equal to l?
False
Suppose u + 0 = -8. Let d(f) = -f - 8. Let c be d(u). Suppose 5 = -o, c = -4*w - o + 2 + 13. Is 5 equal to w?
True
Suppose 15 = 4*g - f, 2*g = g + 4*f + 15. Let r be (4/(-200))/(g/12). Is r less than 0?
True
Let z = -333707 + 99777503/299. Let f = 72/23 + z. Suppose -w = -4*w. Which is smaller: w or f?
w
Suppose 5*q - 3*q = 10. Suppose 15 = -b - 3*z, -q*z = b - 5*b + 25. Let s = -220/3 + 74. Which is bigger: b or s?
s
Let s = 6.99 - -0.01. Is s less than or equal to -4?
False
Let b = -11 + 14. Is b not equal to 3?
False
Let y be (22 - (-3 - 0))*-1 - -3. Are y and -22 equal?
True
Let r be (-2)/4 + 15/2. Let p(j) = -j**3 + 6*j**2 + 5*j + 3. Let a be p(r). Which is greater: a or -12?
a
Let f = -3550/7 - -508. Which is smaller: 2 or f?
f
Let u = -15 - -40. Suppose 5 = -3*q + 5*q + v, -5*v = -u. Does -1/4 = q?
False
Let n = 0.8 + -1. Let s be 45/2*4/2. Let q be s/(-66) - 2/(-11). Which is smaller: q or n?
q
Let f = -74.02 + 73. Let r = -0.02 - f. Which is smaller: r or 0?
0
Let f = -6 + 0. Which is smaller: -5 or f?
f
Suppose -3*x + 20 =