 i be (-7)/(-10)*(-5)/b. Is i not equal to 1?
True
Let x(k) be the third derivative of k**6/120 - 11*k**5/60 + 3*k**4/8 + k**3 - 5*k**2. Let n be x(10). Which is smaller: n or -3?
n
Let w = -7/10 + 9/20. Let j be 8/(-50)*35/14. Which is bigger: w or j?
w
Let h(g) = -g**3 - 6*g**2 - 2*g. Let w be h(-6). Let r be (8/w)/(20/(-12)). Is r at most 0.3?
True
Suppose -2*l = -5*k + 9, 5*k + 0 + 1 = -3*l. Do 1 and k have different values?
False
Let o(x) = 7*x**3 - x**2 - x + 1. Let v be o(1). Let z be (3 - 20/v)*5. Are -3 and z equal?
False
Suppose -2*g - 35 = 25. Let k = 2/1469 - 89613/2938. Let y = g - k. Is 1/3 equal to y?
False
Let o be ((-19)/(-171))/((-1)/(-6)). Let i = -0.6 - 0. Is o equal to i?
False
Let g be 116/30 + (-6)/(-45). Suppose -3*p = 4*k + 1, -5*k = -5*p + g + 6. Which is smaller: 1/4 or k?
k
Let n(c) be the second derivative of -c**4/12 - 7*c**3/6 + c**2/2 - 5*c. Let y be n(-7). Which is smaller: 1/9 or y?
1/9
Let o be 3/(-1) - (-30)/6. Let a(l) = l**3 - 5*l**2 - 6*l + 8. Let w be a(6). Suppose 2*r + 6 = 2*v, w*r - 3*r = o*v - 12. Is v <= 3/2?
True
Let j be (4/14)/1 + 0. Let i = -109/66 + 11/6. Which is greater: i or j?
j
Let s be 2/(-9) - 4/(-18). Suppose s*d - 1 = d. Which is smaller: -2/13 or d?
d
Let r = -0.2 + 2.5. Which is smaller: 1/4 or r?
1/4
Let d(r) = r**2 - 12. Let x be d(0). Let g = -7 - x. Suppose g = -5*k + 15. Is 3 <= k?
False
Let h(i) = 0*i**3 - 3*i**2 - 3*i**3 - 2*i - 2 + 2*i**3. Let o be h(-3). Suppose 12 = -3*p, -p + 8 - 3 = 3*m. Do m and o have the same value?
False
Suppose -o - 57 = -4*o. Let j be o/5 + 2/10. Suppose j*r = 3 + 1. Is r greater than 2?
False
Let r be ((-4)/(-15))/((-4)/(-10)). Suppose -3*x + 2*t + 7 = 0, 3*t = -0*x - 4*x - 2. Do x and r have the same value?
False
Let b(r) = r**2 - 3*r + 3. Let x be b(2). Suppose -15 = o - 16. Is x >= o?
True
Suppose 0 = 4*i - 5*i. Let b = 95 + -853/9. Which is smaller: i or b?
i
Let x(j) = -j**2 - 6*j + 9. Let o be x(-7). Let b(h) = -2*h**2 + 23*h - 9. Let n be b(11). Is n at least o?
True
Suppose 3*v + 5 = 8. Suppose -4*r + v = -5*r. Which is smaller: r or -1/25?
r
Let s(x) = -x**2 - 4*x + 4. Let j be s(-4). Suppose -2*c - 9 = 3*p, p - j*p = 3*c + 12. Which is smaller: 1/19 or p?
p
Let x = -9 - -11. Let r = -2 + x. Is r >= 2/9?
False
Suppose -z - w - 6 = 2*w, -9 = 3*w. Suppose z*q - 1 + 4 = 0. Which is smaller: 4/3 or q?
q
Suppose -3*b - 12 = -b. Let c = b + 6. Is -2 greater than c?
False
Let o be 1/(2 - 7/4). Let b = o - 5. Is 1/4 smaller than b?
False
Let m be (1/4)/(26/8). Let i be 0/(-4) + 1 - 2. Which is greater: i or m?
m
Suppose -2*l = -h - 13, -4*h - 14 = -3*l + 18. Let a be 32/l + -4 - 9. Which is bigger: -2 or a?
-2
Let g = 2 - 0. Suppose g*n = -3*n + 5. Suppose m - 5*m = -8. Which is smaller: n or m?
n
Suppose -3*v = -6*v - 9. Let x = 2 - 6. Which is bigger: x or v?
v
Let d be ((-4)/6 + 1)*2. Suppose -7 = -2*w - 5*w. Which is bigger: d or w?
w
Let y = 288232/985347 + 103/2959. Let f = y + -8/37. Is f bigger than 0?
True
Suppose -p + 5*x - 2*x = -1, -2*p + 2 = -2*x. Let s be (-5)/p*18/(-10). Is 8 less than s?
True
Let t(m) = -m**2 + m + 4. Let j be t(4). Let y be (j/6)/((-1)/84). Let w = 552/5 - y. Is -2 bigger than w?
False
Let h(v) = v**3 - 3*v**2 - 3*v - 2. Let u be h(4). Suppose -2*g = u*g - 8. Let n = -3 + g. Is 0 at most n?
False
Suppose -5*u + 30 = -5*i, 4*i + 0*i + 20 = 0. Let x be 22/24 - 7/7. Which is bigger: x or u?
u
Let r = -5 + 1. Which is greater: r or -5?
r
Suppose 1 = 2*k - k. Suppose -2*z = -3 + k. Which is bigger: -2/5 or z?
z
Let u = 2/113 - -3025/1469. Which is smaller: 2 or u?
2
Let j be -19 - 3/(-4)*-4. Which is greater: j or -20?
-20
Let u = 117 + -143. Suppose -2*h = -h + 1. Is h equal to u?
False
Suppose 8 = -2*u - 2*y, 7*u - 17 = 12*u + 4*y. Are u and 2/299 unequal?
True
Let k = 327/112 - 20/7. Is 0 > k?
False
Suppose 0 = -j - 3*f - 9 - 7, 2*j = -5*f - 28. Let w be 12/(-4) - (2 + j). Is -2/11 bigger than w?
True
Let t(u) = 2*u - 8*u + 2*u - u**2. Let i be t(-3). Suppose 0 = -4*v - i + 7. Is v bigger than 0?
True
Suppose 4 = 2*s - 10. Suppose -3*p = -s*p + 20. Let w(h) = -2*h + 17. Let t be w(6). Are p and t non-equal?
False
Let i = -1/188 - -215/5076. Let y = i + 131/108. Which is smaller: 0 or y?
0
Let r be -5 + (-1)/((-1)/2). Let b(q) = -q**3 - 3*q**2 + 3. Let x be b(r). Suppose 0 = -x*l + 2 - 5. Is -2/7 at least l?
True
Suppose 0 = -3*i + i + 18. Let u be 6/i + (-1)/(-3). Let d = 3/76 + 4/19. Which is greater: u or d?
u
Let u = -0.1 + 0. Let r = 0.3 + u. Let b = 0.34 - 0.24. Is r less than b?
False
Suppose 8 = -g + 2. Let b be g/(-14) + (-1952)/112. Are b and -18 unequal?
True
Suppose p = 5*l + 19, 4*l + 0 = -4. Let x = p + -128/9. Let r = -1/20 - 7/60. Which is bigger: x or r?
r
Let q = 0.1 + 4.9. Let p = 4 + 3. Let t = p - q. Which is greater: t or -3?
t
Suppose -4*m = i - 9, -5*m + 9*m = 4. Suppose 8 = 4*g - i*f, -13 = -4*g - 4*f - 5. Is 2 > g?
False
Let j = 57 + -225/4. Let i = 2 - 2. Which is smaller: i or j?
i
Suppose -3*x = x + 28. Which is greater: -6 or x?
-6
Suppose 5*l - 47 - 3 = 5*d, 3*d + 5*l + 38 = 0. Let m be 2*((-26)/4 + 1). Are d and m equal?
True
Let o = 21 + -36. Is -29/2 less than o?
False
Let s(x) = -x**2 + 7*x + 2. Let c be s(7). Suppose c*h = 5 + 5. Which is smaller: 6 or h?
h
Suppose 0 = 2*f + 2*f - 136. Suppose 0*d = -2*d - f. Let x = -86/5 - d. Is 0 less than x?
False
Let c = -4/3 - -2. Let l(p) = -3*p + 5. Let z(w) = -4*w + 7. Let k(b) = -7*l(b) + 5*z(b). Let f be k(1). Are f and c non-equal?
True
Let n(w) = w**3 + 6*w**2 - 7*w + 1. Let a be n(-7). Is a > 3?
False
Suppose 0 = f + k - 1 + 5, -f + 4*k = -21. Let a be -4*f/(3 + 3). Is -0.08 <= a?
False
Let y(z) = -2*z**2 - 6*z - 2. Let g(c) = -2*c**2 - 7*c - 3. Let i(w) = 4*g(w) - 5*y(w). Let j = 6 + -8. Let b be i(j). Is 3 bigger than b?
True
Suppose -5*c + 1 = -4*m + 10, -3*m = -2*c - 5. Which is bigger: c or -2?
c
Suppose 0 = -3*g, r - g + 3 = -2*r. Is 4 at most as big as r?
False
Let a = 46 - 41. Which is bigger: 2 or a?
a
Let n = 11/24 - -3/8. Let h be 0/(-3) + (0 - -1). Which is greater: n or h?
h
Let o(m) = -m**3 + 6*m**2 - 4*m - 5. Let l be o(4). Which is smaller: l or 12?
l
Suppose 0 = b + 5*b + 180. Is -30 greater than b?
False
Let f be 320/44 - (-12)/(-2). Is 0 at least f?
False
Suppose -3*r + 34 = f, r - 5*f + 10 = -0*r. Let g be (-2)/25*r/2. Is g greater than or equal to 1?
False
Let b = -2 - 1. Let k = -0.01 + 1.01. Is b equal to k?
False
Let i = -233.3 + 216. Let v = i + 18. Let p = 0.3 + v. Which is greater: 0 or p?
p
Suppose -x + 4 = -t, 2*t + 4*x = -0*t + 16. Let s be (11/99)/(2/(-3)). Is t at least s?
True
Let r(m) = m**2 + 25*m + 25. Let i be r(-24). Which is smaller: i or 3/58?
3/58
Let n(j) = -j**2 + j + 2. Let q be n(0). Let l be q - (34/10 + -2). Is 1 greater than or equal to l?
True
Let h(y) = y + 55. Let s be h(0). Let k be s/66*8/(-30). Which is smaller: k or 0?
k
Let w be 54/(-8) + 2/(-8). Let f = -17 - -8. Let a be (-6)/4*(-42)/f. Is a bigger than w?
False
Let k = 0.33 + 0.07. Is 6 != k?
True
Let r be ((-2)/(-12))/((-4)/(-6)). Let j = -2 + 2. Suppose j - 1 = -x. Is r bigger than x?
False
Suppose n - 17 = -1. Is -2 at least n?
False
Let t(d) = d**3 + 8*d**2 - d - 7. Let b be t(-8). Is b greater than -3/14?
True
Let a be (1 - 7)*(1 + 3)/(-8). Let k be (4/3)/(2/15). Suppose 0 = -c + 2*b + 14, 2*b - 4*b - k = 0. Which is smaller: a or c?
a
Let x = 0.26 - 0.3. Let u = 98 + -96.04. Let j = x - u. Which is greater: 1/3 or j?
1/3
Let x(a) = -14*a**2 + 35*a + 8. Let l(y) = -5*y**2 + 12*y + 3. Let w(o) = -11*l(o) + 4*x(o). Let v be w(8). Which is bigger: 1/4 or v?
1/4
Let k be (4 - 0/(-2)) + -1. Let c(n) = 52*n - 2. Let a be c(-4). Let x be ((-24)/a)/((-2)/(-5)). Is x at most k?
True
Let w = 4 - 3. Let c be 6/4*(-4)/(-3). Suppose -5*u + 5 = 0, 3 = c*f + 3*u - 4. Is w greater than f?
False
Let o = 1 + -1.2. Is -2/7 < o?
True
Let t = -51/4 - -25/2. Let f be (-56)/(-21) + 1/3. Let d be (4/42)/(f/(-9)). Is d >= t?
False
Let g(k) = k**3 - 8*k**2 - 10*k + 4. Suppose -5*v = 4*t - 16, -3*t + 0 = 3*v - 15. Let c be g(t). Which is smaller: -2 or c?
c
Let i(v) = v**3 + 8*v**2 + 8*v - 9. Let l be i(-7). Are l and -16 non-equal?
False
Let m = -189/4 + 47. Which is bigger: m or -7/2?
m
Let r be (12 - 2)*(-3)/(-5). Let q = 12 - r. Let g = q 