Let p = w - -1. Is -2 at most p?
True
Suppose 0 = 6*y - 2*y - 4. Is -2/9 bigger than y?
False
Let s be 40/168 + 3/7. Let a = -18 + 30. Suppose 4 = j, -4*j + a = 2*k - j. Which is bigger: k or s?
s
Let n = 3 - 3. Suppose -3*b + 2*g + 5 = -0, g + 4 = n. Which is smaller: 1/8 or b?
b
Let n(p) = -16*p - 3. Let j be n(8). Let a = -662/5 - j. Which is smaller: 0 or a?
a
Let n = 40 - 40. Is -1 <= n?
True
Let j = 0.859 + 0.021. Let g = -0.9 + j. Is -0.1 less than or equal to g?
True
Suppose q + 12 = -2*q. Let n(m) = 9*m**2 - 3*m - 5*m**2 - 2 - 6*m**2. Let b be n(-2). Do q and b have the same value?
True
Suppose -1232001 = v - 5*p, 3*v = -2*v - 5*p - 6159885. Let f = v + 597510387/485. Let n = -2/97 - f. Which is greater: 0 or n?
n
Let d be (-2)/4*0 - 1. Which is bigger: 1/55 or d?
1/55
Let d(o) = o**3 - 2*o**2 - 2*o + 2. Let t be d(2). Let h = -2 - t. Is 2 >= h?
True
Let v(n) = n + 1. Let u be v(-6). Let z(o) = 5*o + 7. Let k(x) = -4*x - 7. Let b(d) = u*z(d) - 6*k(d). Let j be b(7). Is j at least as big as -5/4?
True
Let f = 12 - 20. Let o(s) = 10*s + 17. Let j(t) = -7*t - 11. Let w(z) = -7*j(z) - 5*o(z). Let k be w(f). Which is greater: k or 3/7?
3/7
Let x = 106 - 150. Is x at most as big as -44?
True
Let h = -3/67 - 119/335. Let s = 705/8 + -88. Which is bigger: s or h?
s
Let w = 30 - 19. Is 11 >= w?
True
Let k(w) = 3*w**2 + w. Let j be k(1). Let g be (5/10)/((-2)/j). Is -2/13 at least g?
True
Let c(w) = -w**2 + 8*w + 3. Let x be c(8). Let t be (5/(-10))/((-2)/4). Is t at most x?
True
Let k = -2.1 - -2. Let a = -2.4 - -1.8. Is a smaller than k?
True
Suppose p = 3*h + 7, -h + 3 = 4*p + 1. Suppose 3*k = 4 - p. Let q = -18 - -20. Is k <= q?
True
Let n = 2/141 + -157/1128. Which is bigger: 1 or n?
1
Let j be (-24)/9*18/(-4). Suppose q - 5*q = -j. Suppose q*b - 6 + 3 = 0. Are b and -3 non-equal?
True
Suppose 0*i - i + 6 = 0. Which is bigger: 8 or i?
8
Suppose 2*r = -2*c + 24, 3*r + 36 - 2 = 2*c. Are 1 and c non-equal?
True
Let l = -17 - -24. Which is smaller: 5 or l?
5
Let j = 44503/28 + -1589. Let h = 8/7 - j. Which is bigger: h or 2?
2
Suppose -5*a + 2*a = 0. Let p = -0.33 + 0.03. Let f = 1.3 + p. Does a = f?
False
Let z = -0.9 + 7.9. Let p = 6 - z. Are p and 2 non-equal?
True
Suppose 29 = -5*z + 9. Let q be -2 + 0 + 3 - z. Suppose c + 10 = -0*c + 2*m, -q = 5*c - m. Which is smaller: -2/7 or c?
-2/7
Let z be ((-3)/(-2))/(-3) + 46/4. Is 10 >= z?
False
Let r be (18/(-24))/((-6)/4). Let t = -7 + 5. Let p be 0 - (t - -3 - 2). Is r at most as big as p?
True
Let x(p) = -p**2 - 14*p - 13. Let r be (-8)/28 - 89/7. Let k be x(r). Which is smaller: 3/14 or k?
k
Suppose -c = -2 + 1. Let p be 0 - (-1 + c - 0). Are 0 and p equal?
True
Let q(i) = -i - 2. Let j be q(-5). Let y = 5 - 2. Is y equal to j?
True
Let l = 0.57 - 0.6. Let o = 0.23 + l. Which is smaller: -0.2 or o?
-0.2
Let h = -14.4 + 14. Which is bigger: -9 or h?
h
Let y(d) = d**3 - 5*d**2 + 4*d + 3. Let s be y(4). Suppose 4*f - 12 = -q - s*q, -2*q + f = -3. Let c = -3 + q. Which is bigger: c or 2/27?
2/27
Let o = -1.41 - -18.71. Let c = o + -18. Let u = -0.8 - c. Is u greater than or equal to 4/5?
False
Let s = 59 + -59. Which is smaller: s or -3/28?
-3/28
Suppose 0 = -w + 13 - 11. Suppose -k - 2*k + 9 = 0. Suppose -k*g - 2*q + 2 = -0*g, 3 = w*g + 3*q. Which is bigger: g or -0.1?
g
Let t be (-434)/600 - (-45)/60. Which is greater: -1 or t?
t
Suppose w = -0*w - 7. Let u = w + 6. Is u bigger than -0.1?
False
Suppose 60 = -v - 3*v. Let l be (-1)/3*v/(-10). Let m = 98/3 + -33. Is m bigger than l?
True
Let u be -1*(-15 + 1 + -2). Let a = u - 16. Which is smaller: a or 0.3?
a
Suppose 2*i - 3*o + 4 - 7 = 0, -2*o = -i + 3. Let j be (i - -2)/(-1 - 0). Suppose 2*v = -v + 2*d + j, -10 = -5*v - 5*d. Are v and -1/3 equal?
False
Let u = 4 + -3. Let l be u/2*(0 - 0). Let x be (-8)/(-20) + (-18)/20. Which is bigger: x or l?
l
Suppose 1 + 0 = 2*j - 5*h, 5*j = 5*h + 10. Let l be -2 - (-12)/(j/(-1)). Is l at most -7?
False
Let d(v) = 2*v**2 - 4*v + 2. Let i be d(2). Let j = -167/3 + 57. Is j smaller than i?
True
Let x = 4 - 6. Let u = -11 - x. Let z be (-12)/(-50)*30/u. Is z smaller than -2?
False
Let v(n) = -n**3 - 11*n**2 - 5*n + 14. Let r be v(-10). Let f be 1/(-6) - 15/r. Let k = 83/3 + -28. Which is greater: f or k?
f
Suppose 4*o + 6 = 4*w - 18, w + 18 = -5*o. Let y be 1/2*(-30)/(-3). Let q be w/12 - y/(-90). Does -2/7 = q?
False
Let w(z) = z**2 - 5*z + 6. Let k be w(4). Suppose -2*l + 4*g = -k, l - 3*g = 4 - 2. Let f = 8 - 4. Is l at least f?
False
Suppose 3 = -3*w - 0. Let v = w + -2. Let a(b) = b**2 - 5*b - 6. Let o be a(6). Which is greater: o or v?
o
Let g = -28.303 - -0.103. Let j = g - -25. Let y = -0.8 + j. Which is smaller: 0 or y?
y
Let n = -0.9 - -0.6. Let a = -1.7 + n. Let z = 1.39 - -0.61. Which is greater: z or a?
z
Suppose -20 = 4*i, 2*h - 9 = -2*i + 5*i. Is h greater than -3?
False
Let d = 385/2 - 188. Which is greater: d or 6?
6
Let r = 7/15 + -9/5. Let b(p) = 2*p + 2. Let z be b(-4). Let v = 6 + z. Which is smaller: v or r?
r
Let v be (83/(-2))/((-650)/(-40)). Let c = -54/13 - v. Is c <= -2?
False
Let z be (-1)/(-1) - (-15)/(-12). Suppose -2*n - 2 = -0. Is z <= n?
False
Suppose -4*u - 3*y - 7 - 5 = 0, -8 = -3*u + 2*y. Suppose u = -4*j - 0*j - 12. Is j equal to -4?
False
Let y = -24 + 28. Are 13/5 and y non-equal?
True
Let g = -1/27905 + 1869722/2427735. Let b = -3/29 + g. Let z = -2 - -4. Is z bigger than b?
True
Suppose 13*q = 3*q - 10. Which is greater: q or 1/6?
1/6
Let f(l) = l + 2. Let p be f(-1). Suppose -5*w + 23 + 299 = 4*j, -146 = -2*j + 5*w. Let c be 4/j*(-2 - 1). Which is smaller: p or c?
c
Suppose 0 = -3*c + 14 + 1. Suppose -c*b = 5*w - 40, w - 20 = -4*b - b. Do 5 and w have the same value?
True
Let z be 2 + 2*(-52)/48. Which is greater: z or 0?
0
Suppose 1 = 5*x - 4*g + 3*g, 2*x + 2*g = 10. Suppose -4*q + 2 = f - q, 2*q = -4*f + 18. Suppose -4*v - x = -f*v. Is v greater than 1?
False
Let s be 104/54 - (-16)/(-8). Let i be ((-15)/6 - -2)*0. Suppose 5*f + 5 = -i. Is s != f?
True
Let v = -7 + 10. Suppose -2*k + k - 8 = v*n, 2*n - 2*k = 0. Let f be 3*1/(-2)*n. Which is bigger: f or 0.1?
f
Let v = 7 + -4. Let h = -3 + v. Is h <= 0?
True
Suppose l = 3*l + 4*q + 4, -2*q = -5*l + 26. Let f = -3 + l. Suppose 0 = 4*b - 5 + f. Which is bigger: b or -1/3?
b
Suppose -c = c + 6, 33 = 4*o + 5*c. Is o less than or equal to -1?
False
Let w = 23 - 22. Is w > 9/4?
False
Let s = 7 - 8. Let j = 520/7 + -74. Is s at least as big as j?
False
Let r(n) = -n**3 - 7*n**2 - n + 9. Let i be r(-7). Is i > 52/3?
False
Let b be (1/(-56))/(3/(-4)). Is b equal to -1?
False
Let r = -6 + 4. Let q = 5 - 3. Let l = q + r. Which is bigger: l or -0.1?
l
Let q be -1 + ((-6)/(-8) - -1). Suppose -18 = -o + f + 3*f, 60 = 4*o - 4*f. Suppose 24 = 4*c - 4*y, -10 = -2*c + 5*y + o. Which is bigger: c or q?
c
Let n = -3 - -5. Let k(u) be the third derivative of -u**4/12 - u**3/3 + 2*u**2. Let z be k(-2). Is n greater than or equal to z?
True
Let v = 13 - 13.2. Let o be 9/(-8)*(-14)/21. Which is smaller: o or v?
v
Let p = 206 + -205.9. Is 0.032 >= p?
False
Suppose v + 2*v + 3 = 0. Suppose 3*t - 4 = 17. Suppose t*p - 2*p = 10. Which is greater: v or p?
p
Let o be (50 - 0)*(-15)/(-30). Are 26 and o nonequal?
True
Let w = 0 - -2. Are -0.043 and w unequal?
True
Let c(z) = z**2 - z - 2. Let o be c(-2). Which is greater: 6 or o?
6
Let d be 4/(-6)*38*9/12. Which is smaller: d or -20?
-20
Let m = -33 - -42. Which is smaller: m or 7?
7
Suppose -2*k = 2*j + 26, j - 5*k = -0*j - 43. Let z be ((-3)/j)/((-3)/(-9)). Suppose -4*n = 3*b - 9 - 2, n - 5*b + 3 = 0. Is z smaller than n?
True
Suppose 0 = 2*l + 2*l + 3*z + 57, -40 = 3*l + 5*z. Let a be (-3)/l*(-2)/(-4). Let d = 1 - 0. Which is greater: a or d?
d
Suppose -16 = -2*x - 2*x. Suppose -h + 5 = -6*h, 11 = 3*j + x*h. Let d = -4 + j. Which is smaller: 0 or d?
0
Let j = 0 + 1. Let d be 2/9*(-9)/(-15). Is j > d?
True
Let c(z) be the third derivative of -z**4/24 + 7*z**3/6 + z**2. Let u be c(4). Is u bigger than 3?
False
Let v = -293 - -6152/21. Let y(s) = s**2 - 14*s + 5. Let l be y(14). Suppose -2*u + l = -5, -3*n + 4*u - 23 = 0. Which is bigger: n or v?
v
Let q be 7/(-3) + (-4)/6. Let t be (-2)/q + (-7)/6. Let z be (-4)/14 - (-2)/7. Which is smaller: t or z?
t
Let i = -3 + 4. Suppose -3 = 2*f - i. 