t o = 0 + l. Is o greater than or equal to -3?
True
Let j(c) = c**2 - 2*c - 2. Let d be j(-1). Is 3/2 less than or equal to d?
False
Suppose n = 6*n + 5*x - 10, 3*n + 8 = 4*x. Is n <= -0.11?
False
Suppose r = 2*w - 0*w + 10, -5*r + w = -14. Suppose r*i + h = -2, -5*h + 0 = 3*i + 3. Let l = -2572/13 + 198. Is l at least as big as i?
True
Let q = 6/13 + -8/13. Do 1 and q have different values?
True
Suppose 4*i = -2*b + 3*b - 1, 3*i + b - 1 = 0. Let w = 83 - 329/4. Is i at least w?
False
Let d = 2 - 1. Let n be 2 + ((-18)/d)/3. Is -4 != n?
False
Let h = 1/5679 - -755302/28395. Let o be (1 + -19)/((-2)/3). Let p = o - h. Which is smaller: p or 0?
0
Let j = 0.6 + -0.7. Suppose -4*l - 3*r = -27, -4*l = -6*l + 2*r - 4. Which is greater: l or j?
l
Let g = -21/61 - -519/976. Is g equal to 1?
False
Let q(g) = g**2 + 3*g - 18. Let d be q(-6). Let j = -1049/10 + 105. Which is greater: j or d?
j
Let r(n) = 4*n**2 - 2*n + 1. Let k be r(1). Which is smaller: k or 1?
1
Let g(r) = -r. Let k be g(-6). Let y be ((-4)/k)/((-2)/(-6)). Let w = 158/33 + -60/11. Is y at least w?
False
Let b = -5 - -3. Which is greater: b or 1?
1
Suppose -4*m = -k - 29, -k + 13 = -m + 4*m. Which is bigger: m or 4?
m
Let b be (-4)/(-5)*2/2*-5. Let l be 0*(-1)/1 - -10. Suppose l = -5*h - 0*h. Which is smaller: h or b?
b
Let j = 5/13 - 801/2015. Which is smaller: 0 or j?
j
Suppose -1 = y - 4. Suppose 2 - y = l. Is l bigger than 2/7?
False
Let m be 10*-1*(-2)/4. Suppose -1 = m*f + 4. Let i be (-18)/4 - f/(-2). Which is bigger: -6 or i?
i
Suppose 0 = -5*u - h - 2*h - 20, -3*u - 4*h - 12 = 0. Suppose -5*i + 3*t = 37, -6*i + i + 4*t - 41 = 0. Which is smaller: u or i?
i
Suppose -4*z = -4*k - 16, 8*k - 2 = 4*k - 5*z. Which is bigger: k or 0?
0
Let c = 4.3 - 2.3. Is -0.01 equal to c?
False
Let h = -751 + 8267/11. Is h not equal to 0?
True
Let c be (-10 - -8) + 1 + 0. Let h be c + 4/(2 - -2). Which is greater: h or 3?
3
Let c = 135.9 - 130. Let i = 6 - c. Is 3 bigger than i?
True
Let m be 2/36*(-2 + 6). Let a(g) = -g**3 - 13*g**2 - 11*g + 15. Let j be a(-12). Let z be j/6*(-8)/(-4). Are m and z non-equal?
True
Suppose 3*o = -3 + 6. Is -1 less than or equal to o?
True
Let h(t) = 2*t - 6. Let k be h(7). Let b = -5 + k. Let i(v) = -v - 7. Let u be i(-6). Is u smaller than b?
True
Let t = -3.8 + 2.8. Suppose -2*g = 17 - 3. Let m be (-6)/(-10) + g/20. Is m >= t?
True
Suppose 0 = o + u, -3*u - 2*u = 2*o + 12. Let b(t) = -t - 8. Let i be b(o). Is i greater than or equal to -12?
True
Suppose 2*x = 4*t - 42, t - 2*t - x + 6 = 0. Let m be 1*(1101/t - 2). Let b = m + -119. Are 0 and b nonequal?
True
Let k = -50 + 59. Let x be (-6)/(1 - -1)*-3. Is x at most k?
True
Let x be 4/22 - 64/(-11). Suppose 4*z = 16, -2*s = -4*s - 2*z + x. Which is greater: -2/19 or s?
-2/19
Let r be (1/(-4) - (-6)/(-4)) + 2. Is 2 >= r?
True
Suppose 4*t - 12 = 2*m, -3*m - 20 = -5*t + 2*m. Suppose -t*j = -j - 1. Let u = 1 - 1.1. Is j greater than u?
True
Let s = -18 - -17. Is s greater than or equal to -3/2?
True
Let o be (4/2 - 2)/(3 + -1). Which is greater: 2/123 or o?
2/123
Let p be (-1198)/17068*75/30. Let y = -1/1004 + p. Is y <= 1?
True
Let s(u) = u**3 - 5*u**2 - 6*u. Let b be -4*3/(-10)*5. Let n be s(b). Are 2/5 and n equal?
False
Let q = -2/4187 - 37595/184228. Let y = 487/2596 + q. Let c = y + 185/472. Is c bigger than -1?
True
Let o be (-123)/(-18) + 3*5/(-45). Is o < 8?
True
Let s(z) = -z**2 + 2*z - 5. Let m be s(0). Is -6 smaller than m?
True
Suppose 69*k - 66*k + 39 = 0. Is -8 greater than k?
True
Suppose -14*r + 11*r + 30 = 0. Which is greater: 9 or r?
r
Let q = -2.2 + 1.1. Is 0 at least as big as q?
True
Let s = 114 + -112. Which is smaller: 15/11 or s?
15/11
Let o(h) be the first derivative of 10/3*h**3 + 4*h**2 + 1/4*h**4 - 8*h + 1. Let d be o(-9). Which is greater: 2/11 or d?
d
Suppose 10 = 4*l - y, 9 = 5*l + 5*y - 16. Which is greater: 2 or l?
l
Suppose -2*i + 56 = 5*i. Which is smaller: 7 or i?
7
Let p = 0 + 1. Let i be -3 - (-840)/(-132)*(-2)/4. Is i smaller than p?
True
Suppose -4*y - 5*h + 2*h = -47, 4*h - 59 = -5*y. Which is bigger: 10 or y?
y
Let p(n) = -n**3 + 2*n**2 - 2*n + 2. Let u be p(2). Let c be (3 + -2)/(u/(-2)). Suppose 2 = s + g, s - g = -4*g + 2. Which is greater: s or c?
s
Suppose 4*u = 3*u - 2, -v - 5*u = -19. Let n be 6/27 + v/(-9). Which is smaller: 1 or n?
n
Let h be 2/4 + 7/(-70). Which is smaller: h or -7?
-7
Suppose 0*p + 3*p - 9 = 0. Suppose d + d = 0. Which is smaller: d or p?
d
Suppose 16 = c + 1. Let m = c - 14. Let r = -1/31 - -69/217. Which is greater: m or r?
m
Suppose 1 = w, -2*w + 0 = u - 2. Let r = u - -1. Let l be (-2)/4*(-1)/(-3). Which is bigger: r or l?
r
Let f(z) = 2*z. Let j be f(1). Suppose 3*a + j*t = -3*t + 17, -t = -2*a + 33. Do 14 and a have the same value?
True
Let t = -1.9 + -0.1. Let w = -0.05 + -0.06. Is t at least w?
False
Let z = -1.42 + -52.58. Is z less than -1/3?
True
Let x = -20 + 19. Which is smaller: x or 3/10?
x
Suppose -1 = 4*d + 5*f, 5*d - 3*f = -1 + 9. Let s = -0.3 - -1.3. Let c = 0 - s. Which is greater: d or c?
d
Let f = -64 + 193/3. Is 0 < f?
True
Let n be 0 - (-3)/(-2)*1. Which is bigger: n or 1/4?
1/4
Let f(d) = -d**3 + 6*d**2 - 3*d - 9. Let g be f(5). Which is smaller: g or 2/51?
2/51
Let o = -9 - -10. Let a = -3 + o. Which is smaller: a or -5/4?
a
Let k = 28 + -18. Suppose -19 = -5*h + 61. Let m be h/50*k/4. Which is greater: m or 0?
m
Suppose -2*m + 2 = -14. Suppose -2*n - 2*n = m. Is -3 < n?
True
Let p = 0.15 - 0.05. Let i = 3681 + -10915/3. Let w = i - 42. Is w >= p?
True
Let t(r) = -12*r**3 - r**2 - r - 1. Let u be t(-1). Let l = u - 8. Which is greater: l or 4?
4
Let h be 432/(-32) + 1/(-2). Which is smaller: h or -2?
h
Let a = 12 - 13. Is a at least as big as 0.03?
False
Let z = 25 - 14. Let l = z - 14. Which is smaller: -7/2 or l?
-7/2
Let w be (4/18)/((-14)/(-6)). Which is greater: 0 or w?
w
Suppose 3*i + 2*s = 2*i - 11, -5*i - 5*s - 50 = 0. Let b be 0 + (-3)/((-3)/34). Let x be 3/i - b/(-66). Which is smaller: x or -1?
-1
Let l be (-12)/45*6/4. Let a = 2 + -3. Let n = a + 1.2. Which is bigger: l or n?
n
Let s = -0.1 + -4.9. Let j = -4.9 - s. Let r = 0.3 + -4.3. Is j > r?
True
Let u = -363567211/72 - -5049464. Let s = u + 965/9. Let j = s - 4915/184. Is j at most 1?
True
Let h be 4/3*(-6)/(-4). Suppose -h*r + 3 = -i - 1, 0 = -5*r + 4*i + 10. Suppose d + 5 = 5*s, 5 = 4*s + s + r*d. Is 2/13 smaller than s?
True
Let d be (-2)/6 - 7/(-12). Which is smaller: d or 42?
d
Suppose -5*a = 15, -4*h + 0*h + a - 13 = 0. Let k(q) = q**3 - 6*q**2 + 7*q. Let p be k(4). Is p bigger than h?
False
Let v = -45 + 44. Which is bigger: -2/3 or v?
-2/3
Let x = -6 - -8. Let g be (-2)/x*(-1)/3. Suppose 0 = 3*m + 6 - 9. Which is bigger: g or m?
m
Let z = -0.17 - -0.11. Let m = 1.06 + z. Is 6 != m?
True
Let b = -5 - -12. Suppose -5*p + 18 + b = 0. Suppose -2*k + 0*z = -3*z - 4, 4*k - p*z = 6. Is k < 1/3?
True
Let g be (88/72)/(1/(-6)). Let d = g - -7. Is 0.1 not equal to d?
True
Let b be (((-8)/(-12))/1)/((-1)/93). Is -60 <= b?
False
Let b be (1 - 1)*4/(-8). Suppose 4*o - 10 = 2, b = -n - 5*o + 9. Let j(f) = -f - 6. Let v be j(n). Which is greater: v or -3/5?
v
Let a = -26.25 - -26. Let n = a + 0.44. Is -1 less than n?
True
Let h = 7 - 4. Suppose -h - 4 = -4*s - 3*w, -4*s + 3*w = -25. Let x be (-3)/(-12) + 1/s. Which is greater: 0.6 or x?
0.6
Let d = 427/5 - 86. Suppose 15 = -3*i + 2*i - 4*j, 5*j + 20 = 0. Let b = -1 + i. Which is smaller: d or b?
d
Suppose 4*o + 4*f = 0, 0*o + 4*f = 3*o. Which is smaller: 9 or o?
o
Let v = 17.2 - -0.2. Let y = v + -17. Which is smaller: 3 or y?
y
Let k = -1.7 + 0.7. Which is smaller: -7 or k?
-7
Suppose -4*m + 2 = 3*j + 5, -5*j - m + 12 = 0. Let u be (2 - -4)/j - 2. Do 0.01 and u have different values?
True
Let c = 1 + -1. Let y be 2 + -1 + (-33)/39. Are y and c non-equal?
True
Let h be (-1)/4 + 9/(-12). Let y be (1 + 2 + 0)/h. Is y bigger than -3?
False
Let l = -180 - -180. Which is smaller: l or 12/53?
l
Suppose 2*m - 7 = 3. Are 3 and m unequal?
True
Let c be (8/(-3))/1 - -1. Let d = 1 + 3. Suppose -4*x + 6*x + d = 0. Which is smaller: x or c?
x
Let z be ((-60)/35)/((-2)/7). Let o(c) = c**3 - 6*c**2 - c + 3. Let q be o(z). Which is greater: -2 or q?
-2
Let u(f) = f + 12. Let l be u(-5). Let h(a) = a + 3. Let n be h(l). Let y