han l?
False
Let k be (-2)/4 - 2/(-4). Let n(z) = 3*z**2 + z. Let t(a) = 4*a**2 + 2*a + 1. Let r(j) = 3*n(j) - 2*t(j). Let g be r(2). Is k equal to g?
True
Let a be ((-10)/(-2))/(1 - 0). Suppose a*g - 25 = 0, 2*g = r + g + 5. Let b = 209/35 - 27/5. Which is bigger: b or r?
b
Let u be ((-7)/28 + 1)/(-4 - -1). Is u bigger than -11/13?
True
Let v = 2.7 - 1.5. Let z = -1.3 + v. Let q(b) = b**2 + 9*b - 9. Let f be q(-10). Which is greater: f or z?
f
Suppose 0 = 13*d - 22*d. Let q = 5/176 + -661/1584. Which is smaller: d or q?
q
Let c(t) = -t - 5. Let q be c(-4). Let v be 15 - (-9 + (-3419)/(-143)). Which is greater: q or v?
v
Let g(i) = -i**3 - 3*i**2 - 4*i - 3. Let x be g(-2). Let u be ((-2)/2)/((-10)/(450/(-15))). Which is bigger: x or u?
x
Let g be (3 + (-109)/33)*(1 - -14). Which is smaller: -5 or g?
-5
Let u be (-1)/((35/(-15))/7). Let g(h) = -h + 5. Let z be g(5). Let l = 2 + z. Is l <= u?
True
Suppose 3 = 5*x - 4*c, -3*x - 2*c - 3*c - 13 = 0. Let g(y) = -y**3 + 8*y**2 - 6*y - 1. Let v be g(7). Let q be (-28)/273*v/4. Is x at most q?
True
Suppose 8 = -2*r, -i + 4 = -4*i - r. Suppose -3*d - l + 10 = i, -3*l = -5*d - l + 13. Is 14/5 less than or equal to d?
True
Suppose -52 = -w + 53*w. Which is bigger: w or 1/388?
1/388
Let l(k) = k**3 - 5*k**2 + 2*k - 1. Let v be l(5). Let x be ((v*-1)/3)/1. Let w be 1*((-26)/(-6) + x). Which is bigger: 2 or w?
2
Suppose 3*x + 0*x = 9. Let q be x + 0 + 43/(-14). Suppose 5 = -28*g + 23*g. Is g greater than or equal to q?
False
Let f(v) = -v**3 - 3*v**2 - 1. Let z be f(-3). Let d = 0.4 - 2.6. Let a = 0.2 + d. Does z = a?
False
Suppose 76 - 31 = 9*c. Let o = -6 + 8. Which is greater: c or o?
c
Let w = -6613/10 + 662. Which is smaller: 0.1 or w?
0.1
Let m(r) = r**2 + 15*r - 27. Let h be m(-11). Is -73 equal to h?
False
Let a = -14.25 - -11.65. Is -2/9 >= a?
True
Let u = -204 - -289. Let b = u - 77. Which is greater: 7 or b?
b
Let q = 4938.08 - 4938. Let p be (4/18)/(-1 - 0). Is p equal to q?
False
Let h = 10 - 8. Let y = h + -7/3. Let t be -3 - 7/(147/(-72)). Is t greater than y?
True
Let n(u) = -u + 8. Let t be n(7). Let a(h) = 2*h**3 + h**2 - 2*h. Let y be a(t). Is y at most -1/15?
False
Let i be 83/7*(-12)/36 + 4. Let n(a) = -a - 11. Let y = 15 + -25. Let j be n(y). Is j at most as big as i?
True
Suppose -7*a = -2*a - 3*y - 11, 4*a + 3*y - 25 = 0. Suppose -a + 18 = v. Is 59/4 at most as big as v?
False
Suppose 26 = -3*d + 5*i, i + 10 = -2*d - 3*i. Let k = 35 - 15. Let a be (-48)/40*k/3. Which is smaller: d or a?
a
Suppose 0 = -g + 4 - 0. Suppose g*n - 1 - 8 = -y, 0 = 4*n + 5*y - 29. Let a be n/(-3)*(-3 + 10). Is a >= -1?
False
Let z be 3 + -5 + 1 + -7. Let w = -10 - z. Is w less than or equal to -4?
False
Suppose -57*o + 56*o - 61 = 0. Let n = o + 82. Is 20 equal to n?
False
Let p = -1057/10 - -66/5. Are p and -92 nonequal?
True
Let p = -4 - -3. Which is bigger: p or 5/11?
5/11
Let z = 202 + -174. Is z less than or equal to 5?
False
Let v = -123 - -122.95. Is 0.1 at most v?
False
Let r(b) = 56*b - 23. Let u be r(3). Is u less than 145?
False
Let p = 78 - 82.5. Let u = -4.7 - p. Which is smaller: u or 0.05?
u
Suppose -m - 4*h - 10 = 0, -3*m + 0*h - 4*h - 22 = 0. Let x(q) = q**3 - q**2 - 5*q + 1. Let y be x(-2). Let o = y - m. Is 5 greater than or equal to o?
True
Let v be (6/148)/(91/28 + -4). Is v smaller than 0?
True
Let r be (1 + -5 + -7)*(0 - 1). Let c(k) = k**3 + 6*k**2 + 5*k - 1. Let i be c(-4). Are i and r unequal?
False
Let s(a) = -a**3 + 4*a**2 - 3*a + 4. Let r be s(3). Suppose -5*b = -4*l + 2, -3*l - 1 = -r*b - 3. Let z be (2/4)/(1/b). Is z less than 1/5?
True
Suppose -9 = h - 14. Suppose 2*t + h = 7*t. Is -4/11 not equal to t?
True
Let n be ((-3)/35)/(453/(-1510)). Let y = 0 - 3. Which is greater: n or y?
n
Let i = -81.1 - -81. Which is greater: 100 or i?
100
Suppose -f - 5*g = 28, f - 12 = -2*g + 5*g. Let p be 14/6 + 1/(-3) + f. Are p and -6/31 unequal?
True
Let z = -1.08 - -1.1906. Which is bigger: 1/3 or z?
1/3
Let d = 4/1523 + -245299/36552. Let u = d - 13/8. Which is greater: u or -9?
u
Let o(v) = -5*v - 20. Let u(k) = -81*k - 321. Let n(w) = 33*o(w) - 2*u(w). Let m be 6/2*(8 + -11). Let l be n(m). Which is smaller: 10 or l?
l
Let d = -83 - -89. Suppose -5 = d*a + 1. Which is bigger: a or -4/21?
-4/21
Let s be (2/((-4)/50))/(1/2). Is -50 != s?
False
Let t = 80 - 94. Let s(y) = 3*y + 43. Let o be s(t). Which is bigger: o or -17?
o
Let h = -424.9474 + -0.0526. Is h equal to 0.1?
False
Let s = -124.6 + -22.4. Let b = 89 + s. Do -0.1 and b have different values?
True
Suppose -4*o - 24 + 16 = -2*t, 5*t + 15 = 3*o. Which is smaller: t or -14?
-14
Let p = 4 - 1. Let o = -243 - -234. Let s = o + p. Are s and -21/4 unequal?
True
Let b be 66/((-3 - -1) + 3). Let x be (-8)/(-5)*15/b. Are x and 0 equal?
False
Let q = 6 - 7/6. Do 4 and q have different values?
True
Let w = -20792/33 - -6168/11. Is -69 smaller than w?
False
Let h = -793/474 - -1/158. Let v = -2 + 4. Is v < h?
False
Let h = -40008 + 46049211/1151. Is h at most as big as 1?
True
Suppose 48 = -5*g - 22. Let v be 72/g + 3/21. Which is greater: v or -7?
v
Suppose -a + 1 = -4. Suppose 0 = -a*b - 23 + 123. Suppose 5*y = -5*z - b, -2*y + 12 = -4*y - 3*z. Is y at most as big as 6?
True
Let m = -2.56 - -2.46. Which is bigger: m or 3?
3
Let o = -502/3 - -168. Let k(x) be the third derivative of x**6/120 + x**5/20 - x**4/6 + x**3/6 + 2*x**2. Let b be k(-3). Which is smaller: b or o?
o
Suppose -5*w - 2626155771 = -2*w. Let t = 38748928398796/44265 + w. Let b = t + 1/1135. Which is smaller: 0.1 or b?
b
Let s(r) = -r**2 + 4*r + 7. Let t be s(5). Suppose 4*y + 16 = -3*p + 6*y, -t*y = -10. Let w be 9/3 + (-253)/66. Is w equal to p?
False
Let n = 41 - 42. Let p be (53 + -4)*n - 0. Let t be 12/189 - (-14)/p. Which is smaller: t or 1?
t
Suppose 5*b - 475 = 5*l, -4*l + 5*b - 9*b - 364 = 0. Let o be (-1)/l*(-5 - 35/(-10)). Which is smaller: o or -1?
-1
Let w = -1562 - -1564. Which is smaller: 4 or w?
w
Suppose s + 2*s = 27. Let n be 9/(-3) - s/(-3). Suppose 4*q - q = n. Which is smaller: q or -4?
-4
Let y = 326.99 - 327. Is y smaller than -2/5?
False
Let u = 0.31 - 0.31. Let y = 0.06 + 0.19. Let h = y - 0.05. Are h and u non-equal?
True
Let d(w) = -w - 19. Let v = -41 + 59. Let c be d(v). Is -37 >= c?
True
Let m = 19.74 - 25.74. Which is greater: -1 or m?
-1
Let q be (0 - -1 - -87) + -10 + 7. Suppose -q = f - 92. Suppose -x + 28 = 3*x. Is f not equal to x?
False
Let q be 8/14 + 92128/(-14). Let d be (-2)/(-8) - 7/(q/(-195)). Suppose 0 = -5*x + 3*f - 10, 2*x + 5*f = 2*f + 17. Is d at most x?
True
Let w = 552 - 690.5. Let m = w + 139. Is 1/5 greater than m?
False
Let f(q) = q**2 - 7*q + 3. Let a(s) = 2*s + 19. Let j be a(-6). Let u be f(j). Is 3 > u?
False
Let p be 2367352/(-295936) - (1 - 9). Which is bigger: p or -1?
p
Let q = 1923419/242 - 7948. Which is bigger: q or -1?
q
Let l = 53 - 123. Let o be (-1)/(-5) + (-16746)/l. Let c = 240 - o. Which is smaller: 1 or c?
c
Let h(u) = -u**3 - 8*u**2 - 6*u + 6. Let x(c) = -c**2 + 11*c - 34. Let j be x(6). Let z be h(j). Is -34 < z?
False
Let t = 839 - 1031. Is t smaller than 1?
True
Let r = -199/3 + 68. Which is bigger: 1 or r?
r
Suppose -q + 2048 = 3*q. Let n = -13/1152 + 4142683/8064. Let a = n - q. Which is bigger: a or 3?
3
Suppose 47*v + 14 = 33*v. Is -1/406 at least as big as v?
True
Let b be -6*((-10)/(-4) - 2). Let i = 37 - 9. Suppose 4*m - 5*m - i = 5*p, 5*p = 3*m - 16. Which is greater: p or b?
b
Let i(c) = -c**2 - 7*c - 1. Let j be i(-6). Suppose 4*y - 81 = -j*v, 0 = -0*y - 2*y - 2. Is v equal to 17?
True
Let n = 58 + -95. Suppose 0 = 2*l - u - 1, 3*u = u - 2. Does l = n?
False
Let n = -4922/187769 - -13383613321/458531898. Let m = n - 175/6. Which is greater: -1 or m?
m
Let p be ((-130)/(-33) + -4)/(-5). Which is greater: p or 0?
p
Let r = 0.06 - 0.06. Let x(i) = 8*i**2 - 21*i + 21. Let p be x(3). Is r > p?
False
Suppose -3*k + 34 = 142. Let z be 40/(-585) - 8/k. Are 0 and z unequal?
True
Suppose -3*j = -5*j + 4*y - 4, 4*j + 5*y + 8 = 0. Let w be j - -2 - (-22)/8. Suppose 3*h + 3 = 0, -2*a = h + h - 6. Is w greater than or equal to a?
False
Let w be (0 - 0)/3 + 18/4. Is 6 less than or equal to w?
False
Suppose -3*f + 5*z - 107 = 0, -9*f + z = -7*f + 69. Which is smaller: f or -36?
-36
Let v = -184 - -180