han d?
False
Suppose -p - 1 = -5*n + 3*n, n - 5 = -p. Is -1 equal to p?
False
Let p(a) be the first derivative of -a**4/4 + 2*a**3 - 5*a**2/2 + 2*a + 2. Let v be p(3). Let n = v + -43/3. Which is bigger: n or -1?
n
Suppose -2*r - 3*z - 15 = 0, -3*z - 15 = 2*r - 3*r. Let d = -93/16 + 1219/240. Let f = -371/465 - d. Which is smaller: r or f?
f
Suppose -4*l = 123 + 53. Let w = -133/3 - l. Let m = 10.93 - 11. Which is smaller: m or w?
w
Let i = -30 + 30. Are i and 1/58 non-equal?
True
Let x = 171/260 - 3/52. Do 0.1 and x have the same value?
False
Suppose -4*j + 7 = -3*j - 2*q, 4*j + 2*q - 18 = 0. Suppose -2*t + w - 10 = 3*w, -19 = -t + j*w. Let m = -79/21 - -24/7. Is m >= t?
True
Suppose 0 = -4*u + 1 - 5. Let t = 3 - 9. Let p = -8 - t. Which is bigger: p or u?
u
Let i(x) = -x**2 + 5*x + 13. Let r be i(6). Which is greater: r or 4?
r
Let v = 0.178 - 5.188. Let m = v + 5. Is 1 < m?
False
Let t(c) be the second derivative of -c**5/20 + 2*c**4/3 - 4*c**3/3 + 3*c**2 + 2*c. Let q be t(7). Is q smaller than -1/6?
True
Let a = 13 + -12.91. Let s = a + 0.01. Which is bigger: s or 5?
5
Suppose -t + 2*y + 3 = 0, -y - 4*y - 10 = 0. Which is greater: t or 4/25?
4/25
Let a(b) = 3*b - 7. Let p(x) = 3*x - 6. Let t(r) = 5*a(r) - 6*p(r). Let q be t(2). Is -4 at most as big as q?
False
Let z(c) = -c**3 - 7*c**2 - c - 5. Let v be z(-7). Suppose x - 1 = -v. Is -1 less than or equal to x?
True
Let i = 1168298/9 + -129675. Let h = -136 + i. Which is smaller: 1 or h?
h
Let r(l) = l**3 - 4*l + 3. Let p be r(2). Are p and 3 nonequal?
False
Let n be (1/(-4))/(1/4). Are n and 1/9 equal?
False
Let h be (-5)/(165/(-6)) + 14/44. Let w(b) = -b**3 + 3*b**2 + 6*b - 6. Let j be w(4). Let t be (j/(-28))/((-1)/2). Which is smaller: h or t?
t
Let b = -13/4 + 11/4. Let m be (3*2/9)/2. Is m < b?
False
Suppose u + 4*a = 16, 0*u + 4*u + 5*a - 9 = 0. Let n = -0.69 + -0.21. Let x = -1 - n. Which is smaller: u or x?
u
Suppose 5*y + 88 = 3*a, 4*a - 2*y - 94 = -7*y. Is a < 25?
False
Let u be ((-5)/60)/(3/40). Suppose 8*c - 3*c + 10 = 0. Which is greater: u or c?
u
Suppose -90 = 3*m + 2*m + 5*y, -2*y = -8. Let o = m - -21. Is 9 at least as big as o?
True
Let r(t) = 3*t**2 + 2*t**3 + 3*t - t**3 - 2 + 5. Let i be r(-2). Let d(b) = -3*b**3 + b. Let o be d(i). Is o at most -0.2?
True
Suppose -4*b - 8 = -6*b. Suppose 0 = -b*z - 8. Is -3/4 greater than z?
True
Let c be (45/375)/((-2)/5). Which is greater: 0 or c?
0
Let i = -203 + 136. Let j = i + 137/2. Which is bigger: 1 or j?
j
Let k = 1.1 + -1. Let c = -0.46 - -0.06. Let d = 0.3 + c. Is k bigger than d?
True
Suppose z + 5 = 2*z. Let i be 0 + 0 + -1 - -7. Which is greater: z or i?
i
Let a = -0.01 + -0.19. Let i = 1.2 + -2. Let b = i + -0.2. Which is greater: b or a?
a
Suppose -3*s + 3 = 4*k, -s = 5*k - 5*s + 4. Suppose -6*r + r = k. Let g = -52 + 466/9. Which is smaller: g or r?
g
Suppose 0*b - 12 = -6*b. Suppose b = -w - 0*w. Is -2/3 bigger than w?
True
Let c = -2 + 1.88. Let m = c - 0.03. Let h = 0.05 - m. Is h at most as big as 0.1?
False
Suppose 3*d = 4*v + 22, -d + 0 = v + 2. Which is smaller: d or 14/25?
14/25
Let s = 13 + -8. Let j = 10 - s. Let a be (-8)/j + (4 - 2). Is -1 smaller than a?
True
Let m be 1*3/6*2. Which is smaller: 1/15 or m?
1/15
Let d be 8/(-20) + 114/10. Suppose -d = -4*o - y, 2*y + 5 = 3. Is o bigger than -1/3?
True
Suppose -3*l = 4*l. Is l at most 0?
True
Let m(p) = 3*p + 3. Let i be m(-2). Let v = i + 2. Let f be (-4)/(-6) - (-11)/(-12). Is f greater than v?
True
Let j = 0.1 - 5.1. Let m = j - -11. Which is smaller: m or -1?
-1
Let r = -19 - -19.2. Which is bigger: 1 or r?
1
Let g = 69 + -139. Let j be ((-5)/25)/(8/g). Let z = j - 13/8. Is 1 <= z?
False
Suppose -2*y + 30 = 3*y + 3*j, 0 = -2*y + 5*j - 19. Suppose -t - y*t = 0. Let k = t + 0. Which is smaller: k or 3/5?
k
Let x be (36/44)/1 + -1. Which is smaller: -1/4 or x?
-1/4
Let k = -3 - -5. Suppose -3*z + 2 = -2*z. Suppose -2*b - z*x = -5*x - 19, -4*x - 20 = 0. Do b and k have different values?
False
Let j be ((-4)/(-5))/(16/40). Which is smaller: 6/7 or j?
6/7
Let x be (3 - -5)*(-4)/8. Let c be 3/12 - (-5)/x. Are c and -1 equal?
True
Suppose -3*o - 3*w = 9, 3*w + 0*w + 8 = -2*o. Let z be 1 + (0/(-2))/o. Suppose -2*s = 5*k - 6*s + z, -7 = 4*k + 3*s. Is 2/7 less than or equal to k?
False
Suppose 4*x + 17 + 7 = 0. Is x not equal to -6?
False
Let w = -24 - -123. Let z = -698/7 + w. Is z greater than 0?
False
Let h = -4.4 + 4. Let v = h - -0.5. Let t = 0 + v. Which is smaller: -1/2 or t?
-1/2
Let o = 25 - 20.8. Let p = -0.2 + 0.4. Let h = o - p. Is 1 smaller than h?
True
Suppose 5*m + 0 + 5 = 0. Is 1/28 <= m?
False
Let v = 0.09 + 0.01. Let u(t) = -t + 4. Let p = -5 - -7. Let n be u(p). Is n greater than v?
True
Suppose -4*g + 10 = 2*z, 3*g - 1 - 4 = z. Suppose z = y - 1. Let n be (-14)/(-44) + 14/77. Which is greater: y or n?
y
Let q = -135 - -131. Is 2 not equal to q?
True
Let p = 1.1 + -0.1. Is p at most as big as 4?
True
Let a(t) = -t**3 - 5*t**2 - 5*t - 2. Let q be a(-3). Let k be 23/7 - (-2)/(-7). Let x be q*(-2 + k)/(-4). Are 2 and x non-equal?
True
Let l be 62/8 + 1/4. Let h = l + -5. Suppose -5*q + 5*i = 0, -h - 9 = 5*q - i. Which is bigger: -2 or q?
-2
Let r be (-1)/7 + 56/49. Let g = 6 + -3. Suppose -2*n + g*n = 1. Are n and r equal?
True
Let z = 9 + -7. Let b = -0.38 - -0.08. Let y = 0.3 + b. Which is smaller: y or z?
y
Let n be (-2)/5 - (-24)/10. Let x be 18/48 - 63/(-24). Suppose 0 = n*m + m - x. Which is smaller: -2/17 or m?
-2/17
Suppose -2*v = -v + 3*r + 32, 2*v + 56 = -4*r. Let m be 3/v - (-2)/5. Is -2/5 <= m?
True
Let m be (-195)/(-36) + 4/(-6). Let b = -9/2 + m. Is 0 less than b?
True
Let c = -0.3 + -0.2. Let l = c - -0.4. Let j = 0.1 - l. Is -0.1 bigger than j?
False
Let y = 5 + -3. Suppose -8 = -2*f, 3*f - 12 = -4*h - y*f. Is -3/2 <= h?
False
Suppose 3*a + 3 = p, -a + 5 = p - 6*a. Suppose p = d - 1. Let m be 3/21 + (-4)/14. Is m != d?
True
Let k = -41 - -34. Is k >= -7?
True
Let w(p) = p**3 - 5*p**2 + 3. Let u be w(4). Let k(i) = -i**3 - 13*i**2 + i + 14. Let n be k(u). Which is bigger: 2 or n?
2
Let v be (-6)/10 + 4/(-10). Let n(m) = m**2 - m - 2. Let l be 2*(-10)/(-4) - 3. Let a be n(l). Is a at most v?
False
Let p be -12 - 0/((-8)/2). Is -13 less than or equal to p?
True
Suppose 5*s - 12 = 5*z + 8, 0 = 4*s + z - 1. Let g be 12/18 - (-286)/(-438). Let r = 283/657 + g. Is r > s?
False
Let z = -0.1 + 0.09. Let b = -2.99 + z. Which is bigger: b or -1?
-1
Suppose p + 0*p + i + 6 = 0, 2*p - 3*i = 8. Let j be p + 0 + -4 + 4. Is j not equal to -3?
True
Let t be (6 - 8)*18/(-4). Is 8 at most as big as t?
True
Let f = 17.17 + -17. Let o = 0.07 - f. Which is smaller: 0.2 or o?
o
Suppose 3*k + 2 = -1. Suppose -5*o - 2*h = 3*h - 30, -3*h + 11 = -4*o. Let p be 1/8*2*o. Is k != p?
True
Let b = 109 - 1089/10. Are 1 and b unequal?
True
Suppose -w = 3*w. Suppose -3*l = -w + 9. Suppose -5*h - 4*b - 22 = -3, 4*b = 3*h + 5. Is l smaller than h?
False
Suppose 3 = b - 1. Suppose -5*m - b = 6. Which is bigger: m or -3?
m
Let t = -3 - -7. Let g = t - 6. Which is smaller: 0 or g?
g
Let t = 0.5 + -0.8. Which is bigger: t or -3?
t
Let o = 546 - 19108/35. Which is greater: o or 0?
o
Let l = -7/250 - -123/22250. Which is smaller: 0 or l?
l
Let s(o) = -o**3 - 12*o**2. Let i be s(-12). Is 0.36 at most as big as i?
False
Let m(b) = -2 + 3*b - 2 + 1 - 2*b. Let o be m(3). Let y = 2/27 - 20/27. Is o equal to y?
False
Let q = 2.4 - 2. Let m = q + -0.5. Let p = -0.2 - m. Which is smaller: p or 1?
p
Let c = -4/3 + 35/33. Which is bigger: -2/5 or c?
c
Let v be 3 + (9/(-27))/((-2)/(-52)). Which is smaller: -5 or v?
v
Let c be -5 - (-330)/25 - 2/(-1). Which is smaller: 9 or c?
9
Let a = 47/280 - 1/40. Which is smaller: a or 0?
0
Suppose -3*p - 5*z - 11 = 0, 2*p - 2*z + 1 = z. Let w be (-4)/p*(-2)/(-4). Let j = -2/7 + -1/21. Is w less than j?
False
Let v(z) = z**2 + 8*z + 2. Let k be v(-8). Let m be (-2)/7*(k + -1). Is 0 less than m?
False
Let p be 1*(1 - 0)*-2. Let x = -50 - -201/4. Which is greater: x or p?
x
Suppose -4*l + n = -3 + 1, 3*l - 2 = n. Let g = -58/11 + 566/99. Does g = l?
False
Let z = -35 + 4. Let a = z - -22. Is a < -9?
False
Let r = -6 + 4. Let s(f) = -f**3 + 6*f**2 + 7*f + 4. Let m be s(7). Suppose 0 = -4*x - 4*c, 2*x = m*c - 21 + 3. Does x = r?
False
Let g = -0.2 