
Suppose 0 = -2*p - u - 3*u - 14, 4*p + 2 = 5*u. Let a be p/(((-21)/2)/(-7)). Which is bigger: a or -1?
-1
Let a = 4 + -4.5. Which is smaller: -2 or a?
-2
Let v = -76 + 77. Let w = 4 - -60. Let f be 2 + -4 + w/30. Is v greater than f?
True
Suppose 0 = -5*y + y + 32. Let o = 25 - 16. Is y greater than or equal to o?
False
Let v = -1300 + 148199/114. Which is greater: 1 or v?
1
Let y = -131/84 - 3/28. Let h be 15/10*-2 + 0. Which is bigger: h or y?
y
Let u = -14 - -7. Let g = -6 - u. Which is smaller: -1 or g?
-1
Suppose -9*h = -13*h + 56. Let o be (96/(-364))/(4/h). Which is smaller: o or -2?
-2
Let h = 0.29 + -0.19. Are h and 2.1 non-equal?
True
Suppose -18 = -2*l + 4*v, 6 = -l + v - 2*v. Is -16/11 > l?
False
Let i be 22/18 + 0 - (-34)/(-153). Are i and 3/35 non-equal?
True
Suppose 4*a + a = -m + 160, -3*m = -a + 32. Let r = a + -65/2. Are -2/7 and r unequal?
True
Suppose 0 = -3*d - 0 + 6. Suppose 0 = 5*s - y + 3, -4*y - 5 = -5*s + d*s. Let w = -37 + 36. Are s and w unequal?
False
Let j(h) = h + 2. Let k be (-6)/((-2)/(4/(-3))). Let m be j(k). Is 1 > m?
True
Suppose 5*y + 126 = 46. Does y = -15?
False
Let h be (3/(-2))/((-7)/(-14)). Do -14/5 and h have the same value?
False
Let x be (-4)/8 - 2/(-4). Let q(c) = c**2 + 6*c - 7. Let z be q(-7). Is x bigger than z?
False
Let a = 0.06 - -0.04. Let s = 14 + -10. Let i be (s/(-12))/(0 - -1). Is i bigger than a?
False
Let v = -1/180 - 1/20. Are v and -2 nonequal?
True
Suppose -4*f + r + 13 = 2*r, -2 = f - 5*r. Let q be -8*((-9)/(-6))/f. Is -4 bigger than q?
False
Let w = 0.18 + 20.82. Are 1 and w equal?
False
Let w(l) = l**2 - 6*l + 2. Let h be w(4). Let v be 4/14*(-14)/h. Are -2/7 and v non-equal?
True
Let u = 0.4 + -0.6. Let n = 0.3 + u. Let c = -0.3 + n. Are -1 and c equal?
False
Let j(w) = w**2 + w + 2. Let f be j(-5). Let c be f/40 - 24/32. Suppose 0 = -2*v + 3*m + 14, 3*v - 10 = 5*v + 3*m. Which is smaller: c or v?
c
Let l = -3 - -2.9. Let z = -0.1 - l. Let a = -351 + 352. Are a and z nonequal?
True
Suppose -2*q = 5*q. Do 3/10 and q have different values?
True
Let z be 0 + -1 + -2 + -1. Let o be (6/z)/(27/441). Let v = o + 24. Is -2 less than or equal to v?
True
Let m = 4.3 + -3.3. Which is smaller: 42 or m?
m
Let c = -9/2 + 5. Is 16 >= c?
True
Let l = 15.7 - 15. Let x = l - 1. Let h = -0.7 + x. Are h and -1/5 non-equal?
True
Suppose 2 + 0 = -2*n. Let x be (13 - (-6327)/(-486))*(0 - 2). Which is bigger: n or x?
x
Suppose 0 = -2*h + 3*h. Let l be (-4)/(-5)*1015/14. Let z be 3/6 + (-33)/l. Are z and h equal?
False
Let t = -0.2 + 1.1. Let p = -4 + 3. Let m = t + p. Which is greater: -1 or m?
m
Suppose -d + 2 = 4*d - o, -2*o = -3*d + 4. Let f = -2 - d. Let i be 2/4*(f + 2). Is i at most as big as -2/7?
False
Let d = 0 + 0. Let w(u) = 0*u**2 + 7*u - u**2 - 6*u. Let s be w(d). Is 1 greater than s?
True
Let q = -2.28 + -6.82. Let v = q - -9. Is v > -2/15?
True
Let d(p) = -p**3 - 11*p**2 + 3*p + 2. Let y be d(-6). Let l be (38 - 2)*82/15. Let o = y + l. Which is smaller: 0 or o?
0
Let g(q) = q**3 - 8*q**2 + q - 8. Let o be g(8). Let l = 4 + o. Let n = -3 + l. Are n and -1 equal?
False
Let w(d) = -d**2 + 5*d + 10. Let x be w(7). Is x less than or equal to -3?
True
Let d = -0.6 + 1.1. Let t = -0.49 + d. Let x = t - 0.01. Which is bigger: x or 1?
1
Suppose 3*f = 5*f. Suppose 5 = l, w - 35 = -2*l - f*l. Suppose -h + t + 5 = 0, -h - 3*h = -5*t - w. Is h < 1?
True
Let w = -8 + 15. Let g(s) be the second derivative of s**4/12 - 7*s**3/6 + 3*s**2/2 - s. Let i be g(w). Is i equal to 2?
False
Let x = 2 + -2. Let j = x - -1. Let q = j + -2. Is q at most -1?
True
Suppose -3*s + 46*b - 48*b = 31, 5*b + 46 = -4*s. Let h = -17 - -8. Is h < s?
False
Suppose 175 = -5*r - 75. Let o be r/(-4)*(-20)/(-25). Let f be (-4)/o + (-38)/(-120). Which is greater: -1 or f?
f
Let i = -2.01 + 0.01. Let h = i + 2. Let j = h - -0.2. Which is smaller: j or 1/2?
j
Let d = -2 + 0. Let s be 3 + 543/(-4) + -2. Let u = 134 + s. Which is smaller: u or d?
d
Suppose 0 = -2*y + 3 + 5. Suppose -4*i + f = 0, y*i - 2*f - 12 = 2*f. Are 1/5 and i unequal?
True
Let i = 1244/7 - 178. Which is smaller: i or 0.5?
i
Let l = -10.7 + 12. Let h = l - -7.7. Let y = h - 7. Is y less than or equal to 0.2?
False
Let m(r) = 17*r - 1. Let k be m(-1). Let a be (-9)/(-6)*(-8)/k. Which is smaller: a or 0?
0
Suppose -5*m - 4 = p + 3, p - 1 = 3*m. Let w = -1 - m. Let s be ((-6)/(-8))/(3/(-2)). Is s != w?
True
Let z = -835/1124 + -2/281. Do z and -0.06 have different values?
True
Let s be ((-1)/3)/((-2)/(-6)). Let g be 3 - (4/(-10) - -3). Which is smaller: g or s?
s
Let b = 179 + -80. Are 99 and b non-equal?
False
Suppose 4*p + 4*r = 0, 0*p = 4*p + 3*r. Suppose 3*q - 1 - 6 = l, -4*l - 2*q + 14 = p. Which is greater: -0.2 or l?
l
Let f be 8/6 + 8/12. Suppose -t + 5 = f*b, b + 4*t + 5 + 3 = 0. Suppose 15 = b*n + n. Is n < 0.1?
False
Let k = -69.1 - -69. Which is smaller: 9 or k?
k
Let z = 0.83 - -0.17. Is -9 equal to z?
False
Let r be (12/8)/(6/8). Let v be -2 + r + 3/(-3). Which is greater: v or 0?
0
Let w be -1 - 3/38*-12. Which is smaller: w or 0?
w
Suppose 0*y + 11 = -y. Let t = y + 7. Let q be 1/4 - (-33)/12 - 5. Which is smaller: t or q?
t
Let t = 17 + -13. Let w = 0.2 + -0.1. Is t equal to w?
False
Suppose -4*z = -6*z + 4. Let l be (3/6)/(z/24). Suppose -2*i = -l*i + 4*c + 12, 0 = -2*i + 4*c + 14. Which is smaller: -2 or i?
-2
Let z be ((-2)/3)/(4/94). Let p(l) = 5*l + 10. Let k be p(-5). Let f = z - k. Which is greater: -1/5 or f?
-1/5
Suppose -4*x + 3*u - 118 = 0, 4*u = -x + 4*x + 85. Let z = -153/5 - x. Is z smaller than 1?
True
Let w(t) = t**2 - 3*t - 4. Let k be w(4). Let s = 3 - k. Is s less than 3?
False
Let o = 0.2 - 1.2. Suppose -4*j - 3*d + 10 = 0, -4*j + d + 22 = 4. Is j less than o?
False
Let f = -58/5 + 184/15. Let l = 6 + -4. Are f and l nonequal?
True
Let x = 2 + -2. Let c = -5 - -4. Let b = x - c. Is b at most 3/5?
False
Let n(q) = -6*q - 3*q**2 + 5 + 0*q**2 + 2*q**2. Let p be n(-6). Suppose p*y + 2 = 2*h - 0, 0 = -4*h - 3*y + 4. Which is smaller: 3/2 or h?
h
Suppose 0 = 3*b + 4*w - 8, 2*b - 2*w + 8 = 2*w. Which is bigger: b or -2/37?
b
Let i = 15 + -14. Is 3/8 at most i?
True
Let y be (4 - -4) + 0/2. Let u be ((-5)/(-2))/((-4)/y). Which is greater: -4 or u?
-4
Suppose 5*z - 8*t + 25 = -3*t, 3*t = 5*z + 35. Let s = z - -18. Suppose -5 + 0 = -4*v + f, 3*v = 5*f + s. Which is smaller: v or 2?
v
Let a = 3 - 3.06. Let p = 0.13 + a. Is -1 at most p?
True
Let q(j) = j**3 + 4*j**2 - 4*j + 7. Let l be q(-5). Suppose -5*a + 7 + 9 = -2*t, 16 = -2*t - l*a. Is -7 < t?
False
Let a = -5316/95 - -13441/3420. Let f be (-1)/(-1)*209/(-4). Let n = f - a. Is 0.1 > n?
True
Let a = 34 - 33.04. Let p = a - -0.04. Suppose 1 = -6*x + x + 4*o, 0 = -3*x + 2*o - 1. Which is greater: x or p?
p
Let h = -1007 + 7061/7. Which is smaller: h or 3?
h
Let t(d) = -3*d**2 + 2*d**2 + 1 + 5*d - 2*d. Let j be t(2). Let h = j - 2. Is h >= 1?
True
Suppose -3*u - 5 + 23 = 0. Let n(w) = w**2 - 5*w - 6. Let v be n(u). Which is greater: v or 1?
1
Let c(i) = i**2 - 6*i + 3. Let p be c(6). Let q be ((-28)/(-70))/(1/5). Which is smaller: q or p?
q
Let t be (10 + -13 - 1) + 4*1. Let y be 6/15 + 56/110. Which is smaller: t or y?
t
Let s = 9 + -11. Let h be s/(32/(-42)) + -3. Which is greater: h or 1?
1
Let s = 0.08 - -0.02. Let p = -0.13 - -5.13. Which is smaller: s or p?
s
Let w = 0.15 + 5.85. Let t = 4 - w. Is 2 < t?
False
Suppose -5*f + 5 + 0 = 0. Suppose -2*r + 6 = 2*b, 2*r - 15 = 3*r - 5*b. Suppose z = -r*z + f. Does z = -2/9?
False
Let r(g) = g**2 + 7*g + 5. Let d be r(-5). Let x(b) be the first derivative of -b**4/4 + b**3 + 2*b**2 - 6*b + 3. Let k be x(4). Is k bigger than d?
False
Let x = -0.17 + 0.17. Which is greater: x or -4?
x
Let o be 1/(-3) + (-1)/(-9)*3. Which is smaller: -3/23 or o?
-3/23
Let b be -15*(-4)/(6 + -2). Which is bigger: 16 or b?
16
Let l(n) = -5*n - 13. Let q(u) = -4*u + 10*u + 27 + 5*u. Let m(d) = -13*l(d) - 6*q(d). Let w be m(9). Which is greater: -1 or w?
-1
Suppose -3*j + 6*q = q - 105, -2*j + 48 = 4*q. Is 29 > j?
False
Let j be 8/16 - (-34)/4. Is 10 bigger than j?
True
Let l(z) = -z**3 + z - 5. Let y be l(0). Which is greater: y or -6?
y
Suppose 2*c + 2 + 0 = 0. Suppose -4*f - 8 = -3*n, 3*f = f + 5*n - 4. Which is smaller: f or c?
f
Suppose -3*r = -5*q + q - 6