7) + 4 + -1. Let o be w(p). Suppose -4*x = 4*k + 24, 2*x - 5*k + 18 = 6. Is o less than x?
False
Let q(w) = -w**2 - w + 19. Let o be q(-13). Which is smaller: o or -2/7?
o
Suppose -2*r - 4*n - 704 = 0, 6*r = r - 4*n - 1790. Is -358 less than r?
False
Let a = -57 - -58.9. Let c = 2 - a. Is 8 bigger than c?
True
Suppose 9*b - 11*b + 237 = -k, -b + k = -120. Which is greater: b or 118?
118
Let c be 27/(1 + -4)*(47 - 46). Are c and -91/10 equal?
False
Let f(v) = -v**3 - 10*v**2 + 13*v + 24. Let g be f(-11). Is 3 bigger than g?
True
Suppose 5*l + 4*s - 17 = -0, -4 = 2*s. Suppose -3*n - 2*n = -l. Suppose 20 = -4*a, v - 4*a + 2 - 5 = 0. Which is smaller: v or n?
v
Let h = 165.3 - 165. Is 59 at least as big as h?
True
Let l be ((-10)/(-15) - 1)*15. Let t be (4 - (-86292)/(-21775))*l. Let s = 14/65 + t. Which is smaller: -1 or s?
-1
Let w = -38998 - -391051/10. Suppose -3*a - 514 = 4*n - 197, 210 = -2*a - 4*n. Let u = a + w. Is u >= 1?
False
Let p = 97792/2712581 + -2/16243. Is p <= -1?
False
Suppose -4*r - h = 15 - 0, 21 = -5*r - 2*h. Let u(o) = -o**2 - 13*o - 9. Let a be u(-7). Let d be a/(-22)*8/r. Is d at most as big as 13/3?
True
Let x = 3 - 2. Suppose 3 - 7 = -2*f. Suppose -4*a - z + 7 = -0*z, f = 5*a - z. Is a greater than x?
False
Let p = -53 - -29. Let r = p + 30. Which is greater: r or -2?
r
Let h be (-104)/(-6)*87/116. Is 14 >= h?
True
Suppose -5*b + 2*r + 54 + 131 = 0, b + 2*r - 25 = 0. Is 35 at least b?
True
Suppose 19*f + 6 = 21*f. Let t be ((-425)/(-135))/(31/f). Let l = 6/31 - t. Which is smaller: -1 or l?
-1
Let l = -1354 + 1347. Which is smaller: 1 or l?
l
Let s be 636/(-60) + 10 + 12/70. Is s less than or equal to -17/4?
False
Suppose 3*l + 4*q - 19 = 2, -2*l + q = -3. Suppose d - 40 = -l*d. Let p = 23 - 11. Are p and d nonequal?
True
Let w = -1 + 5/9. Let p be -4 - (14 - 1) - 1. Let v = p - -17. Are w and v unequal?
True
Suppose z + 39 = -6*a + 10*a, 0 = -4*z + 3*a - 117. Which is smaller: -26 or z?
z
Let t(s) be the third derivative of -3*s**4/4 - s**3/3 - 2*s**2. Let d be t(-1). Let z be (-148)/d - (-3)/12. Which is smaller: z or -10?
-10
Let i = 23.11 + -23.51. Do 38 and i have the same value?
False
Suppose -2*w = -9*w + 14. Let y be 3/w*30/9. Which is smaller: y or 7/2?
7/2
Suppose 2*c - 3*c = 0. Suppose -v - 4*v = c. Suppose 0 = k - 2*t - v*t - 11, 28 = 4*k - 4*t. Is k >= 5?
False
Let w be (0 + 1)/(27/(-12)). Suppose 9*l = 2*l + 7. Which is greater: l or w?
l
Let v(a) = 8*a**2 - 41*a + 5. Let h be v(5). Which is smaller: 10/71 or h?
h
Let b(o) = -70*o - 7. Let h be b(-2). Is h at most 132?
False
Let y = 0.11 + -1.11. Let v(d) = -d**2 + 8*d - 20. Let f be v(6). Is y greater than or equal to f?
True
Let t = -51 - -52. Let u be -7 - t/((6/(-8))/3). Which is smaller: u or 15?
u
Let d = 871 - 867. Which is smaller: 32/7 or d?
d
Let y(x) = x**3 - 6*x**2 - x - 5. Let h be y(5). Let i = h + 36. Which is bigger: i or 2/115?
i
Suppose 0 = -7*v + 2*v - 2*i - 29, 0 = -2*v + 5*i. Is v smaller than 8?
True
Let o = 192 + -189. Let f = -0.102 - -0.042. Which is bigger: o or f?
o
Let u be 9/6*(-12)/(-9). Let v be (40/(-12))/(u/6). Suppose 5*l + 55 = 10. Is l greater than v?
True
Let t = 19 - 35. Let y be (-14)/(-16) - 2/t. Let g be (-4)/(-10) + (-2)/4. Is g >= y?
False
Let x(b) = 20*b - 6. Let r be x(2). Which is smaller: r or 248/7?
r
Let v(z) = -z**3 + 27*z**2 - 2*z + 54. Let h be v(27). Is h bigger than 6/37?
False
Let j = -110.4 + 103. Let d = j - -9.4. Which is bigger: d or -0.04?
d
Let a be ((-33)/130*-8)/(48/600). Which is smaller: 26 or a?
a
Suppose 4*t - 12 + 4 = 0. Suppose 10*y - 12*y + 6 = 0. Suppose t*f = y*l - 10, -4*f + l = 4*l - 16. Is 2/3 < f?
True
Let x = 123 - -296. Are x and 0.1 equal?
False
Let d(x) = -x**2 - 10*x - 8. Let w be (-3)/(9/42) + (-6)/(-3). Let u be d(w). Which is greater: u or 1?
1
Suppose -2*a = -8 - 6. Suppose 4*v = a*v + 12. Which is bigger: -1 or v?
-1
Let p be ((62/4)/((-6)/12))/(-1). Suppose r - 68 = p. Which is smaller: r or 0.1?
0.1
Suppose 0 = 3*p + 2*r - 37, 3*r - 51 = -3*p - 12. Let w = p - 40. Is w smaller than -29?
False
Let z = 9 + -5. Suppose -z*o + 82 = -2*f, -f - 1 - 4 = 0. Does 18 = o?
True
Suppose 901 = 17*w + 918. Which is greater: 10/247 or w?
10/247
Let x be 4/(-18)*9/24. Let k be 5*18/15 - 7. Do x and k have the same value?
False
Let p be 2 + 0 + 8*-1. Suppose 3215*o = 3205*o - 40. Is p smaller than o?
True
Suppose 5*g = 2*u + 28, -3*u - 24 = -3*g - 0*g. Let m(t) = -6*t. Let l be m(-3). Suppose 2*r - g = -l. Which is smaller: r or -5?
r
Let d = 112/15 - 1/15. Let o(j) = -j**2 + 10*j - 2. Let b be o(9). Which is smaller: b or d?
b
Let c(i) = -6*i + 145. Let l be c(21). Which is greater: l or 109/6?
l
Let a = -756 - -224530/297. Which is smaller: a or -6?
-6
Let w(k) = -4 + k + 2 + 1. Let j be w(-4). Let a = -8153 - -8146. Which is greater: a or j?
j
Let h be -2*(6/19)/((-1)/(-1)). Let q = h - -189/209. Which is greater: q or 1?
1
Let h(z) = -z**3 + 19*z**2 - 20*z + 37. Let a be h(18). Is 8/233 less than or equal to a?
True
Suppose -2*r - 55 = -5*h - 4*r, -3*h - 4*r = -33. Do 11 and h have different values?
False
Suppose -46 = -4*x + 2*c, 3*x - 5*c - 61 = -x. Let h = 0 + x. Let m be (18/12)/(h/(-4)). Is 0 > m?
True
Let s = -0.29 - -3.39. Let z = s + -0.1. Suppose 0*i = i. Are i and z nonequal?
True
Let q be (6 + 1 - 7)*-1. Which is greater: -1/120 or q?
q
Let c = 337 - 341. Let i be 2 - ((2 - 0) + 1). Is c bigger than i?
False
Let t = 2229 + -1457. Does t = 772?
True
Let u = -5 + -1. Let g = -6.6 - u. Let r = 0.7 + g. Is r less than -8?
False
Suppose 5*i + 5*f - 20 = 0, -i + 2*f = -3*f + 26. Let v(m) = -2*m + 11. Let l(j) = j**3 + 9*j**2 + 7*j - 2. Let q be l(-8). Let b be v(q). Is b less than i?
False
Let t = -501.3 + 501. Is -0.72 <= t?
True
Suppose 60*a - 12 = 72*a. Which is greater: a or -43/20?
a
Let w(z) = 13 - 9 + 20*z - z**3 - 21*z + 4*z**2. Let u = -10 + 14. Let s be w(u). Which is greater: s or 1?
1
Let c be 2/((18/15)/3). Suppose -2*i = -c*n - 28 + 2, 0 = -2*n - 8. Let u be 2 + -3 - -1*3. Which is smaller: i or u?
u
Let n(v) = v**3 + 19*v**2 + 17*v - 18. Suppose -3*u + 102 = j - 6*j, 0 = -j - 3*u - 6. Let f be n(j). Is 7/11 at least as big as f?
True
Suppose 0 = 4*n + n + 3*v - 298, -v = 3*n - 182. Let y = 249/4 - n. Which is greater: 39 or y?
39
Let k be (-11 + 3)/4 + 4. Suppose 2 = 3*p + 2*y - 2, y - k = -p. Which is bigger: -5/9 or p?
p
Suppose -3*v + 3*g + g + 8 = 0, 4*g - 40 = -3*v. Suppose -5*c = -10*c - 3*x - v, 2*c + x = -3. Is c >= -1/20?
False
Let b = -345 + 247. Which is greater: b or -101?
b
Let k(n) = 42*n - 1643. Let r be k(41). Let g = 0 - -1. Which is smaller: r or g?
g
Let s be (-3)/12 + (-897)/(-4). Let o be s/198 + (-10)/45. Let p be 14/10 + 2/(-5). Does o = p?
False
Let l = -198 - -122. Is -75 at most l?
False
Let q = -0.08 + -58.22. Let t = q - -55. Let i = -1.6 - t. Is i < 2/5?
False
Let f be (-4)/3*(9 + 312/(-32)). Let r be 2 - (0 + 1 + 4). Let l be r/(-12) - (-22)/(-56). Do l and f have the same value?
False
Let p = -11.9 + -0.1. Let q = 1 - 13. Let o = q - -14. Is p at most o?
True
Let v be 5/(-10) + (-2)/(20/(-1135)). Are 113 and v equal?
True
Let g be -1 + (-447)/(-15) + 1/5. Is 28 less than or equal to g?
True
Suppose -9*l - 5*x + 35 = -12*l, -4*x + 4 = 0. Which is smaller: -19 or l?
-19
Suppose -5*b + 5*i + 32 + 3 = 0, -2*i = 2*b - 10. Suppose -4*c + 2 = -b. Suppose 0 = 5*g + c + 3. Which is bigger: g or 1/3?
1/3
Let r be (3 - 6/30*5) + -60. Which is greater: r or -57?
-57
Let a = 4.9 + -0.6. Let x = 4.4 - a. Which is greater: -2.2 or x?
x
Suppose f + 3 = 2*f. Let i be f/(-6) + 1/(-2). Let u be -1*(-3 - 9/(-3)). Which is smaller: i or u?
i
Suppose -c = -2*c. Let k be ((-1824)/(-45))/(-1 - 300). Let p = k + 10/129. Which is bigger: c or p?
c
Let o = 1.25 + -0.05. Let x = 740 - 739. Let l = x - o. Is l not equal to -3?
True
Let n be (975/42 - -4) + (-1)/(-2). Is 28 equal to n?
False
Let k = 538 + -26887/50. Is -1 bigger than k?
False
Let t(m) = -m**3 + 8*m**2 + m - 18. Let p be t(8). Let z be (2/6)/(-1 - p/12). Is -3 bigger than z?
False
Let x(h) = -h**2 - 10*h - 9. Let t be x(-6). Let z be 732/t - (-1)/5. Let o be (-14)/z + 90/(-28). Do -3 and o have the same value?
False
Let l be (-3362)/18 - (-1)/(-36)*8. Is 0 less than l?
False
Let b = -18 + -1.