19 + 3250. Let y be 9 - (-3 + t/196). Which is smaller: y or -1?
-1
Let h = 7881/1358012 + -5/2668. Is h bigger than 2/5?
False
Suppose -53 = 2*q - 7. Let n = 20 + q. Let a be 35/(-20) + -1*n/(-12). Which is smaller: a or -7/9?
a
Let a(b) = 11*b**2. Let i be a(1). Let w(n) be the second derivative of -11*n**3/6 + 163*n**2/2 + 121*n. Let y be w(14). Does y = i?
False
Suppose -116 = -j - 39. Suppose j - 71 = 2*h. Suppose -6 = -h*m + 5*m. Is -18/11 bigger than m?
True
Let c = -1214 - -9729/8. Let a be (-4)/(-10) - (-6)/(-15). Suppose -3*d + 5*v + 16 = a, -d - 2*d + 10 = -2*v. Which is greater: c or d?
c
Let r be 8347/(-14076) - (-21)/28. Which is greater: r or 1?
1
Let b = -10719 - -10719.1669. Which is greater: -1 or b?
b
Suppose -6 = -3*l, 4*x - l + 72 + 186 = 0. Let n be (-2 + -2)/4 + x + 1. Let m = n - -44. Do -21 and m have the same value?
False
Let o = 9805/22 + -57/11. Let r = o + -449. Suppose -2*d = 3*v + 10, -16*d = -19*d + 6*v - 36. Which is smaller: d or r?
r
Suppose -2*i + 3 = -q, -4*i = -0*q + 3*q - 21. Let w(l) = l**3 - l**2 - 5*l + 7. Let b be w(q). Suppose 2*c + b = 0, -28 - 3 = -3*h - c. Is 15 at most h?
False
Let n be (-6 - (-5 - -2)) + 175171/(-65). Let j = -2698 - n. Which is smaller: j or 0?
j
Let n = -183.77 - -183.9. Do 25/14 and n have different values?
True
Let s be 2/22 - (-22050)/55. Let m = 389 - s. Is -13 <= m?
True
Suppose 4*f - 12 = 4*c, 7*f = 6*f - c + 9. Let m be (169/39)/((-2)/f). Let a = 1 + -6. Which is greater: a or m?
a
Let a(m) = 2*m**3 + m**2 - m + 2. Let r be a(0). Suppose 2*b - q = b + 5, 3*b + r*q = 0. Suppose -b*i = 3*i - 65. Which is bigger: -1 or i?
i
Suppose 525*c + 2*i + 58 = 522*c, -c - 3*i = 31. Are c and -1 equal?
False
Let p be 29 + -21 + 364 - 3*5/(-3). Which is smaller: p or 390?
p
Suppose 9*m = 7*m + 4*n + 2786, 4*m = -n + 5608. Is 1401 at most m?
True
Let u = -297 - -691. Let f = u + -393.6. Which is bigger: 24 or f?
24
Suppose -2*z + 642 = -5*g + 106, -2*g - 218 = z. Let n = g + 328/3. Let s be (-1)/((0 + 2)/(-4)). Which is smaller: n or s?
n
Let y(p) = -p + 18. Let n(o) = -9*o - 106. Let k be n(-13). Let s be y(k). Is 45/8 < s?
True
Let g = 226 + -210. Suppose -g*p + 4*p = 60. Is -28 at most as big as p?
True
Let g = 332.8007 - 332.9. Is g less than 3/2?
True
Let s = 0.063 - -30.937. Let a = 3182 + -3181. Which is smaller: a or s?
a
Let a = -15053180 - -9120761. Let m = 7261280449/1224 + a. Let s = m - -7/72. Is s at most 1?
True
Let k(h) = h**3 - 30*h**2 + 112*h - 202. Let w be k(25). Is -530 >= w?
False
Let l = 4594 - 13784/3. Which is bigger: -213 or l?
l
Let f = 2365 - 2201. Is f smaller than -3?
False
Let l be (-10)/(-12)*(-51)/15 - -3. Suppose 0 = o - 8 + 8. Suppose 0 = -7*p - o*p. Is p at least l?
False
Let y = -79173/5 + 15886. Is -0.4 > y?
False
Suppose -5*g + 11*g = 4*g - 298. Is -53 equal to g?
False
Let f(w) = 107 + 1455*w - 1450*w - w**2 - 3*w**2. Let p be f(14). Which is greater: p or -608?
p
Let g = 182 - 121. Suppose 2*h = -s - g, -32 = -2*h - 4*s - 108. Let u = h + 24. Which is smaller: -14/3 or u?
-14/3
Let o = -45622/9 - -87911002/17343. Let m = o - -7/41. Is 0 greater than m?
False
Suppose 0 = b - 4, 3*d - 996*b - 12 = -999*b. Which is bigger: d or -2/15855?
d
Let f = 12 - 16. Let q be (2 + (-146)/6)/(f/12). Let x = -267/4 + q. Which is greater: -0.1 or x?
x
Let l = -30041/9 + 3338. Is l at least 267?
False
Let g(k) = k**2 + 14*k - 25. Let s be g(-15). Let v be ((-72)/384)/(6/s). Which is smaller: 0 or v?
0
Let x(t) = -5*t + 57*t**3 - 37*t**3 + 29 + 4*t**2 - 19*t**3. Let a be x(-6). Which is smaller: a or -15?
-15
Suppose -17*o + 21*o = 3*p - 91, 3*p = o + 88. Suppose -31*a = -p*a. Is a > 11/94?
False
Let x(b) = 2*b**3 + 39*b**2 + 134*b - 15. Let u be x(-15). Is -2/2155 > u?
False
Suppose -2*z + a = -0*a - 3, -a + 5 = 2*z. Suppose -5*b - 135 = -z*v - 370, b = 5*v + 70. Suppose 4*r - 5*k = -b, 3*k + 0*k + 9 = 0. Is r >= -15?
True
Let f(j) = -30 + 20*j + 10*j - j**2 - 49*j - 31. Let q be f(-11). Is q less than 27?
False
Let j(b) = b**2 + 24*b + 5. Let o be j(-24). Let c be 0 + 10 - (5 - (-4 + o)). Let z be (75/10)/(c/(-8)). Do -10 and z have the same value?
True
Let c be -2308*(-6)/12*(0 + (-3 - 3)). Which is smaller: c or -6923?
c
Let o = 128 + -100. Suppose o = 5*r - 412. Let y = r - 68. Which is greater: 21 or y?
21
Let s(v) = -2*v**3 + 3*v**2 + 11*v - 1. Let m be s(0). Suppose u = -3*u - 36. Is m smaller than u?
False
Suppose 13*y + 3840 = 12*y - 19*y. Which is smaller: y or 5?
y
Suppose 175*x - 366 = -191*x. Which is greater: x or -27/59?
x
Let t = 7606/21 - 2883/7. Suppose -3*v - 1 = -4, 5*p + 253 = 3*v. Is p < t?
True
Let d be 3*(1 - -1)/(-2). Let s be -68 + d/(9/(-12)). Suppose -y + 32 = -2*j - 97, -3*y + 62 = -j. Which is greater: j or s?
s
Let t be -1*(-1 - 1)/(-2). Let f = -20770952/241343025 + 1/292537. Let m = -14/75 + f. Are m and t non-equal?
True
Let t be 40/(-12) - ((-384)/(-36) + -11). Suppose 5*n = 2*p - 7, 5*p - n = 2*n - 11. Let c be (2/92)/((-2)/p). Are c and t nonequal?
True
Let y(p) = p**3 - 35*p**2 + 74*p - 83. Let c = -27 - -60. Let u be y(c). Is 182 less than or equal to u?
False
Let s = 290.07 + 0.93. Let z = -1931 + 1932. Are s and z nonequal?
True
Let j = -8868/23 - -386. Suppose 2*d + 0*d - 30 = 0. Let v = -15 + d. Are j and v equal?
False
Let w = -155 - -623/4. Let n be (-21)/(-28) + (-699)/(-12). Let u = n - 61. Is u at most w?
True
Let z(n) = 17*n + 8. Let y be z(6). Let v be 130/y - 4/22. Let q be (0 - v) + (-13)/(-12). Is q at most as big as -0.1?
False
Let j = 9.005 + -4.005. Is -20 less than or equal to j?
True
Suppose -10 = -506*d + 516*d. Let c be ((-5578)/(-528))/(476/(-16)). Let z = c + 1/462. Is z bigger than d?
True
Let d = -2123/46505 + -7/655. Let o(w) = w**3 - 11*w**2 + 10*w + 1. Let n be o(10). Is n bigger than d?
True
Let s be 541/((-5)/30*-6). Let f = s + -34085/63. Which is bigger: -1 or f?
f
Let l = 9847466/45885 - 24511/114. Let a = -1/322 + l. Is 11 greater than or equal to a?
True
Let k be (153/72)/(1/(-18)). Suppose u - 6*u + 91 = 2*b, 3*u = -2*b + 85. Let q = b + k. Which is bigger: -1 or q?
q
Let h = -2752 - -2629. Which is smaller: -129 or h?
-129
Let c(j) = 27*j - 70. Let u be c(-21). Let t = -4440/7 - u. Which is smaller: t or 2?
2
Let j = -738 + 663. Let d = -24.5 - 0.5. Let r = d - j. Which is smaller: -0.1 or r?
-0.1
Let i = -137 - -139. Let j be 26*2/4*56/1232. Is i < j?
False
Let m = -2781 + 1490. Is m at most as big as -1291?
True
Let j = -83640 + 83643. Suppose -3 = 3*d, -q - 37 = 5*d + 9. Is j bigger than q?
True
Let c = -214 - -419. Suppose 2*v + 97 + c = -4*x, -3*v - 225 = 3*x. Is -77 >= x?
False
Let f(u) be the third derivative of -u**6/120 + u**5/6 - 5*u**3/3 - 2*u**2. Let h be f(10). Let q be 8/(-140)*-7 - (1996/140 - 5). Which is smaller: h or q?
h
Suppose 4*y - 39 = 3*y. Suppose 4*d + 8*d = 0. Suppose 2*z - 5*n - 91 = 0, d = -4*z - 3*n + 144 - 1. Is z at least y?
False
Let c = -0.46 + -17.04. Let a = c - -27. Let n = -9 + a. Are -1 and n nonequal?
True
Let o be 70/4*((-49)/(-35) + -3). Suppose -9*i + 13*i + 5*k + 138 = 0, 0 = -2*i + 3*k - 58. Is o != i?
True
Let w(j) = -34*j + 3. Let k be w(4). Let m = k + 128. Let z be 320/m + 0 - -1. Are z and -64 unequal?
True
Let k be (-1362)/(-150) - (-2)/(-250)*10. Is 586/61 at most k?
False
Let t(o) = -19*o**2 + 3*o + 1. Let x(z) = z**2 + 17*z + 62. Let k be x(-12). Let w be t(k). Let u = -119 + 50. Is w less than u?
False
Let u = 3601 + -3595. Are u and 9/2 equal?
False
Suppose 0 = -s - 0*s - 18. Let g = 16.9 + -282.9. Let j = g - -265. Do j and s have different values?
True
Let q = -34937/11 - -3177. Which is smaller: 28 or q?
q
Suppose -2*m + 957 = n, 86*m - 90*m + 3832 = 4*n. Which is smaller: 967 or n?
n
Suppose 1 - 48 = -47*q. Which is greater: 6/7 or q?
q
Suppose -c - t - 13 = -5*c, -3*c + 4*t + 13 = 0. Suppose c*q - 6*v - 35 = -7*v, 4*v + 52 = 4*q. Let x be (q/(-124))/((-3)/(-2)). Is x less than 0?
True
Suppose 2*y - 59 + 135 = 0. Suppose -16*r = -13*r - 15. Suppose -3*p = 4*w + 2*p + 162, 3*w + 124 = -r*p. Is y at most as big as w?
True
Let q(i) = -7*i**3 + 3*i**2 - 3*i - 1. Let k be 4/6 - 6/9. Let b be 0 + k + (2 + -4 - -4). Let y be q(b). Is -52 bigger than y?
False
Suppose -8 = -14*y + 20. Suppose -y*v = 31 - 7. Let i be (-1 - 7) + (-5)/((