 to -37/5?
False
Let v = 0.95 + -0.9. Is v at least 11?
False
Suppose 4*a - 31 = -87. Which is smaller: -13 or a?
a
Let a = 43/704 - 1/64. Is 1 smaller than a?
False
Let b be (-476)/2580 - 1/(10/(-2)). Are 0 and b non-equal?
True
Let u be ((-8)/10)/(-2)*1. Let z = 2 - 0. Suppose -3*n = z*n. Are u and n equal?
False
Let r = 1.95 + 0.15. Let x = r + -2. Is 5 at most x?
False
Suppose 2*x - 1 = 3*x. Which is bigger: 1 or x?
1
Let v be -10 + 12 - 60/14. Is v < -2?
True
Let n = -7 - -11. Suppose -2*a = 4*q - n*a + 20, 2*a + 10 = -q. Let r = -8 - q. Which is smaller: -6/11 or r?
r
Suppose -j + 0*j = 0. Suppose -2*u = f + 9, 5*u + 45 = 5*f + 15. Which is smaller: j or f?
j
Let r be (0 + 2)/(2*-1). Let h(v) = 2*v**2 + 0*v**3 - 1 + 3*v**2 + v**3. Let f be h(-5). Is r greater than or equal to f?
True
Let g be (-6)/4 + 42/(-4). Let y be (g/(-12))/((-6)/14). Is y greater than or equal to -2?
False
Let y(n) = n**3 - 5*n - 2. Let h be y(4). Let v = 78/11 + -2711/55. Let t = h + v. Is -0.2 greater than t?
False
Let u = -2 - -2. Let v be 8/(-28) - 5/56. Is v equal to u?
False
Let c = -0.29 - -1.39. Let r = c + -0.1. Let j = 28 - 24. Are j and r non-equal?
True
Let d = -9 + 4. Let h = d + 4. Which is smaller: 2/5 or h?
h
Let d(k) = k + 3. Let s be d(-4). Let b(x) = x**3 - 20*x**2 + 18*x + 17. Let t be b(19). Is t equal to s?
False
Let u be ((-10)/(-20))/(21/(-4)). Which is bigger: -1 or u?
u
Suppose 3*h = -h. Let y be ((-3)/(-4))/((-4)/762). Let r = 285/2 + y. Which is bigger: r or h?
h
Suppose -4 = 5*n + 6. Let b(a) = a - 3. Let i be b(0). Is i at most as big as n?
True
Let g(l) = l**2 - 4*l + 3. Let b be g(2). Let k(o) = 156*o - 2. Let p be k(2). Let i = 4032/13 - p. Is b smaller than i?
True
Let j = -1006/9 - -114. Which is smaller: 1 or j?
1
Let t = 72.9 + -72. Which is smaller: t or -5?
-5
Suppose 61*q - 66*q + 70 = 0. Is q >= 15?
False
Let w = -0.25 + -0.07. Let v = w + 0.02. Which is smaller: 1 or v?
v
Let r be 27/(-63) - 442/(-280). Let a = r - 3/4. Which is greater: -1/6 or a?
a
Suppose -4*i - 46 = 2. Let d = -7 + -7. Which is greater: i or d?
i
Let b = -28 - -27. Are -1/6 and b unequal?
True
Let c be (-87)/58 - 7/(-2). Which is bigger: 36 or c?
36
Let y = 25 - 24.9. Is 7/9 less than y?
False
Let k = -86 + 87. Which is bigger: 67 or k?
67
Suppose r - 18 = 5*y, 2*r + 3*y = -2 - 1. Let j = 7 + -4. Is j > r?
False
Let k be (-1*1)/(2/(-6)). Let w be -107*k/(-558) - 1. Let i = w - -8/31. Which is greater: i or 1?
1
Suppose g - 5*w + 3 = -0, 0 = g + 4*w - 6. Suppose 3*t - g*l - 2*l - 212 = 0, -5*t = -5*l - 345. Let k be (-8)/(-4) + t/(-34). Which is smaller: k or 1?
k
Suppose 10*s - 3*s = 7. Is s at most as big as -0.16?
False
Let v = -15 + 15.2. Which is smaller: -1 or v?
-1
Suppose 5*p + 4 = -4*b + 13, -15 = -3*p. Suppose 0 = -3*o - 24. Let d be b/o + 2/4. Is d < -4?
False
Suppose 509 - 139 = 5*d. Is d bigger than 74?
False
Let c = -11438/55 + 208. Is 0 bigger than c?
False
Let b(u) = -u**3 + 6*u**2 + 8*u - 3. Let k be b(7). Suppose 0 = k*y - 2 + 54. Which is bigger: 0.1 or y?
0.1
Let b = 861/1384 - -1/346. Is b smaller than 0?
False
Suppose 0 = -k + 2, v = k + 1 - 4. Which is smaller: -5/6 or v?
v
Let w be (72 + 3)*(1 - 0). Let v be 1 + 5/(w/(-42)). Let n = 23/10 + v. Which is bigger: 0 or n?
n
Let o = 110 + -121. Is -9 not equal to o?
True
Let x = -2 + -2. Let a = -3 - x. Which is bigger: 6/11 or a?
a
Suppose 4*t = -5*v + 18, 3*v + t = -0*t + 8. Suppose -v*f + 3*f + 20 = 0. Let h be (1/f)/((-4)/(-8)). Does h = -1?
False
Let s(l) = -l**2 - l + 5. Let t be s(0). Let z be -1 - (-1)/1*t. Suppose -r - z*d - 30 = -11, 2*d = 4*r - 14. Do r and 1 have different values?
False
Suppose -5 = 4*g - 13. Which is bigger: -3/5 or g?
g
Let y be (-1 - -1) + (-16)/32. Which is greater: -2/11 or y?
-2/11
Let i be (12/9)/((-6)/(-9)). Let c be (-2)/(12/13) + i. Which is bigger: c or 1?
1
Let x = -24911/13 + 1915. Which is greater: -1 or x?
-1
Let y = -111.04 + 108. Let r = y - -3. Let d = r + 0.14. Is 3 != d?
True
Let n = -35.2 - -32. Let v = 3 + n. Are 2 and v unequal?
True
Suppose -a - 7 - 3 = 0. Let p = a - -12. Is p at most as big as 2?
True
Let w = 4 - -1. Suppose w*y = 25, -25 = -5*u + y + y. Let x = u + -7. Is x less than -2?
False
Let g be (-6)/10*(-5)/(-1) + 3. Is 2/65 smaller than g?
False
Let n = -37.81 + 39.8. Let b = n - -0.01. Let l be (-5)/30 - 2/(-12). Is b > l?
True
Let l(z) = -z**3 + 7*z**2 + 7*z + 5. Let v be l(8). Let c be (-3)/(14/8 - 1). Are v and c equal?
False
Let x = 1.63 + -1.7. Suppose 1 = g + 2. Is g at most x?
True
Let c = -2 + 3. Let s = c + 5. Let o be (2/s)/(2/6). Are -1 and o non-equal?
True
Let r(x) = -x - 5. Let c be r(-5). Which is smaller: c or 10/17?
c
Let g be 1 - 0 - (2 - 2). Let y = -13/37 + 19046/185. Let c = y - 103. Which is bigger: g or c?
g
Suppose -u - 10 + 4 = 0. Is -19/4 less than u?
False
Suppose 2*s - 9 + 1 = 0. Let j(n) = n - 5. Let c be j(s). Suppose -4*y + 9 = -32*v + 33*v, 2*v - 13 = -3*y. Does y = c?
False
Let x be 1 + 9/(-4) + 2. Let r be 1 + ((-3)/(-5) - (-16)/(-10)). Is r < x?
True
Let i be (-47)/(-57) - 18/27. Is i at most 1?
True
Let m be (1/(-2))/((-3)/(-6)). Let i = -1 + m. Which is bigger: i or -3/2?
-3/2
Let p(o) = o**2 + 9*o + 9. Let v be 68/(-8) - 3/(-6). Let x be p(v). Are x and 1 equal?
True
Suppose 5*f + 4*b = -b + 25, 2*f = b + 22. Let m = f - 9. Which is smaller: m or -3/4?
-3/4
Let o = -312/5 + 61. Let s = 12241/10 - 1223. Let h = s - o. Which is bigger: h or 2?
h
Let r(z) = -z**3 + 5*z**2 - 4*z + 1. Let p be r(4). Let b be ((-2)/22)/(p/(-2)). Suppose c = 3*k - 2*c - 12, -2*k + 5*c + 17 = 0. Which is bigger: k or b?
k
Let u = 70 + -63.8. Let f = -1.6 - -7.6. Let h = f - u. Which is smaller: -1 or h?
-1
Let q(v) = v**3 - 14*v**2 + 3*v - 21. Let r be q(14). Is r bigger than 22?
False
Let z = -14 - -15. Let a be (-32)/24 + z/1. Which is greater: a or 2/9?
2/9
Let c be (-819)/(-15) + 2/5. Let x = 22 - c. Let w be 4/(-6)*(-9)/x. Is 0 bigger than w?
True
Let p be -3*1/(-3) + 4. Let x = p - 8. Let i = x - -1. Is i not equal to -2?
False
Let j = 0.31 - -0.19. Let x = -3 - -2. Which is greater: j or x?
j
Suppose 2*x = 16 - 12. Which is bigger: 3 or x?
3
Let w(z) = 4*z - 3. Let k be w(2). Let s(m) = m**2 - 5*m. Let l be s(k). Let a = -3 + l. Is a greater than -4?
True
Let s(r) = r**2 + 4*r + 3. Let p be s(-2). Let x(q) = -q**2 - 8*q - 9. Let v be x(-7). Is v >= p?
False
Let r = -6/7 - -8/7. Suppose -k - 7 = -3*s, -5*s - 2*k = 5 - 13. Suppose -2*x + 4 = s*x. Which is greater: x or r?
x
Suppose 5*w = -1 + 6. Suppose 0 = -s - 1, 4*g - 2*s = -3*s - w. Let p = -38/225 - 4/75. Are g and p equal?
False
Let s be 4/(-6)*(4 - 1). Let h = 16 + s. Let c be (-1*4/h)/2. Do c and -1 have the same value?
False
Suppose k + 2 = 3. Is k at most as big as 4/7?
False
Let r = 3 + 0. Suppose 0 = r*d - 2*d + 1. Do d and -2/7 have the same value?
False
Let h = 11 + -19. Let p = -5 - h. Suppose -p*q - 12 = -7*q. Which is bigger: q or 1?
q
Let d(n) = -16*n - 5. Let p be d(7). Let o be ((-232)/p - 2)*-3. Is o greater than 0?
True
Suppose 2*y + 5*f = 10, 0*f = 3*y + 3*f - 24. Is 10 smaller than y?
False
Let l be (-1)/(-5) - (-690)/(-75). Is l greater than or equal to -9?
True
Suppose 3 = 5*q - 12. Suppose -40 = 5*p - 2*n, -q*n - n = 2*p - 8. Is -4 < p?
False
Suppose -3*u = z, 0*u - 3*z = 2*u. Suppose 3*w - 6*w - 2*a = -7, -5*w - a + 14 = u. Are 3 and w unequal?
False
Let u be 33/(-3)*2/(-12). Is u bigger than 0.1?
True
Suppose -5*d + 8 = -3*g, -d = g - 4*d + 4. Let s = g - -6. Let u = -7 + s. Is u greater than -2?
False
Let o = 2/35 - -311/70. Let p(x) = x + 2. Let d be p(2). Which is bigger: o or d?
o
Let n = 0 + -1. Let c = -0.99 - -0.59. Is c greater than or equal to n?
True
Suppose -o + 76 = 3*o. Is o less than or equal to 19?
True
Let o = 1 + 1. Let p be ((-6)/(-10))/(o/10). Let b be 4/(12/p - 2). Which is bigger: b or 3?
3
Suppose 0 = -2*v - 4*u - 11 + 15, 0 = -5*v + 2*u - 2. Is -2/85 greater than or equal to v?
False
Suppose 2*h = -3*h. Suppose -d + 4*d - 114 = 0. Let r be d/20 - (-9)/(-6). Which is smaller: r or h?
h
Let j be (-1 + 3)*2/(-30). Suppose 0 = y + 11 - 12. Is j bigger than y?
False
Let z = -863/21 - -41. Let u be (0 - 1) + (2 - 2). Is z > u?
True
Let m = -0.47 - -11.47. Which is smaller: m or 2/9?
2/9
Let v = -71/15 -