+ -271. Which is bigger: 288 or a?
288
Let y = 218/65 - 17/5. Which is bigger: y or 0?
0
Let f(a) = -2*a - 2. Let y be f(-4). Let c = 6 - y. Let d be (c + 1)*8/24. Which is bigger: d or -2/3?
d
Let u(r) = r**2 - 7*r - 8. Let b be u(8). Let x be b + (-14)/(-2) - 0. Which is smaller: x or 5?
5
Let j = 27 + 2. Let a = j - 28. Which is smaller: a or -2/105?
-2/105
Suppose 0 = -90*j - 6308 - 99262. Which is smaller: j or -1174?
-1174
Suppose -1 = 2*o - 3*o. Let y(r) = r**3 + 21*r**2 - 160*r + 34. Let k be y(-27). Which is smaller: o or k?
k
Let b(r) = -5*r**2 + 51*r - 1. Let s be b(10). Is 9 at least s?
True
Let m = 599.7 + -600. Which is greater: -46 or m?
m
Let i = -0.002 + 11.002. Let t = 10.92 - i. Which is bigger: -0.1 or t?
t
Let a = 30/113 - 2922/791. Which is smaller: a or 25?
a
Let o = -201 - -574. Let y be 0 - (0 + (-3390)/9). Let c = o - y. Does c = -3?
False
Let k(t) = 8*t**2 + 2*t + 5. Let x be k(-3). Let d = x - 70. Which is bigger: d or 1/10?
d
Let a = -5530 - -5534.981. Let d = a + 0.019. Is 3 < d?
True
Suppose 4*p - 3*p + j = 5, 20 = p + 4*j. Let x(g) = 3*g + 37. Let d be x(-7). Suppose 9*o + d = o. Is p < o?
False
Let d(g) = -g**3 + 2*g**2 + 4*g - 3. Let t be 1 + 0 - 4/(-2). Let c be d(t). Let x be (5/(-10) - (-25)/45)*2. Which is greater: c or x?
x
Let z be -1 + (-2)/6*-69. Let i = -17 + z. Is 32/5 at most as big as i?
False
Let f be (-33 + (4 - 15))*1/(-13). Is 2 greater than or equal to f?
False
Suppose l + 4*a - 36 = 0, 5*a = -0*a + 5. Suppose -2*v + 6 = 2*c - l, -5*c - 67 = -4*v. Is 18 at least v?
True
Let f(y) = -7*y - 16. Let d be f(-3). Suppose 3*a = 5*w + 12, d*a - 2*a + w = -6. Is a bigger than -2?
True
Let q = 1154/65 - 366/13. Let a = -8 - 3. Which is smaller: a or q?
a
Let s(a) = a**2 - 5*a + 16. Let k be s(3). Is k at least 10?
True
Let h = -2/53381 - -109296/67633727. Do 0 and h have different values?
True
Let o(t) = -t**3 + 4*t**2 + 6*t + 2. Let p be o(6). Is -35 bigger than p?
False
Let u be 6 + 2856/(-14)*2/(-6). Is 72 greater than or equal to u?
False
Suppose -988 = 9*s + 29*s. Is s >= -46?
True
Let w(y) = y + 7. Let z be w(-2). Suppose c - 7 = -3*o, 0*c = -z*o - c + 11. Suppose o*r - 3*r = -6. Which is smaller: r or 7?
r
Let v = -85 + 1104/13. Let m = v - 23/39. Is m not equal to -0.3?
True
Let r be -2 - (-5)/(70/34). Is r at most 0?
False
Let j be ((-12)/(-8))/(1/2). Suppose o = -g + 2*g - 1, -g = -5*o + j. Which is bigger: g or 3?
3
Let m be 0 + 4 - 50/14. Suppose 7*n - 3*n + 4 = 0. Is n bigger than m?
False
Let v = 1.91 - -8.09. Suppose 0*b + 5*b = 0. Is v less than or equal to b?
False
Suppose 5 = -2*h - 11. Let v = 0.276 + -1.276. Which is smaller: v or h?
h
Let n = 3.08 + -0.08. Let u = -3.4 + 6.1. Let y = -1.3 - u. Which is smaller: y or n?
y
Let j = 3.16 - 3.66. Is -21 at most j?
True
Let b = -0.05 - 0.09. Let o = b - -4.14. Let q = 4 - o. Is q equal to -1?
False
Let t = -5589 - -39216/7. Does t = 13?
False
Suppose -f + 3 - 8 = 0. Let j = -10 + 3. Let l = f - j. Which is smaller: l or 6/5?
6/5
Let z = -0.095 - -4.995. Let d = z - 5. Let o = 48 - 41. Which is smaller: d or o?
d
Let c = -7575/1862 + -3/931. Which is smaller: c or -3?
c
Let h = -0.48 - -0.5. Let i = h - 0.12. Let x = 0.2 + i. Which is smaller: x or -4?
-4
Suppose 5*r + 28 = -2*g, 5*r + 5 - 75 = 5*g. Is 6 at most g?
False
Suppose -i = -2*g + 4*i + 28, -5*i + 28 = 2*g. Let o be ((-2)/3)/(g/21). Let v be 1/((-14)/3)*44/(-66). Are v and o non-equal?
True
Let t = -39/77 + 4/11. Is t at most -0.32?
False
Let h = 5072/7 - 726. Let k be (6/(-4))/((-15)/20) - 3. Which is bigger: h or k?
k
Suppose 12*l + 3 = 9*l. Suppose -5*q + 3 = 4*k + 44, -k - q - 9 = 0. Let o be (k/(-2))/(-6) + (-210)/(-495). Which is smaller: l or o?
l
Let k(u) = -5*u + 9. Let f be (3 + -2)*-1 + 4. Let p be 3/5*(f + 2). Let v be k(p). Is -4 less than v?
False
Let j be 16/40 + (-47)/5. Let n be (-7)/((-21)/j) + 3. Do -7/9 and n have the same value?
False
Let f = -84647205/38 + 2227131. Let o = -427 - f. Let z = -73/114 - o. Which is smaller: z or -3?
-3
Suppose j + 19 = 1. Which is bigger: -8 or j?
-8
Let b = -22.1 - -20. Let g = 404 - 403.9. Which is greater: b or g?
g
Let r be (-110 - 2)*((-35)/14)/5. Which is smaller: r or 55?
55
Let m(i) = -i**2 + 1. Let y(q) = 6*q**2 + 2*q - 8. Let j(w) = 5*m(w) + y(w). Let a be j(-4). Let b = -22945 - -22946. Does b = a?
False
Let o = 125 + -127. Which is greater: o or -24/17?
-24/17
Let h = 218 + -213. Let f(d) be the first derivative of -d**3/3 + 2*d**2 + 8*d - 1. Let v be f(h). Is v >= 4?
False
Let w = -20 - -50. Let t = -21 + w. Which is smaller: t or 7?
7
Let i = -202 + 72. Let s be (0 - 62)/(i/13). Which is smaller: 5 or s?
5
Suppose -2*w + 260 = 4*a, -3*w + 4*a = -51 - 289. Let k be w/3*2/4. Are k and -1 nonequal?
True
Let q = -6.4 - -10.9. Is 2/5 bigger than q?
False
Let l be (1/21)/(138/9). Let z = l + 5393/161. Let h = -33 + z. Which is smaller: h or 0?
0
Let f = -54 + 66. Suppose -f = 5*r - r. Let w be (-17)/4 - (-1 - 1). Is w <= r?
False
Suppose -6*l = -9*l. Suppose l = -5*v - 4*s + 5, -v - 4*s = -2*s - 7. Is v smaller than -2?
True
Let p = 330 - 339. Which is greater: p or -41/4?
p
Let l(a) = a - 3. Let t be l(6). Let c(d) = 2*d - 6. Suppose 2 = 3*q - 2*o, 40 = q + 4*q + 4*o. Let b be c(q). Is t bigger than b?
True
Let y be (-15 - -1) + -3 - 3. Let c be 2 + 9 - 5/y. Let k = c + -31/4. Which is smaller: 3 or k?
3
Let b be 27/(-108)*(20 - 0). Which is bigger: b or -56/9?
b
Let z be (20/14 + -2)/(902/(-2296)). Suppose -2*o - 1 = -3. Which is bigger: z or o?
z
Suppose 7*f = f + 1350. Let s be 918/f - (6 + -2). Which is greater: s or -1?
s
Suppose 2*q + 9 = i, 2*i + 3*q = 7*i - 66. Let b be ((-21)/28)/(i/2). Let a = -697/14 - -99/2. Is a at most as big as b?
True
Let t(k) = -10*k**2 - 2*k + 1. Suppose 0 = -4*l - 3*b + 16, -l = -6*l + 3*b - 7. Let y be t(l). Which is greater: y or 2/3?
2/3
Let y(k) = -k**2 - 8*k - 3. Let h be y(-6). Suppose 7*r = h*r. Let q = 47/5 - 9. Which is smaller: r or q?
r
Let y(t) = 5*t**2 + t + 6. Let p(b) = -6*b**2 - b - 7. Let c(a) = 6*p(a) + 7*y(a). Let z be c(3). Which is smaller: z or 0.1?
z
Let s = 1899 + -1913. Suppose -3*b + 4*t + 2 = -2*b, 0 = b + 5*t + 34. Is s at least as big as b?
True
Let j = 67 + 66. Let c = 133 - j. Is c >= 2/19?
False
Let t = 37308373/1625 - 22959. Which is bigger: 0 or t?
0
Suppose -4 = d - 4*w - 112, 2*w + 112 = d. Which is greater: d or 115?
d
Let t(p) = p**3 + 15*p**2 - 16*p + 16. Let u be t(-16). Suppose m = 3*j - 34 - 20, j - m = u. Does j = 18?
False
Suppose l + 12 = 5*l. Suppose 5*g + 0*g + 2*m = 50, 5*g - 3*m - 50 = 0. Suppose -g = -n - 5. Which is bigger: l or n?
n
Suppose -3*z - 25 = -91. Let h = 15 - z. Let q be 40/22 - (-5 - h). Are q and 0 non-equal?
True
Let l = 6679/771 - -1/257. Let h be (1 + -7)/(-3) + 6. Is l bigger than h?
True
Let z = 66/295 - -5523/10915. Is z smaller than 1/4?
False
Suppose z - 30 = -4*z. Suppose -4*m + z = -m. Let o = -2 - m. Is o greater than -13/4?
False
Let t be (0 - 6/8)*(3 - 7). Suppose 2*c + 2 = t*n, -4*n + 3*n + 5 = -5*c. Which is smaller: -5/6 or n?
-5/6
Let l(t) = t**3 + 21*t**2 + 53*t + 19. Let q be l(-18). Is 249/7 at most as big as q?
True
Let j(m) = m**3 + 9*m**2 - 10*m - 1. Let b be j(-10). Let i be -13 + b + 1 + 0. Let r = -12 - i. Which is bigger: r or 5/6?
r
Suppose 0 = -2*s - 4*h - 18, 5*h = s + 2*h - 11. Is 12 less than s?
False
Let m = -66 + 60. Let z be (-2 - 9/m)/(2/4). Which is smaller: z or -1/35?
z
Let r = -1366 + 2191. Is 824 <= r?
True
Let t be ((-12)/(-10))/(18/60). Let v be 2/t - (-53)/2. Let w = 6.9 - 7. Which is smaller: w or v?
w
Let d(o) = -o**2 + 19*o + 33. Let r be d(21). Which is bigger: r or -10?
r
Let r(b) = -104*b + 207. Let u be r(2). Let w(p) = -p + 3. Let h be w(5). Is h at most u?
True
Let d be (3310/4)/((-3)/(-4)*8). Let f = d + -138. Is -1 at most f?
True
Let c = 13.3 - 14. Let b = c + -5.3. Suppose 7*k - 38*k = 76*k - 3*k. Is k greater than b?
True
Let r = 2.14 - 2.1. Is -15 > r?
False
Suppose -3*a + 5*j = a + 85, -j = -5. Is -15 < a?
False
Let a = 1307.9 + -1191. Let n = a + -117. Which is smaller: 2/35 or n?
n
Suppose -3*t + 6*t - o = -3, 4*t + o = 3. Which is smaller: t or -4/277?
-4/277
Let y be 3/(-50)*-15*356/(-216). Let l = -772 + 11569/15. Let b = l - y. Is 1 at least as big a