0)*(-75)/20. Are 1 and i non-equal?
True
Let l(d) = d**3 - 3*d**2 - d + 1. Let k be l(3). Let a be ((-24)/5 - k) + 3. Which is bigger: 1 or a?
1
Suppose -7 - 33 = 2*f. Let x be ((-4)/(-10))/((-4)/f). Let a be x/(-8)*10 + 3. Is 2 at most a?
False
Let f = -51 + 57.4. Let l = 7 - f. Let k = l - 0.5. Which is greater: k or 0?
k
Let d(v) = v**2 - 5*v + 1. Let i be d(5). Which is greater: 24/23 or i?
24/23
Let r = 88.7 - 76.68. Let d = r + -12. Let p = -0.2 + 0.2. Is d at most p?
False
Let a = -382 + 5728/15. Is 1 greater than a?
True
Suppose 3*l + 5*i = 13, -3*l + 3*i = -14 + 17. Which is smaller: -3/56 or l?
-3/56
Suppose -o - 118 = o. Is -58 equal to o?
False
Let h = -13 - -9. Suppose 4*v - 7 = -3*g, -4*v + 3 = -3*g + 2. Let o be (-3*(-8)/(-6))/g. Is h at least o?
True
Let f(i) = i**3 - 7*i - 8. Let z be f(-1). Let h = 1 - -1. Suppose 0 = -2*s - h*s. Which is smaller: s or z?
z
Let s = -4821/11 - -438. Which is smaller: 0 or s?
s
Let b(k) = -2*k**3 + 2*k**2 - k. Let p be b(1). Let w = 1/1271 - -414341/6355. Let g = -65 + w. Which is bigger: p or g?
g
Let m = 13 - 14. Let g = -4.9 - -5. Is m at least as big as g?
False
Let j(c) = -3*c. Let m(d) = d**3 - 3*d**2 + 3*d. Let o be m(2). Let g be j(o). Let v be (g/(-4))/((-4)/8). Is v != -4?
True
Let o = -7 + 12. Suppose -3 = -n + 2*n + 4*z, o*n - 9 = 4*z. Is 0 >= n?
False
Suppose 6*v - 5*v = 0. Which is smaller: -3/5 or v?
-3/5
Let c(q) = -3 - 3 + q**2 - 4*q + 5 + 4. Let j = -1 + 4. Let b be c(j). Which is bigger: b or 2/19?
2/19
Let y(u) = -2*u**2 - 3*u - 1. Let x be y(-2). Let q be 1 - (4 + 0) - x. Which is smaller: q or -3/16?
-3/16
Let h(l) = -l - 7. Let f be h(-7). Suppose 4*q - 4 = f, 18 = -5*m + 3*q - 0. Which is bigger: -2 or m?
-2
Suppose 0 = 3*c - 11 - 4. Is 5 at least c?
True
Suppose -3*v - 13 + 1 = 0. Let o be 0 - (9/(-3) + 1). Suppose -5*k + 10 = -4*t, -3*k - 3*t - 25 = o*k. Which is bigger: v or k?
k
Let o = -0.22 - -0.52. Is o smaller than 0.3?
False
Let q = -1.411 - -1.36. Do q and 0.1 have different values?
True
Let c be (2/2)/1 + (-4 - -30). Is c smaller than 26?
False
Let b = -52/15 + 11/3. Let v = -8 - -7.88. Let a = -2.12 - v. Do a and b have the same value?
False
Let h(q) = 5*q**3 - 4*q**2 - 3*q + 4. Let g(f) = -4*f**3 + 4*f**2 + 2*f - 3. Let m(w) = 4*g(w) + 3*h(w). Let z be m(4). Let n = z + 5. Which is greater: 2 or n?
2
Suppose -c = 3*v + 2*c, -5*c = 3*v. Let r be -2 + 2 - (-1 + 2). Let h be r/7 + 0/(-2). Which is greater: h or v?
v
Let a(u) = 3*u**3 - 17*u**2 - 8*u + 6. Let p be a(6). Let b be 31/4 - 2/(-8). Suppose -4*g - b = -0. Which is greater: p or g?
g
Let t be ((-6)/2 - -2) + 2. Let o = 5 - 8. Let c = o + 4. Is c smaller than t?
False
Suppose -11 = -5*y - 1. Suppose y*z = 6*z. Which is smaller: z or 1?
z
Let n be (-1)/(-1)*0*-1. Suppose 10 = -31*j - 52. Is n > j?
True
Suppose 3*t - 1187 = -221. Let n = -3229/10 + t. Let h = -2/5 - n. Is 1 > h?
True
Suppose 0 = 5*m + 3*n - 23, -4*m - 2*n = -0*n - 20. Let w(b) = -19*b - 49. Let l be w(-3). Which is smaller: l or m?
m
Let i = 2.95 - -0.05. Let y = 3.1 - i. Let x = 0.3 - y. Which is smaller: -2 or x?
-2
Let x be ((-1)/3)/(-6*(-6)/108). Let d = 0 - 0. Which is smaller: x or d?
x
Suppose 0 = 5*v - 2*v. Let r(f) = f**3 + 3*f**2 + 2*f - 2. Let g be r(-2). Let q = g + v. Which is greater: -1/2 or q?
-1/2
Let l be -1 - 3 - -1 - -1. Let s(h) = h**2 - 3*h - 3. Let u be s(5). Suppose 3*f - 1 = -u. Is l not equal to f?
False
Let k(n) be the second derivative of n**3/3 + 5*n**2/2 + n. Let z be k(-4). Suppose 0 = 3*v - 17 + 2, 0 = 4*d + 5*v - 13. Is z less than or equal to d?
True
Suppose 7*j = 2*j. Suppose -3 = k - j*k. Is k less than or equal to -4?
False
Let p = 0 + 0. Let q be (7 - (2 - p))/(-6). Which is bigger: 0 or q?
0
Let a(z) = -3*z - 14. Let n be a(-4). Suppose 3*p - 12 = 0, -v - 18 = -5*p - 0*p. Suppose 0 = 3*g - v*g - t + 6, -16 = 2*g - 3*t. Is n at least g?
True
Let n = 0.1 - 0. Is 1 bigger than n?
True
Let a = -4 - -3. Is a >= 2?
False
Let p = 7 + -18. Let s = p + 3. Is -8 <= s?
True
Let i(h) = -h**3 + 7*h**2 - 11*h + 1. Let v be i(5). Let b be 2 + v + 4 + -5. Let f(q) = -2*q + 9. Let t be f(6). Is t at least b?
True
Let v(i) = -i**3 - 5*i**2 + 7*i + 3. Let m be v(-5). Which is greater: -30 or m?
-30
Let c = 710 - 705.91. Let u = 0.09 - c. Is u less than -1/4?
True
Suppose 3*l - 8 = l. Suppose -2*n + 3 = -3*v, 2*n - 4*v - l = 6*n. Which is bigger: n or -5/7?
n
Suppose -5*v = 7 + 3, 5*v - 60 = 5*g. Let x be (-7)/2*(-3)/g. Does 0 = x?
False
Let r be -1 + -4 + (-12)/3. Let j be (-1 - 1) + (-24)/r. Is 5 <= j?
False
Let c = -0.8 + -0.2. Is c greater than 1?
False
Let a = -538/9 + 60. Suppose -1 - 1 = -2*n. Which is smaller: n or a?
a
Suppose 3*l - 4*j = 15, 2 = -l + j + 7. Suppose -5*u - 24 = 4*f, l*f + 2*u + 9 = u. Which is bigger: f or 2/5?
2/5
Let g(m) = -3*m - 1. Let c be g(-3). Suppose 0 = -3*k + 6*k - 12. Suppose -3*v - c = k. Is v less than or equal to -2?
True
Let k be 18/(-8) + 4/16. Let q = k + 2. Which is smaller: 6/7 or q?
q
Suppose -5*y + 3*b - 70 = 8*b, 4*y + 53 = -b. Do -13 and y have the same value?
True
Suppose 0 = 4*y + 12, -4*y = -0*t - 4*t + 124. Let f be 64/t + 4/(-14). Let o be 6/(-4) + (-1)/(-2). Are o and f nonequal?
True
Let f be (6/15)/(-1 + -7 + 2). Is 0 less than f?
False
Let b = -0.43 - -0.24. Which is smaller: -2/3 or b?
-2/3
Let o be (-4)/14 + (-52)/14. Let t be (-14)/o - 27/9. Is 11 at most as big as t?
False
Suppose 0 = 2*o + 2 - 4. Suppose 0 = 3*x + 8 + o. Is x greater than -3?
False
Let z(p) = p**3 - 8*p**2 + 7*p - 3. Let u be z(7). Let d(q) = -q + 0 + 2 - 6. Let o be d(u). Which is smaller: o or -2/9?
o
Let o = -60 - -87. Is 0 less than o?
True
Let r = -474 - -6158/13. Which is bigger: -1 or r?
r
Suppose 0 = 5*l - 2*r + 110, -l + 6*l + r = -95. Let i = l - -20. Is -2/9 not equal to i?
True
Let y = 72 - 69. Is -26 > y?
False
Let b be (-14)/7 + (-16)/(-6). Is -1 not equal to b?
True
Let j be (1/3)/((84/27)/(-4)). Let o be (-76)/84 - 1/(-3). Let u = 5/21 + o. Is u not equal to j?
True
Let y(q) = -q + 9. Let p be y(10). Let i be (p/3)/(5/50). Is i at most as big as -4?
False
Let u(n) = n**2 - 6*n - 14. Let m be u(8). Which is smaller: m or 7/4?
7/4
Suppose 4*m = -3*u - 11 + 58, 4*u - 26 = 2*m. Suppose -w = -4*w + u. Which is greater: w or 2?
w
Let y = 76 - 89. Is -14 != y?
True
Let v be (-19)/(-57)*6/56. Is v at most -1?
False
Let t = 2 + -1. Let i = 8 - 6. Let a be ((-12)/18)/(i/(-3)). Do a and t have different values?
False
Let t(v) = v**3 + 6*v**2 + 2*v - 4. Let c be t(-6). Let i = c - -2. Let a = i + 10. Is -4 greater than or equal to a?
True
Let a be (-322)/(-12)*(-7)/(-441). Let x = a + 2/27. Let i be (-3)/(9/(-6) + 0). Is i <= x?
False
Let s be -1*(-10)/75*9. Is s less than or equal to 2?
True
Suppose 4*t = y + 35, -5*t + 2*y + 2*y + 52 = 0. Suppose -v - 3*v + t = 0. Is 9/4 > v?
True
Suppose -5*s = -3*a - 5, -s + 3 = -a + 2. Suppose -g + 4 - s = 0. Suppose 2*i + 1 = g. Is i greater than 1/2?
True
Let t(m) = -5*m + 2. Let k be t(1). Which is bigger: k or -1?
-1
Suppose u = -2*b + 5, 2*b - 11 = -2*u - 3*b. Suppose -1 = -u*c + 2. Is c greater than or equal to 2?
False
Let u(a) = -a**2 + 3*a - 1. Let s be u(1). Let x be s/4*(-7 + 1). Which is smaller: -1 or x?
x
Let r be (1/2)/((-1)/4). Let l(m) = -2*m**3 - m**2 + m. Let k be l(r). Suppose k = -5*z - 0*o + o, 3*o + 8 = -4*z. Which is smaller: z or -1/2?
z
Let v(b) = b + 2. Let z(w) = -w**3 + w**2 + w - 1. Let l be z(2). Let t be v(l). Suppose 3*a = 5*h - 4, 2*h + 2*h + 2*a + 10 = 0. Is h > t?
False
Suppose 4*r - 2*r + 38 = 3*f, -20 = -2*f - 4*r. Do 12 and f have the same value?
True
Let m = 28 + -31. Which is smaller: m or -7/2?
-7/2
Let a be 178/9 - (-6)/27. Suppose -5*w - 40 = 2*i - i, -4*i = 5*w + 40. Let m be (w/a)/(2/10). Is -4/7 <= m?
False
Suppose -3*l + 2*h + 26 = 3*h, -3*h = -5*l + 34. Let v = -8 + l. Let u be 3/12 + v/2. Is 1/5 at least u?
False
Let u = -242/17 - -16248/1139. Is 0 greater than u?
False
Suppose -6*y - y + 0*y = 0. Which is smaller: y or -3/32?
-3/32
Suppose 3*n - 4*r = 28, -2*n - r = -n. Suppose h + 25 = 4*h - 5*a, n*h = 3*a + 15. Is h not equal to -2/13?
True
Let b = 36 + -27.9. Let j = -0.18 - 7.82. Let a = j + b. Is 2/5 equal to a?
False
Let i be 4/(-18) + 77/198. Let g be -1*2/4*-2. Is i less than g?
True
L