7.8 - 27.9. Which is greater: -2 or y?
y
Let o(u) = -2*u**2 + 26*u - 172. Let b be o(6). Which is smaller: b or -85?
b
Let x = -21 - -20. Suppose -4*z = 6 + 10. Let d be (-2)/z + (-13)/30. Is d < x?
False
Let u(z) = -362*z + 16. Let f be u(5). Let w = f - -10789/6. Let v(q) = -q - 2. Let n be v(-6). Is w greater than or equal to n?
True
Let m = -0.6 - -3.6. Let y = -1172 + 1171.6. Which is bigger: y or m?
m
Let d = -38/435 + -4/87. Let g be (-9)/(-1) - (60 - 51). Which is bigger: d or g?
g
Let i = 10853/4650 - 1/1550. Is 24 smaller than i?
False
Suppose 3*y + 6*b - 2*b = 7, 0 = y + b - 1. Let f = -4 - y. Let l be (-6)/9 + (-60)/(-63). Which is greater: f or l?
l
Let d = -27 + 30. Let o = d - 4.3. Which is greater: 2 or o?
2
Let p = -22681946/1207 - -18792. Which is greater: p or -1?
p
Let y = -1 + -7. Let w be (-9 + -4 + 10)*(-10)/(-3). Is y greater than or equal to w?
True
Suppose f + 7555 = -4*f. Is -1511 smaller than f?
False
Let v(p) = -2*p**2 - 4*p + 5. Let y be v(-3). Let q be -1*(21/9 + 2*y). Let n be 2/4*2 + 1. Which is smaller: n or q?
q
Let u(w) be the first derivative of -w**2/2 - 3. Let t be u(5). Suppose 2*k - 4*b + 6*b = 2, 5*b = 25. Is t != k?
True
Let k = -0.64 - 24.36. Let a = 25 + k. Are 0.1 and a equal?
False
Let p = -109041 + 41435611/380. Let f = 5/38 - p. Do 1 and f have the same value?
False
Let r be (-2)/6 + (-408)/(-9). Let t = 27 - r. Which is smaller: t or -17?
t
Suppose r = 5*r. Suppose 0 = -5*s - 2*t - 10, 4*s = -r*t - 2*t - 8. Let o = -2 - s. Which is greater: -2/27 or o?
o
Suppose -5*r - 707*q + 712*q - 30 = 0, -4*r - 5*q = -12. Let t be (-8)/7 + (0 - 1). Which is bigger: r or t?
r
Let t = 696 - 1051. Is -355 bigger than t?
False
Let o = 3.965 + -4. Let v be (-1)/(-2)*(-68)/(-119). Are o and v nonequal?
True
Let s = 29704/205359 + -12/1397. Which is bigger: 1 or s?
1
Suppose 0 = 5*d + 17 - 197. Let x = -53 + d. Let i = x + 18. Is 3/2 at least i?
True
Let g be ((2 - -2) + 2)/(6 - 4). Let l be ((-2)/6)/(14/(-108)). Which is smaller: l or g?
l
Let s be (-117)/540 - 2/(-3). Let g = -509/1220 + s. Which is smaller: g or -1?
-1
Let i = 24.011 - 24. Let j = i + 0.039. Is j smaller than 3?
True
Let h be ((-2)/6)/(2/4). Let a be (-30)/12 + 7 + (1 - 6). Is h smaller than a?
True
Suppose -7 = 5*v - 3*b, 3*v + 4*b - 23 = -b. Suppose z - 45 = -z - 3*i, 35 = z - i. Let k be (z/175)/((-3)/(-10)). Is k not equal to v?
True
Let y(g) = -2*g + 6*g + 19*g**2 - 15*g - g + 2*g**3 - 16. Let u be y(-10). Is -7 greater than u?
False
Let q = -433 - -350. Is q bigger than -82?
False
Suppose 5*k + 2 + 3 = 0. Let t be ((-209)/(-33))/(55/(-33)). Is t <= k?
True
Let b(y) = y**3 - 6*y**2 + 2*y - 9. Suppose 4*t = 5*t - 6. Let z be b(t). Suppose 5*a - z*f - 6 = 8, -2*f = 3*a + 3. Is -5 < a?
True
Let c(k) = 6 - 5 + 0 - k**2 - 4*k + 3. Let v be c(-5). Let l be (-1)/4*7 + 0. Is v smaller than l?
False
Let u = 210 + -45. Suppose 0 = 3*r - 33 + u. Which is smaller: 1/4 or r?
r
Let n be (-48)/(-120) - 2177/5. Let d be ((-4)/12)/((-5)/n). Does -29 = d?
True
Let l = -321/376 - 50/141. Let p = 19/12 + l. Let m be 9/12 - 2/(-8). Which is smaller: p or m?
p
Let x be -6 + 2 + (-138)/(-36). Which is greater: 17 or x?
17
Let k = 25 - 32. Let a = -3.1 - 4.4. Let c = k - a. Is 1 at least as big as c?
True
Suppose 0 = -c + 4*t - 236, -2*c - 307 = -3*t + 180. Which is greater: c or -247?
-247
Let m be (-21)/28*(-32)/(-84). Which is smaller: m or 15/8?
m
Let c be (94/(-6))/(65/465). Let i = -112 - c. Which is bigger: 0 or i?
i
Let n = 24 + -26. Let p be 74*5/n*4/(-20). Is p at least 38?
False
Let f = -209 + 209. Is f less than 2/1115?
True
Let j be -4 + 5 + -2 + 200/(-70). Is j greater than -4?
True
Suppose -3*s = 3 + 3. Let x be -5 + 9/3 - (-3)/(-12). Is x smaller than s?
True
Suppose 5 = -4*j + 1. Let t(p) = -19*p + 135. Let q be t(7). Are q and j equal?
False
Let v be (-2)/(12*(-2)/21 - -1). Suppose 2*f - v = n, -3*f - 6*n + 30 = -3*n. Is 6 != f?
True
Let a be (4/2)/(6/84). Suppose j - 3*j - a = 0. Let m be j/6 - (-7)/21. Are m and -2 nonequal?
False
Let f(j) = -7*j - 16. Let x be f(-9). Which is greater: 46 or x?
x
Let a = -150 + 207. Let f be ((-1)/9)/(a/3). Which is smaller: -1 or f?
-1
Suppose -3 = -3*m, -4*m + 2*m = -2*b + 4. Let v = 0.5 - 0.529. Let k = 0.071 - v. Which is smaller: b or k?
k
Suppose 2 = -2*v - 4*f, -4*v + 4*f + 13 = 17. Which is bigger: 3/20 or v?
3/20
Let m = 359 - 342. Is m < 23?
True
Let j(m) = m**2 - 14*m - 46. Let z be j(13). Which is greater: -58 or z?
-58
Suppose 5*c - 12 = -2. Let t be 0/((c + -1)*-1). Is -3/10 greater than t?
False
Suppose -9*x + 13*x - 39 = 3*i, 0 = 4*x + i - 51. Is x >= 23/2?
True
Let v(l) = -25*l + 40. Let j be v(-3). Is 344/3 > j?
False
Let l = -347 - -2779/8. Is 0.36 greater than l?
False
Suppose -9*y + 14994 = -43*y. Is -440 bigger than y?
True
Let c(w) = 2*w - 6. Let z be c(5). Suppose y + 2*y - 65 = l, z*y - 268 = 4*l. Let k = l + 339/5. Does -1 = k?
False
Suppose -6*i = -8*i + 82. Let q = i + -163/4. Is q >= 3?
False
Suppose -u + 99 = -3*o, -3*o - 2*u - 46 - 62 = 0. Which is smaller: -33 or o?
o
Suppose t + 228 = 5*x - 13, 0 = 5*x + 3*t - 237. Suppose -5*u = -u - x. Is u smaller than 10?
False
Let m(d) = d**3 - 11*d**2 + 17*d - 66. Let l be m(10). Which is bigger: l or 90/23?
l
Let s = 2 + 1. Suppose 0 = -14*x + 16*x - 10. Let t be (2 + (2 - x))/((-2)/4). Is t smaller than s?
True
Suppose 2*r + 4 = -2*r. Let a be r/5 - 42/(-60). Let s(d) = d**2 - 11*d + 20. Let o be s(9). Which is bigger: o or a?
o
Let p(a) = -6*a + 2. Let b(m) = m. Let g(t) = 5*b(t) + p(t). Let d be g(-13). Suppose -d = 3*q + 2*w, -3*q - 13 = -w + 11. Is q not equal to -0.1?
True
Let y(u) = -u**2 + 6*u - 2. Let f be y(4). Let i = f - 5. Let r be 6/5 - 24/(-40). Do i and r have the same value?
False
Let h be -1*2 - (-120)/51. Let j = h + 5/34. Let r = 2.49 + -0.49. Is j less than r?
True
Let a be ((-46)/12305)/(1/(-5)). Which is smaller: a or 0?
0
Let b = -2.09 + 2. Let j = 0.01 - b. Are -6/5 and j equal?
False
Let c = -0.059 + 0.199. Let q = c + -0.23. Which is greater: q or -1/4?
q
Suppose 0 = -4*n + 3*n + 1. Let k be (-249)/(-10)*2 + -3. Let i = k + -47. Are i and n equal?
False
Let s = -391 - -391.165. Is s less than 0.1?
False
Let t = -28 - -48. Suppose 5*m - n - 96 = 0, -3*m - 9*n = -13*n - 44. Is t != m?
False
Let p = 636217497886/4935 - 128919453. Let c = -4/235 - p. Let a = 6/7 - c. Is -2 >= a?
False
Suppose 2*k + d = 2116, -3*k + 4*d + 3152 = -0*k. Which is greater: k or 1055?
k
Let a = 613 - 554. Which is bigger: a or 55?
a
Let z = -85 - -64. Let f be ((-2)/13 + 0)/(5 + z). Which is smaller: f or 0?
0
Suppose 4*g - 10 = -2*x, 8 = 5*g + 4*x - 12. Is g <= 12/197?
True
Let g = 3.47 + 0.13. Let k = g - 4.6. Which is bigger: k or 0.5?
0.5
Suppose 34 = -5*m + 154. Is 4 less than or equal to m?
True
Let p = 21.228 - 17.07. Let d = p - 0.158. Let n = -3 + 2.6. Which is bigger: d or n?
d
Let z = -140.909 + 140. Let q = 0.091 - z. Which is bigger: q or -9?
q
Suppose 9 - 33 = -3*i. Let v = 0.557 + 4.443. Is v != i?
True
Let j be 665/(-28) - 1/4. Let b be ((-6)/(-18))/((-2)/j). Suppose 2*t - b*t = 6. Is -2 at least as big as t?
True
Let i be (162302866/84)/((-1180)/134415). Let g = 220096242 + i. Let k = g - 1/472. Is k at least -3?
True
Let u = 676 - 798. Is -122 less than or equal to u?
True
Let g be (-323)/(-34) + 1/2. Suppose l - g = -5*n + 6*l, 1 = -4*n + l. Is n greater than 0.1?
False
Let w = -15 + 14. Suppose 0*v - 84 = -4*v. Let k be 28/33 + (-14)/v. Which is smaller: w or k?
w
Let x(o) = -o**2 - 5*o + 2. Let g be x(-5). Suppose -q - u + 12 = 0, -u + 6 = g*q - 5*u. Which is greater: 8 or q?
q
Suppose -2*w + 0*w = x, 4*w + 8 = 0. Is x less than 37/9?
True
Suppose -3162 + 3168 = 3*i. Which is smaller: 10/7 or i?
10/7
Let m = -3 + -5. Let a(x) = -x**3 - 7*x**2 + 7*x - 3. Let i be a(m). Let c(k) = -k**3 + 6*k**2 - 2*k - 7. Let o be c(i). Do o and 6 have the same value?
False
Let z = 27.5 + -27.6. Is z <= -216/5?
False
Suppose 2*l - 3*m = 3*l + 12, 0 = -4*m - 16. Let f = l - -2. Suppose -f*a - 11 = 3. Is -8 greater than a?
False
Let s = 1318 + -168701/128. Which is greater: 1 or s?
1
Let t = -14 - -17. Suppose t*i - 87 = -0*j + 4*j, -j = 0. Suppose 0 = 5*h + i + 6. Does h = -9?
False
Let g be ((-208)/(-28) - 7)*-4. Are -1 and g un