 i = -412 - -7002/17. Which is bigger: 10 or i?
10
Suppose -66 = 3*m - 18. Are m and -16 nonequal?
False
Suppose o = 6 - 0. Let p = 8 - o. Let l = 293/505 - -2/101. Which is bigger: p or l?
p
Let l(r) be the first derivative of -r**4/4 + 2*r**3 - r**2/2 + 5*r + 2. Let s be l(6). Is 0 at least s?
True
Let m = -0.34 - -0.04. Let w(l) = -l**3 + l**2 + l + 3. Let b be w(0). Let o be (b/6)/(1/(-2)). Do m and o have the same value?
False
Suppose 5*w - 10 = 2*y, 6 = -4*y - 2*w + 34. Let j be (y/2 + -2)*26. Are 13 and j non-equal?
False
Let v = -2/523 + -467/14644. Which is greater: -1/7 or v?
v
Let n = 9 + -7. Let y be 2 - -3*n/(-2). Is y <= 3?
True
Suppose -8*j = -6*j - 4. Suppose -5*n = -3*i, 3*i - 25 = -j*i. Let r be 0/2 + 2/(-4). Which is smaller: n or r?
r
Let l(a) = -a**2 - 6*a - 1. Let p be l(-5). Let g = 4 + -1. Let k be (8/(-6))/((-1)/g). Is p > k?
False
Suppose -2*v = 3*w + 1, 6*v + 10 = 2*w + 2*v. Let s be 1*((-1)/1 + w). Are -7/5 and s non-equal?
True
Let v = 17 - 17. Which is greater: v or -1/84?
v
Let r = -56 - -278/5. Is 1 >= r?
True
Let p be (-1)/(-1) + -2*5. Let y = 88 - 89. Let k = p - y. Which is bigger: k or -7?
-7
Let s(r) = -3*r + 1. Let x be s(-1). Suppose 19 = x*c - 4*n - 25, 4*n + 38 = 3*c. Which is greater: 7 or c?
7
Let t = -29/22 - -20/11. Suppose 2*d - p = -6*p + 20, -2*d = -5*p + 20. Which is smaller: t or d?
d
Let l(d) = 3*d**2 + 14*d - 9. Let y(x) = 2*x**2 + 7*x - 4. Let f(u) = -3*l(u) + 5*y(u). Let m be f(6). Let g = 4 + -4. Is g bigger than m?
False
Let v = -38 + 9. Which is smaller: -2 or v?
v
Let o be (-36)/8 + 1/2. Are o and -4 unequal?
False
Let h = 0.08 - 1.58. Which is bigger: 0.1 or h?
0.1
Let x = 922 + -8284/9. Do 3 and x have different values?
True
Let w = 10 + -5. Suppose 0 = -0*c - 3*c + 3, -5*z + w*c = -30. Suppose -z*x = -2*x. Which is smaller: 2 or x?
x
Let f(l) = 3 + l + 2 + 4. Let n be f(-6). Is 2 smaller than n?
True
Suppose 4*m + 10 + 6 = 0. Let p = 2399/17 + -141. Let w = p - -20/119. Is m at most as big as w?
True
Suppose -3*c - 3*d - 60 - 117 = 0, 4*d - 295 = 5*c. Which is greater: c or -60?
c
Let v = 109 - 108.9. Which is bigger: 20 or v?
20
Let o = -7 + 6.2. Let w = o + 5.8. Let j = 3 - w. Is j < -1?
True
Suppose 3*n - 13 + 1 = 0. Which is smaller: n or 5?
n
Let k(p) be the second derivative of -p**5/20 - p**4/6 + 5*p**3/6 - p**2 + p. Let y be k(-4). Are 9 and y non-equal?
True
Let b be 1 - 2*(-1 + 2). Let n be 12/18 - b/3. Let i = 7/10 + -1/30. Which is bigger: i or n?
n
Let w = 1080/3829 + 2/547. Let m = -5 - 2. Let j be -3 - (-7)/(m/(-4)). Is j at least w?
True
Let j be (-2)/176*9/(45/(-10)). Is j at least 1?
False
Suppose 0 = -3*w + 8*w - 30. Let t be 9/(-7) - w/(-21). Are -2 and t nonequal?
True
Let a = 2.3 + 0.7. Let f = 22 + -22. Which is smaller: f or a?
f
Let p = -4/749 - -8359/22470. Let a be (-1)/(-5)*2/(-3). Let s = a - p. Are s and 0 equal?
False
Let b(v) = -v**2 - 4*v. Let y be b(-2). Let j = -3 + 7. Let a = j - y. Is a >= -1?
True
Let l = 21 + -16. Are l and 1 non-equal?
True
Let n be (-12)/85*100/40. Let i(k) = -k + 6. Let f be i(5). Which is smaller: f or n?
n
Let y be (9/(-12))/(351/(-104)). Let t(a) = -a**3 + 2*a**2 + a. Let v be t(2). Which is smaller: v or y?
y
Suppose -3*q = -r - 3*r + 115, 3*q - 3*r = -111. Are -33 and q unequal?
False
Let v be ((-18)/(-8))/((-2)/(-8)). Suppose -3*f - 14 = 4. Let t be 1*(1 + v/f). Is -1 > t?
False
Suppose 0*i - 21 = 3*i. Let h = i + 8. Is h at most as big as -1?
False
Suppose 2*k - 26 = 5*p - 2*k, 10 = -3*p + k. Let g be (-1)/p*(-4 - -4). Let s = -1 + 0. Which is greater: s or g?
g
Let f = 7 - 7.1. Let b = -0.5 - -0.2. Let r = b - -0.3. Which is greater: f or r?
r
Let f(i) = 3*i**2 + 14*i - 6. Let r be f(-6). Does 18 = r?
True
Let i be -2 - (1 - -2)/(-1). Is i smaller than 2/31?
False
Suppose -4*x - 28 = -0*x. Are -7 and x non-equal?
False
Let f = -16 + 18.8. Let j = -0.1 + -0.1. Let r = j - f. Is -2/7 at least r?
True
Suppose 0 = -v + 3 - 1. Let u = 968/5 - 193. Is u at most as big as v?
True
Let t = 40/231 + -1/33. Is t < -1?
False
Let z(k) = -k + 11. Let m be z(10). Which is smaller: -7/5 or m?
-7/5
Suppose 5*q - 29 - 31 = 0. Let c be 1/(-4) - (-9)/q. Which is bigger: 1 or c?
1
Suppose -29 = -5*l + 3*g, 4*l - 5*l + 7 = -g. Suppose 0*y - 26 = -h + 5*y, -y = h + l. Let b be h/(-4)*1/2. Which is smaller: 1 or b?
b
Let p = -1849/3800 + 12/25. Which is smaller: p or 0?
p
Let y be (-2)/(-6) + (-11)/(-12). Which is smaller: y or 0?
0
Let c be 4/14 + 12/(-14). Let o = 0.117 - 0.117. Is c equal to o?
False
Let g = -21.021 - -0.021. Let r = g + 20. Let m = -4 - -6. Which is smaller: r or m?
r
Let p = 850/13 + -66. Is p bigger than -2?
True
Let v = -3 + 2. Let y = -7 + 15. Suppose 6*a - 3*u = 4*a - 7, -a = -3*u + y. Are v and a nonequal?
True
Suppose -5*f - 2 = -4*b - 4, -2*f + 4 = 0. Suppose 8 = u + b*m, -3*u + m = -m + 8. Is -2/3 equal to u?
False
Suppose -22*w = -17*w + 5. Are -2/57 and w equal?
False
Let a = 61.9 + -57. Let f = -5 + a. Is 1 at least as big as f?
True
Let a be 47/100 + 2/(-8). Let c = -29/2 - -362/25. Let z = c + a. Do -1 and z have different values?
True
Let p = 99/4 - 701/28. Suppose 4 = -4*u - 8. Let d be 0 - ((-3 - -6) + u). Which is greater: p or d?
d
Let c = -19 - -37/2. Which is bigger: 0 or c?
0
Suppose -10 = 4*z + 10, 5 = -5*r - 3*z. Suppose 2*k + 80 = -r*k. Let m be 1/4 + 65/k. Is -2 at least as big as m?
True
Suppose 2*q + 5*a - 4 = 3*q, 3*a = 3. Let g = q + -2. Is -4/13 less than g?
False
Let y = 5.81 + 0.19. Which is smaller: y or 0.1?
0.1
Let c be 2/(-5)*(5 + 0). Let d be 20/16*-2 - -2. Is d < c?
False
Let t(g) = -g**2 + g + 1. Let r(b) = 2*b**2 - 2*b - 2. Let h(u) = 6*r(u) + 11*t(u). Let z be h(0). Let x be z*(-1 + 2)*-1. Which is smaller: -1 or x?
-1
Suppose 17 = -3*o + 5*o + 3*k, 3*k = 4*o + 11. Let b = o + -5. Let h = 5 + b. Is -2/9 bigger than h?
False
Let q = -0.7 - -3.7. Let y = 0 - 10. Let c be y/(-2)*4/70. Is c bigger than q?
False
Suppose 4 = w + w. Suppose 10 = w*x + 4. Let c = 1 - x. Which is smaller: c or -3?
-3
Let h be 8/(-3) - -2 - 16/(-24). Let l = 6 + -4. Let c be -2 - 2*l/(-6). Which is smaller: c or h?
c
Let s be -1*2/(-4)*2. Let l be 2/(s/(-3)*-3). Which is greater: 6/5 or l?
l
Let x = 7/3 + -13/6. Let h = -1/3 - x. Is -2 greater than h?
False
Let w(o) = -o - 1. Let z be w(-4). Suppose 0 = -3*u + 3*a, -u - z*a - 6 = 2*a. Let m be (2/14)/(u/(-2)). Is m > 0?
True
Let x(b) = -b**3 - 5*b**2 - b - 3. Let u be x(-5). Which is bigger: u or 0?
u
Let k be (2/1)/((-56)/21). Which is bigger: -2 or k?
k
Suppose 0*p - p = 4. Let k = p + 5. Which is smaller: k or -1/4?
-1/4
Let u be (1/10)/(5/20). Let a = -0.4 - -1.4. Is a equal to u?
False
Let t = 21 + -26. Is t >= -9?
True
Let n be (-2 - -10) + (1 - 2). Let p(f) = 1 + 1 - n + f. Let u be p(4). Which is bigger: 0 or u?
0
Let b = 1 - -2. Suppose 0*u + 3 = b*u. Which is greater: 2/15 or u?
u
Let p be -4 + 7/((-21)/(-12)). Let n(g) = g**3 - 8*g**2 - 10*g + 10. Let k be n(9). Are p and k nonequal?
True
Let b be (-1 - (-22)/(-18)) + 2. Is b less than or equal to -5?
False
Let i = -397/1144 + -4/143. Does i = -1?
False
Let q be (-40)/(-30)*(-1)/(6/(-45)). Which is smaller: q or 13?
q
Let n = -10 - -5. Let w = 0 - -1. Let p be (1 + w)/(7 + n). Which is smaller: p or 2?
p
Let c be 6/22*(-6)/3. Does -1 = c?
False
Let t = -0.045 + 0.405. Is 0 smaller than t?
True
Let m = -7 - -16. Let q = m - 8.8. Which is smaller: 0.07 or q?
0.07
Let t = 0.64 + -0.67. Which is smaller: -7 or t?
-7
Let v(z) = z**2 + 13*z + 6. Let p be v(-11). Is p less than or equal to -16?
True
Let v = -1 - -1.03. Which is greater: v or -2?
v
Let u be 4 + 1*2*-1. Suppose u*v - 4 = -2*v. Is v equal to 1/3?
False
Let i = 4 - 1. Let g = -2 + i. Let r = -6 + 8. Is g < r?
True
Let u be (1*-2)/(1/1). Let z = 0 - u. Let q be (-4)/(-14) - 12/(-7). Is z smaller than q?
False
Let j = 15 + -14.1. Let x = -0.1 - j. Let u = -0.01 + 0.01. Is x > u?
False
Suppose 0*q + y - 5 = q, 0 = -2*y + 6. Suppose 0 = -5*c + 4*v - 9*v, -4*v + 4 = 2*c. Is c equal to q?
True
Let q = 22.03 + -22. Which is greater: q or 3?
3
Let p = -2 + 2.8. Let f = -0.2 - p. Which is greater: 3 or f?
3
Let b be 1/5 + (-10119)/(-675). Let y = b - 136/9. Are y and -1 equal?
False
Let j = 38/63 + -8/9. Which is smaller: j or 0.21?
j
Let i be