 = -5*z. Let p = z + 1476/17. Which is smaller: p or 1?
p
Let j = -0.27 + 12.27. Which is greater: j or -1?
j
Let p(u) = 4*u**3 + 29*u**2 - 33*u**2 - 3*u**3 + 3*u + 2. Let h be p(3). Which is smaller: h or 3?
h
Let y be 4/14 + (-1 - -1). Let q = -0.934 + -0.066. Is y >= q?
True
Let q = 0.1 + -0.2. Let w = 16.93 - 17. Let f = w - 0.93. Which is bigger: f or q?
q
Let q be (-6)/14 - 126/(-294). Which is smaller: 1/153 or q?
q
Let f = -8 - -21. Which is bigger: -1/2 or f?
f
Suppose 3*d + 2 = -16. Let h = d + 3. Which is smaller: -4 or h?
-4
Suppose -4*f = -7*f. Suppose 0 = -0*h - h + 3*y + 5, f = 5*y + 10. Is h != 1?
True
Let c = -6 + 11. Let o = 23 - 21. Do c and o have the same value?
False
Let y(m) = -m**2 - 4*m + 5. Let f be y(-4). Suppose 5*j + 4*r + f - 25 = 0, 2*j = 3*r - 15. Is j >= 0?
True
Let c = -0.603 + 0.073. Let w = -0.5 - c. Is 0.1 != w?
True
Let k be (7/2 + -2)*14. Suppose -10 = 2*v - 4*p + p, 0 = 5*v + 4*p - k. Are v and 2 nonequal?
True
Let o be 0*(-2 - (-6)/4). Let c be (o + 4/(-10))/(-1). Suppose -l - 3*b - 10 = 0, l + 4 = -b - 0. Which is smaller: c or l?
l
Suppose -6*h + 4*h - 8 = -4*k, 0 = -h + k - 7. Is -10 greater than h?
False
Suppose -3*p - 13 = o + o, 2*p = o - 11. Let d(s) = -s**3 - 6*s**2 - 5*s. Let l be d(p). Which is smaller: -1/4 or l?
-1/4
Let i = 6 + -8. Let s = -2 - i. Is 5/4 at most as big as s?
False
Let k = -0.43 - -0.63. Do k and 0.21 have different values?
True
Let y be (-8)/2*5/(-40). Which is smaller: y or 1?
y
Let r(m) = m + 4. Suppose 14 = -2*i + 6. Let q be r(i). Is q at least as big as 0?
True
Let i = -1 + 8. Let c = -5 + i. Which is smaller: c or -6?
-6
Let t = 18 - 24. Let s = t - -6.1. Is s > 0.1?
False
Let m = -1 + 0.8. Let s = -1 + 2. Which is bigger: s or m?
s
Let m = 64 + -64. Are m and -2/7 equal?
False
Let h be (-2)/7 - 2/(-7). Let q = 9356/11 - 850. Which is bigger: h or q?
q
Let a = -9.2 + 10. Let z = 1.08 - a. Let g = 0.02 + z. Are -0.1 and g nonequal?
True
Let w = 18 + -16. Let x = 2.1 - 2. Is w > x?
True
Suppose 2*n - 34 = 4*r, -4*r + 1 = 4*n - 7. Suppose -2 = -3*u + h + n, -3*u - 3*h = 3. Which is greater: u or -0.3?
u
Let q(u) = u. Let r be q(-10). Is r not equal to -8?
True
Suppose -3*y - 2*m + 5 + 6 = 0, 5*m = -5*y + 20. Suppose -21 = -5*d - 1. Suppose 7 = 5*k - d*q, -y*q - 8 = 1. Which is smaller: 1 or k?
k
Let s = -45 + 56. Which is greater: 9 or s?
s
Let m(o) = -o**3 + 2*o**2 + 8*o - 6. Let s be m(7). Let y be 8/(-20) + (-93)/s. Let i = -2 - -1.9. Is y less than i?
False
Let w(z) = -2*z**2 - 5*z - 4. Let d be w(-3). Let p be 2/d - 99/21. Which is smaller: p or -0.1?
p
Let f be (-70)/45*4/14. Is f <= 0?
True
Let l be 2*((7 - 3) + -3). Let n be 0*(l + (-15)/6). Suppose 0 = -6*r + 3*r. Are n and r nonequal?
False
Let m = 3 + 1. Let z be ((-1)/m)/((-1)/(-22)). Let q = 6 + z. Is 3 < q?
False
Suppose 6*b = 2*b. Let a be ((-3)/9)/(1/3). Is b at most as big as a?
False
Suppose -6*z + 3*z + a + 1 = 0, 3*a = z - 11. Does z = -0.2?
False
Let w be 1/6*4*6. Suppose -w*r = -r + 3. Which is greater: -2/27 or r?
-2/27
Let g be -7*((-20)/7 + 2). Let w = 9 - g. Let x = 37 - 36. Is w equal to x?
False
Let q be (5 - -1)*(-2)/(-4). Suppose -q*y + 3 = -0*y. Which is smaller: y or 1/10?
1/10
Let v(c) = c**3 - 5*c**2 + 5. Let y = -23 - -28. Let n be v(y). Which is smaller: 3 or n?
3
Suppose 5*q = -5*l - 35, -4*l = -4*q - 2 + 6. Let f = 112 - 229/2. Which is bigger: f or q?
f
Suppose 5*m + 10 = -5*i, 0 = -5*m + i + 3 + 11. Suppose -2*f + 2*j = -8, -4*f - 2 = m*j - 0. Let z = -116 - -578/5. Is z < f?
True
Let x = -27 - -21. Let m be 1/(6/10)*-3. Which is smaller: x or m?
x
Let v be (-40)/(-100) + 27/(-5). Is -5 smaller than v?
False
Suppose s - 101 = 2*j, 3*s - 49 = j + 14. Which is greater: j or -50?
j
Let n = -0.92 + 0.02. Let s = -0.95 - n. Are 1 and s equal?
False
Let v(j) = j**2 + 9*j + 11. Let l be v(-8). Suppose -2*c + l*d = 7, -3*c + 7 = -d - 0*d. Suppose 2*a - 6 = -2, -4*h - c = -4*a. Are h and -2/11 unequal?
True
Let w = -4 + 6. Suppose w = 3*a - 1. Suppose -4*g + 5 = g. Is g smaller than a?
False
Let m = 0.1 - 0.46. Let w = -0.06 - m. Which is smaller: w or 1/3?
w
Let m = 1 + 1. Suppose -2*q - 10 = -4*a, -25 = -m*a - 6*q + 3*q. Let x be (-6)/36 + a/66. Is x >= 0?
False
Let b(p) = -3*p + 1. Let s be b(1). Let n(u) = u + 3. Suppose 3*w + 13 = -4*m, w + 4*w - 2*m + 13 = 0. Let c be n(w). Which is bigger: s or c?
c
Suppose 2*d + 2 = 0, 0*u + 3*u - 5 = 5*d. Let v be (-4 + 1 + u)/(-1). Let j be (4 + 0)*(-2)/(-4). Which is bigger: v or j?
v
Let h = 135 + -941/7. Suppose 3*y = 4*y - 9. Suppose -3*u - 3 = -y. Which is greater: h or u?
u
Suppose -4*v - x = x + 2, -2*v + 2*x = -2. Which is greater: v or -1/24?
v
Let a(l) = -7*l**2 + 1. Let r be a(1). Let x = r - -23/4. Suppose 8 = -3*k + 2*t, k - 4 - 12 = -4*t. Which is smaller: k or x?
x
Let n be (-4)/(-6)*(-24)/(-16). Is 7/5 at most as big as n?
False
Suppose -3*w = 2*w + 30. Let c be (-9)/(-6)*(-4)/w. Which is smaller: c or 0?
0
Let j = -2 - -1. Which is bigger: 4/25 or j?
4/25
Suppose 5*u - 17 = -3*l, -3*l = 2*u - 0 - 23. Let v be 2/4 - l/42. Let z = -2 - -4. Is z less than v?
False
Let b = 3.96 - -0.04. Let p = b - 4. Let n = 8 - 12. Which is smaller: n or p?
n
Let o be (-614)/(-840) - (-6)/(-8). Let p = 44/105 + o. Which is smaller: p or 1?
p
Let v be 10/4*(-48)/40. Let q = 3 - 1. Suppose 0*b + q = -2*b. Which is smaller: v or b?
v
Let s = -5 - -3. Let l(n) be the third derivative of n**5/60 + n**4/3 - 2*n**3/3 - n**2. Let y be l(-8). Is s less than or equal to y?
False
Suppose 3*k + p + 1 = 0, 2*p + 3*p = -4*k - 5. Let i(a) = a**2 + 4*a + 1. Let y be i(-4). Suppose -y = -v - 0*v. Which is greater: v or k?
v
Suppose -3*f = -2*f + 2. Let k = 0 + f. Let p(h) = h**2 - 3*h - 2. Let u be p(3). Is k less than or equal to u?
True
Let t = -5.03 + 0.03. Let z = 3 + t. Which is smaller: 0.9 or z?
z
Let s be 3 + (-21)/9 + -1. Which is smaller: s or 7?
s
Let q = -34 + 34.27. Let h = q + 0.03. Let s = -0.1 - -1.1. Which is smaller: s or h?
h
Let l be (6/(-4))/(3 - (-93)/(-30)). Which is greater: l or 14?
l
Suppose 0 = 4*j - 2*j - 10. Which is bigger: 19/3 or j?
19/3
Let h be (-57)/(-18) + (-2)/12. Which is greater: h or 1?
h
Let b be 24/18*(-9)/6. Let p be 2 - (-11)/(-4) - -1. Is b equal to p?
False
Let x = 0.3 - 1.1. Let t = 0.8 + -2.6. Let u = x - t. Is u <= -0.04?
False
Let l be 39/2 + 12/8. Does l = 20?
False
Suppose 4 = 4*p - 3*c - 7, 0 = -2*c - 10. Which is bigger: 2/45 or p?
2/45
Let w = -1 + 0.98. Let a = 0.02 + w. Which is smaller: a or 0.3?
a
Suppose -4*h = h - 4*k - 30, k = h - 7. Suppose i = -1 + h. Which is greater: i or 1/3?
i
Suppose 5*t - 30 = -4*y + 13, 2*t - 2*y - 10 = 0. Suppose 2*m - 1 - 7 = 0. Let p = m - t. Is 0.1 smaller than p?
False
Let r = 253 + -397. Let x = r + 428/3. Suppose 44 - 44 = w. Is w less than x?
False
Suppose 0*a + 9 = -n + 3*a, 3*a = 9. Let w be 1/(4/(-8)) + 17. Let f = w - 13. Does f = n?
False
Let n = -20 + 19. Which is greater: n or 1?
1
Let x(k) = k**3 + 2*k**2 + 3*k + 2. Let p be x(-2). Suppose -4*h = -2*o - 24, -5*o = -h - 4 + 1. Let f = p + h. Which is smaller: 4 or f?
f
Let v be (68/(-4131))/((-4)/(-6)). Does 1 = v?
False
Let j = -2 + 5. Let c = -2.4 - -0.4. Which is smaller: c or j?
c
Let d = -3 + 3.1. Let l = d + 0. Suppose 2 = f + 4, 0 = -o + 5*f + 9. Which is bigger: l or o?
l
Let y = -29/138 + 1/23. Which is smaller: y or 1?
y
Let o = 4.16 + -4. Let b = o + 0.84. Is 1.2 less than or equal to b?
False
Suppose t - 28 = -3*t. Suppose -5*u + 8 = -2, 0 = a - 3*u + t. Are a and 0 unequal?
True
Suppose 0 = -2*j - 3*i + 7, -5*j = -3*i + 4 - 11. Let p be j/10 + (-64)/(-5). Does p = 14?
False
Suppose 3*q - q = 8. Suppose -q = m + m. Let u = 6 - 7. Is u less than m?
False
Let u = 6734/2523 - 2/841. Is u at least as big as 4?
False
Let h be 1*1/12*-1. Let d = -29/84 + h. Which is smaller: d or 1?
d
Let g(s) = -s + 7. Let c be g(-5). Suppose c = 4*h - 4. Suppose 3*k = 3*y - 14 - 1, -4*y + 4 = 4*k. Which is bigger: y or h?
h
Let b be (-120)/150*(-5)/(-2). Which is bigger: b or 0?
0
Let m(l) = -l**3 + 8*l**2 + l - 7. Let g be m(8). Is 12 < g?
False
Let b = 39 + -116/3. Which is greater: 11 or b?
11
Let b(q) = -2*q - 6. Suppose 2*f - 3*f = 0. Suppose 12 = -f*n - 3*n. Let j be b(n). Is j > 3/5?
True
Let w be 4 + 1 + 0/(-7)