 + -3. Let g(a) = a**2 + 9*a + 5. Let f be g(-8). Let b be j/(-2 - f) - 1. Which is greater: -3 or b?
b
Let b(o) = 3*o**2 + o**2 - 19*o + 6*o - 14 - 3*o**2. Let w be b(14). Which is bigger: 1 or w?
1
Let u be -9 + (0 - 1) + 2. Let r = -82 + 75. Which is greater: r or u?
r
Let a = -3 + 6. Suppose -4*h = -2*y + 10, 3*y = 2*y + a*h + 7. Which is smaller: -2/7 or y?
-2/7
Let l = 0.63 + 0.07. Let y = l - -4.3. Let d = y - 5. Is -2/7 greater than or equal to d?
False
Let b = 737 - 3672/5. Let s be -6 + 132/15 + (-8)/10. Is s greater than b?
False
Suppose 5*z - 3*a + 24 = 3, 5*a = 4*z + 22. Is -4 equal to z?
False
Let t be -11 + 15 + -1*1. Suppose -t = u + 2*u. Is u equal to 1/7?
False
Let p be (-14)/(-24) - 4/6. Let l = 15 + -49. Let r = 34 + l. Which is greater: p or r?
r
Let d(o) = -o**2 - 9*o - 9. Let p be d(-7). Suppose -5*s = 3*a + 8, -4*a - 3*s = -2*s + p. Which is bigger: 2/39 or a?
2/39
Let m = 5173/792 - 72/11. Which is smaller: m or 0?
m
Let b(l) = l**2 + 14*l + 14. Let m be b(-13). Which is smaller: m or -2/5?
-2/5
Let v = -345 + 213. Let i be (-2)/6 + (-20)/v. Let y = -18 - -17. Which is bigger: i or y?
i
Let b(j) = j**3 - 5*j**2 + 6*j - 6. Let r be b(4). Let f be ((-134)/(-37))/r - 2. Let m = 247/259 - f. Do 1 and m have different values?
True
Let v = 1.2 + -0.2. Let f = -1.3 - -0.3. Let m = v + f. Are m and 0 unequal?
False
Let q(g) = g**3 + 2*g**2 + 1. Suppose 1 = s - 0*s. Suppose 0 = -5*o - s - 9. Let c be q(o). Is -1/5 greater than or equal to c?
False
Let q be 1/(-8)*2 + 0. Let a = -4.4 - -0.4. Let y = a + 2. Which is smaller: q or y?
y
Let i = 2 - 1.96. Suppose 0 = p + 39 + 5. Let r = -175/4 - p. Is r < i?
False
Let s be 0/(-3) + 6/(-3). Suppose 2*x + 0 + 2 = 0. Let g(q) = q. Let m be g(x). Which is smaller: s or m?
s
Let m be ((-2)/4)/(1/(-2)). Let t(q) = -q - 1. Let w be t(m). Let v be (-1 + w/4)/(-3). Which is greater: v or 2?
2
Suppose -5*x + 3 = -7. Let r be (21/(-6) + 1)/(-8). Let z = r - -3/16. Which is smaller: x or z?
z
Suppose -q = 2*q - 12, 0 = -2*y + q - 14. Which is smaller: 1 or y?
y
Let f = 4 + 1. Let c = -5 + f. Suppose c*h + 3 = -h. Is h not equal to -3?
False
Suppose -5*q - 24 + 14 = 0. Is q smaller than -1/2?
True
Let c(s) = 9*s**3 - 3*s**2 + 4*s - 2. Let t be c(1). Which is smaller: 15/2 or t?
15/2
Let t be 10 + 0 - 2/1. Suppose 3*n + 2*j - 9 = -0*j, -n = -j - t. Suppose 0 = 5*c - 34 + 9. Is n bigger than c?
False
Suppose 15*x + 55 = 520. Is x smaller than 33?
True
Let q be -1*(0 - (-35 - -1)). Let v = -20 - q. Suppose 0 = r + 3*f + 12, 4*r - 6 - v = 5*f. Is r > 1/4?
False
Suppose -3*v - 2*v + 10 = 0. Suppose 5 = -4*g + z, -2*z + 10 = -v*g + 7*g. Is g smaller than -1/6?
False
Suppose 3*o + 2*o - 15 = 0. Suppose -9 = o*p + 2*m, 4 = 2*p - 5*m - 9. Let y be 4*p/(2/1). Is -3 less than or equal to y?
True
Let l = -64641 - -1034653/16. Let b = -11101/464 + l. Let j = 4/29 - b. Which is greater: j or -2?
j
Suppose -1 = 5*t - 2*l - 2, 0 = -4*t - l - 7. Which is greater: -2 or t?
t
Let w be 56/294 + (-2)/6. Is 0 greater than or equal to w?
True
Let u = -1240/13 + 1230/13. Let z = u + 33/26. Which is bigger: z or 0?
z
Let s be (-3)/(-1*(-12)/(-16)). Suppose s = -6*z + 2*z. Suppose -4*q + 5*q = 0. Which is bigger: q or z?
q
Suppose s = -3*b - 0*b + 50, 4*b + 4*s = 72. Which is bigger: 17 or b?
17
Let v be (-2 - -1)/((-8)/497). Let l = -62 + v. Is l at least as big as -1?
True
Suppose 2*p + p = 4*h + 360, 4*p + 3*h - 480 = 0. Let x be 4/(-2)*12/p. Do x and -2 have different values?
True
Let u = 2.1 + 1.9. Let j = u + -1. Which is greater: j or 1/4?
j
Let z be ((-4197)/(-30))/((-2)/(-12)). Let f = 842 - z. Let s = -101/35 + f. Which is smaller: s or 0.3?
s
Suppose -3*w = -4*w. Let t = -465 + 5593/12. Let c = -5/6 + t. Is c at least w?
True
Let h = 17 + -15. Let q = 4 - -2. Let i(g) = -g**3 + 5*g**2 + 7*g - 6. Let j be i(q). Is j < h?
True
Let i = -13 - 1. Is -13 smaller than i?
False
Let z = 27.996 - -0.004. Is 0 at least z?
False
Let z = 72/41 + 214/205. Which is bigger: 3 or z?
3
Let p = 57 + -972/17. Let k = -61/153 - p. Which is bigger: k or -1?
k
Let d = 18 - 32. Is -1/2 bigger than d?
True
Let y = 29 + -18. Is 4 at least y?
False
Let x = -1.8 - -2.8. Which is greater: 2 or x?
2
Let r be 10/(-15)*3/(-10). Suppose a + 25 = 4*a + 5*n, 0 = n - 5. Is r less than or equal to a?
False
Let s = -105353/770 + 1929/14. Let g = -14955/44 + 1365/4. Let d = g - s. Is d at most as big as -1?
False
Suppose -3*i + 5*v = -17, -24 + 9 = -3*i + 3*v. Suppose 2*d = -o + 1, -1 + i = o. Let f = -143 + 1004/7. Which is smaller: f or d?
d
Let w = 0.1 - 0.3. Let g = 0.1 + w. Let u = g - 0. Are -2 and u unequal?
True
Let v = -9/67 - 834/1273. Does 0 = v?
False
Let b be 1/(-2*(-2)/4). Suppose 0*k + 4 = -k. Let v be k/10*(-15)/10. Do b and v have the same value?
False
Let d = -13.76 - 2.34. Let v = d - -16. Is v at least as big as 2/9?
False
Let m = 11 - 13. Let k be 1 - -5*(m + 3). Suppose 8 = 2*y, -5*f - y + 41 = 3*y. Is f smaller than k?
True
Let l = -21384/5 + 4290. Let w = 249/20 - l. Which is bigger: w or -1?
w
Let u be -1 - (-10)/6 - 69/9. Which is bigger: -8 or u?
u
Suppose -3*c + 3 = 0, 0 = a + 2*c - 1. Let m be (-3)/3*(-2 + (-23)/(-11)). Which is greater: a or m?
m
Let x = -4.45 - 0.55. Which is smaller: -4/7 or x?
x
Let d be (0 + 6/15)*10. Suppose -4 = d*x + 3*c - 0, -x = 5*c + 18. Is 2 >= x?
True
Let a be 23/(-54) + (-1)/2. Let d = -64/27 - a. Let u = 7/9 + d. Which is smaller: 0 or u?
u
Suppose -4*u + 2*s = -3*s - 9, u - 2*s - 6 = 0. Suppose -6 = 5*f + 9. Do f and u have the same value?
False
Let k = 1 + -1. Let i be 3/9 + 2/3. Let x = i - k. Is -1/5 <= x?
True
Let r be (-2)/4 - 84/(-8). Which is smaller: r or 9?
9
Let t be (6/(-5))/(6/(-15)). Let m be (4/6)/((-11)/t). Is m > 0?
False
Let p(s) = s**3 + 9*s**2 + 9*s. Let b be p(-8). Which is smaller: -5 or b?
b
Let t = -4502995/11 + 409635. Suppose -2*d = -732 + 188. Let l = t - d. Is 2/5 greater than l?
True
Let a = 1424791 - 1517403044/1065. Let d be (-6)/(-21) - 412/1491. Let r = d - a. Is r bigger than 2?
False
Let c = -28 - -28. Are -1.9 and c non-equal?
True
Let k be 1207/(-51) + 1/(-3). Let t = k + 19. Which is smaller: t or -1?
t
Suppose l + 23 = -3*r - 2*r, -3*r - 19 = -2*l. Suppose w + l*w = 15. Suppose o = -x + w, 5 = x + 5*o - 20. Are x and -1 unequal?
True
Let p(g) = -3*g - 2. Let k(w) = -2*w - 1. Let h(d) = -8*k(d) + 5*p(d). Let t be h(6). Suppose 5*o - 19 + 4 = -5*j, 3*o = t*j + 16. Is j equal to 2/15?
False
Let s = 2/235 - -92/235. Which is smaller: s or -0.2?
-0.2
Suppose v - 5*v + 4 = 0. Which is bigger: 5/4 or v?
5/4
Let x(t) = -t**3 + 4*t**2. Let z be x(3). Let w = 9 - 6. Let u be w/z*12/(-14). Is u < 5?
True
Let o = 10 - 5. Let g be -6*o - 2/3. Let b = -30 - g. Which is greater: b or 1/3?
b
Let n = -0.07 + -3.73. Let w = 0.8 + n. Let y = 3.1 + w. Which is smaller: y or -0.3?
-0.3
Let l be 2/6*(-22 + 43). Suppose -5*q + 4*u = -47, q - 3*u - 44 = -4*q. Are l and q unequal?
False
Suppose -5*j - 4*n + 47 - 4 = 0, -3*n = -5*j + 29. Let s = j - 6. Do s and 1/3 have different values?
True
Let l(m) = m - 5. Let i be l(5). Let p = 1 + -0.7. Let b = 0.5 - p. Which is smaller: b or i?
i
Let j = -5 - -8. Suppose j*x = -2*x. Suppose 0 = -x*q + 4*q + 4. Is q less than -1?
False
Suppose 0*b = -4*b + 4. Suppose -c - 13 = 2*o - 3, o = c - 2. Let z = c - -2. Do b and z have the same value?
False
Let a(s) = 14*s**2 + 3. Let m be a(-3). Let z = -1163/9 + m. Which is bigger: -1 or z?
z
Let k = -4.5 - -4.7. Is k greater than or equal to 8?
False
Suppose 5*p = -2*z + 3*p - 10, 3*p = z - 15. Let q be (-2)/(-8) - 580/(-1008). Let m = 10/9 - q. Is z not equal to m?
True
Let v = -374 + 2616/7. Let s be (0 + 1/1)/1. Which is greater: s or v?
s
Let k be (-91)/(-494) + (-2)/4. Is -1 less than k?
True
Let l = 8 + -1/2. Which is smaller: 9 or l?
l
Let z = 0 + 1. Let k = -5831/19 - -307. Is k bigger than z?
False
Let q = -31 + 14. Is -18 greater than q?
False
Let q = -1.97 - 0.03. Let i = -1.1 + 1. Let l = i - 0.9. Is l bigger than q?
True
Let m be 2/(-8) - 13/(-20). Let o be (-1)/2 - (-44)/8. Suppose o*x + 3 + 2 = 0. Which is greater: x or m?
m
Let o(z) = 13*z**2 - 4*z + 3. Let l be o(1). Which is bigger: l or 2/15?
l
Let s(z) = -2*z**2 - 19*z + 8. Let y be s(-10). Which is smaller: 1 or y?
