5*j - 5*f + 74, 3*f - 18 = -2*j. Are b and j non-equal?
True
Let s(d) = d**3 + 8*d**2 + 9*d - 6. Let c be s(-6). Let o be -4 - c/((-9)/3). Which is bigger: o or 3/5?
3/5
Suppose -30 = -5*o - 0*o. Suppose 2*c + 2*l - 96 = 0, 3*c - 194 = -c - 2*l. Let x = -45 + c. Is x at most as big as o?
True
Let w be 3*2 - (1 + 1). Let k(q) = -18*q**2 + 5*q + 19*q**2 - 2*q + 0*q. Let n be k(-4). Are w and n equal?
True
Suppose j - 2 + 3 = 0. Suppose -2*x = -4*h + 3*x - 16, -2*h + 2 = -5*x. Let y be (-3)/h*2 + -2. Is y at most j?
True
Let p be ((-6)/4)/((-6)/101). Let j = p + -2129/84. Do 1 and j have different values?
True
Let k(t) = -t - 11. Let a be k(-11). Let o = 17 + -35. Is o smaller than a?
True
Let j = 3/10424 - 25207/15146072. Which is greater: j or 1?
1
Let l(j) = -j**2 + 6*j + 11. Let p be l(7). Let u be 1*((-2)/(-3) + p/12). Which is smaller: 13 or u?
u
Suppose 2*s - 55 = -9*s. Suppose 0 = d + 7 - s. Which is bigger: -1/4 or d?
-1/4
Let x = 18 - -15. Suppose -12*j - 147 - x = 0. Which is smaller: -27/2 or j?
j
Let a = -23 + 13. Let y be a*-2*(-4)/(-8). Let c be (-96)/y + (-12)/(-20). Do -9 and c have the same value?
True
Let c be (1 - 6)*1*-1. Let x be ((-6)/(-4))/((-2)/(-12)). Let h be (4/(-5))/(x/(-45)). Which is smaller: h or c?
h
Let d = -5539 + 5605.86. Let a = d + -65. Let z = -0.14 - a. Which is smaller: 3/5 or z?
z
Let j = -4.7 + 4.71. Let b = 4 - 1. Let i = b - 1. Is i smaller than j?
False
Let l(c) = -c**2 + 5*c + 1. Let g be l(4). Suppose -w - 4*w = -g. Let h be 648/(-470) + 70/50. Is w at least as big as h?
True
Suppose 5*p + 2 = -3*f, 0*p - 5*f = -5*p - 10. Let u = -440/9 - -8366/171. Which is greater: p or u?
u
Suppose 0 = 3*a - 1162 - 3722. Suppose -f - a = 3*f. Let n = 4474/11 + f. Which is greater: n or 0?
0
Suppose 13*n + 588 + 504 = 0. Are -84 and n unequal?
False
Let x be (-1122)/(-2856)*10/11. Suppose -2 = -5*a + 2*q, 6*a = 2*a + 2*q + 2. Which is greater: a or x?
x
Let r(j) = j**3 - 7*j**2 + 5*j + 2. Let x be r(6). Let d be 2/((-72)/(-402)) + 2/x. Is 10 < d?
True
Suppose 0 = 2*h - 6 + 14. Suppose -2*m - q - 1 = -m, -5*m = -5*q - 25. Suppose 2*n - 2*z = n - 12, 5*n = -m*z. Is n bigger than h?
True
Let j(k) = -6*k**3 - k**2 + 2*k + 2. Let x be j(-1). Suppose x = 4*v - 9*v. Does 4/17 = v?
False
Let g be (-6)/(-15)*(270 + 10). Let f = 337/3 - g. Which is greater: 1/25 or f?
f
Suppose -10 = -4*m + 6, -5*l - 5*m = -10. Is -6/7 != l?
True
Let l = -10 + 10. Suppose -11 = -3*n - z, l = -n - 4*n + 4*z + 41. Suppose 3*r - s = -17, 4*r = -0*r + n*s - 8. Which is bigger: r or -6?
-6
Suppose 0 = 5*o - 2*n - 19, -5*o - 21*n + 5 = -16*n. Which is greater: o or 32?
32
Suppose -5*x + 0 = -25. Let p be ((-30)/(-100))/((-2)/(-30)). Which is smaller: x or p?
p
Let c(s) = -s**3 + 31*s**2 + 31*s + 37. Let z be c(32). Let y be (-90)/12*(-4)/6. Is z smaller than y?
False
Let r be -65 - 8 - (-9 - -7). Is r smaller than -56?
True
Let a = -395.49 - -392. Let l = a - -3.7. Let z = -0.41 + l. Is z at most -0.03?
True
Let f = -73 + 73. Is f <= -1/174?
False
Suppose -2*l + 4 = 4*j, 4*l + 11*j = 8*j + 3. Is l <= -10/9?
False
Let d = 0.11 - -0.05. Let w = -0.06 + d. Which is bigger: w or 0.11?
0.11
Let d = -6.3 + -30.7. Let m = d - -35. Is -7 not equal to m?
True
Let s = -26542165231693/11249826 - 11318391374/5699. Let z = 4345371 + s. Let k = z - -9/94. Which is smaller: k or -2/5?
-2/5
Let p(v) = -v**3 + 18*v**2 - 43*v - 6. Let y be p(3). Are -4/491 and y non-equal?
True
Let t(h) = -h**3 + 5*h**2 - 3*h + 3. Let n be t(2). Suppose 2*d = -3*d + 50. Let l = d - n. Which is greater: 2/7 or l?
l
Let o = 4 - 5. Let i be o + (-24)/3 + 2. Let r = i - -8. Which is smaller: r or -2/11?
-2/11
Let v = 2/1759 - -3464/47493. Is v not equal to -15?
True
Suppose -2*v - v + 2*a - 242 = 0, 405 = -5*v + 3*a. Let p be 147/v*4/11. Do p and 0 have the same value?
False
Let w(h) = h - 6. Let t(o) = -2*o**3 - 2*o - 1. Let u be t(-1). Let k be w(u). Which is greater: -1/3 or k?
-1/3
Let n(v) = 3 + v**3 + 2*v**2 - 1 + 3*v + 7 + 6*v**2. Let x be n(-8). Let s be 2/((-1)/((-5)/x)). Is s < 2?
True
Suppose -6*z - 31 = 41. Let c be (10 + z)*(3/(-2))/3. Is c > 3?
False
Let g(q) = q**2 + 14*q + 11. Let u be g(-13). Let v be (u/(-5))/(5/(-175)). Let s = v + 15. Which is smaller: s or 1/30?
1/30
Suppose 9075 = -15*n - 0*n. Is n > -604?
False
Let r(x) = -x**2 + 20*x + 1. Let m be r(9). Suppose 0*b + m = 4*b. Suppose -c - 3*n + 13 = 0, -n + b = 4*n. Which is smaller: -8/5 or c?
c
Let m be ((-2)/(-14))/(6/7). Let s = 16733/5 - 3347. Which is smaller: s or m?
s
Suppose 7*z = -2*z. Suppose -17 = 2*f + 3*d - z, -f + 2*d = -9. Is -1/7 != f?
True
Let k = 1051 + -1050.9973. Are -0.3 and k equal?
False
Let d be 2/((-70)/31) - 12/(-20). Which is greater: -18 or d?
d
Suppose 3*q + q = -10*q. Suppose q = -w - 7*w. Is w < -3/7?
False
Suppose -3*f - x + 31 = f, -3*f + x + 32 = 0. Let r = -13 + 1. Let b be r/f*(-54)/48. Is b != 1?
True
Let q be (1/47)/(4/4). Suppose 4*g + 16*g = -2*g. Which is smaller: q or g?
g
Let a = 3364997451343/1959941012529 - 2/375683537. Let j = a - 63/37. Which is smaller: 1 or j?
j
Suppose -3*a = 11 - 20. Suppose -a*c + 34 = -3*f - 38, 2*f + 44 = c. Let u = 19 + f. Is u != 1/2?
True
Let f = -921/2 + 461. Which is greater: f or -127?
f
Let c(g) = g**3 + 12*g**2 - 8*g + 8. Let o be c(-12). Let l = 181 - o. Is l >= -2/5?
True
Let o be (8/(-10))/(118/(-4425)). Is o equal to 35?
False
Suppose 10*m + 223 - 723 = 0. Let s = m + -66. Which is smaller: s or -14?
s
Suppose 3*a + 90 = 2*d, 2*d - 79 = 2*a + 7*d. Let u be (-471)/15 + 4/30*3. Is u at least as big as a?
True
Suppose z = -4*s + 17, 0 = 3*z - 0*z + 5*s - 16. Is -8 less than z?
True
Suppose 826 - 217 = 21*r. Let t(f) = f**2 + f - 5. Let b be t(5). Let s = r - b. Which is greater: s or 3?
s
Let k be 2/(-2)*(-5 - (-8 + 0)). Is -17/6 not equal to k?
True
Suppose 2*m + 8 = 0, -5*c + c = -4*m - 20. Let z = 272/55 - 22/5. Which is bigger: z or c?
c
Let o(w) = 8*w + 3*w**2 - 2*w**3 + 3*w**3 + 4*w**2 + 12. Let p be o(-6). Let h(a) = -a**3 + a**2 + a - 2. Let s be h(0). Is p bigger than s?
True
Suppose 0 = -2*r + 2*b - 5 + 35, 2*r = -3*b + 55. Is -6 bigger than r?
False
Let s = -1961.83 + 1962. Which is greater: s or 0.2?
0.2
Let i = -15217 + 10119308/665. Which is smaller: 1 or i?
i
Suppose -11 = 2*x + 5*u + 6, 0 = u + 1. Let j be (-2)/3*x/4. Which is smaller: 6/13 or j?
6/13
Let d = 53 - 49. Let l = -90 - -98.7. Let f = l + -9. Which is smaller: d or f?
f
Let x = 0.1266 + -0.1266. Let i = -0.9 + 1. Which is smaller: i or x?
x
Let y = 417 - 426. Let z = -1 + -7. Which is greater: y or z?
z
Let j = -3146 - -3063. Is j at most as big as 4?
True
Let s be 2*10/8*(-114)/(-10). Which is smaller: s or 28?
28
Let q = 3.5 - 19.5. Let n = -15.93 - q. Let p = 0.08 - n. Which is bigger: -1 or p?
p
Suppose 0 = 4*r - r + 3*k + 69, 4*r + 5*k + 95 = 0. Let t be (-2)/r*1/6. Which is greater: 1 or t?
1
Let i(d) = d**3 + d**2 - 2*d - 4. Let r be i(0). Let v be 2/(-17 + r/(-1)). Let h be 1/(1/1) - 2. Which is greater: v or h?
v
Suppose -8 = 2*w, -4*z + 2*w = -0*w - 16. Suppose z*c = -3*c + 30. Let n be 0 - (-1 + (-4)/c). Which is smaller: n or 3?
n
Suppose 4*f + 5*v - 105 = -6, 0 = f - 5*v - 31. Is f at most 124/5?
False
Suppose -8*c + 4*c - 4 = 0. Let p be 2*(-2 + c + 27/2). Which is bigger: 19 or p?
p
Let c(f) = -f**2 - 5*f + 8. Let t be c(-5). Suppose 4*o = 2*m - 42, -o = -m + t + 5. Which is greater: -1 or o?
-1
Let h = 1701.866 + -1700. Let x = h - -0.134. Is x < 22?
True
Suppose 2*y = 71 + 57. Let a = y + -63. Which is greater: a or -1/8?
a
Let m be 11/(-264)*-9820*2/5. Is m > 0.1?
True
Let o be 3*(-2)/15*-8. Let d be (-2 + -1)*4/(-6). Let z be d*(-5)/(-10) - -1. Is o at most z?
False
Let c = 18.145 + -18. Let r = 0.015 - c. Which is smaller: r or -0.2?
-0.2
Let b(z) = 78*z**2 - 3*z. Let x be b(-1). Which is greater: 82 or x?
82
Let k = -24 + 21. Let v be 36/8 + k/6. Let c be (-644)/(-1470) - v/(-30). Is c < 1?
True
Suppose 0 = -2*w + 4*u + 18 - 2, 27 = 5*w + 3*u. Suppose 4 = -2*n - w. Let y(i) = i + 1. Let p be y(n). Which is greater: p or -5?
p
Let s = 30 - -11. Let b = 307 + -266. Is s at least b?
True
Let l = 9/148 - -167/296. Let r be (12/15)/((-1)/5). Do r and l have different values?
True
Let g(k) = -2*k**2 - 9*k + 5. Suppose 3 = -3*l - 5*c -