*1*(-2 - -1). Which is bigger: i or l?
l
Let w(m) = m**2 - 6*m + 3. Let i be w(5). Let h be 12*i/60*-3. Which is smaller: h or 0?
0
Let o be 36/90 - 44/(-15). Which is smaller: o or 0.1?
0.1
Suppose -2*c - 35 = -55. Suppose i = -4*i + 50. Are i and c nonequal?
False
Let m(y) = -y**2 - 10. Let t be m(0). Let g = t - -17. Is 8 greater than g?
True
Let g(q) = 7*q + 8. Let a(o) = -6*o - 8. Let c(b) = -6*a(b) - 5*g(b). Let n be c(-6). Suppose -n*r = -8 + 4. Is r not equal to 2?
False
Let n(u) = u**3 - 19*u**2 + u - 19. Let p be n(19). Which is smaller: p or 13/6?
p
Let s = 36/7 - 271/35. Is s > -3?
True
Suppose -l = -4 + 5. Let s be (-6*(-3)/72)/1. Is l < s?
True
Let i = -42 + 36. Is -6 >= i?
True
Let t(h) be the first derivative of -1/2*h**2 + 7*h + 5. Let x be t(7). Which is smaller: x or -2/9?
-2/9
Let t = -2/59 - 53/177. Suppose 2*p - 3*x - 4 = -x, 4*p + 2*x = -10. Let c be 1*p - (-2 + 1). Which is smaller: t or c?
t
Let a = 85.1 - 60. Let z = a + -25. Is -5/4 at most as big as z?
True
Let b be (-5)/20 - 26/(-136). Which is bigger: b or 0?
0
Let q be 230/(-161)*-1*(-14)/(-18). Suppose -3*w = -5*w. Which is greater: w or q?
q
Let p(h) = -h**3 + h**2 + 2. Let a be -1*(1 - 2)*-3. Let v = 5 + a. Let i be p(v). Do i and -6 have the same value?
False
Let c(t) = -t**2 + 7*t - 5. Let g be c(5). Suppose v - g*v = 16. Is 1/3 less than v?
False
Suppose 0 = 5*o - 2*a + 12, 5*a = 5*o - 5 + 20. Let x be (-4)/18 + o/72. Which is smaller: x or 2?
x
Suppose 0 = 2*i + 2*z - 0*z - 234, 2*i - 2*z - 254 = 0. Let p = 263 - i. Let n = p + -569/4. Which is smaller: -2 or n?
-2
Let m = -187/2 - -84. Let i(c) = -c**2 - 5*c - 11. Let h be i(-5). Which is greater: h or m?
m
Let i(c) = c**3 + 3*c**2 + 5*c + 2. Let a be i(-3). Which is bigger: a or -15?
a
Let v(w) = -w**2 + 6*w - 2. Let p be v(6). Do p and -18/7 have different values?
True
Let h = 2.3 + -2.52. Let i = h + 9.22. Let v = -10 + i. Which is greater: 1 or v?
1
Let d(t) = -t**3 + 9*t**2 + 10*t - 3. Let f be d(10). Let p = -1 - -2. Which is smaller: f or p?
f
Let q be (-8 - 0)/(1*-1). Let a be 50/(-88) - q/44. Let i be -1 + 0 + (0 - 0). Which is smaller: a or i?
i
Let t = 36.13 + -30.1. Let v = t - 6. Let x = v - 3.03. Is x greater than 2/9?
False
Let n = -6 + 6.1. Let x = n - 0. Is x at most as big as 1?
True
Suppose -3*x = 5*k + 24, 0 = -3*x - 0*x - 9. Let m be (-1)/(-9)*(-5 - k). Are 1 and m unequal?
True
Suppose 0 = -2*m, -c + m = -27 + 1. Which is bigger: c or 25?
c
Let m(l) = l**2 - 4*l - 5. Let a(j) = j + 1. Let t(g) = 4*a(g) + m(g). Let y be t(-2). Suppose -s + 3*c - y = 2*s, 1 = -s + 3*c. Which is smaller: s or -2?
-2
Suppose 3*f = -4*g - f - 28, 15 = 5*g - 5*f. Let b be ((-1)/(-6))/((-1)/2). Which is smaller: g or b?
g
Let y = 23.8 + -24. Let a = y + 0. Which is bigger: 3 or a?
3
Let j be ((-18)/(-24))/((-3)/2). Which is greater: j or -4?
j
Let g(r) be the second derivative of r**5/20 + r**4/3 - 2*r**3/3 + 7*r**2/2 - r. Let t be g(-5). Suppose -h - 8 = -3*q - t*h, 2*h = 2*q. Is q >= 3?
False
Let f = 4.9 + -0.8. Let p = 4 - f. Is p != 4?
True
Suppose -5 = 6*d - d. Let w = d - -4. Is w less than or equal to 3?
True
Suppose -3*p - 3 = -0*p. Let r be -1 + 1 + 3/126. Let z = r + -19/14. Is p smaller than z?
False
Suppose -g = 1 - 0. Let n be (g/(-5))/((-14)/(-10)). Is n greater than or equal to -1/2?
True
Let l = -0.03 - -0.43. Let y = -0.8 + l. Is y at least as big as 2/7?
False
Suppose 8 = 4*c + 4. Which is greater: c or -0.6?
c
Suppose d + 6*d = -56. Does -9 = d?
False
Let b(h) = h**3 + 2*h**2 - 13*h - 20. Let r be b(-4). Let n = -555 - -29417/53. Do n and r have different values?
True
Let v(p) = -p**2 - p + 1. Let o(d) = d**2 + 3*d - 1. Let k(n) = -o(n) - 2*v(n). Let l be k(-1). Let s = -29 - -31. Which is greater: s or l?
s
Let t be ((-4)/(-5))/(6/(-15)). Is -1/2 greater than t?
True
Let z(y) = -2*y**3 + y**2 + y + 1. Let m be z(-1). Let g = 1 - 5. Let o = m + g. Is -2/7 less than or equal to o?
False
Let m = -10.92 - -11. Let t = m - -0.02. Which is greater: t or 2?
2
Let a = 1.47 + 0.53. Which is smaller: a or -0.08?
-0.08
Suppose 0 = 4*o - 5*j - 36 - 9, 0 = -3*j - 15. Let h = 1522/3 + -502. Is o at most h?
True
Let q(w) = -3*w + 1. Let p be q(-1). Suppose 14 - p = 5*u. Suppose -a + 0*a = -2. Is a greater than u?
False
Let b = -94 + 149. Let u be (b/(-15))/((-2)/6). Which is greater: 12 or u?
12
Suppose 2*l - 49 = 9*l. Is l greater than -6?
False
Let d = 3 + -1. Suppose -4*l + 0*c + d*c = -50, -15 = 5*c. Which is bigger: l or 0?
l
Suppose 5*h - 4*h = 0. Let b be h/(-1) + (-1 - -2). Let l = 56/5 + -11. Is l less than or equal to b?
True
Let n(j) = j**2 - 3*j + 1. Let g be n(2). Let y = 38 - 23. Suppose 4*z + y = 3. Is z smaller than g?
True
Let s = 3 + -1. Suppose -s*q + 5*b - 3*b - 12 = 0, q + 16 = 3*b. Are -2/5 and q equal?
False
Let h = 27/8 + -127/40. Suppose 0 = 4*l - 13 + 17. Is l at most h?
True
Suppose 5*g - 9 + 4 = 0, -g = -z - 124963. Let j = -8998225/72 - z. Let w = 105/8 + j. Is 1 <= w?
False
Let c be 2*1 - (-1552)/(-14). Let q = 381/28 + c. Let f = q - -11803/124. Which is bigger: f or 0?
0
Suppose j = 5*a - 26, -4*a = -j - 0*a - 21. Let x = 2 - j. Suppose 0 = 5*g + 5*z - 39 + 14, -15 = x*g - 3*z. Is -2/3 smaller than g?
True
Let d = -0.09 - -7.09. Let s = -11/46 - 6/23. Which is bigger: s or d?
d
Let v(d) = -d**3 + 5*d**2 + d - 5. Let x be (0/4)/(1 + 0). Suppose x = 3*n - 8*n + 25. Let f be v(n). Is f > 1?
False
Let d(y) = 2*y**2 - 2*y + 2. Suppose 2*h - 3*h = -3. Let v be d(h). Let b be 21/9*4/v. Is b at least as big as 0?
True
Let l(o) = -o**2 + 8*o + 12. Let x be l(9). Let i be x - ((-42)/(-8) + 2). Is i at least 1/4?
False
Suppose -3*t = 2*t - 10. Let y = -562/7 + 3944/35. Let v = 33 - y. Which is bigger: v or t?
t
Suppose -12*q = -6*q. Which is smaller: 1/19 or q?
q
Let i(d) = -4*d - 1. Let b be i(-1). Let u = -4 + b. Let n be 3 - u*(2 + -5). Do 2/7 and n have the same value?
False
Let h = 2.6 - 2.3. Is h <= 2/5?
True
Let z be 2/13 + 74/26. Let i be (6/z)/(6/(-14)). Which is bigger: i or -6?
i
Let v = 79.6 - 79. Are 5 and v nonequal?
True
Let r = -456.921 - 0.079. Let n = 454.01 + r. Let q = n - 0.01. Which is smaller: q or 0?
q
Suppose j + 3*w = -9, -2 = 4*j - 4*w + 2. Suppose -2*n + 4 = 0, 4*a = 5*n + 1 - 3. Let g = j + a. Is -2/11 less than g?
False
Let o = -6 - -13. Let y = -8 + o. Let r = 371/5 - 74. Is r >= y?
True
Let t = 2/839 + 7523/11746. Is 0 <= t?
True
Suppose 3*u - 23 = 34. Which is smaller: 17 or u?
17
Let b = 3 - 1. Let z be 3 + -1 + (b - 6). Is z at most -2?
True
Let a(w) = -w**2 + w + 1. Let q be a(3). Let r = q - -7. Let y be (2 - -7)*3/9. Is r greater than y?
False
Let a be (0 - -5)/(-8 - -9). Is 7 <= a?
False
Suppose -4*i + 0*i - 48 = 0. Let h = i + 1. Is -10 at most as big as h?
False
Suppose -9*o - 4 = 5. Is o > -4/25?
False
Let t(u) = -u**3 - 3*u**2 + 2*u - 3. Let w(n) = -2*n**2 - n + 2. Let r be w(-2). Let d be t(r). Is 2 at least d?
False
Suppose 0*i = 3*i - 9. Is 36/11 <= i?
False
Let i be (-15)/10 + (-98)/(-60). Let q(g) = g**2 - 6*g - 4. Let p be q(7). Let x = 4 - p. Is x >= i?
True
Let z = 8 + -5. Suppose 8 = 2*q + z*d, -q - 3 = -3*d + d. Which is bigger: q or 0?
q
Let k be (324/144)/(6/8). Let f(v) = 11*v**3 - 23*v**2 + 8. Let w(d) = -5*d**3 + 11*d**2 - 4. Let l(s) = -6*f(s) - 13*w(s). Let j be l(-5). Is k > j?
False
Let i = 24 + -96/5. Which is bigger: 6 or i?
6
Let x = 0.29 - -0.01. Let n = x + -0.4. Let r = -0.01 + -0.19. Is r less than n?
True
Suppose 2*t = 4*t. Suppose t = -6*m + 2*m. Which is greater: 2/5 or m?
2/5
Let m = -13 - -5. Let b = 7 + m. Which is greater: b or 0.2?
0.2
Let f(v) = 3*v**3 - 3*v**2 + 9*v + 4. Let u(k) = -2*k**3 + 3*k**2 - 8*k - 3. Let j(b) = -3*f(b) - 4*u(b). Let l be j(-4). Is l >= -4?
True
Let f(j) = -j**3 - 9*j**2 + 9*j - 12. Let k = -6 + 8. Let s be (40/12)/(k/(-6)). Let x be f(s). Are x and 1 unequal?
True
Let k = 1 + 0. Let m = -3 + 2.96. Let t = -0.16 + m. Which is smaller: t or k?
t
Let z = -2/783 - -1588/8613. Is z > -3/7?
True
Let q be (8/(-70))/((-10)/(-25)). Which is smaller: q or -2/17?
q
Let g = 131.9 - 128. Which is greater: g or 0?
g
Suppose f = -1 - 1. Let t(k) = -k**3 - k**2 + k + 2. Let x be t(f). Let z be (x/(-2))/((-3)/(-3)). Is z less than -2?
False
Let r = 41 + -42.2. Which is smaller: r or 1?
r
Le