((-8)/12). Are x and -1 non-equal?
True
Suppose 3*p - 5*z - 4 = -1, 5*p + 4*z = 5. Which is bigger: p or 3?
3
Let g = -16.1 + 16. Is g bigger than -4?
True
Let n(t) = t**3 + 8*t**2 - 8*t + 9. Let l be n(-9). Suppose 2*w - 8*w + 6 = l. Which is greater: 4/13 or w?
w
Suppose -5*k - 8 - 2 = 0. Let i = -4 + 7. Suppose i*x + 0*p + 32 = 5*p, -2*x - 2*p = 0. Is k at least as big as x?
True
Let r be (1/5)/((-4)/(-20)). Let k(p) = p**2 - 3*p - 3. Let y be k(4). Is y != r?
False
Let z(l) be the first derivative of l**4/4 - 7*l**3/3 - l**2/2 + 5*l + 1. Let r be z(7). Let m be 12/(-3) + 0 + 0. Is m >= r?
False
Let t = 18.3 + -18.4. Let h be ((-6)/4)/((-3)/4). Suppose h*p - y + 2 = -4*y, -2*y + 2 = 2*p. Which is greater: t or p?
p
Let d = 4 - 5. Let f be (1/1 + 0)/d. Which is bigger: -1/6 or f?
-1/6
Let y be (-557)/3980 + 3/(-12). Let x = -2/199 + y. Is x less than -0.1?
True
Let v = -23 - -38. Suppose 0*u - 5*u = -v. Let c be (-18)/u - 4/2. Which is greater: -9 or c?
c
Let n(y) = y + 4. Let c(b) be the second derivative of -b**4/12 - 7*b**3/6 + 3*b**2/2 + 3*b. Let w be c(-8). Let j be n(w). Which is smaller: 0 or j?
j
Suppose -4*w + 2*w - 8 = 0. Let u = 0.08 - -0.92. Which is bigger: u or w?
u
Let b = 232/9 + -14387/585. Let w = b - 18/13. Let u = -35 - -34. Is w != u?
True
Let o = -87 + 91. Is o <= 1?
False
Let g(q) = -q + 5. Let a be g(6). Let y(x) = 4 + x**3 - 8*x + 0*x - 1 - 6*x**2. Let f be y(7). Is f less than a?
True
Let s(a) = 7*a + 20. Let i(z) = -z - 1. Let f(b) = 6*i(b) + s(b). Let n be f(-8). Which is smaller: 5 or n?
5
Let d(a) = a**2 + 6*a - 2. Let h be d(-5). Let q = 12 + h. Is q at most as big as 5?
True
Let r be 0/(-1) - (0 + 0). Is r greater than 0?
False
Let p be 1/2 + 5/(-18). Suppose 5*n = 2*t - 3 - 1, 2 = 3*n + t. Suppose -3*j + 5*c + 15 = n, 3*c + 4 = 5*j - 5. Is p != j?
True
Let j = 8 + -33. Let a be 4/(-10) - 35/j. Is -1 < a?
True
Let m be 22/18 - 4/18. Let x be 12/(-84) - 4/14. Which is smaller: x or m?
x
Let d be 10/(-4)*24/15. Let u(c) = -4*c**2 - 4*c - 4. Let f(i) = -5*i**2 - 4*i - 5. Let q(p) = 3*f(p) - 4*u(p). Let b be q(d). Is b equal to -3/7?
False
Let s(f) = f**3 - 13*f**2 - 13*f - 13. Let b be s(14). Is 4/13 bigger than b?
False
Suppose 3*d + 3 - 18 = 0. Let l = -8 - -14. Let x = d - l. Which is smaller: x or 1?
x
Suppose 0 = -4*k + 3*k + 2. Let c = 0 - k. Let m = 1 - 1. Is c less than or equal to m?
True
Let w be 15/9 + 3/9. Is w less than 9/4?
True
Suppose -3*p = -3*v - 6, 3*v - 5 = -2*p + 9. Let a be v/12*-4*9. Let h = 3 + a. Is h at least -5/2?
False
Let m be -1 + (7 - (4 + -1)). Let z be (m - -12)/(-3) - -1. Which is greater: 1 or z?
1
Let y be -5*(2 - 1 - 2). Suppose 10*w = y*w. Is w at least -2/3?
True
Let z = -6 + 5. Let n = z - 4. Is n smaller than -5?
False
Suppose -3*u + 2*u + 1 = 0. Which is smaller: 3/11 or u?
3/11
Let v = -11/2 - -2. Which is greater: -1 or v?
-1
Let t be (-9)/12 + (-363)/(-4). Suppose 0 = -g, -4*g + 0*g + t = -5*x. Let w be (-2)/9 + (-4)/x. Is 0 greater than or equal to w?
True
Let f = 6.4 + -6. Let c = f + -1.4. Let m = -3.1 - -3. Which is bigger: c or m?
m
Let n(f) = 6*f - 3. Let i(g) = 5*g - 2. Let k(y) = 7*i(y) - 6*n(y). Let q be k(3). Let m = 169/114 + 1/57. Which is bigger: m or q?
m
Let y be (-1)/(-3) - (-14)/21. Let g = -2/21 + 20/63. Which is smaller: g or y?
g
Let b = -39.1 - -39. Which is smaller: b or -1/11?
b
Let b = 19 - 18.9. Suppose 0*u - 3 = -u. Which is smaller: u or b?
b
Suppose -6*d - 20 = -2*d. Let c = 0 + -5. Is d not equal to c?
False
Let d = 0.17 - 8.17. Let j = d - -7.9. Is -2/11 <= j?
True
Suppose 0 = -5*r + 30 - 15. Which is smaller: -1 or r?
-1
Let m = -0.06 + -0.44. Let h = m + 0.5. Let u(q) = -q**3 + 5*q**2 - 3*q - 4. Let x be u(4). Is h at most as big as x?
True
Let p be 0 - 1 - (-2 - -9). Let x be (-13)/(-4) + 2/p. Suppose -3*w + f + 8 + 5 = 0, 5*w + 2*f - 7 = 0. Is w at least as big as x?
True
Let a = 1519 - 1512.09. Let d = -7 + a. Let x = 0.01 - d. Which is bigger: -0.2 or x?
x
Let f = 33.8 - 29.8. Suppose 0 = 7*g - 3*g. Which is bigger: f or g?
f
Let n = 0 + -4. Let k = 3 + n. Let o be 9/(-27)*(-3)/(-30)*4. Are o and k equal?
False
Let y = -11 + 167/15. Let j = -201 + 200. Which is smaller: j or y?
j
Let j be 11/(-9) - (-4)/18. Let c = 1/87 - -169/435. Which is smaller: c or j?
j
Let l(s) = s**3 - 7*s**2. Let q be l(7). Let u = -1/14 + q. Which is greater: u or 1?
1
Let j = -11 + 12. Suppose -4*x = -2*t - 24, j - 4 = -x + 2*t. Which is bigger: 6 or x?
x
Let d be ((-2)/4)/(-1)*6. Let j be d + 2/(-16)*25. Suppose 4*v = -v. Is v greater than j?
True
Let x be 4/34 - 742/2261. Which is smaller: x or 1?
x
Let a(l) = -l - 6. Let v be a(-6). Let c be (7 - 1)/3 + v. Which is greater: 0 or c?
c
Suppose 0 = w + 3*u + 16, 22 = -5*w - 3*u - 10. Let b = 2 + w. Which is greater: -4/5 or b?
-4/5
Let f = -17 - -18. Is -3/16 bigger than f?
False
Let r(a) = a - 8. Let j be r(6). Let t be (4 - 0)*-8 - j. Let m be 4/(-6) - 29/t. Which is smaller: 0 or m?
0
Let n(j) = j**2 - 8*j - 17. Let o be n(10). Is o bigger than -0.2?
True
Suppose 5*h = 3*q + q - 1, 3*h = 4*q - 7. Suppose 4*n - q*w + 12 = 0, -w - 21 = 3*n - n. Let g = n - -9. Which is smaller: g or -1?
-1
Suppose -2*t + 2 = -0. Let g = 3 + -13. Let q be g/35 - (1 - 1). Does t = q?
False
Suppose -3*z = -q + 16, 4*q - z + 6*z + 4 = 0. Suppose q*k + 4 = h - 0*h, 2*k + 2 = 3*h. Which is bigger: 1/5 or k?
1/5
Let p = -0.03 + 0.03. Which is greater: p or 8?
8
Suppose -6*h + 34 = -8*h + 4*c, 5*h = 2*c - 61. Which is smaller: h or -9?
h
Let t = -1 - -4. Let z = t + -3.1. Let r = -18.6 + 19. Is r not equal to z?
True
Let g be 2/(3/(-3)) + 4. Suppose 2*b = 2*w - 12, -g*w + 5*b = -5*w - 14. Which is greater: w or 1?
w
Let a = -6/73 + -92/657. Which is smaller: a or 1?
a
Let i = 13 + -17. Let z = -0.05 - -0.05. Let p = z - 2. Is i equal to p?
False
Let n = 3/7 - 37/21. Let o(t) = t**3 + 3*t**2 + 2*t - 1. Let p be o(-2). Which is greater: n or p?
p
Suppose 2*d = 4*l + 184 + 190, -5*l - 490 = 5*d. Let n = -383/4 - l. Are n and 0 non-equal?
True
Suppose 1 = -x + 7. Let j = x + -3. Let m = j - 5. Is -2 < m?
False
Suppose -4*t + 8 = 0, -d + 2*d - 4*t = 0. Suppose g + 3*p - d = 0, 2*g + 4*p + 5 = 13. Which is greater: g or -5?
g
Let l = -1 + 1.1. Let x be -1 + 2 - 313/6. Let r = x - -51. Is r smaller than l?
True
Let p(b) = -b**2 + 8*b + 8. Let m be p(9). Let d be (-2*1)/((-1)/1). Suppose 0 = -2*s + s - d. Which is smaller: s or m?
s
Let v = -6997/22 - -318. Is 0 at least as big as v?
True
Let o be 3*(-1)/((-36)/(-111)). Let v = 341/36 + o. Suppose -3*z + 6 = -q, -4 = 3*q - 2*z - 0*z. Are v and q equal?
False
Let k(v) = -v**2 + 2*v + 2. Let z be k(0). Let d = -22 - -23. Which is smaller: d or z?
d
Suppose 2*i - 8 = -22. Let g = -9 + 2. Is i > g?
False
Suppose -6*p = -11*p + 65. Is -1 < p?
True
Suppose 120 = 4*o - 4*l, 2*o - 77 = l - 21. Which is smaller: o or 29?
o
Let p = 1 + -2. Let i = -38/63 - -1693/2772. Let k = 281/2244 - i. Which is greater: p or k?
k
Let x be ((-48)/(-8))/(2/(-2)). Is x at most as big as -7?
False
Suppose 18 = 4*s - 2. Let b be 1/4 - 98/(-24). Which is smaller: s or b?
b
Let m = -0.68 - 0.22. Let p = m - -0.8. Let y = p - 1.9. Is y less than -0.1?
True
Suppose -30*b - 6 = -27*b. Let s(w) = -w**3 + 3*w**2 + 3*w + 1. Let d be s(4). Is b smaller than d?
False
Let g = 24.7 + -31. Let l = 6 + g. Is l <= -2?
False
Let u = -12.9 + 13. Is -6 smaller than u?
True
Let n be ((-20)/168)/((-20)/36). Suppose -b - 3*b - 4 = 0. Is n < b?
False
Let d = -12 - -15. Let o be (d/34)/(21/(-28)). Which is smaller: o or 0?
o
Let x = -3 - -2.93. Let o = x + -0.19. Which is greater: 1 or o?
1
Let k be 96/(-30)*(3/(-2) - 1). Is 6 bigger than k?
False
Let m(p) = p**2 + 6*p - 16. Let w be m(-8). Are w and -2/27 equal?
False
Let k = -30 - -27. Let y(i) be the first derivative of i**3/3 + 6*i**2 + 9*i - 1. Let v be y(-11). Is k > v?
False
Let i be (-116)/(-29) - 82*(-1)/(-21). Is 1 equal to i?
False
Suppose -4 = a - 2*l, a = -4*a + l - 11. Let w be (-3)/a*(-4)/6. Let x be 16/10 + 1/w. Does x = 2?
False
Let s = 150.6 + -136. Let t = s + -15. Is t greater than -2/5?
False
Let a = -35/6 + 41/2. Let t = a + -12. Do t and 4 have different values?
True
Let q be 12/(-8) - 14/8. Let i = 99/28 + q. Which is smaller: i or 0?
0
Let d be (-2)/(-2)*(2 