 22 = 5*b. Is j at most w?
False
Suppose -3*c + 3*q - 5 = 8*q, 0 = -4*q - 4. Suppose c = -6*k + 11 + 43. Let t(r) = -r**2 - 6*r + 5. Let i be t(-5). Which is smaller: k or i?
k
Suppose a = -3*d + 2*a + 25, -4*a - 10 = -3*d. Let q be (-4*3/6)/d. Which is greater: -14/5 or q?
q
Let x be (-52)/7 - (-21)/(-3). Is x bigger than -13?
False
Suppose -a + 14 = 2*a + 2*v, 3*v = 2*a - 5. Suppose -2*j + 3*j = a*j. Is j greater than 1?
False
Let l(g) be the first derivative of -8*g**3/3 + 2*g**2 - 4*g - 21. Let o be l(1). Which is smaller: o or 2?
o
Let p = -16 - -30. Suppose 59 = -3*c + p. Let g be (c/(-20))/(3/(-7)). Are 0 and g non-equal?
True
Let y be 75/850*190/3 + 0. Which is smaller: 5 or y?
5
Let f(i) = 3*i + 34. Let p be f(-13). Let a(q) = q**3 + 7*q**2 + 10*q + 4. Let r be a(p). Is r at least as big as -3/4?
True
Suppose 69 - 29 = -20*h. Does h = -40/39?
False
Let w be ((-9)/(-15))/1 - (-28)/70. Is -3/35 at most w?
True
Let f = 11847/8 - 118379/80. Let i = 6/5 - f. Which is bigger: -2/9 or i?
i
Let f be (8/(-92))/(4/62). Which is smaller: f or -2?
-2
Let i be (-3)/(4/((-8)/45)). Let f(v) = -v**2 - 14*v + 16. Let t be 10/(-4)*6/1. Let d be f(t). Is d greater than or equal to i?
True
Let k = 85.154 - 0.154. Let g = -84.9 + k. Which is bigger: g or -106?
g
Suppose 0 = -4*q - 0 + 20. Suppose 0 = 2*d - 10, 2*h - q*d - 29 = -74. Is -9 smaller than h?
False
Let p = 2.12 - 0.12. Let d = 9 - 6. Let i = 2.9 - d. Which is greater: i or p?
p
Suppose 4*o + 235 = 39. Let w = -85 - o. Is -35 at most as big as w?
False
Let y = 17.2 + -17. Let f = 0.99 - 0.59. Which is smaller: f or y?
y
Let c be (-100)/(-8) - (-1)/2. Suppose 5*x - 4*a - c = 23, 4*x = -2*a + 8. Let i be 5/(-10)*x/10. Which is greater: i or -1?
i
Suppose -5*r + 17 = -3*z - z, -5*z = -3*r + 18. Suppose 2*w + g + 0 = r, -5*g = 4*w - 5. Which is smaller: 6/13 or w?
w
Suppose 17*a = 5*a + 2*a. Is -1/377 < a?
True
Suppose 3*g - 2 = 10. Suppose -5*i - g = -29. Suppose -x + i = 4*x. Which is smaller: x or -1/7?
-1/7
Suppose -x - 12 = -4*u, x + 2*x - 3*u = -18. Let f be ((-14)/x + -4)*-20. Is 10 >= f?
True
Let o(r) = -17*r + 4. Let f be o(-6). Let p = 313/68 + -52715/476. Let x = f + p. Is 1 < x?
False
Suppose -3*h - 91 + 1108 = 0. Which is smaller: h or 338?
338
Let h be 24/15 + (-4)/(-10). Suppose 30 = 3*j - 3*d, -h*j = -0*d - 5*d - 35. Suppose 0 = j*r - 2*r. Are 2/9 and r unequal?
True
Suppose 3*n + 14*x - 9*x = -202, 0 = -n + x - 62. Which is smaller: n or -63?
n
Suppose -205 = -4*v - v. Let y = v - 48. Which is greater: -6 or y?
-6
Let d = 1018 + -82450/81. Is d at least as big as 0?
True
Let h = -7.576 - -7.6. Let s = -0.024 + h. Let k = 3 - -13. Which is bigger: k or s?
k
Let v = -0.078 - 0.512. Let u = v - -0.69. Let t = 2013/7 + -288. Which is smaller: u or t?
t
Let l be (-572)/(-32) + (-3)/(-24). Suppose 3*z = 5*g + 79, 0 = -g - 6 + 1. Is l greater than z?
False
Let s(x) = -2*x - 3. Let i be s(-6). Suppose -5*y + 250 = -0*y. Suppose -2*u = 3*u - y. Is u > i?
True
Suppose -j + 11 = 10. Which is greater: -2/13 or j?
j
Let y = -2 + 5/3. Suppose 8*t + 5 = 13*t. Let x(z) = -z**2 + z - 1. Let m be x(t). Is y smaller than m?
False
Let l = -894 - -887. Which is greater: l or 60?
60
Suppose 4*s = -531 - 641. Let r be (s/17)/(1/(-8)). Let h = r + -138. Which is smaller: h or 1?
h
Let q(i) = 2*i**3 - 12*i**2 + 8*i + 4. Let f be q(5). Let t be 182/(-3) + f/18. Which is smaller: t or -1?
t
Let z(g) = -6 + 21*g + 2*g**2 + g**3 + 0*g**3 + 20*g**2. Let k be -2 - (15 + 5/(20/16)). Let q be z(k). Are q and -6 equal?
True
Suppose -2*c + 10 = 4*y - 14, 9 = -3*c + 3*y. Let t be (-24)/30 - (-4)/c. Is t less than or equal to 0?
False
Let j = -224 + 325. Suppose -36 = 5*o - j. Is o at most 14?
True
Let a(x) = -3*x**2 + 3*x - 3. Let p(k) = -12*k**2 + 12*k - 13. Let r(g) = -9*a(g) + 2*p(g). Let d be r(2). Is 3 at most as big as d?
True
Let d be 0 - (-2)/16*1. Suppose -3*u = 4*u. Suppose -2*k + k = u. Which is smaller: k or d?
k
Suppose -7*t + 10*t - 3 = 0. Suppose -t - 9 = 4*q + 2*k, 5*k = -5. Let h be (-6)/(-26) - (-2 - q). Which is greater: -1 or h?
h
Let a = -6 + 7. Let p be 7/28 - 29/(-28). Which is smaller: p or a?
a
Let s(z) = 2*z**2 - 15*z + 20. Let n be s(6). Let i = 5 - 12. Are n and i non-equal?
True
Let g = 40 - 119/3. Let r = 0.0125 - -1.1425. Let d = -0.155 + r. Which is smaller: d or g?
g
Suppose 3*q - 322 = b, 0*q - q + 3*b + 118 = 0. Is q at least as big as 105?
True
Let d(x) = -x**3 - 10*x**2 - 14*x - 14. Let k be d(-9). Suppose -k - 27 = -2*w. Are 2 and w non-equal?
True
Let r be (-4 + (-1414)/(-356))/(1/(-2)). Which is smaller: r or 1?
r
Let g = 14 + -11. Suppose -g*v - 576 = -5*j, -4*v = -3*v + 2. Let s = -1141/10 + j. Is s > -1?
True
Let p be (3 + (-2)/4)*(-10)/(-25). Which is smaller: 22 or p?
p
Suppose 0 = 2*h - 4*h + 5*z - 10, -h + 3*z - 7 = 0. Suppose 4*o + 33 = -l - 62, -h*l = -o - 8. Which is bigger: -24 or o?
o
Let a = -1254 + 5017/4. Are 866 and a nonequal?
True
Let q(v) = v**3 + 14*v**2 - 18*v - 14. Let r be q(-15). Suppose -m - 4*s = -6*m + r, 2*m + 2*s + 2 = 0. Which is smaller: m or -4?
-4
Let o = 1145/399 - 50/19. Which is smaller: o or 0?
0
Suppose -2*w - 2*d - 6 = 0, -w + 34*d - 38*d - 9 = 0. Are w and -4/189 unequal?
True
Let g be 4/(-12) - 662/(-15). Let w(b) = b**2 - 17*b + 8. Let n be w(13). Let p = n + g. Which is smaller: 1 or p?
p
Let k(y) = 8*y - 12. Let m(z) = z + 1. Let l(n) = k(n) - 10*m(n). Let o be l(7). Is o at most -35?
True
Let m be (84/24)/((-12)/8). Which is bigger: -2 or m?
-2
Let k = -40.4 + 35. Let z = k - 0.6. Which is bigger: z or 1?
1
Let c = -382/3 - -132. Are c and 1.8 non-equal?
True
Let k = 0.758 + -1.658. Is 67/3 at least as big as k?
True
Let w(p) = 7*p + 1 - 4 + p - p**2 - 3*p. Let v be w(2). Which is greater: v or 2/13?
v
Let t be 1 - 98/40 - 144/(-120). Let u(o) = -o**3 + 3*o**2 - 4*o. Let j be u(3). Are j and t non-equal?
True
Let x(j) = j - 4. Let k be x(6). Suppose 11*c + 7*c = 36. Is k greater than c?
False
Let y(h) = h**3 - h - 1. Let q be y(4). Let n = -54 + q. Which is smaller: n or 6?
n
Suppose x - 28 = -h - 3*h, 0 = -5*h + x + 26. Let g = 2 - h. Let s be 2/g*1 - 0. Which is smaller: s or -1?
-1
Let r be (-2)/(2 - (-48)/(-26)). Let p(d) = -d**3 - 5*d**2 + 1 - 13*d + 4*d**2 - 13*d**2. Let n be p(r). Are 7/4 and n equal?
False
Suppose 5*a + 4*d = 0, 3*a - 2*a = 5*d + 29. Let f(i) = i**2 - 3*i - 3. Let n be f(a). Let l = -37/44 + 12/11. Is l > n?
False
Suppose -3*q = 5*q - 24. Let j be 377/52*-3*(-4)/q. Do 29 and j have the same value?
True
Suppose -22 = 3*d - 3*n + 4*n, -3*n = -5*d - 60. Suppose 0 = 4*b + 5*s + 7, -b = -3*s + 17 + 6. Is d bigger than b?
False
Let n = 0.42 - 0.02. Suppose -11*y + 8 = -58. Let q be y/(-5)*55/22. Which is bigger: q or n?
n
Let y = -3.422 - -0.422. Which is greater: 11/4 or y?
11/4
Let t(u) = -u**3 + 9*u**2 - 9*u + 6. Suppose 150 = 2*n + 5*m + 43, -3*n + 144 = 2*m. Let d be 3/9 - n/(-6). Let g be t(d). Which is smaller: g or -3/4?
g
Let l = 19942/5 + -4090. Let q = 1917/20 + l. Is -5 less than q?
False
Suppose 60 = 4*f + 5*m, -f - 4*m + 15 = -11. Let t be f/(-8) + 9/36. Suppose -9 = 5*p - 2*p. Is p less than t?
True
Let u = 1878 - 5566/3. Let a = 23 - u. Is a <= 2/17?
False
Let q(n) = -n**3 + n**2 + n - 1. Let m = -12 - -13. Let v be q(m). Let r = 203/12402 + 5/234. Does r = v?
False
Suppose 6*n + 4 = 2*n - 4*a, 0 = n - 4*a + 1. Which is bigger: -52 or n?
n
Let t = 42 + -27. Let a = -34 + t. Let n be a/126 + (-22)/(-99). Is n >= 1?
False
Let c(i) = -i + 120. Let l be c(0). Let b = 48 - 44. Let t be (l/(-36))/(b/(-6)). Do t and 5 have the same value?
True
Let b = 13 + -14.3. Let l = b - -1.6. Let j = l + -0.35. Which is smaller: j or 2/7?
j
Let s be 18/10*290/1218. Which is smaller: -60 or s?
-60
Let z be 4/6*(-6)/56. Let i = -23/28 - z. Let c(p) = -p**3 + 3*p**2 + p - 3. Let g be c(3). Which is bigger: g or i?
g
Let c = 30.5 - 33.2. Is c greater than or equal to 0.2?
False
Let a(k) be the first derivative of 3*k**2/2 - 6*k - 9. Let i be a(6). Is 11 equal to i?
False
Let z be (-8)/(-108) + (-21864)/2106. Is z at most -2?
True
Let w = 4969/627 + -32/57. Is 6 < w?
True
Let k = -12 + 57/4. Let b = 0 + 2. Is k at least b?
True
Let c be (-11 - -11)/(2*-1). Suppose c*g + 5 = 5*b + 2*g, 5*b - 5 = -3*g. Which is smaller: 