y - 17 = 5*f, -4*y = f + b. Are -2/11 and f non-equal?
True
Let p(i) = -i**3 - 11*i**2 + i + 11. Let q be p(-11). Let s be (-2)/(-6) + (-5)/9. Which is greater: s or q?
q
Let a = -66062697 + 2510908053/38. Let p = a + -13829. Let g = p - 4/19. Which is greater: g or 2?
2
Let v = 682/5 - 137. Suppose i = -0 - 1. Are v and i non-equal?
True
Let j = -63033728/760665 - 3/50711. Let k = 83 + j. Let l = -3 - -2. Which is smaller: k or l?
l
Suppose -6*v - 18 = -3*v. Suppose -64 = -4*a + 4*c, 5*a = -0*a + 4*c + 79. Let j be v/20*a/(-18). Which is smaller: 2 or j?
j
Let v(n) = -2*n - 5. Let y be v(-4). Let j be y - 0*2/(-4). Is 3 bigger than j?
False
Let q = 2 + -3. Let y = -0.2 - 0.3. Let w = y - -0.4. Does q = w?
False
Suppose -2*l + 3*l = 3. Let m be l/15 + (-11)/5. Which is smaller: -7 or m?
-7
Let v = 0 + -0.13. Let a = -0.87 + v. Is -1.3 <= a?
True
Let x = 143/1449 - -2/161. Which is bigger: x or 0.2?
0.2
Let f = -0.026 + 0.126. Which is smaller: f or -17?
-17
Let x = 117 + -148. Is x smaller than -34?
False
Suppose 4*t - 53 = -5*b, 4*b - 59 + 18 = -3*t. Let q = t - -2. Let f be (1 - 8/q)*-3. Is f >= -1?
True
Let o = -1 + 1. Let l be ((-6)/(-4))/(9/12). Which is smaller: l or o?
o
Let i = -123/8 - -5035/328. Which is bigger: -1 or i?
i
Let o = 39.99 + -40. Which is greater: o or 6?
6
Let n = -3.06 - -0.06. Let j = 5 + -6. Let x = 0.9 + j. Is n at most x?
True
Let f = -49420/871 - -738/13. Is f <= 1?
True
Suppose -2*y - 6 = -4*y. Suppose -5*v + y*v = 0. Let p = -247/4 - -62. Which is smaller: p or v?
v
Let g = 5 + -4. Let i be g*(-2)/(-4)*6. Suppose i*y + 1 = 3*z - 5, 2*y - z + 1 = 0. Is 3 equal to y?
False
Suppose -3*f = 4*s + 8, -3*s - 5*f - 6 = -2*f. Which is smaller: s or -4?
-4
Let n be 12/(-9)*19/4. Let w = 6 + n. Suppose 0 = -5*z + z - 4. Which is smaller: z or w?
z
Suppose x + 3*o + 2 = 0, 4*x - 14 = -2*o + o. Let g(f) = 2*f - 6. Let w be g(8). Let k be 51/15 - x/w. Is 2 > k?
False
Suppose 4*y = -1 - 3. Does -1 = y?
True
Let a be (24/1128)/(1/1). Which is smaller: a or 0?
0
Let d(u) = -4*u + 5. Let r be d(4). Are r and -11 non-equal?
False
Let z = 11 - 17. Let w = z + 8. Let g be 2 + (-1 - 4/(-2)). Which is smaller: g or w?
w
Let d = -3.8 - -6.9. Let v = d + -5.4. Is 0.1 > v?
True
Let t be ((1 - 1) + 4)/2. Let l be (10/(-75))/(1/(-6)). Is t >= l?
True
Suppose -q - 5*z = 3*q - 42, 2*z + 17 = q. Is 13 < q?
False
Let l be -4 - 1*-2 - -4. Let u be 21*l + 3 + -5. Let i be 9/(-12) + 22/u. Is 0 at most as big as i?
False
Let j = -68.94 - 0.06. Is j greater than 0.1?
False
Suppose 0 = -3*y - 2*f + 33, 2*f = f. Are 10 and y unequal?
True
Let i be -9*28/(-63)*(2 - 1). Suppose 3*y - 12 - 3 = 0. Which is bigger: y or i?
y
Let u = -4 - -11. Let a be 2/((-2)/3) + u. Suppose -f = -b + 1, -4*f + 0*b - 4*b + 12 = 0. Is a at least as big as f?
True
Let b be (2/5)/(14/420). Let d be 4*(b/(-40))/(-3). Do 3 and d have the same value?
False
Let y(c) = -c**2 + 6*c - 6. Suppose -4*m + 0*z = -z - 16, -3*m + 4*z = -12. Let w be y(m). Is 2 at least w?
True
Let h = 7 + -10. Does h = -20/7?
False
Let l be 64/10 + 4/(-10). Let p be l/(-2) - 3/(-3). Is p at most as big as -2?
True
Let h(u) = u**2 - 3*u - 4. Let b be h(4). Let i be 1/(0 - (-1 - b)). Suppose -2*d - 2*d + 4 = 0. Is d smaller than i?
False
Let p be (10/(-15))/((-4)/(-6)). Let k = 2 + p. Let f = 2/29 + -37/116. Which is bigger: f or k?
k
Suppose 5*l - 75 = -0*l. Let s be 4/l*(-15)/(-70). Which is smaller: s or 1?
s
Let p(d) = 24*d - 1. Let w be p(-1). Which is bigger: -26 or w?
w
Suppose 0 = 5*l - 2*r - 599, -4*r - 229 = 5*l - 846. Let y = l + -2539/21. Which is smaller: -1 or y?
-1
Let v = 0.1 + -0.5. Let w = 71/231 - -2/77. Which is greater: w or v?
w
Suppose -5*h = -8*h + 12. Is h less than 3?
False
Let b be (-12)/(-90) + 501/(-45). Is b greater than or equal to -11?
True
Let l = -2.1 + 2. Let a = -0.3 - l. Let m = 0.4 + a. Does 0.1 = m?
False
Let r(f) = 22*f**3 - 4*f**2 - 3*f - 1. Let z be r(6). Let n = -23046/5 + z. Let b = 20 + n. Which is greater: 1 or b?
1
Let i be -3 + (2/(-6))/(13/195). Is -23/3 at most i?
False
Let b(s) = s - 2. Let u be b(-7). Let w be (36/15)/(u/30). Which is greater: w or -7?
-7
Let j be 1/(-1) + -1 - 0. Suppose -3*s + 7*s = 20. Suppose -r + 10 = -s*v + 4, v = -5*r - 22. Is v at least as big as j?
True
Suppose 0*s + 3*s - 12 = 0. Let y = -6 + s. Are y and -2 non-equal?
False
Suppose c = -4*n + 27, 2*c = 2*n + 3*c - 11. Let o be 6*n/12 - 12. Which is smaller: -6 or o?
o
Let h(v) be the second derivative of -v**5/20 + v**4/3 - v**3/2 + v**2/2 - v. Let c = 8 - 5. Let l be h(c). Is l smaller than -1?
False
Let y be 2 + 36/14 + -2 + -3. Is 1 greater than y?
True
Suppose 4*s + 8 = 20. Let a(d) = -d + 10. Let v be a(13). Which is smaller: s or v?
v
Let n = -1.2 + 1. Let i = 0.1 + -0.2. Let d = n - i. Which is bigger: d or -1?
d
Let j = 17/5 + -109/35. Which is greater: 4 or j?
4
Let l = -5.8 + 6. Let v = l + -0.2. Which is smaller: v or 0.5?
v
Let p be 10/(-4)*-1*2. Let w = p + -4. Which is greater: 2/9 or w?
w
Let l = 14 + -10. Suppose l*n - 9 - 3 = -4*z, 0 = 2*z + 5*n - 15. Which is bigger: z or -6/5?
z
Let d(w) = -w**3 + 5*w**2 + 6*w + 4. Let a be d(6). Let g = 0.19 + -0.2. Let t = g + 0.01. Is t less than or equal to a?
True
Let s = -0.2 + 0.3. Let g = 8 + -4. Let p = -7 + g. Which is smaller: p or s?
p
Suppose -3*w + 6*w = 33. Is w >= 2?
True
Let r = 6/13 + 1/26. Is 0.4 greater than r?
False
Suppose 20 = -5*x, v - 5*x = 29 - 1. Let d be (2/(-22))/(4/v). Let r(k) = -k**3 - 5*k**2 - 5*k - 5. Let c be r(-4). Is d greater than c?
True
Let p = 144025/6 + -23856. Let f = p + -149. Is f not equal to -2?
True
Let t = -3181/11 - -289. Which is smaller: t or 0.2?
t
Let v = -0.2 - -2.2. Let y = 8 - 27.1. Let q = 19 + y. Which is smaller: v or q?
q
Let t = 0 - -6. Let s be (t/(-8))/((-117)/24). Which is smaller: s or 0?
0
Suppose -4*i = -2*i - 22. Let v = i + -8. Let r be 6/2 - 11/v. Which is bigger: 0 or r?
0
Let g(n) = n**3 + 5*n**2 + 6*n + 6. Let v be g(-4). Is 1 > v?
True
Let m = 65/21 - 27/14. Let f = -2/3 + m. Let l = 17 + -17.7. Which is bigger: l or f?
f
Let j = -582 + 581. Let y = -596/9 - -200/3. Which is smaller: j or y?
j
Let k be 1/(1 + 27/(-30)). Let x = k - 8. Let i be ((-1)/4)/(x/(-8)). Which is smaller: 2 or i?
i
Suppose 5*s - s = 4*t, -s + 2*t - 2 = 0. Which is greater: 5/7 or s?
s
Let n = 2.03 + -0.03. Let m = 36.9 + -41. Let a = m + 4. Is a equal to n?
False
Suppose 2*w = -14 + 18. Which is greater: w or 9/10?
w
Let z(a) = -3*a + a**2 + 3*a**2 - 3*a**2. Let d be z(3). Which is bigger: -3 or d?
d
Let f(w) = w**2 - 7*w + 7. Let b be f(6). Let t be (-10)/(3 + -5) - b. Suppose p = t*x + 3, -4*p = 4*x - 5*x - 12. Is x bigger than -1/2?
True
Let n = -1.79 + 1.7. Let i = 0.02 + -0.22. Is n <= i?
False
Suppose 165 - 15 = 6*n. Which is greater: n or 22?
n
Let y be ((-3)/(-1))/((-3)/(-10)). Let q(m) = -m**2 + 19*m - 75. Let l be q(12). Which is greater: y or l?
y
Let o = -0.5 - -0.4. Let r = -5 + 3. Is r greater than o?
False
Let u = 146 - 145. Which is smaller: 2/63 or u?
2/63
Suppose 0 = 29*d - 34*d - 95. Which is smaller: d or -18?
d
Let a(y) = -y + 4 - 2 - 1. Let u be a(-1). Let s be (-6)/(-4) + (-5)/u. Which is bigger: 0 or s?
0
Let f(a) = -a**2 - 3*a + 3. Let o be f(-3). Suppose -5*u - 14 = 2*i, -5*u - o = 17. Suppose -2*q + 4*z = 6, -5*z = 3*q - i + 1. Are q and 0 nonequal?
True
Suppose -3*h + 12 = -v, 4*v + 1 = h - 3. Let i = -5 + 8. Suppose 0*f + i*f = v. Is 4/7 less than or equal to f?
False
Let m = 1.9 + -2. Let u = 18 - 20. Is m < u?
False
Let b = 62 - 40. Are b and 22 non-equal?
False
Let u = 52.9 + -53. Which is greater: 30 or u?
30
Let z = 1.1 + 3.9. Which is smaller: z or 0?
0
Let d be 206/(-65) - 46/(-115). Which is greater: d or -2?
-2
Suppose -2*t = -y + 3*y + 2, -3*t = 5*y + 11. Let c = 14/17 - -66/85. Are c and t non-equal?
True
Suppose -33 = 5*m - 5*w + 107, 2*m + 56 = w. Let y be 8/m*(-1)/(-2). Is y bigger than -0.1?
False
Suppose 0 = -4*b - 8 + 28. Suppose y - 11 = 2*g, 15 + 3 = 4*y + b*g. Is y bigger than 6?
True
Let y = -1534/425 + 102/25. Which is greater: y or -1?
y
Suppose 3*a + a - 12 = 0. Suppose -3*x + 3*s + 9 = 0, 0 = a*x + s + 4 + 3. Is x not equal to 3/16?
True
Let m = 29 + -26. Is 4 at most m?
False
Let l = 17 + -20. Let d be (1*-1)/(4 + l).