0 = -v*r + h - 52, r = -2*h - 3*h - 28. Which is greater: -17 or r?
-17
Let a = -0.16 + 0.26. Which is bigger: -0.044 or a?
a
Suppose 41 = -3*a - 2*x, -a + 50 = -5*a + 2*x. Let r = 11 + -23. Which is greater: r or a?
r
Let b(m) = -2*m**2 + 5*m + 3. Let k be b(4). Let d = 11 + k. Are 2 and d nonequal?
False
Suppose 6*f + 16 = 2*f, -f + 21 = 5*o. Suppose -3*n = -o*n - 4. Which is smaller: -1/2 or n?
n
Let t(j) = 6 + j + 0 + 0. Suppose 0*w + 32 = -4*w. Let a be t(w). Which is bigger: -3 or a?
a
Let b = 3.1 - 7.1. Which is smaller: b or 3?
b
Let u be 24/(-14) - 4/14. Suppose 0 = -2*p + 2*s, p - 2*s + 12 = -7*s. Is p at most as big as u?
True
Suppose 5*v - 15 = s + s, 25 = 2*v + 3*s. Which is bigger: v or 13/3?
v
Suppose -2*s + 8 = q, 3*q + 2 + 2 = s. Let t = q + 0. Suppose t*d + 3*d = 0. Is 1/12 >= d?
True
Suppose -3*a - 5*g + 27 = -4, 15 = -5*a + 5*g. Suppose -5*j = 8 + a. Which is smaller: j or 0?
j
Let v = -8 + 7. Let c = 0.1 - 0.2. Which is bigger: v or c?
c
Let a be -2 + 0/(-2) - -1. Let f be (a + -3)*1/(-26). Is 1 less than f?
False
Let y be (0 + 2)*1/(-3). Suppose -2*m - 2*v = -2 + 4, 4*m + 5*v = -3. Does m = y?
False
Let q be ((-12)/(-14))/((-5)/(-30)). Is 5 <= q?
True
Suppose 6 = 3*y - 3. Let o(s) = s**2 - 3*s + 3. Let z be o(y). Suppose r + 3 + z = 0. Is r at least as big as -5?
False
Let d = -12 - -9. Let i(s) = 2*s + 4. Let b be i(d). Let v be (2/(-4))/(b/(-8)). Is -2 smaller than v?
False
Let y be -2 + (2 - -2) + 4. Let n be ((-2)/y)/((-2)/18). Let w be 18/63 + (-52)/(-14). Is n smaller than w?
True
Suppose 2*k - 5 = -3*k. Let s be 370/50 - (-2)/(-5). Let n = 6 - s. Which is greater: n or k?
k
Let q = -10/29 - -146/87. Let o be (-2)/8 - (-36)/16. Suppose i + 1 - o = 0. Is q > i?
True
Let w = -121 + 106. Which is bigger: -12 or w?
-12
Let z = -67/72 + 5/9. Is -1 at most as big as z?
True
Suppose -2*y - 3*w + 21 = 0, w = -2 + 1. Let p = -14 + y. Is -3 smaller than p?
True
Let g(u) = 7*u**3 - u**2 - 2*u + 2. Let q be g(-3). Let z = 3799/20 + q. Is 1 less than or equal to z?
False
Let z(i) = -i - 13. Let g be z(-6). Let d = g + 6. Which is smaller: 2/13 or d?
d
Suppose 5 = -n - 0*n. Let w = 7 + n. Let k be (-5)/2*(72/15 - 6). Is w < k?
True
Let i be 4/6 - 19/15. Let n = 2 + 1. Suppose m = 4*m + n. Is m less than or equal to i?
True
Let j be -1 + 2 - 30/39. Suppose 4*w + 12 = 2*k + k, 0 = -4*k - 2*w - 6. Which is greater: j or k?
j
Suppose 0 = -2*j, -v - 2*j + 0 + 4 = 0. Suppose v*o + 2*k + 18 = 0, 4*k - 1 = -o - 23. Let r(i) = i**3 + 8*i**2 + 4*i + 31. Let c be r(-8). Does c = o?
False
Suppose -4*g - 4*u - 936 = 0, -6 = -u - 2*u. Let q be g/(-728) + 6/(-21). Which is bigger: 1 or q?
1
Let s = 846 + -2663/3. Let k = -42 - s. Which is bigger: 1 or k?
1
Let q be 2/(-6) - (-4)/3. Let i = -110 + 548/5. Which is smaller: q or i?
i
Let z(x) = -9*x + 1. Let f be z(-4). Let d be (0 - 145/(-4))/1. Let b = d - f. Which is smaller: b or -0.1?
b
Let y be 2/6 - (-1)/(-1). Suppose -5*k + 0*k = 0. Is k != y?
True
Let u = 2 - 6. Let y be (-2)/5 + (-6)/10. Let x be (1 - y) + (-4)/u. Does 4 = x?
False
Let t = 1.43 + 0.07. Let w = -0.5 - t. Is -1 less than w?
False
Let h = 54 - 53. Is 11 > h?
True
Let i(k) = 0*k - 2*k + 3*k - 2. Suppose -5*v - 11 = -j, -4*v = j + v - 1. Let u be i(j). Is -1 at most as big as u?
True
Suppose -z - 2 = -0. Let y be 3/4 + 5/4. Suppose a = 4*l + 5, -4*l = 2*a + y*a + 20. Are z and a unequal?
True
Let j(g) = 2 - 3*g + 0 + 4*g - 1. Let c be j(4). Is 4 > c?
False
Let r be (6/(-9))/(1/(-3)). Suppose -v + r*v - 3 = 0. Which is greater: 5/2 or v?
v
Let i be -2 - (2 - -1) - 1. Let v = i + 5. Which is greater: -2/5 or v?
-2/5
Let j be (-1 - -1) + 0/(-2). Let i = -197 + 405/2. Let c = i - 57/10. Is j greater than c?
True
Let v(c) = c**3 + 7*c**2 + 6*c. Let h be v(-6). Suppose h + 8 = d. Suppose j + d = -3*j. Are j and -2 equal?
True
Let a = -3/5 - -17/20. Let u = -67.2 - -61. Let z = -6 - u. Which is smaller: a or z?
z
Let y(p) = -p**3 - 3*p**2 + 4*p - 1. Let n be y(-4). Let f(q) = -q - 1. Let l(s) = s**2 + 4*s - 6. Let u be l(-5). Let t be f(u). Which is greater: t or n?
t
Suppose b - 3*f = -b + 164, 372 = 5*b + 2*f. Do 1 and b have the same value?
False
Suppose -3*m + 2*l = -18, 2*m + 5*l = 4 - 11. Let w be (-6 - (-1 + -2)) + m. Which is bigger: 3 or w?
3
Let f(l) = l**2 + 9*l + 4. Let v be f(-9). Let s(n) = -n**2 - 6*n + 4. Let q be s(-6). Suppose 0 = 2*a - q*h, -3*a = -a + v*h. Is a smaller than 1?
True
Let j = -29 - 64. Let r = 87.1 + j. Let v = 6 + r. Do 2/5 and v have the same value?
False
Let a = -0.8 - 0.2. Let w = -0.7 + -0.3. Let r = w + a. Which is smaller: -0.1 or r?
r
Let d be (-143)/44 - (-1)/2. Which is smaller: d or -2?
d
Let t = 5.06 - -1.24. Let m = -1 + -5. Let z = t + m. Which is greater: z or 2/5?
2/5
Suppose -5*n + 9*n + 12 = 0. Let j = n + 3. Are j and 1/22 equal?
False
Let b = 57 - 57.1. Is -16 <= b?
True
Let l = 30.2 + -30. Let w = 2.96 - -0.04. Which is greater: w or l?
w
Let i = 0.06 + -0.16. Is 1/5 < i?
False
Let d = -45 + 45.4. Let w = -6 + 4. Which is greater: w or d?
d
Let h(k) = -2*k**3 - 2*k**2 + 4*k - 3. Let q(r) = -3*r**3 - 2*r**2 + 5*r - 4. Let g(c) = -4*h(c) + 3*q(c). Let y be g(2). Let x = y + 3. Is x greater than -1/4?
True
Let s = -707/527 + 25/17. Which is bigger: 1 or s?
1
Let c(y) = y + 2. Let s be c(-4). Let z = 8 - 9. Which is smaller: s or z?
s
Let f = 106.3 - 179. Let c = -68 - f. Let o = 5 - c. Which is greater: o or 0?
o
Let w be 5/(-285) - (-2)/(-3). Let g = w + 467/627. Is g at least 0?
True
Let u be ((-2)/6)/((-50)/90). Is 2 not equal to u?
True
Suppose 0 = -2*h + 3*h. Let r be (h - 0)/(2 - 3). Let s(b) = -b - 4. Let d be s(-5). Which is bigger: d or r?
d
Let t = 1 + -0.97. Which is bigger: t or -1?
t
Let l = -0.07 + -0.33. Let v = l - -0.5. Is v less than or equal to 1?
True
Let r(g) = g + 9. Let q be r(-8). Let o = -636 - -17174/27. Is o less than or equal to q?
True
Let o = 19.961 + 0.039. Which is smaller: o or 0?
0
Suppose q - 2*k + 8 = 2*q, -2*q - k + 13 = 0. Does q = 6?
True
Let j = 7.96 + -8. Let v = 0.44 - 0.5. Let m = v + j. Do -0.1 and m have the same value?
True
Suppose 0 = 2*m + m + o + 107, 3 = 3*o. Let v be 2/(-5) + m/(-40). Do v and -2 have different values?
True
Suppose 6 = -2*x - 4. Let h be (x*4)/(0 - -1). Let k be 1/(-2) + h/24. Are k and 0 equal?
False
Let y = 1269/38 - 67/2. Let b = -23/38 - y. Which is smaller: b or 0?
b
Suppose 2*t + 18 + 0 = 2*y, 4*t = -4*y + 44. Suppose 4*c = y*c + 30. Suppose -3*o - 14 = -f, f = -4*o - 0*f - 28. Which is smaller: o or c?
o
Let q(c) = -c - 8. Let g be q(-8). Suppose 0 = -3*y - g*k + 2*k - 19, 0 = -4*y - 3*k - 14. Let o = -15 - -9. Which is bigger: o or y?
y
Let i = 0 + -12. Let a = i - -13. Let f = 13/10 - 4/5. Is f not equal to a?
True
Let f be 4/(-18) - (-550)/45. Let d be (-42)/(-2)*f/(-14). Which is smaller: d or -17?
d
Let o(r) be the third derivative of -r**5/60 + 5*r**4/24 - 7*r**3/6 - 8*r**2. Let b be o(4). Do b and -3 have the same value?
True
Let w = -13 - -11.9. Let g = -0.9 - 0.1. Let p = g - w. Which is smaller: p or -0.2?
-0.2
Let w = 9 + -21. Let a = 17 + w. Which is smaller: a or 3?
3
Let n = 1 - -3. Suppose n = -3*l - 5. Is l at most -3?
True
Let i(w) = -w**3 - 3*w**2 - w - 10 - 16*w**2 + 4*w**2. Let d be i(-15). Which is greater: d or 6?
6
Let b = 12 - 11.89. Let v = b + -6.11. Which is smaller: v or 0.2?
v
Let c = -0.04 - -0.07. Let p = c + -0.33. Let u = p - -0.4. Is u at least 2/5?
False
Let h = 1 - 1. Suppose 0 = -5*k + f - 2*f - 3, 0 = 4*k - 3*f - 9. Is h less than or equal to k?
True
Let k(x) = 2*x**2 + 9*x + 3. Let h be k(-4). Is h > -2/21?
False
Let a = -243165 + 33556973/138. Let g = -2/69 - a. Which is smaller: -1 or g?
g
Let m be 2/3 + (-8)/(-6). Let l = -39 + 42. Which is greater: m or l?
l
Suppose 4*h + 2*j + 337 + 113 = 0, 0 = h - 5*j + 118. Does h = 2/5?
False
Let q = 9 + -7. Suppose -5*i + 12 - q = 0. Which is bigger: i or 3?
3
Suppose 0 = -h - 0*c - 4*c - 5, 3*c + 6 = -3*h. Let v = 26 - 27. Is v < h?
False
Suppose -5*w = 2*x + 27, 3*w = -2*x + 7*w - 54. Let z = -43/2 - x. Let o(d) = d**3 - 4*d**2 + 2*d + 2. Let u be o(3). Which is smaller: z or u?
u
Let i = 9 - 5. Suppose -2*y + 5 = 5*u, -u = -0*u + y - i. Let g be (3 + (-3 - u))/(-1). Which is greater: g or 1/3?
1/3
Let x = -13/18 + 8/9.