es x = y?
False
Suppose -7 = -5*i - 2*w, -4*i = w - 4*w - 24. Suppose -60 = -3*g - 18. Let b be 4/g - 38/(-14). Is i not equal to b?
False
Suppose 7*i + 13 = 6*i. Is i at most as big as -27/2?
False
Let o be 6/(-1) + -15 + 20. Is 2/363 at least o?
True
Let b be (-3)/2*4/14. Suppose 4 = 2*m, -2*p + 0 = -4*m + 4. Suppose p*o + 6 = -4*f, -2*f - 5 = 4*o - f. Is b equal to o?
False
Suppose 0 = 4*r - 3*r + 2. Which is smaller: r or 1?
r
Let a be 11/55*(-15)/18. Which is smaller: -3 or a?
-3
Let x be (-2)/(-3) - 4/6. Suppose x = -0*t - 5*t - 35. Which is smaller: t or -6?
t
Let f = 55 - 57. Suppose -1 - 9 = -5*d. Suppose 5*r - 4*r + d = 0. Is f at least r?
True
Suppose 0*j + 17 = 4*j - g, 0 = j + 4*g. Is j smaller than 8?
True
Let c = 14 + -33. Let v = c - -20. Is v greater than 3/2?
False
Let y = -0.11 - -6.11. Let x = y - 7. Which is smaller: -4 or x?
-4
Let w be 6/38*(-20)/15. Is w >= 1?
False
Let w = -2 + 7. Suppose 5*f - 3*n - 2*n = -205, -w*f - 3*n - 221 = 0. Let r = 222/5 + f. Which is bigger: r or 2?
2
Let x = 0.063 - -0.037. Which is smaller: -4/5 or x?
-4/5
Let n = 208 + -3955/19. Let r = -51/38 + n. Is r smaller than -1?
True
Suppose -s - 3 + 0 = 0. Suppose -5*i - 2*c = 33, 2*c = 2*i + 2*i + 12. Let p be (i - s)*2/(-5). Is 2 at least as big as p?
True
Let n be (10/(-15))/(4/6). Let h be (6 + n)*198/(-30). Let x be 40/99 + 6/h. Are 1 and x nonequal?
True
Let s = 0.9 + -10.9. Let p = 11 + s. Which is greater: 0.2 or p?
p
Suppose 0 = 2*s - 5 - 7. Let n = s + 5. Let w = -11 + n. Is 2 < w?
False
Suppose -3*l = 2*l - 25. Suppose -l*u + 2*h + 13 = 0, -5*u - 2*h - 15 = 3*h. Which is bigger: u or 2/7?
u
Let s = 92/11 + -883/99. Which is bigger: s or 0?
0
Let c = -1/3 + 5/6. Is 0 at least c?
False
Let n = 18 + -19. Is -5/4 greater than n?
False
Let p = 18 + -15. Which is smaller: 7 or p?
p
Suppose -5*g + 38 = -2*o + 6*o, -15 = 5*o. Let v be g/(-7) - 3/(-3). Is 0 > v?
True
Let q = -4.6 - -5. Let r = -20.6 - -26. Let i = q - r. Is -0.1 at most i?
False
Let p = 7721050 - 270217012/35. Let f = p + -564. Is f < 1?
True
Let b = -4 - -29. Suppose 2*r - 12 = 4*d - 32, r - 5*d + b = 0. Which is smaller: r or -2/19?
-2/19
Let a = 171 + -157.1. Let p = -14 + a. Let q be (20/14 + -1)/(-1). Is p <= q?
False
Let r be 2/(-7) + 375/(-35). Let h = 8 + r. Is -3 <= h?
True
Let w = 771 + -10029/13. Which is smaller: 0 or w?
w
Let z = 80/9 + -943/99. Is 0 > z?
True
Suppose -3*g - h - 7 + 18 = 0, -g + 5*h = -25. Suppose -4*o = -2*d + 6*d - 36, 0 = -4*o + 20. Let n = g - d. Is -1/6 equal to n?
False
Suppose 5*v = 3 - 8. Let j be v + (-1162)/10 + 0. Let o = j - -118. Is 2 less than or equal to o?
False
Let t = 46 - 54. Is t <= -2/7?
True
Let l = 2.07 + -2. Is l <= -0.2?
False
Let d be (9/(-12))/((-18)/(-16)). Let i = 0.43 - 0.05. Let m = i + 0.02. Is d at most m?
True
Suppose 0 = -6*c + 3*c + 9. Suppose -3*b = -5*a - 2 - 5, 0 = 3*b + 4*a - 16. Are c and b equal?
False
Suppose 0*o = 3*o - 3. Is o > -1?
True
Let w(j) = -3*j - 61. Let p be w(-21). Which is greater: 1 or p?
p
Let c be 0 + 2/(2 - 0). Suppose 11 = 5*j + c. Is 2 >= j?
True
Suppose -y + 4*w = -12, 3*y + 0*w = w + 14. Let f be 9*((-4)/6 + 1). Which is smaller: f or y?
f
Let i = -40/9 + 1031/234. Is 1 smaller than i?
False
Suppose -g - 3*a + 5 = g, -4*a = 4*g - 16. Let t be 26/7 + 2/g. Suppose 0*s + 4*y = 5*s + 9, 5 = -s + t*y. Which is smaller: -3/4 or s?
s
Let t = 8 - 7. Let u be (13/(-26))/(t/(-2)). Suppose -10 = 5*r - 2*r + v, 0 = -3*r + 4*v + 10. Is u bigger than r?
True
Suppose 0 = -2*n + 7 - 1. Let p be n/((-11)/(-4) - 2). Let q(w) = -w**3 + 5*w**2 - 5*w + 4. Let h be q(p). Are -3/4 and h nonequal?
True
Suppose -5*l - 6 = -6*l. Let s be (-4)/l + (-4)/(-6). Let o(b) = -b**3 - b**2 - b + 3. Let c be o(s). Is 3 greater than c?
False
Let w = -24/11 + 1154/539. Is w at least as big as -1?
True
Suppose -5*n + 3*m = -5, 2*n + 2*m = 2 + 16. Let z be (n*(-2)/2)/(-2). Let r = -0.5 + 0.5. Is z equal to r?
False
Let n(l) = 2*l. Let v be n(0). Suppose -b + 30 = 4*q + 3, 0 = -5*q - 2*b + 36. Which is smaller: q or v?
v
Let v = 2.1 - 2. Let z = -23 + 22.91. Let n = z + -0.51. Is n at most as big as v?
True
Let s = -20 - -20. Suppose s = 5*n - 4*n. Is n less than or equal to -1?
False
Let r = -796/7 - -114. Let z = 30 + -28. Do z and r have different values?
True
Suppose 5*m + 4*v - 11 = 0, -4*m + 2*m - 3*v + 3 = 0. Let s be 2*10*2/8. Suppose 0 = s*g + 2*t + 1, -2*g - 2*g = -3*t - 13. Is m greater than or equal to g?
True
Let j = 27 + -26. Are j and -1/31 equal?
False
Let a = -22/3 - -14/3. Are a and -2 non-equal?
True
Let n(p) = 2*p + 7. Let v(j) = -2*j - 8. Let m(u) = -6*n(u) - 5*v(u). Let l be m(4). Let d be l/(-18) - (-1)/(-3). Is 0 greater than d?
False
Let o = 1 + -4. Let g = -2/197 - 981/394. Let y = g - o. Which is smaller: 0.2 or y?
0.2
Let w be -6*((-2)/(24/20) - -2). Which is greater: w or 1?
1
Let o be (3/10)/(12/(-10)). Let w = 0.4 - 0.3. Which is smaller: o or w?
o
Let c be 4/(-7) - (-618)/126. Are c and 3 non-equal?
True
Let l(w) = -w**3 + 5*w**2 + 2*w - 6. Let x be l(5). Suppose -x*i - j = 0, -3*i - 2*i = 5*j. Suppose 0 = -5*v + 4*v. Is v > i?
False
Suppose -16 = 2*f - 4*x, 0 = 4*f + f + 5*x - 5. Let l = 0 - f. Which is smaller: 6 or l?
l
Let b = 0.1 + -0.9. Let l = -1 - b. Are -1 and l equal?
False
Let c = -113 - -118. Which is smaller: c or -1?
-1
Let y = -1 - -6. Suppose 0 = y*f - f - 40. Which is greater: 11 or f?
11
Suppose -a + 8 = -5*i, -4*i + 3 = 3*a - 2. Is i at least 1/21?
False
Suppose -l = -4*l - 3*y - 36, 0 = 3*l - 4*y + 64. Are l and -16 equal?
True
Suppose 0 = -2*o - 0*o + 2. Let t be o - (-1)/(1/(-2)). Is t greater than 2/19?
False
Let a = 0.257 + -0.247. Suppose 8*y - 12 = 4*y - 4*g, -4*g = -4. Suppose 8*h = 3*h - 4*c - 6, y = -h - c. Is a greater than or equal to h?
False
Let q = -12.4 + 12.4. Which is smaller: -7.3 or q?
-7.3
Suppose -23*z - 264 = -29*z. Are -1/3 and z unequal?
True
Let h = 0.27 - 0.27. Which is greater: h or -2?
h
Suppose -2412 = -5*w + 2*j, 2*w = 2*j + 559 + 407. Let i be (-6)/(-4) + w/(-316). Let c = 245/316 + i. Which is smaller: 2 or c?
c
Let n(d) be the second derivative of -d**4/12 - d**2/2 - d. Let w(u) = 6*u**2 + 5*u + 10. Let i(p) = -5*n(p) - w(p). Let h be i(-4). Is h equal to -3/4?
False
Let j = 0.46 + 1.54. Let n = -0.02 + -0.98. Which is greater: j or n?
j
Let p be (-1)/(-2)*2 + -3. Let a be (-9)/(180/112) + 5. Do p and a have the same value?
False
Let k be (-2)/9 - (-2)/9. Let o be (7/140)/(-1 + 9/8). Which is greater: k or o?
o
Let z be (-4)/(-10) - (-118)/(-20). Let r = z + 6. Let m = -1 - -0.9. Is m equal to r?
False
Let m = 559.49 - 563. Let o = m + 0.31. Let y = o + 3. Which is bigger: -1/4 or y?
y
Let c be 2/(-6) + 20/96. Do c and -1 have different values?
True
Let o be (-676)/36 - -2*(-3)/27. Let z(g) = -10*g + 1. Let k be z(2). Is k greater than o?
False
Let n(x) = 2*x**2 + 19*x - 4. Let u be n(-10). Is u equal to 7?
False
Let x = 0.86 + -1.66. Which is greater: x or -5/3?
x
Suppose -2*z - 2*v - 6 + 18 = 0, -4*z + 10 = -3*v. Let p(f) = 5*f + 5. Let a be p(z). Suppose 5*d + a = -w - 2*w, 5*d = -2*w - 20. Which is greater: -3 or d?
d
Suppose 2*k = u + 2*u + 18, 0 = -2*k - 2*u - 2. Suppose 16 = -k*o + 5*o. Is 1 bigger than o?
False
Let c = -4.08 - -0.08. Let v = 32 + -4. Let f = v + -55/2. Which is greater: c or f?
f
Let c be 2 + 1*(2 - 4). Suppose -5 = -5*l - 4*r, -5*l + r = -r + 25. Let t be l + ((-10)/(-2) - 3). Which is greater: t or c?
c
Suppose 5*j - n + 7 = 0, 2*j - 5*n = -4*n - 1. Let d be ((-6)/(-12))/(j/12). Is d not equal to -3?
False
Suppose 2*b - 16 = 5*b + 5*v, -b - 2*v - 7 = 0. Let t be -1 + b + (-44)/(-4). Is 14 greater than t?
True
Let g be -3 - (-4)/((-16)/4). Which is greater: g or -3?
-3
Let z(m) = m**3 + m**2 - 2*m + 1. Let y be z(-2). Let k be -3*y/(9/(-2)). Which is bigger: k or 4?
4
Let x = 47/6 + -25/3. Let g = -0.23 - -0.32. Let c = g - 0.29. Which is smaller: c or x?
x
Suppose 0 = 2*p - 4 - 10. Suppose -g - 4*r + 23 = 4, 2*g = r - p. Suppose -2*o + 3 - 1 = 0. Which is smaller: g or o?
g
Let f = 18 + -13. Let w(t) = t**2 - 4*t - 3. Let b be w(f). Is 2 > b?
False
Let v = -47/372 + -412/31. Let f = 41/3 + v. Is -2 less than or equal to f?
True
Let b be (24/(-20))/2 + 94/140. Let w be ((-2)/8)/(9/12). Which is smaller: b or w?