-9). Which is greater: m or 1?
m
Let j = 2 + -4. Suppose -22 = -3*k - 7. Suppose 4*v = k - 1. Is j at least v?
False
Let o = -828 + 15738/19. Which is smaller: o or 1?
o
Let r = 482 + -10132/21. Are 1 and r equal?
False
Let k be (-165)/(-99)*6/5. Are k and 8/7 equal?
False
Let w be -13*4*(-1)/2. Is 27 smaller than w?
False
Suppose -13 = 4*b + j - 45, 0 = -b + 5*j - 13. Let m = 15 - 1. Suppose -2*x + 3*k - 7*k = -m, -3*x = -k + b. Do -3 and x have the same value?
False
Let w = -25 - -38. Suppose 3*y - y - f = 6, 2*f = -y + w. Suppose -2*z - 1 = -y. Do z and 2 have the same value?
True
Let h = -4 + 3.8. Let l = -10 + 9. Which is greater: l or h?
h
Let j(u) = -u**2 - 7*u - 6. Let a be j(-6). Which is smaller: a or 3?
a
Suppose 4*h + 0 = 4. Suppose -u - h = -l - 0, 4*l = -4*u + 20. Suppose 2 = 5*t - l*t. Which is smaller: 2 or t?
t
Suppose -9 = -3*r - 6. Suppose 6*x = 5*x + r. Is 8 greater than x?
True
Let v = 0 + 1. Let z be (-1)/2 - 3/(-2). Is z less than v?
False
Let d = 0 - -3. Let o = 3.3 - d. Let h = -0.2 + o. Is h < 1?
True
Let v be (12/(-15))/(4/(-30)). Let z be (8/78)/(v/9). Is 1 at most z?
False
Let f(j) = j**2 - 12*j + 6. Let h be f(11). Which is bigger: h or -2?
-2
Suppose 4*p - 3*n = -55, p + 12 = -2*n - 10. Which is bigger: p or -17?
p
Let d(x) = 5 - 6 - 1 - x. Let w be d(-4). Suppose 0 = -0*p - 4*p + 8. Is w at most as big as p?
True
Let v = -34 - -30. Which is smaller: v or 0.5?
v
Suppose 4*d - 13 + 17 = 0. Which is bigger: d or 1/13?
1/13
Let n be ((-3)/(-1))/(-1 + 0). Let t(f) = -f + 4. Let q be t(7). Let i be (q/(-2))/((-12)/16). Which is bigger: n or i?
i
Let v = -24 + 25.3. Let u = -0.3 + v. Suppose 18*i + 33 = -39. Which is bigger: u or i?
u
Let l(s) = -s**3 - 7*s**2 - 8*s - 15. Let w be l(-6). Is -3 != w?
False
Suppose -4*h + 5*h = 3. Let v = h - 1. Let w(j) = -j**2 + 2*j. Let q be w(v). Is 4/3 >= q?
True
Let h be (-2)/(-6)*(-8)/((-16)/6). Is 2 at most as big as h?
False
Let a = -11 + 15. Let n be (2 - 0)/(-6 + a). Let z = 27/40 - 4/5. Which is bigger: n or z?
z
Let f(c) = 0*c**3 - 4*c + 1 - 3*c**2 + 0*c**3 + c**3. Let g be f(4). Let v = 145 + -1017/7. Is g smaller than v?
False
Let m be (-8)/6*(-6)/(-4). Let g(t) = -t**2 + 21*t - 23. Let j be g(20). Do m and j have different values?
True
Let p = -10 - -11. Which is smaller: p or 0.5?
0.5
Let n = -461/6 - -76. Is 3/4 <= n?
False
Let o be ((-8)/(-16))/(2/4). Do o and 3/29 have different values?
True
Let d be (-21)/(-56)*8/18. Let z(n) = -n + 1. Let w be z(3). Let g be ((-2)/4)/(1/w). Which is smaller: d or g?
d
Let c(n) = 4*n - 17. Let q be c(5). Is q not equal to 7?
True
Let i be 0 + -3 + (-1179)/(-12). Let f = -96 + i. Which is greater: f or -1/4?
-1/4
Let d be 2/(-8) + (-95)/4. Let f = 36 + d. Suppose -2*j + 7*j - 6 = 2*z, f = 4*z + 2*j. Do z and 3 have the same value?
False
Let s be 22/20 + 18/45. Which is bigger: 0.1 or s?
s
Suppose 0 = 4*y - 20 - 16. Suppose -u + 2*i - y = 0, 3*u - i + 10 = 8*u. Is u at least -2?
True
Let z = 5.8 + -6.3. Which is smaller: z or -7?
-7
Let g = 240.41 + -242. Let y = g - -0.65. Let w = 0.06 - y. Is 1/4 equal to w?
False
Let b be 3275/77 - (-2)/7. Let k = -43 + b. Let s = 3 + -2. Is s != k?
True
Let c = -0.01 - -2.01. Suppose -4*o - 3*v = 1 - 6, -v = 3*o - 10. Suppose 5*g + 3*m - 17 = -o, 0 = g + 4*m - 16. Which is smaller: c or g?
g
Let f(s) be the first derivative of -3*s**2/2 - 8*s - 2. Let u be f(-4). Are 4 and u nonequal?
False
Let d = 0.16 - 0.36. Which is smaller: -3/5 or d?
-3/5
Suppose 16*i = 12*i. Is i less than or equal to 1/4?
True
Let v = 27 - 16. Let y = v - 11. Are 1/2 and y equal?
False
Let i be (-5 - -7)/(4 - 1). Does i = 5/4?
False
Suppose 0 = f - 2 + 5. Let d be (1/(-2))/(f/84). Let b be (-18)/d - 14/(-49). Which is greater: b or 1/4?
1/4
Let n be 6/(-4)*2/(-6). Let f(u) = 4*u**2 - u + 1. Let t be f(1). Suppose -4*j - k - t*k = 0, j + k = 0. Is n at least j?
True
Suppose -5*d + 16 = -d. Let j be (-58)/56 + d/14. Let v = -5 - -4. Is v at least as big as j?
False
Let l(r) = 2*r + 23. Let f be l(-10). Suppose 0 = -5*k + f - 8. Let n = 3 + -6. Is n > k?
False
Let k be 99/27 - (-4)/(-6). Suppose -k - 1 = -4*m. Is -0.3 > m?
False
Let h(v) = v**3 + 3*v**2 - 6*v - 4. Let r be h(-4). Suppose 3*z - q = 2, -r*q + 24 = 4*z - 0*q. Which is smaller: z or 1?
1
Let g(y) = 4*y**3 - y**2 + y - 1. Let o be g(1). Let p(k) = -k**3 + 2*k**2 + 4*k - 4. Let w be p(o). Is -1 at most w?
True
Let w = 62 - 52. Are 8 and w equal?
False
Let d(p) be the third derivative of p**6/120 - p**5/20 + p**4/24 + p**3/2 - 7*p**2. Let h be d(3). Is h <= 3?
False
Suppose -3*k - 5*u = -35, -3*k + 4*u = 5*u - 55. Suppose k = -2*l + 7*l. Let s be (-6)/l*(7 - 5). Is -3/2 smaller than s?
False
Let a = 156/139 + 9716/1251. Let y = 809/90 - a. Which is smaller: y or 0?
0
Let q be 1/(-3) + (-22)/(-12). Let r = -29 - -32. Are q and r nonequal?
True
Let h(n) = 3*n**2 - 5*n + 3. Let k(g) = -10*g**2 + 16*g - 9. Let u(l) = -7*h(l) - 2*k(l). Let w = -5 + 8. Let z be u(w). Which is smaller: z or 1?
z
Let k be 13/(-14) - (-9)/18. Is k less than 4?
True
Let w = 848/77 - 72/7. Is w at least as big as 1?
False
Let l = 542 - 54743/101. Which is greater: l or 0?
0
Let h = 47.9 + -48. Do 1/21 and h have different values?
True
Let f be 0*(-1)/4*-2. Suppose -765 = -0*j - 5*j. Let n be (-8)/(-12) + (-120)/j. Which is smaller: f or n?
n
Let l(b) = -5 - 12*b + 22*b - 9*b. Let d be l(5). Which is smaller: d or -7/6?
-7/6
Let d be (-2)/1*5/(-2). Let h be (1 - d)*(-2)/(-6). Suppose 0 = -19*m - 12 - 7. Is m smaller than h?
False
Suppose -3*z = -7*z - 28. Let s = z - -2. Which is smaller: -4 or s?
s
Let v = 4 + -2. Suppose 0 = w + v*t - 0*t - 6, 3*w - 3 = -t. Which is greater: -2 or w?
w
Let k = 66 + -2044/31. Are 2 and k equal?
False
Suppose -2*x + 3*g = 28, -71 = 5*x - 3*g - 19. Is 5 less than x?
False
Suppose 0 = -c + 6*m - 5*m + 8, 14 = 4*c + 5*m. Suppose 3*l - c*l = -3. Which is bigger: 3/4 or l?
l
Let v = -3.53 - -1.53. Do v and 8 have different values?
True
Let z(t) = -t**3 + 7*t**2 - 6*t - 1. Let i be z(6). Which is smaller: -9/7 or i?
-9/7
Suppose -3*i + 6 = -3. Suppose 2*a = 10, 3*h - i*a = 6*h - 15. Let w be 0/(-1*2 - -4). Is w at least as big as h?
True
Let f = -1 + 2. Which is greater: 4 or f?
4
Let w = 1.18 - 2.98. Are w and 4 non-equal?
True
Let x = 0.3 - 0.2. Let i be (568/(-12))/(4/6). Let h = i - -354/5. Are x and h equal?
False
Let z(q) = -q**3 + 9*q**2. Let c be z(9). Let n = 1 - c. Is n > 5/7?
True
Let n = -109 + 107. Is -2 <= n?
True
Let k = 4 + -3. Let n = 7 + -4. Let o = k - n. Which is bigger: o or 1/2?
1/2
Suppose -2*r - 84 = r. Let q be 3/6 + 6/r. Suppose 1 = -l, -2*l = -4*c + l - 5. Which is bigger: q or c?
q
Let b be 4/6 - (-34)/(-6). Which is smaller: b or 0?
b
Let n be 26/(-6) - 4/6. Let p = 3 + n. Let f = -8 + 6. Is f <= p?
True
Let i = -8 - -8. Suppose 5*z - 2*t - 6 = i, -t = -z - 2*t - 3. Which is greater: -1/3 or z?
z
Let d(v) = -v**2 - 7*v - 9. Let w be d(-5). Let b = -10/3 - -136/39. Is w bigger than b?
True
Let s(b) = b**3 + 4*b**2 + b + 5. Let z be s(-4). Is z greater than or equal to -1/3?
True
Let c(z) = -z**3 - 8*z**2 - 8*z - 4. Let s be c(-7). Let b be s/(-3) - (1 - 1). Suppose -2*t = 2*t - 2*p - 2, -9 = 2*t + p. Which is smaller: t or b?
t
Let g = -2.2 + 2. Let d(s) = -s**3 - 3*s**2 + s + 3. Suppose 0*f = -4*f + 4*z - 16, 14 = -4*f + 2*z. Let m be d(f). Is m > g?
True
Let s(b) = 2*b - 9. Let i be s(7). Suppose -3*r = -5*u + 3*u + 2, i*u = 2*r + 16. Which is smaller: 5/2 or u?
5/2
Suppose -2*y = -4*p, 3*y - p = -6*p - 55. Let d = 11 + y. Which is bigger: d or -2/11?
d
Suppose -2*h + 0*h + 6 = 0. Suppose -y + p = h*y, 3*p = y - 11. Suppose 2*s = -3*s. Which is smaller: y or s?
y
Let h be (-38)/(-8) - (-6)/(-8). Suppose 2*s = -0*u - 4*u + h, -3*s + u + 6 = 0. Let b = s + -2. Is 1 at most as big as b?
False
Let j be 187402/(-94680) - (-2 + 2). Let c = -25/1052 - j. Let v = 14/9 - c. Is v at most as big as -2/7?
True
Suppose 2*p = -4*f - 0*p - 10, 4*f = -p - 5. Which is smaller: f or -1/4?
-1/4
Suppose -6 = -15*x - 36. Suppose 3*i - 21 = 3*h, 2*h + i - 2 = -4. Do h and x have the same value?
False
Let v = -0.7 - -1. Let u = -0.4 + 0.2. Let p = u + v. Which is smaller: p or -2/3?
-2/3
Let o(v) be the third derivative of -v**5/60 + 11*v**4/24 + 4*v**3/3 