 ((-3)/(-9))/((-1)/3). Let f be -1 - (1 - (-2 - -7)). Let k = -3 + f. Are k and i unequal?
True
Let x be 4/14*81/9. Are x and 3 unequal?
True
Let i = -9621/284 + 352435/10011. Let h = -1/188 - i. Which is smaller: h or 0?
h
Let x(c) = c**3 - c**2 + 1. Let r(d) = -d**3 - 4*d**2 + 4*d - 5. Let j be r(-5). Let s be j/(2*2/4). Let v be x(s). Which is smaller: 0 or v?
0
Let j(y) be the third derivative of -y**6/120 - 2*y**5/15 + 5*y**4/12 + 4*y**3/3 + 2*y**2. Let x be j(-9). Which is bigger: x or -3?
x
Suppose -3*r - d + 4 + 4 = 0, 2*r = -3*d + 3. Let s = 1 + r. Let j be (2/(-3))/(s + -2). Which is greater: 1 or j?
1
Let t be (-1 + 3)*2/4. Let j = -11.04 - -0.04. Let z = 11 + j. Which is greater: z or t?
t
Suppose -4*n - 206 = 2*h, 2*n - 2*h - 156 = 5*n. Do -49 and n have different values?
True
Let b = 4 + 3. Which is bigger: b or 5?
b
Let g = 7 - 2. Suppose 2*k + 39 = g*p - 0*k, -k + 19 = 3*p. Does 7 = p?
True
Suppose -5*p = 7 + 13. Let t be p/10 - 399/(-392). Let w = t + -1/56. Is 2 less than w?
False
Suppose -2*m + 6*m - 12 = 5*w, -5*m + 15 = 2*w. Let p(a) = -a**2 - a - 20. Let l be p(w). Is l greater than -20?
False
Let z = 2443 + -90381/37. Is z bigger than 1?
False
Let z(q) = q - 16. Let t be z(7). Let f = t - -8. Suppose 0 = -3*d + 2 - 5. Are d and f equal?
True
Suppose -4 = 3*p + m, 5*p - 2*m + 2 = -1. Let x be (2/(-168))/(9/1514). Let f = 27/14 + x. Is p not equal to f?
True
Let m be 38/14 - 2/(-7). Let d = m - 3. Let c be 8/(-12) - 1/3. Which is smaller: c or d?
c
Let q be 984/(-33) + (-2)/11. Let a = 59/2 + q. Is 0 less than or equal to a?
False
Let w = 11 + -11.06. Is w > -2/3?
True
Let z = 233 + -149. Which is smaller: 0 or z?
0
Suppose 0 = l - 3*l - h - 13, 0 = 2*h + 10. Which is smaller: -6 or l?
-6
Let p(a) = a**3 + 5*a**2 + 4*a - 2. Let v be p(-4). Suppose -2*c + 4 = 2*m - 0*m, 3*c = m + 6. Let t be 0 + (-1)/(m - v). Which is bigger: t or 0?
0
Let k = -65 - -65. Is -2/9 at most as big as k?
True
Let o = 106.76 - 104. Let n = o - -0.04. Let r = -3 + n. Which is greater: r or 0.1?
0.1
Let o = -9 + -1. Let z be (4 - 0)*(-5)/o. Let y be (2/(-4))/((-6)/12). Which is smaller: y or z?
y
Let k be 28/30 + (-9)/27. Let r = k - -23/20. Let m be (-3)/9*1*-3. Which is bigger: r or m?
r
Let m(o) = -o**3 - 8*o**2 - 7*o - 2. Let w be m(-7). Let x be -3*w/(-42)*-7. Let j = -3/100 - -427/900. Which is smaller: j or x?
j
Let a be -1 - -3 - 0 - 50/30. Which is greater: a or -1.4?
a
Let x(j) = j**2 - 2*j + 4. Let v be x(0). Suppose 0 = -l + v - 3. Which is bigger: 2 or l?
2
Let a be (2 - 3)/(-2 - -3). Let b(o) = -9*o + 2. Let j be b(-4). Let l be (j/(-18) - -2)/(-1). Are l and a equal?
False
Let c be 2/5 - 69/(-15). Suppose -4*g + c*g = -5*q + 11, -5*g - 29 = -3*q. Suppose -4*x - q = -11. Is x > 2?
False
Suppose 0 = m + m. Which is smaller: 1/14 or m?
m
Let s = -44.79 + 45. Let h = s + -2.21. Is h equal to -3?
False
Let p(a) = -a**2 - 5*a + 6. Let s be p(-6). Let f be 9/4 + -1 + -1. Which is smaller: s or f?
s
Let u(h) = -h**3 + h**2 + 1. Let o(l) = 4*l**3 - 5*l - 4. Let g(r) = -o(r) - 5*u(r). Let x be g(4). Is x bigger than 3?
False
Let l = -31 - -21. Let k = -9 - l. Is -0.2 equal to k?
False
Suppose -7 = 11*v + 4. Is v <= 2/283?
True
Let r(p) = -p**3 - 4*p**2 + 7*p + 9. Let d be r(-5). Is d at least 1/44?
False
Suppose -3*z - 2 = 3*c - 20, -6 = -2*z + c. Suppose -z*n = 15 + 1. Let u(v) = -4*v**2 - v - 1. Let l be u(-1). Is n less than or equal to l?
True
Let f be ((-2)/(-9))/(36/(-27)). Which is bigger: f or -1?
f
Let v be 22/(-99) - 70/(-72). Is v equal to -1/3?
False
Let a be -3 - 28/(-12) - -1. Which is smaller: a or -1?
-1
Suppose 4*y - 2*i - 22 = 0, 18 = 2*y - y - 3*i. Suppose 4 = -2*l, -4*t = -y*l - 15 - 7. Suppose 6*q = -4*j + t*q + 6, -5*j + 5 = 2*q. Is j not equal to -1?
False
Let s = -2.8 + 2. Let j = 2.2 - s. Which is smaller: -1/3 or j?
-1/3
Let i(z) = -z**3 + 8*z**2 + 12*z - 19. Let v be i(9). Let h(w) = -3*w - 1. Let d be h(-3). Is v >= d?
True
Let z = 4 - 13. Let u = -13 - z. Let t be (-8)/(-3) + u/6. Which is smaller: t or 1?
1
Let m = -40 + 36. Is -5 bigger than m?
False
Let x(d) be the second derivative of d**3/6 + 3*d**2/2 + 2*d. Let i be x(-4). Is i at most as big as 1/4?
True
Let q be ((-5)/((-15)/18))/(-2). Is -5 < q?
True
Suppose -i - 3*j + 1 = -0*i, -3*i + j + 43 = 0. Is i at least -2/7?
True
Let s be (-6)/(-27) + 4/(-18). Suppose s = 7*g - 2*g. Let j = -40 - -38. Is j less than or equal to g?
True
Suppose 3*n + 3*z = -n, 0 = -3*n + 5*z + 29. Suppose 0 = 3*f + 2*f + n*g, 0 = 3*f + 5*g. Is -1 at most as big as f?
True
Suppose 0 = -3*n - 0*n + 24. Suppose -s = -3*x + 2*s, 0 = 4*s + n. Which is greater: x or -3?
x
Let t(u) = -u. Let p be t(-2). Suppose 0 = -2*b + b - p. Are b and -2 unequal?
False
Let p = -13 + 12. Let y be p/(-3) + (-8)/(-30). Is -0.1 greater than y?
False
Let r(h) = -h**2 - 19*h - 1. Let w be r(-19). Suppose 5*l + 27 = -3*m, -5*l - 19 = 2*m - m. Which is greater: w or l?
w
Let p = -0.13 - -0.13. Is 1 greater than p?
True
Let y be 6/21 - (-110)/(-42). Let x(a) = a**2 + 3*a - 1. Let w be x(-3). Which is smaller: y or w?
y
Let q(d) = -4 - 2 + 5 + 2 - d. Let w be q(0). Let g = 127/6 + -21. Is w != g?
True
Let f(l) = -6*l + 1. Let u be f(1). Let m be (u - 1)*(-1)/20. Let s be 2*-1*4/(-8). Which is smaller: m or s?
m
Let j = 81/44 - 12/11. Let y(h) = h + 9. Let x be y(-9). Is x != j?
True
Let m(b) = 27*b**2 - 5*b - 3. Let q(w) = 27*w**2 - 4*w - 2. Let r(x) = -3*m(x) + 4*q(x). Let l be r(1). Let j be l/60 - 2/8. Is j at most -1?
False
Let i = -0.2 - 0. Let n = i + 1.7. Let k = 0.5 - n. Which is smaller: -3 or k?
-3
Suppose -32 = o + 2*o - n, -41 = 4*o - n. Let h = o + 15. Suppose -4*s - 1 - h = z, 5*s + 8 = -2*z. Which is smaller: -3 or z?
-3
Let b = -4.7 + -1.3. Let i = b - -6.1. Which is smaller: -2 or i?
-2
Suppose k + 4*p = -5, 2*p - 7 + 4 = 5*k. Let j be -3*(-24)/63 + k. Are -2 and j equal?
False
Let s be (-10)/15*-3*3. Let n be (12 + -2)*(s + -2). Suppose -z - z - 4*q = 14, -5*z + n = -5*q. Which is smaller: 2 or z?
2
Let r(d) = -d**3 - 6*d**2 + d + 6. Let w be r(-6). Suppose 5*s = s - 24. Let b = s - -5. Is w equal to b?
False
Suppose -2*p = 2*b + 8 - 2, b + 13 = -3*p. Are b and 0 equal?
False
Let y be -3 + (12/(-2) - -2). Let i(c) = c**2 + 8*c + 3. Let u be i(y). Let s be u/22 + 124/(-44). Is -1 > s?
True
Let j be (2/3)/(14/(-21)). Is -2/53 != j?
True
Let u(a) = a**2 + 3*a + 1. Let t be u(-3). Suppose 4*y - 10 = -y. Is t < y?
True
Let p be (0 + (-1)/3)*-12. Suppose 4*b + 0*b + p = 0. Which is smaller: 1 or b?
b
Let n(h) = h**3 + 2. Let i be n(-3). Let b = -18 - i. Suppose -2*t - g = -11 - 10, -5*g = -4*t + b. Which is bigger: 7 or t?
t
Let a be (9 + -14)/((-2)/6). Is 17 greater than or equal to a?
True
Suppose 0 = h - 25 + 15. Is h greater than 11?
False
Let u(d) = d**3 + 3*d**2 - d. Let p be u(2). Let x = -6 + 9. Suppose 5*j + p = x. Do j and -2 have the same value?
False
Let c = -13 + 16. Is c at least as big as -0.2?
True
Let x = -8 - -14. Let b = -133.1 - -139. Let m = x - b. Does m = 0.4?
False
Let o = -24 + 36. Suppose -7*m = -2*m - 70. Let b be o/m*(-1)/(-3). Is b at most 1?
True
Suppose -h - 5 = 0, 0*c + 5*h + 28 = -3*c. Let y be ((-16)/c)/4 - 2. Let l(o) = o**3 + 5*o**2 - o - 4. Let x be l(-5). Is y smaller than x?
False
Let o be (-8)/174*(-3)/2. Let p be (-1)/(-8)*((-6 - -8) + 6). Which is smaller: p or o?
o
Let o(z) = -z - 6. Let w be o(8). Let i = w - -18. Is 6 < i?
False
Let s = 0.1 - 0.1. Let i = 0.13 - 0.06. Let g = i + -0.17. Is g at least as big as s?
False
Let n be -6 + 3 - (-2)/2. Is 1 < n?
False
Let d = 1/5 + 3/10. Which is smaller: 4/5 or d?
d
Let p be ((-1)/3)/((-3)/(-9)). Which is smaller: p or -2/9?
p
Let u(k) = -2*k - 13. Let b be u(-6). Let a be (b + 2)/(5/25). Suppose 4*i - 4 = 20. Are i and a non-equal?
True
Let y(l) = -2*l**3. Let j be y(-1). Suppose -j*t - 2 = -q, 0*t - 4*t - 2*q - 4 = 0. Let p = 86/217 - -1/31. Is p <= t?
False
Let j = 4 - 3. Let u be 5*j*(-7 + 6). Let t = 103/2 - 55. Which is smaller: t or u?
u
Suppose 2*w + 4*q - 14 = 0, q + 7 = 4*w - 12. Which is bigger: 0.1 or w?
w
Let a = -2 - -6. Let z be (8/12)/(a/(-6)). Is 3/8 smaller than z?
False
Let x = 4.4 - 4. Let b = -23.1 + 23. Which is greater: b or x?
x
Let i be (-36)/(-60)*(-2)/(-6). Which is greater: i or 