 = k. Are -2 and b non-equal?
False
Suppose t + 2*t = 30. Which is greater: 9 or t?
t
Let n be (-32)/(-3) - ((-28)/(-21))/2. Which is smaller: n or 8?
8
Let l(k) = -7*k - 45. Let w be l(10). Which is smaller: -116 or w?
-116
Let c = 1 + 1. Suppose -4 - c = -2*v. Suppose 0 = -4*z - 4*f - 28, -4*f - 22 = v*z - 0*f. Is -6 less than z?
False
Let m(z) = z**3 - 15*z**2 + z - 15. Let v be m(15). Suppose -4*h + 4*j - 12 = v, 3*j = -0*h - 3*h - 21. Do h and -5 have the same value?
True
Let b = 1989/5 + -399. Suppose 5 = -4*v - 3. Which is greater: v or b?
b
Let a = -7.2 - -7.2. Which is smaller: a or 22?
a
Let a = -10.08 - -0.08. Let f = 7 + a. Which is greater: f or 1?
1
Let l = -13 - -14. Is l less than or equal to 1/25?
False
Let t(l) = -2*l + 13. Let s be t(10). Let j be (-1 + 0)*(s - -4). Is j < 1?
False
Let f = -1 - 6. Let d = f + 10. Let v be (0/(-2))/(-22 + 20). Which is smaller: v or d?
v
Let q = -3.9 - -13.9. Which is bigger: q or 1?
q
Let x(n) be the second derivative of -n**4/12 + 2*n**3/3 - 3*n**2/2 + 4*n. Let h be x(2). Which is greater: h or 7/4?
7/4
Suppose 0*t = 5*t - g + 227, 0 = -5*t + 5*g - 235. Which is greater: -46 or t?
t
Let n = 2/11663 + -8269091/139956. Let j = n - -59. Let k = 0 + 1. Which is smaller: j or k?
j
Let w = -43/330 + 1/33. Let b be (-2)/(-10) + (-2)/10. Suppose b = -3*s + 2*a - 3, -4*s - 4*a = 4. Which is bigger: w or s?
w
Let h be 1/(3/6) + -3. Let g = -10 + 7. Which is greater: g or h?
h
Let c(i) = -2*i**2 + 10*i - 7. Let m be c(6). Is m at most as big as -19?
True
Let u(k) = -2*k - 16. Let v be u(-11). Which is smaller: v or 7?
v
Let w = -0.001 - 3.999. Is w less than or equal to -2/11?
True
Let h be (1 - 1/1)/(-1). Let w(o) = o + 1. Let z be w(h). Let u = -1 + z. Which is smaller: -1/5 or u?
-1/5
Let b be 2/(-7) - (-20)/70. Let a(n) = -n**3 - n + 1. Let u be a(1). Which is greater: b or u?
b
Suppose 0 = -o, -5*c + 3*c + o = -6. Suppose 0 = -5*q + g - 0 - 23, 0 = -g + c. Which is smaller: q or -8/3?
q
Let r be 10*10/125 + (-3)/(-15). Which is greater: -2/11 or r?
r
Let z = 21 + -5. Let j = 11 - z. Which is smaller: 2 or j?
j
Suppose 0 = 2*o - 11 - 7. Let h(w) = -w**3 + 10*w**2 - 10*w + 12. Let m be h(o). Let g be 0 - m/6*-2. Is g < 0?
False
Let m be ((-4)/6)/(2/(-3)). Suppose -2*n + n - 2*q = 7, -n = -2*q - m. Let t be n/9 - (-13)/3. Which is bigger: t or 3?
t
Suppose p - 1 = -4*y, -4*p = 5*y + p - 5. Let f(z) = z - 6. Let v be f(6). Is v >= y?
True
Suppose -5*h + 1 = -4. Is 3/5 less than or equal to h?
True
Let s = -3 + 2. Let z = s + 3. Suppose 4*i = 4*w + 12, -i = z*w + 3*i - 6. Which is smaller: -2 or w?
-2
Suppose -2*l = -2 - 6. Let b = -6 - -4. Let h be b/l*(-2)/3. Do -0.4 and h have the same value?
False
Let j = -13/15 + -211/120. Is -4 at most j?
True
Suppose 4*x + 74 = 5*t, -3*x - 2*x = 3*t - 74. Which is greater: t or 19?
19
Let p = -1 + 1.1. Let w = 1.17 - 1.07. Is w greater than p?
False
Let j be 596/(-390) - 6/(-9). Let o = -6/13 - j. Is 0 < o?
True
Let k = -71/20 + 15/4. Let l be (-2)/(-3) + (-91)/(-21). Suppose -l = -0*b - 5*b. Is b greater than k?
True
Let u be (-234)/14 - (-14)/(-49). Which is smaller: -1/2 or u?
u
Suppose -6 = -u - 2*j - 2, 4*u - j = -11. Let x = 3 - u. Is 4 smaller than x?
True
Let t(f) = f**2 - 2*f + 1. Let b(d) = 3*d**2 - 5*d + 3. Let y(p) = -6*b(p) + 17*t(p). Let k be y(-4). Let s = 1285/9 - 143. Is s smaller than k?
False
Suppose -2 + 0 = -2*o. Let l = o - 0. Let f be (4 - 2)/(l - 3). Which is bigger: f or -2/19?
-2/19
Suppose -2*h - 2*h = -20. Suppose -17 = -h*c + c - 5*p, -c = -p + 7. Let k be ((-6)/(-3 + 0))/2. Is c > k?
False
Let z be (-1)/3*0 + 9. Let j(r) = -9*r - 1. Let h be j(-1). Which is bigger: z or h?
z
Suppose -6 + 0 = -3*w. Which is bigger: w or 0?
w
Let w = 0.027 - 0.027. Which is greater: w or 0.01?
0.01
Let c(z) be the third derivative of -z**4/24 - 3*z**2. Let t be c(-2). Let p be (4/24)/(t/14). Is p > 2?
False
Let t = 15 - 25. Let w = -6 - t. Let d = 3.9 - w. Is -2 greater than or equal to d?
False
Suppose -p + 3*j = 17, 2*p + 9 = -4*j + 25. Let d be 36/14 + p*1. Let r be (7/2 + -3)*2. Which is smaller: r or d?
d
Let o = 196 + -196.3. Is o <= 0.27?
True
Let g be 261/(-315) + 6/15. Which is bigger: 0.5 or g?
0.5
Let b(n) = 5*n + 3. Let j be (-1 - -4)/((-6)/4). Let a be ((-1)/(-1))/(j/4). Let l be b(a). Is -7 > l?
False
Let g = -1.1 + -1.9. Let t = g - -2.7. Which is greater: t or -3?
t
Let p be (-1 - 0)/((-3)/21). Let d = p + -7. Let c = 562/5 + -112. Which is smaller: c or d?
d
Let g = 16 - 46/3. Is g bigger than -1/43?
True
Let c = 0.3 + -0.1. Let h = -18 + 17.2. Let q = c - h. Are 0.4 and q non-equal?
True
Let m = -17/81 + -3398/405. Which is greater: m or -8?
-8
Let g be (152/20)/((-4)/(-10)). Which is smaller: 20 or g?
g
Let y = -1 + 0. Suppose -4 = 2*u + 3*h - 15, 2*u + 4 = 2*h. Which is smaller: u or y?
y
Let x = -3 - -2. Is -5/7 > x?
True
Let f = 18 + -27. Let o = f - -13. Let r = 9 + -4. Is o at least as big as r?
False
Let b(w) = 11*w**2 + 29*w - 7. Let x(u) = -4*u**2 - 10*u + 2. Let m(v) = 3*b(v) + 8*x(v). Let s be m(-8). Let h = s - 2. Is h at most as big as 1?
True
Suppose -2*h = 3*o + 59, -3*o + o - 41 = 3*h. Let r = -39/2 - o. Let u be (-1)/(-4)*-22 - -3 - -3. Is u equal to r?
False
Let w = -6 + 10. Which is greater: w or 0.1?
w
Let d = -3.9 - -3.9. Do 47 and d have the same value?
False
Let b(k) = k**3 + 23*k**2 + 61*k + 29. Let l be b(-20). Is 9 not equal to l?
False
Let q be 3*(4 - ((-34)/3)/(-2)). Is q bigger than -3?
False
Let a = 55 + -36. Is a >= -2?
True
Suppose 2*q = -5*l - 5, -4 = 2*l + 2*l - 2*q. Let j be 1 + l - (-4)/(-4). Let s be 0 + (-2 - 0)/1. Which is bigger: j or s?
j
Let d be 24/(-3)*(-1)/2. Suppose -3*i + l - 3 = 4*l, -i = -d*l - 4. Suppose -x = -4*f - 3, i = f - 3*x + x + 6. Which is smaller: -2 or f?
-2
Let y be 6*(14/4)/7. Is y not equal to 13/5?
True
Let a(w) = -w + 6. Let s be a(6). Which is smaller: s or 2/5?
s
Let n = -229/4 - -1247/12. Let j = 46 - n. Is j at most -1?
False
Suppose -8*y + 5*y = 102. Let g = -17 - y. Suppose g = -5*b + 5*n + 2, b = -n + 7. Is b < 1?
False
Let h = -358/99 - -41/11. Let o = -0.1 + 0.2. Which is bigger: o or h?
h
Let p = -2 - -4. Let l = 14 - 5. Suppose l = -0*q + 3*q. Which is greater: q or p?
q
Suppose 13*z = 14*z + 17. Are -1/3 and z equal?
False
Let j = 0.7 - -0.3. Is 4 bigger than j?
True
Let h = -25 + 19. Is -7 at most as big as h?
True
Let b = -27.2 + 27. Which is bigger: b or 3/2?
3/2
Let c(z) = z**2 - 7*z + 2. Let b be c(6). Let g be (-34)/(-8) + 1/b. Let a = g + -4. Is a at most 0?
True
Suppose 6 + 6 = 4*y. Let a be 4 + y/(-3) - 1. Let i be -2 - a/(-1) - -3. Are i and 4 equal?
False
Let x = -27 - -24. Does 1 = x?
False
Let n(j) = -2*j**3 - 7*j**2 + 5*j + 1. Let o be n(-4). Suppose -5*k = -k + 8. Which is smaller: o or k?
o
Let a(c) = c**3 - 10*c**2 - 11*c - 5. Let t be a(11). Is -6 >= t?
False
Let x = -5 + 8. Let z(d) = -d**3 + d**2 - d + 2. Let h be z(2). Let b(m) = -2*m - 5. Let f be b(h). Is x <= f?
True
Suppose -2*g = -7*g + 5. Suppose -13 = 4*b - g. Let l be (-3)/(6/3 + -1). Are b and l unequal?
False
Let f = 22 - 12. Suppose 0 = 5*x - f*x - 65. Are x and -14 unequal?
True
Let i = -0.05 - -0.4. Let p = i - 0.05. Let u = -0.5 + p. Which is smaller: 0 or u?
u
Let g = 0.08 - -0.05. Let j = 5.87 + g. Is j != 1?
True
Let d(n) = n + 2. Let m be d(-6). Which is greater: m or -0.1?
-0.1
Let h = 2/233 - -691/932. Let p = -4 - -5. Which is bigger: p or h?
p
Let w(c) = -c - 3. Let j be w(-6). Let b(y) = y**3 + 3*y**2 + 2*y + 3. Let n be b(-2). Suppose 0*q - n = -j*q. Which is greater: 2 or q?
2
Suppose 4*n = 3*d - n + 29, -4*d + 3*n - 35 = 0. Let x be (12/d)/(1/4). Is x less than or equal to -5?
True
Let j(s) = s**2 - 5*s + 7. Let p be j(4). Which is smaller: p or 2?
2
Let q(a) = -9*a - 38. Let p be q(-7). Do p and 25 have the same value?
True
Let x = 0.03 - 0.06. Let v = 0.03 + x. Which is greater: v or -2?
v
Let w(u) = u**2 + 3*u + 1. Let p be w(-3). Suppose 0*s - 9 = 5*s - q, -3*s + 1 = q. Let l(t) = 2*t**2 + 1. Let i be l(s). Which is bigger: p or i?
i
Suppose 2*c - c - k = 0, -2*k = c. Let t be (-1)/((-90)/(-41)) - 27/(-54). Is t at most c?
False
Let c = -31 - -31. Which is smaller: c or 1?
c
Let s = -11/2 + 53/10. Suppose 5*p - 1 = 9. Let r = -1 + p. Which is smaller: