 = d - 7. Is l smaller than d?
False
Let d be (-1)/(-2) + 3/6. Let p be (-64)/6 - (-12)/18. Let s be 8/6 + p/(-15). Is s not equal to d?
True
Let z(y) = -y**3 - 7*y**2 - 7*y - 7. Let s be z(-6). Which is bigger: s or -4?
s
Let b = 1.4 + -1.6. Which is smaller: 0 or b?
b
Let p = -0.35 - -0.52. Let g = 0.26 - p. Is g not equal to -2/7?
True
Let x(p) = -p**3 - 5*p**2 - 6*p + 1. Let m be x(-4). Is m < -4?
False
Suppose 0*p - 10 = 2*p. Let r(v) = v - 9. Let d be r(4). Is p at least d?
True
Let f = -20 - -14. Let z(g) = -7*g**3 - g. Let h be z(1). Are f and h unequal?
True
Let t = -8 - -10. Suppose -5*o + 2 + 1 = -4*s, -4*s = 4*o - 24. Suppose o*q = -q - 4. Do q and t have different values?
True
Let r = -8.3 - -0.3. Let i = r + 5. Let w = i - -4. Is 2 less than or equal to w?
False
Let t = 52 - 52.05. Is t bigger than 3?
False
Let t(n) = -n**2 + 11*n - 7. Let v be t(6). Let s = v + -68/3. Is 1 less than s?
False
Let y(j) = -j**2 - 5*j. Let n be y(-5). Let t be 4 + (-5)/(15/6). Which is greater: n or t?
t
Let g = 1/86 + -131/172. Is g at least as big as 0?
False
Let z = -38 + 33. Is z greater than 0?
False
Let w be 6/(-27) - (-52)/153. Let a = 0.154 + -0.054. Is w at least as big as a?
True
Suppose f = -1 + 2. Which is smaller: f or -2/5?
-2/5
Let g = -1.61 + 2.61. Let q = -0.08 - 3.92. Let a = -3.4 - q. Which is smaller: g or a?
a
Let h = 0 - -1. Let q = h + -2. Let w be (1 - 0)*(10 - 9). Which is smaller: w or q?
q
Let r(m) be the first derivative of -m**4/12 + m**3/3 + 3*m + 1. Let a(s) be the first derivative of r(s). Let u be a(2). Which is smaller: 2/19 or u?
u
Suppose -5*o + 5*t + 15 = 0, 0*o + 3*o = 4*t + 13. Let c = 0 + o. Which is bigger: 0 or c?
0
Let s = 43 - 48. Let r = 3 - 8. Is s equal to r?
True
Let c = 22342/609 + -4/203. Suppose r - 6*r - 180 = 0. Let j = r + c. Which is smaller: j or 0?
0
Let a be (0 + 5)*3/5. Suppose 1 = -a*s - 2. Which is smaller: -2/17 or s?
s
Let c = 11 - 8. Suppose -c = n - 2. Do n and 1 have different values?
True
Let m = 7 - 2. Suppose -7 = 3*f - w, -6 = -2*f - 4*w - 34. Let u = m + f. Is -1/7 less than or equal to u?
True
Let x = -428 - -728. Let v = 298.03 - x. Let t = v + -0.03. Is t at least -2/7?
False
Suppose p - 12 = -3*p. Let l = 5 - p. Suppose 0 = -0*t + 2*t + l. Is t at least -5/3?
True
Let x(p) = 3*p**2 - 10*p + 14. Let l be x(5). Is l <= 39?
True
Let l(n) = 8*n**3 - n + 1. Let v be l(1). Let d(f) = -4*f - 2. Let y be d(-2). Suppose y = t - 2. Is v <= t?
True
Let i = 1135 - 5694/5. Which is smaller: -1 or i?
i
Let r = -16 + 15. Let b = -2 - -2. Is b equal to r?
False
Let q = 5 - 9. Let c be q/14*(-8)/(-64). Is -1 less than or equal to c?
True
Suppose 4*z = -5*k - 15, -5*k + 6 + 9 = -2*z. Let a be (2 + -1)*5 - 2. Which is smaller: k or a?
k
Let g = -0.242 - -0.042. Is 10 at most as big as g?
False
Suppose -2*s + 6 = s. Let v = 4 - s. Suppose -1 = -p + n, 4 - 2 = 3*p - v*n. Are p and -1/3 unequal?
True
Let s = 1 + -3. Suppose 0 = 16*y - 11*y + 10. Is y bigger than s?
False
Let c(d) = d. Let a be c(-1). Let o be 9/((-2)/(-16)*6). Suppose -2*g = 2*g + o. Which is smaller: g or a?
g
Suppose -2*s + 3*s = 12. Let v be (s/3 + -3)*0. Which is bigger: 3/4 or v?
3/4
Let a(o) = -o. Let k(d) = d. Let t(u) = 3*a(u) + 4*k(u). Let p be t(0). Suppose 1 = -p*f - f. Is f > -1/3?
False
Let m be 291*1/(-190) + 1. Let d = m - -12/19. Is d greater than or equal to 0?
True
Let m = -0.3 - -0.6. Does -4 = m?
False
Let a = -0.07 - -1.97. Let n = -1 + a. Let l = n + 0.1. Which is smaller: -1 or l?
-1
Suppose -3*c - 3*i + 7 = c, 28 = 4*c - 4*i. Let q be 65/100 + c/(-10). Are q and 1 equal?
False
Let a = -170 + 275. Let y be 1/(-5)*a/(-28). Is 0 at least as big as y?
False
Let s(c) = -c. Let o be s(1). Is 2 at most o?
False
Suppose -f - 11 = -5*o, -f + 4*o = o + 15. Let k be 14*((-60)/f - 2). Let z be (-6)/k*2/(-4). Is z smaller than -5?
False
Let t = 5 + -5. Let i be (-20)/(-28)*(-7)/6. Which is bigger: t or i?
t
Let p = -41.3 - -41.3. Let r be 2/81*1 + 0. Which is greater: p or r?
r
Let l = -19/68 - -1/34. Let i be 3/(-15) + 1/5. Which is greater: i or l?
i
Let q(s) = -s**3 - 8*s**2 - 9*s - 10. Let f be q(-7). Suppose 2*i + 3*m = -m - f, i = 3*m + 8. Let p = 2 + i. Which is smaller: p or 5?
p
Let w be 52/120 + 1/(-4). Let q = w + 1/15. Let f(o) = o + 6. Let g be f(-6). Is g equal to q?
False
Let n = -5 + 8. Let p = -9 + n. Let f = p - -6. Does f = 3?
False
Let t = 5.6 - 10.2. Which is bigger: t or 0.1?
0.1
Let a = 17 - 18. Which is smaller: 1/42 or a?
a
Let s be (-2)/4 + (-188)/72. Let b = 158/45 + s. Which is smaller: b or 1/8?
1/8
Let z(p) be the second derivative of p**5/20 - p**4/3 + p**3/6 - 2*p**2 - 2*p. Let q be z(4). Suppose -n + 8 = -q*n. Is 7 <= n?
True
Let b = -3 - -2. Let q(u) = u + 2. Let l be q(0). Let t be (-16)/(-10) + l*b. Which is smaller: -0.1 or t?
t
Let x(d) = d**3 - 11*d**2 + 10*d + 2. Let g be x(10). Let t be (2 - -24)/2 + -1. Let z = t - 5. Is z < g?
False
Let p = -4.4 - -4. Is p at least as big as -2/5?
True
Let q = -81 + 167/2. Suppose 5*o = -0 + 10. Let r be (-2)/(-4) + 5/o. Do r and q have the same value?
False
Suppose s - 4*v + 0 = 3, 4*v = -4. Let o(x) = -x**2 + 3*x - 1. Suppose 0 = -l - 2*l + 9. Let n be o(l). Is s greater than n?
False
Let d be 4/(-10) - (-54)/10. Suppose -d*t = -o - 2*o + 1, -6 = -4*t - o. Let s be ((-1)/3)/(4/4). Which is smaller: s or t?
s
Let s(y) = -y**3 + 5*y**2 + y + 1. Let u be s(5). Let z be 6/22*u/(-9). Let t be 2/(-1 - -3 - 4). Which is smaller: t or z?
t
Suppose -2*m + 6*m = 4. Let f = -2/9 + 5/9. Which is smaller: f or m?
f
Let q be 2/(-4)*(1 - -1). Let u = -21 - 51. Let s be 14/5 + u/18. Which is smaller: s or q?
s
Let u = -2177 + 398393/183. Which is bigger: u or 0?
u
Let m be (20/6)/((-1)/(-3)). Let u be (-9)/(-5 + (5 - 1)). Which is smaller: u or m?
u
Let r be (-117)/30 - (-1)/(-4)*-2. Is r smaller than -3?
True
Let q(p) = -p**3 - 6*p**2 - 7*p - 6. Let a be q(-5). Suppose 3*s = 4*h + h + 15, -a*s = 4*h + 12. Suppose 4*l - l = -6. Which is smaller: h or l?
h
Let d = -7 + 15. Let c(r) = r**2 - 7*r - 8. Let g be c(d). Let q be (12/(-56))/1*-2. Do g and q have the same value?
False
Let g be (-2 - 4/(-6))/(-18). Is g > -1?
True
Let q = 18 + -23. Which is smaller: q or 3?
q
Let x be 12/40 + (2 - 6/3). Suppose 0 = 4*z + 4, -4*k + 6*z - 2*z = -8. Which is smaller: k or x?
x
Let f = -115 - -115. Is -1/4 smaller than f?
True
Let y(z) = z + 8. Let p(u) = -1. Let c(m) = 14*p(m) + 2*y(m). Let h be c(2). Let l = -6 - -11. Which is bigger: l or h?
h
Let o = -3.4 - -3.5. Which is bigger: o or 0.18?
0.18
Let d = 0.04 + 0.06. Let v be (2/3)/(2/(-3)). Let m be v*((-2)/2 + -2). Which is bigger: d or m?
m
Suppose -u - 2*s - 24 = -5*u, -3*s = 4*u - 44. Suppose u*p - 4*p = 20. Which is smaller: p or 4?
4
Let d = 9353006819/111110934 + 4394/122639. Let y = 158/151 - d. Let a = 83 + y. Is a less than or equal to 0?
True
Let u = -4 + 5. Suppose 6 = -2*c + 2. Let d = c - -4. Is d bigger than u?
True
Let v be (3/(-60))/((28/16)/(-7)). Is -1 equal to v?
False
Suppose z = y - 2, 4*z + 2 = 5*y - 11. Suppose -5*c = -3*c - 6. Suppose -c*s - z = -0. Is 0.2 smaller than s?
False
Suppose 29 = -5*h + 2*s - 117, 2*h = 2*s - 56. Which is smaller: h or -31?
-31
Let j = -2 - -1. Let r be 4/2 + j + 0. Is r != 1/3?
True
Let w = 58 + -46. Is -1/2 equal to w?
False
Let q = 0.5 + 0.5. Let k = 15 + -20. Is k smaller than q?
True
Let w = 15 + -25. Let a = w + 11. Which is greater: a or 1/10?
a
Let a = -110 + 170. Let m be ((-4)/(-6))/(8/a). Which is greater: m or 6?
6
Let r = -8.9 - 0.1. Let t = r - -9. Suppose 0 = -2*w + w. Is w at least t?
True
Let g(x) = 3*x + 12. Let o be g(-5). Which is greater: -7/2 or o?
o
Let k = 16.81 - -0.19. Let t = k + -16.6. Which is bigger: t or -2/9?
t
Let n be (-2)/(-5) - 1980/75. Is n at least as big as -1?
False
Suppose 11*q + 408 = -175. Is q smaller than -53?
False
Suppose -189 + 48 = -3*n. Which is smaller: 46 or n?
46
Let u be (1/10)/((-4)/2016). Let v = u - -50. Are -1/2 and v nonequal?
True
Suppose 0*w + 3*w + 3 = 0. Which is bigger: w or 4?
4
Let b = 49 - 59. Which is bigger: -9 or b?
-9
Suppose -6*i - 90 = -i. Let d = -15 - i. Are d and 2 unequal?
True
Suppose 0 = 3*t + 2*t - 25. Suppose t*w = 10, -2*v - 2 = 2*w - 6. Let j be (-10)/(-4) + 4/(-8). Is v less tha