s n smaller than 7?
False
Let u(v) = 12*v**2. Let d be u(-1). Is 12 at least as big as d?
True
Let l(c) = -c**3 - 9*c**2 - 7*c + 8. Let u be l(-8). Let w(m) = -m**3 - m**2 - m + 6. Let n be w(u). Is 5 > n?
False
Let o(t) = -7*t + 35. Let d be o(5). Is -4/35 not equal to d?
True
Let b be 171/(-1005) - 5/(-25). Which is greater: b or 0?
b
Suppose 0 = -2*j + 9 - 1. Suppose j*m - 2*c + 13 = 1, 5*c = -m + 8. Let a be (m/7)/(15/7). Are a and -1 non-equal?
True
Let h be (2 - 3) + (2 - 2). Let d be 8 - h - (0 - 1). Let i be (15/d)/(6/(-16)). Which is smaller: i or -3?
i
Suppose -2*v = -v. Suppose v = 2*o - 7 - 3. Suppose 0 = 3*f - 15, o*l = f - 0*f + 15. Which is greater: 0.2 or l?
l
Suppose -5*m + 7 = -3*a + 52, m + 4*a = -9. Let b = -30 + 20. Which is smaller: m or b?
b
Let h = 46 + 3. Let z = h - 197/4. Which is smaller: z or 3/5?
z
Suppose 3*x = -3*t - x - 2, 0 = -4*t + x - 9. Is t != -6?
True
Let s = -1.2 - -1. Let f = -0.3 - s. Let v(n) = n**2 - 12*n + 21. Let x be v(10). Is x > f?
True
Let b = 0.04 + 2.96. Let q = 2.8 - b. Which is smaller: 0 or q?
q
Let x = 77/6 - 17. Is x <= -5?
False
Suppose u = 2*u - 2. Let i = 19.44 - 19. Let j = i + -0.04. Is j equal to u?
False
Suppose -j = -4*w + 24, -3*j + 8*j + 10 = -2*w. Suppose 5*x + 29 + 4 = -4*y, 0 = -x + w*y + 5. Which is greater: -3 or x?
-3
Let w = 9.5 - 14. Let k = -6.4 - w. Let o = -2 - k. Which is smaller: -0.2 or o?
-0.2
Let r(x) = -x**2 - 2*x + 6. Let h be r(-3). Is h bigger than 26/7?
False
Suppose 5 = 3*d + p, -3*d + 2*d - p + 1 = 0. Suppose h + 15 = 2*u, u - 3 - 1 = -3*h. Let m be d/9 - u/(-9). Which is bigger: 2/9 or m?
m
Let w be (-2)/15 - (-102)/90. Does w = 1/27?
False
Let y be ((-20)/(-70))/((-4)/(-7)). Is y at least -1?
True
Let a = 0.559 - 0.019. Let d = a + -0.04. Let i = d - 0.6. Which is smaller: 0 or i?
i
Let a = 10.2 + -10. Which is smaller: 1 or a?
a
Suppose -7*b + 11*b - 4 = 0. Is 1/47 at least as big as b?
False
Let l be (-4)/(-2) + (-91)/35. Suppose 0 = 2*i - 3*i. Is i > l?
True
Let z(y) = -y**2 - 3*y + 4. Let g be z(-4). Let d(n) = -15*n - 119. Let q be d(-8). Is g equal to q?
False
Let k = -1.067 - -0.067. Which is bigger: -16 or k?
k
Suppose -5*y + 4*n + 5 = -4, 3 = -3*n. Let a = 1 + y. Suppose c + 19 = u + 3*u, 0 = -4*u + a*c + 18. Is 5 less than u?
False
Let m be (1 + -1)*(-4)/(-8). Let u be 2/10 - 14/(-35). Which is bigger: m or u?
u
Let c(u) = u**2 + 8*u + 4. Let d be c(-8). Suppose r + r = -d. Let h be ((-3)/(-9))/(r/(-4)). Which is smaller: h or 0.4?
0.4
Let w be -4 - (-19)/(209/30). Is w < -1?
True
Let r be 16/(-60)*(4/56)/1. Which is bigger: 1/3 or r?
1/3
Let d be ((-8)/(-12))/(7/(-3)). Which is smaller: -7 or d?
-7
Let g = 5.2 + -5.2. Which is greater: 32 or g?
32
Suppose -5*o + 2*o - 15 = 0. Let b(w) = 2*w - 26. Let h be b(11). Is h less than o?
False
Let o(p) = -p. Let z be o(4). Let l = z + 12. Are 7 and l unequal?
True
Let k(w) = w + 17. Let c be k(-9). Suppose -4*y = -h - 2, -5 = -c*y + 3*y. Let u be 2 + -3 + 4/2. Which is bigger: u or h?
h
Let n be 3/4 - 2/(-8). Which is bigger: 1/46 or n?
n
Let y = 41 + -5. Which is smaller: 37 or y?
y
Let u(v) = -v**3 + 4*v**2 - 2*v + 4. Let f be u(4). Is f less than or equal to -2?
True
Let r = 0.3 + -0.2. Let f = -0.01 - 0.02. Let s = -0.03 - f. Is s at most as big as r?
True
Let h be (-7)/12 - (-3)/12. Suppose o = 4*a - 0 - 7, a = 2*o - 7. Suppose -3*m = o*g, g = m - 3*m. Which is greater: m or h?
m
Let n = -1 - -5. Suppose 0 = -2*u + n*u. Suppose -3*d + 3*b = b - 3, -20 = 5*d + 5*b. Is d less than u?
True
Let o = 0.6 + 1.4. Let z = 8 + -8.1. Let i = 0.9 - z. Which is smaller: i or o?
i
Let o be (-1)/3 - 79810/225. Let t = 355 + o. Is 1 < t?
False
Let a = -67 + 92. Which is greater: a or 28?
28
Let g(q) = -13*q - 9. Let r(n) = -7*n - 4. Let w(l) = 6*g(l) - 11*r(l). Let z be w(-10). Let b be (1 + -2)*(-4)/(-14). Is b equal to z?
False
Let c = 7.85 - -0.05. Let o = c - 8. Which is greater: o or 2/5?
2/5
Suppose -7*o = 822 - 52. Which is smaller: o or -109?
o
Let z = 0.66 - 9.66. Let f = 1 + -1. Are f and z non-equal?
True
Let h be ((-6 - -3) + 11)/(-1). Which is smaller: h or -6?
h
Let w be -1*(3/57)/(-1). Is w less than or equal to -1?
False
Let z = 157/4 - 39. Which is bigger: z or -1?
z
Let p = 7 - 7.03. Let q = 3.97 - p. Let m be 20/21 + ((-165)/(-35) - 5). Are m and q nonequal?
True
Let l be (-15 - 0/1)*1. Let n be (-3)/l - 6/5. Which is greater: n or 0?
0
Let i be 0 + 2/(-4)*-2. Let g(b) = -b**3 + 4*b**2 - 3. Let n be g(4). Let j be (n*(-8)/(-6))/(-2). Is j at least as big as i?
True
Let o be -3 - ((-5 - -2) + 2). Let u(h) = -h**2 + 7*h. Suppose 0 = -3*k, -y + k + 2 + 5 = 0. Let i be u(y). Is i <= o?
False
Let g = -13/20 - -3/20. Which is bigger: g or 0.06?
0.06
Let c = -0.7 - 0.3. Let j be (-2)/1 + 3 + 0. Suppose 2*d - 4 = -2*v + 2, j = -d + v. Which is smaller: c or d?
c
Suppose -3*v + 16 = 4. Let l be -3 + v - 10/8. Let q be 13/(-18) - (-2)/4. Is q bigger than l?
True
Suppose 5*j = 3*c + 24 + 6, 0 = 4*j + c - 24. Suppose -1 = -5*t - j. Let g be (-5)/(-1)*t + 3. Is -1/4 smaller than g?
False
Let c(y) = 4*y - 1. Let v be c(1). Let z be 12/9*v/2. Let r(h) = h**2 + 5*h + 4. Let g be r(-4). Which is greater: g or z?
z
Let t = -177 + 179.03. Let k = 0.03 - t. Let g be (-4)/6*(-9)/6. Are k and g unequal?
True
Let v = 29 + -30. Let i = 2 - 0. Suppose i*p + 6 = -p. Is v less than p?
False
Let q be (4/(-1))/(-2) - 2. Let u be (-2 - -1)*2/8*-2. Which is greater: q or u?
u
Let v be -103 + -5 + 1*-2. Let h be 8/30*33/v. Which is greater: h or 1/2?
1/2
Let d be -3*(0 + (-5)/(-9)). Is d greater than or equal to -2?
True
Let n = 3 + -4. Suppose m - 6 = -m. Let x be ((-12)/14)/m*n. Which is greater: -1 or x?
x
Suppose -5*t - 3*o = -150, t - 2*o - 52 = -9. Let l = t - 431/13. Let n = 0 + 0. Which is smaller: l or n?
l
Let f = 6 - 6.2. Let d = f + 0.3. Is 0.1 less than d?
False
Let z(q) = q**2 - 10*q - 11. Let u be z(11). Which is smaller: 4/7 or u?
u
Let g = -9.18 - -0.18. Let b = g + 9.1. Which is greater: b or -0.3?
b
Let u be ((-12)/(-15))/(1/10). Let a = 6 - 1. Suppose 2*w - 7*w + 3*p = 2, a*p + u = -3*w. Which is smaller: -2/9 or w?
w
Suppose -v - 4*v + 10 = 0. Is 4/5 at least as big as v?
False
Let j = -0.11 - -0.24. Let g = 3/10 - 1/70. Is j less than or equal to g?
True
Let q be (-22)/8 - (-1)/(-4). Let s = q + 4. Let g = 39.7 + -40. Which is bigger: g or s?
s
Let g = 118.94 + -118. Let h = g + 0.06. Is h at most as big as 2/3?
False
Suppose 3 = 2*h - 3*h. Let w = 24 + -28. Which is greater: w or h?
h
Let c = -4 - -22. Let a be 0*2/c*3. Which is smaller: 0.5 or a?
a
Suppose 3*q - 2*t + 0*t = 21, 0 = -4*q + 4*t + 32. Suppose q*r = 5*m - 0 - 5, 4*m - 1 = r. Which is smaller: m or 1/4?
m
Suppose 15 = 2*b + 5, 3*b = j + 14. Let f be (4/2)/2*1. Is f at most as big as j?
True
Suppose 11*g + 112 = 4*g. Let n = g + 110/7. Are n and 5 non-equal?
True
Suppose 4*v + 3*s - 19 = 0, -9 = 5*s - 2*s. Let t = v + -2. Suppose -t*u = -4*d + d - 24, 3*u = 2*d + 15. Are -3 and d nonequal?
False
Let r = 15.1 + -15. Which is smaller: 0 or r?
0
Suppose 0 = -t - 0 + 2. Suppose -t*z = 3*z - 10. Is z <= 4?
True
Let r be 1*691/(-411) - -2. Let o = -2/137 - r. Which is bigger: -2 or o?
o
Let d = 0.8 + -0.2. Which is bigger: d or 2?
2
Let r = 2.73 - 2.8. Let c = -1.47 + 1.4. Let b = r - c. Which is greater: b or -3/2?
b
Let r(k) = -k**2 + 4*k + 4. Let u be r(5). Let q = -23 - -16. Let a = 7 + q. Which is smaller: a or u?
u
Suppose 0 = -5*b - y - 3 + 10, -5*y + 7 = -3*b. Is 4/13 less than b?
True
Let o be 2/13 + (-132)/13. Let w = o + 10. Is w equal to 1?
False
Let w = -4.1 - -2.8. Let t = 1.2 + w. Let k be ((-14)/20 + 1)*2. Are t and k unequal?
True
Let k = 31 + -20. Let h = -12 + k. Are h and -3/8 equal?
False
Let f be -1 - (0 + 1)*-3. Suppose 0 = 2*r + m - 10 + 33, 0 = -3*m - 15. Let x = r - -11. Do x and f have the same value?
True
Let a be (-48)/(-9) + 10/15. Let s = 7 - a. Are s and 7/3 equal?
False
Suppose 9 = -4*j + 5*j. Suppose x - 2*r - 1 = 2*r, 5*x - 53 = -4*r. Is j greater than or equal to x?
True
Suppose 2*j - 5*k + 9 = -2, 1 = 5*j - 3*k. Let u = j - -3. Suppose n - 22 = -4*q - u, 3*q = -n + 14. Is n greater than 4?
True
Let z = -4839/58 + 167/2. Which is smaller: z or 0?
0
Suppose -12 + 6 = 2*p. Which is bigger: p or -17/5?
p
Let