reater: q or s?
q
Suppose 2*n = -4*p - 24, -p - 36 = 4*n + p. Which is bigger: n or 2?
2
Let l = 10 - 31/3. Let h be (-21)/(-27) + 2/9. Which is smaller: h or l?
l
Let u = -4654/5 - -926. Which is bigger: -4 or u?
-4
Let w = -20/51 + 1/17. Let j(s) = -s**3 + 6*s**2 - s + 5. Let h be j(6). Let r be (10 + -8)*h/3. Which is greater: w or r?
w
Suppose -3*j + 3 = -3. Let q be (-11)/(-4) - j/1. Suppose 6*g = 19*g. Is g equal to q?
False
Let d = 6 + -5. Let t be -1*(-6)/(-10) + d. Which is greater: 2/13 or t?
t
Let u = 97 - 487/5. Let i be ((-4)/5)/(4/20). Let j(v) = v**2 + 5*v + 5. Let f be j(i). Which is smaller: f or u?
u
Suppose 0 = -3*g - 1 + 10. Suppose 2*q - 4 = 2*l, g*q + l + 3*l = -1. Which is smaller: 2/7 or q?
2/7
Let j = -44 - -42. Is j at least as big as 8?
False
Let r(f) = -f**3 + 10*f**2 + 1. Let d be r(10). Suppose -25 = -s + 6*s. Let p be 2/3 - s/(-30). Does p = d?
False
Suppose 0 = -v + 2 + 19. Which is smaller: 20 or v?
20
Let z = -115 - -115. Are -27 and z unequal?
True
Let l be 6/21 - 233/7. Let v be 8/l - (-2)/6. Which is smaller: 0 or v?
0
Let h = 2.9 + -3. Do h and -1/10 have different values?
False
Suppose 0 = -3*m + 4*h + 20, -2*m = 3*m + 5*h + 25. Suppose -6*t + t + 3*d + 6 = m, t - 6 = 3*d. Do 0 and t have different values?
False
Let u be (-2 - (1 + -5)) + -1. Which is smaller: u or -1/13?
-1/13
Suppose 4*w - 4*v = 12, -3*w - 2*v = -6*v - 12. Suppose -4*u = -1 - 47. Let x = 11 - u. Which is bigger: w or x?
w
Let q = -3133/8 - -394. Is 3 at most q?
False
Let i(o) = -3*o**3 - 20*o**2 - 17*o + 2. Let r(t) = -t**3 - 10*t**2 - 9*t + 1. Let d(b) = -2*i(b) + 5*r(b). Let g be d(11). Which is bigger: g or -7?
g
Let n = -15 - -11. Which is smaller: n or -3?
n
Let x(h) = h**3 + 14*h**2 + 13*h. Let t = -29 + 16. Let a be x(t). Are a and 0 nonequal?
False
Suppose 0*t = -3*t + 3. Is t >= 2?
False
Let k = 0.05 - 0.15. Which is smaller: 0.02 or k?
k
Let z = -21 + 27. Is z at least as big as -1?
True
Suppose 0*j = -3*j - 18. Are -6 and j unequal?
False
Let g = 8 + -2. Let d be 3 + (1 - -1) + 2. Which is bigger: d or g?
d
Let w be (-28)/(-98) - (-51)/(-7). Suppose 4*h - 28 = 8*h. Are h and w nonequal?
False
Let i = 15 + -14. Which is greater: i or 2/91?
i
Let x(j) be the second derivative of j**5/20 - j**4/2 - j**3 - 7*j**2/2 - j. Let f be x(7). Suppose -4 = 3*m - 3*r + 2, 2*m + 5*r = 3. Are f and m unequal?
True
Let n = -3 - 4. Let p = 17 + n. Suppose -4*l = -5*f - p, -5 = 3*f + 2*l + 1. Is -3 bigger than f?
False
Suppose -2*o + 4 = 2*o. Let d be (o/3)/((-6)/(-18)). Let q be 2 + -2*1 + d. Which is bigger: -1/7 or q?
q
Suppose 0 = h + h + 3*k + 5, -3*k = 3*h. Suppose -2*p + 29 = 5*i, -h*p + 4*i = 15 - 5. Are 2 and p nonequal?
False
Let c = -3 + 2. Let t = c + 0. Which is smaller: t or 1/6?
t
Let m = -5 + 5. Suppose b - 5*t + 6 = m, 0 = 8*b - 3*b - 4*t - 12. Which is smaller: 1 or b?
1
Let x(n) = -n. Let z be x(1). Let l = -94 - -278/3. Is z greater than l?
True
Suppose 2*d + 2*d = 0. Suppose -3*n + 5*t - 7 = d, 0 = n - 0*n + t - 11. Suppose 0*w + n = -2*w. Is -2 equal to w?
False
Suppose -5*x - 2*t + 3 = 0, 0 = x - 2*t - 3 - 0. Suppose 0 = -3*q + x + 2. Let j be ((-1)/4)/((-9)/4). Which is smaller: j or q?
j
Suppose 5*z + 19 = -n, 3*z + 3*n = 7 - 28. Let m(q) = q + 7. Let p be m(z). Let c be 10/4 - (-2)/p. Is 2 < c?
True
Let x be 6/(-5)*(-20)/(-3). Let u = 4 + x. Is -3 >= u?
True
Let d = -44/35 - 1/7. Is d not equal to 0?
True
Let j(z) = -z**2 - 6*z - 7. Let t be j(-4). Which is smaller: t or 9/4?
t
Let v be (-25)/(-35) + (-2)/(-7). Let j = -0.2 - 0.1. Is j equal to v?
False
Suppose v + 3*b + 18 = 3, -2*v = b + 5. Which is greater: 2 or v?
2
Let m(b) = -b**3 - 3*b**2 + 3*b - 1. Let w be m(-4). Let v be 0 - w*(-4)/3. Suppose 2*f + 22 = -4*y, 4*f - v*y = 8 + 8. Is f bigger than -2/3?
False
Suppose c = -c. Let a = 6 - 4. Let b be a/10 + 34/30. Which is greater: b or c?
b
Let y = -12 - -18. Let o = y - 6. Is o less than or equal to 7?
True
Let t = -18 + 25. Suppose -5*i - h - 3*h = -24, 2*i + 2*h = 8. Does t = i?
False
Suppose 0 = 2*s + 20 - 4. Which is smaller: -7 or s?
s
Let d be 1*-3*2/3. Let i(b) = -7*b - 15. Let m be i(-2). Which is bigger: m or d?
m
Suppose 4*m + 4*x = 316, -6*m - 314 = -10*m - 2*x. Which is greater: 80 or m?
80
Let m = -155/2 + 79. Which is bigger: 2 or m?
2
Suppose 7 - 16 = -3*i. Suppose 0 = i*j + 5*n + 4 - 12, -24 = 4*j - 2*n. Is j greater than or equal to -2?
False
Let t be (-4)/14 + 4/(-35). Suppose -3*b = -2*a + 1, -4*a + 3*a = -4*b - 3. Is b <= t?
True
Let c(j) = -j**3 - 8*j**2 - j - 1. Let d be c(-8). Let v = d + -6. Let f = -1 - -2. Do f and v have different values?
False
Let i = -513/7 + 3999/56. Let d = -2967/5 - -4767/8. Let z = i + d. Is z greater than 2?
False
Let a be -3 - (-3 - 24/(-9)). Is -4 at most as big as a?
True
Let a(x) = x - 3. Let y be a(6). Is 1 > y?
False
Suppose 0 = 3*b + 4*u - 82, -3*b - 2*b + 4*u + 126 = 0. Which is smaller: 24 or b?
24
Let u be -1 - (0 + -1 + 0). Let d be (211/21)/((-2)/12). Let n = d - -60. Is u <= n?
False
Let w = 13 + -8. Let i(n) = n**2 - 5*n + 6. Let f be i(w). Are f and 5 nonequal?
True
Let b = -1/33 + 35/66. Is b greater than or equal to -2/3?
True
Let y(a) be the first derivative of -a**3/3 - 5*a**2/2 + 4*a - 2. Let o be y(-3). Is 10 > o?
False
Let b be -2*(3/2 + -1). Let v(t) = -t - 1. Let l be v(1). Let r be -1 + (1 - l) + -1. Do b and r have the same value?
False
Let f = -5 + 11. Let k = -9 - -8. Let n be k/(-3)*9/f. Which is greater: n or 0?
n
Suppose 3 = -5*a + c, 0*a - 3*a + 5*c = 15. Let l be 0 + (-4)/36*-3. Is l < a?
False
Let z(t) = -t**2 + 7*t + 1. Let w be z(7). Let r = 0 + w. Which is greater: 4/7 or r?
r
Let d = 2639/62 + -85/2. Is 1 < d?
False
Let y = -42 - -44. Does 10 = y?
False
Let n be 3 - (-1)/1*-4. Suppose -5*s + 18 + 2 = 0. Let d = 2 - s. Is n greater than or equal to d?
True
Let z = 20543/1386 - 164/11. Let l = -1/126 + z. Is -1 equal to l?
False
Let g be 392/(-100) - -3 - -1. Which is smaller: g or 0?
0
Let w = 97 + -94. Which is smaller: w or -8?
-8
Let p = 4.2 + -4.2. Let x be 2/5*10/8. Which is smaller: x or p?
p
Let q = -0.119 - -0.339. Which is smaller: q or 2/3?
q
Let c = 10 + -6. Suppose -8 = -2*m - 4, -2*x + 8 = c*m. Suppose -5*k = -2*t - 9, 6 = 5*t + 16. Is k not equal to x?
True
Let c(d) = 5*d - 10. Let k be c(4). Let y be -11 + k - 6/(-10). Is y greater than 0?
False
Let g = -1748657/66 - -26494. Let i = g - -3/22. Is i > 3?
False
Let n be 14*(3 + 14/(-4)). Let y = n - -7. Is -3/11 less than or equal to y?
True
Suppose -a - 5 = 5*f - 1, a + 2*f + 1 = 0. Which is bigger: 1/16 or a?
a
Suppose 0 = -6*z + 2*z + 8. Suppose -4 = -5*r - 19. Let y = z + r. Which is smaller: y or 0?
y
Let j = -227051 - -2041355/9. Let k be -2 - (-1)/(2/(-464)). Let s = k - j. Which is bigger: 0 or s?
0
Let r = 0.4 + -0.3. Suppose 2*v + 55 = -4*u + u, -65 = 2*v + u. Let a = v - -32. Which is smaller: r or a?
a
Suppose 7*k - 2*k - 10 = 0. Suppose -f = -0*f + k, 16 = -4*x - 4*f. Let h = -2 - x. Is h <= 4/5?
True
Let x be 1/2*(-20 - -22). Is -6/17 smaller than x?
True
Let m = -134 + 673/5. Let x be 85/60 + -2 + (-1)/(-4). Is x != m?
True
Let s(l) = -2*l + 3. Let d be s(-3). Let u be (-3)/d - 2/3. Is u equal to -3?
False
Let c(l) = -3*l + 47. Let n be c(15). Is n < 0?
False
Suppose 10 + 6 = -2*r. Let v = r - -16. Suppose -6*j + v = -2*j. Which is smaller: 1 or j?
1
Let r = -17 - -16. Let g be (-10)/18 - (-1)/3. Which is greater: r or g?
g
Let c = -0.08 + -0.02. Let p = -1.99 - 0.01. Let z = p - -1. Which is smaller: c or z?
z
Let b(d) = -d + 0 + 3 + 6. Let n be b(8). Let f = -391/63 - -45/7. Which is smaller: f or n?
f
Let f be (-20)/(-150) + (-116)/45. Which is smaller: -2 or f?
f
Let u(x) = x**3 + 2*x**2 - x. Suppose c - 4*c + 4*a + 23 = 0, 5 = -5*c - 2*a. Let q be u(c). Are 1 and q unequal?
True
Suppose 2*q - 13 = a, a - 3 + 1 = -q. Suppose -g = -q*g. Which is bigger: g or 0.1?
0.1
Let l = 0.28 + -0.14. Do -1/3 and l have the same value?
False
Let g(y) = y**2 - 9*y + 14. Let w be g(7). Is w bigger than -3?
True
Let r = 98 + 45. Which is greater: r or 144?
144
Let h be (((-2)/28)/(-1))/(15/(-180)). Which is smaller: h or -2?
-2
Let o = 8 + -8. Is o greater than 0?
False
Let l = 88309 - 5828525/66. Let r = 13/6 + l. Which is greater: 1 or r?
1
Let g be (-12