t a = 767/8 + p. Which is smaller: 0 or a?
a
Let k be (4/(-42))/((-2)/3). Suppose -5*n = -3 - 32. Let z = n - 8. Which is smaller: k or z?
z
Let m be 0*2*1/4. Let b be ((-10)/102)/(4/(-6)). Let x = -33/238 - b. Is m < x?
False
Let o = -0.3 - -0.34. Let y = 0.02 - o. Which is smaller: 1/4 or y?
y
Let n = 5 - 67/13. Suppose 0*x = -x + 2. Suppose x*q = -3*q. Which is bigger: n or q?
q
Let j = -10 - -5. Let h = -146/3 - -49. Is h at least j?
True
Suppose 0 = 5*a + 7 - 2. Let c(d) = -d**2 - d - 1. Suppose -2 = n - 1. Let v be c(n). Is v less than a?
False
Let j be -3 + 0/(-5 - -1). Which is smaller: j or 4?
j
Suppose 0 = -4*q + q. Suppose q*j = 2*j + 12. Is -6 < j?
False
Let l(o) = 5*o - 57. Let a be l(7). Is -21 < a?
False
Let y = -313 - -159. Let j = y - -2000/13. Which is greater: 0 or j?
0
Let y = -554/117 + 44/9. Suppose 3*d + 8 = -3*t - 2*t, 0 = t + 3*d + 4. Let o(v) = -v**2. Let s be o(t). Are y and s equal?
False
Let y(g) be the third derivative of -g**4/24 - 2*g**3/3 + 3*g**2. Let n be y(-6). Suppose -2*c = -4 + n. Which is smaller: c or 1/6?
1/6
Let v = -7 - -3. Let h = -2 + 2. Is h smaller than v?
False
Let f = 0.08 - -0.82. Let u = -0.02 - 0.58. Let w = f + u. Which is greater: 0 or w?
w
Let f = -66 - -65. Which is greater: -7 or f?
f
Let w(v) = 12*v**3 - 2*v**2 + 3*v. Let d be w(2). Which is greater: 95 or d?
95
Suppose 13 = 5*j - 7. Suppose -15 = 5*d, 1 = -4*o + j*d + 9. Which is smaller: 1 or o?
o
Let x = 0.5 + -1. Let a = -0.36 - -0.06. Let m = a - x. Is -0.1 != m?
True
Let w = -4 - -3.6. Let f = -0.6 + w. Let q = -3 + 3.2. Which is bigger: q or f?
q
Let u = 2 + -3. Let a = 9 - -6. Let s be (1 - (-3)/a) + u. Are -1 and s unequal?
True
Let b = -2 + 1. Let a be (((-20)/(-15))/2)/(20/6). Which is smaller: a or b?
b
Let t = -4/31 + 51/155. Let q = 20 + -14. Let s be ((-4)/q)/(2/3). Which is smaller: t or s?
s
Let b = 10 - 10.1. Is b at most as big as -3/2?
False
Let n = -28 - -13. Let g be ((-6)/15)/((-9)/n). Which is greater: 12 or g?
12
Let x = -5/24 - -73/120. Let d = -1.08 - -1. Is x equal to d?
False
Let c(k) = 5*k - 7. Let z(l) = -26*l + 36. Let v(o) = -11*c(o) - 2*z(o). Let n be v(3). Which is bigger: n or 2?
2
Let k = -77 - -133. Is k smaller than 56?
False
Suppose 0 = 2*n - 3*z - 16, -16 = -3*n - z + 8. Suppose 4*s = 5*f - 7, -2*f + 2*s + n = -4*f. Is -2 greater than or equal to f?
False
Let t be (-4)/14 - (-161)/49. Suppose -4*x + j = -17, 5*x + t*j - 16 = -j. Is x less than or equal to 3?
False
Let l = 3.4 + -0.4. Is 0.1 less than or equal to l?
True
Let b be (-1)/(-2) + 6/4. Which is bigger: b or 18/7?
18/7
Let g(u) = 5*u**2 + 1. Let q be g(1). Let l(k) = -k**3 + 14*k**2 + 15*k + 6. Let w be l(15). Is w at least q?
True
Suppose -6*x + 5*x - 9 = 0. Is x <= -9?
True
Let g = 0.36 - 0.16. Are g and -1/2 non-equal?
True
Suppose 21 = 4*s - s. Which is bigger: s or 1/4?
s
Let u = 1 - 7. Let o(w) = 0 + 2 - 6 - w**3 - 7*w**2 - 6*w + 5. Let m be o(u). Are 2/7 and m non-equal?
True
Let v be -1 + 4/((-6)/(-3)). Is v smaller than -4/25?
False
Let d be 3/(-6) + (-1)/(-1). Which is smaller: 0 or d?
0
Let z(u) = -1 - u - 1 - 5 + 0. Let q be z(3). Is q < -10?
False
Let t(k) = k**3 - 2*k**2 - 8*k. Let d be t(4). Let c = 5 - 2. Suppose d - c = 3*x. Is x >= -2?
True
Let o = -2.98 - -3. Let w = 82 - 83. Is o at least as big as w?
True
Let g = 81 - 75. Which is smaller: g or -5?
-5
Let q = 575 - 1109/2. Which is smaller: q or 22?
q
Let z(v) = 4*v**2 - v + 2. Let u be z(-2). Suppose 4*l + l = u. Let j be (l - -2)/3 + -1. Is j less than 3/5?
False
Suppose 0 = -5*s - 18 - 2. Which is smaller: s or -13/5?
s
Let g be (40771/5)/((-108)/10). Let v = -755 - g. Let f = v + -115/378. Which is bigger: 1/11 or f?
1/11
Let i = 4 - 4. Let l be i/(-4 - (-1 + -2)). Suppose g + 3*g + 4 = l. Is -1 smaller than g?
False
Let r = 6.83 - -0.17. Let m = -0.014 + 0.014. Is r at most m?
False
Let u = -16/13 + -43/39. Is -2 at least u?
True
Let t(b) = b**3 - 6*b**2 + 7*b - 4. Let c be t(5). Let q be (-11)/c - 1/2. Is -1 smaller than q?
False
Let w be (-117)/(-45) + 2/5. Suppose 4*c + w*o + 0 + 4 = 0, -3*c = 2*o + 2. Let a(l) = l**3 - 5*l**2 + 4*l + 1. Let g be a(4). Which is smaller: g or c?
g
Let n = -2 + 0. Suppose -3*o + 7*o = 0. Suppose 0 = -4*z - o*z - 8. Is n greater than z?
False
Let s = 29 - 30. Are -4/25 and s unequal?
True
Let g(p) = p**3 - 2*p**2 + 1. Let u be g(1). Which is smaller: u or -7/6?
-7/6
Let u = 2 - 2. Which is smaller: u or -9?
-9
Let y(z) = -z**2 + 4. Let b = -20 - -22. Let r be y(b). Suppose -2*o = 3*o. Is r greater than o?
False
Let a be (-6)/(-6) - (-48)/(-3). Which is smaller: -16 or a?
-16
Let b = -0.3 - -0.4. Is -0.08 equal to b?
False
Let q = -8 + 4. Which is smaller: q or -3?
q
Let a = 5 - 3. Suppose g - 27 = -3*g + 3*v, 3*v = -15. Suppose -b = -5, g*l = 7*l + b - 9. Which is greater: l or a?
a
Let r = 1 + -1. Let p = 3 - 2. Let v = p + -0.6. Is v not equal to r?
True
Let s = -7 + 5.9. Let i = -1 - s. Which is smaller: i or 3?
i
Let m be (-36)/(-48)*16/(-18). Which is smaller: 49 or m?
m
Let u = 6 + -3. Let c = 1 + -1. Let t = 2 + c. Which is smaller: t or u?
t
Let u(h) = h**3 - 2*h**2 - 3*h - 2. Let x = 2 + 1. Let w be u(x). Let d be (1 - -2)*w/6. Is d equal to -2?
False
Suppose 0 = -3*o + o - 6. Let g be o/(-9) - (-10)/(-3). Is g smaller than -2?
True
Suppose 0*q + q = 0. Suppose 5*f + 19 = -4*v + 3, 4*f + 16 = q. Let s = 24 + -24. Which is greater: s or v?
v
Suppose -5*g - 29 = 2*i - 4*i, -4*g = -i + 22. Are -3 and g equal?
False
Let u = 6.63 + -5.6. Let b = -0.03 + u. Which is smaller: b or 0.1?
0.1
Suppose 32 = -5*a - 73. Let f be ((-4)/6)/((-7)/a). Is f at least as big as -2?
True
Let s = 8 - 8. Suppose 0 = 4*i - c - s*c + 53, -43 = 2*i + 5*c. Let l = i + 8. Do -7 and l have the same value?
False
Let z be (-3)/(-1) - 69/21. Suppose 0*a + 2*a = 0. Which is smaller: a or z?
z
Let t(v) = -v**2 - 4*v + 1. Let o be t(-3). Suppose -5*u - 15 = 5*s, -5*s = -4*u - u - 15. Suppose s = -9*f + 4*f - 25, -c - 22 = o*f. Is -2 < c?
False
Let y = 0.4 - 2.4. Let i = 6.9 + -7. Which is smaller: y or i?
y
Let b be ((-5)/6)/((-8)/(-12)). Let j = 8 - 8. Is j < b?
False
Suppose 0 = -5*c + 4*c - 4. Let t = 1 + c. Let r be 4 + (t + 2 - 2). Which is greater: r or 8/7?
8/7
Let a(x) be the second derivative of -x**4/12 - 11*x**3/6 - 13*x**2/2 - 2*x. Let z be a(-9). Suppose 3 = -2*g - z. Do g and -5 have the same value?
False
Let b = 7 + -22/3. Let v = -0.2 - -0.3. Let o = v + -0.1. Which is smaller: b or o?
b
Let c be -5*((-2)/(-1) + -3). Let a be (-1 - -2)*5/c. Which is smaller: a or -1/19?
-1/19
Let c(i) = -3*i - 19. Let h be c(-6). Is -9/4 greater than or equal to h?
False
Let j be 21/(-6) + 3 - -1. Let g = 5 - 6. Is g < j?
True
Let t = -54 + 51.1. Let m = -0.9 - t. Which is smaller: 1 or m?
1
Suppose -2*d + 6*d = 8. Suppose -4*h + q = -h - 7, 5*h - q - 9 = 0. Suppose h = -s + d. Which is greater: s or 0?
s
Let b = 44 + -51. Which is bigger: b or -0.1?
-0.1
Let l = -0.215 + 3.195. Let a = -0.02 - l. Let n = 7 - 7.2. Is n greater than a?
True
Let t be (0 + -18)*2/(-6). Suppose -t*l + 3*l = 0. Which is greater: -2 or l?
l
Let c = -0.11 - -0.31. Is c less than 2?
True
Let o(t) = -t**2 - 9*t - 10. Let y be o(-7). Let f = 9 - y. Suppose m - 10 = 6*m, 0 = f*h + m - 3. Is 1 less than h?
False
Let m = 69 - 70. Which is greater: m or -5/4?
m
Let l be (3 + 14/(-6))*-12. Let k be (-12)/2*l/24. Let o = -57/5 + 12. Which is greater: k or o?
k
Suppose 0*c - 2*c = 2*t - 4, 3*t = 12. Let j be (-8)/(-24)*(-8)/c. Is j > 2?
False
Let g be ((-4)/5)/((-2)/10). Let f = -1 + g. Suppose -j = 4*u + 1, 3*j - 2*u - 2 = 9. Is j greater than f?
False
Let l = -94 + 144. Let t be l/15 - (2 - 0). Is 1 < t?
True
Suppose 2 - 8 = u. Are 0.1 and u non-equal?
True
Let c = -159 + 238. Is 79 equal to c?
True
Let b be (-2)/(-3) + (-96)/171. Which is smaller: b or 1?
b
Let p be 3*2/(-12)*2. Let b(l) = l**3 + l**2 - 2. Suppose -4 = -z + 2*j, z - 4*j = -6*j - 4. Let a be b(z). Which is bigger: p or a?
p
Suppose 0*z = 5*z. Let w(h) = h**3 - 7*h**2 - 8*h - 1. Let n(r) = -r + 4. Let a be n(-4). Let x be w(a). Is x != z?
True
Let y = 0.3 + -0.7. Let v = -0.5 - y. Let t = 0.88 + 0.12. Is v at least t?
False
Suppose 2*t - 79 = -t - 5*r, 5*t + 2*r - 138 = 0. Suppose 0 = -4*f + 5*u - 7 - t, -4*f - 23 =