*y + 28, -b + 20 + 3 = -2*y. Let q(j) = 3*j**2 + 7*j. Let n be q(-5). Suppose 2*c = -5*x - 52, -3*x + 5*c - 4*c = n. Is x smaller than y?
False
Let q = -17.6 + 3.6. Let r = -9 - q. Let i = 4.9 - r. Is -6 smaller than i?
True
Let f = 8.5 - 85.5. Are f and -0.2 equal?
False
Let f = -10.43 + 0.43. Which is greater: f or 2/3?
2/3
Let y be 341/(-2)*(9 + -7) + -3. Is y smaller than -344?
False
Suppose -5*p - 2*d = 2288, 3*p = 7*p - 4*d + 1836. Which is smaller: p or -459?
-459
Let m(u) be the second derivative of -u**4/12 + 5*u**2 - u. Let o be m(-3). Is o != 10/13?
True
Let f = 132 + -1189/9. Let g(v) = 4*v**2 + v. Let x be g(1). Suppose 0 = -4*o + 4*y - 8, 2*o + 3*o - 20 = -x*y. Which is smaller: f or o?
f
Let b = 53.9 - 54. Which is smaller: b or -0.07?
b
Let g(w) = -w**2 - 6*w - 5. Let h(s) = -2*s**3 + 2*s**2 + 3*s - 3. Let q be h(2). Let c be g(q). Let l = -1681 + 8404/5. Which is smaller: c or l?
l
Let q be 6/21 + (-186)/14. Suppose 2*t - 2 - 2 = 0. Suppose 0 = 2*s + 3*p + 39, 0*s = 5*s + t*p + 70. Is s equal to q?
False
Let o = 1/815 - -811/3260. Let y = -9/8 - -43/8. Is o at least as big as y?
False
Let f = 352/21 - 286/3. Is f greater than -79?
True
Let j(r) = 4*r**3 - 7*r**2 - 7*r + 2. Let p(h) = 5*h**3 - 7*h**2 - 8*h + 2. Let l(y) = 4*j(y) - 3*p(y). Let g be l(6). Let o = g + 407/7. Is o greater than -1?
True
Suppose 0 = -3*f - 0 + 3. Let i be 12/80*4 - f. Is -1 <= i?
True
Let j be -4*(-6)/26 + -1. Suppose -3*t + 3*s + 3 = 0, -2*s + 2 + 16 = 3*t. Suppose -4*r = t*y - 2 - 10, r - y = -1. Is r greater than or equal to j?
True
Suppose 5*i + 1 = -0*j - j, 2*i = -2. Let m = j + -9. Let y(l) = 7*l + 12. Let r be y(m). Is r greater than or equal to -23?
True
Let r = 183 + -37. Let v = r + -734/5. Is v not equal to -1?
True
Suppose -4*g + 19 = -5. Suppose -4*k = -2*k - 12. Suppose 4*r - 22 = k. Is g > r?
False
Suppose 0 = 12*z - 11*z - 25. Suppose 5*j = -10 + z. Let v = 321 - 1277/4. Do j and v have different values?
True
Suppose -b = 13*b. Which is smaller: 1/466 or b?
b
Suppose 0*u = 5*u - 85. Let d be ((-65)/6)/(4/u). Let o = d - -137/3. Which is bigger: -1 or o?
o
Let m = -1.1 + 20.1. Let f = 0.242 + -0.242. Are m and f equal?
False
Let v(r) = 3*r**2 - 12*r - 1. Let o be v(4). Which is bigger: o or -3/568?
-3/568
Let t = -0.0037 + 0.0037. Is -0.043 at most t?
True
Let j be ((-2)/((-4)/6))/(2/(-4)). Let a(c) = 0*c + 2*c - 7*c - 3*c**2 + 4*c**2. Let w be a(4). Does j = w?
False
Let v be 3/(-2)*5*(-24)/180. Let f = -0.1 - -0.2. Which is bigger: f or v?
v
Let g(b) = b**3 + 3*b**2 - 12*b - 13. Let z be g(-4). Which is smaller: 22 or z?
z
Suppose 12*o = -119 - 277. Let f be (-2)/6 - 0 - (-253)/o. Are f and -11 nonequal?
True
Let p be (-1 - (-1806)/(-34)) + (-56)/(-476). Does p = -323/6?
False
Let w(l) be the third derivative of l**5/60 - l**4/12 - l**3/3 + 11*l**2. Let b be (3/(-6) + 0)*2. Let z be w(b). Is 2/19 less than or equal to z?
True
Let c = -3/5 - -1/10. Let g(q) = q. Let w be g(2). Let l be (1 - w)*(0 + -1). Is c bigger than l?
False
Let j = -6386/19 + 336. Is -66 != j?
True
Let f(z) = -z + 1. Let b be f(-2). Suppose 4*c = b*m + 9, -2*c - 5*m = -7*c + 5. Suppose 3*w + w - p = -3, c = -w - 5*p. Is 1 at most as big as w?
False
Let d = 1077 - 952. Do 125 and d have the same value?
True
Let t = -23/12 - -29/12. Which is smaller: -13/2 or t?
-13/2
Let a = 49/3 + -16. Let s = 170 + -116. Let z = -55 + s. Which is smaller: a or z?
z
Let w = 35833/17 - 2109. Is -1 greater than w?
True
Let f = -513 - -1538/3. Let k = -1568/5 + 312. Which is smaller: f or k?
k
Suppose -26*k = -1111 - 85. Which is smaller: 328/7 or k?
k
Let z = -10865/16 + 680. Which is greater: 2 or z?
2
Let p(a) = -a**3 - 8*a**2 - a - 10. Let q be p(-9). Is q < 80?
False
Let y = -151/312 + -5/312. Let r be (-10)/(-68)*14 + -2. Which is greater: r or y?
r
Let s = 0.09 - 0.08. Let d = -0.09 - s. Let r = 294 - 293.6. Which is bigger: d or r?
r
Suppose 2*q + 16 = 5*b - 3, -2*q + 21 = 3*b. Let k = q - 21. Which is bigger: -2 or k?
-2
Let z = -3/2651 - -8523/503690. Which is greater: z or -1?
z
Suppose -4 = 4*j, -3*f + 3*j = 4*j + 4. Suppose -4*x = -4*m - 32, -2*x + 6 = -6*m + 9*m. Let w be (x/f - -3) + 3. Which is smaller: 6/5 or w?
w
Let r = 16625683/835 + -19911. Which is greater: r or -1?
r
Let r(y) = -y**2 + 13*y + 16. Let b be r(13). Is b smaller than 15?
False
Let d = 19 - 14.4. Let m = 1.4 - 5. Let w = m + d. Is 4 >= w?
True
Let p be -2 - (-3 + 4605/4615). Which is greater: -1 or p?
p
Let g(n) = 2*n + 16. Let v be g(-11). Let k = 32 - 39. Is v bigger than k?
True
Suppose 3*b - 10 = -3*u - 7, -4*u - 5 = -5*b. Which is smaller: 1/351 or b?
1/351
Suppose 15*d = 16*d. Let a be d - (1 - (-482)/(-342)). Let v = 40/57 + a. Are 1 and v equal?
False
Let c be 7 - (-6 - 17235/(-1323)). Which is greater: 0 or c?
0
Suppose 4*h + w - 3 = 0, 0*h + h = 3*w - 9. Let n be ((-3)/(279/12))/(-2). Let c = n - 41/155. Is c less than h?
True
Let j be 3/2*(-16)/52. Let o(n) be the third derivative of n**4/8 + 3*n**3/2 - 2*n**2. Let p be o(-3). Is p smaller than j?
False
Let r = -257 - -257. Is -17 != r?
True
Let o be (-1)/((-3)/186)*-1. Let k = o + 64. Which is smaller: 11/12 or k?
11/12
Let u be 6/9*(-9)/(-6). Is 29/12 at most u?
False
Suppose 2*m = -5*y - 17, -4*y - 9 = -m - 2*m. Let s(j) = -j**3 + 4*j**2 + 6*j - 6. Let b be s(5). Let l be b/(-6)*(-9)/(-6). Does l = m?
False
Let g = -704.9 + 706. Is g less than or equal to -19?
False
Let d = -253 - -253.7. Let b = -0.7 + 0.6. Is b equal to d?
False
Let t(i) = -i**3 - 2*i**2 + 59*i - 25. Let c be t(-10). Which is greater: c or 188?
188
Suppose 0 = -5*w - 5*p + 30, 0*w - 2*w + 4*p - 12 = 0. Let b be 9/w - (-9)/(-6). Suppose -b*m - 4 = -m. Is m <= -2?
True
Let a = -101 + 70. Suppose 0 = -g + 12 - 2. Let b = a + g. Is -22 at least as big as b?
False
Suppose 78*x + 1325 = 53*x. Is 2/11 bigger than x?
True
Suppose 0*f = f + 1. Let b = 22581077/26 + -868394. Let c = b - 109. Which is bigger: c or f?
c
Let u = 21 - 22. Let m = u - -5. Suppose -5*q + 10 = 3*h, -5*q + m*h + 25 = -20. Is q >= 5?
True
Let x be 4 - (-1 - -91 - (2 - -1)). Are -88 and x equal?
False
Let q be 4 + (-5)/(10/4). Suppose q*c + c - 24 = 0. Let d(t) = -4*t**2 + 13*t - 1. Let w be d(1). Is c <= w?
True
Suppose 142 = -29*b - 90. Which is smaller: -9 or b?
-9
Let x be 1 - 7 - (-1404)/120. Do 6 and x have the same value?
False
Let d be 2*(-3)/(-12)*-10. Which is greater: -63/11 or d?
d
Suppose 2*f + 8 = -4*k, -k + 4 = k. Let d(s) = 31*s - 41. Let o(v) = 11*v - 14. Let w(y) = 6*d(y) - 17*o(y). Let l be w(f). Are l and 0 nonequal?
False
Let c(s) = 5*s + 43. Let i be c(-8). Let y be i/((-9)/36*(-6)/(-17)). Are y and -65/2 equal?
False
Suppose 14*x + 5104 + 9792 = 0. Let s be (-8)/(-36) + x/(-72). Which is bigger: 12 or s?
s
Let s be ((-16)/32)/((-290)/2234*-1). Let l = s + 3/58. Which is greater: -4 or l?
l
Let t be (658/7 + -2)/(-11). Which is smaller: t or -9?
-9
Let s = -932 + 935. Is s <= 0?
False
Let k = 1229/5 + -247. Suppose -19 + 55 = -18*y. Which is bigger: k or y?
k
Let y be 52/(-2*(-3)/6). Suppose 3*v - 49 = -4*r + 4*v, -4*r = -4*v - y. Suppose 4*c + r = c. Is c greater than or equal to -3?
False
Suppose 2*r - 2*c - c = -17, 0 = -r - 5*c - 2. Let k = -6 - r. Suppose l + 4*a = 5, 4*a = -3*l + 6 + k. Are 2/5 and l nonequal?
True
Suppose 2*m = -m - 12. Let v be (m - (-3)/3) + (1 - -3). Which is bigger: v or -7?
v
Suppose -2*v + 4 = 4*d, 0*v - 8 = 4*d + 5*v. Suppose -5 + d = 2*j. Let k = -1/391 - 1553/4301. Do j and k have different values?
True
Let b be 2 + ((-109)/5)/((-30)/150). Is b < 112?
True
Let s be (-48)/20*10/(-4). Let k be (0 + -3)/(12/(-28)). Which is greater: s or k?
k
Suppose -5 = -4*w + 15. Suppose -5*h - 4*f = -276, w*h = -0*h - 2*f + 268. Let g be (-6)/(-8)*h/(-12). Is -3 bigger than g?
True
Let o(d) = -2*d**2 + 14*d + 18. Let y(r) = -5*r + 10. Let s be y(0). Let n be o(s). Is -42 >= n?
True
Let n = -191.244 - -180.3. Let q = 11 + n. Is q > 0?
True
Let c = -0.02 + 4.32. Let n = 4.4 - c. Which is smaller: -30 or n?
-30
Suppose 2*y = 3*a + 25, -3*a = 1 + 2. Suppose 30 = 5*n + n. Which is smaller: y or n?
n
Let r(a) = -a**3 - 17*a**2 - 16*a + 4. Let s be r(-16). Suppose -s*x + 2*f - 96 = 7*f, -4*x + 5*f = 96. Let c be (102/x)/(2/8). Is -16 bigger than c?
True
Let n(d) = 