 v or p?
p
Let r be (4/10)/(1/(-5)). Let k = 0.08 + -0.48. Which is smaller: k or r?
r
Let x = -6 + 8. Let k be -14*(2 + -3 + x). Let b be k/(-15) + (-7)/7. Is -1 >= b?
False
Let w(m) = 29*m. Let p be w(1). Suppose -5*y = 6 + p. Are -8 and y non-equal?
True
Suppose -2*g - 4 = 3*v - 3*g, -g = -v - 4. Let u = 0.08 - -0.02. Which is smaller: u or v?
v
Suppose -2*x - 5*o + 39 = 0, -2*x + 6*x = -2*o + 38. Suppose 4*t = -0*t + 4*q + 4, -3*t + 4*q - 1 = 0. Let l = t - x. Is l greater than -1?
False
Suppose 4*a - 10 = -a. Suppose a*w - 2*q = 10, -3*q + 0*q + 1 = 5*w. Suppose -5*c + 5*z = 5, -w*c = -7*c + 4*z - 6. Which is bigger: -3 or c?
c
Suppose 0 = -2*y - 10 + 2. Let o(b) = b**3 + 5*b**2 + 3*b - 4. Let l be o(y). Which is smaller: l or -2?
-2
Let d = -2 + 105/52. Which is greater: d or 1?
1
Let m = -0.05 + -0.95. Let f = 0.93 + m. Is f at least 0?
False
Suppose 22 + 2 = -3*c + 3*j, j = -2*c - 1. Let s = -7 + 11. Suppose -5*u + s*m - 16 = 0, 0*u = -u - 2*m - 6. Which is bigger: c or u?
c
Let k = 0 - 0. Let l be (2 + 1 - 2)*(-15)/25. Which is greater: k or l?
k
Let d be (3/2)/((-6)/(-4)). Which is smaller: -1/60 or d?
-1/60
Let x = -4 + -2. Let z be 2/x - (-16)/(-6). Which is smaller: -4 or z?
-4
Let f = 10 + -15. Do f and 0 have different values?
True
Let g be (33/(-9) + 3)*9. Let z(s) be the second derivative of s**3/6 + 7*s**2/2 - 3*s. Let h be z(g). Are 2/5 and h nonequal?
True
Let z = -15/46 - -319/414. Which is smaller: z or -1/2?
-1/2
Let p = 22 - 16. Which is greater: p or -0.1?
p
Let n = 761/8 - 95. Suppose 3*p = -5 - 7, 3*l + 11 = -2*p. Is n greater than l?
True
Suppose 3*a = 3*z + 30, a = -4*a - 3*z + 18. Let t(s) = -3*s + 6. Let n be t(a). Let g be (-5)/2*n/10. Which is bigger: 2 or g?
g
Let l(n) = n**3 + 7*n**2 + 4. Let y be l(-7). Which is bigger: y or 10?
10
Suppose -2*y - 10 + 28 = 2*x, 0 = 4*x + 2*y - 44. Let i = -12 + x. Is i less than or equal to 0?
False
Let t(c) = -3*c - 5. Let p(b) = 2*b + 5. Let y(v) = 4*p(v) + 3*t(v). Let o be y(3). Suppose -2*q = 4*n + o, -3*n + 0 = -3*q + 15. Is -2 smaller than n?
False
Suppose 4 = -4*l - 0*l. Let z be l + 0 + -2 + 6. Suppose -z*s - 1 = 8. Is s >= -3?
True
Let k be -3 - (0 - (-1 - -4)) - -8. Which is greater: 2 or k?
k
Let y = -19927/6 + 6489/2. Let h be (1 + (-3)/2)/((-9)/1350). Let r = h + y. Do -1 and r have the same value?
False
Let p(i) = -3*i**3 - 2*i**2 - 2*i - 1. Let b be p(-1). Suppose g = -b*g. Suppose g = -r + 2*r. Which is smaller: -2/7 or r?
-2/7
Let o(w) = w - 11 + w**3 + 63*w**2 - 68*w**2 + 2*w. Let s be o(5). Which is smaller: 3 or s?
3
Suppose y = -2 - 3. Let a be (-2 - y) + (-37)/13. Let q(p) = p**3 - 7*p**2 + 5*p + 5. Let s be q(6). Which is smaller: s or a?
s
Suppose 8*k + 65 = 9. Is -7 < k?
False
Let t be 0 - 0 - 1 - -2. Which is smaller: t or 11/5?
t
Let s = -762 - -15998/21. Is -1 > s?
False
Let x be (-5)/1*(-2)/5. Let d(o) = 0 + x - o**2 + 0 + 7*o. Let t be d(7). Is t smaller than 0?
False
Let l = -0.021 - 0.179. Which is smaller: -12 or l?
-12
Let c = 102 + -713/7. Let l(q) = 3*q - 7*q - 2*q + q**2 - 6. Let x be l(7). Is x greater than c?
True
Let c = 1 - -2. Suppose -c*y - 3*o - 11 = 7, 5*y + 25 = -4*o. Let b be 4*2/(-4) + 1. Is y < b?
False
Let w = 0.17 - 0.37. Which is bigger: w or -7/3?
w
Let t(q) = q**3 + 11*q**2 + 11*q + 7. Let u = 5 - 15. Let f be t(u). Which is bigger: -2 or f?
-2
Let x = 52 + -45. Which is greater: -0.1 or x?
x
Let b be (2 - 1)/1*11. Which is bigger: b or 12?
12
Let y be (-7)/(-21) + 22/12. Let x = y - 4/3. Is 2 > x?
True
Suppose 2*d + 3*w - 5 = 0, 2*w = 3*d - w. Suppose 4*i - 13 + d = 0. Let x be (-8)/10*(2 + -7). Which is greater: x or i?
x
Suppose -w + 5*c = -32, 17 - 1 = -4*c. Let p = w + -10. Which is bigger: p or 1/3?
p
Let m = -1 + 2. Let k be ((-5)/(-10))/(m/8). Suppose p = -k*p. Are p and -1 equal?
False
Let w(r) = r**2 - 1. Let j be (2/(-4))/(1/2). Let c be w(j). Suppose 22 = -3*q + 5*y, 22*y = 4*q + 17*y + 21. Is c greater than q?
False
Let x = 268 + -60. Let p = -4370/21 + x. Is p greater than 1?
False
Let r = 4 + -3. Let h be (-19)/(-4) - (-2)/8. Let y be (r - (-69)/(-75))*h. Which is bigger: y or 0?
y
Suppose 0 = -3*w + k + 11, 4*k = 4*w - 3 - 25. Are 2 and w unequal?
False
Suppose -9 = 2*j - 3*v, -2*j - 5*v + 15 = 3*j. Let g(l) = -3*l - 17. Let p be g(-6). Which is greater: p or j?
p
Suppose -4*g = g - 3*s - 1, 4 = 4*g - 4*s. Let r be g/2 + 126/(-12). Is -12 < r?
True
Let s be 1/(-5)*(-6)/2. Suppose -2*w + 0*w = 0. Is w greater than or equal to s?
False
Let y(u) = -u**2 + 1. Let g be y(-1). Let d = -62/3 - -20. Is d bigger than g?
False
Suppose -m - 3*p = 2*m + 30, 32 = -4*m - 2*p. Let k be (-2)/(3/m*2). Let d(l) = 2*l - 3. Let v be d(k). Which is bigger: v or -1?
v
Let w = -73 + 221/3. Does -7 = w?
False
Suppose 0 = -4*s + 8, 0*h - 5*h + s = 62. Let n = h + 14. Let c = -5 + 7. Is n at least as big as c?
True
Suppose -2*v - 11 = 3*g, g - 2*g - v - 5 = 0. Let x = 229/1281 - 8/61. Which is smaller: x or g?
g
Suppose -2*n + 3 = 4*g - 9, -5*g + 41 = -4*n. Let b = 1 + n. Is b greater than -13/3?
True
Let f = 20 - 18. Let j(g) = 3*g + 1. Let y be j(-1). Which is greater: f or y?
f
Let x(f) = f**3 + 10*f**2 - f - 9. Let y be x(-10). Let d be (y*-2)/(-2) - 1. Let l(v) = v**2 - 12*v - 1. Let u be l(12). Which is smaller: u or d?
u
Let g be 222/328 - 24/32. Is g less than or equal to 0?
True
Suppose -30 = -4*y + 7*y. Let h = -10 - y. Let u be 3/12 - (-6)/8. Is h < u?
True
Let n = -11.5 - -11. Let y = n + -0.5. Which is smaller: y or -2/3?
y
Let q be ((-1)/6)/(2/4). Suppose 7*c = 4*c - 12. Let f = 6 + c. Which is bigger: f or q?
f
Let y = -78 - -238/3. Suppose -2 = w - 4. Which is smaller: y or w?
y
Let g = 2.9 + 0.1. Suppose 5*y + 0 + 5 = 0. Let w = -2 - y. Which is greater: g or w?
g
Let v be ((-18)/(-56))/((-24)/(-32)). Suppose 2*z = 5*p - 15, p + 4*p - 4*z - 25 = 0. Which is greater: p or v?
p
Suppose -4*w - 10 = 4*u - 2, -4*u - 5*w - 11 = 0. Is u less than 6?
True
Let k be -12*(-7)/28*(-8)/66. Is k >= 0.1?
False
Let z be (-2 + -79)*((-8)/(-6))/(-4). Is 27 at least as big as z?
True
Let v(p) be the third derivative of p**6/120 + p**5/20 + p**4/8 - p**2. Let o be v(-4). Let h be ((-1)/(-2))/(o/16). Does h = 0?
False
Suppose -6*l + 25 = -11*l. Suppose 3*y + 15 = 3. Which is bigger: y or l?
y
Let a be ((-15)/9)/(4/105). Let m = 44 + a. Let t = -1 - -2. Which is greater: m or t?
t
Let d = 147 + -287/2. Which is greater: 4 or d?
4
Let s = -155/8 + 2055/104. Which is smaller: s or 0?
0
Let h be ((-78)/5)/(9/(-45)). Let l be (-64)/h*3/(-6). Let z = 1/13 - l. Which is smaller: -1/2 or z?
-1/2
Let d be (-6)/(-9) - 1595/2370. Is d != 1?
True
Let x = -7 - -7. Let o be x - ((-3)/5)/(-3). Which is greater: o or 0?
0
Let y = 11 + -17. Let l = -6 - y. Is -0.2 >= l?
False
Let v = 6 - -7. Suppose -5*s = v - 3. Is s greater than or equal to -4?
True
Suppose 0 = 2*w - 6 - 0. Suppose u = -2*u + w. Is u greater than -5/2?
True
Let f = 17 + -18. Is 15 less than f?
False
Let o(z) = z + 19. Let w be o(-17). Is w at least 7/8?
True
Let a = -32 - -22. Let t be ((-2)/10)/((-4)/a). Let h be (-1)/4 + (-9)/(-36). Is t greater than or equal to h?
False
Suppose 2*j - 4 + 0 = 0. Which is smaller: j or 8/5?
8/5
Let d(n) be the second derivative of n**5/20 + 7*n**4/6 + 7*n**3/3 + 3*n**2 + 3*n. Let t be d(-13). Is -6 greater than or equal to t?
True
Let g be -6 - -5 - (-77)/(-21). Let n = 5 - 11. Is n bigger than g?
False
Let i(m) = -3*m**3 - 5*m**2 + 2*m + 3. Let k be i(-8). Let n = k + -54133/45. Is 1 smaller than n?
False
Let x = 5 - 1. Which is smaller: x or 5?
x
Let y(z) be the first derivative of z**2/2 - 7*z - 2. Let o be y(0). Are o and -7 equal?
True
Suppose 19 = -5*f - 11. Suppose -b = -4*k + 3*b + 36, 5*b = -25. Suppose k*m = 2 - 22. Is m less than or equal to f?
False
Let f = 2 - -3. Let t = -2.11 + 0.11. Is f at most as big as t?
False
Let f(l) = -l**3 - 6*l**2 + l + 5. Let d be f(-6). Suppose 16*j + 126 = -2. Is j bigger than d?
False
Let r = 11 - 83/5. Which is bigger: r or -6?
r
Let d = 1094/5 - 219. Is d at most as big as 18?
True
Let p = -16.39 - -0.39. Let z = p - -10. Is -2/5 <= z?
False
Suppose -3*p = -2*p - 7. Is p at least 6?
True
Suppose -5 - 11 = -4*k. Suppose -4*c = -5*j + 20, 4*c + 24 = 2*j + k. Is j less than -3/7?
False
Let f be ((-15