maller: d or u?
d
Let b(w) = w + 3. Let r be b(0). Let s be (4 - 2)*2 - 2. Let k be (2 - s)/(-5 - -3). Does r = k?
False
Let q = 39 - 19. Is 19 < q?
True
Suppose -u - 7 = -4*h, -6*h - 5 = -2*h + 3*u. Let o be 44/(-14) + (-7)/(-49). Is h < o?
False
Let n(l) = 12*l**3 - l**2 - l + 1. Let t be n(1). Suppose -40 = 30*i - 370. Suppose -4*g - i = -3*h, 4*g = 5*h + g - t. Which is greater: h or 16/5?
16/5
Let f = -2850/8509 + 16/127. Let z = f + -5/938. Let j = -2/7 + z. Is -1/11 not equal to j?
True
Let h(m) = -3*m**3 - 4*m**2 - 7*m + 12. Let k(i) = -i**3 - i. Let w(d) = -h(d) + 4*k(d). Let b be w(4). Is 2/45 greater than or equal to b?
True
Let z(h) = -h**2 + 7*h + 0*h + 0*h - 6. Let r be z(6). Let w(g) = g**2 + 54*g + 703. Let v be w(-21). Do r and v have different values?
True
Let i be ((-1)/(-3))/(3/1566). Let w = i + -7831/45. Is w >= -1?
True
Let f = 82 - 82. Suppose 2*j + j = f. Let r = 2/33 - 5/33. Which is bigger: j or r?
j
Let o = -3.92 - -6.42. Let i be 33/36 - 2/8. Which is bigger: i or o?
o
Let n(m) = 47*m + 187. Let w be n(-11). Are -330 and w non-equal?
False
Let o be 800/640*4*(-14)/(-60). Is o greater than or equal to 0.3?
True
Let f = 15.937 + 0.063. Let v be (-1)/((-70)/(-20) + 1/(-2)). Are v and f non-equal?
True
Let o(t) = -t**3 + 5*t**2 + 4*t + 11. Let u be o(6). Let b be (3 + 14/(-5) - -1) + u. Which is smaller: 1 or b?
b
Let r(i) = i**3 + 7*i**2 - 5*i - 3. Let s be r(-4). Let n be 2/(-6) + s/15. Is 2 less than n?
True
Let n be (-2 + (-1)/1)*(1 + -2). Suppose 3*h = -2*h. Suppose 13 = 2*d + n*z, -z + h - 1 = -2*d. Is d at most 0?
False
Let c = -132 - -172. Is c greater than or equal to 38?
True
Let l(c) = 10*c**2 - c - 2. Let a be l(6). Let k be (18/8)/(33/a). Suppose -3*m + 2*b - 59 = 0, -4*b + 26 = -2*m - k. Which is smaller: m or 0.1?
m
Let s be (-1)/(-3)*20/36. Is s less than -1?
False
Let c(x) = 6*x - 2. Let j be c(12). Let w be (-1 - 1) + j/5. Suppose 5*g + 5*i = 85, -5*g + 50 = -4*i + 10. Is w greater than g?
False
Suppose 0 = h - 136 + 136. Is h less than or equal to -8/211?
False
Suppose -80*z + 10116 = -62*z. Does z = 562?
True
Let d be (-1)/2 + (0 - (-28)/8). Let w be 4*(d + 1/(-4)). Is 11 bigger than w?
False
Let p = 67820/39 - 1739. Which is smaller: 1 or p?
p
Let z be (-2)/(-3)*(-8)/16. Which is greater: -2 or z?
z
Let u(q) = -q**3 + 10*q**2 + 3*q - 30. Let x be u(10). Suppose 5*t - 6 - 9 = x. Is 3 >= t?
True
Let k be (-3)/6 - -91*(-1)/2. Let c = k + 45. Which is smaller: c or 2/13?
c
Let j = -109.1 + 109. Let c = -1.4 + 0.4. Which is smaller: c or j?
c
Let c(p) = -p**2 + 2*p - 1. Let o be c(1). Suppose -2*a - r = -3*r + 2, 4*a + 2*r - 8 = o. Which is smaller: -2/195 or a?
-2/195
Suppose -55*h + 31 = -79. Suppose 4*l = -2*w + 4, -l + 3*w + w = -1. Which is smaller: h or l?
l
Let c = 56 + -43.5. Let s = c + -6.6. Let w = -6 + s. Is w at most as big as 2?
True
Let v(r) = -2*r - 19. Let q = -68 - -59. Let c be v(q). Which is greater: 4/11 or c?
4/11
Let a(p) = p**2 - 5*p + 2. Let c be a(7). Suppose 8*v + 0*v - c = 0. Which is greater: v or -9/7?
v
Suppose -441 + 725 = 4*y. Which is bigger: y or 2?
y
Let x = -61 + -130. Is -193 less than x?
True
Let l = 4/239 - 4573/1912. Let o = l - -5/2. Let z(g) = -g**3 + 7*g**2 - 6*g - 1. Let m be z(6). Is o <= m?
False
Let h(b) = 73*b**2. Let t be h(1). Let y = t + -34. Which is greater: y or 38?
y
Let m(v) = -v**2 + 40*v - 333. Let q be m(29). Which is bigger: q or -17?
q
Let d = 2.97 + 0.03. Let x = 0.0234 - 0.1234. Is d equal to x?
False
Let y(d) = -8*d**3 + 2*d**2 + 2*d + 1. Suppose 2*x - 4*u = 10 + 8, -2*u = 10. Let b be (-2 - x)*(-1 - -2). Let a be y(b). Is 10 < a?
False
Suppose 3*j = -5*f + 7*j + 16, -8 = 2*f + 2*j. Suppose -5*a - v - 1 = 0, f = -a + 3*v - 8*v - 5. Is 2/85 less than a?
False
Let o be (-291)/(-2)*4/6. Suppose o = 2*a + 3*a + 2*m, -5*a + 93 = -2*m. Which is smaller: a or 17?
17
Let a(z) = 7*z**3. Let s be a(1). Let j = 257/5 - 656/15. Are s and j nonequal?
True
Let m = 14961/4 + -3769. Is -29 <= m?
True
Suppose 5*a - 17 = -2. Let y(n) = -n**3 - 6*n**2 + 8*n + 9. Let z = 20 + -27. Let f be y(z). Is a < f?
False
Suppose 3*s - 5*s - 2*f - 12 = 0, 3*s = 5*f - 42. Is 7 bigger than s?
True
Let f be -6 - (-98)/21 - (-71)/(-3). Suppose 0 = -3*r - r - 5*s + 106, -4*r - s = -98. Let h = f + r. Which is bigger: h or -5/7?
-5/7
Let o = 12 - 12. Suppose o*p + p = -894. Let f be p/(-42) - (-2)/(-7). Which is bigger: f or -1?
f
Suppose x + 5 = -4*x. Let d = 20301873709/1251 - 16228517. Let k = -6/139 + d. Are k and x nonequal?
True
Let z be 1/(-4) - (-97)/4. Let b = z + -25. Let h = 1 - 2. Is b at most as big as h?
True
Let b be 1 - 3/((-12)/964). Let u = b + -1939/8. Suppose -44*y = -59*y. Is u greater than y?
False
Suppose -2*y - 140 = 3*y - 2*i, -i = 0. Let q be -6*3/(18/28). Is y at most q?
True
Let k = -671 + 670. Is k < -2/11?
True
Let c be 9/(-6)*(-4)/3. Let p = -366 - -353. Let v = p + c. Is v bigger than -11?
False
Suppose -3*z + 2*z = 0. Let i = 1 + 2. Let h be i + (1 - (z + 1)). Which is bigger: h or 1?
h
Let b = 1.8 + -4.3. Let i = -3.5 + b. Let w = -6.8 + 4.8. Is w bigger than i?
True
Let g be (45/(-90))/(1/(-10)). Is 29/5 equal to g?
False
Suppose 0 = -d - 1 - 21. Let v be (8/(-10))/(d/275). Suppose -11*b = -v*b - 13. Which is bigger: 14 or b?
14
Suppose -2*q - 2 = 0, n + 4*q = -3 + 2. Let c(z) be the second derivative of -z**4/6 + z**3/2 - z**2 - 249*z. Let a be c(n). Is a >= -11?
True
Let s = -14.04 - -14. Let v = 258.04 - 250. Let w = s + v. Which is smaller: w or 2/3?
2/3
Suppose 0 = -27*k + 44*k + 187. Which is smaller: -4 or k?
k
Let w = -201.116 + 0.116. Which is bigger: w or -2?
-2
Suppose 24*h = -34*h - 174. Let o = 7 + -6.7. Is h not equal to o?
True
Let u = -13248/11 - -132557/110. Suppose y - 2*w - 16 = -5*w, 5*y - 5*w + 20 = 0. Which is smaller: u or y?
u
Let r(p) = p**3 - 6*p**2 + 3*p + 4. Let y = -7 - -7. Suppose y*l - l + 5 = 0. Let g be r(l). Is g != -6?
False
Let z = 223 + -1140. Do z and -1/4 have the same value?
False
Suppose 3*p + p - 3*j - 179 = 0, -2*p + 62 = 4*j. Is 45 greater than p?
True
Suppose -2*z = -7*z + 100. Suppose 2*l + 4 = z. Let d = 50 - 49. Which is greater: l or d?
l
Let s be -4*(-8 - (-97)/12). Which is smaller: s or -30?
-30
Let y = -1765 + 421832/239. Is 0 less than y?
False
Suppose -2*h - 12 + 22 = 0. Let p be ((-20)/25)/(1/h). Which is smaller: p or -7?
-7
Let h = -3.1 + 3. Let r = 3 - -1. Let a(v) = v**2 - 14. Let u be a(r). Does u = h?
False
Suppose 3*a - w - 17 = 0, -a + 3*w = 2*w - 7. Suppose a*o - 2 = 8. Suppose 0 = o*h + 4, -3*q = -5*q + h - 12. Which is smaller: -6 or q?
q
Let u = -0.46 - -0.56. Suppose -5*j + 100 = 2*k, 0 = j - 6*j + k + 85. Let n = 71/4 - j. Does u = n?
False
Let x(z) = -z**3 + 8*z**2 + 26*z + 76. Let g be x(11). Is -3/158 less than g?
False
Suppose -2*b = -6*b - 12, 13 = 5*k + 4*b. Suppose c - k*x = 28, -5*c + 5*x + 86 = 26. Let u be ((-18)/c - -2)*-4. Which is bigger: 2/23 or u?
u
Let m = 15.6 - 13. Let d = 95 - 97. Let l = m + d. Which is smaller: l or 3/4?
l
Let m(s) = -s**2 - 16*s - 16. Let v be m(-15). Which is smaller: -8 or v?
-8
Let f = -0.046 - 2.954. Is 2/41 at most as big as f?
False
Let j(a) = -a + 4. Suppose c = 4*o + 18, 12 = c - o - o. Let z be j(c). Let p = -2 - -3. Which is bigger: z or p?
p
Let f = -564474 - -8463178/15. Suppose 888 - 102 = 3*q. Let r = q + f. Is r > -1?
True
Let w be (-2)/(-9) - (4952/2196 + -2). Which is smaller: 1 or w?
w
Suppose -3*s + 2*k - 325 + 84 = 0, 4*s + 322 = 2*k. Which is bigger: -83 or s?
s
Let c be 7 + -74 - 6 - -7. Which is bigger: c or -64?
-64
Let x(n) be the second derivative of -n**5/20 - 5*n**4/12 + 11*n**3/6 + 5*n**2/2 - 16*n. Let t be x(-7). Is 22 bigger than t?
False
Suppose s - 2*s + 53 = -3*r, r - 4 = 0. Suppose -4*y + s + 67 = 0. Is y smaller than 34?
True
Let n be (-6)/168*(2 - -1). Suppose 0 = f - 2*f - 1. Which is greater: f or n?
n
Let g = -16 - -24. Suppose 8*y = -g + 24. Is y at most -2?
False
Let t = -0.0769 - 0.0231. Which is bigger: t or 0.0761?
0.0761
Let p = 62492 + -436607/7. Let g = -16649/140 + p. Let l = 2/5 - g. Which is smaller: l or -23?
-23
Suppose 11620 = -231*u + 245*u. Which is greater: u or 829?
u
Let d = -15 + 15. Let a(l) = l - 4. Let f be a(8). Let m be (-6)/f*24/84. Is m less than d?
True
Suppose 0