x**2. Let r be b(1). Let k = 16/39 - 28/195. Which is bigger: r or k?
k
Let u = 3.17 - 2.17. Is -60/7 less than u?
True
Let p = 57667/5 + -11616. Which is bigger: -84 or p?
p
Let c = -121 + 119. Suppose 0 = 3*l - 2*i - 2*i + 10, 1 = l + 3*i. Let m be 8/l*(-3)/6. Which is bigger: m or c?
m
Suppose -3*c = 2*c - 5. Let i(z) = -14*z + 1. Let x be i(c). Which is smaller: x or -12?
x
Let g be (1/(-3))/((-13)/156). Suppose -g*f + 8*f = 20. Suppose 0 = 4*h + w - 1, f*h + 9*w = 4*w - 10. Which is smaller: h or -2/37?
-2/37
Let f be (-4)/(-18) + (-215)/(-45). Let i(g) = 2*g**2 + 3*g**2 - 1 + 2*g + g**3 - f*g**2. Let s be i(1). Is s < 1/2?
False
Suppose x = -6*g + g + 37, -4*g - 3*x = -34. Suppose 2*b - g*b = -10. Let t be b/8 - 299/1564. Which is smaller: t or 1?
t
Let m = -11.7 - -8.7. Is m bigger than 4/5?
False
Suppose -t - 519 = f + f, -2*f + 5*t - 537 = 0. Is f at most as big as -259?
True
Let g = -26.04 + 26. Let y = 9/14 + -1/7. Which is bigger: g or y?
y
Suppose -j = -0*j - 18. Let s = -22 - -26. Suppose 7*o - 51 = s*o. Is j at least as big as o?
True
Let s = -0.06 + 1.06. Let v(g) = -1 - 7 - 5 - g + 3. Let q be v(-7). Which is greater: s or q?
s
Let o = 7.9 - 8. Let w = -0.28 - 14.72. Which is smaller: o or w?
w
Suppose 21 = 3*a - 111. Suppose -3*b = -a - 28. Which is bigger: b or 23?
b
Let s = -15 + 14. Let v be (-1)/2 + s/4. Which is bigger: -4 or v?
v
Suppose 12*m - 621 + 1077 = 0. Which is greater: m or -36?
-36
Let o be (-120)/(-200) + (27/15)/(-3). Which is bigger: o or -5/392?
o
Suppose 7*z - q = 5*z + 1, -5*z - 10 = -5*q. Suppose -2*v = z*l - 10, 6*l - 6 = -2*v + 2*l. Suppose 0 = m + 3*k + 2, -m - k = -5*m + 44. Is v bigger than m?
True
Let g = 566 + -3970/7. Which is bigger: -2 or g?
g
Let u be 13 - (2 - (0/2 + -1)). Let y be 134/u + (-28)/70. Which is smaller: 8 or y?
8
Suppose 24 = 2*j + 2*g, j = -g - 4*g + 12. Let v be (-9)/(-6)*(-56)/j. Let t be 11/(231/18)*v. Is -8 smaller than t?
True
Let o be (-2 - 10)*1/62. Let k(i) = 2*i**2 - 71*i + 441. Let z be k(8). Is z > o?
True
Let n = -440/7 + 3625/56. Let s be 1 - (0 + 1 - 1). Does s = n?
False
Let k = -613561/57267 - 2/8181. Suppose -3*q - 4*i = -2*i + 23, 4*i = 3*q + 53. Are k and q non-equal?
True
Let l be -21*88/(-12) + 8. Is l bigger than 162?
False
Let h = -528955/12 - -44113. Let m = -145/6 + h. Which is smaller: 10 or m?
m
Let l = 16771/134 - 751/6. Do l and 0 have different values?
True
Let j = -2 + 3. Let h = 6 - 1. Suppose -g = -h + 3. Is j > g?
False
Let r(z) = z**2 - 9*z + 12. Let b be r(8). Let t(u) = 2*u + 2. Let s be t(2). Suppose -s - b = -2*l. Which is greater: l or 7/2?
l
Let u = 51 + -99. Let c = 193/4 + u. Which is smaller: 0 or c?
0
Let b = 8 - 10. Let z = -453 + 463. Is b at most z?
True
Let g = 8.6 + -17.6. Is g >= 17?
False
Suppose 12*n = 11*n + 16. Let h be (4 + -1)*1 - -12. Which is smaller: h or n?
h
Let z = 7 - 9. Let m(b) = 2*b + 6. Let f be m(-3). Suppose l + f*l = 0. Is z smaller than l?
True
Suppose 0 = 4*t - g - g + 2, -3*g + 3 = 5*t. Suppose 5*h - 6*h - 40 = t. Is -39 bigger than h?
True
Suppose -5*a + 144 = -11*a. Let b be 0 - 2 - 20/a. Let j be 2/5 + 18/(-45). Do j and b have the same value?
False
Let m(i) = i**3 - i**2. Suppose -8*b + 9*b = 2. Suppose 9 = 4*f - l, 2*f - 14 + 2 = b*l. Let p be m(f). Is 3/16 smaller than p?
False
Let n = -43 - -32. Let c be (3 + -3 + 1)/n. Is c greater than 0?
False
Suppose 0 = 4*f + 5*r - 515, -2*r = 3*r + 25. Which is bigger: f or -0.1?
f
Let s be (-58)/(-6) + 22/(-33). Suppose f - 12 = -s. Suppose -2*n - 8 = -2*r, f*n = 4*r + n - 12. Is r > 3/2?
True
Let c be (-9*(-3)/(-12))/((-15)/1840). Suppose 5*s + 0*d = -2*d + 378, c = 4*s - 5*d. Which is greater: s or 75?
75
Let g(s) be the third derivative of -s**6/120 + s**5/4 - s**4/12 - 5*s**3/2 - 8*s**2. Let p be g(15). Let w be 1 + -2*p/(-110). Is 1 less than w?
False
Let t be 9 + -13 + 1 + 5. Let h(r) = r**3 + 5*r**2 - 7*r + 2. Let y be h(-6). Suppose z = y - t. Is 1 bigger than z?
False
Let k = 893 + -884. Which is greater: -8 or k?
k
Let p = -0.15 - 10.85. Let x = -2 - -12. Let s = x + p. Which is greater: s or 8/3?
8/3
Let l(y) = y**3 - y**2 - y + 8. Suppose -5*b - 20 + 0 = 4*g, -5*g - 25 = -2*b. Let a be l(b). Suppose -2*o = 2*i - 4*i - 16, -3*i + a = 5*o. Is 4 != o?
False
Let q be (-4)/(-3 + 1) + 2. Suppose 0 = -q*t - 16, 4*z + 0*z + 2*t - 24 = 0. Let x = -0.2 - -0.2. Which is smaller: z or x?
x
Let l = 426 + -415. Which is smaller: -13 or l?
-13
Let t(l) = -l**3 - 7*l**2 + l + 35. Let f be t(-6). Let a(z) = -2*z**3 - 2*z + 1. Let o be a(1). Which is smaller: o or f?
f
Suppose n - 3*n + 8 = 0. Suppose -k - d + 2 = -2*d, 13 = 5*k - n*d. Let s be (-4)/(-1)*33/22. Is k > s?
False
Let m(a) = -197*a + 4134. Let w be m(21). Suppose 3*n + 9 = -0*n. Is n at least as big as w?
True
Let y be -9 - (1 - 3/1). Let d be -2*y/(-30) + (-2)/(-3). Is d greater than or equal to -0.1?
True
Let a(y) = y - 11. Let f be a(12). Let z be (0 + f)/((-3)/(-36)). Suppose 0*p + 4*p + 16 = 0, 2*b - z = 4*p. Is b at least 1?
False
Let f = -1.8 - -2. Let c = 29 - 26. Suppose -1 = -c*t + 2. Which is bigger: f or t?
t
Let p = -19 + 21. Suppose -g + 0*g + 5*k = -18, 0 = -5*g - 3*k - 22. Is g at least p?
False
Let w be 2*1 + (3 - 0). Suppose w*u = b + 33, -3*u + 7 = b - 0*b. Let h be b/(-24) + 14/(-18). Which is greater: h or 1?
1
Let z = 821 + -817. Is 39 at least z?
True
Let a(k) = k**2 + 0*k**2 + 7 - k - 18*k**3 + k**2 + 21*k**3. Let l be a(-3). Do l and -54 have different values?
True
Let h = -8/457 - 150754/3199. Let t = -48 - h. Is -2 at least as big as t?
False
Let s = 6451/15276 + -1/804. Do 0 and s have the same value?
False
Let c = -36 - -44. Suppose p + c = -p. Which is greater: p or -13/5?
-13/5
Suppose 3*y - 2 = -4*d + 1, -4*d - 4 = -4*y. Is y at most as big as 2/259?
False
Let z be (11 + 34 + 7)*150/8. Is 976 greater than or equal to z?
True
Let c = 2 - 2.02. Let k = -54.7 + 56.7. Which is smaller: c or k?
c
Let r(t) = t**3 + 2*t**2 - 4*t + 1. Let b be r(-3). Suppose -b*n = 3*w + 3, -w - 4*n = 3*w. Suppose -a + 4*c + 64 = w*a, -a + 7 = 2*c. Is a smaller than 14?
True
Suppose -222 = -3*f + 6*f. Let x = 118 + f. Let d = 307/7 - x. Is 1 less than or equal to d?
False
Let l(y) = y**3 - 8*y**2 + 1. Suppose 5 = 2*s - 11. Let p be l(s). Let n be 4/(-30)*10/3. Which is greater: n or p?
p
Let x be 6/14 + -7 + (-2246)/14. Which is bigger: x or -168?
x
Let y = -595 - -390. Do y and -2/5 have different values?
True
Let r = -1 - -6. Suppose 0*j + 3*j - 19 = w, 2*w - 2 = -2*j. Suppose -4 = 4*i, j*i = 2*y + 8 - 25. Is y at least r?
True
Let s(i) = 3 - 6 - 3 + 1 + i. Let y be s(2). Is y less than or equal to 4?
True
Let u = -25 - -15. Let b = 15 + u. Suppose -10*y = -b*y + 15. Is -3 equal to y?
True
Let a(i) = -i**2 - 2*i + 2. Let f be a(-2). Suppose n - d - 2*d = -9, 0 = 2*d + f. Is n less than or equal to -12?
True
Let v = 364 + -360. Which is greater: -12.3 or v?
v
Let w = -25 + 27. Suppose -o - 4*k = 14, -w + 57 = 5*o - 5*k. Which is bigger: 24/5 or o?
o
Let q be (9/(-18))/((-115)/(-210)). Is q greater than or equal to 0?
False
Let l = 102261/13 - 7871. Let m = l + 304/91. Is m != -2?
True
Let u(i) = -i**2 - 9*i - 20. Let z be u(-4). Suppose -5*q + 152 + 138 = z. Is 58 not equal to q?
False
Let c = 2 + -10. Let a = c + -7. Which is smaller: a or -14?
a
Suppose 5*s + 12 = -8. Suppose 3*i + 0*i - 5*y = -25, 5*i = y - 27. Are i and s nonequal?
True
Let n = 0.63 + -1.63. Is 268 >= n?
True
Suppose 0 = s + 3, -w + 3*s = 4*w - 29. Let u = -117 - -119. Suppose u*x = -w*x. Does x = 1/2?
False
Let x = -13 + -20. Let v be (0 + 14/(-8))*(x - -25). Which is smaller: 13 or v?
13
Suppose -5*m = -4*x - 261 + 59, 0 = -5*m - x + 212. Which is greater: m or 48?
48
Let z = 76 - 75.9. Do z and -3/43 have different values?
True
Suppose 0 = 3*t - 6*t + 9. Let u = 343 + -1359/4. Is t at most as big as u?
True
Let f be ((-4)/30)/((-102)/765). Is -4/225 greater than f?
False
Let u(m) = 3*m - 3. Let v be u(4). Let k be -12 + v - (-5 - 1). Suppose -2*t + 2*g - 12 = -30, 4*t - 31 = k*g. Is 3 < t?
True
Let y(f) = -f**3 + 4*f**2 - f - 10. Let t be y(4). Let o = t + 9. Is o less than -30/7?
True
Let h = -0.161 - -0.063. Which is smaller: 8 or h?
h
Let s(t) = -5*t**3 + 5*t - 6. Let j be s(-5). Do j and 595 have the same valu