*-1. Let b = -454/91 - j. Let k = -2 - -3. Are b and k non-equal?
True
Suppose -6 - 3 = -g. Is 9 less than or equal to g?
True
Let t(y) = 2*y**2 - y - 4. Let b(a) = -a**2 + 4. Let v(g) = -2*b(g) - 3*t(g). Let q be v(3). Let c = 49/2 + q. Is 3 bigger than c?
True
Let l = 52 + -53.2. Which is bigger: l or 0?
0
Let n = 31 + -17. Let d be 6/(-21) - (-74)/n. Which is greater: 6 or d?
6
Let v = -0.4 - 0.2. Does 2/7 = v?
False
Suppose 34 = -2*j - 4*z, -z - 71 = 4*j - 24. Let l = 6 + j. Let h be 1 + -2 + l/(-4). Is h at least 0?
True
Suppose 3*p - 20 = -5*n, -5*n = -4*n + 2*p - 4. Which is smaller: n or 6?
n
Suppose 264 = 8*c - 9*c. Let p be -3 + (1 - c/135). Is p less than 0?
True
Let h = -2/45 + -1/15. Is h <= 1?
True
Let l = -24 - -24. Let s = -1 - -2. Do s and l have the same value?
False
Suppose q = 5*q + 4*u + 8, -3*u + 2 = -q. Is q at most -3?
False
Suppose 0*g + 2*g = -4*g. Suppose 0 = -4*x - 3*v + 7*v + 116, -5*x + 148 = -2*v. Let d be 2/5 + (-22)/x. Is d equal to g?
False
Let f = 462 + -12009/26. Which is smaller: 1 or f?
f
Let l = -37642/15 - -7349/3. Let r = -60 - l. Is r at most as big as 1?
True
Let y be (-2)/8*8/4. Are y and -4 equal?
False
Let j(p) = -3*p**2 - 1. Let o be j(-1). Let h = -0.9 - 1.1. Let v = -1 - h. Which is greater: v or o?
v
Suppose 2*u - 3*a = 9, 40 = -5*u + a - 6*a. Is u bigger than -3?
False
Let u(r) = -r**3 + 2*r**2 + 5*r - 4. Let y be u(3). Suppose y*p + p = -9. Let a be -2 + (-3)/p - 2. Which is bigger: a or -2?
-2
Let j = 1.04 - 1. Which is greater: j or -0.1?
j
Suppose k - 5*d + 6 = 0, 0*d = 4*k + 2*d + 46. Which is greater: -0.2 or k?
-0.2
Let z = 3 + -2. Let t be z + 0 - (1 + 0). Suppose 2*c + 1 - 3 = t. Is -1/4 > c?
False
Let g = 57 + -57.05. Is g at least as big as -1/13?
True
Suppose 8*v - 45 = -5*d + 3*v, 4*d + 9 = 5*v. Suppose 0*z = -4*z + d. Which is smaller: 1/10 or z?
1/10
Let u = 0.14 - 2.14. Let x = -0.12 + -1.88. Is x > u?
False
Let p(f) = -f**2 - 5*f + 23. Let v be p(-8). Let o = -17/5 - -386/115. Is o <= v?
False
Let k(g) = 2*g - 14. Let o be k(-3). Is o greater than or equal to -16?
False
Let m be 2/(-2) + -2 + 18/22. Which is greater: -3 or m?
m
Suppose -219*z + 215*z + 20 = 0. Let m = -8 - -13. Is z smaller than m?
False
Let a = 30 - 29.8. Suppose -3 = l - 6. Suppose l*d = d. Is d less than or equal to a?
True
Suppose -2 = -5*s - 0*y - 2*y, -5*s = -4*y + 4. Let p be -4*3*13/30. Let x = -99/20 - p. Which is greater: x or s?
x
Let l = -40 - -40. Suppose 2*i + 81 = -109. Let c = i + 478/5. Is c <= l?
False
Suppose -3*v + v + 63 = -a, -73 = -2*v + 3*a. Which is smaller: 28 or v?
28
Suppose 3*q = 2*i + 22, -3*q = 3*i - 2*q + 22. Is i not equal to -7?
True
Suppose -3*o - h + 3 = -3, -5*o + 30 = -5*h. Suppose -2*v = -o*v. Which is smaller: v or -1/5?
-1/5
Let c be (6/8)/(2/8). Let o be c/(-12) + (-1)/(-4). Are o and 0 unequal?
False
Let r(x) = x**3 - 6*x**2 + 7*x + 1. Let q be r(4). Is 5 less than or equal to q?
False
Let u = -1.5 - 14.5. Let t = -16.01 - u. Let j be (-1)/2 + 2 + -1. Which is bigger: t or j?
j
Let f = -0.78 - 0.22. Let d = 66004/57 - 1158. Let s = d - 104/285. Which is smaller: f or s?
f
Let i = -17 - -19. Which is smaller: 1/2 or i?
1/2
Let v be 0 + (-2)/(-4) + 1. Are 2 and v nonequal?
True
Let q be 3 - (40/12 - 1). Which is smaller: q or -1/6?
-1/6
Let f = -5 + 9. Let x be ((-16)/24)/(f/6). Do x and -1 have the same value?
True
Let n = 4537/4169 + 1/379. Which is smaller: 2 or n?
n
Let i = -0.3 + 0.4. Let q = -0.1 - i. Let o = 16.8 + -13.8. Is o bigger than q?
True
Suppose -r + 5 = 0, 7*r - 3*r = -3*v + 80. Which is smaller: v or 21?
v
Let k = 6 - 3. Suppose -3*m - 5*a = -m + 11, -3*a - 3 = k*m. Let c be 6/20*m/3. Which is greater: c or 1?
1
Suppose 32*s - 14 = 34*s. Which is bigger: -1 or s?
-1
Let o = -6.2 - -3.3. Let l = o + 3.24. Let j = l + 0.06. Which is smaller: 1 or j?
j
Let c(d) be the first derivative of -d**3/3 - d**2/2 - 2*d + 2. Let s be c(-3). Let j be s/14 - (0 - 0). Which is smaller: -2 or j?
-2
Let t be (-358)/10 - 1/5. Let w be (4/50)/(t/(-45)). Which is smaller: w or 0?
0
Let l = 0.061 - -4.939. Which is smaller: -2/7 or l?
-2/7
Let d = -4 + 6. Let y = -20 - -30. Suppose -5*r = -7*s + d*s + y, -s + 2 = r. Do r and 0 have the same value?
True
Let c = 0.17 + 5.83. Let x = 5.5 - c. Which is smaller: -0.1 or x?
x
Suppose -36*o + 23*o = -20*o. Suppose 2 + 2 = 2*w. Which is bigger: w or o?
w
Let s(w) = w**3 - 3*w**2 + 2. Let v be s(2). Is v < -1?
True
Suppose 0 = -2*t + 6*t. Suppose t*p - 3*p = 0. Is 2 at least as big as p?
True
Suppose o = 2*c + 14, -o - 3 - 3 = 2*c. Suppose 0*u = -4*w + u - 55, 3*w + 38 = o*u. Let d be 4/w + 4/(-35). Which is greater: d or 1/2?
1/2
Let d(g) = -50*g - 5. Let u = -11 - -7. Let l be d(u). Let k = l - 1367/7. Are k and 0 unequal?
True
Let l = -137/4 + 34. Let q = 6 - 4. Let f be q/3 - (-10)/(-6). Is f bigger than l?
False
Suppose 4*u + 2*i - 57 = 7*u, -5*i = 0. Is -20 smaller than u?
True
Let w = -55 + 22. Let y = 47 + w. Suppose -4*m - 3*s = -18, -2*m + s - 5*s = -y. Which is smaller: m or 2?
2
Let m = 123 + -123.04. Are m and 2/3 equal?
False
Let h(j) = j**3 + 7*j**2 - 6*j + 4. Let r be h(-8). Let y be 14/r*(-5)/7. Which is greater: y or 0?
y
Let p = -26 + 44. Let t = p - 17.87. Do t and 0.1 have different values?
True
Suppose 4*l - 120 = -4*x, 13 + 52 = 2*l + 3*x. Suppose l = 2*i + 3*i. Is i at least as big as 6?
False
Let g = 24 - 26. Let q = 1.9 - -0.1. Is q less than g?
False
Suppose 6*d - 8 = 2*d. Let p(w) = -w + 1. Let u be p(d). Let s be (-1)/(1 - (-10)/(-6)). Which is smaller: u or s?
u
Suppose 0 = -3*v + 7 - 31. Let z = v - -13. Suppose 0 + 5 = z*r. Which is greater: 2 or r?
2
Let h be (-1)/2*5/2. Which is smaller: 0 or h?
h
Let m = 15 - 12. Suppose 2*k = -m*k. Is k < 2/5?
True
Let i = 39 + -21. Is i not equal to -2?
True
Let z = 0.35 + 0.05. Let t = -2 + 3. Is z > t?
False
Let y be 3 + 40/(-8) - (1 - 3). Suppose 0*z = 3*z. Is z <= y?
True
Let d be (9/1)/((-15)/(-10)). Suppose 0*h - 15 = -3*h. Is h != d?
True
Suppose -5*r - 5 = -25. Suppose r*z = 5*a - 8 - 12, -5 = -5*a + z. Which is smaller: 2/21 or a?
a
Let g = -35.3 - -35. Which is smaller: g or -0.2?
g
Let d(y) = -2*y + 16. Let t be d(9). Which is smaller: t or -1/2?
t
Let u(x) be the second derivative of -x + 1/3*x**3 + 1/12*x**4 + 0*x**2 + 0 - 1/20*x**5. Let v be u(2). Is 0 bigger than v?
False
Let c be (3 + -5)/((-4)/(-3)). Which is smaller: 0 or c?
c
Let a(x) = -3*x. Let n(t) = -t**2 - t + 1. Let h be n(0). Let d be a(h). Which is smaller: -2 or d?
d
Suppose -25*w - 12 = 38. Let q = -6 - -24. Let k be q/3*(-2)/21. Which is smaller: w or k?
w
Let m = 6.8 - 6.7. Which is greater: m or -21?
m
Let r be 6/(-15) - (-10)/25. Let g be (-6)/(-3 + 2 + -1). Let t be (g - (2 + r))*3. Do 3 and t have different values?
False
Let t = -160 - -182. Is t at most as big as 22?
True
Let u = 7 + -16. Is 1 equal to u?
False
Let p be (1/(5/(-6)))/((-186)/30). Which is bigger: -0.2 or p?
p
Let r = -32 + 32. Which is smaller: r or -1/54?
-1/54
Let x be (-10)/(-20)*4/(-2). Which is greater: x or 0?
0
Let f = 77 - 617/8. Let j be (-12)/15*5/(-2). Suppose 2*h + 4*y = -h + 3, -2 = -2*h + j*y. Which is smaller: f or h?
f
Let a = -6 + 4. Let h = 5 - 3. Let c be (6 + a - 2)/h. Which is bigger: c or 1/3?
c
Suppose 2*c + 1 = c. Is -1/6 bigger than c?
True
Suppose 4*x - 7 = 5. Suppose c + 0*c = -5*y - 23, 3*y = 3*c - x. Which is smaller: -1 or c?
c
Suppose -3*x + x = 20. Is -55/6 >= x?
True
Let p(n) = 3*n - 1. Let q be p(3). Let o be 12/q + 9/2. Suppose 0*z + 2*z + o = 0. Is z >= -3/2?
False
Let y be (-12)/(-10) + (-11)/55. Which is smaller: y or -2/5?
-2/5
Let f = 8.2 - 4.2. Is f bigger than -0.2?
True
Suppose 0 = -0*o - 2*o + 24. Suppose -5*a + 3*u - 4*u = 4, 5*a - 3*u = o. Is -2/3 greater than or equal to a?
False
Let k = 1279519 + -1047925696/819. Let a = -2/117 + k. Which is smaller: 1 or a?
a
Let o = -12.1 - -12. Which is smaller: o or -1?
-1
Let m = -18 - -34. Suppose m = 2*y - 6*y. Which is bigger: -5 or y?
y
Let c be (-25)/(-14) + 6/(-21). Let s = c - 2. Let d(b) = -b**3 - 5*b**2 - 5*b - 4. Let m be d(-4). Are m and s non-equal?
True
Suppose 28 = 5*s + 2*z, 3*z = -2*s + 2*z + 12. Suppose -a = -s*a - 36. Which is smaller: a or -13?
-13
Suppose -2*r + 7*r = 20. Is 4 at least r?
True
Suppose 