n o?
True
Let a(c) = -c**3 + 3*c**2 - 4*c. Let k be a(3). Let h be (-38)/k - 2/12. Are 4 and h nonequal?
True
Let k = -13 - -6. Let d = -7.1 - k. Are d and -13 nonequal?
True
Let o be 56/60 - 4/(-10). Let f = 6 - 6. Suppose f = 6*g - 3*g - 3. Which is smaller: o or g?
g
Let b = -0.6 + 0.54. Let m = 0.24 - b. Let t = m + -0.2. Are 4/3 and t equal?
False
Let w = -913/7 + 130. Let a = -11 - -6. Let d be (-2)/(-5) + (-3)/a. Is w != d?
True
Let n = 97/12 + -25/3. Which is smaller: -8 or n?
-8
Suppose -2*c = 3*t - 11, 4*t + 2*c + 5 - 19 = 0. Suppose -5*w + 0*w + 10 = 0. Is t not equal to w?
True
Let n = 0.017 + -0.117. Which is greater: 6/5 or n?
6/5
Let z be 5/18 + 2/9. Suppose -6*v = -3*v - 42. Suppose -17*j + v*j = -3. Which is bigger: z or j?
j
Let v = 14.1 + -14. Which is smaller: 99 or v?
v
Suppose 27 = -5*k - 3. Let s = k - -12. Is s greater than or equal to 6?
True
Let w be ((-2)/(-12))/(2/4). Let v be 0/((-4)/(2 + -6)). Which is bigger: v or w?
w
Suppose -2*j = j + 60. Let f be j/(-25)*4/2. Which is greater: f or 3?
3
Let w be -13 + 8 - 13/(-3). Is -1 smaller than w?
True
Let z(h) = h + 1. Let o be z(2). Does o = 0?
False
Let s = -5 + 10. Let z be (s/((-110)/(-6)))/1. Is z <= 0?
False
Let f be (-4)/(-6) - (-1)/(-15). Let j = f - 17/20. Which is greater: j or 1?
1
Let v = -0.01 + -0.39. Let q = v - -0.43. Let m = -0.13 + q. Is m < 1?
True
Let j be (0 + -6)/(-5 - 2). Is 0.1 != j?
True
Suppose 0 = 2*w - w - 20. Let o = 3/167 + -6853/334. Let k = w + o. Which is bigger: k or -2?
k
Let r = 24.4 + -24.3. Let n = -5 + -1. Is n bigger than r?
False
Let m(p) = 2*p**2 - 6*p + 5. Let b be m(3). Which is smaller: b or 8?
b
Let v = -0.1 - 1.1. Let o = v + 1.3. Are 2 and o unequal?
True
Suppose -294 = 3*n - 9*n. Which is greater: 47 or n?
n
Let h = 0.44 + 7.66. Let b = h - 8. Which is smaller: b or 1/9?
b
Let r = 101/156 - -1/52. Which is bigger: 4 or r?
4
Let g = -4 - -4. Let h = g + 0. Suppose 4*o + 2 - 6 = h. Which is smaller: o or 2?
o
Let p = 11 + -7. Suppose -p*c + 1 = -3. Let a = 4292/15 - 286. Which is smaller: a or c?
a
Suppose -5*a - 2477 = 878. Let k be (-4)/10 + a/(-1540). Is k greater than 0?
True
Let q = 0.12 - 0.02. Let l = 0.9 + q. Which is smaller: 0.4 or l?
0.4
Suppose -5*m - 4*h + 68 = 0, -2*m = 4*h - 18 - 14. Which is smaller: m or -5?
-5
Suppose 4*x - 2*x - 4 = 0. Suppose 0 = -n - x. Let i be 2/(1/(7/n)). Do -6 and i have different values?
True
Let s = 3 + 6. Suppose -6*a + 3 = -s. Which is smaller: 12/7 or a?
12/7
Let p(f) = f**3 + 6*f**2 - 5*f + 8. Let c be p(-7). Let b = c - -7. Let y = 240/17 + -14. Which is smaller: y or b?
y
Let l = -51 - -53. Which is smaller: 4 or l?
l
Let z = -8 + 7.95. Let g = z - -0.01. Let k = g - 0.06. Which is greater: k or -2?
k
Let c = -1 + 6. Suppose -3 = c*s + i + 3, -12 = -3*i. Which is smaller: 2/5 or s?
s
Let o = 74 - 75. Which is bigger: -43 or o?
o
Let m be (-9 - -6)*(-14)/(-6). Is m equal to -10?
False
Let k be (-1)/9 + 38/18. Suppose -3*x + 20 = k*x. Is x >= 26/7?
True
Let h(o) = -o**2 - 7*o - 9. Let w be h(-6). Let k = 10 + -6. Let d(z) = z**2 - 4*z - 3. Let m be d(k). Is m equal to w?
True
Let s(c) = c**2 + c + 16. Let b be s(0). Suppose -3*n = n - b. Let f = 9 + -4. Is n equal to f?
False
Let b = 19 - 19. Which is smaller: b or 3/5?
b
Let k be (445/5*1)/(-1). Is k > -89?
False
Let z(a) = 4 + 0 + 3*a - 5 - a. Let g be z(1). Which is smaller: -1 or g?
-1
Suppose -5*v - 5*g = 80, 0 = 6*v - v - g + 74. Is v greater than -13?
False
Let t be (0/(-6))/(1 + -3). Suppose -33 = -4*c + 5*x, -4*c - 4*x + 24 = -t*x. Which is smaller: c or 6?
6
Suppose -2*p = -0*p + 3*o + 10, 4*p = 3*o + 16. Let g be -5*((-9)/15 + p). Suppose -3*j = -0*j + 9. Is g != j?
True
Let x be (24/14)/(3/21). Suppose 8 + 2 = -4*s - 3*n, x = -2*s - 5*n. Is -1 equal to s?
True
Let d = 1 + -1. Suppose -25 + 5 = -5*x. Suppose -x*a + 7 = 3. Which is smaller: d or a?
d
Let f(x) = 7*x**3 + 2*x**2 - 2*x + 5. Let y(g) = 3*g**3 + g**2 - g + 2. Let h(u) = 2*f(u) - 5*y(u). Let j be h(-1). Is -1 <= j?
True
Let t = -33 + -29. Is t > -62?
False
Let t be (18/24)/((-9)/48 - -1). Is t smaller than 2?
True
Let n = -686/519 + -2/173. Are n and -1 non-equal?
True
Suppose q + 312 = 13*q. Which is smaller: q or 27?
q
Suppose o - 28 = 5*x, -5*o - x = -3*x - 94. Let z be (-4)/o - 21333/(-2079). Let l = z - 69/7. Which is smaller: l or 0?
0
Let c be 3 + (2 - 0 - -2). Is c > 7?
False
Suppose -2*s + n - 2 = -2*n, -14 = -2*s - 5*n. Suppose j + s = -0*j. Let q = j + 2. Which is smaller: q or -1/4?
-1/4
Let p = -15 - -7. Is -11 equal to p?
False
Let k(j) = -j + 1. Let d be k(-3). Suppose 2*q - 4*q = d*l + 4, 4*q - 2*l + 8 = 0. Let a(h) = -h**2 - h. Let g be a(-2). Is q less than g?
False
Let a be 1/4 - 12/48. Which is smaller: a or -1/28?
-1/28
Let c(w) = 2*w**2 - 6*w + 4. Let t be c(4). Let r be (-22)/(-6) - (-4)/t. Which is smaller: 3 or r?
3
Let a = 2.47 + 1.61. Let y = 0.08 - a. Let h = 4 + y. Is h greater than 0.3?
False
Let y(g) = -g**3 - g + 2. Let x be y(1). Which is bigger: x or 3/2?
3/2
Let z be 1 + 1 + 1 + -2. Let b = 6 - 7. Let y be 4/((-16)/(-4)) + b. Is z smaller than y?
False
Let b = -4 + 8. Suppose b*h + 1 = 3*h. Let v = 36 + -398/11. Are h and v unequal?
True
Let w be ((-52)/(-10))/(27/15). Which is bigger: 2 or w?
w
Let m = 4 + -9. Let x(o) = -o - 5*o**3 + 4*o**3 - 5*o**2 - 6 + 1 - 1. Let y be x(m). Is y < -2?
False
Let c = -10 + 19. Let z be 6/c - (-40)/(-6). Let m be 5/((-15)/z) + -3. Which is smaller: 1/7 or m?
m
Let n be 1 - ((-93)/(-18) + -3). Is -1 greater than n?
True
Let p = -351/2 + 175. Suppose 0*g - 2*z = 2*g - 8, 2*g - 4*z = -16. Is g bigger than p?
True
Let k = 9/22 - 47/88. Let f = -1 + 1. Suppose f*r - r - 4*z = -16, 5*r + 2*z = 8. Which is greater: r or k?
r
Suppose 0 = -3*a - 9, 4*c - 20 = 4*a. Let z be (-4)/(-22) + 318/66. Which is smaller: z or c?
c
Suppose 0 = -3*d - 4*y + 23, 0 = 4*d + 3*y - 5*y - 38. Which is smaller: 0 or d?
0
Suppose -4*c + 15 + 53 = 0. Is 17 <= c?
True
Let l(t) = t**3 - 8 + 3*t + 2*t**2 + 2*t**2 + 9. Let d be l(-2). Let k be 15/5 + (-6)/4. Which is smaller: d or k?
k
Let f = 0 + -1. Suppose -5*n + 24 = -4*a, 2*a - a = -5*n + 19. Let g be (-2 - a)/(3 - f). Is -0.1 < g?
False
Let i be 62*1*51/(-34). Let l = -159/2 - i. Is l at least as big as 13?
True
Let b = 10/9 + -4/9. Let m = 0 + 0. Let j = m - -1. Which is smaller: b or j?
b
Let j = 1.9 + -2. Let s = 142/55 + -12/5. Which is bigger: s or j?
s
Suppose 3*b - 5 = -5*y + 38, -b = -3*y + 9. Let n be b*(2 + 18/(-8)). Is -3 bigger than n?
False
Let u(l) = -3*l - 2. Let b be u(6). Let y be 4/5*b/(-8). Are y and 2 nonequal?
False
Let l = 6 - 4. Suppose 0 - l = -2*j. Which is bigger: 2/7 or j?
j
Let i be (-40)/(-42) - (3 + (-21)/9). Which is smaller: i or 7/11?
i
Suppose -4*d = -10*d. Is 3 > d?
True
Let x = -8 - -14. Let r = 4 - x. Is r less than -1?
True
Suppose 0 = 5*z, 2*t + 4*z + 4 = 8. Is 6 less than or equal to t?
False
Suppose 99 = -4*p + 2*r - 7*r, 5*p - 3*r + 96 = 0. Let n = 21 + p. Which is smaller: n or -1/9?
-1/9
Let x(u) = -u**3 - 3*u**2 - u + 2. Let m be x(-3). Let r(f) = -f - 11*f**2 - 10*f + f**3 + 1 - m - 2*f**3. Let z be r(-10). Which is smaller: z or 5?
5
Suppose v - b = -0*b + 12, -2*v + b = -20. Suppose 4 = -v*n + 4*n. Which is smaller: n or -4/3?
-4/3
Let g = 39 + -37.1. Let f = g + -2. Is f less than or equal to -7?
False
Let h = -0.63 + -2.37. Which is smaller: -2/25 or h?
h
Let u = 11 + -6. Suppose -j + 3*t - u = 0, -2*j - 3*t = -8*t + 9. Let i be ((-2)/3)/(0 + j). Is -1 greater than i?
False
Let u = 34 - 34. Does u = -2/23?
False
Let o(a) = -3*a**2 + 2*a + 1. Let b be o(-1). Let z = -63 - -61. Are b and z nonequal?
True
Let m = 0.03 + -0.43. Let y = -0.3 - m. Let t = 142/3 - 47. Is t != y?
True
Let s(k) = k + 2. Let m be s(-12). Let h = 12 + m. Is h bigger than 2?
False
Let z(m) = -m - 9. Let w be z(-9). Is w < 1/15?
True
Let j(d) = d**2 - 7*d + 11. Let k be j(8). Suppose -4*n = -v - k, 2*n + 3*n = -5*v - 45. Do v and -9 have the same value?
False
Let a(c) = c**2 + 3*c + 3. Let j be a(-3). Let r be ((-3)/(j/(-4)))/2. Suppose -4*v + 6 = -2*v. Which is smaller: r or v?
r
Suppose 0 = -6*u + 2*u, -2*q = -5*u - 44. Are q and 23 nonequal?
True
Let v = 1/409 - 845/11043. Which is smaller: 0 or v?
v
Suppose -q - 34 = g - 4, -4*q + 104 