37. Let r = i + -310/21. Let c = r - -2/3. Is c at most -6?
False
Let v be -2 - ((-1206)/680 + 0). Let l = -1595 + 135577/85. Let s = l - v. Is s at least 0?
True
Let z be (12/(-24))/(2/12). Suppose 3*h + 29 - 23 = 0. Is z <= h?
True
Suppose 10 + 15 = -5*b. Suppose -4*a - 16 = -0*a. Is a < b?
False
Suppose 0 = -7*y + 11*y. Let m = 0 + 1. Is m bigger than y?
True
Let w(l) = -l**2 + 3. Let o be w(2). Let a be 15*(-2 + 1014/(-95)). Let x = a - -190. Which is greater: x or o?
x
Let n be (-841)/(-232) - 6/(-16). Is n >= 7?
False
Let q = 0.46 - 0.16. Do -0.2 and q have the same value?
False
Let s = 19 - 18.96. Which is smaller: 0.2 or s?
s
Let v(y) = -2*y**2 + 4*y - 2. Let o be v(2). Let n(i) = -i**3 - 2*i**2 - i - 2. Let h be n(-2). Which is bigger: h or o?
h
Let l = 35 + -7. Which is smaller: l or 29?
l
Let n(i) = -i**2 + 7*i - 1. Let w be n(6). Let o(a) be the first derivative of a**3/3 - 5*a**2/2 + a - 1. Let f be o(w). Are 2 and f nonequal?
True
Let r = 4106/3 + -1411. Let w = -42 - r. Suppose 4*q - 24 = -5*l, l + 1 = 5*q - 0. Is w greater than or equal to q?
False
Let u = 5 + -4. Let o = -54 - -272/5. Which is smaller: u or o?
o
Let n = -5 - -10. Let k = 0.053 - -1.947. Which is smaller: n or k?
k
Let r be 0 - 1/4*-1. Let z = 22 - 22. Which is smaller: z or r?
z
Let j = 12 - 21. Let r = j + 0. Let k = 16 + r. Is 7 less than k?
False
Let k = 1 + 8. Which is smaller: k or 10?
k
Suppose 2*p + 7 + 3 = 0. Suppose -18 = 2*s + 2*q, 9*s - q + 33 = 4*s. Let v(l) = l**3 + 6*l**2 - 7*l - 4. Let y be v(s). Are p and y non-equal?
True
Let h be 2 - -3*(-2)/(-3). Let y be 12/30 - h/35. Let a = -63/2 + 31. Do a and y have the same value?
False
Let f = 4 - 2. Let s be 4/10*(5 - -5). Which is smaller: s or f?
f
Let f = -1/206 + 831/1442. Let a(d) = d**3 + 12*d**2 + 9*d - 13. Let r be a(-11). Let y(q) = -q**3 + 8*q**2 + 10*q - 9. Let z be y(r). Is f less than z?
False
Let f = -9.8 + 3.5. Which is smaller: f or 1?
f
Suppose z + z = 4. Let r = z + -5. Do -3 and r have the same value?
True
Suppose n + 16 = 5*n. Suppose 3*v + 2*o = -1 - n, v + 3 = -o. Let r be 110/(-880)*(1*2 - 0). Which is smaller: r or v?
r
Let i(k) = k - 1. Let o be i(1). Suppose 5*x = -o*x + 15. Suppose -x*s - 21 = 2*r + 2*s, 0 = -4*s - 20. Is 0.1 > r?
False
Suppose 19 = -5*b + 4. Let h be b + -2 + 2 + 2. Are h and -3 unequal?
True
Suppose 3*y + 2 = l - 2*l, -4*y = -2*l + 46. Are l and 1/4 unequal?
True
Suppose 2*s = -c + 7, 0 = -c - c - 2*s + 6. Let f be 56/35 - (c - -3). Is f greater than or equal to -8?
True
Let t(c) = -2*c + 11. Let p(k) = k - 6. Let s(n) = 7*p(n) + 4*t(n). Let j be s(2). Which is bigger: 2/15 or j?
2/15
Let v = 218/81 - 2/81. Let c be 7/2 - 2*(-5)/(-20). Which is smaller: v or c?
v
Let w be 1*4*(-5)/(-10). Let h be ((-5)/2)/(w/4). Which is bigger: h or 0.1?
0.1
Let a(i) = i**2 + i. Suppose 0 = -3*n + 2*f + 16, -3*n + 51 - 20 = -5*f. Let o be a(n). Suppose -21 = 5*b - o. Which is greater: b or -2?
-2
Suppose 0 = 5*l - 5*z + 10 + 15, -5*z = 15. Suppose 5*x + 2*p = -29, -3*p = 5*x - 2*p + 32. Is x smaller than l?
False
Let u(z) = 6*z + 4. Let v be u(-10). Is v not equal to -56?
False
Let m = 0.53 + -5.13. Let p = -5 - m. Let v = p - -0.7. Is -0.1 greater than v?
False
Let a = 4 + -10. Let g be a/21 - (-4)/14. Let c be (-2 - g)/4*-2. Is c != -2/5?
True
Let g be -3 + (4/2 - 0). Let m be (0 + g)*-4 - 0. Does 5 = m?
False
Let w(l) = -4*l - 6*l**2 + 0 + 7*l**2 + 0. Let g be w(5). Suppose 28 = j - g*j. Which is bigger: -6 or j?
-6
Let u = 0.6 - 0.5. Let j = -0.08 + u. Do j and 0.1 have different values?
True
Let o = 579/8 + -73. Let s = 1/8 - o. Let n = -6 - -8. Is s at most as big as n?
True
Let n = -14.2 + 8.04. Let a = -0.16 - n. Is a bigger than -1/3?
True
Let w(t) = t**2 - 2*t - 36. Let j be w(7). Let m be -1 + 2 + (-69)/51. Which is smaller: j or m?
j
Let z be 45/5*(1 - 2). Let u = z - -7. Let n = 2 + -4. Is u != n?
False
Suppose -4 = -s - 1. Suppose -c + 0 + s = 0. Suppose c*l = -l - 4. Are l and 0.2 equal?
False
Let p = 0.5 + -0.7. Let o be (-2 - 8/(-5)) + 0. Do p and o have the same value?
False
Let x = -5858/21 + 1563/7. Let l = -499/9 - x. Is l > 1?
False
Suppose 0 = 11*n - 8*n. Suppose -v + 6*v - 50 = n. Which is smaller: v or 9?
9
Suppose -4*u + 25 = u. Suppose -2 = -5*a + 4*m, -2*a + 5*m + 16 = u. Let g = -2.4 - -2.4. Is g at most a?
False
Let n be 18/(-297)*(2 - -1). Which is smaller: 2 or n?
n
Let b = 3 - 2.4. Let o = -0.6 + b. Let v = -0.1 - 1.9. Which is smaller: o or v?
v
Let c = 0 + 0. Let x = -2/41 + 100/369. Let d = x + -40/99. Is d at least as big as c?
False
Let p be ((-9)/6)/(15/(-70)). Suppose -9 = w - 4*j, -4*w + p*w = -3*j + 3. Which is smaller: 13 or w?
w
Let g = -2.1 - -2. Let s = -0.4 + 0.4. Let a = s - g. Which is greater: a or -0.1?
a
Suppose -4*c = -8*c - 8. Let m be c/(2*2/(-8)). Is 3 not equal to m?
True
Let s = 3 - 6. Let f = s - 1. Is -2/3 bigger than f?
True
Let j(l) = l**3 - 2*l**2 - 2*l + 3. Let f be j(3). Suppose 4*b + f = -2. Is b not equal to -5/4?
True
Let p = 103 + -91. Is p bigger than 0?
True
Let f be (-2 - -2)/((-2)/2). Suppose -4*p - p = f. Which is greater: p or 2/25?
2/25
Let a = -14719229/12 + 1227492. Let m = 889 - a. Let z = m - -1/3. Which is bigger: z or -1?
z
Let x = -1 + 1. Let o = -9 - -9. Do o and x have the same value?
True
Suppose n = -6*n. Let l be 64/(-210) - (-2)/5. Which is bigger: l or n?
l
Let s be ((-1)/6)/((-20)/16). Let d = 282 + -283. Which is smaller: d or s?
d
Let x = -12739/31 + 411. Is 0 less than or equal to x?
True
Let r = 5.5 + -6. Let h = 0.5 + r. Let q = 0.2 + h. Is -2 smaller than q?
True
Suppose -6*v + 264 = -18*v. Which is smaller: v or -24?
-24
Let s = -2711/230 + 117/10. Are s and -1 non-equal?
True
Let y be ((-30)/60)/(2 + (-5)/2). Is y < -2/211?
False
Let k be 7/(-2) - 3*-1. Which is smaller: k or -3?
-3
Suppose 4*z + 6 = -2*i, 3*z + 7 = -0*z - 4*i. Which is greater: z or -2?
z
Let j(h) = -h**2 + 6*h - 3. Let r be j(5). Suppose 4*z = -3*m - 15, -r*z - 25 = 3*z + 5*m. Which is smaller: z or -2/31?
-2/31
Let x = -67 + 50. Which is smaller: x or -2?
x
Let f be 384/66 + 2/11. Is 6 <= f?
True
Let q = 27 - 15. Let o be ((-10)/6)/((-4)/q). Let x be (-6)/o + (-2)/(-10). Is 4/9 at least as big as x?
True
Let s = 5 - 4. Let w be s*(-5 - -2) + 0. Is -0.1 >= w?
True
Let w(z) = z**3 - z**2 - 4*z + 1. Let l be w(0). Let s = 31462/65 + -484. Does s = l?
False
Suppose -3*x + 5*c = 4, -36 = 5*x - 0*c - c. Let z be 3 - 4 - 5/x. Which is greater: z or -1?
z
Let w be 1/((-4)/670)*(-4)/10. Which is smaller: 69 or w?
w
Let l be ((-6)/(-4))/((-3)/(-6)). Which is bigger: l or 9/4?
l
Let t = -0.1 + 0.2. Let j = 4/5 + -29/30. Which is smaller: t or j?
j
Let j(s) = -s - 3. Let l be j(0). Let c be (2/l)/((-8)/(-24)). Let t be (2 - 3) + 2 + c. Is t at least -3/4?
False
Let a = 2 - 1. Let u = 3 + a. Let p = u + -2. Are -2/5 and p unequal?
True
Let b(v) = -v. Suppose 3*g + 2*g = 25, -22 = 3*u - 5*g. Let y be b(u). Does y = 1/6?
False
Let i(w) = -2*w + 1. Let j be i(-2). Suppose h + 23 = 3*p, -j*h + 11 = -9. Does p = 7?
False
Suppose -7*q = -2*q - 10. Let f be (-6 + 1)*4/(-4). Suppose -p = -0*p + b, f*b = -p. Which is smaller: q or p?
p
Let j(o) = o - 8. Let x be j(4). Which is smaller: x or -6?
-6
Suppose -3*y = -0*y + 9. Let h = 1 + y. Are h and 0 non-equal?
True
Let m be ((-820)/(-42))/(-5) + 4. Is m != -1?
True
Let i be 4 + (-2)/2*2. Suppose -n - 3*b = -2, -b + 4 = 2*n - 4*b. Suppose -i = n*z - 6. Is z > 2?
False
Suppose -5*v = -2*k + 99 + 351, 180 = -2*v + 3*k. Let n be (-4)/(-18) + (-790)/v. Let o = n + -14. Are o and 0.1 equal?
False
Let c = -4 + 29. Let i be (-17)/5 + 10/c. Is i less than or equal to -3?
True
Suppose 12 = -4*h, 21 = 5*k - 2*k - 3*h. Suppose k = 4*b + 4*p, p - 13 = 3*b + 2*b. Which is smaller: b or -11/4?
-11/4
Let u be 3*1 - (3 + -4). Suppose 2*q = -2*q - u. Which is smaller: q or 1/11?
q
Let k(r) = -r**2 + 7*r - 17. Let j be k(4). Which is bigger: -37/6 or j?
j
Let l be (-76)/6*9/(-2). Let r = l + -273/5. Let x = r - 2. Is 0 >= x?
False
Let f be (-68)/(-374) - ((-492)/77 - 0). Which is smaller: f or 6?
6
Let v be 5*(-1 + 0 + 2). Let i(w) = w**2 + 2*w + 2. Let n be i(-3). Are v and n nonequal?
False
Let o be 1 + (-10)/(-36)*-2. Which is smaller: 1 or o?
o
Let c(r) = -3*r. Let h be c(14). Let d be 