 l be 1/2*8/2. Do 2 and l have the same value?
True
Let q be 33/(-2)*(2/3)/(-1). Are 11 and q non-equal?
False
Let b = 134 + -1204/9. Is -1/19 not equal to b?
True
Let m = -1 - -0.9. Let w = m - -0.5. Let c = w - 0.3. Which is greater: -1/3 or c?
c
Suppose 3*w + 2*k - 62 = 0, -2*k - 8 + 4 = 0. Is w bigger than 24?
False
Suppose 4*s + 0*s - 5*v - 43 = 0, 2*s + 3*v = 5. Is 8 < s?
False
Suppose 2*d + 1809 = -7*d. Let n be ((-2)/(-21))/(3/6318). Let c = d + n. Is c greater than or equal to -1?
True
Let k = -853/568 - -1/568. Suppose c - 5*c = 12. Which is smaller: k or c?
c
Let d be 14/(-1 - 1)*1. Let i = -9 - d. Which is smaller: -3/4 or i?
i
Let d = -4 - -7. Suppose -d*t + 6 = -3. Suppose -3*n + 6 = t. Is 1 at least n?
True
Suppose 2 = j + 5. Let o(n) = n**3 + 3*n**2 - n - 3. Let y be o(j). Which is greater: 3/4 or y?
3/4
Let w = -8 + 9. Let x be (-72)/154 - (-4)/14. Is x smaller than w?
True
Suppose 25 + 0 = -d + p, -d - 4*p = 0. Are -21 and d equal?
False
Suppose 2*m + 5*i + 44 = i, -4*m - 58 = 2*i. Which is bigger: m or -14?
m
Suppose 0 = 5*w + 80 + 5. Is -19 at most w?
True
Let b = -17 + 16. Let k = 3 - b. Which is smaller: -0.1 or k?
-0.1
Suppose 54 = -5*b - 126. Which is smaller: b or -35?
b
Let l be (-1)/(-3) + 201/(-9). Let n = l + 9. Let t be 1/4 - n/(-20). Which is smaller: -1 or t?
-1
Let h = -20.1 + 19. Let b = -0.9 + h. Is -3 > b?
False
Suppose 3*j + 2*a = 7, -5*j + 3 = 3*a - 8. Let k = 163/4 + -41. Which is greater: k or j?
j
Let f = -12958/41 - -316. Is 1 greater than or equal to f?
True
Let s be -1 - (-3)/((-126)/(-223)). Let b = s - 29/7. Let d be (-3 + 6)*2/(-6). Which is bigger: d or b?
b
Let o = 680/3 + -23075/102. Let q = -1/17 - o. Is q greater than or equal to 1?
False
Let n = 19 - 14. Let r be (-2)/1*n/10. Let x(i) = -i**3 + 3*i**2 - 3*i + 1. Let z be x(2). Are r and z unequal?
False
Let n(j) = -j**3 + 9*j**2 + 10*j + 2. Let a be n(10). Suppose a = 3*b + 5. Suppose 5*s + 4*d - 11 = -1, -5*d + 25 = 0. Is b <= s?
False
Suppose 0 = 2*h + 16 + 54. Let g = 13 + h. Let x be 2 + (0 - g/(-8)). Which is bigger: x or -2?
x
Suppose -2*s = 2*s. Suppose x + 3*x - 4 = s. Let g be x - ((-19)/(-5) + -2). Which is smaller: g or -2?
-2
Let u = -52/45 + -2/45. Let f = -1 + 1. Is f at most u?
False
Suppose 0 = -3*i + j + 33, 0 = -2*i - 3*j + 34 - 1. Let n(u) = -u**3 + u**2 - 2*u - 3. Let q be n(-2). Which is bigger: q or i?
q
Let h = 0.65 + -0.59. Let b = -10/57 - 3/19. Is h at least as big as b?
True
Suppose -5*o = -5*m, 9*o = 4*o + 3*m - 4. Let s = -8 + 9. Is o equal to s?
False
Let s = -6 + 10. Which is smaller: s or 11/4?
11/4
Let v be (-8)/(-6)*(-12)/(-8). Suppose v*u - h = -0*u - 20, -4*u = 2*h + 56. Let p be 18/14*(-8)/u. Which is smaller: p or 1?
p
Suppose 18 = 3*b + 2*u, -5*b + u - 4*u = -31. Suppose -b = -3*g - 14. Is -1 at least g?
True
Let l = -45 - -69. Let t be (-3)/l*10 - -3. Is 2 less than or equal to t?
False
Let y = -747/2 - -381. Suppose 1 = -s - 5. Let n = y + s. Are 2 and n equal?
False
Let w(r) be the first derivative of -3*r**2/2 + r - 3. Let u be w(1). Is u >= -1/2?
False
Let g(y) = y**3 + 3*y**2 - 2*y + 3. Suppose 3*k - 4*k = 5*d - 16, 12 = k + 4*d. Let b be g(k). Is -2 > b?
True
Let r = -150 + 126. Are 3/2 and r non-equal?
True
Suppose -9 - 6 = -5*b. Which is smaller: 13/4 or b?
b
Let p(w) = w**2 + 10*w + 14. Let m be p(-5). Which is smaller: -13 or m?
-13
Let s be (30/4)/(3/(-4)). Let k be s/(-15) - (-4)/(-6). Let d be 4*1*(-2)/(-12). Which is bigger: d or k?
d
Suppose -5*g + 5*o + 30 = 0, -g + 4*g = 4*o + 23. Which is bigger: g or 2/59?
g
Suppose 0 = -4*n + 12, -n - 24 = -3*t - 4*n. Let a be (0/(-1))/(0 - 2). Suppose 5*x + t = a, -3 = l + 4*x - 3*x. Does 0.2 = l?
False
Let j be 2/(-2*(-1)/(-16)). Let a = j - -22. Suppose -a*h = -h + 20. Which is smaller: -1 or h?
h
Suppose 72 = -5*u - 23. Let h = -19 - u. Which is smaller: h or -2/23?
-2/23
Let b = 0.2 + 8.8. Let v = 8 - b. Which is smaller: 1 or v?
v
Let i(t) = t**3 - 8*t**2 + 8*t - 10. Let q be i(7). Let h = 3 + q. Let d be h/(-8)*1/2. Do d and -3/4 have different values?
True
Let p be (-14)/3*(-15)/5. Let m be (-6)/15 - p/(-10). Suppose -m - 1 = 2*u. Is u equal to 1/4?
False
Let i = -130 + 1299/10. Which is smaller: i or -2/5?
-2/5
Let y = -3/164 + 513/1148. Let v(c) = -c**2 + 4*c - 3. Let u be v(2). Which is greater: u or y?
u
Let c be ((-15)/9 + 2)*-15. Does c = -5?
True
Let o = 294/5 + -463/10. Let n = o - 12. Which is smaller: 1 or n?
n
Let r = 2 + -2. Suppose 2*w - 7*p - 10 = -3*p, r = 5*w - 5*p - 30. Let m(v) = 3*v**2 + 11*v - 13. Let h be m(-5). Do h and w have the same value?
True
Suppose -2*m + 4*m = -0*m. Which is bigger: 2/143 or m?
2/143
Let y = -1772/15 + 118. Let x = 21 + -21. Which is smaller: y or x?
y
Suppose j - 21 - 11 = 0. Let l be (-4)/(-3)*(-36)/j. Do -1 and l have different values?
True
Suppose -4 = 2*s - 0. Let n = -1 - s. Which is smaller: -2 or n?
-2
Suppose 0 = -r + 26 - 25. Is 2/63 greater than r?
False
Let k = 1 + 2. Let v(t) = 3*t + 17. Let g(w) = -2*w - 17. Let r(j) = -4*g(j) - 3*v(j). Let a be r(13). Which is greater: a or k?
a
Let m = 0 - -0.1. Let v = 9.87 - -0.13. Let s = v + -9. Which is bigger: m or s?
s
Let s = 1 - -1. Let i = 4.3 - 0.3. Let y = s - i. Which is smaller: -1 or y?
y
Let h = -107 + 105.7. Is h > -1/2?
False
Let o be 1*(-5 - 1)/(-2). Let q be 4/((-8)/o) - -2. Suppose 3*z + 2*z = -5*v - 30, -5*v = -3*z - 2. Which is greater: q or v?
q
Suppose 15 + 13 = 4*t. Let u be -2 + (t + 2 - 0). Is 7 bigger than u?
False
Let p = 2.3 + -3.3. Which is bigger: -0.03 or p?
-0.03
Suppose -5*y + 4*g - 13 = 0, 5*y + 0 = -4*g + 3. Is -1 at most as big as y?
True
Let k be (-15)/(-10)*8/(-174). Which is greater: k or 0?
0
Let l(n) be the first derivative of n**4/4 + 10*n**3/3 - 5*n**2 + 2*n + 4. Let x be l(-11). Is x > -11?
True
Let v be 6/8 + 3/12. Let c be ((-3)/(-1)*-1)/v. Which is greater: -4 or c?
c
Let j = 11 + -9. Suppose j*r + 7 = -3. Let a(c) = -c**3 - 6*c**2 - 4*c + 3. Let f be a(r). Is -3/4 at least f?
True
Let c be (3*20/15)/2. Is 2 less than or equal to c?
True
Let u be 6/(-9) + 4/6. Let w = u - -1. Let s be -2 + w - (-15)/13. Which is bigger: 0 or s?
s
Let j be 0/3 - -2 - 2. Let n be -2 - (0 + (j - 1)). Is 0 less than n?
False
Let o be 5*1*6/(-5). Let j be (1/3)/((-8)/o). Let c be (2/14)/(5/(35/2)). Which is bigger: j or c?
c
Let j be 4/(-20) - (-8)/(-10). Let g be (-1)/(-7) - (-90)/546. Is j at most as big as g?
True
Suppose 4*l + 12 = 0, -3*l + 0*l = 5*k - 1. Suppose 14 + k = -4*d. Is -5 at most d?
True
Let z(t) = -t - 4. Let r be z(-7). Which is smaller: r or 0.2?
0.2
Suppose 40 = l + 4*l. Let i(k) = -k**3 + 8*k**2 + k - 9. Let a be i(l). Is a at least as big as -2/3?
False
Let u(w) be the second derivative of -w**3/6 + 5*w**2/2 + 2*w. Let h be u(7). Is h equal to -3?
False
Suppose 14 + 16 = -5*x. Let i be (-2 - 13/x)*2. Let s be 9/3 - (2 - 1). Which is greater: s or i?
s
Suppose r - 8 = -4*z, -2*z - 4 = -3*r - 50. Which is smaller: -11 or r?
r
Let f be 2/8 - 3105/(-60). Do f and 51 have the same value?
False
Suppose 2*j + 4*j = 6. Which is smaller: j or -4?
-4
Let c(d) be the second derivative of -d**3/6 - d**2/2 + 3*d. Let p be c(4). Let l = 8 + p. Is -2/7 smaller than l?
True
Suppose y + 5*f + 4 = -4, -4*y - f + 6 = 0. Suppose 5*w - 3*u - 31 = -9, 0 = y*u + 8. Suppose w*p = -2*p. Is 0 equal to p?
True
Let x = 23 - 21. Suppose 5*w + 3*d - 18 = 0, -2*w - 3*d - 3 + 12 = 0. Are x and w equal?
False
Let k = 12/23 + -38/161. Which is greater: k or 1?
1
Let r(v) = 2*v**2 - 2*v - 1. Let a be r(-1). Let c = 3 - a. Which is smaller: c or 4/7?
c
Suppose 0 = -2*v + 21 + 11. Suppose -3*w + v = -7*w. Let h be 2/(-8) - 2/w. Which is greater: 2 or h?
2
Let w = 3 - 3. Suppose w*k = 3*k + 3. Let d = 13/12 + -31/36. Which is smaller: d or k?
k
Let t = -471617/545 - -2044/109. Let s = -842 - t. Is s < 4?
False
Let g = 8 + -25/3. Suppose -3*c + 2*i + 10 = 0, -4*c = -8*c + i + 15. Are c and g non-equal?
True
Suppose 0 = 14*z - 12*z. Which is bigger: 2/97 or z?
2/97
Let c = 0.42 - 0.52. Let f = -4 - -3.6. Let t = f + 0.2. Which is smaller: t or c?
t
Let d = 116.1 + -117. Is -2/5 > d?
True
Let j(r) = 34*r**3 - 2*r**2 + 2*r - 1. Let x be j(1). Suppose 2*q = -q + x. Let t = q + -34/3. Which is smaller: t or 0.1?
t
Let a = -31 + 43. Su