ppose -2*u + 6 = y. Does 2 = u?
False
Let r = 37/3 + -887/69. Which is bigger: -1 or r?
r
Let d be 19/(-38)*(2 - 1). Which is smaller: -2 or d?
-2
Let j be 2/4 - (-3)/(1110/(-155)). Let r = 1/37079 - 1298246/17834999. Let k = j - r. Which is greater: k or 1?
1
Suppose 2 = i + 4. Let d = -1 - -1. Let p = -3 + d. Do p and i have the same value?
False
Let o = 11 - 10. Let z be -8 + 5 - (2 + o). Are -6 and z non-equal?
False
Let j = -91.04 + 93. Let q = j - -0.04. Let p = 8/9 + -25/18. Which is smaller: p or q?
p
Let w = -9.99 + -0.01. Let a = w - -11.5. Let z = 1 - a. Which is greater: z or 1?
1
Let i be (3 + 218/(-66))*(-9)/5. Is i greater than 1?
False
Let a = 6 - 7. Let s = 2 + a. Is s bigger than 0.4?
True
Let o = -58 - -233/4. Which is smaller: -8/5 or o?
-8/5
Let l be (4/(-3))/((-6)/(-16)). Let i = -26/9 - l. Which is smaller: 2 or i?
i
Let w = -0.05 + -1.95. Let n = w + 1.7. Is n greater than or equal to -1/3?
True
Let b(j) = j**3 + 7*j**2 - 8*j - 2. Let h be b(-8). Let q be ((-164)/(-24))/(h/(-10)). Let u = -2251/66 + q. Is u < -1?
False
Let u(r) = -r**3 + 5*r**2 + 6*r + 2. Let n be u(6). Suppose 3*i + 2*h - 1 = 0, 2*i + 2*h + 4 = n. Are 3 and i non-equal?
False
Let r be 6/18 + (-4)/(-6). Let g be (-1)/(-6)*(-9)/6. Which is greater: g or r?
r
Let l = -16 + 15. Let d = -0.04 - -2.04. Let a = l + d. Is -1 > a?
False
Let c be 0/((-1)/(-4) - 7/(-4)). Which is greater: c or -7/5?
c
Let y be (-2)/(-1) + (-48)/30. Is y bigger than -1?
True
Suppose 2*h + p + 12 = 5*p, 11 = -4*h - 5*p. Suppose -5 = o - 1. Is o > h?
False
Suppose 5*z - 5*q + 480 = 0, -2*z + q - 181 = 6. Which is greater: z or -90?
-90
Let r = -24.4 - -8.5. Let a = 15 + r. Let n = a + -3.1. Which is smaller: n or 1?
n
Suppose -2*m = -m - 17. Suppose -m = -3*k + 1. Is 5 != k?
True
Let q be (-70)/15 + 5 - (-37)/(-39). Is q not equal to -2?
True
Let j = -169/72 + 20/9. Which is smaller: 0.1 or j?
j
Suppose -3*a + 13 = -5. Suppose -14 + a = 4*r. Which is smaller: -4 or r?
-4
Let p be ((-30)/(-4))/((-3)/(-4)). Let j be -2*(-7)/(84/66). Is p at most j?
True
Let r be 6*(1 - (-3)/(-2)). Let h be r - -14*4/32. Which is smaller: -1 or h?
h
Let w be (-3)/(-1)*(1 - 2). Suppose 2*z + 3 = -3*n, 10 = -5*n + z - 8. Let p(s) = -s**3 - 4*s**2 - 3*s + 1. Let h be p(n). Which is bigger: w or h?
h
Let n(u) = u**2 + 3*u + 5. Let f be n(-2). Are f and 4 equal?
False
Suppose 4*t = -3*i + 30, 0 = -2*i - 3*t + 5 + 15. Suppose 7*q = 43 + 34. Which is smaller: q or i?
i
Let t be (1/(-2))/(-2 + 1). Let x(y) = y**2 - 5*y - 5. Let i be x(6). Let a be (i/4)/((-3)/8). Is t equal to a?
False
Let x = 47/140 + -1/20. Which is smaller: -2 or x?
-2
Suppose 4*i + 13 = 6*p - 5*p, 2*p = -2*i - 14. Let k be p - 0 - (-4 - -1). Let o = -74/99 + 7/11. Which is greater: k or o?
k
Let y be (-14 - -16) + (-40)/18. Which is smaller: y or 1.4?
y
Let d = -3 - 5. Let v = 8 + d. Let s be v + 1/7 + -1. Which is smaller: s or -1?
-1
Let x = 8.84 + 0.16. Let d = x - 9. Which is bigger: d or 0.01?
0.01
Let p = -17 - -17.1. Is 0 at most p?
True
Let f = 2 + -14. Let h be ((-2)/6)/((-10)/f). Let r = -2.3 + 0.3. Is h < r?
False
Let v be 215/6*(-36)/(-8). Suppose -3*g + p - 4*p = 480, 0 = 5*p. Let d = v + g. Which is smaller: 1 or d?
1
Let l(y) = -y**2 + 6*y + 2. Let b be l(5). Suppose 2*s + s - 19 = 5*j, -4*s + b = -3*j. Let f be (-1 - -1) + 6/27. Is f <= s?
False
Suppose 3*k = a + a - 4, -5*k - 4 = -2*a. Suppose k = 15*j - 13*j - 6. Let x be (-18)/(-8) - (-2)/(-8). Which is greater: j or x?
j
Suppose -7*m + 72 = 16. Is m smaller than 8?
False
Let s = -6 - -5.7. Which is smaller: 0 or s?
s
Let p be (-18)/(-99) - 31/(-11). Is 13/3 at least as big as p?
True
Let f = -42 + 46. Which is smaller: -4 or f?
-4
Let l be ((-7)/(-2))/(1/2). Let a = -4 + l. Is 3 greater than a?
False
Let a = -0.16 + 0.56. Let o = 3 + -2. Is o > a?
True
Suppose 0 = 3*a - 0*l + 4*l - 5, -a = -5*l - 8. Suppose -4*c - 2*m + 13 = m, a*c - 4*m = 16. Are 3 and c nonequal?
True
Suppose -5*z + 37 = -2*x, 0*z - z + 29 = -4*x. Let s be (-4)/x + 220/(-285). Does s = -0.1?
False
Let w be 4/4 + (-278)/(-8). Let k = w + -37. Which is smaller: 0 or k?
k
Let c = -0.1 - 0.1. Let p = c + 0.21. Which is smaller: 0.1 or p?
p
Let v be (0 + -1 + 3)*1. Let z = -2 - -5. Which is greater: z or v?
z
Let w = -47 - -67. Let a be w/3*(-36)/(-15). Which is smaller: 17 or a?
a
Suppose 0 = 4*p - 9*p - 70. Is -13 > p?
True
Let u(z) = -z + 5. Let v be u(7). Suppose -2*g - 15 = -7*g, -g + 7 = -p. Let n be p/(-2) - 3/3. Is n greater than or equal to v?
True
Let y = 80/21 - -34/7. Which is smaller: y or 8?
8
Let o = 0.061 - 0.161. Are -4 and o equal?
False
Let d(k) = -6*k**2 - 2*k - 1. Let z be d(-1). Is -2 greater than z?
True
Let l(q) be the second derivative of q**5/20 + q**4/12 - q**3/6 + q**2 + 2*q. Let c be l(0). Which is greater: 6 or c?
6
Let p(t) = -t**2 - 6*t - 1. Let y be p(-6). Let v be (y/1)/(2 + -3). Is v at least 6/11?
True
Let t be -2 + -1 + 0 + 2. Let r be t/(-5) - (-8)/35. Suppose 2*p = 4*p - 2. Is r less than or equal to p?
True
Let r = -561/10 - -56. Is r greater than 1?
False
Let n(k) = k**2 - 6*k - 2. Let m(h) = h**3 - 5*h**2 + 6. Let l be m(5). Let q be n(l). Which is smaller: q or -2/3?
q
Suppose -5*f - 4 = 4*v, 3*f - 1 = v + 2*f. Let x be -1 - ((0 - v) + -1). Is -5/3 smaller than x?
True
Let b be 54/168 - 1/7. Which is smaller: 1 or b?
b
Suppose -1 = 2*q + 3*t, t = -5 + 4. Do q and -4 have different values?
True
Let c(y) = -y**3 + 8*y**2 - 4. Let m be c(8). Is m < -5?
False
Suppose 0 = -10*m + 5*m. Which is smaller: 2/155 or m?
m
Let c = 10 - 8. Let d be ((-2)/(-3))/(c/15). Are 5 and d nonequal?
False
Let i = -7.3 - -7. Let j(h) = h. Let t = -4 - -5. Let k be j(t). Is k at least i?
True
Let l(j) = 2*j + 11 - 6*j - 2*j**2 - 4*j - 5. Let f be l(-6). Let k be ((-8)/(-28))/(f/(-14)). Is 0 at most k?
True
Let m be -2*(2/4 - 2). Suppose -i = -m*i. Which is bigger: i or -6?
i
Let j = 19 - 12.6. Let t = -1.4 + j. Is 0 equal to t?
False
Suppose 2*v - 20 = -4*m, 3*m = 7*v - 5*v + 8. Let g(z) be the third derivative of z**5/60 + z**4/12 - z**3/2 + z**2. Let b be g(v). Is b at least as big as 2?
True
Suppose 4 = -w + 6. Suppose -w*r - 4*s + 28 = s, -3*r - 4*s = -28. Suppose -2 = b - r. Is 1 greater than or equal to b?
False
Let r = 50 - 201/4. Is r at most -0.3?
False
Let k be 6/4 + -3 + 2. Is k <= 0?
False
Let o(y) = -y**3 + 7*y**2 + y - 3. Let r be o(7). Let b be 1/(3 - r/2). Let k be (-2 - -5) + b*-1. Is 0.1 >= k?
False
Let x = 11 + -12. Which is smaller: x or 2/13?
x
Let j = -2.2 - -2. Which is greater: 6 or j?
6
Suppose l = -k + 7, 24 = -k + 3*k + 4*l. Let n be 51/15 - k/5. Suppose -n*p = -8*p + 10. Is p greater than or equal to 0?
True
Let l be (-4)/3*(-12)/8. Suppose 0 = 6*g - 2*g + 28. Let q = -3 - g. Which is bigger: l or q?
q
Suppose -6*g - 3*s + 12 = -2*g, 2*g - 6 = -5*s. Is 3 >= g?
True
Let u = -5 + 2. Let c = -7.2 + 10.1. Let v = u + c. Do v and 1 have the same value?
False
Let v = -65 + 66. Which is greater: 13 or v?
13
Let o = 41 + -19. Are -1 and o non-equal?
True
Let b(s) = s**3 - 3*s**2 + s + 2. Let r be b(2). Suppose -3*p - 4*f = -4*p + 8, r = -3*f. Which is greater: p or 7?
p
Let f = -15 + 13.2. Let h = f - -0.8. Is 11 smaller than h?
False
Let c be 4/(-14)*(-44)/(-8). Which is smaller: -1 or c?
c
Suppose x + 0*x = -1. Let j be 2/((-1)/x*-2). Is j greater than or equal to 0?
False
Suppose -4*f + f = -15. Is 5 less than f?
False
Suppose 5*v = 0, 5*v - 2 = -3*a + 37. Is a at least 12?
True
Let m(r) = -r**2 + 10*r + 2. Let z be m(9). Let q = z + -7. Suppose 0 = -5*y - 5*h - 40, 13 = -y - q*h - 10. Which is smaller: y or -2?
y
Let v(z) = 2*z - 13. Let l be v(9). Suppose m = 5*m + 2*b - 12, -4*b + 8 = 0. Which is bigger: l or m?
l
Let o(x) = x**2 - 15*x - 13. Let q be o(16). Which is smaller: q or 4?
q
Let k(i) = -i**2 + 9*i + 8. Let m be k(9). Let s = -6 + m. Does -1/3 = s?
False
Let l be (-2020)/(-660) + (1 - 4). Which is bigger: l or -1?
l
Let n = 88 - 1158/13. Let d = n - -109/65. Is 1 smaller than d?
False
Let g = -1693/2 + 876. Let n = g - 30. Let q be (-2)/(-1) + (-20)/6. Which is smaller: q or n?
q
Let a = 198593/105 + -42628/21. Let o = a + 693/5. Is o at least as big as 1?
False
Let r be (83/(-10))/((-2)/4). Let v = r - 591/35. Does -1 = v?
False
Suppose 4*t = -3*b