3 + 1 - 9*s**3 + 8*s**3 - s**2. Let i be t(1). Do f and i have the same value?
True
Let z(q) = -q + 85. Let d be z(0). Suppose -33*k - 2*k + 2975 = 0. Do d and k have the same value?
True
Suppose 3*t = 4*t + 4*i - 96, -4*i - 256 = -3*t. Suppose 6*p + 4*y = 2*p + t, -114 = -5*p - 3*y. Are -1 and p unequal?
True
Let f = -81/182 - -19/26. Is -2/447 at most as big as f?
True
Suppose 5*p + 22 = -5*n - 48, 19 = -2*n + p. Let j = 1.6 - 0.6. Which is greater: j or n?
j
Let r = 0.719 + -286.719. Which is bigger: 1 or r?
1
Let t(p) = -p**2 - 5*p - 2. Let z be t(-4). Let q(o) = 1 + 1 + o**3 + o + 0*o + 1 + 3*o**z. Let b be q(-3). Is -3/5 less than b?
True
Suppose 3*c = -0*c - 822. Let r = 3295/12 + c. Let p = r + -17/36. Which is bigger: p or 1?
1
Let u = 57 - 62. Let f = u + 14/3. Is -48 < f?
True
Let k be 2*1*40/(-16). Let q = 18 + k. Is q != 13?
False
Let c = 0.55 - -0.15. Let l = 32.7 + -34. Let b = c - l. Which is greater: -0.02 or b?
b
Suppose 0 = -p + 2*p - 87. Let y = 434/5 - p. Let l(d) = -d + 1. Let f be l(1). Which is greater: f or y?
f
Let p = -72 + 104. Suppose -5*q + 4*n = -p + 4, -q + 6 = -n. Let z = -970 + 969. Which is smaller: z or q?
z
Let i(o) = -5*o**3 + o**2 - 3*o + 2. Let y be i(1). Let r be (-25)/(-40)*2*(-1)/y. Let l = -2.2 + 2. Is r > l?
True
Let s be (27/18)/(((-18)/(-392))/(-3)). Which is smaller: s or -93?
s
Let g be (-35)/(-16)*2/(-5). Which is greater: g or 0?
0
Let s be ((-4)/(-12))/((4/(-4))/(-30)). Let a be (-9)/(11/s + 4/10). Is -6 < a?
False
Let d(p) = p**3 - 17*p**2 + 2*p + 21. Let f be d(17). Suppose 4*u + f - 31 = 0. Is u greater than -9/2?
False
Suppose 54*n = 42848 + 12340. Do 1022 and n have the same value?
True
Let c = -2446 - -111. Is 1/4 smaller than c?
False
Let d be 0 + ((-14105)/(-330) - 2). Let t = d + -9/22. Let n = -41 + t. Are -19 and n non-equal?
True
Let t = 128 + -74. Let l = -4372/81 + t. Do 0 and l have different values?
True
Let r(k) = -k**3 - 7*k**2 + 7*k - 10. Let m be r(-8). Let g be 20/(-30)*3/m. Let l = -91/3 + 719/24. Which is smaller: g or l?
l
Let a = -17 - -20. Suppose -4*c - 45 = -8*c - k, -k - 32 = -a*c. Are -1 and c non-equal?
True
Let w = -270 + 272. Is w at most -2/11?
False
Let u(t) = 2*t**3 + 13*t**2 - 10*t - 13. Let o be u(-6). Let q = o + -73. Is 8 less than or equal to q?
True
Let s = -609 - -1155. Let h be -1 + 2/(-8)*(-2156)/s. Which is bigger: 1 or h?
1
Let g be (8/(-302))/((-4 - 2) + 8). Is g smaller than 1?
True
Let g(z) = z**3 + 57*z**2 + 158*z - 217. Let p be g(-54). Which is smaller: p or -393?
-393
Let m = -2399/6 - -409. Let x be 120/(-16)*(-4)/3. Which is smaller: x or m?
m
Let r(b) = b**2 + 15*b - 2. Let h be r(-13). Let a = h - -30. Suppose 0 = -a*k + 8 - 0. Is k != 6?
True
Let r = 249 + -247. Which is smaller: 20 or r?
r
Let c = -308450/119 + 2592. Which is bigger: c or 0.2?
0.2
Let k be 24/1*((-12)/(-234))/(-1). Do 12 and k have the same value?
False
Let a = -2.867 - 2.133. Which is smaller: -40 or a?
-40
Let k be 2/(-5)*(-5)/1 - 3. Which is smaller: -7/27 or k?
k
Let z(u) = -2*u + 6. Let h be z(-6). Let j(n) = -4*n + 83. Let k be j(17). Let q = h - k. Is q equal to 5?
False
Let q = -1.4 - -1.3. Let r = -84.6 - -84. Which is smaller: r or q?
r
Let f = -226 - -101. Let l = f + 126. Which is smaller: 2/33 or l?
2/33
Suppose 4 = 4*o - 0. Let x be 4/(12/39)*o. Let g = -12 + x. Which is greater: g or 2?
2
Let a = -284.6 - -285. Is 34/3 bigger than a?
True
Suppose 16 + 2 = -3*z. Let b be (-12)/(-15) + z/15. Does -0.25 = b?
False
Suppose -4*p - 8 = 4*l - 16, -5*l - p = -6. Are -0.0392 and l nonequal?
True
Let l = 39 + -37. Let t be (-1)/(l - -1 - 4). Which is bigger: -1/5 or t?
t
Let h = 8407/36 + -25/9. Let p = h + -233. Let q be 2/7 + 45/(-35). Is q less than p?
False
Let w be 952/255 + -6 + 2. Is -1 at least as big as w?
False
Let p(q) = q**2 + 8*q + 5. Let l(f) = f**3 + 13*f**2 + 14*f + 20. Let y be l(-12). Let o be p(y). Which is smaller: -12 or o?
-12
Suppose 9*q = 7*q + 4*t - 136, 3*t + 108 = -2*q. Which is greater: q or -63?
q
Suppose 3*b - 12 = 3*w - w, -5*w - 4*b - 30 = 0. Let x be (15/(-70))/(w/(-8)). Which is smaller: x or -0.7?
-0.7
Suppose 0 = 18*c - 20*c + 4*s + 20, -4*c - 4*s - 20 = 0. Let j = 155407/2343 + 4/781. Let k = -67 + j. Which is smaller: c or k?
k
Let r(n) = n**2 + 11*n + 5. Let y be r(-11). Suppose 18 = y*f - 2*f. Let q be (f/(-4))/(6/(-16)). Is q at least as big as 4?
True
Suppose -5*q + 5 = -5*f, -q - 3 = -0*f - 3*f. Suppose 2*z + 0*o + 19 = -3*o, -q*z = o + 18. Let p be (z/6)/((-6)/(-12)). Is p less than or equal to -2?
False
Let m = 2928 + -14943/5. Which is smaller: m or -61?
-61
Let g = 32 - 35. Let t be -1 + 63/16 + g. Is 0 at most t?
False
Let a = -19 + 20. Let j be 15/(-258)*(-2)/(-10). Is j greater than a?
False
Let m = 175/5304 - 1/136. Let a be 8/2*(-11)/44. Which is bigger: a or m?
m
Suppose -92*c = -69*c + 23. Is 70/3 at most as big as c?
False
Suppose 10 - 4 = 3*n. Suppose -n*d - d = 3*s + 33, d = -3*s - 23. Suppose 2*z + 10 = -0*z. Is s > z?
False
Let v = 91 + -132. Let z = v + 40. Which is smaller: z or 4/9?
z
Let o = -16 - -20. Suppose o*a = 2*j - 3*j + 16, 0 = 4*a + 3*j - 16. Let q = 3 - a. Which is greater: -7/5 or q?
q
Let n(r) = r**2 - 7*r - 2*r + 0*r**2 + 8 + 0*r. Let w be n(8). Let t(d) = -2*d**2 - 8*d - 2. Let j be t(-3). Which is smaller: w or j?
w
Let o = 338581/7397 + -595/13. Are o and 1 non-equal?
True
Let u be (-100)/(-4 - 1) - (-3)/1. Let v = 8 + u. Is v < 31?
False
Let i(l) = l**2 - 3*l - 3. Suppose 3*g + 8 = 5*g. Let u be i(g). Let k be (-6)/(-6) - 1 - 1. Which is smaller: u or k?
k
Let z = -69 + 54. Is z <= 0.16?
True
Let a = -857 - -479. Let d be (2366/a)/((-1)/(-3)). Let x = d + 56/3. Is 1 at least x?
True
Suppose 223 = -2*m - 313. Let x be 1*781*6/(-18). Let d = m - x. Is d equal to -8?
False
Let s(v) = v**3 - 18*v**2 - 18*v - 11. Let t be s(19). Which is bigger: t or 84/11?
t
Let n = 69/44 - -163/44. Which is smaller: 6 or n?
n
Suppose -48*y - 5313 = -15*y. Which is smaller: -159 or y?
y
Let n(x) = -114*x**2 + 60*x**2 - 13 - x**3 + 64*x**2. Let u be n(10). Is -13 less than u?
False
Let x = 68 - 67. Let q be ((2 - 0)*x)/((-18)/27). Are 6 and q equal?
False
Let c be -2 + 3 + -1 + -17. Let w = 37 - 33. Let z be ((-2)/(-4)*w)/(2/(-17)). Do z and c have the same value?
True
Suppose i + 44 = 4*q - 2*i, 12 = q - i. Let w be (-4)/q - (-138)/52. Let a = w + -321/143. Is -1 != a?
True
Suppose 5*c = -2*p + 47, 4*c - 12 = -3*p + 41. Suppose 7*g = 10*g - 18. Let y be (-63)/(-6) - (-3 - (-21)/g). Which is greater: p or y?
p
Let c = 3 - 4.1. Let a = c + 1. Which is smaller: a or 12?
a
Let d = -32707/7 - -4684. Which is greater: d or 12?
12
Let x = 963 - 963.1. Which is bigger: x or 2?
2
Let a = -11 - -11. Suppose a*w = -3*w + 12. Suppose -8*p + w*p + 4 = 0. Is 2/3 less than or equal to p?
True
Suppose -13*b + 1038 = -7*b. Which is greater: b or 175?
175
Let t = -0.786 + 0.106. Let a = t + 0.7. Is a > -0.03?
True
Let a(z) = -3*z**3 + 8*z**2 + 3. Let y be a(3). Let x = y - -3. Do x and 1 have the same value?
False
Let j = -242 + 244. Is j at least as big as -3/4?
True
Let i = 1061 + -1062. Are i and -10 equal?
False
Suppose w - 8 = -l, -36 = -5*w - 4*l - 0*l. Let j = w - -6. Let p(c) = c**2 - 7*c - 9. Let g be p(9). Which is smaller: j or g?
g
Let d = -27 - -27. Let l(m) = m. Let o be l(d). Are 2/33 and o unequal?
True
Let w = 20 + -17. Suppose -5*m = w*m - 8. Which is smaller: 2/29 or m?
2/29
Let f = 61/444 + -2/37. Let n(p) = p**2 - p. Let v be n(1). Is v < f?
True
Suppose -26*v + 525 = 2163. Is -66 greater than or equal to v?
False
Let t(j) = j**3 - 20*j**2 + 37*j - 37. Let w be t(18). Let n be 20/(-1)*(-4 - -5). Which is bigger: w or n?
w
Suppose -2*f + 5*k = 299, -5*f - 528 - 194 = -4*k. Is -143 at most as big as f?
True
Let t(c) = c**3 - 9*c**2 - 2*c - 8. Suppose 0*y = 3*y - 21. Let m be t(y). Let r be m/(-126) + 2/(-7). Are 0 and r unequal?
True
Let f = 44.46 + -44.4. Is 60 bigger than f?
True
Let f be ((-5)/(-10))/(1/20). Suppose 4*j + 3*d - d - 30 = 0, d = -j + f. Suppose 3*k = j*i - 0*k + 7, -5*i = -5*k + 15. Which is bigger: i or 5/3?
5/3
Let o be (-5 - (-7645)/1550) + 4/40. Which is smaller: o or 5?
o
Suppose -5*k + 92 = -k. Let m = 19 - k. Let l = m + 2. Are -0.5 and l equal?
False
Let v = -56105/6 - -93