aller: w or -26?
w
Let c = -9.341 - -8.341. Which is bigger: -5/7 or c?
-5/7
Let z = 1508/8343 + -17/81. Suppose 31*h = -42*h - 23*h - 96. Which is smaller: h or z?
h
Let i(r) = r**3 + 5*r**2 - 6*r - 1. Let o be i(-6). Let g be -4 - (o + (-69)/21). Let d = -10.9 + 10.94. Which is bigger: g or d?
g
Let n = -14.14 - 11.86. Which is bigger: -1/34 or n?
-1/34
Let j(i) = -i**3 + 14*i**2 + 14*i + 17. Let f be j(15). Suppose -4*x - 82 = f*c - 2*x, 3*x = -4*c - 161. Let v = c + 40. Is -2/7 > v?
False
Let p be (0 - 4/(32/8682)) + 22/88. Is p at most as big as -1085?
True
Let x = 62.68 + -62.77. Which is smaller: x or -0.473?
-0.473
Let b = -1868.03 + 1868. Do b and -37 have the same value?
False
Let v be 210/(-525)*(18/12*-49 + -4). Let y = 205415/6936 + 8/867. Are y and v non-equal?
True
Let l be (20/6)/((-1)/(-84)). Suppose -300 = -10*v + l. Let w = -40 + v. Which is smaller: w or 17?
17
Let s be (-6)/14 + (-589)/(-133). Let o be 1*(-2 + 5 - s). Is -9/46 less than or equal to o?
False
Let y = 259 + -259.162. Let n = y - 0.838. Which is bigger: 27 or n?
27
Let a(q) = q**3 + 64*q**2 + 110*q - 33. Let n be a(-61). Is 8841/2 at least n?
True
Let t = 242.91165 - -0.08835. Which is greater: -1/3 or t?
t
Let s be 2/9 - 2442/297. Let n be (s/140)/((-6)/(-3030)). Which is smaller: n or -30?
-30
Let m be 3 - (-30)/(-9) - (-11)/(-3). Let k be (-6052)/(-374) + m/22. Which is bigger: 18 or k?
18
Let l(z) = -8*z + 63. Let f be l(9). Let k be 8/((-4)/1)*4/8. Let u be k + 0 + -9 + 1. Is u < f?
False
Suppose -2 - 21 = 26*n + 3. Which is greater: n or 4?
4
Let g be (-21)/(-42) - 9/(-2). Suppose -4*p - 2*v + 6 = 0, -5*p - 8 = g*v - 3. Let b be 1239/15 + (-5)/((-50)/p). Is b equal to 83?
True
Let f = 0.593 - 1.823. Let g = f + 0.33. Are 0.12 and g nonequal?
True
Let s = 0.04 + -2.04. Let a(i) = 4 - i - 2*i + 1 - 13 - i**2. Let t be a(-2). Which is smaller: s or t?
t
Let r = 6.1 - 6. Let m = 22.5 + -7.2. Let k = -1.7 - m. Which is smaller: r or k?
k
Let j = -15.1 - -77.1. Let a = -62.27 + j. Let c = 110977/5 + -22195. Is c smaller than a?
False
Let q = -2231 - -1339. Are -892 and q unequal?
False
Suppose -d - 4 = -4*r, 2*r + 16 = d + 4*d. Suppose -5*m = -d*m - l, -5*l - 12 = -m. Which is greater: -3/11 or m?
-3/11
Let f(y) = -y**3 - 6*y**2 + 65*y + 38. Let t be f(-23). Is 7536 greater than t?
False
Let i be ((-2)/6)/((-6)/1602). Suppose 57 = 2*r - 3*f, -3*r + 4*f + i = 3*f. Let j(g) = g**3 - g**2 + g + 31. Let z be j(0). Is r > z?
False
Let o = 1631 - 1695.55. Let g = o + 64. Let h = g - -21.55. Is 2/5 at most as big as h?
True
Let v(y) = 2*y**2 + 7*y - 16. Let i be v(2). Let d be ((-2)/i)/(539/(-16758)). Is 1 at most as big as d?
True
Let m(f) = -3*f**2 + 43*f - 85. Let x be m(23). Which is smaller: x or -3413/5?
x
Suppose l = -c - 341, 0*l + 1367 = -4*c - 5*l. Let w = c - -351. Suppose 0 = 5*v - 11 - 59. Is v > w?
True
Let z be (-242050)/20 - -1 - (-9)/(-2). Is -12107 smaller than z?
True
Suppose 33*y = 813 - 286 - 395. Which is smaller: -52.7 or y?
-52.7
Let c = -37 - -36.98. Let x = 3.98 - c. Let o = 120 + -113. Does o = x?
False
Let q(s) = -23*s**3 - 437*s**2 + 3*s + 57. Let g be q(-19). Is g bigger than -47/110?
True
Let i = 23 - 18. Let x(h) = h**3 - 6*h**2 - 7*h + 3. Let y be x(7). Suppose i*l + 2*k - 11 = 0, 8 = -l + y*l + 2*k. Which is smaller: l or -3?
-3
Let n = 435587/213 - 2045. Let w = 1568/639 - n. Is 3 bigger than w?
True
Let p = 67.843 - -0.157. Let u = 30.021 + -0.021. Let c = 31 - u. Is p bigger than c?
True
Let h = 3326 + -63176/19. Let q = 42 - 39. Suppose -4*z + 5 = q*b + 2, -5*z - 3*b + 3 = 0. Are z and h nonequal?
True
Suppose 3*s + 5 = -2*c + 22, 5*s = -5*c + 30. Let o be c/(-4) + (-6)/8. Let n = 299/129 + -2609/903. Which is smaller: o or n?
o
Let u = 18832 + -18831. Is u <= 123/91?
True
Let j = -8 - -5. Let k be j/(-4) + 1 + -2. Let n = 266.024 - 263.024. Is n at most as big as k?
False
Let n = -82963/5 + 16660. Suppose -3*l + 204 = 3. Let x = l - n. Which is smaller: x or -21?
-21
Let f be (-14)/33 + (-17)/(-187) - 4890/(-3). Is 1631 <= f?
False
Suppose -42*g = 2*g + 7*g + 32*g. Which is greater: g or -11/833?
g
Let l = 23346.919 - 23353. Are 1 and l equal?
False
Let q be (-4)/((-318)/160 + 1 + 1). Let n = -694 - q. Do n and -373 have different values?
True
Let n = -31.79 + 31.53. Is n less than or equal to -22/13?
False
Let m be (-1)/(-5) + 486/45. Suppose 0 = m*k + 70 + 62. Which is greater: k or -0.1?
-0.1
Let g be -1*2 + 459/51. Suppose 44 + 278 = -g*a. Which is smaller: a or -228/5?
a
Suppose -g - 4*g + 6*g + 494 = 0. Which is greater: g or -491?
-491
Let v = -41995 + 127454821/3035. Is v < 1?
True
Suppose -37556 = 10*f - 257206. Is 21965 > f?
False
Let m be (-1230)/1035 - (-4)/3. Let o = 12/23 + m. Does -10/11 = o?
False
Suppose -10*f = -2*f - 40. Suppose -2*k = -3*u + 10, f*u = -k - 3 - 2. Let n = -30/43 - -1796/2451. Is u > n?
False
Let a = -388.3 - -408. Let g = 18.7 - a. Let r = -1.2 - -60.2. Which is greater: g or r?
r
Let w = -616 + 774. Let b = w + -39027/247. Which is greater: 1 or b?
1
Let k(r) = -7*r + 119. Let t be k(11). Suppose 10*u - 13*u + t = -4*o, -5*o + 25 = 4*u. Are u and 4 non-equal?
True
Let x be -4 + 187/65 + (-2)/(-26)*-1. Which is greater: x or -5.2?
x
Suppose -70*r + 96*r + 26 = 0. Is 3/7957 at most as big as r?
False
Let y = -356/231 - -230/33. Let w = 3243 + -3244. Which is smaller: w or y?
w
Let o(q) = -q + 20. Let s be o(11). Let a be 5/(30/48)*(-3)/(-4)*2. Does a = s?
False
Let c = 35 + 67. Let p = 105 - c. Is p less than -2?
False
Let i be (-2)/21 + -3*(-4 + 750/189). Is -4/4073 > i?
False
Suppose 0 = -6*z + 2*z + h + 16, 2*h = -8. Let v be z + (-5 + 0 - -4). Let b be (3/v)/(3/(-1)). Is 0.28 at most b?
False
Let t be (-93191)/(-98)*4 - ((-120)/(-21) - 6). Which is greater: 3803 or t?
t
Let m be 3/2*24/(-9). Let p be m/(-26) + (-10)/65. Suppose 4*w - 19 + 15 = p. Is w greater than 0?
True
Suppose 3*k + 4 = -4*y, -3*y + 2*k - 3 = 5*k. Which is smaller: -32/129 or y?
y
Let p = -1 - -7. Let l be 2/1 - p/(-60)*-18. Let s = l - -7/15. Is -1/4 < s?
True
Suppose 0 = -2*k - 3*z + 19, 3*k + 2*k + 4*z - 37 = 0. Suppose k*h - 26 = 2*f, h - 16 = 3*f + f. Let d = -145/7 + 165/7. Which is smaller: h or d?
d
Let f = -21884 + 21883.9. Do f and 5508 have different values?
True
Suppose 0*v + 5*a = 2*v + 27, 2*a - 62 = 4*v. Let x = v - -18. Suppose 0 = 2*u - 2, -x*j - 33 = -6*j + 3*u. Is 4 equal to j?
False
Let h be -1 + -298 - (2 - -4) - -4. Are -1209/4 and h equal?
False
Let u be 61/75*(36/(-33))/(-4). Let k = 377/50 - 15/2. Let m = u - k. Is m bigger than 1?
False
Suppose 26*h - 42*h = 5312. Let l = 331 + h. Which is smaller: 2/2809 or l?
l
Let k be 3/(234/(-15402)) - 48/(-104). Does -206 = k?
False
Suppose -36 = -r + 13*r. Suppose -2*k = 24 - 50. Suppose 5*z - z = 3*t - k, -z = 4. Which is greater: t or r?
t
Let o = 596/1062139 - -12181142682/10407900061. Let j = 2/9799 - o. Which is bigger: j or -1?
-1
Let j = -125.803 + -0.197. Let d = -126.004 - j. Let v = d - -0.004. Is v bigger than -1/15?
True
Let j be ((-33)/(1287/(-3926)))/((-4)/(-30)). Which is bigger: 764 or j?
764
Let w be 5/((-9)/(-12) - (-3)/(-12)). Let t be ((-4)/w)/((-16)/(-20)). Suppose 5*i - k = -0*k - 13, -15 = 3*i - 3*k. Which is bigger: t or i?
t
Suppose -4*i = 9*j - 14*j + 220, -3*j = -5*i - 119. Let k be 8/(-7)*1*(-168)/j. Let h be 2/15 + 1636/330. Which is smaller: k or h?
k
Let q be (-6)/(-21) - 32/14. Let c be 47 - 41 - -6*105/(-95). Is c greater than or equal to q?
True
Let l(g) = -551*g + 272*g - 2 + 278*g. Suppose 5*o + 21 = 2*o. Let u be l(o). Which is bigger: u or -8?
u
Let z = -90.81 + -2.19. Let v = z + 90. Which is smaller: 1.9 or v?
v
Let d = -25.1 - -25.291. Let b = 0.191 - d. Which is smaller: -134 or b?
-134
Let u = -202 + 194. Let r = 13.5 + -0.5. Let c = r + u. Is -8 bigger than c?
False
Let x = -71401/4 + 1085081005/60788. Which is smaller: x or 0?
0
Let s = 1205975617/2537 - 475355. Which is greater: s or 0?
0
Let h be (65/(-325))/((-95)/(-2) - 0). Let u = h + 65564/3325. Which is greater: 21 or u?
21
Let v = 5177 + -10355/2. Is v at least as big as 278?
False
Suppose -i - 4*z = -4*i - 49, i - 2*z + 17 = 0. Suppose 198*c = 129*c - 966. Which is smaller: c or i?
i
Suppose -2*g + 2*j - 152 = 7*j, -310 = 5*g - 5*j. Suppose 10*a -