 v = -2128/5 + f. Is 1 bigger than v?
False
Let q = -4 + 19. Are 15 and q non-equal?
False
Let w = 446/355 + -4/71. Let p = 11 + -9. Which is greater: w or p?
p
Let y be (-1)/3 + (-26)/(-6). Suppose -y*r = 7 + 17. Which is smaller: r or -3?
r
Let r(k) be the third derivative of -k**6/120 - k**5/20 + k**4/8 + k**3/6 - 2*k**2. Let q be r(-3). Let b be q/(-4) + (-10)/6. Is b at most -0.2?
False
Let p be 0 + 2 + 25/2. Which is greater: 15 or p?
15
Let c = 41 + -34. Is 10 greater than c?
True
Let b = 0.08 + 3.92. Let y = 3.6 - b. Let i = y - -0.3. Is 2/3 != i?
True
Let u(w) = 5*w**3 + 15*w**2 - 5*w + 1. Let z(c) = 9*c**3 + 29*c**2 - 9*c + 1. Let r(i) = -11*u(i) + 6*z(i). Let y be r(9). Is y at most -2?
False
Let z(u) = -2*u + 1. Let m be z(4). Let b = 7 - 2. Let f = m + b. Is f != -0.1?
True
Let f be (6/(-10))/(18/(-20)). Which is smaller: -2.9 or f?
-2.9
Let s = -8.7 - -8.6. Is s equal to -15/2?
False
Let q = 2 - -9. Let j(h) = -8*h**3 + 2*h**2 + h. Let i be j(-1). Is q >= i?
True
Let m = 0.05 + -0.05. Let r = 1.6 + 0.6. Let f = -2 + r. Which is smaller: m or f?
m
Let v(p) = p**3 - 6. Let d be v(0). Are d and -11 unequal?
True
Let k = 867 - 4321/5. Which is smaller: 3 or k?
k
Let c = 0 - -7. Let j = c + -10. Is j greater than -5?
True
Suppose 5*x - 45 = 5. Suppose -9*z - x = -7*z. Is z at least -5?
True
Let i = 62 + -189. Is -127 at most i?
True
Let v = -9502/19 - -500. Suppose 4*a + 3*c = 3*a - 2, c + 1 = 0. Which is smaller: a or v?
v
Let x(m) = -m**2 + 7*m + 9. Let d be x(8). Let c be 20/4 + (-3)/d. Is c greater than 0?
True
Let h(o) = -o**2 - 4*o + 6. Let n be h(-5). Let t be n + 1 + (4 - 7). Let z = 6 + -7. Is z greater than or equal to t?
True
Let c = 3/13 + 4/39. Is 1 at least as big as c?
True
Let i(x) = -x**3 + 1. Let k = -3 + 4. Let b be i(k). Let w = 1/24 + 1/8. Which is greater: w or b?
w
Let j(n) = n**2 - 2. Let u be j(-2). Let z = 7 + 9. Suppose 2*l = g + 11, -l + 2*g = l - z. Is l bigger than u?
True
Suppose 0 = -4*m - 14 - 42. Let s(b) = 7*b + 35. Let a be s(-7). Is a greater than or equal to m?
True
Let t = -48 + 72. Which is smaller: t or 22?
22
Let g(o) = 4*o**2 + o + 2. Let p(y) = y**2 + y + 1. Let k(j) = g(j) - 2*p(j). Let m be k(1). Let r be m/(-1) - (-6 + 4). Is r at least -2/19?
True
Let t be (-1)/(2/12)*-1. Suppose 2*p = -p + t. Suppose 8 = 4*v + 4*z, 0 = 3*v + 2*v + 3*z - p. Are v and 2 nonequal?
True
Let x be 1/(-1)*(-2)/5. Suppose 5*u - 2*t - 2*t = -11, -5*t = 4*u - 24. Which is bigger: u or x?
u
Suppose 2*h = -167 + 15. Which is greater: 1 or h?
1
Let p(y) = 2*y - 5. Let o be p(4). Suppose 0 = -3*b + 3*s + 18, -3*b - s = b - 34. Suppose -7*f + b = -3*f. Is f equal to o?
False
Suppose 0 = -2*t + 2*q - 5*q + 12, 2*t - 3*q = 0. Suppose -t*v + z + 10 = 0, 3*z = 3*v + v - 20. Let l = -4 + v. Is -3 less than l?
True
Let j be (-28)/(-6) - (-8)/(-12). Let n be (0 - 1) + j/4. Which is greater: -4/11 or n?
n
Suppose -i - 2*q = -2, 4 = 3*i + 2*q + 2. Suppose 2*v = c + 3, i = -0*v - 2*v + 4*c. Are 1/2 and v non-equal?
True
Suppose -5*u + 2 = -3. Let o = 152/1157 - -2/89. Which is smaller: u or o?
o
Let j = 2.6 + -0.6. Let k = j + -1.8. Do 0.1 and k have the same value?
False
Let a be 130/4*(-160)/100. Which is bigger: -50 or a?
-50
Let f = 21 + -11. Is 8 greater than or equal to f?
False
Let v = -1 + 3. Suppose 10 = 2*s - 3*g, v*s - 2*g = -0*g + 6. Let o = 34 - 375/11. Is o <= s?
False
Let d(i) = i**3 + 8*i**2 - 1. Suppose -4 = 5*y + 36. Let w be d(y). Let p be 2/(-8) - 0/w. Which is greater: p or -1?
p
Let n = -0.13 + 0.33. Which is smaller: 2/9 or n?
n
Let d = -0.1 + 0.3. Let g = 0.3 - d. Let c = -0.2 + g. Which is smaller: c or 1?
c
Let a = -4 - -2. Let i = -1.1 - -1. Is a > i?
False
Let j = 9 - -2. Let c = j - 10. Do c and -6 have the same value?
False
Let s = -0.39 + 9.49. Let a = -9 + s. Which is greater: -1/8 or a?
a
Let y be 2/6 - (-11)/3. Suppose -5*t - 1 = y. Which is smaller: -2 or t?
-2
Let v = -0.26 - 0.74. Is v at least -4?
True
Let n be (238/52)/7*2. Let s = n - -5/26. Let w = 0 + 0. Which is smaller: w or s?
w
Let d be (-20)/11 + 4/(-22). Let n be (0/(-1))/(d/2). Suppose n*w - 5*w - 5 = 0. Which is greater: -2/15 or w?
-2/15
Let k be -2 - 1*(-1 + 0). Let d = k + 8. Which is smaller: 6 or d?
6
Let p = 0 - -3. Let u(x) = -x + 3. Let n be u(0). Let w be (p - n)/(1 - -1). Which is bigger: -3/7 or w?
w
Let r = 11 - 7. Suppose r = c - 1. Let q = c + -4. Which is bigger: 2/9 or q?
q
Let c be ((-30)/35)/((-1)/(-7)). Let f = 6 + c. Is f greater than or equal to 2/11?
False
Let a = -34 + 13. Which is smaller: a or -22?
-22
Let f = 1/21 - -11/21. Let c be 18/(-12)*20/(-6). Let v = 5 - c. Which is smaller: v or f?
v
Let u be -4*3/60 - 214/(-20). Is u bigger than 11?
False
Let y = -216 + 1731/8. Is y greater than -1?
True
Suppose 2*y + t - 6 = 3*t, 2*y + 4*t + 24 = 0. Let d = y - -1. Let k = d + -1. Do k and -3 have the same value?
False
Let k(i) = -6*i - 1. Let d be k(-1). Let j be (-2)/d*(-15)/4. Which is smaller: 3 or j?
j
Let a(h) = h**2 - 3*h + 1. Let d be a(5). Let j = 27 - d. Is j >= 16?
True
Suppose -2*y = 3*y - 20. Suppose -a - 5 = -4*i, 6*i = 3*i + a + 5. Suppose 6 = -b - 2*d - i, 4*d + 20 = 0. Is b != y?
False
Let w = -0.25 + 0.15. Let s be ((-1)/2)/((-1)/2). Is s at least as big as w?
True
Suppose 3*o - 72 = 9. Let k be (-36)/o*3/2. Is k equal to -1?
False
Let w be (2/(-6))/((-1)/(-3)). Let l be 1*-3 - (-84)/30. Which is greater: w or l?
l
Let q = -5.2 + 1.2. Which is smaller: -1/4 or q?
q
Let n(y) = y**2 - y - 3. Suppose -3*z + 5 = -4. Let s be n(z). Let q be s/((-3)/4) - -1. Is -5 greater than or equal to q?
False
Let y = 32 - 21. Suppose 5*r + 3*z - y = 0, 0 = 4*r + 4*z - 5 + 1. Let t be (1 + -1)*r/8. Which is greater: t or 1/3?
1/3
Let y be 2/(-10) + (-26)/(-5). Suppose y*k - 40 + 10 = 0. Let q be (1 + 1)/((-4)/k). Is q at most -3?
True
Suppose -3*y = -y. Let j be 2/(-4) + (-2)/(-4). Suppose -i - i + b - 2 = j, -3 = 3*i - 4*b. Which is smaller: i or y?
i
Suppose -2*x + 5*s - 14 = 8, -2*x - 22 = 3*s. Suppose 45 = -5*w + z + z, -4*w + 2*z - 34 = 0. Is x at least w?
True
Let n = 4.05 + -0.05. Let b = n + -1. Let c = b + -2.8. Is c less than or equal to 0?
False
Let x = -2 - -3. Suppose -x = -2*r + 9. Suppose 0 = -0*o + r*o. Which is smaller: o or 1?
o
Suppose -3 = m + 2*v, 2*v = -2*m + 2 - 8. Let f = 6 - 20. Let u = f - -10. Is m at least as big as u?
True
Let p be (24 + -22)/(-1*2). Let c = -1361362/385 - -3536. Let z = c + -108/385. Is z > p?
True
Let a(z) = z**3 - 18*z**2 + z - 18. Let s be a(18). Let h be ((-3)/(-7))/(2 - 1). Is h <= s?
False
Let b be 2*3/(-6)*-3. Suppose g = -5*h + 7, -g + 4*h - 8 = -b*g. Suppose 8 = g*n + 2. Is n at most 1?
False
Let h = 0.04 + -0.08. Let t = h - 5.96. Is t greater than 0?
False
Let s(d) = -d**2 + 2*d - 7. Let y be s(3). Is -10 at most as big as y?
True
Let z = 2396543/343 + -6987. Which is bigger: z or 0?
z
Let q be (5/10 - 0) + 74/(-4). Is -16 at least as big as q?
True
Let t = -9/77 + 2/77. Which is smaller: 1 or t?
t
Suppose 3*k = -2*f - 37, 4*k - k = 3*f - 12. Are k and 1 equal?
False
Let w = -8 - -9. Which is smaller: 2 or w?
w
Let z(x) = -x. Let s be z(-1). Let t be (1 - (3 + -2))/s. Suppose 0*f + f - 15 = -5*b, 2*b - 6 = t. Is f not equal to 1?
True
Let y be (-6)/88 - ((-15)/(-20) + -1). Which is smaller: 14 or y?
y
Suppose 31 = 5*c - 9. Is c >= 8?
True
Let m(q) be the first derivative of -q**4/4 + 2*q**3 + q**2/2 - 5*q - 3. Let i be m(6). Let s = 6 + i. Is s smaller than 7?
False
Let p = -3 - -5. Suppose -4*y - p*d = 0, -3*d - 7 = y - 2. Which is smaller: -1 or y?
-1
Let x be (-2 - -6) + -2 + 6. Let n be 10/x - (1 + 0). Is -1 greater than or equal to n?
False
Let d(z) = -z + 1. Suppose -g + 4 = -5*q + 3*q, -q = 3. Let c be d(g). Which is smaller: c or 1/4?
1/4
Let d = 24 + -15. Which is greater: d or 57/7?
d
Let t = -960 + 23997/25. Is t > 1?
False
Let d(h) = h**2 + 15*h + 13. Let w be d(-14). Let z = -4399/25 - -176. Which is greater: z or w?
z
Let f = 13/68 - -3/68. Let s be (-1 + (-3)/(-6))*0. Is s greater than or equal to f?
False
Let c = 44 - 66. Let j be c/24 + (-1)/(-4). Is j >= -2?
True
Suppose 6*l - 11 = -5*l. Does 12/17 = l?
False
Let g = 105 + -311/3. Are 1 and g equal?
False
Let p be ((-2)/(-33))/((-4)/(-97)). Let b = p - 18/11. Let n = 3.3 + -4.3. W