Are x and 1 unequal?
True
Let j(w) = -3*w + 10. Let c(d) = -8*d + 30. Let s(k) = 4*c(k) - 11*j(k). Let z be s(-9). Let g = -7 + 10. Which is smaller: g or z?
z
Let p be (-24)/(-4)*(-16)/6. Is p <= -15?
True
Let t(i) = 9*i**2 + 4*i + 2. Let q be t(-2). Let w = 27 - q. Are -4 and w non-equal?
True
Let t = 95 + -85.9. Let u = -2.1 + t. Is u > -2/7?
True
Let r(x) = -x**3 + 3*x + 3. Let j be r(-1). Are j and -2/17 non-equal?
True
Suppose 4*i + 0*i + 5*k - 70 = 0, -5*i - 4*k + 92 = 0. Suppose i = 2*x - 0*x. Is 11 less than x?
False
Let n = -17 + 25. Let d be (n/(-30))/(6/(-9)). Which is bigger: d or -5?
d
Let b(i) = i + 1. Let o be b(-2). Let n be o/(3 + 42/(-9)). Which is smaller: 2 or n?
n
Suppose 0*d - 4*j = 3*d - 19, -2*j = 2*d - 12. Suppose 3*m + 2*m = 0. Suppose d*o = s + 27, -3*o + 5 = 5*s - m. Is s greater than -3?
True
Let z = 13.2 - 12.2. Which is smaller: 78 or z?
z
Let v = 341/5 - 68. Suppose 0 = 4*h + z - 0*z - 7, 10 = 4*h + 2*z. Is h greater than v?
True
Let r = 0.148 + -0.048. Is -16 <= r?
True
Let c = -79/6 + 13. Which is smaller: c or -1?
-1
Let i(b) = b**3 + 4*b**2 + 3*b + 4. Let n be i(-3). Suppose 5 = -5*j + 5*l, 6*j + 2*l = n*j - 2. Let v = 145/4 + -36. Are v and j unequal?
True
Suppose 3*g - 11 = -2*h, 0 = 5*g + 2*h - 17 - 0. Suppose m + 4*f = 13, 20 = 5*m - 3*f + 1. Let u be 6/(-15) + 12/m. Which is bigger: g or u?
g
Suppose -b = 3*b - 24. Let s(i) = -5*i + 2. Let o be s(-1). Which is smaller: o or b?
b
Let t be (21/49)/(9/(-22)). Let l = t + 16/21. Let y be -2*(-3)/6*1. Which is greater: l or y?
y
Let d be (2/12)/(4/(-6)). Let s = -13 + 7. Let p be ((-14)/105)/(2/s). Which is greater: d or p?
p
Let c be (-5 - (-20)/5)/(-1). Which is bigger: c or 1/65?
c
Suppose 5*a - 33 = -8. Is 5 < a?
False
Let c be ((-1)/(20/48))/((-1)/(-5)). Which is greater: c or -14?
c
Let f be (-6)/(-15) + (-6)/(-10). Let h be -3*f*(-2)/(-6). Let p be (-15)/(-9) - h/3. Is p greater than or equal to 3/5?
True
Let k be (-4)/(-3)*-2*-3. Let a = 0.1 + -0.1. Which is smaller: a or k?
a
Suppose -5*n + 28 = 5*q - 7, 0 = 4*n - 3*q. Is 3 <= n?
True
Let r be (2/(-4))/(189/(-402)). Let u = 7/9 - r. Suppose -2*s = s. Which is smaller: u or s?
u
Suppose -4*i + 14 = 2*y, -2*y - 2*y + 18 = -2*i. Let s = -6 - -6.3. Let q = s - 0.1. Are i and q non-equal?
True
Let f = -533/28 - -59/4. Which is greater: f or -4?
-4
Let o(h) be the first derivative of -h**4/4 - 2*h**3 - 2*h**2 + 6*h - 2. Let g be o(-5). Are -1 and g nonequal?
True
Let f be 33/22 + 54/4. Suppose -f = 4*r - 3*d, -4*r - 2*d = d - 15. Which is smaller: r or 1/6?
r
Let v = 6 + -6. Let n = 0.01 + -4.01. Is n at most v?
True
Let w = -1 - -1. Suppose w = y - 0 + 4. Let s be 1/(-3)*y/3. Is 0 equal to s?
False
Let b be ((-18 - 2)*-1)/2. Let a = b - 17. Let j = -6 - a. Are 2/9 and j equal?
False
Let q be (-2)/6 - 2/(-6). Let l = -2 + q. Which is greater: l or 5?
5
Suppose 10 = -5*r - 5*w, 3*r - 5*w - 12 = -2*w. Let z be (r/(-3))/(2/4). Is 3 equal to z?
False
Let y be 2/6 - 7/21. Is y bigger than 3/29?
False
Let h = -839/147 + 2/49. Let n = -14 - -7. Which is smaller: h or n?
n
Let h be 9/3 + 0/(-2). Suppose -h*l = l. Suppose -2*f + 0*f + 2 = l. Is -2/7 equal to f?
False
Let b be 7/4 - (4 - (-40)/(-15)). Is b less than or equal to -1?
False
Let o = 15 + -15. Which is bigger: o or -5?
o
Let y(d) = -d**3 - 25*d**2 + 25*d + 21. Let a be y(-26). Which is greater: a or 46?
a
Let k be 2/17 - (-1060)/(-340). Which is smaller: k or 6?
k
Let k(y) = 7 + 3*y + y**2 + 2*y + y. Let m be k(-5). Suppose -m*o = o - 3. Is 0 greater than o?
False
Suppose 0*h - 6 = -5*m - h, -4*h = -2*m - 2. Let x be (1 - m)/1 + -4. Let w = 2 + x. Is w at most as big as 0?
True
Let v = 286967/105 + -2733. Is 1 < v?
False
Let k be 4 + (1 - -3) - 0. Is k at most 8?
True
Let h be (2 - (-24)/(-21))*7. Let g = -4 + h. Suppose a - 17 = 3*n, -g*a = n - 7 + 1. Which is smaller: n or -5?
-5
Let y = -1 - 0. Let p be (22/(-33))/(5/3). Which is greater: p or y?
p
Let r(w) = -w**3 - 6*w**2 + w + 6. Let o be r(-6). Let t(u) = -u**2 + 16*u + 58. Let m be t(19). Are o and m nonequal?
True
Let q(c) = -c**3 - 11*c**2 - 9*c + 11. Let b be q(-10). Suppose -2*l - b = f, 2*l - f = -0*f - 11. Let i be ((-6)/8)/(2/8). Is i greater than or equal to l?
True
Let l be -3*-4*(-3)/4. Let q = 13 + l. Is q not equal to 3?
True
Let g = 2 - 1. Let q = -1.1 + g. Suppose a - 10 = -a. Is a equal to q?
False
Let t = -0.17 + 0.23. Let y = t + -0.16. Is 6 smaller than y?
False
Let u be ((-6)/(-7 - -1))/((-3)/(-1)). Which is greater: u or 1/12?
u
Suppose m = -q - q - 9, 2*m - 6 = 2*q. Let d be 2/2 + m + 2. Let n be (-2)/d - (-9)/7. Which is smaller: n or 0.2?
0.2
Let w = 16 - 16.05. Which is greater: w or 0.2?
0.2
Let f be (5/15)/((-255)/(-103)). Let o = f + -2/85. Suppose 5*x - 7 = -2. Is o less than or equal to x?
True
Suppose o + 0*o = 3. Let m = -4 + o. Suppose 5*v + 4 = 3*v. Is m at most v?
False
Let g(c) = c**2 + 4 - 6 - 6*c - 2*c**2. Let o be g(-4). Let n be (o/10)/((-2)/5). Is -1 bigger than n?
True
Let k be (-3 - 23/(-7))*-7. Which is smaller: k or 0?
k
Let i = -4 + 3. Suppose 0 = 5*t + 14 + 16. Let h = t - -7. Is h <= i?
False
Suppose -25 = -5*i + 7*o - 8*o, -5*i + 25 = -3*o. Is 19/3 at least as big as i?
True
Let h = -1.09 + -0.01. Let c = h - -1.5. Do c and 2 have the same value?
False
Let c be ((-12)/16)/(57/(-28) - -2). Is 22 bigger than c?
True
Let f = -9 - -16. Suppose 5*c = -3 - f. Is c at most as big as -2?
True
Let x(b) = b**3 + b**2 + b + 4. Let l be x(0). Suppose -4*d = -5*m + 26, l*d + 5 + 9 = 3*m. Suppose -26 = -4*n - 2. Does n = m?
True
Let s(o) = o**2 + 3*o - 1. Let x be s(-4). Suppose 7 = x*r - 8. Let q be 3 - 1 - 8/r. Is q at least as big as 0?
True
Let o = -23.5 - -13.38. Let f = 10 + o. Which is greater: f or 2/5?
2/5
Suppose 31*o = 27*o + 40. Which is smaller: 9 or o?
9
Suppose 3*q - 29 = -4*p, 0*q + 24 = 3*q + 3*p. Is q greater than 5?
False
Let w be (-11)/66*(-56 + -1). Suppose -p + 3*p + 3*c = 18, 2*p + c = 18. Let t = p - w. Are t and -2 non-equal?
True
Let r(x) = -2*x - 4. Let f be r(-4). Suppose 0 = -5*l + 5*a + 55, 0 = -2*l - 0*a + f*a + 20. Suppose l = -9*g + 5*g. Which is smaller: g or -4?
-4
Let s = -2/147 - 137/735. Which is bigger: 0 or s?
0
Let l = 98 + -293/3. Let b = -0.2 - 0. Let r = -1.2 - b. Which is smaller: r or l?
r
Let k = -88 + 47. Let u = 43.1 + k. Let d = 2 - u. Is d < -6?
False
Suppose 15 + 21 = 2*b. Suppose -4*c = -4*v + 24, -3*c = -c - 5*v + b. Is c at least -4?
True
Let d = -0.9 + -2.1. Do d and -0.3 have the same value?
False
Suppose y - 1 = 1. Which is smaller: y or 3?
y
Let h = -30.1 - -30. Are h and -41 non-equal?
True
Suppose 4 = 4*d, m - 3*d - 21 = -6*d. Let c = m - 15. Is c >= 3?
True
Let u be ((-2 - -2) + 3)*1. Suppose -u*o + 33 = -3. Let w be 3/o - 7/(-4). Are 2 and w non-equal?
False
Let t = 1 + 2. Suppose -t*v = -v - 4. Let l = -51/5 - -11. Which is bigger: v or l?
v
Let k = -46 + 33. Is 2 at least k?
True
Let h be (-1)/(-6) + 1/2. Suppose -r - 25 = 5*t, t - 16 = r + 3*r. Is t greater than or equal to h?
False
Let d(j) = -j**2 + 12*j - 12. Let c be d(11). Let z be ((48/22)/(-4))/c. Which is smaller: 0 or z?
0
Suppose 4*r + 0*r - 40 = 0. Suppose -42 = -2*z - 14. Suppose -y - 3*s - z = -2*y, 5*s + r = -5*y. Which is bigger: 1/2 or y?
y
Let c be 2/(-2)*(-8)/20. Let t(s) = 2*s**2 + 26*s + 24. Let x be t(-12). Which is smaller: c or x?
x
Let o = -8 + 10. Suppose t + 3*r - 25 = 2*r, 0 = t + 4*r - 25. Suppose j - 3*m = -13, -7*m = -5*j - o*m - t. Which is smaller: 0 or j?
j
Suppose -2*k = -3*j + 16, -k - 5*j + 16 = k. Let g be (5/((-10)/(-8)))/(-1). Which is smaller: g or k?
g
Let f = 2 - 2.2. Let q = 0.3 - f. Let s be 6/5*((-16)/6 - -3). Which is smaller: q or s?
s
Let h = -3.97 + -0.03. Let v = -0.7 - -2.7. Let z = v + h. Which is smaller: z or 1/2?
z
Let d = -330 + 3627/11. Let i = d + 10/77. Which is bigger: -1 or i?
i
Let n = -1 - -6. Suppose -4 = -2*t - 2*w, -4*t + 1 + 9 = n*w. Do t and 1/4 have the same value?
False
Suppose 0 = s - 3*s - 8. Which is smaller: s or -17/4?
-17/4
Suppose -5*w - 38 = -8. Let q = w - -3. Let r be ((-2)/4)/(1/3). Which is greater: r or q?
r
Suppose -2*d = 2*r - 22, 3*r = -3*d + r + 38. Suppose -8*x + 4*x - d = 0. Is x bigger than -4?
False
Let x = -13.34 - -1.34. Which is bigger: -1/3 or x?
-