 non-equal?
True
Let z be 192/36*(-14)/8. Which is greater: -10 or z?
z
Let s = -4 - -5. Suppose 5*c - 5 = -3*b - 2*b, -3*b - 4*c = -s. Which is greater: 2 or b?
b
Suppose 50 = 2*f + 2*v + 2*v, f + 5*v - 31 = 0. Which is smaller: f or 20?
20
Let h = -0.39 - -0.79. Let z = 1 + -4. Is z less than or equal to h?
True
Let o(c) = -c**2 + 16*c - 8. Let p be o(15). Is 29/5 bigger than p?
False
Let u be -1*3 + (-52)/(-18). Suppose -2*k + 0*k = 0. Let b be 1 - (-1)/(-1)*k. Which is smaller: b or u?
u
Let j = -5 + 4. Suppose 0 = -2*o + 6*o - 8. Suppose 5 = -3*q + o. Are q and j nonequal?
False
Let p = -0.001 + 32.001. Is 1/3 >= p?
False
Let y(s) = s + 2. Let q be y(-4). Let m be 1/(-2)*(-4)/q. Let f = 11/7 - 85/63. Is m equal to f?
False
Let t = 4 - 4. Let g = 815057 - 41565431/51. Let v = -146/3 + g. Which is greater: v or t?
t
Let t(l) = l**2 - 5*l - 10. Let k be t(7). Let g(x) = x**3 - 5*x**2 + 7*x - 5. Let o be g(k). Is o at least 6?
True
Let q(u) = -u**2 - 5*u + 1. Let i = -6 - 0. Let z be q(i). Is z > -6?
True
Let t be (6/(-4))/(34/10 + -1). Let q = 0 - 1. Is q equal to t?
False
Let p = -429 + 422. Let o be (-3)/(-2*(-1)/4). Which is smaller: o or p?
p
Suppose -2*r - r = -6. Suppose -5*b + 5 = -r*f - 11, -2*b = 5*f + 11. Let d be (-9)/f - -1 - 3. Is -2/17 < d?
True
Let s = -12 + 36. Let p = s + 15. Let z = -192/5 + p. Which is smaller: z or 0?
0
Let b be -2 - (-3)/(12/14). Let t = -0.03 - -0.02. Let x = t - 0.19. Is x greater than b?
False
Suppose -4*d + 6 = -3*b, -2*b - 5 = 4*d - 1. Suppose 2*c + d*c = 2. Which is greater: 4 or c?
4
Let q = -14.83 - -15. Let g = q + -0.17. Is g at least -1?
True
Let m(r) = 3*r + 8. Let n be m(-5). Is -7 smaller than n?
False
Let a = 13 + -123. Let i = 1099/10 + a. Is i < 1?
True
Let o be -3*(-28)/(-17) - -4. Let b = o - -107/204. Is -1 equal to b?
False
Let i = 6 + -10. Let l = 4 + -3.95. Let u = -0.05 - l. Is i < u?
True
Suppose 5*a = -2*k - 0*a + 10, -a = 2. Is k >= 11?
False
Let b(y) = -2*y - 3. Let m be b(-6). Let u be (12/(-42))/(2/m). Which is bigger: -2 or u?
u
Suppose -5*v + 6 = -x + 35, -x - 1 = v. Let j be 0*(1 - 6/x). Suppose z + 1 + 0 = j. Which is smaller: -1/5 or z?
z
Suppose -2*c - 7 = -1. Is 0 less than c?
False
Let h be 3 - 1 - 301634/6510. Let b = 2/3255 + h. Let k = -44 - b. Which is bigger: -2/3 or k?
k
Let a = -44 + 32. Which is smaller: a or -13?
-13
Let z = -1 - -4. Suppose -4*w = -i + 11, -i - 6 = z*w + 4. Is w bigger than -1?
False
Let b = 14 - 9. Let p = -6 + b. Is 0 less than or equal to p?
False
Let p = -1 - 0. Let n = 0.24 - 0.27. Is p greater than n?
False
Let d(s) = 4*s**3 + s**2 - 2*s + 1. Let h be d(1). Suppose 0 = 4*a - 4 - h. Is 5 bigger than a?
True
Let r = -2 - -3. Suppose 2*h - v - 12 = -5*v, 12 = -2*h + 4*v. Is h > r?
False
Let x = -99 - -99. Which is bigger: x or 2/101?
2/101
Let z be (-4)/(-8) + 51/24. Is z greater than or equal to 4?
False
Let y(n) = -n**3 + 6*n**2 - 7*n + 5. Let o be y(5). Let c(z) = -z**3 - 4*z**2 + 6*z + 7. Let u be c(o). Which is smaller: u or -2?
-2
Let t(y) = 20*y**2 - 2*y - 3. Let m be t(-1). Is m greater than or equal to 20?
False
Let m be ((-42)/90)/(((-1)/3)/1). Which is smaller: 0 or m?
0
Suppose 32*m - 39*m - 42 = 0. Which is bigger: m or -24/5?
-24/5
Let k(x) = -x**2 - x - 6. Let u be k(-3). Which is greater: u or -57/5?
-57/5
Suppose -2*u = -u - 1. Let w be u - 3 - -1*3. Which is smaller: 2/3 or w?
2/3
Suppose 0 = k - 3*k + 2. Which is smaller: -4 or k?
-4
Let j = -1.3 - 12.7. Suppose 4*c - 17 = 3*n - 29, 4*c + 12 = 0. Which is smaller: j or n?
j
Let u be ((-249)/(-4))/(-1)*-4. Let a = -3235/13 + u. Does -1 = a?
False
Suppose -13 = -5*k + 2. Suppose g - 135 = -5*m, -3*m - 5*g + 88 = -k*g. Let u be -1*(-2 - m/(-12)). Is u > 0?
False
Suppose 27*a - 24*a + 63 = 0. Which is smaller: -22 or a?
-22
Let z be (-2)/(-4) - 6/(-4). Let x be z/4 - 15/(-10). Which is smaller: x or 1?
1
Let v be ((-30)/4)/5*2. Let f = -4 - v. Let k be f*2/(-12)*1. Which is smaller: k or 0?
0
Let o be (-2)/10*15*(-2)/(-24). Let x = 2.1 + -2. Which is smaller: o or x?
o
Suppose -3*l - 3 = 4*t, -5*t + l + 1 = -0*t. Suppose 24 = -4*f + 2*f. Let s be 8/f - 8/(-21). Is t equal to s?
False
Suppose s + 2 = -s. Which is greater: 2/17 or s?
2/17
Let r = 16 - 17.3. Let d = r - -0.3. Is 1 smaller than d?
False
Let b be 5 - 17 - (-3 + 0). Let k = -14 - b. Is k smaller than -5?
False
Suppose i = -i - 4. Let m be 3/(-6)*(-4)/i. Which is bigger: -1/14 or m?
-1/14
Suppose 2*p + 8 = 2*b, 3*p = -4*b - p. Suppose 4*q + b + 2 = 0. Let g = q - -5. Which is bigger: -2/5 or g?
g
Suppose 3*r + 5 - 20 = 0. Suppose -r*k - 20 = i, i - 5*i + 3*k = -12. Which is bigger: i or -2/15?
i
Suppose -68 = 2*g - 338. Let x = g + -949/7. Is x <= -1?
False
Let t = -33 + -2. Do t and -35 have different values?
False
Let n(t) = t**3 - 5*t**2 + 1. Let m be n(5). Suppose k - 11 = 5*s, m = -3*k - 4*s + 2*s. Let z(b) = b**2 + b. Let g be z(-1). Which is greater: k or g?
k
Let p(l) be the first derivative of 0*l**2 + 1/4*l**4 + 0*l - 5/3*l**3 - 2. Let k be p(5). Is k at least 1/3?
False
Let l be (2 - 172/85) + 0. Let x be (-8)/60*376/(-204). Let h = x + l. Which is smaller: 1 or h?
h
Suppose 0 = 2*f + 3*f + 40. Let n = f - -39/5. Let x = -93 - -92. Which is bigger: n or x?
n
Let z be (3/15)/(2/904). Let t = z + -90. Let a be ((-2)/(-3))/((-4)/6). Which is smaller: a or t?
a
Let g = 137.1 + -138. Which is smaller: g or -1/5?
g
Let s be (-27)/(-6) - (-2)/4. Suppose -2*l + 1 + s = 0. Suppose 0 = -5*c - 2*z, 0 = -c + 2*c - l*z + 17. Are -4 and c unequal?
True
Let u(j) = 3*j**2 + j**3 + j + 0*j**3 + 8 + 3*j**2. Let p be u(-6). Suppose 1 - p = m. Are 0 and m equal?
False
Suppose -5*x + v = -19, -8 = 5*x - 4*v - 39. Let s be ((-1)/(-5))/((-2)/(-18)). Do x and s have different values?
True
Let s be -3 + 4 + (-2)/(-4). Suppose -33 = -8*p - 3*p. Which is smaller: p or s?
s
Let s = -4 + 3. Let q be -8 + (-1 - -4) - 3. Let v = q - -55/7. Which is smaller: s or v?
s
Let p be (1/2)/(2/(-4)). Suppose 0 = -2*z + 4, 5*c + 3*z + 1 = -3. Let f be (-1)/c + (-26)/28. Is p != f?
True
Let d be 10/2 - 8 - 6/(-1). Is 3 smaller than d?
False
Let a(n) = -6*n + n**2 + 0 + 0 - 6. Let x be a(7). Which is greater: 2 or x?
2
Let b = -9 - -9. Let i = 3 + -2.9. Is b less than or equal to i?
True
Let y(n) = -n**3 + 14*n**2 - 11*n - 2. Let c(u) = -5*u**3 + 71*u**2 - 55*u - 11. Let a(h) = 2*c(h) - 11*y(h). Let j be a(11). Which is smaller: j or -2/11?
-2/11
Let t(x) = x**2 + 10*x - 14. Let q be t(-10). Let o be ((-3)/q)/((-2)/(-7)). Which is smaller: -3 or o?
-3
Suppose 360 = 2*j - 5*j. Let f be 2*2*(-9)/j. Let b(v) = v - 1. Let m be b(1). Are m and f nonequal?
True
Let m be 2/((-2)/8*-2). Suppose -k = 5*s - 17, 7*k = 3*s + 3*k - 24. Is s at most m?
True
Let d(a) = a + 5. Let w be d(7). Does w = 17?
False
Suppose 4*c = 194 - 26. Let m = -212/5 + c. Which is bigger: -1 or m?
m
Let h = 0.81 - 1.41. Is h < -5?
False
Let u be (17/5 - (-16)/(-40)) + -1. Is 7/8 greater than u?
False
Let h be -4 - (-413)/5*1. Let p = -3931/50 + h. Which is smaller: -1 or p?
-1
Let w be -8*1/(-2) - (89 - 3). Is -82 less than or equal to w?
True
Let g = 0 + 6. Let q be ((-8)/(-6))/(4/g). Is q greater than 4?
False
Suppose 0 = s - 3 - 1. Suppose 0 = 5*h - s*h + 3*k + 13, 18 = 4*h - 2*k. Suppose 4*w + 3 = 15. Which is smaller: h or w?
h
Let h = 1244445/22 - 56543. Let j = h + -45/2. Are -3 and j equal?
False
Let v = 10.58 - 9.6. Let j = v - 1. Which is smaller: j or -2/5?
-2/5
Let a = -14/5 - -112/15. Which is smaller: 0.1 or a?
0.1
Let o be 2/(-8) + (-11)/(-12). Is o at most as big as -12?
False
Let w = -0.04 + -0.96. Let x = -18.2 + 18. Is x bigger than w?
True
Let n be (-2)/3*(12 - -3). Which is smaller: -8 or n?
n
Let o(f) = -f**3 - f + 1. Let d be o(1). Let b be (d - (-5)/6)*-4. Let s(v) = 3*v**2 - 1. Let c be s(-1). Which is smaller: b or c?
b
Let t(f) = -f**3 - 5*f**2 - f + 5. Let h be t(-4). Suppose -j + 11 = -2*j. Let z = h - j. Is z <= -0.1?
False
Let c = 313/5 - 63. Let f = -8 + -1. Which is bigger: f or c?
c
Let o = -0.63 + 8.33. Let l = o - 8. Let j = 2 - 1. Is j >= l?
True
Let s be 3/(4*(-3)/(-8)). Suppose 0 = 5*w + s*f - 10, 2*f - 1 = w + 9. Is w greater than -1/5?
True
Let i be (-2)/(-3) + 22/(-24). Let y = -5 - -4.7. Let l = -1.3 - y. Which is bigger: l or i?
i