 -44.044. Is a smaller than -0.1?
True
Let o = -36 - -22. Let s = o + 16. Which is greater: s or -3?
s
Let k be 1/(-28)*31 + 2/8. Do k and 0 have different values?
True
Let q = 1 + -1. Let w be 847/(-147) - 1*-1. Let l = 24/7 + w. Is q greater than l?
True
Let y(r) = -r**3 + 9*r**2 - 8*r + 2. Let s be y(8). Suppose q = 4, -2*f + 4*q + 4 = s*f. Which is greater: 6 or f?
6
Let i be 2*(-1)/(-11) - (-155)/(-1034). Which is bigger: i or 1?
1
Let c = 1.19 - -14.11. Let b = c + -15. Is b bigger than 0?
True
Let r = -9 - -12. Suppose -6 = -r*d - 3. Is d equal to -1/9?
False
Let g = -49 + 45. Is g >= -5?
True
Let i = -1.95 - -2. Let u = 176 + -180.05. Let c = u + i. Is 2 less than or equal to c?
False
Let i(w) = w**3 - 7*w**2 + 6*w - 2. Let f be i(6). Suppose -4*h + 15 = -1. Suppose -7 = 5*z - h*r, -2*r + 11 = -5*z - 0*r. Is f greater than z?
True
Let v(a) = -a**3 + 6*a**2 + 7*a - 3. Suppose -3*r + 0*r = -3*f - 30, 5*r = -5*f + 20. Let p be v(r). Let u be (1 + 9/p)/(-2). Which is smaller: u or -1?
-1
Let r = -1/96 - -11/32. Which is smaller: r or 0.3?
0.3
Let i = 22/17 - 169/170. Suppose -7*n = -4*n. Which is smaller: n or i?
n
Let c = 0.07 + 0. Let h = -0.06 - -0.16. Which is smaller: c or h?
c
Suppose 0 = -5*w, 0 = -2*n - 2*n + 2*w - 28. Is -8 at most n?
True
Let m(f) = 3*f - 17. Let z be m(7). Suppose -z*l = -4, 7 = -o - o - 3*l. Is o less than -7/2?
True
Let n be 2/6*(15 + 3). Let v be 725/(-474)*n/21. Let t = -2/237 - v. Does t = 1?
False
Let y = 2.3 - 0.3. Let m be 0 - (-2)/2*-1. Which is bigger: y or m?
y
Let j be (210/(-273))/(2/12 + 0). Which is smaller: j or -4?
j
Let h = 11 - 19. Let d(o) = -3*o - 11. Let m(b) = b + 4. Let c(q) = 2*d(q) + 7*m(q). Let i be c(h). Which is greater: -1 or i?
-1
Suppose -2*h + 3*d - 3 = 0, -2*h - 25 = 3*h - 4*d. Let g be (-3)/(-1)*(-15)/h. Is 6 at most as big as g?
False
Let w = -5.2 - 3.3. Let g = w - -7. Let i = -0.5 + g. Which is smaller: i or -1/4?
i
Let j = 2 - 3. Let g be 9/(-21) - (-22)/35. Which is greater: j or g?
g
Let r = 1363/5 - 341. Let v = 154 + -86. Let f = v + r. Is 2 bigger than f?
True
Let r = -19 - -23. Let m be 3/r - (-36)/16. Which is smaller: 14/9 or m?
14/9
Suppose 24 = 3*l + 6. Suppose l = -2*u - 0. Is -2 at least as big as u?
True
Suppose -t = 3*t. Suppose 3*c - 4 = p - 0, t = -4*c + 8. Which is greater: 3 or p?
3
Let m = -43 + 20. Which is greater: 2 or m?
2
Let y = 4 - 3. Let q be (-11)/20 + 2/(-10). Is y < q?
False
Let k(s) = s**3 + 4*s**2 + 2*s. Let l be k(-4). Let m be 4/(-16) - (-22)/l. Which is smaller: m or -1?
m
Let g be (-267)/195 + (-6)/(-10). Let a = g - -57/91. Which is bigger: -1 or a?
a
Suppose -2 = -k - 2*k - 5*n, 4*n - 8 = 4*k. Which is smaller: -14 or k?
-14
Suppose 4*p + 5*d = 45, -29 = -5*p - 4*d + 16. Do 24/5 and p have different values?
True
Let x = -1121/4 + 827/3. Let i = x + 13/3. Which is smaller: -0.01 or i?
i
Let d = -0.36 - 18.64. Let o = d + 19. Let v be 5/(-14)*-2 + -1. Which is greater: v or o?
o
Let d(q) = -q**2 + 3*q + 1. Let c be d(3). Let m be 1 - (c/(-1) - -1). Let f = 0.039 + 3.961. Which is smaller: m or f?
m
Suppose z + d - 264 = 0, -d - 107 = -z + 167. Let r = z + -4037/15. Do r and 1 have the same value?
False
Let x(a) = -a - 5. Let g be (-4)/(-6)*21/(-2). Let n be x(g). Let j be 8/(-6)*n/8. Which is smaller: 1/3 or j?
j
Let i be 4/16 + (-6)/8. Which is smaller: -1 or i?
-1
Let i(s) be the third derivative of -s**4/12 - s**3/3 - 3*s**2. Let x be i(-4). Suppose -4*y + h - 8 = -x*y, -20 = 5*h. Is 5 at least y?
False
Let x be (-10 - -14)*4/2. Is 9 less than x?
False
Let m be -2*(6/4)/(-1). Suppose 0 = 4*a - m*u - 67, 0*a + 4*u + 46 = 2*a. Suppose 3*g = 3*y - g - 23, -3*y + a = -2*g. Are y and 1 equal?
True
Let p(t) = -2*t - 3. Let q be p(-2). Let h = q - 4. Let y be 1/h + (-6)/(-14). Is 0 at least as big as y?
False
Let j = 5 - 23/5. Let s(p) = -p**3 - 8*p**2 - 6*p + 6. Let u be s(-7). Is u >= j?
False
Suppose 0 = 12*n - 33*n - 21. Is n bigger than -4?
True
Let j be ((-2)/4*0)/(-2). Suppose j = 3*y - 4*y. Are -4/5 and y nonequal?
True
Suppose -d = -5*d - 40. Does d = -11?
False
Suppose 0 = 2*c + 2*c - 28. Suppose -29 = -2*d - 3*q, 0 = -3*d + 2*q + q + 6. Does d = c?
True
Let s be 2 - (5/2)/1. Let u = 0.74 + -0.7. Let h = -0.04 + u. Do h and s have different values?
True
Let f = 9 - -1. Let s = -5 + f. Which is smaller: 4 or s?
4
Let b(g) = g - 3. Let v be b(8). Let n be -1 + (-2 - -3)*v. Suppose 3*c + 2 - 14 = 0. Are c and n unequal?
False
Let l = 0.13 + -0.06. Let g = 0.03 + l. Which is greater: g or -0.2?
g
Let d(n) = n**2 + 9*n + 21. Let u be d(-4). Is u smaller than -8/29?
False
Let g be ((-1 - 0) + 0)*-1. Is -1/26 not equal to g?
True
Let w = -2 + 8. Suppose 0 = -2*k + w*k. Suppose t = 5*v - 0*v - 2, -5*t = -5*v + 10. Is k at least v?
True
Let u(r) = r**2 + 4*r - 7. Let p be u(-5). Let l = 1 - 3. Is l less than p?
False
Let s = -26419/51 + 518. Is 0 != s?
True
Let k be (-1)/((-9)/(-5) - 20/25). Is k <= 9?
True
Suppose 5*f + 17 = 2. Let n = f - -2. Is 1 > n?
True
Suppose 0 = -2*l + 13 + 3. Is l bigger than 6?
True
Let i = 0.2 + -0.14. Let y = i - 6.06. Is y > 1/2?
False
Let h be 1/2 + (-3)/9. Let j(p) = -p**2 + 3*p - 2. Let u be j(2). Is u at least as big as h?
False
Let l(g) = 3*g**3 - g**2 + g. Let h be l(1). Suppose 4*q = 5 + h. Is q less than 5/3?
False
Let c(l) = 2*l**2 + 11*l - 6. Let v be c(-5). Which is smaller: -12 or v?
-12
Let t be 124/84 - 4/(-6). Let a(p) = p**2 - p - 9. Let y be a(4). Is t bigger than y?
False
Let b be 4/(3/6 - 1). Which is smaller: b or -6?
b
Let q be 81/(-3) + 0/(-2). Suppose -7*h + 2*h - 10 = 0. Let j be h + 3*(-21)/q. Which is greater: 1 or j?
1
Suppose 0*w = -4*w + 3*o + 69, 3*w = -5*o + 30. Let r be (-476)/(-49) - (-4)/14. Let a be (-2)/(-3)*w/r. Which is bigger: a or -1?
a
Suppose -3*m - 4 = -4*m. Which is smaller: m or 5?
m
Let f(q) = -2*q - 1. Let j be f(-2). Is j < 3?
False
Let b = 14.4 + 1.6. Let v = b - 16.03. Is v > -0.1?
True
Let d = -0.04 - -0.14. Let m = -1.96 - -2. Let g = 0.26 + m. Is d >= g?
False
Let m = -3.429 + 0.029. Is m > 1?
False
Let b = -2389/16 - -149. Which is greater: 1 or b?
1
Let y = 0 - 0.1. Let f = y - -0.1. Let s = -53 + 46. Is f bigger than s?
True
Let f be (-1)/4 + (-13)/12. Which is smaller: f or 0?
f
Let z be -2 - -3 - (-792)/(-663). Let w = -1/13 - z. Is w at least as big as -1/3?
True
Suppose 8*q - 13*q = 0. Suppose -2*u + 8 = q, -3*u + 2*u - 21 = -5*j. Are 7 and j equal?
False
Let u(v) = -v**2 + 11*v. Let y be u(11). Let i = -38 - -38. Is y less than i?
False
Suppose 5*k + 2*a = 28, k = 4*a - a + 9. Suppose k*c - 4 = 4*c. Is 2/3 at least as big as c?
False
Let o(d) = d**3 + 8*d**2 - 12*d - 5. Let t be o(-8). Let p be 1/1 - t/(-14). Does p = 7?
False
Suppose 0 = -3*k + 29 + 31. Which is greater: 3 or k?
k
Let i = -6.3 + 1.3. Which is smaller: 0 or i?
i
Suppose w - 9 = -8*w. Is w at least -6/7?
True
Suppose -18*y = y + 2204. Which is greater: y or -117?
y
Let h be 7/((-14)/4) - 208/(-102). Is -1 >= h?
False
Let s = 13 - 19. Let m be 4/s - (-24)/9. Suppose -3*v + p + 5 = 0, -p + 5*p = v - 20. Which is bigger: m or v?
m
Suppose 0 = -0*z + z - 2. Which is smaller: z or 4?
z
Let k = 93 - 91. Suppose 2*c - 5*c + 7 = j, 0 = -j + 3*c - 11. Let b = 3 + j. Which is bigger: b or k?
k
Suppose 0 = -3*y - 2*y + 5. Let o = -39/10 + 7/2. Which is smaller: o or y?
o
Let n = -1.9 - 1.1. Is -4 at least as big as n?
False
Let b be 3*(1 - 6/9). Suppose 0 = -2*n - 2*n + 4. Let v be (n/(-15))/((-15)/(-18)). Which is greater: b or v?
b
Let j be 5/20 + 134/(-24). Do -4 and j have different values?
True
Let n be 9/7 + 2/(-7). Let w be (4 - (n + 2))*-1. Is -2/5 < w?
False
Let l = 16 - 16. Which is bigger: l or -2?
l
Let t = -21.9 - -3.9. Is 0 <= t?
False
Let p = 0 - -2. Suppose -5*w - 9 - 31 = 3*t, 0 = -3*t + p*w - 26. Which is smaller: t or -11?
-11
Let o = 117 + -82. Let b be (-15)/o + 90/14. Let h be -1*1 - (2 + -8). Which is greater: b or h?
b
Suppose 0 = 2*x + 5*u, -5*x - 2*u - 3*u = 0. Let f be 1*(11/(-15) - (-36)/90). Are f and x unequal?
True
Suppose 3*z = z + 6. Let f = z + -3. Let d be (-4)/(-64)*-10*(-2)/(-15). Is d at most as big as f?
True
Suppose 0 = 2*c - 0*c + 4, -4*o + 16 = 2*c. Suppose -3*a + o*a - 8 = 0. Suppose 0*f - a = -4*f. Which is smaller: 0 or f?
0
Let x = -53 + 42.2. Le