y(k) = 483*k**3 + k**2 - k. Let i be y(1). Is 482 not equal to i?
True
Let j be 3/6*(-2 - (24 - -4)). Is -16 > j?
False
Let a(q) = -2*q**3 - 6*q**2 + 2*q + 7. Let w(r) = -r**2 + 1. Let c(t) = a(t) - 4*w(t). Let v be c(-2). Let i be 9/v - 2/7. Is 3/4 at most i?
True
Let s(z) = 6*z + 12. Let u(v) = 2*v + 4. Let w(d) = 5*s(d) - 16*u(d). Let i be w(-1). Let c be 6/99*6/2. Are i and c non-equal?
True
Let l = -46.3 + 10.3. Do 0.05 and l have the same value?
False
Let r = 14 + -12. Let s = 294 - 292. Is s != r?
False
Let o = -0.0688 + 0.3688. Which is bigger: 50 or o?
50
Let j = 0 - 4. Let r(y) = -2*y**2 - 14*y - 5. Let t be r(-6). Let n be ((-11)/t)/((-2)/(-4)). Is n <= j?
False
Let y(k) = 6*k - 22. Let m be (9 - -4 - 4) + -4. Let s be y(m). Are 9 and s nonequal?
True
Let p = -1798/7 - -772/3. Is p not equal to -5?
True
Let a = 1.2 - 32.2. Let z = -30 - a. Is z at least as big as -0.9?
True
Let i be (-25)/(-150) - (-734)/(-12). Let q(z) = -62*z**2 - z - 1. Let n be q(-1). Are n and i unequal?
True
Let r be (-10)/35 + 184/7. Suppose 0 = -44*a + 1022 + 166. Is r at least as big as a?
False
Let b(a) = -a**2 - 4*a + 6. Let y be b(-5). Let r = -97614083/587453347 + -108/193943. Let m = r + 3/233. Is m < y?
True
Let x = 53 + -38. Let a = 0 - -16. Which is smaller: x or a?
x
Suppose 0 = 5*c + 2*m, 3*c + 11*m - 7*m = -14. Are 20/7 and c non-equal?
True
Suppose -4*z - 3*o - 128 = 0, 5*z + 41 = 4*o - 150. Is z less than or equal to -35?
True
Let t = -1351 - -1299. Are t and -43 non-equal?
True
Suppose -3*b + 429 = 3*f, f + 3 = 1. Let d = b - 143. Let g = -7/78 + 365/156. Is d at most as big as g?
True
Let n be 30/(-45)*3/(-2). Let d be 35/(-6230)*(5 + n + -2). Is 0 greater than d?
True
Let s(v) = v**3 + 4*v**2 - 2*v - 2. Let b be s(2). Let n = b + -17. Let g = -4/3 + n. Which is smaller: g or -0.8?
-0.8
Let l be -292 - (4 - 3 - 2). Let m = 2041/7 + l. Which is smaller: 2 or m?
m
Let j(l) = -l**3 - 7*l**2 + l + 8. Let q be j(-7). Let u be (-289)/(-3060)*6 + 4/(-6). Are q and u unequal?
True
Let d be 647284/485040 - (-3)/((-9)/4). Which is smaller: -1 or d?
-1
Let l = 24 + -9. Let w be (-5)/25 - 57/l. Let c be (-10)/w*280/100. Which is greater: 8 or c?
8
Suppose -844*h + 385 = -837*h. Is 68 < h?
False
Suppose r - 70 + 69 = 0. Is -26/81 less than r?
True
Let k be (1/(-27))/((-185)/(-111)). Let x(c) = -c**3 - 10*c**2 + 10*c - 10. Let b be x(-11). Is b less than k?
False
Let x = 144 + -99. Let y be (-39)/x + ((-6)/10)/(-3). Suppose 3*p = 4*f - 12, -4*p + p = 3*f + 12. Is f less than or equal to y?
False
Let x(z) = 2*z**3 + 8*z**2 - 4*z - 13. Let a be x(-4). Let i be a + (6 + -3)/(2/6). Which is bigger: 2/3 or i?
i
Let h be 3/(-18) + 5/((-1650)/9665). Is -30 at most h?
True
Suppose 18*z - 577 = 215. Which is greater: 43 or z?
z
Let i be (-7 - -12)/(-15) + (-78)/63. Let h be (-4)/(-22) - 20/(-11). Let n = 1 - h. Is i at least n?
False
Let m = -1666 - -1666.3. Let g = -0.3 + 0.3. Let w = -0.5 - g. Which is smaller: m or w?
w
Let k be (-9)/(468/(-8)) + (-115)/(-520). Which is smaller: 0 or k?
0
Let f be (-81)/(-378)*20/(-3). Let k be (136/2)/((-105)/(-2)). Let p = f + k. Are p and 1 non-equal?
True
Suppose 4*h = 2 + 10. Let p be h/15 + 33/35. Which is bigger: p or 2?
2
Suppose -5*b - 11*b + 80 = 0. Suppose b*y + 3*g = -2*g + 5, -3*g + 7 = 5*y. Are y and 0.1 equal?
False
Let b = -445 + 448. Which is greater: b or -10?
b
Let y = 7.1 + -7.176. Let k = -1.924 + y. Which is smaller: -0.3 or k?
k
Let x be (-1 - 0 - 28)/(-1). Is 36 >= x?
True
Let q be (5/3)/(11/(-99)). Let k be 6/40 + (6/q - 0). Is k greater than or equal to -0.1?
False
Let n(v) = 6*v**2 - 3*v - 5. Let f be n(-2). Let d be 1/(-2) - f/(-10). Let q = d + -3. Which is smaller: q or 0.3?
q
Let z(u) = -25*u - 1. Let f be z(-1). Suppose -i = -3*i - f. Let m be (6/28)/(i/(-32)). Which is greater: m or 0?
m
Let s = 0.34 - 0.74. Let u = 0.473 - 5.543. Let p = u + 0.07. Which is bigger: p or s?
s
Let k be 42/18*3 - 2/(-1). Let p(h) = h**3 - 9*h**2 - h - 10. Let c be p(k). Which is bigger: 0.1 or c?
0.1
Let t(x) = 2*x**2 + x + 4. Let j be t(0). Suppose y - 5*l = 4*y - 5, -2*y + 4*l = j. Is y at most as big as 24?
True
Let t(g) = 4*g**2 - 4*g - 25. Let q be t(3). Which is smaller: q or 4/19?
q
Let t = 120 + -120.2. Are 1/9 and t equal?
False
Let k(g) = -g**3 - g + 2. Let m be k(0). Suppose 0 = m*j + 5 - 1. Let u = 338 + -337. Which is smaller: j or u?
j
Let d be (-6)/21 - 1724/(-154). Let a = -1058/99 + d. Which is bigger: a or 0.24?
0.24
Let p be (-12)/(-32) - 588/1184. Which is greater: p or 0?
0
Let w = 16 + -16. Suppose 2*z - 16 - 4 = w. Suppose z - 6 = d. Is 7/2 smaller than d?
True
Suppose 0 = -62*b + 51*b + 22. Is 39/37 at most b?
True
Let d(k) = -k**3 - 7*k**2 + k + 6. Let q be d(-7). Let g = 6 + -2. Let u(x) = -x**2 + 5*x - 6. Let w be u(g). Is q >= w?
True
Let c = 69 + -68.9868. Which is smaller: 1 or c?
c
Let g be (-4)/10 - 13160/350. Which is greater: g or 0.1?
0.1
Let c = 56 - 83. Which is bigger: c or -4?
-4
Let i be (-3 + (-12)/(-3))*-2. Let p = i - -1. Let k be -12*p/((-2)/(-1)). Is 5 less than or equal to k?
True
Suppose 5*k - 4*s = 1203, 20*s - 16*s + 8 = 0. Which is smaller: k or 240?
k
Let d(s) = -s**2 + 11*s - 15. Let p be d(7). Which is smaller: -3 or p?
-3
Let k = 46607/155993 + -3/3319. Which is smaller: 0 or k?
0
Let z(d) = 9*d + 16. Let j be z(16). Let n be -3 + (-75)/j*-6. Is -2/3 < n?
True
Suppose 0 = -3*m - 2*s + 5, -s - 2 = -0*s. Suppose -a = m*r + 16, 0 = -2*r - 2*a - a - 13. Let t = 8 - r. Is 13 < t?
False
Let f(v) = -v**3 - 7*v**2 - 10*v + 5. Let m be f(-5). Suppose -m*h - 53 = -163. Is 22 > h?
False
Suppose 3*y = -2*y + i + 28, y + 2 = 4*i. Let t = -7 + y. Is t equal to -1?
True
Suppose 3*b - 263 = h, -167 = -3*b + b - h. Let f be (b/(-4) - (-8 + 5))*1. Which is greater: f or -19?
f
Suppose 4*l + 2*v + 3 = 19, -4*l - 12 = -5*v. Suppose t + 6*s + 8 = s, 0 = -l*t + 5*s + 14. Let z(u) = -2*u**3 + 4*u**2 - 2*u - 2. Let o be z(t). Does o = -7?
False
Let x be (8/(-14))/(25420/434). Is -5 less than or equal to x?
True
Let p = -0.4 + 0. Let r = 23 - 19. Let x be 2 + (-12)/28*r. Which is smaller: x or p?
p
Let l be 0 - 1*(-3)/(-220914). Let b = 66274193/515466 - l. Let g = -129 + b. Is g <= 1?
True
Let y = -2705/48 - 229/16. Which is greater: y or -70?
-70
Let a = -0.4 - -0.46. Let n = 0.172 + -0.112. Let x = n - a. Which is greater: x or 0.1?
0.1
Let j be 1/(((-21)/6)/(-7)) + 13. Let p be j/(-2)*1*24/15. Is -11 > p?
True
Let k = -42.0161 + 0.0161. Which is smaller: k or -3?
k
Let n = -81 - -325. Is n less than -1?
False
Suppose -33*l + 35*l = -66. Suppose k + 11 + 25 = -2*j, k - 2*j = -32. Which is smaller: k or l?
k
Let k(w) = -w**2 + 11*w + 2. Let y be k(11). Let d be (175/50)/(0 + 2). Which is smaller: d or y?
d
Let y be 24/30 + 312/10 - -4. Let d be 22/55 - (-173)/5. Which is smaller: d or y?
d
Suppose 3*r = 4*h - 14, -4*h - 4*r - 10 = -5*h. Let b = -5 - -10. Suppose -b*v + 3*v = 0. Is v at most as big as h?
True
Let j be -24 - -36 - (-44)/(-4). Is j at least as big as -3/440?
True
Let g be ((-216)/(-1140))/((-3)/(-45)). Is g equal to 3?
False
Let y = -375 - -459. Is y < 0.3?
False
Let q be -6*1 - 3960/(-664). Is 1 >= q?
True
Let t be (-170)/3 - (-30)/18. Which is bigger: t or -53?
-53
Let a be (-72)/(-60)*10/3. Let d be 5935/(-25) + a/10. Let g = 3551/15 + d. Is 1 at least as big as g?
True
Let i be ((-13)/2)/(1 - (-2)/(-4)). Let u be (-30)/6 + i/(-3). Is u != -1?
True
Let v be 0 + 2 + 132 + -7. Let n = v + -87. Let l be (-18)/(-45) - 6/n. Is l >= -6?
True
Let t = -55.8 + 54.8. Is t bigger than 161?
False
Suppose -l + 8 - 5 = 0. Let m(j) = -j**3 - 19*j**2 - 5*j - 55. Let z be m(-19). Suppose -l*a + z = 2*a. Which is bigger: a or 9?
9
Suppose -4*h + 2*w - 7 = -3*h, -17 = 5*h - w. Let s be (-4)/h*((-81)/6)/9. Do -1/51 and s have different values?
True
Let g = -595 - -1147/2. Suppose 4*o - 2*o = t + 29, 3*t + 4*o + 57 = 0. Is t at most g?
True
Let h = 1357 - 643. Let k be 222/h - (-6)/(-14). Let f be (-4)/10 - 18/30. Which is smaller: k or f?
f
Let n(z) = -z**2 - 7*z - 2. Let k be 29/(-4) + (-4)/(-16). Let f be n(k). Which is bigger: -1 or f?
-1
Let h = 37 + -22.2. Let k = h - -0.2. Let f = k + -14.9. Is f > 2.4?
False
Let b be -1 - ((-417)/354 + (-9)/(-54)). Is -1 less than b?
True
Let 