)/(-84)*-3*1. Which is greater: r or 17?
17
Let x = -189 + 187. Let y be (2/(-12))/(3/24). Which is bigger: x or y?
y
Let l = 1.3 + 24.7. Let u = l + -25.9. Does u = -32?
False
Let m = -2.665 + 2.7. Let a = 0.065 + m. Are 0.11 and a equal?
False
Let k = -2873 + 4027. Is k at most 0.1?
False
Let z(k) = -2*k**2 - 27*k + 150. Let l be z(-25). Which is smaller: l or -424?
l
Let o(h) = 21*h + 26. Let g be o(-11). Let n = g + 807/4. Which is bigger: n or -2?
-2
Suppose -4*h + 0*h = -36. Let u be -1*8*(-65)/(-52). Let c = u + 20. Which is smaller: h or c?
h
Let r(p) = p**3 + 5*p + 1. Let l(q) = 3*q**3 + q**2 + 14*q + 3. Let b(y) = -3*l(y) + 8*r(y). Let f be b(-1). Which is greater: f or 1/5?
1/5
Let j be -9 - (5 - (-5712)/49). Which is greater: j or -130?
-130
Let k be 0 - (-4)/(-2) - 2. Let d be ((-19)/38)/((-2)/32). Let g be d/(-12)*26/4. Are g and k non-equal?
True
Suppose 0 = -27*f + 29*f + 6. Let s be ((45/(-10))/3)/f. Which is smaller: s or 0?
0
Suppose -6 = 3*k + 3, -3*k = 3*i - 54. Suppose -12 = 3*j + 3*z - 0*z, -4*j = 2*z + 8. Suppose j*c + 63 = 3*c. Is c greater than i?
False
Suppose -300 = 652*k - 656*k. Is k > 75?
False
Let k = 761 - 762. Is -1/503 at least as big as k?
True
Let p be (-5 - -4) + 7*-2. Let v = 71 + -45. Suppose q + q = -r - v, -84 = 4*r + 4*q. Are r and p non-equal?
True
Let j = 6991/11 + -635. Suppose -3*r = -4*h - 5 + 1, -2*r = -3*h - 3. Suppose 0 = -r*u - 10*u. Is u less than or equal to j?
True
Suppose -3*h - 4*w - 4 = h, 0 = -5*w - 25. Suppose 2*d + 28 = -3*o, 0 = -d - 2*o + 3*o - h. Suppose 36*g + 248 + 40 = 0. Is d <= g?
True
Let w = -26 + -25. Which is bigger: w or 2/15?
2/15
Let j(b) be the second derivative of b**4/12 + 5*b**3/2 + 2*b**2 - 8*b. Let n be j(-15). Suppose n*t - 5*o = 3*t + 31, 4*t - 3*o - 56 = 0. Is 9 at most t?
True
Let w = -2.2 - -2. Suppose -5*y - 3*n = -14, 4*y - 4*n + 5 = -n. Which is greater: w or y?
y
Suppose -6 = 4*r - 5*i + 6, 5*i = r + 18. Let y be 67 - (-1 - (r - -1)). Which is greater: y or 70?
y
Let f = 17 - 13. Suppose -45 = 3*s + 3*m, f*s - m = 3*m - 28. Is -9 at least s?
True
Suppose u - 2 + 0 = 0, 5*l = -2*u - 1. Suppose -4 - 6 = -2*p. Suppose -3*v - 6 = 3*t, p - 3 = -4*v - t. Which is greater: l or v?
v
Let n = 1.4 - -7.6. Let v = n - 8. Let d = v + 0. Is d at most as big as 0?
False
Suppose -l - 4 = -r, -2*l + 17 = r + 2*r. Suppose 0 = -r*n + 3*m - 6, 8 = -3*n + 4*m. Suppose 0 = -n*w - 5*w - 10. Which is smaller: 0 or w?
w
Let p = 24 - 16. Let y be p/(-14) - 936/(-1540). Suppose 5*t = f - 1, 0 = -5*t - 3*f - 4 - 13. Which is greater: t or y?
y
Let a = -8/8915 + 40919906/62405. Let h = a + -657. Is -1 smaller than h?
False
Suppose h - 3 = 0, 4*o - 13 = -2*h + 129. Is o != 52?
True
Let v = 0.265 + 0.047. Let w = 0.018 + v. Let o = w + 0.27. Does o = 1/2?
False
Suppose 2*w + 3*i = 688, -i = 4*i - 10. Is w less than or equal to 342?
True
Let h = 38 + -35. Let w = h - 26/9. Is -1 at most w?
True
Suppose 3811 = -c - 2*c - 4*b, 0 = 4*c - 3*b + 5048. Is -1266 greater than c?
False
Let h be 8 - (-2 + -1)/3. Let m be 1*-4 + (h - 2). Suppose -13 = -z - m*n, -3*z + 0 = -n + 1. Are -2/45 and z non-equal?
True
Let w = -578/3 + 194. Which is bigger: w or -0.6?
w
Let w(o) = -o**3 - 6*o**2 + o - 6. Suppose 8*x = 3*x + 20. Suppose 5*h + 0*j = 3*j - 18, x*h + 36 = -3*j. Let p be w(h). Which is smaller: -13 or p?
-13
Suppose -44 = 3*c + c. Let k(g) = -g**3 + 11*g - 10. Let a be k(0). Which is smaller: c or a?
c
Let k = -2.1 + -0.8. Let w = -3 - k. Do -15 and w have the same value?
False
Let m = 37.7 + -33. Let f = 5.1 - m. Is f <= -8?
False
Let f(n) = 2*n**2 + 2*n - 1. Let l be f(1). Suppose 10*c = 13*c - l. Which is bigger: 8/13 or c?
c
Suppose 7 = -b - 4*y, 5*b - 7*b - y = -14. Is 29 greater than or equal to b?
True
Let p = 19 + -77/4. Let j = 213 + -234.8. Let k = j - -22. Which is greater: k or p?
k
Let m(s) = s**3 + 65*s**2 - 5. Let b be m(-65). Is b at least 35?
False
Let f = 3.72 - 3.7. Which is smaller: f or -1/8?
-1/8
Let c(p) = p**3 - 14*p**2 + 14*p - 7. Let u be c(13). Let h be 112/18 + (-2)/9. Suppose 5*d + h = 31. Which is bigger: d or u?
u
Let o = 134 + -105.1. Let v = o + -29. Is v bigger than 5/4?
False
Suppose -47*j = -53*j - 6. Is j at most as big as 2/223?
True
Let i = -17 + 19. Let q be 4/1*i/4. Is q <= 3/4?
False
Let n(m) = -15*m**3 + 8*m**2 - m - 15. Let w be n(-4). Which is smaller: 1078 or w?
w
Let w = -8 + 10. Let f(u) = u**3 - 3*u**2 + 2*u. Let g be f(w). Suppose 3*q + g*q - 18 = 0. Is q smaller than 1?
False
Let f = -429 - -408. Which is bigger: -2 or f?
-2
Suppose 0 = 3*j - 33. Let n be 0 - -2*j/2. Suppose -3*i + 4*x = 2*x - 25, -4*i = 2*x - 52. Is i bigger than n?
False
Suppose 5*k + 2 = 3*l - 16, 5*k + 10 = 5*l. Let o be (-45)/k*8/12. Suppose o*w + q - 69 = -19, 0 = w - q - 16. Is w smaller than 10?
False
Let l = 599 - 624.28. Let w = -25 - l. Is w at least 1/2?
False
Suppose 0 = 5*w - 3*a - 33, -4*a - 4 = -0*a. Suppose 0 = -4*i + 3 + 5. Suppose 2*b - w = 5*u + 1, -b + i = -u. Does b = -1?
False
Let l = 163/12 - 116581/8580. Is 0 less than l?
False
Let j = 12.9 + -13. Let h = -23.3 + 15.3. Which is smaller: j or h?
h
Let o = 271/5368 + -3/88. Let c = 194/671 - o. Which is greater: c or 4?
4
Let d = -285 - -417. Suppose -d*m + 127*m = 5. Is 5/19 at most m?
False
Let j = -2370 + 116117/49. Which is bigger: j or 1?
1
Let i = -104 - -109. Suppose -i = 18*z - 19*z. Is z != 30/7?
True
Let f(k) = -2*k**3 - 2*k**2 - k + 2. Let x be f(-2). Suppose 0*r = -3*r + 2*u + 3, 0 = -4*u + x. Let q be (-66)/36 - (-1)/r. Is 0 smaller than q?
False
Let k = -180 + 181. Is 80 at most k?
False
Let q = 209 + -329. Is q greater than or equal to -2/5?
False
Let c = 727 + -650. Is 2 bigger than c?
False
Suppose 5*k - 2*h - 2 = 36, 3*h + 30 = 3*k. Suppose k = -g + 7. Which is smaller: g or 3/32?
3/32
Suppose -35 = 4*s + 5*c, -3*s - s + 4*c = 8. Is s at least as big as -43/11?
False
Let l = 29.6 + -29.5. Is l bigger than -21?
True
Let z(k) = -k**3 - 8*k**2 - 5*k - 4. Let g be z(-7). Let f be 4/g - 14/(-36). Let m be (-2)/3 - 5/(-3). Which is smaller: f or m?
f
Let x = 7.6 + -8.6. Let y be (-8)/(-6)*(-254)/8. Let w = 919/21 + y. Which is smaller: x or w?
x
Suppose 0 = -2*u - 5*o + 29, u - 2*o + 23 = 3*o. Suppose u*m = 14*m + 240. Let b(l) = l**3 - 6*l**2 - 10*l. Let r be b(7). Which is smaller: r or m?
r
Let c be 4/5 - 138/(-115). Is 0.14 less than c?
True
Suppose 79*q = 76*q - 3. Is q smaller than 7/5?
True
Let r = 512 - 518. Which is greater: r or -14?
r
Let r = -4 + 4. Suppose t + 19 - 6 = r. Suppose 10*p + 5 = 5*p, -p = -3*o - 35. Which is bigger: o or t?
o
Let a be 37/(481/(-78))*(-1 + 0). Is a >= 44?
False
Let f(y) = -2*y - 20. Let b be f(-9). Let c be 0 - (b/6 + (-670)/(-30)). Which is smaller: -21 or c?
c
Let v = 1147.05 - 1147. Is v smaller than -2/15?
False
Let t = -39.4 + 23.4. Which is smaller: t or -9?
t
Let f be (-1524)/(-1078) + (-7 - -10). Let r = f + -49/11. Which is smaller: 1 or r?
r
Let r = -32881/5305 + -2/1061. Which is smaller: -1 or r?
r
Let w(b) = b. Let c be w(7). Suppose -4*v = -c*v - 12. Let m(y) = -4*y**2 + 1. Let r be m(-1). Which is smaller: r or v?
v
Let w be (-9)/(-18)*(-552)/(-2). Let n = -2620/19 + w. Which is smaller: -1 or n?
-1
Suppose -404 + 109 = -5*h. Which is smaller: h or 60?
h
Let p = 1 - -4. Suppose -3*o + p*k = -3, -o - o = -3*k - 2. Is o at most 6?
True
Let u be 125/(-45) + 0 - (3 - 3). Which is smaller: -4 or u?
-4
Let f be (12/24)/((-1)/(-38)). Suppose -6 = g - 1. Let d = g - -24. Is d >= f?
True
Let z be (30/(-25))/((-26)/(-10)). Let q(y) = y**3 + 6*y**2 + 4*y - 5. Let a = -41 - -36. Let g be q(a). Is g <= z?
False
Let g be -2 + 12/9*3. Suppose 8*w = g*w + 132. Let r = w + -25. Is r less than -3?
False
Let a = -5.767 - 0.133. Let l = 5.96 + a. Is 4 equal to l?
False
Let d = -219 + 220. Is d < -1/68?
False
Let n be (64/(-6))/((-108)/(-162)). Is -27 >= n?
False
Let f(q) be the first derivative of q**4/4 + 5*q**3/3 - q**2/2 - q - 5. Let j be f(-5). Let p be 1/((-16)/j + 3). Which is smaller: p or -2/9?
p
Suppose 3 - 13 = 5*r + 3*b, 4*r - b - 9 = 0. Suppose 0 = -3*v, -3*v + 82 = -3*z + r. Do z and -26 have the same value?
False
Let q = -4264 + 4263. Let n = -90 + 139. Which is greater: n or q?
n
Let v(x) = x**2 + 10*x - 4. Let r be v(-13). Let p = r -