i = -3*i. Let l be (1 - 0) + -1 + i. Suppose l = -u - 0 + 4. Are u and 4 equal?
True
Let s = -172 - -163. Is s >= -3/7?
False
Suppose -3*k - 28 = 4*c, -2*k + 5*c + 13 = -3*k. Let t be (-69)/12 + 1/(-4). Let l be (12/40)/(t/k). Is -1/4 >= l?
False
Suppose -13*y + 9*y + 52 = 0. Is y bigger than 13?
False
Suppose -2*m + 0*m = -14. Let i(w) = -w**3 + 7*w**2 - w + 7. Let f be i(m). Which is greater: -2/11 or f?
f
Let r(c) = -c + 7 + 6 - 12. Let j be r(5). Which is smaller: -3 or j?
j
Let j(g) = g - 13. Let m be j(-17). Let d be 3 + 1 + 78/m. Let c be 1*-1*(-1 + 0). Do d and c have different values?
True
Let g = -3 + 2. Let c(a) = -a**2 - 8*a. Let y be (-2)/(1 - 6/8). Let h be c(y). Is g bigger than h?
False
Let m(s) = -s**2 + s + 2. Let b be m(-3). Which is smaller: -11 or b?
-11
Let y = -228 + 8665/38. Which is smaller: 0 or y?
0
Let s = 23 - 18. Let j = 115.1 - 110. Let a = j - s. Which is smaller: 0 or a?
0
Let d = 2 - 3. Which is bigger: d or 0?
0
Let a be (-4)/10 + 6/(-10). Let o be (-33)/12 + 4 - a. Which is bigger: o or 1?
o
Let d = -7.3 - -6.9. Is 1 > d?
True
Let f be (-8)/(-6)*(-75)/10. Let j be 5/(-19)*f/(-25). Let c = 1 + -1. Which is bigger: j or c?
c
Let v be (-8)/(-5) - 4/(-10). Let j = 75 + -223/3. Is v not equal to j?
True
Let i(b) = b + 7. Let x be i(-6). Suppose x = 3*k - 2*y, -2*k - 9 = -k + 4*y. Let p be 56/(-10) + 3 - -1. Which is smaller: k or p?
p
Let d be (-46)/8 - (-3)/(-12). Let y be (-3)/18 - (-8)/d. Which is smaller: -2 or y?
-2
Let b = -13.5 - -14. Let k = b + -0.5. Which is smaller: k or 1.3?
k
Let n = -1469/1722 - 1/246. Suppose 3*f = 4*f + 3*p + 10, -20 = 5*f + 5*p. Do n and f have the same value?
False
Let b(t) = t**2 + 3*t + 3. Let k be b(-2). Let a be (9/(-15))/(2/(-20)). Suppose 0 = -3*z + a, -c + 6 = -4*z + 13. Is c >= k?
True
Let d(y) = -y**3 - 4*y**2 + 4. Let u be d(-4). Suppose r - 5*t - 4 = 0, 0 = -u*r + 2*t + 3*t + 1. Which is greater: -5/8 or r?
-5/8
Suppose 2*z = -2 + 16. Let c = 12 - z. Suppose 0 = 3*g + 17 - c. Which is bigger: g or -5?
g
Suppose -4*m + 5*f - 26 = 0, 0 = 4*m - f + 6*f + 6. Let y be ((-9)/6)/((-87)/m). Is -1 < y?
True
Suppose -2*f - 2*f - 12 = 2*u, 3*f = 2*u - 9. Suppose u*g = 5*g - 10. Which is smaller: g or 1?
1
Let f be (-6)/(-9) + (-16)/(-90)*39. Which is greater: 7 or f?
f
Let h be 0 - ((-3)/4)/3. Let g = 237 - 233. Is g smaller than h?
False
Let d = -0.6 + 0.1. Let u = 12.3 + 2.7. Let c = -15 + u. Which is smaller: c or d?
d
Let b = 0.4 + -0.35. Let o = b + 1.95. Let m = -253/3 - -85. Is o at least as big as m?
True
Let y(l) = l**3 - 2*l**2 + 4*l - 3. Let i be y(1). Is 0.035 smaller than i?
False
Let m = 7 - 10. Let r = -71 + 67. Let x = m - r. Is x at least as big as -2?
True
Let t = 0.15 + 0.05. Suppose 3*l + 8 = 2. Which is greater: t or l?
t
Let t(r) = r**2 + 3*r + 2. Let y(l) = l**2 + 4*l + 3. Let d(z) = -3*t(z) + 2*y(z). Let m be d(1). Which is greater: m or -3?
m
Let v = 19/4 - 5. Suppose 4*m + 6 = -22. Let d(p) = -2*p - 13. Let c be d(m). Which is bigger: v or c?
c
Let s = 170/3 + -57. Which is smaller: s or 44?
s
Let x(g) = 4*g - 13. Let a be x(10). Let v = a + -353/13. Is 0 > v?
True
Let k = 0.13 - -0.17. Let j = 0.2 - k. Is -4 less than j?
True
Let v(n) = -n**3 + 16*n**2 + 18*n - 20. Let s be v(17). Suppose -2*x - 8 = -0. Is x > s?
False
Let i = 0 - 0. Suppose -4*s - 5*a + 11 = -1, -5*s - a - 6 = 0. Which is greater: i or s?
i
Let g = -15/2 - -6. Suppose 20 = -4*k - 2*b, -4*k - b = -0*b + 24. Let o be 0 - k/(7/(-2)). Which is bigger: g or o?
g
Let q be (-12)/10*(-14)/112. Is -1 bigger than q?
False
Let q be 4*1/16*3. Is 1 != q?
True
Suppose i - 10 = 8. Let o be 6/i*2/(-11). Which is greater: -1 or o?
o
Let u be (-78)/(-180) + (-2)/12. Are 0 and u nonequal?
True
Suppose 8 + 0 = -4*f. Let v be (4/30)/(f/(-6)). Suppose 4*r - 3*r + m + 1 = 0, 4 = 4*r + 2*m. Are r and v equal?
False
Suppose -2*x + 3*m = x - 3, 4*m - 11 = x. Suppose 7 = 2*q - 1. Is q > x?
False
Let s be (-6)/(-4) - 4/(-8). Let q(x) = s*x - x**2 + 0 + 2*x**2 + 1. Let v be q(-2). Which is greater: v or 0.3?
v
Let k be 6 + (-30)/(10 + -5). Which is bigger: k or -9/10?
k
Let m = -5 + 1. Let q be (-1)/(-3) - 259/21. Let d = q + 13. Which is greater: m or d?
d
Let j(r) = -5*r - 1. Let v be j(-1). Suppose -d = d + v. Let u be -1*3*(-3)/(-9). Is d <= u?
True
Let y(n) = n**3 - 8*n**2 - 2*n - 2. Let c be y(8). Is -18 equal to c?
True
Let y(m) = m + 3. Let p be y(2). Are 6 and p non-equal?
True
Let c(d) = -d**2 - 12*d - 31. Let y be c(-8). Which is bigger: -1/11 or y?
y
Let r be 2 + 1 + 1/(-1)*4. Let m be ((-9)/12)/(14/8). Which is greater: r or m?
m
Let m = 10 - 5. Let h(q) = q - 6. Let l be h(m). Let u be l + 2 + -8 + 8. Is 1/5 < u?
True
Suppose -4*h - 19 = -7. Let z = 3 + -2. Is h less than or equal to z?
True
Suppose -5*u = 74 - 69. Is u equal to 45?
False
Let n = 20 - 21. Which is bigger: 0 or n?
0
Let s = -43 + 42. Are 6 and s nonequal?
True
Let o(p) = 2*p**2 - p - 1. Let q be o(1). Is 2/11 at least as big as q?
True
Let d = -0.4 + 0.3. Let t = 0.6 - -0.4. Which is greater: d or t?
t
Let g be 15/6*16/180. Which is smaller: g or 4/5?
g
Let v = -1 - -1. Let q = 39 - 40. Let m = q + v. Are -4/3 and m nonequal?
True
Let n(z) = -z**3 - 4*z**2 - 3*z - 6. Let d be n(-4). Suppose -5*m + 3*t = -30, 0*m - 4*t = -m + d. Suppose m*u - 5*u = 0. Which is smaller: u or -0.03?
-0.03
Let f = 0.08 + 3.92. Let o = 612/5 + -122. Is f greater than o?
True
Let l = 1.3 - 1.4. Is 0.02 less than or equal to l?
False
Let k be 2*(0 - 1/2). Suppose x + 2*f = -2*x + 13, 5*x - 4*f = 7. Let m be k - 1 - (-18)/x. Is 3 at least m?
False
Let i be 1/17*(-4 + 71). Let a = i + -4. Which is smaller: -1 or a?
-1
Suppose 83 = k - 2*l + 27, -2*l = 5*k - 220. Which is smaller: 47 or k?
k
Let x be (-69)/(-18) + -3 - 2. Is -0.1 < x?
False
Let s = 19 - 19.2. Is 2 > s?
True
Let v be (((-36)/(-105))/(-6))/((-2)/10). Let m = 3 + -2.9. Is v less than m?
False
Let m(t) = 3*t + 23. Let r(o) = o + 11. Let z(y) = 2*m(y) - 5*r(y). Let k = -9 - -18. Let p be z(k). Do p and 4/9 have the same value?
False
Let y be 2*2*(-10)/(-8). Let i be y*3/6*2. Let m be -2 + i/3 + 1. Is 1 at most as big as m?
False
Let o = 0.05 - 0.65. Let i = o + -0.4. Which is smaller: i or -4?
-4
Let s = 5 + -4. Let g = -2717/14 + 4029/14. Let p = 94 - g. Which is smaller: s or p?
p
Let r = 9 + -7. Let t = r - -1. Is 0.1 less than t?
True
Let y(h) = h**3 + 4*h**2 - 6*h - 5. Let i = -4 - 1. Let g be y(i). Let z = -11/38 + -4/19. Which is smaller: z or g?
z
Suppose 3*w = 4*w - 2. Suppose -3*j = -x + 22, w*j + 2 = 3*x - 29. Which is bigger: 8 or x?
8
Let s = 2 + 1. Is s at least as big as 1?
True
Let v be (-1)/2 + (-2)/(-4). Let a be ((-1)/2)/(2/(-24)). Let f be a/8 + (-9)/12. Is v < f?
False
Suppose r = -3*j + 3, 10*j - 5*j + 3*r = 9. Which is greater: 12 or j?
12
Let a be (-6 - 4)*1*2. Let n(u) = u**2 + 3*u - 2. Let x be n(-6). Let p be (x/a)/((-1)/5). Do 3 and p have the same value?
False
Let r be 1/5 - (-14)/5. Let h be 0 - r - (1 + -13). Is h greater than 9?
False
Let v(o) be the third derivative of o**4/24 - 13*o**3/6 - 6*o**2. Let j be v(6). Does j = -11/2?
False
Let w = -32 - -32. Let k(x) = 2*x - 4 - 1 - 3*x. Let r be k(-4). Which is smaller: r or w?
r
Suppose i + 5*z = 20, 4*z + 0*z = 20. Let c = 5 + i. Which is smaller: c or -2/19?
-2/19
Let w = 2.4 + 0.6. Let l = w + -3.1. Let z = -4 - -7/2. Is z less than or equal to l?
True
Let a = -6 + 4. Let j = -3 + a. Let s = j - -5.3. Which is smaller: s or -1?
-1
Let a = 4 - -3. Let l(i) = -i**2 - 7*i - 3. Let h be l(-6). Suppose a*n = h*n. Is n smaller than -2/7?
False
Let d be ((0 - 0)/2)/2. Suppose 0 = k + 3*j - 15, k - 4*j + 20 = -d*k. Is k < -9?
False
Let p be 2/(-5) + 9/10. Let x be (0/(-1))/(-3)*(0 - -1). Which is bigger: x or p?
p
Let u = -25 + 47/2. Let p = 2 + -5. Which is smaller: u or p?
p
Let q be (-8 - -1)/((-15)/(-1)). Let n = 1/15 + q. Suppose -2*x + 3*s - 4*s - 5 = 0, 5*s + 25 = -3*x. Which is smaller: x or n?
n
Let a = -5 - -8. Let j = -18 - -20. Which is smaller: j or a?
j
Let i = -2 + 2.2. Let u = -0.08 + 0.38. Let y = i - u. Which is smaller: y or 0.4?
y
Let w(f) = -f**2 - 3*f + 4. Let u be w(-4). Is 3/28 less than u?
False
Suppose 2*m + 80 = -2*m. Is m equal to -1/4?
False
Let y(q) = 2*q. Let u be y(-3). Let z(s) = -5*s -