 Which is greater: 2 or s?
2
Let y = 12 - 5. Which is smaller: y or 8?
y
Let d(o) = -o**2 - 2*o + 1. Let z be d(-3). Let k be 3/(-12) + z/(-8). Which is smaller: -1 or k?
-1
Let r(l) = l - 10. Let v be r(7). Which is bigger: v or 3/7?
3/7
Suppose 0 = -2*m - 2*m + 8. Let f(p) = 2*p + 0*p - 4 - 2. Let v be f(4). Are m and v non-equal?
False
Let o(u) = -u**2 + 8*u + 3. Let z be o(6). Let b = -8 + z. Do b and 7 have different values?
False
Let x = -60422/57 - -1060. Which is smaller: -1 or x?
-1
Suppose 4*j + 3*p = -30, 0*j - 3*p + 15 = -j. Let l be (-16)/6*j/21. Which is bigger: 0 or l?
l
Let w = 29 - 29. Which is bigger: w or -6/29?
w
Let v = -31 - 155. Let o = v + 1304/7. Does o = 0?
False
Suppose 4*c + 8 = 0, -22 = -2*i + 5*c - 0*c. Suppose -i*x + x + 15 = 0. Does x = 3?
True
Let f = -1889 - -7515/4. Which is smaller: -10 or f?
f
Suppose -3*j - 7 = -4*x, -6*j = -3*x - 7*j - 11. Is 4 smaller than x?
False
Suppose 0*o - 15 = 5*o, 4*n = -5*o - 15. Suppose -2*m = 6 + 6. Let f be ((-2)/m)/((-4)/(-12)). Do f and n have different values?
True
Let t = -37 + 5. Is -33 greater than or equal to t?
False
Let s = 4 - 4.06. Let g = -3.94 + s. Let p = g + 3.9. Do 0.4 and p have different values?
True
Let t(o) = o**2 - 9*o + 9. Let j be t(9). Let i be (1 + j)*6/10. Let x = -7 + i. Which is smaller: x or -4/5?
x
Let j = 0.41 - -3.49. Let l = 4 - j. Is 0.1 equal to l?
True
Let m(v) = -5*v + v**2 + 5*v - 2. Let w(i) = 2*i**2 + i - 3. Let j(z) = -3*m(z) + 2*w(z). Let f be j(-2). Which is bigger: 1 or f?
1
Let k = 78 + -194. Is -2/7 at most k?
False
Let n(z) = z**2 - 20*z + 36. Let m be n(18). Do 2/369 and m have the same value?
False
Let z(s) be the third derivative of -s**4/12 + 2*s**3/3 - 2*s**2. Let v be z(3). Is -3 smaller than v?
True
Let x = 53 - 52. Let l = 373 - 10815/29. Which is smaller: x or l?
l
Let g be 3 + (-50)/24 - 1/4. Is g less than or equal to -37?
False
Let m = 6 - 28/5. Are m and -1/7 equal?
False
Let m be (-1 - 0)/(2/86). Which is bigger: m or -44?
m
Suppose 6*k = 4*k - 12. Let y be ((-136)/(-14))/(-2) + (-6)/42. Which is smaller: k or y?
k
Let v be (1/(-2))/((-10)/(-782)). Let d be ((-158)/12*3)/(-1). Let j = v + d. Is 2 at least j?
True
Let w = 141 - 131. Which is bigger: 102/11 or w?
w
Let y be ((-16)/3)/((-2)/3). Let t be (-92)/22 + y/44. Is t >= -4?
True
Let t be 3/9 + 32/12. Which is greater: t or 2?
t
Suppose 0 = 5*l - 3*g + 37, 2*l - 5*g + 29 + 1 = 0. Let c(t) = t**2 + 3*t - 4. Let s be c(-3). Which is greater: s or l?
s
Let p be 4/10 - 26/(-10). Let x(m) = m**3 - 10*m**2 + 8*m + 4. Let t(g) = -g**3 + 9*g**2 - 7*g - 3. Let k(s) = -7*t(s) - 6*x(s). Let u be k(p). Is 2 >= u?
True
Suppose 0 = -p - 5*n + 17, -3*n + 30 = 3*p + 3. Let x(l) = -l**3 + 8*l**2 - 8*l + 8. Let i be x(p). Is 2 bigger than i?
True
Let c(v) = 2*v**3 + 4*v**2 + v - 1. Let f be c(-2). Let x be 76/(-10) - (-4)/(-10). Which is bigger: f or x?
f
Let z(p) = -p**2 - 5*p. Let f = -9 + 4. Let m be z(f). Which is bigger: m or -3?
m
Let j = 0.09 + 0.15. Let a = 10.24 - j. Is a bigger than -2/5?
True
Let w be 33/22*(-4)/(-22). Which is bigger: -1 or w?
w
Suppose 0 - 2 = -2*u + 2*x, 0 = -5*x. Is u bigger than 1?
False
Let r = 5 - 5.6. Let q = 2.17 + -0.17. Which is smaller: r or q?
r
Let k be 91/(-14) - (-2)/4. Let u = 2 - k. Is u smaller than 6?
False
Let q = 7.5 - 0.5. Let m = q + -6. Let h = 0 + m. Which is smaller: -4 or h?
-4
Let o = -6 + 5.6. Let r = 2.4 + o. Which is smaller: 9 or r?
r
Suppose 4*s - 2*v = 2*v + 16, -5*s - 1 = 2*v. Which is smaller: s or -2/21?
-2/21
Let g = 185/954 + 3/106. Which is smaller: 2/157 or g?
2/157
Let c be 2/(-11) + (-84)/22. Which is smaller: c or -8?
-8
Let p = 33/70 + -7/30. Which is greater: p or -1?
p
Let r be 4/(-6) - ((-140)/21 + 7). Let m = 47 - 330/7. Is m smaller than r?
False
Let g(r) = -r**3 - 3*r**2 - 3*r - 3. Let t be g(-2). Is t less than or equal to 2/35?
True
Let z = -0.56 - -0.76. Are 7/6 and z equal?
False
Let u be -1 - (0 + -2 + -1). Suppose 5*a - u*q - 13 = 0, -q = 3*a - 4*a + 2. Which is greater: a or 2?
a
Let y = -56/41 - -3334/2501. Is y > 0?
False
Suppose 3*m - 5*m = 4*a + 12, -a = m + 2. Let j be (0 - -1) + 52/(-1). Let i be 2/(-5) - j/15. Is i at least as big as m?
True
Let r be (-3)/(-45) - (-1)/3. Let d(x) = x - 1. Let v be d(6). Let k be 12/15 + (-4)/v. Is k greater than r?
False
Suppose z = 3*u + 4, -3*u + 2*z + 0 = -1. Let a be u + ((-39)/(-6) - 2). Is a less than 2?
True
Let x(t) = t**3 + t**2 + 1. Let p be x(0). Let k be 2/(-6)*(-6)/80. Is k > p?
False
Suppose 6*m - 3 = 3. Which is bigger: 1/31 or m?
m
Let c = -1 + 3. Let z = 28 - 28. Which is smaller: c or z?
z
Suppose 3*i - 83 = -2*j, 0*i - j = i - 26. Let b be 5/(-25) + i/105. Let w(a) = a. Let y be w(0). Which is smaller: y or b?
y
Let j = 35 + -25. Let b(t) = t**3 - 10*t**2. Let m be b(j). Let w(l) = l**2 + 7*l + 6. Let o be w(-5). Does m = o?
False
Let b = 17 + -16. Which is greater: b or 3/4?
b
Suppose 5*z = h + 183, 3*z - 7*h + 3*h = 103. Let g = z - 27. Let t = -7 - -16. Is t at least g?
False
Let x = 7.7 - 9. Let r = -2.3 - x. Does r = -5?
False
Let q = -5 + 0. Let u = -9 - q. Let i = 0 + 0. Is i >= u?
True
Let c be 3/35 + 2/(-7). Let z = c + 0. Is 0 at most z?
False
Let d be (-4)/(-6) - 74/(-12). Let a be 0 - 2 - 203/(-24). Let p = d - a. Is 0 < p?
True
Let m = 1 + -1. Let q = 3/4 + m. Is 0.1 at most q?
True
Let h = -9.6 - -3.6. Are h and 3 non-equal?
True
Let i = -2.4 + 2. Let b = 0.3 + i. Let x = b - 0. Is x equal to 0?
False
Suppose -h - h = 8, 0 = 4*i - h. Is i <= 0?
True
Let l = -7.4 - -7.3. Which is smaller: l or -7/4?
-7/4
Let q(t) = 69*t - 1. Let j be q(1). Let l be 4/(-6) - j/(-12). Is 3 less than or equal to l?
True
Let d = 0 + 1. Let m be (d - (0 + 1))/(-1). Let b be (-2)/(-5) - m/(-3). Is b equal to 0?
False
Suppose -2*f + 5*l = 10, 3*f - l + 4 = 2. Let q = 525/4 + -132. Which is smaller: q or f?
q
Let p be ((-1)/(-2))/(1/6). Let o be (-48)/28 + -1 + p. Let c = 53 + -53. Which is greater: c or o?
o
Let g be (15/12)/(2/8). Let x(j) = j**2 - 8*j + 11. Let o be x(g). Which is greater: -6 or o?
o
Let j = 13 - -3. Suppose j = 7*k - 3*k. Are k and 3 equal?
False
Suppose 5*m = 4*s - 8, -2*m + 3*m - 2*s = -4. Are m and 3/47 nonequal?
True
Suppose -a = 4*a - 30. Let z be 88/16 + a/(-4). Is 3 at most z?
True
Let t(o) be the first derivative of o**2/2 - 3*o + 1. Let c be t(6). Let w(s) = 3*s - 18. Let g be w(7). Does g = c?
True
Let o(h) = -h**3 + 9*h**2 - 7*h - 8. Let b be o(8). Let g be (b - 0)*(-2 - -1). Do g and 2/3 have the same value?
False
Let m = -1 - -0.7. Let u = 0.5 + m. Let y = -1.8 - u. Which is smaller: y or 0.2?
y
Let f = -1 + 2. Let w(o) = 3*o**3 + 2*o**2 + 3*o - 3. Let i be w(2). Let x = i - 141/4. Which is smaller: f or x?
x
Let r = 123 - 122.7. Let i = 0.3 + -2.3. Which is smaller: r or i?
i
Let p = -2 - -4. Let i = p + -1.9. Let q = 0 - 0. Is q greater than i?
False
Let k = -100 - -59. Which is smaller: k or -43?
-43
Let x = 9.6 + -7.6. Is x not equal to -0.2?
True
Let z be ((-3)/2)/(15/(-40)). Suppose -40 = -5*h + 3*r, 4*h - z*r - 14 = 10. Let g = h + -6. Is 4 bigger than g?
False
Let b = 8 + -6. Suppose -2*p = -2, 2*s - 4*s - 5*p = -3. Let t be s + ((-48)/(-10) - 3). Is t < b?
True
Let q = 169/2 + -4559/54. Which is smaller: q or 0?
0
Suppose 0 = t + g, -3*t + 0*t = 4*g + 2. Suppose 6*b - 2*b - t*d = 0, 5*b = -2*d - 9. Is 1 at least b?
True
Suppose i + 2*i = -6. Let k = 3 + -4. Let r be (-4)/(-10)*k/i. Is -1 smaller than r?
True
Let d be -4*((-3)/(-6))/(-1). Suppose 4*y + d - 10 = 0. Is y less than -0.2?
False
Let z be (-10)/6 + (-9)/54. Are -2 and z nonequal?
True
Let h(i) = 2*i**3 - 2*i**2 - 3*i + 2. Let z be h(2). Suppose -l - k + 8 = 0, -l + 29 = 2*l + z*k. Which is bigger: l or 5?
5
Let q = -1299/11 - -118. Which is bigger: 0 or q?
0
Suppose 2*k = 3*p + 48, 0 = 4*p + 5*k + 121 - 34. Let j be 4/18 - (-1)/p. Which is greater: 0 or j?
j
Let i = 0 - -1. Is 8 greater than or equal to i?
True
Let d = -12 - -7. Is -2 equal to d?
False
Let k = 17.8 - 1.8. Let w = -16 + k. Which is smaller: 17 or w?
w
Let v be 2/(12/(-94)) - 2. Let g = 18 + v. Is g equal to -1?
False
Let n = -5 - -13. Suppose n*h = 4*h + 8. Let g = -45 + 493/11. Which is smaller: h or g?
g
Let a = -8 + 7.8. Let m be 12/(-40)*13 + 4. Which is smaller: m or a?