. Do m and h have the same value?
True
Let o be 4*(1 + (-15)/(-6)). Let s(i) = -i**3 + i**2 - 2*i + 1. Let v be s(2). Let g be (-7)/o*(-6)/v. Is 0 not equal to g?
True
Suppose 3*c = -0*y + 5*y - 32, 0 = 5*y - 5*c - 40. Suppose -4*r + y*t = 0, 0*r = -r - 3*t + 16. Let k be (-5)/7*(-40)/(-100). Which is bigger: k or r?
r
Let w = 4 - 1. Suppose 10 = -2*f + w*t, -5*f - 23 + 5 = -4*t. Let o = f - -6. Is o < 5?
True
Let z be (-192)/18 - 2/6. Let y = -12 - z. Let h(o) = o**2 - 4*o - 2. Let d be h(4). Is y less than or equal to d?
False
Let b = 158 - 2369/15. Let h = 18 + -19. Which is greater: b or h?
b
Suppose 0 = 3*p + 4*a - 18, 4*p = 2*p - 3*a + 13. Are 2 and p non-equal?
False
Suppose 0 = 2*q - 2*y, -y + 1 - 4 = -2*q. Suppose i = -2*i + 3. Let r = 2 - i. Which is bigger: r or q?
q
Suppose 2*o - 11 = 67. Suppose -3*u + 5*p + o = 0, 0 = u + 4*u + 5*p - 65. Which is bigger: u or 1/4?
u
Let x = -201 - -4220/21. Is -1 <= x?
True
Let p be 1/(-2)*(-40 - -6). Let r be -2 - 0 - p/(-6). Let l(x) = x + 4. Let b be l(-4). Is b at least r?
False
Suppose 2*b + 3*i - 4*i - 14 = 0, b - 5*i = 25. Suppose 20 = b*l + d, 5*l - 4*d = -1 + 21. Which is bigger: 3 or l?
l
Suppose -5*l = -v + 12404, 5*l + 2*v + 12388 = -v. Let k be l/14 - 0/2. Let n = k - -178. Is 2 less than or equal to n?
False
Let o be 4/(-18) - 310/(-990). Is o at most -1?
False
Let w be -4 - -6 - 7/4. Let h = -25514/2733 + 2/911. Let q = h - -10. Which is greater: w or q?
q
Suppose p - 3 = -f, f + 0*p + 1 = -5*p. Suppose 0 = -f*v + 3*v - 3. Is -1 < v?
False
Let r = -27 + 24. Let j = -5 + r. Do j and -7 have the same value?
False
Suppose -5 = 3*t - 23. Let v = 3 - t. Suppose -o = j - 0*j + 3, -3 = 3*o. Is j less than or equal to v?
False
Let n = 0.95 - 1. Let r = -2.75 + 1.7. Let u = r - n. Is u < -1?
False
Suppose -2*j - 2 = -2*a - j, -4*j = 3*a - 3. Is 0 equal to a?
False
Let i(t) = -t - 1. Let z be i(-10). Is z at most 5?
False
Suppose 2*f + 2*b + 30 = 0, -5*f = -3*b + 11 + 32. Is f less than -13?
False
Let d be 6/70 + 4/(-14). Let q(s) = 2*s**2 + 26*s + 43. Let n be q(-11). Is n less than d?
True
Let g(r) = 3 + 2 + 2*r**2 - 2*r - 4. Let h be g(1). Suppose 2*c - h = 3*c. Do -5/4 and c have the same value?
False
Suppose 2*x - 16 = 3*x + 5*j, -3*x + 5*j = -32. Suppose 5*i = -3*m + 17 - 1, -3*i = -5*m + x. Suppose 3*n + 8 = -m*h, h - 2*h - 5*n = 18. Is 0 < h?
True
Let u be -24 + (-4 - -6 - 2). Do -23 and u have the same value?
False
Let x = 340 - 217. Let w = -88107/5 + 17498. Let j = w + x. Is j at most -1?
False
Let t = -1/8 - 1/8. Let v be (3*(-5)/(-90))/(2/18). Is t equal to v?
False
Let l = 8546/3 + -2805. Let o = 44 - l. Which is bigger: o or 5?
5
Let x = -0.12 - 2.68. Let g = 3 + x. Let b be 6/(-12)*(-4)/(-1). Which is smaller: g or b?
b
Let g = 34 - 33. Are -1/72 and g unequal?
True
Let k be -1 + 1 + (-12)/8. Is -2 equal to k?
False
Let t(y) = 3*y**2 + 4*y + 2. Let v be t(-2). Let r be v/(-4)*2/198. Let b = 125/462 - r. Is 0 at least as big as b?
False
Let l = 3 + -2. Let g = l + 0. Let s(r) = r**3 - 9*r**2 + 7*r + 6. Let y be s(8). Is g > y?
True
Let q be (-1)/(-4) + 2/(-8). Suppose 2*r + 0*r - 4 = q, 0 = -4*k - 2*r + 4. Suppose 2*x + k = -4*b + 14, 2*x - 2 = -b. Is x != -0.1?
True
Let c(x) = x**3 - 5*x**2 - 5*x - 7. Suppose -4*t = -4*w + 8, -3*w + 10 = t - 3*t. Let z be c(w). Which is bigger: z or 1/5?
1/5
Let x be 1*(0/(-2) - 1). Let a be 1/((-2)/(-4))*8/376. Which is smaller: x or a?
x
Let a(u) = u**2 + 3*u. Let x be a(-4). Suppose -d = x - 3. Is -7/5 at least as big as d?
False
Let x be 1/7 + 1/(-7). Let d be (-6)/(-3) + (-3978)/28. Let g = 140 + d. Which is smaller: x or g?
g
Let a = 22 + -26. Which is smaller: -2/9 or a?
a
Suppose -5*x - 4*q = 65, -4*x = 3*q + 17 + 35. Which is smaller: -11 or x?
x
Let q be (10 - 6)/((-2)/(-5)). Suppose 4*u - 25 = -0*t + t, 0 = u - 4*t - q. Is u less than 6?
False
Suppose -5 = -d - 2. Let a be -3 - d/(-2)*2. Which is bigger: 5 or a?
5
Let h be (-312)/(-154) - 2/1. Let u be (425/660)/((-7)/3). Let a = h + u. Which is smaller: 0 or a?
a
Let g = 4 + 2. Let p = -5 + g. Which is greater: 2/11 or p?
p
Let q be 14/(-4)*(-16 + 28). Let w = q - -167/4. Which is greater: -1 or w?
w
Let z be (-18)/225*(8 + -3). Let w = 0.33 - 0.03. Which is greater: z or w?
w
Let u = -52 + 107/2. Is 3 greater than u?
True
Let l = -0.2 - 0.8. Is l less than or equal to 26?
True
Let d = 2.3 - 1.4. Let f = 1.2 - d. Let q = f + 1.7. Is 0.2 less than or equal to q?
True
Let k be -3*(-2 + 1)*2. Let p be 4/k + (-32)/(-6). Let m be -4 + -6*(-3)/p. Which is smaller: 1/4 or m?
m
Suppose 3*y + 0*i + 31 = -4*i, -5*y + 3*i = 13. Suppose 4*u - 5 = -33. Is u at least y?
False
Let s be (3/18)/((-1)/(-5)). Which is greater: s or 0?
s
Let g(m) = -2*m**2 - 1. Let l be g(-1). Let d(t) = t + 2. Let x be d(-4). Is x >= l?
True
Let t(c) = 3*c + 9. Let a be t(3). Which is smaller: a or 20?
a
Let h = 2 + 0. Let g = -150 - -157. Which is smaller: g or h?
h
Let z be (-1)/((-319)/(-484) - (-3)/(-4)). Is 10 greater than or equal to z?
False
Suppose -5*z + 7 = 2*i - 0, 4*z = -3*i + 7. Let p = -7 - -7. Let o be (p - -8)*z/(-2). Which is smaller: o or -3?
o
Let j be (-5)/(-20)*(0 + 4). Let a be 543/(-5) + (3 - j). Let o = 107 + a. Which is greater: 0 or o?
o
Let j = 3.481 - -0.459. Let s = j + -4. Let q = s - -0.36. Is 0 != q?
True
Let t(m) = -m**2 - 4*m - 1. Let b be t(-4). Let u = 14650/65169 - 30/557. Let f = u + 2/39. Is f > b?
True
Let i = 14 - 17. Which is smaller: 0.6 or i?
i
Suppose 2*b - 1 = -g, -b = -0*g + 4*g + 10. Suppose -b*x + x = 0. Which is bigger: 1 or x?
1
Let a(o) = 2*o**2 + o - 12. Let v be a(-3). Let x be (-1)/(-5) + 51/(-105). Are v and x unequal?
True
Let v = 3 + 0. Let x = v - 5. Let n = -2 - x. Is n at most 1/4?
True
Let k be 3/3 + -1 - -2. Suppose -k*p + 2 = -p. Suppose -4 = 4*l - 12. Is p at most l?
True
Suppose -q + 5 = -2*l - 4*q, 0 = -4*q - 20. Suppose l*m + 5*r = -5 + 15, 0 = -4*r - 4. Let c = m - 4. Is -2/3 at most as big as c?
False
Let b = 24 - 48. Let n be 4/(b/(-5)) - 1. Is -1 greater than or equal to n?
False
Let h = -7417/9 + 825. Is h >= -2?
True
Let h(t) = 2*t + 5. Let g be h(5). Suppose 5*m + 1 - 36 = -4*q, -5*m = -g. Is 6 less than q?
False
Let t be (-12*(-12)/160)/3. Which is bigger: -0.1 or t?
t
Let g = -2/153 + -559/153. Which is bigger: -3 or g?
-3
Let t be (4/(-6))/((-4)/18). Let i(x) = 5*x + x**3 + x**2 - 6*x**2 - 1 + 1 - 1. Let n be i(4). Does t = n?
True
Suppose -2 = -2*i + i. Suppose 0 = 3*k + i*k + 10. Let d = -0.5 - 1.5. Is d not equal to k?
False
Suppose -2*m = -3*f + 13, 5*m - 4*f + 22 = -0*f. Let w be (-1)/(m/4 - 0). Is 2 at most as big as w?
True
Let u = 0.005 - 11.005. Is u less than or equal to 0?
True
Let c be 2/10 + 15003/35. Let n = c + -430. Is n < -1?
True
Suppose -3*c + 3 = 3*h, 7 = 2*h - 4*c - 25. Let s = 1 + h. Let z = 25 - 18. Is s equal to z?
True
Let z be (8/6)/(5/(-15)). Let o be (2 + -3)*(-1)/z. Let d = 0.4 + -0.4. Is d at least o?
True
Suppose 5*t - 3*p - 2*p + 20 = 0, 0 = -5*t + 3*p - 12. Suppose t = 4*u + 3*i - 2*i, 7 = -3*u + i. Let l(f) = 4*f + 1. Let m be l(-1). Is m bigger than u?
False
Suppose -4*i - 2*u = 0, 3*i = 2*i - 3*u + 5. Let o = -201/646 - -7/34. Is o bigger than i?
True
Let m be (-2)/(-8)*2*0. Let q = 740 - 19978/27. Which is smaller: q or m?
m
Let m be (-5)/3 - 1/3. Let v be 3/9*1*6. Suppose 12 = -6*a + v*a. Is m greater than or equal to a?
True
Let q = 46.083 - 0.083. Let w = 31 - q. Which is smaller: 2/3 or w?
w
Let x be ((-20)/(-6))/5 - (-20)/33. Is x < 0?
False
Let a(v) = -16*v**3 - 1. Let c be a(1). Let z = -9 - c. Let q be z/36 + 0/(-2). Does 0 = q?
False
Let k = -9 + -3. Let j = k + 12.1. Which is smaller: j or 8/5?
j
Let u(k) = k**3 - 4*k**2 + k - 3. Suppose -3*r + 7 = -5. Let d be u(r). Is 0 greater than d?
False
Suppose 2 + 10 = -4*s. Is s less than -5/3?
True
Let w be (-4)/(-2) - (1 - 0). Let v be w*(-1)/1 + 5. Let g(i) = i + 9. Let j be g(-7). Is v less than or equal to j?
False
Suppose 0*p = 5*p - 5. Let m be 16*p/7 - 2. Is 1 at most m?
False
Let u = 16 + -5. Does u = 12?
False
Let z = 2 + -2.01. Let l be 4/9*9/(-6). Do z and l have different values?
True
Let a(b) = 9*b - 43. Let t(o) = -4*o + 21. Let g(w) = 6*a(w) + 13*t(w). Let h be g(-8). Which is greater: h or 3/8?
3/8
Suppose -4*x - 5*i + 95 = 0, -2