 - 1. Are u and o unequal?
True
Suppose -5*x = -3*x - 14. Let r be 4/16 - x/(-36). Let p = -2 + 1. Is r < p?
False
Suppose 8 = 4*w - 0*w. Suppose -4*j - 4 = -w*j. Let n(q) = 2*q - 22. Let v be n(9). Is j greater than v?
True
Let z be (1 + -2)/(0 - -1). Let m be (z/(-2))/(1/2). Let x = 98/9 + -100/9. Is x at most m?
True
Suppose -10 = 2*v + q - 7, -3*q - 14 = v. Let x = 162 + -481/3. Is x < v?
False
Let c be -2*(-2 + -1 - -5). Is c != -5/2?
True
Let h = 1 - -2. Suppose -2*u + h = u. Which is smaller: u or 2/7?
2/7
Let q = 2 - 2. Let l = 20 - 20. Do q and l have the same value?
True
Suppose 0 = z + y - 7, 3*y = 3*z - 1 + 10. Are z and 3/5 equal?
False
Let q(o) = 90*o**3 + 2*o + 3. Let x(r) = -135*r**3 - 3*r - 4. Let w(f) = -7*q(f) - 5*x(f). Let b be w(1). Let a be b/(-25) + 2/1. Is a at least as big as -3?
True
Suppose -3*x = -8 + 11. Is x equal to -2/47?
False
Suppose 3*m + 9 = -9. Let v be ((-3)/1 - m) + 3. Let x be 2/((-21)/v - -3). Is x less than -3?
True
Let t be 3 - ((-36)/(-21) - 5). Is t less than or equal to 7?
True
Let w = -11 - -22. Let a = w + -6. Let j be 10/2 - (-4 - -6). Which is greater: a or j?
a
Let o = 5 + -8. Let n be -1 + (-1)/o*3. Which is greater: n or 5/6?
5/6
Let z = 5 - 5. Suppose -3*r - 3*l = 2*l + 34, -r - 2*l - 13 = z. Does -4 = r?
False
Suppose 0 = a - 0 - 2. Let u = 0.06 - 0.36. Which is smaller: u or a?
u
Suppose g - 3*g + 16 = 0. Are g and 8 equal?
True
Let z(x) = -x**3 + 7*x**2 + 10*x. Let i be z(8). Let k be (3/7)/(12/i). Are 2 and k equal?
False
Suppose -22*g = -18*g - 336. Let i be (-344)/g + (2 - -2). Is i at least as big as 0?
False
Let q = -0.03 - -0.83. Let j = -1 + q. Let f = 0.3 - -0.7. Which is smaller: f or j?
j
Let l = -50 + 50. Is 77 > l?
True
Let m = 22465/3 - 7283. Let i = m + -207. Is -3 smaller than i?
True
Let p be 8895902/(-18) - 4/18. Let b = -325194591/658 - p. Let r = -1/94 + b. Which is smaller: r or 0?
0
Let i be (-4)/(-10) + 3/5. Which is smaller: -2/77 or i?
-2/77
Let k = -14.9 - -15. Which is bigger: -0.03 or k?
k
Suppose -202 = -5*t + n - 56, 0 = 4*t + 5*n - 140. Which is smaller: 31 or t?
t
Let o = 3 - 2. Let w = -6 - -41/7. Are w and o unequal?
True
Let g = -17 - -16. Which is greater: g or -12/29?
-12/29
Suppose 5*s + j = 2*s + 8, -2*s = -j + 3. Suppose s + 5 = 2*p. Do 3 and p have the same value?
True
Let s be 30/(-4)*4/5. Suppose 4 = -4*m - 4*p - 4, -p - 17 = 4*m. Is s less than or equal to m?
True
Let u(m) = -m + 3. Let f be u(9). Let o be 176/f + 4/(-6). Let x be 2/9 + o/(-27). Are 1 and x unequal?
True
Let k = -65 + 66. Which is bigger: k or 2/23?
k
Let d = 3 - 4. Let g(v) = -v**2. Let w be g(d). Is 1/11 at most w?
False
Suppose -9*p - 178 + 1564 = 0. Is 1 less than p?
True
Let h be (-1068)/400 + (-1 - -4). Let a = h + -2/25. Which is smaller: -0.2 or a?
-0.2
Let c be (1344/35)/8*(-15)/(-2). Is c at most as big as 36?
True
Let k = 26/3 + -9. Which is greater: k or -6?
k
Let p = -9 + 12. Suppose 0 = -p*t + 4*r - 35, 2*r + 3 = 1. Is -13 bigger than t?
False
Let y = 2/83 + 326/249. Let q be 1 + 1 + (-1)/1. Let j = q - 1. Which is smaller: j or y?
j
Suppose 0 = 3*n + 2*d + 5, d - 4 = 2*d. Let u(b) = -5*b**3 + b**2 + b - 1. Let q be u(n). Let o be (q + 3 + 1)/(-1). Which is bigger: o or -5/4?
o
Let l(c) = -c**3 - 7*c**2 - 6*c + 4. Let n be -1 - -3 - (1 - -7). Let x be l(n). Is x < 3?
False
Let y = 297285 + -6236116/21. Let j = -327 + y. Which is smaller: j or -2/7?
-2/7
Let i = 5 + -6. Let f = 0.35 + -2.35. Which is greater: f or i?
i
Let i(x) = 7*x**2 + x - 1. Let c be i(-3). Suppose c - 15 = 4*r. Let p = -7 + r. Is 2 at most as big as p?
True
Let f(y) = 4*y**2 - 1. Let o be f(1). Suppose o*b = -6 - 0. Is -2 less than or equal to b?
True
Suppose 0 = -v - 2*v - 12. Let q be (0 - v/(-2)) + 11. Let a = q - 11. Do a and -1 have the same value?
False
Let a = 7 + -7.06. Which is greater: -0.1 or a?
a
Let y(b) = -b**2 + 5*b + 7. Let f be y(7). Let v = f - 1. Let p be (-4)/(-16) - (-2)/v. Is p smaller than 2/5?
True
Let c = -1.1 + 2.4. Let k = -0.3 + c. Are k and -0.03 non-equal?
True
Let f = 23 + 16. Let x = -4111/35 + 1098/7. Let r = x - f. Which is greater: 0 or r?
r
Let g = 32 - 38. Suppose -5*p = 3*w + 10 + 2, 0 = 5*w - 2*p - 11. Which is greater: g or w?
w
Let t be (6/9)/(23/3). Let z(w) = -w**2 - 3*w - 1. Let b be z(-2). Which is smaller: b or t?
t
Let m = 190 - 1708/9. Suppose -f = 5*x - 18, 3*x + 6*f = f + 24. Suppose o + 3*i - 4 = 0, -6*o - 2 = -x*o - 5*i. Which is greater: o or m?
o
Let g(i) = -i**3 + 5*i**2 - i + 6. Let k be g(5). Is k greater than 0?
True
Suppose 23 = -3*y - d, -2*d + 4 = 2*y + 18. Is -2 < y?
False
Let m(c) = c**3 + c**2 - 1. Let p be m(1). Let q(i) = -i**2 - 4*i + 4. Let l be q(-4). Let d be 3/l*16/42. Are p and d non-equal?
True
Let n be 7/(28/20) + -1. Is 0 bigger than n?
False
Let a = -1/60 + -113/420. Let r = -213.94 - -214. Which is greater: r or a?
r
Let r be (-2 - -5)*14/(-42). Which is smaller: -6/11 or r?
r
Let s be 5*3/30*4/2. Suppose 2*d - 5*b = 5*d + 9, -12 = 4*b. Is d < s?
False
Let k be ((-60)/(-2))/(-1 + 3). Do 14 and k have the same value?
False
Let o be 10/(-105) + (-92)/(-84). Is 1/61 at most as big as o?
True
Let p = -0.2 + 0. Let r = -0.6 - p. Let g = 0.3 + -0.2. Do r and g have the same value?
False
Suppose 0 = -3*j - 0 - 3, -1 = x - j. Let o be 50/20*x/20. Which is smaller: 1 or o?
o
Suppose -3 = -2*y - 7. Is y >= -10/7?
False
Suppose -2*y + 0 = -4. Suppose 2 - 8 = -y*f. Is f at least 1?
True
Let q be (6/15)/((-9)/25). Let k = 29/18 + q. Is k != 8?
True
Let r = 2/59 - -218/531. Is r >= 0?
True
Let l be (-6)/4*20/30. Is -4/31 less than or equal to l?
False
Let b = -3 + 7. Which is bigger: 15/4 or b?
b
Let h(o) = -o**3 - 3*o**2 + 10*o. Suppose 2*b + 2*b = -20. Let n be h(b). Which is bigger: 1/37 or n?
1/37
Let h be ((-11)/214)/(1/16). Let i = -4931/8988 - h. Let f = -1/42 + i. Which is bigger: 1 or f?
1
Let u = -2.8 + 5. Let k = -2.4 + u. Is 1 < k?
False
Let v(m) be the third derivative of m**6/120 - 11*m**5/60 - 2*m**3/3 - 4*m**2. Let z be v(11). Suppose -3*a + 2*a - 4 = 0. Is z less than a?
False
Let r(u) = -3*u + 5. Suppose 3*w = -2*w + 20. Let x be r(w). Which is smaller: -8 or x?
-8
Suppose 2*b + 7 = 3*j, 2*j = -3*b + 10 - 1. Suppose -4*g + j*g = 1. Which is greater: 0 or g?
0
Let o(x) = x**3 + 4*x**2 - x - 4. Let w be o(-4). Is -1/13 less than w?
True
Let i = 0.7 + -0.59. Let c = 0.21 - i. Are c and -2 equal?
False
Let t be 103/7 - 4/(-14). Let d be (-66)/t - (-3)/(-5). Which is greater: -3 or d?
-3
Let s = 0.9 - -0.1. Let x = 0.48 + 2.42. Let a = x - 3. Which is bigger: s or a?
s
Let u = 7 - 6.4. Let k = -0.9 + u. Let c = -0.1 - k. Which is greater: 0 or c?
c
Let q be (706/(-4))/(3/(-15)). Let r = q - 917. Let s = -761/22 - r. Do 1 and s have different values?
True
Suppose -18*m + 5 = -13*m. Are -2/19 and m non-equal?
True
Suppose -h = -2*h - 4. Let b = 2 + h. Let k be (-3)/b*(-8)/18. Is 0.08 smaller than k?
False
Let l = -7 - -4. Let n be l*((-188)/(-192) - 1). Which is smaller: 0 or n?
0
Let n be 1 + 3 - (-1 + 1). Suppose 2*q + u = -0*u - n, -u = -q - 5. Is q greater than 1?
False
Let b be (-6)/14*(-105)/60. Let j = -1 - 0. Let k = j - 0. Which is greater: b or k?
b
Let j be 15/1*(-7)/(-21). Suppose 2*s + j*q - 3 = -19, -q = 4*s - 4. Suppose -1 = -5*g + 14. Which is greater: g or s?
g
Let w be -4 - (0 - 134/32). Is 0 greater than w?
False
Suppose -f + 3*c - 4*c - 2 = 0, 0 = 3*f + 5*c. Let n = 6 + f. Let z = 415/7 + -59. Is n >= z?
True
Let i = 11 + -11.1. Let h = i - -0.2. Which is bigger: 1 or h?
1
Let o(d) = d**3 + d**2 + d - 1. Let l be o(1). Let h be 70/15 + 4/(-6). Let p be (6/(-9))/(h/(-6)). Is p at most l?
True
Let r(t) = -t - 4. Let v be r(-7). Is v at least as big as 0?
True
Let l = -559/6 + 12893/138. Is l greater than or equal to 1?
False
Let h = 2.9 - 2.9. Is 1/4 greater than h?
True
Let s(m) = -m**3 + m**2 - 2*m - 3. Let g(n) = -n**3 - n - 1. Let c(l) = -2*g(l) + s(l). Let j be c(0). Is j < -1?
False
Let j = -14 - -10. Let i = j - -3. Let t(a) = -a + 8. Let d be t(6). Which is bigger: d or i?
d
Let r be ((-2)/(8/(-6)))/12. Suppose 7*i = 11*i. Which is bigger: i or r?
r
Let p be (-2)/13 - (-15)/13. Let n(h) = h - 1. Let u be n(p). Let w = -1/10 + 4/15. Is w > u?
True
Let j = -1521/19 + 80. Which is smaller: -1 o