 p(2). Are q and 7 non-equal?
True
Let r = -13/6 + 53/30. Let b = 0.43 + -0.03. Let f = 0.6 - b. Which is greater: f or r?
f
Suppose -5*i + 2 = -3. Is 3/14 less than or equal to i?
True
Suppose 0 = -2*f - 5*w - 37, -2*f - 20 = -f + 4*w. Which is bigger: -17 or f?
f
Let r = 17 + -35. Let a = r - -17.9. Which is smaller: a or 3?
a
Let x(s) be the first derivative of s**4/4 - 4*s**3/3 - s**2/2 - s - 1. Let m be x(4). Which is smaller: m or -2?
m
Suppose 5*s - 3*i = -15, -2*s = 7*i - 5*i - 10. Which is bigger: s or 3/8?
3/8
Let u be (-3)/(-6) + (-14)/(-20). Let c = -60 + 62. Is c bigger than u?
True
Let a(m) = -2*m - 13. Let v be a(7). Let i = -37 - v. Do -11 and i have the same value?
False
Let m be (-2)/11 + 70/22. Suppose 0 = -5*k - t + 16, -m*t = 2*k + 6 - 2. Suppose z = 2 + 3. Are k and z unequal?
True
Let q = 66 + -66.06. Which is smaller: 0.09 or q?
q
Let j = 29 - 26. Which is smaller: j or -2/3?
-2/3
Suppose 282 = 3*s + 3*k, 143 = s + 3*k + 45. Let p be -2 - (-16)/s*11. Suppose 5 = -5*q + 4*w, 4*q + 2*w = q - 3. Is q at most as big as p?
True
Suppose -3*k = 5*o + 14, k + 3*o + 7 = -o. Let u be 0*3/(3 - 0). Suppose -m + 6*m + 10 = u. Is m not equal to k?
True
Let p = 245 + -3677/15. Which is greater: -1/4 or p?
p
Let f(y) = -y**2 + 7*y - 8. Let j be f(5). Is j < 0?
False
Let q = 0.44 - 0.54. Is q greater than -66?
True
Suppose -x = 3*n - 8, n = 2*n + 2*x - 11. Which is smaller: -4 or n?
-4
Let t be 2/(-4)*(4 - 0). Let a be (t/(-4))/(12/48). Is 2 less than a?
False
Let h = 3 + -2. Is h > 1?
False
Let c(u) = u**2 - 14*u. Let n be c(12). Let q be -1 + 3 - n/(-11). Let b(k) = k**2 - 3*k - 5. Let t be b(4). Which is greater: q or t?
q
Let j be 380/(-412) + 0 + 1. Let l = -1482/515 + j. Is l smaller than -3?
False
Let d = -20 + 20.1. Is -17 > d?
False
Let h = -9 + 15. Let w = 3 - h. Let u be (-1)/(-2 - w/(-3)). Is -0.2 > u?
False
Let r = 2 + -1. Let f = 0.81 - -3.09. Let o = f - 4. Is r >= o?
True
Let y be (-1)/4 - ((-10)/(-4) + -3). Which is smaller: -4 or y?
-4
Let i = 9.3 + -10.3. Which is greater: 14 or i?
14
Suppose 6 + 2 = 4*s. Let p be s/(-6)*(-6)/1. Which is smaller: p or 3?
p
Let d(t) = -7*t. Let v be d(-1). Is 9 smaller than v?
False
Let k = 0.44 + 1.34. Let a = -0.12 - k. Let b = 2 + a. Is -0.2 less than or equal to b?
True
Let z = -17195/18 + 969. Let q = 27/2 - z. Let w be 1 - (-1 - 1)/(-1). Is w at most as big as q?
True
Let w = -1 - 3. Let l(a) = -6*a - 1. Let q be l(w). Suppose -31 = -4*j - b - 2*b, 2*j + 3*b - q = 0. Which is greater: j or 2?
j
Let w be 442/(-8) - (3 - 2). Let v = 36 - 92. Let k = w - v. Is k at least 0?
False
Let x = 295 - 1254/5. Let d = x + -44. Suppose -2 = 3*f - f. Which is bigger: d or f?
d
Let v = 2 - 2. Suppose 5 + v = 5*h + 3*z, -2*z = 0. Let u be 10/(-4) - h/2. Which is smaller: u or -4?
-4
Let z be (4/(-12))/((-1)/6). Suppose -4*u - 21 = -5*f, -3*f + 14 = -3*u + z*u. Suppose -6*x + f = -x. Which is greater: x or -2?
x
Let u be (12/(-30))/(2/10). Is u > -6/5?
False
Let l be 3/(-162)*276719 - 2. Let n = -5127 - l. Let x = n + 2/27. Is -2/7 bigger than x?
True
Let n(a) = -a - 4. Let p be n(-6). Suppose 0 = p*r - 0*r. Suppose -g + 3*i + 0*i + 10 = r, -5*g = 5*i + 10. Which is smaller: g or 2/5?
2/5
Let u = -38/91 - -11/13. Let y = -5 - -3. Let q = y - -3. Does q = u?
False
Let h = -7 - -11. Suppose 0 = -h*k - k + 40. Is k bigger than 9?
False
Let u = -2.3 - -4.3. Which is greater: 1 or u?
u
Let c(t) = -3*t - 90. Let n be c(-30). Which is smaller: -2/167 or n?
-2/167
Suppose 0 = -3*j + 5*i - 144, 0 = -4*j + 3*i + 2*i - 192. Let z = -241/5 - j. Is 0 at most z?
False
Let r be 5 - (-3)/(9/(-6)). Let x = r + 5. Suppose -n + x = n. Is 5 bigger than n?
True
Let n = -4 + 7. Suppose n*t = -u, 0 = -3*t + 2*u - 0*u. Is t bigger than 2?
False
Suppose -2*u - 4*s = 20, -3*u + 32 = -8*u - s. Let v(g) = g**2 - 9*g + 9. Let l be v(7). Which is smaller: l or u?
u
Let r(y) = y**3 - y - 5. Let t be r(0). Let m be t/(5/6) - -2. Which is smaller: -3 or m?
m
Let x = -19 + 16. Let i = -1 + 0. Which is smaller: i or x?
x
Suppose s - 3*s - 54 = 0. Do -26 and s have different values?
True
Let n(c) = 7*c**2. Let q be n(1). Suppose 4*x - 5 = q. Suppose 0 = -x*i + 2*i + 2. Which is bigger: 1 or i?
i
Let o(a) = 11*a**2 - a**3 - 5 + 5 - 10*a + 2. Let i be o(10). Does 3 = i?
False
Let x = 4/39 + -47/78. Let j = -2.95 - 0.05. Which is smaller: x or j?
j
Let d be (2/(-1))/(2/8). Let l be (6/4)/((-4)/d). Suppose l*g - 19 = -3*q + g, 0 = -5*g + 10. Which is smaller: 4 or q?
4
Let k = -1 + 2. Let b be 6/78*(1 + -4). Which is bigger: k or b?
k
Let a be 2/(4/3)*-2. Let b(n) = -n**3 - 6*n**2 - 2*n - 4. Let g be b(-6). Suppose 0 = 7*w - 3*w + g. Which is smaller: a or w?
a
Let g(l) = -l**3 + 10*l**2 - 8*l - 8. Let z be g(9). Let x = -3 + z. Let y be ((-9)/(-6))/(-1 - 2). Which is smaller: y or x?
x
Let l = 4.8 - -0.2. Let m = -0.7 - -0.8. Is m <= l?
True
Let x = 1109/133 + -58/7. Which is greater: x or 1?
1
Let b be -5 + 111 + 1 + -2. Let i be 3/(-4) - b/(-156). Is i <= -1/4?
False
Suppose -f = -4*r + 35, 2*f + 15 = 2*r - 5*r. Is f > -14?
False
Let x = -0.06 + -4.94. Let u = 3 + x. Let c(b) = -b**3 - b**2 + 3*b + 3. Let d be c(-2). Which is smaller: u or d?
u
Let d = 19 + -38. Let i = -19 - d. Let u be 2/6 + (-58)/210. Which is greater: u or i?
u
Suppose -7 + 1 = -3*b. Suppose 1 = b*r - 9. Suppose 0 = -5*l + 2*g - r*g - 2, 3*g - 3 = 0. Which is bigger: l or -2/5?
-2/5
Let q be (-10)/((-140)/21)*4/(-30). Let s = -10 - -15. Suppose -s*c + c - 4 = 0. Is q equal to c?
False
Suppose t - 7*t = -6. Which is bigger: 7 or t?
7
Let h = 20536 + -184394/9. Let g = h + -48. Is 1 at most g?
False
Suppose -7*b + 27 = -4*b. Let u be (-2 - -5)*-1*2/3. Let i be (6/b)/(u/(-12)). Is 4 equal to i?
True
Let b be 6/63*(-9)/(-2). Suppose v + 0*y - 2 = -5*y, 4*y = -2*v + 4. Is v >= b?
True
Let i = -35 + 25. Which is bigger: i or -11?
i
Let r(v) = v**3 + 4*v**2 + 1. Let l be r(-4). Is l != -3?
True
Let i = -0.059 - -2.059. Let s = 1 - 5. Which is smaller: i or s?
s
Let f = 3 + -5. Let s be f/8 + 234/8. Suppose 3*u - s = 5*z, -5*u = -u + 2*z - 4. Is u at least as big as 4?
False
Suppose 2*b = 4*z - 20, -5*b + 20 = 5*z - 5. Let q = 1 + b. Is 4/5 != q?
True
Let p be 2 - (2 + (-9)/3). Suppose -p*y + 15 = 6. Is 4 not equal to y?
True
Let y be (-1 + 2)/(2/2). Let b be (6/(-18))/(y/(-6)). Which is smaller: b or -1?
-1
Let j(p) = p**2 - 5*p + 3. Let g be j(5). Let x be -1 + g + -2 + -5. Is x != -3?
True
Let p = -3 - -1. Let r = p + 2. Which is greater: r or -2/5?
r
Suppose 0*i - 2*i + 4 = 2*b, -5*b - i = 10. Let w = 3 + b. Let m(g) = -g**2 + g + 1. Let h be m(w). Which is smaller: h or 2?
h
Let w = 523/5 - 105. Is 1/26 equal to w?
False
Suppose 2*r + 0*r = 0. Let o be r - 1/2*4. Does -2 = o?
True
Let w = 2/1695 + -38989/3390. Is -13 at most w?
True
Suppose 0 = -h - 2*j - 1, 0 = -2*h - h - 3*j. Let o(c) = -2*c**2 + c. Let l be o(h). Let d(u) = -u**3 - 1. Let n be d(l). Is -1 at least n?
False
Let q be 3/(-11) - 10/(-30). Let u be (2 - (1 + 0))/(-1). Which is smaller: q or u?
u
Suppose -21*l - 42 = -14*l. Is -7 smaller than l?
True
Suppose -4 = 3*o + i, 0*i - 12 = -3*o + 3*i. Let n be (6/7)/(12/(-168)*26). Is n at least o?
False
Suppose 0 = -2*m - m. Suppose -3*y - 591 = -m*y. Let n = y - -1967/10. Is -1 > n?
False
Let p = -31 + 621/20. Let f be 2 + ((-2)/(-10) - 2). Let g = p + f. Which is bigger: -1 or g?
g
Let f(d) = d**2 + 5*d + 1. Let c be f(-5). Which is greater: 3 or c?
3
Let l(h) = h - 1. Let p be l(2). Suppose -m = -p + 3. Let n = -58 + 233/4. Do m and n have the same value?
False
Let h be (1 - 0) + -384 + 0. Let d = -3833/10 - h. Let b = 4 - 4. Which is smaller: b or d?
d
Suppose u = 2*x + 1, 5*x - 4*u + 4 = 4*x. Suppose 0 = -2*i + 4*i + 4, 4*i = -g - 3. Let t be (4/15)/(2/g). Which is bigger: t or x?
t
Let q be (-1 + (-3)/(-2))*2. Suppose -2*d = -2*k - 5 + q, 4*k = -4*d + 8. Let o be (-2)/(-4)*48/(-21). Is k greater than or equal to o?
True
Let j(x) = x**3 - 2*x**2 + 2*x - 4. Let h be j(2). Which is bigger: -2/65 or h?
h
Let k = 0.702 - -0.228. Let r = k - 0.03. Let b = r + 0.1. Which is greater: b or 0.1?
b
Suppose u - 3*u = 6. Which is bigger: -1 or u?
-1
Let a = -2 + -5. Let n = -0.01 + 8.01. Let d = a + n. Is d >= 1?
True
Suppose -2*x = 2*x - 4. Let u be x*2/(-5)