non-equal?
True
Let l = -72201/8 - -8992. Let w = l + 1775/56. Suppose -1 - 1 = x. Which is smaller: x or w?
x
Let t = 10 - 7. Let y = -6 - -6. Suppose -t*r = -6 - y. Which is bigger: r or 3/2?
r
Let u = 68952/473 - 1602/11. Do 1/2 and u have different values?
True
Let b(t) be the first derivative of 2*t**3/3 - t**2 - 2*t + 3. Let j be b(2). Let v(a) = -a**2 - 7*a - 6. Let x be v(-6). Is j less than x?
False
Let b = 2 - 2. Which is smaller: b or 2/29?
b
Let a = -1 - -3. Let b(t) = -t**2 + 3*t + 5. Let f be b(4). Suppose -a = x - f. Is x bigger than -1?
False
Let x = -17 - -26. Which is greater: x or 4?
x
Let d be (-15)/(-12) + (-9)/(-12). Let f(y) = y - 1. Let j be f(d). Let o = 67/3 - 22. Which is smaller: j or o?
o
Let d(c) = -c**3 + 7*c**2 - 6*c + 3. Let a be d(6). Suppose a*t + 3 + 3 = 0. Which is smaller: t or -2/3?
t
Let d be 7/(-5) - (-6)/(-10). Let i(s) = -4*s - 1. Let m be i(d). Are 7 and m unequal?
False
Let j = 13 - 11. Suppose 3*i + 0*m + 3*m = 27, j*m - 8 = 0. Which is smaller: 6 or i?
i
Let k = -3.9 - -4. Which is smaller: k or -0.2?
-0.2
Let o = 1 + -3. Let b be 2/7 - 69/21. Which is smaller: o or b?
b
Let v be 1*1/(2/4). Let q be v/(-5) + (-272)/(-780). Is -1 <= q?
True
Let o(a) = -a + 6. Let h = 2 + 0. Suppose -20 = -2*v - h*v. Let q be o(v). Are q and -1/7 equal?
False
Let y = -1.298 + -1.761. Let n = -0.041 + y. Let l = -3 - n. Which is bigger: l or 0.3?
0.3
Let d be 6/(-4)*(-16)/(-24). Let h be 2/(-4) - 6/4. Is h at least d?
False
Let j be (-3)/((-2)/(-4) + -2). Suppose -4*p + j*p = 2. Let i = 3/89 + -205/801. Which is bigger: p or i?
i
Let p(m) = 4*m + 2 - 1 + 3 + 5*m**2 - m**3. Let z be p(5). Let k be (-2)/3 + z/9. Is k bigger than 2?
False
Let n be (3/3)/((-1)/(-3)). Suppose -5*c - 16 = -3*r, -4*c + n - 5 = 3*r. Which is smaller: r or 1?
1
Let d = -1 + 1. Let p = d + 0. Let u = 39 + -41. Does u = p?
False
Let k = -39 - -27. Do k and -11 have different values?
True
Let g be 1 - 0 - (0 + -1). Let d = g - 1. Let f be 1/3 + (-10)/(-6). Which is smaller: d or f?
d
Suppose 5*p + 19 = 5*a - 1, 10 = -5*p + 3*a. Is p > -1/4?
True
Let u be (-6)/(-44) + (-5)/10. Let t be 0 + -1 + (1 - (-1 + 0)). Which is greater: t or u?
t
Suppose -2*x + 3 = -1. Suppose 15 = x*f - 7*f - 2*u, f = -u - 6. Which is greater: -3 or f?
f
Let f(r) = -r**3 - 7*r**2 - 8*r - 5. Let j be f(-6). Suppose -j*t - c + 4 = -4*t, 4*t = -2*c + 6. Let z = -1 + t. Which is smaller: 0.1 or z?
z
Suppose 3*w + 4 - 3 = j, 4*j + 2*w - 18 = 0. Let y = 12 + -8. Is j smaller than y?
False
Suppose -36 = 6*q + 6*q. Is 13 at most q?
False
Let t be 6/(-39) - 357/(-39). Suppose 0*n - 2*n = -16. Which is greater: n or t?
t
Let s(d) = d**2 + d + 5. Let f(r) = -r - 5. Let x be f(-5). Let o be s(x). Which is smaller: o or 4?
4
Let z = -10 - -6. Let a = 2 - 4. Is z >= a?
False
Let g(n) = n**3 - 11*n**2 - 3*n + 15. Let m be g(11). Let a = m - -11. Is -7 > a?
False
Let i(v) = v - 6. Let d be i(6). Let u be (d - 0) + (-3)/(-1). Is 4 smaller than u?
False
Suppose -i - 9 = 5*b, 0*i + i - 5*b + 19 = 0. Is -16 at least i?
False
Let z = 9 - 10. Suppose 4*v = v + 6. Let c be 3/v*8/(-6). Which is bigger: z or c?
z
Let q(b) = 2*b + 2. Let r be q(2). Let h be r/4*(-2 + 4). Let g be h/12 + 21/(-36). Which is greater: g or 4?
4
Let y = -19 - -20. Which is smaller: 25 or y?
y
Let i be 6/(-39) + 240/39. Let w = 26/5 - i. Which is smaller: -1 or w?
-1
Let j = 55 - 54.8. Is j at most as big as 41?
True
Let f = 104753/24 - 4368. Let i = f - -21/8. Is i >= 0?
False
Let s(z) = -z**2 + z. Let o be s(-1). Suppose r - 4*b = -5*b - 7, -b = 2*r + 14. Let c = r - -6. Which is smaller: c or o?
o
Let p(w) = -w**3 - 6*w**2 - 5*w + 1. Let z be -2*(-3)/(12/(-10)). Let q be p(z). Let c = 206/63 + -32/9. Which is bigger: c or q?
q
Suppose -5*b - 5 = 5*u, -3*u = -3*b + 2 - 5. Let q = -1 + -3. Let f be 9/15*q/(-6). Is b > f?
False
Suppose -3*s + 5 - 31 = 4*x, 5*s + 4*x = -38. Let t be (s/5)/(12/(-80)). Is 8 greater than t?
False
Let x = 3 + -2. Let h = 1879/40 + 565/8. Let r = -117 + h. Which is smaller: r or x?
r
Let h = 0 - 0. Suppose -v + 2*v - 18 = h. Suppose -5*x + v = -2*c, -c - 1 = 2*x - 10. Is 5 equal to x?
False
Let q be (-188)/3*12/14. Let k = q - -54. Which is bigger: k or 1?
1
Suppose -3*r = -4*r - 2. Suppose -l = -2 - 5. Suppose 0 = 3*j + 4*n + 2, l*n - 15 = 5*j + 2*n. Is j smaller than r?
False
Let f be (12/9)/(-4) + (-10)/15. Do 1/10 and f have the same value?
False
Let v = 1.4 + -0.4. Let i = 1.2 - v. Is 2 at most as big as i?
False
Let j = -8 - -3. Suppose 3*x - 2*x + 5 = 0. Let q be x + (-6)/(-9)*3. Is j >= q?
False
Let f = 0.3 - 1.3. Let d = 19 + -19.3. Are f and d nonequal?
True
Let f be 14/(-98) - (-16)/14. Which is greater: f or -1/22?
f
Let x = -91/396 + -2/99. Suppose 5*o - 9 + 4 = 0. Is x bigger than o?
False
Let i = 3 + 9. Suppose -3*j + j + i = 0. Do 8 and j have the same value?
False
Let p = 737/7 + -106. Is p smaller than -2?
False
Let t = 0.03 + -0.04. Let k = 0.21 + t. Which is smaller: 0 or k?
0
Let s(c) = c**2 + 30*c - 33. Let w be s(-31). Which is smaller: w or 0?
w
Let a(s) be the first derivative of -s**2/2 - s - 2. Let o be a(0). Which is greater: o or 0?
0
Let l = -11 - -3. Let w be -1*l/(-60)*5. Do 5/3 and w have the same value?
False
Suppose 0 = -5*v + 5*b - 10, 0 = 3*b - 9. Let g = 1 - v. Let p = 0.2 - 0.2. Is p less than g?
False
Suppose 3*o - 1 = -m, 3*m + 5*o + 2 = -3. Suppose 3*w = 2*w - 1. Which is smaller: w or m?
m
Suppose -17 = -5*y + 43. Suppose -5*d + y = -8. Suppose 2*b + 2*b = -d*t - 24, 0 = -4*b - 2*t - 14. Do 0 and b have different values?
True
Let n be 1 + ((-5)/1)/5. Let d be (-4)/14 + 51/7. Suppose -d + 4 = 3*o. Is n bigger than o?
True
Let b be -3 + -1 + (-1 - -29). Let k be b/(-15) + (-3)/(-5). Which is bigger: -5/3 or k?
k
Let v = 0.88 + -0.08. Let u = -0.4 + v. Which is smaller: u or 1?
u
Suppose 2*q - 6 = 4*q. Is q equal to -11/5?
False
Let j = 46.1 - 46. Which is greater: j or 3?
3
Suppose -5*b + b = 0. Let l = b + -2. Which is greater: -3/4 or l?
-3/4
Let l(z) = -4*z**3 - 2*z**2 + 3*z + 3. Let v(a) = -3*a**3 - 2*a**2 + 2*a + 2. Let x(m) = 4*l(m) - 5*v(m). Let r be x(3). Which is smaller: 0 or r?
r
Let p = -139 + 146. Which is smaller: 4 or p?
4
Let f(q) = -9 - 4*q**2 + 3*q**2 - 5*q - 3*q. Let m be f(-7). Let v = -57 - -282/5. Is v less than or equal to m?
False
Let w(u) = 10*u - 2. Let s be w(2). Let f be 0/1 - (-4)/s. Do -1 and f have the same value?
False
Let n = -0.8 + -0.2. Let q(r) = -3*r - 1. Let t be q(0). Is n greater than t?
False
Let p = -10.141 + 0.241. Let r = 10 + p. Is r >= 4?
False
Let j(f) = -f + 7. Let n(l) = -4*l. Let m be n(-2). Let h be j(m). Let v = h - -2. Is -2 at least v?
False
Suppose 6 = u + 2. Suppose 0 = -4*r - 2 - 2, 0 = -u*s + r + 5. Is 3 >= s?
True
Suppose 0 = 2*c - 4*z - 2, -c - 3*z + 16 = -6*c. Which is bigger: -8 or c?
c
Let u = -3.238 - -0.258. Let d = u + -0.02. Does -1/2 = d?
False
Let y be (-1 - 0)*(-6)/8. Let x(i) be the second derivative of i**3/6 - 5*i**2/2 - 2*i. Let k be x(7). Is y less than k?
True
Suppose 6*i = 3*i + 21. Let y = i - 7. Is y less than or equal to 0?
True
Let r = 139/4 + -35. Which is greater: r or -0.5?
r
Let u = 52.81 - 53. Are -0.1 and u equal?
False
Suppose -2*y = -2*n - 0*y + 6, -4*n - 2*y = 6. Let t be 25/280*(-10)/25. Which is bigger: n or t?
n
Let m = -30 + 213/7. Suppose 0 = -h - 3*h. Which is greater: h or m?
m
Let p = -1 - 0. Let l be -2 + p/4*-10. Let v be (0 - 1) + 2 + 1. Is l equal to v?
False
Suppose -2*s + 116 - 9 = 5*t, 4*s = -2*t + 46. Let m be 1/t*2*3. Suppose 3*q + 2*v = -6, 1 = -v - 2. Is m at least q?
True
Let d = 0.2 - 0.1. Let f = 3.9 + -3.7. Is d greater than f?
False
Let x be (-4 - 0)/((-4)/(-8)). Is x <= 0?
True
Let u = -15781/31 - -509. Which is greater: 0 or u?
0
Suppose 0*z - 5*q - 25 = 4*z, -25 = 5*q. Which is smaller: -1/17 or z?
-1/17
Let a = -37 - -37. Do 6/7 and a have different values?
True
Let r = -7 + 7. Suppose 5*z + 0 + 25 = r. Which is greater: z or -4?
-4
Let s(g) = -g**3 - 3*g**2 + 3*g - 4. Let c be s(-4). Let j(r) = r**3 + 6*r**2 - 9*r - 14. Let v be j(-7). Is c at least v?
True
Let t be 4/(-10) - 80/50. Let w be t/(-8)*2/2. Is 0.1 at least as big as w?
False
Let f be 47/7 + -4 - 3. Which is bigger: 10/9 or f?
10/9
Let c = -2.93 - 0.07. Let r = 1 + c.