- 5*w = 1, -2*n + 4*w = -0*n - 2. Is n < 2?
False
Suppose -4*k + 33 = 3*q, -2*k + 27 = -4*q + 5. Let t = -8 + k. Let v be 25/(-30)*(-6)/40. Is t not equal to v?
True
Let q(x) = x - 13. Let a be q(11). Let h = 1 + a. Let u = 247/99 + -25/11. Is u > h?
True
Suppose -3*g + 5*r - r + 12 = 0, 5*g + 4*r = 20. Is g smaller than 2?
False
Let f = 10 + -11. Are f and -2/23 non-equal?
True
Let h be (-2 + (-9)/(-6))*0. Suppose 2*n - n - 2 = h. Which is greater: n or 3?
3
Let n = -10 - -6. Suppose -2*j + 0*j = -8. Suppose j*i - 2 = -14. Which is smaller: n or i?
n
Let r be (-15)/18*(-8)/30. Which is bigger: 1 or r?
1
Suppose 4*o = -j + 23, 22 = 4*j + 3*o - o. Let s(i) = 0*i - 4*i + j*i - 2. Let a be s(-2). Which is smaller: a or -1?
-1
Let h(d) = 8*d - 8. Let n be h(6). Suppose -2*o - n + 162 = 0. Let a = o - 306/5. Which is bigger: a or 1?
1
Let x = 0 + 1. Let n = -2 - x. Suppose -3 = 6*i + 3. Which is greater: i or n?
i
Suppose -3*y + 5*y = -4*r + 8, -r - 3*y = 8. Do r and 3 have different values?
True
Suppose -g - 2*g = 0. Let c be (-4)/(g - 0 - 10). Is 0 > c?
False
Let q be (-3)/12 + 30/(-8). Let r be (0 + 2)/(4/q). Let u = r + 3/2. Is u > -1?
True
Let w(a) = -a**3 + 4*a**2 - 5*a + 6. Let f be w(3). Do f and 1/61 have different values?
True
Let b(s) = -s - 3. Let j be b(6). Let v be 22/126 + j/(-81). Is 6 less than or equal to v?
False
Let a = -24342225233/445 - -54701598. Let j = a + 30/89. Let z = j + 31. Is z < -1?
False
Let f = 0.8 + -1. Let n = 1 + -0.95. Let z = n - 1.05. Is f less than z?
False
Let l = 1059 + -41299/39. Which is greater: 0 or l?
l
Let x = -16577/23 - -721. Are 1 and x unequal?
True
Let y be -15 + -8 - (0 + -3). Let v be 11/(-12) - 5/y. Is -1 >= v?
False
Let h = -70 - -116. Is h at most -2/7?
False
Let l = 0.2 + 0. Let b = -0.3 - -0.4. Let n = b - l. Is n > -2?
True
Suppose 0 = 3*a + 5*r - 98, -a - 3*r + 142 = 4*a. Are a and 26 unequal?
False
Let k = -13.9 + 13. Let a = 1 + k. Which is bigger: 1/8 or a?
1/8
Let n = -1581/14 - -113. Which is smaller: n or 1/2?
n
Let r be (-1)/2 + 15/6. Let j(w) = -w**2 - 7*w - 2*w + r + 0*w**2. Let u be j(-9). Is u less than 1?
False
Let k = 288/689 + -14/53. Do -4 and k have the same value?
False
Let f = -0.1 - -0.1. Let j = f - -1. Let n = 4.3 - 1.3. Which is bigger: n or j?
n
Suppose -2 = 3*k + d, -2 = -k + 4*d + 6. Let f = -282 - -2253/8. Which is bigger: k or f?
k
Let j be -1 - -1 - 8/6. Let g = 76 - 76. Which is bigger: g or j?
g
Let k = 0.85 - 0.75. Which is bigger: k or 0.4?
0.4
Let u(w) = w + 7. Let q be u(-5). Let t = q - 4. Which is smaller: 0 or t?
t
Let i = 1.2 + -2.1. Let b = 11.9 + i. Which is smaller: b or 1/4?
1/4
Let a = 34 - -18. Let p be 1/2 + (-18)/a. Let q = 7 - 7. Is p at most as big as q?
False
Let p = -32/205 - 10/41. Is 1 smaller than p?
False
Let b(n) = -7*n**3 + n - 11. Let r(k) = -20*k**3 + k**2 + 2*k - 32. Let a(f) = 5*f + 3. Let t be a(-4). Let u(h) = t*b(h) + 6*r(h). Let q be u(5). Is q >= -6?
True
Let y(q) = -q + 3. Let p be y(4). Let o = 64 + -334. Let a be (-114)/o - (-1)/(-5). Is p greater than a?
False
Let x = -8 - -4. Let h = -3.9 - x. Is h bigger than -2/9?
True
Let d be 2/(22/1)*3592. Let l = d + -326. Does l = 0?
False
Let w = 1.26 + -0.26. Which is bigger: w or -2?
w
Let q(g) = g**2 + g + 5. Let b be q(0). Suppose 3*m + m - 9 = b*d, 4*m = -d + 3. Is 2/7 greater than m?
False
Let j = 12 - 10. Suppose 0 = 4*o + j*q + 42, -17 = 2*o + 2*q + 9. Is -9 > o?
False
Let m(l) be the second derivative of l**5/20 - l**4/6 - l**3/6 - l. Let r be m(2). Let p = 22/9 + -190/63. Is r equal to p?
False
Let n = 5.67 + -9.66. Let j = n + 4. Let f = 0.11 - j. Is -1 less than f?
True
Let o be -1*(0 + 2 - (-14)/(-6)). Is o > 5?
False
Let a = 23 - 24. Is a at most as big as -0.2?
True
Let v be (-20)/4 - (16 + -9). Is -17 >= v?
False
Let c = -306/11 + 1596/55. Suppose -6*m + 2*b + 2 = -m, -2*m - 2*b - 2 = 0. Which is smaller: c or m?
m
Let t = -3.959 + -0.041. Is t != -4?
False
Let x(j) = -j**3 + 5*j**2 - j + 10. Let b be x(5). Which is greater: b or 7?
7
Let r = -0.8 - -1. Let s = -0.8 - r. Let u = 29 + -31. Is s > u?
True
Let y be ((-5)/(-30) - 86/84)/(-1). Which is smaller: y or -0.5?
-0.5
Let c(u) = u + 6. Let k be c(-6). Let l = -6.1 + 5. Let b = l - -1.09. Which is smaller: b or k?
b
Suppose -2*x - 88 = 2*x. Let n be x/18 + 0 + 1. Let g = 17/45 - n. Is 1 <= g?
False
Let c be -1 + 4 + 43/(-15). Are 0 and c equal?
False
Let k be 2 - -1 - 1623/759. Let i = -24/23 + k. Are -0.1 and i nonequal?
True
Suppose -3*r + 4*s = 0, 0 = 2*r - 4*r + 5*s - 7. Is r > 4?
False
Let i = -7 + 16. Let b be (i/42)/((-6)/(-8)). Are 0 and b unequal?
True
Suppose 5*x = 12 + 143. Is x != 30?
True
Let m be (0 + 2)*(-2)/4. Is m less than -8?
False
Let s = 9 - 0. Let y = 8 - s. Is -0.1 at most y?
False
Suppose 4 = m - 4*q - 14, 26 = 3*m - 5*q. Suppose l = -l + m. Are -0.3 and l nonequal?
True
Let w = -0.459 - -0.039. Let a = 0.02 + w. Let t = 0.4 + a. Is 2/5 != t?
True
Let a = -0.2 - -0.3. Suppose -3*d - f - 8 = -5*d, 2*d - 3*f = 0. Are d and a nonequal?
True
Let v = -74 - -75.91. Let p = v - -0.09. Is 0.2 != p?
True
Let y be (0 - -1) + (-135)/141. Suppose -20 = -n + 6*n, -5*n - 22 = -2*m. Which is smaller: m or y?
y
Let r = 7 + -3. Suppose -3*z - 7 = 8, c = -r*z - 15. Let g = -11 - -15. Is c greater than g?
True
Suppose 2*g + 12 = -2*g. Let v = g + 8. Suppose -v*p = 5*m + 35, -p = -5*m - 6 - 17. Is p <= 1/3?
True
Let n = 15.16 - 0.16. Let z = 13 - n. Which is bigger: 2/3 or z?
2/3
Let d = 28.26 + -28. Let n = d - -0.04. Let q = 0.2 - n. Which is bigger: q or -0.2?
q
Let m(i) = i**2 + 5*i - 4. Suppose -4*o - 3*g - 11 - 10 = 0, 2*o + g + 11 = 0. Let j be m(o). Is 2 smaller than j?
False
Let d = 2.03 - 2. Let m = d - -0.37. Which is greater: 0.3 or m?
m
Let u be 1/2*(-10)/(-5). Let q = 7/30 - 2/5. Is q greater than u?
False
Let t = 40 - 39.9. Which is smaller: t or 1/5?
t
Let g = 4.5 - 2.3. Are 1 and g equal?
False
Let d = -22/2479 - -3/134. Which is smaller: d or 0?
0
Suppose 3*p + 0*f = 4*f + 5, -2*f + 15 = -5*p. Let d(a) = a**3 + 5*a**2 - 2. Let c be d(p). Suppose 0 = -2*s + 5*s + 9. Is c smaller than s?
False
Let z = -17 - -14. Let b be (-1)/(2/5)*-2. Let i = 3 - b. Is i less than or equal to z?
False
Let o be 0/(-5)*2/2. Suppose -3*d - d = o. Suppose d = -t - 1. Is t greater than 0?
False
Let a be -5*1*(-4)/(-10). Let z be a/(-8)*-2*-2. Let d(w) = 4*w + 2. Let i be d(-2). Which is bigger: z or i?
z
Let x = 42 + -127/3. Is 1 at least x?
True
Let p = 2/1051 + 19959/5255. Let g = -90 + 95. Which is smaller: p or g?
p
Let t = -119 + 203. Which is smaller: t or 83?
83
Suppose -u + 17 = 5*p, -2*u + p = -p + 2. Let h be u*(2 + (-36)/21). Which is smaller: 0 or h?
0
Suppose 8 = 4*s - 12. Let r = s + -1. Which is bigger: 0.1 or r?
r
Let y = -20.9 - -21. Let j = -0.1 - y. Is j <= -2?
False
Let l be (-5)/(-3)*13/13. Do 2 and l have the same value?
False
Let r = 36 + -9. Are r and 25 equal?
False
Suppose 0 = -8*g + 5*g. Suppose g = 4*b - 3*u + 106, 0*b - 3*b + 3*u = 81. Is b greater than -25?
False
Let s = 39 - 3. Let t be -1*(s/15 - 2). Let x = 1.1 + -1. Which is smaller: x or t?
t
Let k = -46 + 46.1. Which is bigger: -23 or k?
k
Suppose -60 = -x - 4*x. Let g be 5*1*x/135. Which is bigger: 0 or g?
g
Let c = -159 - -159. Let n = 0 - 0. Are n and c equal?
True
Let o(g) = -g**2 - 5*g - 1. Let i be o(-5). Let b be (-10)/3*145/(-10). Let z = 48 - b. Do z and i have the same value?
False
Let d = -11.4 - -10. Let x = 0.4 + d. Let a = 3 + x. Is a not equal to 2?
False
Let g = -4 - -4.08. Let s = 2 + -1.92. Let t = s - g. Which is smaller: 3 or t?
t
Let l = 100 - 103. Let w(t) = -t**3 - t**2 - t - 3. Let h be w(0). Is l >= h?
True
Let r be (3/(-1))/(-768)*(-24)/(-18). Which is bigger: 1 or r?
1
Let f = -1409/204 + 150/17. Is 2 less than or equal to f?
False
Let t(f) = f**2 - 15*f - 21. Let a be t(15). Which is bigger: a or -22?
a
Let y(h) = h**3 + 6*h**2 + 6*h + 3. Let v be y(-5). Let l = -7 - v. Is l <= -6?
False
Suppose 2*n + 0 = 4. Suppose k - 19 = 2*p, -3*k + 2*p + 55 = -3*p. Suppose n*w = -3*w - k. Is -2 less than w?
False
Let o = 5 + -2. Let n = -56 + 60. Is o smaller than n?
True
Let y be 1 - 1 - 2 - -14. Suppose 3*v = -v - y. Let s = -1/17 + -131/85. Is v < s?
True
Let i = -12211/12 + 1017. Are -2 and i equal?