0). Is -43 at least as big as s?
True
Let j = -131 - -114. Is j at least as big as 2/7?
False
Suppose -2*v = 2*c + 2, -3*v + 5*c = 10 + 1. Let z be (((-8)/(-20))/(v/30))/17. Which is greater: -1 or z?
z
Let v be (2 + 15/3)*(-8)/(-56). Let p(y) = -y**2 + 11*y + 4. Let t be p(8). Let b be 2/t*(9 + -1). Which is smaller: v or b?
b
Let j be (-91)/(-87) + (-2 - 7 - -8). Do j and -1 have the same value?
False
Suppose 4*c - c = -5*s - 327, 4*s = 4*c + 436. Is -108 > c?
True
Let r be (22/(-24))/((-32)/(-256))*12. Is -1 != r?
True
Suppose 271 + 141 = 4*s. Are s and 103 equal?
True
Let y = 259 + -122. Suppose -6*h + 2*h + 3*a + y = 0, -h + 5*a = -30. Let v be (-2 - -1)/(h/(-14)). Are 1 and v nonequal?
True
Let d(l) = -2*l**2 + 35*l + 15. Let w(j) = -3*j**2 + 17*j - 6. Let z be w(3). Let a be d(z). Let v = -0.7 + -0.3. Is v less than a?
False
Suppose s - 83 = -2*s - t, -4*s - t = -110. Let o = -26 + s. Let p = -2/721 + 414/721. Which is greater: o or p?
o
Let d(m) = m**2 + 8*m + 7. Suppose 0 = 2*p - 2*s + 14, 0*p + 18 = -4*p - s. Let h be d(p). Which is greater: h or -9?
h
Let m be 0*(4 - 1)/(-3). Let u be 3/(-36)*(-15980)/3. Let y = u + -445. Is m at least y?
True
Suppose s = 18 + 3. Suppose -23*u + s*u = 0. Which is greater: u or -1.1?
u
Suppose 39*g = 18*g - 1491. Which is greater: g or -69?
-69
Let f be (-8)/6*18/(-24). Which is smaller: f or 0.449?
0.449
Let s = -296 - -1484/5. Which is smaller: s or 0.07?
0.07
Let d be (-8158)/1632 + (-120)/(-24). Are 1 and d equal?
False
Let s(o) = -o**3 - 3*o**2 + 5*o + 4. Let v be s(-4). Suppose 22 = 4*b + 2*a, -4*a = -5*b - v*a + 60. Let j be 4/b*12/27. Is j equal to -4?
False
Let f = -385 - -380. Let r be 9/42*8/(-6). Is f not equal to r?
True
Let y = 351 + -350.81. Which is smaller: -7/10 or y?
-7/10
Let v be (3/3*0)/2. Suppose v*i = -2*i + 88. Let b = i - 35. Is b greater than 10?
False
Let s be (18/12)/((-3)/16). Let a = s - -10. Suppose -7*i = -a*i - 5. Which is bigger: 2/11 or i?
i
Let l(k) = k + 1. Let s be l(-1). Suppose 5*u = -s*u. Let f = 46 + -45. Which is greater: u or f?
f
Let p = 7/2 - 17/4. Let b = -3 - -8. Let l = b + -6. Are l and p equal?
False
Let t be 19065/(-82) - (0 + (-2 - 0)). Suppose -2*r - 5*f = -369 - 97, r - 203 = 5*f. Let v = t + r. Is v smaller than -9?
False
Suppose 0 = -q - 0*q - 1. Let l = -39 + 31. Let g be (10/l)/(3/(-12)). Is g > q?
True
Let z(c) = 11*c - 4. Let w be z(-1). Let f be 78/w - 8/10. Do f and 0 have the same value?
False
Let p(v) = 2*v**2 - 5*v + 4. Let b be p(2). Let y be (b + (-86)/48)*(19 + -17). Is -1 > y?
False
Let s(k) = -5*k + 3. Let m be s(2). Let u(p) = -p**2 + 10*p + 24. Let c be u(12). Let r be (-7 - c/(-2))*(-6)/(-7). Which is smaller: r or m?
m
Let k = -1399/273 + 16/39. Which is smaller: k or -5?
-5
Let n be -2*((-9)/(-27) + (-70)/12). Let b(i) be the second derivative of i**3/6 - 13*i**2/2 - i. Let a be b(n). Is a bigger than -2?
False
Suppose 0*i - 4*r = 3*i - 20, 3*i - 10 = -2*r. Suppose i = -0*d + d. Which is bigger: d or 0.09?
0.09
Suppose -9*x - 104 + 122 = 0. Let p be ((-2)/(-12))/((-1)/(-10)). Which is smaller: x or p?
p
Suppose -3*i + 2*g = -0*g + 7, -4*i = -2*g + 6. Let q = 10/27 + -52/189. Which is smaller: q or i?
q
Suppose 2*t = 4*z - z - 312, -2*z = -4. Does t = -152?
False
Let c(q) = 3*q**2 + 90*q. Let u be c(-30). Let b(t) = 2*t**2 + 2*t + 1. Let h be b(-2). Let s = -3 + h. Which is greater: s or u?
s
Suppose -2*j - 74 = -2*r, -37 = 3*j - 4*r + 76. Is j at most -46?
False
Let v(g) = -g**3 - 20*g**2 - 15*g + 24. Let j be v(-19). Which is smaller: j or -64?
-64
Let g = -20 - -40. Let t be 3/5 - (-8)/g. Which is greater: -1 or t?
t
Let v(x) = x**2 + x + 2. Let b be v(-2). Suppose -b*f = 6 - 10. Which is smaller: f or 0?
0
Let t = -176 - -84. Are -92 and t unequal?
False
Let s(a) be the first derivative of a**3/3 - 7*a**2/2 + 10*a + 4. Let j be s(7). Let w be (j/(-20))/(38/12). Which is bigger: 1 or w?
1
Let f = 0.8 - 0.8. Let l = -62 + 60.1. Which is bigger: f or l?
f
Suppose 5*x + v - 101 = 0, 19*x - 3*v - 117 = 14*x. Which is smaller: x or 59/3?
59/3
Let s(h) = 15*h**3 - h**2 - h + 2. Let o be s(1). Suppose l - 13 = -o. Let n be 1/(2*(-1)/l). Which is bigger: n or -1?
n
Suppose d + 9 = -5*a + 4*d, a + 3*d = -9. Is a not equal to -32/17?
True
Let x = -16 + 54. Let j = x - 24. Which is smaller: 11 or j?
11
Suppose 2*m = 2*o + 4, 4*m + 3*o - 6*o = 13. Let h = -6 + 8. Suppose m = -h*z + 5. Is z at most as big as -2/51?
True
Suppose -4*t + 45 = -7*t + 5*v, 3*t - v + 33 = 0. Suppose -2*k = -0*k. Which is bigger: t or k?
k
Let m = -47 + 80. Let z = 35 - m. Which is smaller: 0 or z?
0
Let d(x) = 24*x + 160. Let o be d(-12). Do o and -127 have different values?
True
Let r = -41 - -19. Let h = 12 + r. Let p = 5809 + -5820. Which is bigger: h or p?
h
Suppose 183 + 209 = -7*b. Is b < -56?
False
Let x = -19 + 18.64. Let t = x + -0.04. Let w = 197/3 - 65. Is w less than t?
False
Let s = 47 - 38.3. Let p = s + -8.9. Is 0.1 equal to p?
False
Suppose l - 17 = -5*a - 0*l, 4*a = 2*l + 22. Suppose 0 = 4*g + 2 + 10. Let k = -4 - g. Which is greater: k or a?
a
Let o = 17575/46 + -382. Is 6 > o?
True
Let h = -86 - -243. Let u = -151.92 + h. Let z = -0.08 + u. Which is greater: -1/4 or z?
z
Suppose -6*q + 86 + 64 = 0. Suppose q = -2*v - 3. Is v at most -13?
True
Suppose -265 = 13*d + 229. Which is greater: -157/4 or d?
d
Let z = -0.14 + 0.1. Let b = 268 - 268.926. Let i = b + -0.074. Is i at least as big as z?
False
Suppose -5*u + w + 3*w = 10, 2*u + 3*w - 19 = 0. Suppose h - 3 + u = 0. Let k(g) = -2*g + 1. Let l be k(h). Which is bigger: 0.03 or l?
0.03
Let o(t) be the first derivative of -t**3/3 - 7*t**2/2 + 15*t + 13. Let p be o(-8). Are 8 and p nonequal?
True
Let m = 109 + -106. Suppose 5*q + 3*j + 20 = 0, m + 10 = -4*q - 3*j. Is q at least as big as -7?
True
Let m(i) = -7*i + 20. Let g be m(3). Which is bigger: 5/221 or g?
5/221
Let x be -1 + 3 + -3 + -4. Let k be 12*(-2 + x/(-3)). Which is bigger: -5 or k?
k
Suppose 2*g = 7*g + 50. Let v(f) = -f**3 - 8*f**2 + 18*f - 20. Let s be v(g). Let k be (2/(-5))/(1/5). Is k at least as big as s?
False
Let l = -39 + 14. Let b = l + 22. Let h(n) = 3*n + 7. Let u be h(b). Are u and -2/17 equal?
False
Let o = 191/8 + -4345/184. Which is smaller: o or 0?
0
Let k = 611 + -610. Which is smaller: -1/169 or k?
-1/169
Suppose 13*h = -39 - 26. Do h and 2 have the same value?
False
Suppose -14 = -5*r + c, -r = -c - 3*c - 18. Let y be 4/(-6) + 15/(-1044). Let q = 2/29 - y. Is q at least as big as r?
False
Let v = 0.0236 - 0.6236. Is -0.049 at most v?
False
Let s be (-7)/6 - 12/(-18). Let z = 15 - 14.81. Which is smaller: z or s?
s
Suppose 14 + 4 = 2*i. Which is smaller: i or 10?
i
Let a be -879 + (-1)/(-1)*1. Let p = -2578/3 - a. Is 18 equal to p?
False
Let i(j) = 4*j - 15. Let d be i(7). Let k = d - 13. Suppose 0 = -5*a - k*a - 10. Are -2 and a non-equal?
False
Let t be (-35)/10*192/(-21). Which is smaller: 28 or t?
28
Let w be 20/((-800)/(-876)) + -10. Which is greater: w or 11?
w
Let x = -3.7 + -45.3. Let o = -49.9 - x. Is -2 less than o?
True
Suppose 16 = -f - 5*s, -5*s - 11 = -0*f - 4*f. Let l = -107 + 1387/13. Is f equal to l?
False
Let m(r) = -2*r + 17. Let t be m(7). Suppose -t*y - 5 + 2 = 0. Which is smaller: y or 75?
y
Let j = -49.5 - -50. Which is smaller: -5 or j?
-5
Let f = 5 + -5. Let x = 11 + f. Let n = -11 + 23. Which is smaller: n or x?
x
Let a = 5 + 3. Let o = 50 + -48. Suppose 4*d - d = 5*z + 37, 5*d - 41 = -o*z. Is a not equal to d?
True
Suppose 5*t - 5*i = 15, -3*i = -5*t - 6*i - 1. Let v(y) = y**3 - 7*y**2 + 8*y - 6. Let g be v(6). Is g bigger than t?
True
Suppose 5*w + 31 + 74 = 0. Let o be 2*3*w/(-18). Is o != 5?
True
Suppose 5*g = 2*t + 485 + 723, 2*t - 952 = -4*g. Which is smaller: g or 239?
239
Let g = -47 + 34. Let l(x) = -x**2 - 9*x + 10. Let v be l(-11). Let j = g - v. Which is smaller: 0 or j?
j
Let t be (872/48 - 1)/(4/24). Which is smaller: 99 or t?
99
Suppose 5*a - 622 = -2*o, -374 = 17*a - 20*a - 2*o. Which is smaller: a or 123?
123
Suppose 6*q + 632 - 686 = 0. Let l(d) be the first derivative of -d**3/3 - 7*d**2/2 - d + 1. Let v be l(-5). Does q = v?
True
Suppose 3*a + 56 = 5*a. Let m be (1 - -1)/(28/16*a). Is -1 less than m?
True
Let i(j) = j**2 + 14*j + 23. Let r be i(-10). Let u be 