 greater: q or v?
v
Suppose -11*a + 3 = -14*a. Suppose 0 = -2*n + 1 - 3. Is n at most a?
True
Let l(f) = -f**3 - 11*f**2 - 14*f - 44. Let h be l(-10). Let u = 0.1 - 0.2. Which is greater: h or u?
u
Suppose -3*x + 48 = -9*x. Let y be 4 + x - -3*4/6. Is y != -2?
False
Let b be (-12)/(-21)*(-21)/(-30). Which is bigger: b or 147?
147
Suppose 0 = -2*h - 3 + 7. Suppose 4*u - 6 = h*u. Suppose -s + u = -0*s. Which is smaller: s or 7/2?
s
Let t = 2.27 + -2.37. Which is smaller: 59 or t?
t
Let d(y) = y + 12. Let m be d(-10). Let r(c) = 4*c**2 - 6*c - 3*c**2 - 3*c**2 - 5 + 3*c**m. Let g be r(8). Is g bigger than 10?
True
Let d(x) = -6*x - 16. Let v be d(-11). Suppose 5*g = 4*j - 40, -g + v = 5*j + g. Let n = 17 - j. Are n and 8 nonequal?
True
Suppose 2 - 14 = 4*v. Let x(p) = -2*p - 6. Let f be x(v). Is f at least 4?
False
Suppose -5*l = -19 - 41. Let c be 40/(-75)*3/l. Let b be 2/(-4) - 4/8. Is c != b?
True
Let f = -42 + 94. Suppose -3*t = -2*x + 24 - 75, -4*t = -2*x - f. Let o = x - -23. Which is bigger: o or 2/5?
2/5
Suppose 2*n - 2*o - 2*o = 54, n = 5*o + 30. Suppose -6*f + f = n, 4*f + 23 = -q. Is -3 less than q?
False
Suppose 0 = -x + 6*x - 5. Suppose -6*y + 11 = 5*y. Let c be 3*(y + 14*1/(-15)). Is x at most as big as c?
False
Suppose x - 8*x + 25*x = 0. Which is smaller: x or -8/9?
-8/9
Suppose -4*s - 4*c = 40, -3*s + 5*c - 8 = 22. Let y = -13 - s. Is 4 < y?
False
Let o = 1/81 + -167/405. Is -2.1 greater than or equal to o?
False
Let d be (2 - 1)*-5*20/4. Let g = 10 + -36. Is d less than g?
False
Let c = 1682 + -1680. Suppose 4*f = f - 2*d - 25, -3*d = f + 13. Let g be -1*(f/4 + 2). Is g bigger than c?
False
Let o be 3 + (-3 - -2 - 10). Do -8 and o have different values?
False
Let r = 143249815/41 + -3492811. Let l = -1087 + r. Is -1 bigger than l?
False
Let f = -63.521 + 77.51. Let l = -0.011 - f. Are l and 0.1 equal?
False
Suppose 0 = 3*v - 8*v - 30. Let w be (8/(-6))/(v/27). Suppose w*h - 3*h = 0. Which is bigger: -1/4 or h?
h
Let i(r) = 4*r + 12. Let w be i(-3). Let t = 1444 + -2141. Let d = t - -38333/55. Which is smaller: w or d?
d
Let v be 13 - ((-14526)/(-40))/27. Which is bigger: v or -1/9?
-1/9
Let a(u) be the second derivative of -u**3/3 - 21*u**2/2 - 9*u. Let o be a(-12). Suppose g + 4*h = -10, 3*g - o*h + 52 = -4*h. Is g less than -19?
False
Let x = -4 + -2. Let l = 15.11 - 15. Let o = -0.31 + l. Which is smaller: o or x?
x
Suppose -22 = 2*o - 5*i, 17 = -o - 4*o + 3*i. Let a = 7 + -5. Let d be a/(-3)*(-3)/9. Which is bigger: o or d?
d
Let w = 46 - 43. Suppose 0*u + 15 = -w*c - 5*u, -15 = -4*c + 5*u. Is 1/152 less than c?
False
Let h be -1*(-4 - -3 - -5). Suppose 3*i + 17 = -19. Let w be ((-3)/(-6))/(2/i). Is w smaller than h?
False
Let t = 21 - 18.8. Let v = t + -5. Is 1 greater than v?
True
Suppose -5*j - 3*q = -j + 60, -3*j - 2*q = 46. Let r be j/(-63) - (-22)/(-28). Let f = -6 - -5. Is f > r?
False
Let g = -7 - 55. Is -64 smaller than g?
True
Suppose 5*l - 2*u + 16 = -19, -2*u - 19 = l. Let o be (l/6*-4)/(-2). Let p be (12/o - -2) + 2. Is 2/7 > p?
True
Let l(v) = -v**3 - 16*v**2 + 15*v - 33. Let f be l(-17). Let k = -18 + 20.4. Which is smaller: k or f?
f
Let f(n) = -n**2 + 6*n + 139. Let a be f(-9). Let p(x) = x**3 - 9*x + 8*x + x**2 + 2*x**2. Let c be p(-3). Which is greater: a or c?
a
Let g = 20 - 6. Suppose 3*i = -4*n + 18, 4*i - g = 3*n - 5*n. Is n < 3?
False
Let t = -1/2132 - -25631/100204. Is 1 at most t?
False
Let j = -1389 - -1393. Let c be 4/14 - (-38)/14. Which is bigger: j or c?
j
Let z = 173222/9 - 19276. Let f = z - -29. Does f = 0?
False
Let m = 14.0343 + -0.0343. Which is greater: 7/5 or m?
m
Let b(p) = -p + 8. Let z be b(4). Let k(m) = -m**2 + 7 + 3*m + 2*m + 2*m - z*m. Let s be k(4). Is s at least as big as -6?
True
Let m be (-2)/(-3)*1296/32. Suppose 0 = d + 3, 0 = 5*z + 3*d + d + m. Suppose 0 = n - 0 + 3. Is n not equal to z?
False
Let p = 0.04 + -3.04. Let r = 2.9 + p. Let s = 18 + -20. Which is smaller: s or r?
s
Let l = 14064/11 + -20294330/15873. Which is smaller: 1 or l?
l
Let u(r) = 7*r**2 - 14*r - 32. Let c(m) = 6*m**2 - 14*m - 32. Let x(q) = -6*c(q) + 5*u(q). Let y be x(16). Which is greater: -2/259 or y?
y
Let t = 168.6 - 168.759. Which is smaller: -2/17 or t?
t
Let f(c) = 5*c**2 + 12*c + 2. Let r be f(-1). Which is greater: 22 or r?
22
Suppose 20 = -m - 2*i, 2*i + 40 = -4*m + m. Suppose 0*s - 10 = -2*s. Suppose -5*u = o, 4*o + 32 = -s*u + u. Is o greater than or equal to m?
True
Let a be 5 + 0 + 4206/(-840). Is a greater than or equal to 0?
False
Suppose -26 - 22 = -8*a. Suppose -a*d = -2 + 14. Let i be 205/(-90) - 1/d. Is i greater than or equal to -2?
True
Let h be (3 + 11)/2 + -455. Is h bigger than -447?
False
Suppose 8*o - 10 = 6. Let w be (-4)/((-12)/(-43)) + o/2. Is w greater than -14?
True
Suppose 0 = -53*w - 43 - 10. Is w greater than 48.7?
False
Let w = -108 - -109. Is 7 bigger than w?
True
Let u = 0.6 - 14.6. Let r = u + 14. Let m(x) = -x**3 - 6*x**2 - 11*x - 8. Let g be m(-4). Does r = g?
False
Suppose 0 = -2*x - a + 526, 14 = x + 2*a - 243. Is x <= 266?
True
Suppose -3*j = 6*g - 5*g - 14, 4*g = 4*j + 8. Let v(y) = -6*y**2 - 1. Let a be v(1). Which is smaller: a or j?
a
Let t(x) = -x**2 + 7*x + 75. Let r be t(-8). Is -43 < r?
False
Suppose -3 = 4*z + 5, z = -2*n + 4. Suppose 0 = 5*s - n*s - 4. Suppose -s*o - 2 = 2. Is -2 less than o?
False
Let w be (-14)/154 + (-15)/(-44). Which is smaller: w or -151?
-151
Suppose 11*p = 6*p + 5. Let k be ((-7)/((-7)/18))/p. Let g be ((-27)/k)/(5/(-2)). Which is bigger: 2 or g?
2
Suppose 4*a + 54 + 10 = 0. Let i be 4/(-6)*(-66)/a. Suppose -2*j = -3*j + 2*v - 5, 4*v = 4. Is j greater than i?
False
Let t(z) = -z**3 - 7*z**2 - 5*z + 4. Let w be t(-6). Let x be ((-1)/w)/(9/72). Suppose -i = -0*i + 2*c + x, -4*i = -2*c - 34. Is 7 at most i?
False
Let m = -368 - -378. Which is smaller: 18 or m?
m
Let o(m) = -m**3 - 8*m**2 - m - 4. Let k be o(-8). Let l(g) = g**2 + g + 6. Let r be l(k). Are r and 1 equal?
False
Let b = 179 + -125. Is 56 greater than b?
True
Let j = 106 - 38. Which is greater: 66 or j?
j
Suppose 5*t + 1100 = -8*b + 3*b, 5*t = -2*b - 425. Let y = 318106/5 + -63397. Let u = y + b. Which is smaller: 0 or u?
u
Let y(n) = -4*n - 16. Suppose 3 = 2*g + 11. Let m be y(g). Let l be 9/10 + (-2)/5. Which is smaller: m or l?
m
Let w be (-5 - (-76)/12)/(13/2). Is 0 smaller than w?
True
Let q = -37 + 41. Suppose 3*p = 23 + q. Is 10 >= p?
True
Let q be 2/7*(-4)/12. Let w be (-1)/(-6) - (-242)/(-12). Let s = -21 - w. Are s and q unequal?
True
Let f = -2.637 - -2.7. Let r = f - 0.163. Which is smaller: r or 24?
r
Let p = -136.3 - -129. Let u = p - -13.3. Which is bigger: -1 or u?
u
Let r = 3.997 + -4. Let y = r + -0.027. Is 1/4 != y?
True
Let i = -193 + 192.7. Which is smaller: i or 19?
i
Let q = 172 - -25. Is q not equal to 592/3?
True
Let h(o) = -6*o**2 + 5*o + 5. Let j be h(-2). Let i = 27 + j. Which is bigger: -5/2 or i?
i
Let j = 30679/1026059 + -2/10159. Let y = j + -511/202. Which is greater: y or -2?
-2
Let v be 1*(-20 + 20)/((-2)/1). Is v at most 3/62?
True
Let q(j) = j - 2. Suppose -1 + 5 = 2*k. Let a be q(k). Which is greater: 5/3 or a?
5/3
Let x = 0.04 - 0.2. Let a = x - -0.25. Which is smaller: a or 0.5?
a
Let n(o) = -9*o + 1. Let i be n(-1). Suppose 3*a - 32 = 4*t - 7, a - 5*t + i = 0. Let k = 12 - a. Is k < -4?
False
Suppose -8*w = -7 - 33. Suppose -3 = -w*v - 2*t - 4, -5*t = -4*v + 19. Which is greater: v or -1/32?
v
Let j be -1 - 3/(-5) - (-864)/90. Is 9 <= j?
True
Let h = 1.35 + -1.35. Is 123 bigger than h?
True
Let d = -2504 + 2503. Let u = -2528/11 + 230. Is d bigger than u?
False
Suppose -k - 4 = -4*a, k - 26 = -3*k + 2*a. Let o = -20 + k. Which is smaller: o or -1/2?
o
Suppose 2*k = -8 - 38. Let d = k - -24. Let c be (1/6)/((-3)/(-9)). Which is smaller: c or d?
c
Let v = 14 - 16. Let i be (-1 - -1 - 1)*v. Suppose -7*p + i*p = -15. Is p less than or equal to 4?
True
Let s = 32.96 + 0.04. Let r = 35 - s. Which is greater: r or -0.5?
r
Let z(d) = d + 16. Let l be 3*(-4)/(24/26). Let g be z(l). Suppose -b + 0*b + 4*k + 10 = 0, -3*b = -k - 8. Is b greater than g?
False
Let t(l) = l**2 + 4*l - 5. Let f be t(-5). Let j be 5/3 - (-2)/6. Let w be ((-2)/(-4)*j)/(-1). Which is smaller: f or w?
w
Suppose j = -x + 12, 0 = -2*x - 3*x + 5*j + 30. Suppos