equal?
False
Suppose 4*x - 8 = -0*x. Let n = 4 - x. Suppose -h + 5 = -5*z, 2*z + n = 4*h - 0. Are h and -3/4 equal?
False
Suppose 2*s = r - 5, 2*r - 1 = -9*s + 4*s. Let u be (-8)/30 - 2/6. Is s at least u?
False
Let v be (-646)/(-8) + 1/4. Which is greater: v or 82?
82
Let v be (-7 - -12)*6/10. Does 3 = v?
True
Let j be (-1)/(4*3/12). Which is smaller: 0 or j?
j
Let y(v) = -2*v + 4. Let m be y(3). Let o be (-3)/21*m/1. Let s be (-4)/(-14) - 0/(-1). Is o at most s?
True
Let t = -9 + -8. Is t < -17?
False
Let l be -2 + (1 - 3) + 3. Which is bigger: l or 2/7?
2/7
Let m = 1 - 2. Let t = -2 - m. Let a = -223 + 1111/5. Which is smaller: a or t?
t
Suppose 0 = -7*m + 2*m + 25. Suppose h - 2*j - 28 = -3*h, 21 = 3*h + 2*j. Which is greater: m or h?
h
Let b(k) = -k - 1. Let j be b(3). Let i be 1*(j - (-9)/3). Do i and -3/5 have the same value?
False
Let h(w) = w**3 + 7*w**2 + 6*w + 1. Let r be h(-6). Let y = -5 - -9. Suppose -2 = -y*u - 6. Is r != u?
True
Let o = 7 + -5. Let y = 0 - -2. Suppose -2 - y = -4*l. Is o equal to l?
False
Suppose 4*n + 210 = -6*n. Is n less than or equal to -21?
True
Suppose 3*b + 3*m = -0*m - 15, 5*m - 7 = 3*b. Let w be (5/4)/((-1)/b). Is 5 greater than or equal to w?
True
Let j = -144 + 145. Which is bigger: j or 50?
50
Let s be 22972/91 + (-4)/14. Let g = -252 + s. Suppose -4*a + 5*y - 1 = 0, -6*a + 3*a + 7 = 4*y. Which is bigger: a or g?
a
Let d(j) = j**3 + 4*j**2 - 4*j + 6. Let f be d(-5). Let t be 2/f - -1*1. Let i be 0/2 - (-5 - -2). Is t at least as big as i?
True
Suppose 2*j - 6*j - 16 = -q, 0 = 5*q. Let v(k) = -3*k - 8. Let z be v(j). Let y be 0*-1*(-2)/(-4). Is z less than or equal to y?
False
Suppose -5*w - 5*u + 20 = 0, -4*w + 2*w + 5*u = 20. Which is bigger: w or 9?
9
Let u = 44/13 - 1175/351. Which is smaller: -1 or u?
-1
Suppose 2*u - 14 = 5*p - 8*p, 2*p = 4*u + 4. Are u and -2/23 non-equal?
True
Let p be (-264)/(-30)*5/2. Let f = -34 + p. Which is smaller: -11 or f?
f
Suppose 15 = -3*w - 15. Let q = -0.5 - 0.5. Are q and w equal?
False
Suppose 0 = 5*z + 32 - 162. Which is bigger: z or 25?
z
Let s(r) = -2*r + 10. Let v be s(5). Is v less than or equal to -3/13?
False
Suppose 4*z = 4*g + 8, -g - 6 = -5*z - 0*z. Suppose -5*v - 7 = -2. Let l be -1*-1*(-1)/v. Which is greater: l or g?
l
Suppose 0 = -8*w + 2*w + 42. Let c be (w/(-28))/(3/12). Which is smaller: c or 3?
c
Suppose -122 = -3*f - 14. Let o be 22/f + (-3)/18. Which is smaller: 0 or o?
0
Suppose -p + 1 = -1. Let m be 4*((-3)/p - -2). Let g be 2/(-5) - 57/(-30). Is g at least as big as m?
False
Let l(q) = q**2 + 12*q + 15. Let g be l(-11). Let k = -1 + 2. Which is greater: k or g?
g
Let x(s) = s**3 + 5*s**2. Let z be x(-5). Suppose -i + 0*i = -7. Let q = 27/4 - i. Is q bigger than z?
False
Let n(s) = -s**2 - s - 1. Let r be n(-1). Suppose 4 = -2*y - 4. Let l = y + 3. Is l at least r?
True
Let y(i) = -i**3 + 3*i**2 - 2*i + 1. Let z be y(1). Suppose 5*g - a = 0, -9 = -5*g + g - a. Is z at least g?
True
Let s = 17/6 - 3. Is -1 smaller than s?
True
Let t = 3.07 + -0.07. Let g = 3.1 - t. Which is greater: -1/4 or g?
g
Let z be ((-5)/2)/((-5)/10). Suppose -4*h - 2*q - 2 = -3*h, -z*h - 3*q - 3 = 0. Suppose g = -h - 2. Which is smaller: -1 or g?
g
Suppose -2 = -2*i - 0*i. Are -2 and i non-equal?
True
Let m be -6*((-9)/6 + -3). Which is bigger: 28 or m?
28
Suppose 0 = 3*a - 39 + 3. Let s be 1/((2 - 5)/a). Which is bigger: s or 2?
2
Let l = -6 + 18. Let t be 10/l - (-10)/(-20). Do -1 and t have the same value?
False
Let x = -4006 + 588880/147. Which is smaller: x or -1?
-1
Let t = -27.9 - -28. Which is bigger: t or -13/4?
t
Suppose 0 = -c - 3*b - 9, -5*c + 15 = -4*b - 16. Let g be c/(2/(2 - -12)). Let i be (-2)/14 - (-129)/g. Which is greater: 7 or i?
7
Let n = -42 + 27. Let x = 15 + n. Let c be (-2 + 3)*(0 + -1). Is c bigger than x?
False
Let z(j) = -j**3 + 5*j**2 + 8*j - 2. Let f be z(6). Suppose -2*l + 7*l = f. Let a be (-9)/l*3/9. Are -2 and a equal?
False
Suppose 3*p = 4*w - 2, -4*p - 4*w + 45 = 1. Let y be 16/p + 8/(-12). Suppose -9 = y*j - 3*r, 3*j + 5*r = 10 + 5. Is j bigger than -1/3?
True
Suppose 12*n - 9*n + 30 = 0. Which is greater: -9 or n?
-9
Let d be (-5 - -6) + 2 + 0. Is 4 at least as big as d?
True
Let t be (1 + -5)*(1 + 0). Suppose -5*y = 5*p + 35, -5*y + 0*p - 14 = -2*p. Is y less than or equal to t?
True
Let c be 1/(-4)*(-89982)/(-30). Let m = -2561/4 - c. Let j = m - 110. Is -1 at least j?
False
Let g(j) = j**2 - 5*j - 1. Let p be g(4). Let x = p + 3. Is -3 != x?
True
Let x be (-2)/10 - (-147)/420. Is -0.1 at least x?
False
Suppose -c + 14 = 16. Let k be 3/(126/368) + 0. Let a = k - 66/7. Which is smaller: c or a?
c
Suppose 0 = n - 3*n + 4. Let a be (3 - 32/7) + n. Which is smaller: a or 1?
a
Let s be (-6)/(-21) - (-24)/(-182). Let o(z) be the second derivative of z**3/6 + 3*z**2/2 + z. Let n be o(-3). Which is smaller: s or n?
n
Let y(n) = -n**3 + 4*n**2 + 7*n + 23. Let b be y(5). Which is greater: b or 35?
35
Suppose -q + 3 = 4*f, 0 = -3*q + 4*f - 9 + 2. Let o be (2 - q) + 0 + -27. Let a be (o/30)/(1/5). Which is bigger: a or -3?
-3
Suppose 3*j + 2 = 5. Let g be (-2)/(-7) - (-20)/(-70). Suppose g*f - 4 = 4*f. Is f >= j?
False
Suppose -2*o + 3*o = -2. Let b = o - -3. Let a = 6 + -4. Are a and b unequal?
True
Let w = -6 + 6. Let h = 6 + w. Let v = 6 - h. Is v < 2/11?
True
Let v be ((-30)/9)/(-5) - 52/42. Let p be (-1 - 2)/(-1 - 0). Suppose -2*d = 4*q + p*d - 17, 0 = 4*q - d + 13. Which is smaller: v or q?
q
Let n = -12 + 16. Let b be (13/((-4)/n))/(-1). Is b smaller than 13?
False
Let k(q) = -6*q + 12. Let h(r) = 5*r - 11. Let w(d) = 7*h(d) + 6*k(d). Let g be w(-5). Which is smaller: 0.3 or g?
g
Let k be (-15)/10 + 1 + 0. Which is smaller: k or 1/2?
k
Let x = 0.19 + -0.69. Are 4 and x equal?
False
Let m = 2 - -1. Let h be 21/6*(-1)/2. Let i = h - -5/4. Is i at least m?
False
Let g = 43 - 43. Which is smaller: g or -5?
-5
Let t = 3 - -15. Suppose -5*m = -3*y - t, -5*m - y + 14 = -0*y. Suppose -3*l - m - 3 = 0. Is -2 >= l?
True
Let h(l) = l - 1. Let f be h(9). Let d be (-3)/2*f/(-12). Suppose 3*t = 2 + d. Is 0 >= t?
False
Let p = -33 + 32. Which is smaller: -4/9 or p?
p
Let p = 371 - 362.05. Let x = 0.04 - 9.04. Let r = x + p. Do r and 0 have different values?
True
Suppose -4*u - n - 1 = 0, -2*n + 16 = -5*u + 5. Let o be u/(-3) + 6/18. Which is greater: o or 4?
4
Let m(q) = -q - 1. Let k be m(-1). Suppose k*w = -w - 3. Let j be (-16)/(-6)*w/(-36). Which is smaller: j or -0.3?
-0.3
Let o = 83 - 86.7. Let b = -4 - o. Let d = 0.3 + -0.4. Which is bigger: b or d?
d
Let y = 0.0933 - 11.0733. Let o = 11 + y. Is 1 != o?
True
Let h(y) = y**3 + 3*y**2 - 5*y - 2. Let x(m) = m. Let k be x(-4). Let q be h(k). Is q greater than 1?
True
Let d(b) = b**3 - b**2 - 1. Suppose 2*i + 17 = 5*w + 6*i, -i - 1 = -4*w. Let a be d(w). Let o be 1 - 6*1/10. Which is bigger: a or o?
o
Let p = 11 + 4. Let x = -10 + p. Which is bigger: x or 6?
6
Suppose 0 = -0*s + 5*s - 50. Let m be (4/s)/((-6)/(-30)). Which is smaller: 5/6 or m?
5/6
Let k be -4 - (-3 + -2 + 1). Is k != -5/6?
True
Suppose -2*u + 2 = 3*a - 4*u, -3*a = -5*u - 5. Let n(k) = -k**3 - k**2 - 2*k - 6. Let q be n(0). Let z = 7 + q. Which is smaller: a or z?
a
Let v be ((-5)/2)/((-1)/22). Suppose v = 5*w + 20. Suppose 2*y + 14 = 5*i - i, -4*i - 5*y - w = 0. Is i smaller than 1?
False
Suppose -2*q + 2*f - 57 = -3, 108 = -4*q + 3*f. Which is greater: -28 or q?
q
Let q = 0 + 4. Let n = -5 + q. Let c = 0 - n. Which is smaller: -2/5 or c?
-2/5
Let x(w) = -5*w**2 - 2*w - 2. Let r be x(-1). Suppose -4*a + 20 = 4. Let t = a + r. Do -1 and t have the same value?
True
Let v(u) = -2*u + 4*u + 0*u**2 - 1 - u**2. Let d be v(2). Suppose -6*q = -q + 5. Is d not equal to q?
False
Let n(p) = 2*p**2 - p - 1. Let o be n(-1). Suppose o + 1 = -3*c. Let u be (-8)/6*(-6)/(-20). Which is smaller: c or u?
c
Let w = 9.95 + -11. Let n = w + 0.05. Which is smaller: n or -2/5?
n
Let q be (-424)/40 - (-3)/5. Is -13 equal to q?
False
Let g be 4/(-6)*(-72)/(-16). Are -24/7 and g equal?
False
Suppose -4*v - 4*x + 8 = 0, -3 + 6 = x. Do -1/3 and v have the same value?
False
Let x(l) = l + 8. Let u be x(-7). Which is bigger: -1/4 or u?
u
Let n(c) = -c**3 - 5*c**2 + 2*c + 6. Let g be n(-5). Let p = g + 7. Let m(u) = -u + 3. Let a be m(1). Is p >= a?
Tru