= -i**3 - 7*i**2 - 3*i + 8. Let q be u(-6). Let s be ((-3)/75)/(4/q). Are s and -1 equal?
False
Suppose 19*q + 200 = -85. Which is greater: q or 1?
1
Let d be (-1)/(-2)*(2 + 6). Let j = 19.2 + -21. Let o = j - -0.8. Which is bigger: d or o?
d
Let p be -1 + 1 + 0 + 2. Let a = -0.26 + 9.26. Does a = p?
False
Let v = -3 - -2.8. Suppose -5*f + 4*l - 2*l + 195 = 0, -3*f = -l - 116. Let w be 1 + f/(-20) + (-2)/(-8). Is w at most as big as v?
True
Suppose 4*b = -4*v + b + 13, 8 = 3*v + 4*b. Let k be 15/6*v/(-325). Is k smaller than -1?
False
Let r = -0.4 - 0. Let o = 137.8 + -90. Let k = o + -48. Which is smaller: r or k?
r
Let f = -282242/11 - -25678. Which is greater: 19 or f?
f
Suppose -4*d - 24 = -2*d. Let l(s) = -37*s - 567. Let p be l(-15). Is p less than d?
False
Let l be (-15)/36 - (-9)/36. Suppose 0 = -5*p + 25, -r - 8 = -3*p + 6. Is r not equal to l?
True
Let k(t) = -t**3 - 29*t**2 + 68*t + 167. Let o be k(-31). Suppose -l = 4*l + 95. Is l > o?
False
Suppose -114 = -3*p - 4*k, 3*k + 50 = -5*p + 251. Do 41 and p have the same value?
False
Suppose -5 = 3*c + 4. Let f = -59.034 + 59. Let h = -0.166 + f. Is h bigger than c?
True
Let s be (-2 + (-4)/12)*4/(-14). Do s and 10.1 have the same value?
False
Let v = 45 - 44. Suppose 2*l - 3*l - v = 0. Which is greater: 13 or l?
13
Let b = -9599 - -9601.1658. Let c = 0.0358 - b. Let a = 0.13 + c. Is a <= 3?
True
Let s(p) = p**3 + 6*p**2 - 87*p - 566. Let z be s(-8). Suppose 2*h = -h + 4*j + 14, j + 13 = -4*h. Let m be (-1)/h*(-8)/(-5). Which is greater: z or m?
z
Suppose -11*y - 25*y = 648. Is y <= -8?
True
Let k be ((-14)/4*2)/1*5. Let t = k + 45. Which is smaller: t or 11?
t
Let x = 118 + -115.01. Let j = -0.01 - x. Let c be 1 + 1/2 - 3/6. Is j greater than c?
False
Let a(p) = 22*p - 134. Let g be a(4). Which is bigger: -43 or g?
-43
Let j(w) = w**3 + 4*w**2 + 2*w + 10. Let u be j(-4). Let m be (-1 - -1)/((u - -4)/(-3)). Let v = -1164/7397 + 2/569. Does m = v?
False
Suppose -p + 2*o = 3, 2*p = -p - 4*o + 11. Suppose 0 = -s - 12 + p. Let i(g) = g + 9. Let w be i(s). Which is smaller: w or -2/3?
w
Let o be (-3)/(24/(-110)) + 76/304. Is 0.2 at most as big as o?
True
Suppose 2*f + f - 27 = 0. Suppose 0 = -4*c + 1 - f. Let w = -0.1 + 0.08. Are c and w equal?
False
Suppose -i - 2*m = 0, 2*i + 5*m + 1 - 2 = 0. Suppose 23*s - 4 = -4*b + 27*s, -b = -2*s - 3. Let p = i - b. Is -9/5 less than or equal to p?
True
Suppose 1 - 9 = -2*s. Let c = -1193/35 - -184/5. Is s bigger than c?
True
Let x(v) = -v**2 + 6*v - 3. Let a be x(3). Suppose 7*t - a = 1. Let m be (-2)/((-8)/(-12)) - t. Are m and -3 equal?
False
Suppose 5 = -0*t - 5*t. Which is bigger: -2/23 or t?
-2/23
Let m(h) = h**3 - h**2 - h. Let z be m(2). Suppose -r - 216 = -222. Suppose -2*k + 4 = 2*w, z*w + r = 4*k - 8. Is -3 greater than w?
False
Let i = 16515 + -48754/3. Let q = i - 269. Is -4 at most q?
False
Let a = 0.898 - -0.102. Which is bigger: a or 5/51?
a
Let z be 6/(-40)*(-15)/((-90)/(-24)). Which is smaller: -39 or z?
-39
Let f = -676 + 677. Let d = 110/3 - 12424/339. Is f less than d?
False
Suppose 0 = -4*r - 3*r - 5*r. Suppose -3*s + x - 10 = 0, -26 = 5*s + 2*x - 6*x. Let q be 1*s/((-4)/6). Does q = r?
False
Let g be -1*4 + 15/5. Let m be (-12 - 2)/(g/(-1)). Which is smaller: -13 or m?
m
Let g = 14 + -6. Let i = -6 - g. Let n = -15 - i. Are n and 1/2 unequal?
True
Suppose 4*k - 17 - 1 = -5*f, -2*f - k = -6. Let x = -182 + 177. Let m be (-15)/(-9) + x/(-5) + -2. Which is greater: m or f?
f
Let x = 0.228 - 1.128. Suppose 4*u + 15 = -u - 4*l, -5*u + 5*l + 30 = 0. Which is smaller: u or x?
x
Let g(u) = 3*u + 66. Let z be g(-20). Is z at most as big as 6?
True
Let p = 20 + -16. Suppose -12 = p*o + 16. Let x = -13 + 8. Is o at least as big as x?
False
Suppose 5*l = n - 26, l + 12 = 2*n - l. Let f be (-2)/5 - 10/(1200/(-56)). Which is smaller: n or f?
f
Suppose 0 = -4*p + 4*s - 8, 14*p - 11*p - 2*s + 5 = 0. Suppose -5*b = -0*b + 1010. Let v = b - -1007/5. Which is bigger: v or p?
v
Let z = 83/38 - 17105/7866. Which is smaller: z or -1?
-1
Let g = 0.34 + 0.29. Let q = -0.73 + g. Is 1/29 at least q?
True
Let u = -35 + 24. Let r be (1 - 1)*(-4)/(-8). Let y be (1 - r)*(-2)/8. Which is smaller: u or y?
u
Let i = 30.446 - 30.2. Which is smaller: 0 or i?
0
Let z = 229/60 - 17/5. Let f be (0/2)/(5 - 3). Which is smaller: f or z?
f
Let w(r) = 3*r + 19. Let s = 2 - 8. Let v be w(s). Is 8/15 greater than v?
False
Let d be (((-6)/(-4))/((-3)/(-10)))/(-1). Let x(p) = p - 4*p - 4 - p**2 - 2*p. Let c be x(d). Are c and -4 equal?
True
Let c = -68 + 107. Suppose -34*n + c*n + 225 = 0. Is n not equal to -46?
True
Let f = -33 + 37. Suppose 2*n - f*n - 2*d - 24 = 0, -5*n = -2*d + 95. Let c(i) = -10*i + 2. Let v be c(2). Which is greater: v or n?
n
Let b(r) = 23*r + 50. Let l be b(6). Suppose 0 = -12*q - l - 400. Is q less than or equal to -49?
True
Let i = -10 - 8. Let u = 65 - 46. Let n = u + i. Which is smaller: 4/7 or n?
4/7
Let s = -0.69 - -23.69. Let j = 21 - s. Is j < -6?
False
Suppose -36 = -o + v + 28, -3*v + 174 = 3*o. Is 59 not equal to o?
True
Let o be ((5 + -1)/4)/(1/(-37)). Is -39 at least as big as o?
False
Let r(p) = -2*p + 34. Let k(z) = 2*z - 35. Let t(b) = -6*k(b) - 5*r(b). Let a be t(20). Let h be ((-1)/15)/(3/(-9)). Which is bigger: h or a?
h
Let q be (2/14)/(42/(-106146)). Let v = q + 361. Let o be (-6)/(-9) - 4/4. Do v and o have the same value?
False
Let a = -0.031 + 10.031. Is a not equal to 0.1?
True
Let d = -904370/63 - -101926/7. Let q = d + -206. Are q and -1 non-equal?
True
Let l = -171296 + 1716111/10. Let p = l + -313. Let s = 157/70 - p. Are s and 0 unequal?
True
Let p(q) = -80*q - 22. Let j be p(9). Let r = -4429/6 - j. Which is bigger: r or 5?
5
Let x = -20.2 + -13. Let u = x + 33. Do u and -6 have the same value?
False
Suppose 0 = 4*h - 4*i - 4, h + 4*i + i - 19 = 0. Let g be (-182)/195 + h/(-6). Is -2 >= g?
False
Suppose 0 = -0*n + 2*n - 4. Let z(a) = -a**3 - a**2 + 4*a. Let x be z(-3). Suppose x*y - 8*y = -n. Which is smaller: y or 1/14?
1/14
Suppose -14 + 2 = -3*n. Suppose -30 = 2*w + n*g, 2*w = -g - 2*g - 26. Let a = -2.8 + 3. Which is smaller: a or w?
w
Let j = -15 + 18. Suppose -3*t - m = -3 + 8, j*m = t + 15. Are -21/5 and t non-equal?
True
Suppose -9*j + 30*j = 0. Which is bigger: j or -611?
j
Let r = -6 + 9. Suppose 0 = -r*f - 2*f. Suppose 2*z + 7 + 9 = f. Is z equal to -8?
True
Let g = -790/1589 - -48/227. Let v = -2/281 + 1214/12645. Which is smaller: g or v?
g
Suppose -2*b - c + 11 = b, -3*b + 5*c = 1. Suppose -b*o - 3 = 9. Is o equal to -6?
False
Let v(d) = -d**2 - 11*d - 17. Let j be v(-7). Let g be (-12)/8 - j/2. Is -8 >= g?
False
Let m = 786.2 - 786. Is m less than -0.33?
False
Suppose 3*k = 5 + 13. Suppose 5*j + 22 = -3*m, -4*m = -k*j + j - 29. Is m at most as big as 6?
True
Let i(a) = -a**2 + 4*a - 4. Let q(o) = -o - 6. Let k be q(-9). Let v be i(k). Let x be 33 + -32 + 6*(-1)/7. Which is greater: x or v?
x
Let x = -87.926 + 88. Let v = -1.92 + 1.82. Does v = x?
False
Let a = 30 + -31. Let x = -6.2 - -0.2. Which is bigger: a or x?
a
Suppose -4*j + 9 = -4*f + 29, 2*j = -10. Which is bigger: f or 1460?
1460
Suppose -13*i + 3870 = -15*i. Let b = -164473/85 - i. Is b at most 1?
True
Suppose 3*y + 4*b - 15 = 1, 2*y = b - 4. Suppose 5*d = -4*h + 2*d + 151, 0 = 4*h + d - 149. Let r = 153/4 - h. Which is bigger: y or r?
r
Let w(m) = 2*m**2 - 20*m + 19. Let r be 2*(-1)/(-1) - -7. Let s be w(r). Which is greater: s or -3/97?
s
Suppose 59*s = 55*s - 324. Let q = s - -80. Which is smaller: q or 1/3?
q
Let j = -70 - -81. Let o be (j/(11/2))/2. Let n = -50 - -599/12. Which is smaller: n or o?
n
Suppose 9 - 57 = -8*n. Suppose -u + 6 = -2*u - 3*f, -4*u - 3*f = n. Which is greater: u or 2/203?
2/203
Let d = -896 + 896. Is d greater than or equal to 1/78?
False
Let q(a) = a**3 + 5*a**2 - a - 5. Let y be q(-5). Suppose -5*v + 20 = -y. Let f = -8/23 - -208/69. Is f greater than v?
False
Let q(w) = -2*w**2 + 2*w + 1. Let x be q(2). Let k be (8/40)/(x/5). Suppose 3*u - 4*u = -4*h - 1, 3*u = 3. Do k and h have different values?
True
Let j be 99179/(-985890) - (-2)/20. Does j = 1?
False
Suppose 6*k - 533 - 289 = 0. Let f = 137 - k. Let w be 56/(-10)*1/4. Is w smaller than f?
True
Suppose 6 = -2*c - 2, 2*c = d + 26. Let s = -427 + 392. Is d