ue
Let y(t) = t**3 + 14*t**2 - 6*t + 5. Let h be y(-12). Let x = 366 - h. Which is smaller: x or 4/49?
4/49
Let m = -98 - -278. Suppose 3*a + 15 = -m. Let y = -62 - a. Do y and 3 have different values?
False
Let m = -566 - -399. Suppose 1032 = -8*f - 312. Do f and m have the same value?
False
Let g(k) = -6 + 58*k**3 - 5*k**2 - 6 - 10*k**2 - 57*k**3 + 30*k. Let v be g(14). Is 213 > v?
True
Let o(g) = g**3 + 3*g**2 - 16*g - 95. Let x be -6*(-49)/42 - 11. Let b be o(x). Let v = 46 + -92. Which is smaller: b or v?
b
Let l(d) = d**2 + 9*d + 23. Let t be l(-8). Suppose 0 = t*j + 122 + 13. Suppose -61 + 1 = 5*p. Which is bigger: p or j?
j
Let t = 5 + -5. Let h = -0.1 - t. Let j be 1083/(-3971) - (10566/6699)/(-6). Is j < h?
False
Let a(b) = b**3 + 11*b**2 + 2*b + 24. Let k(w) = -w**2 - 5*w - 5. Let v be k(-6). Let i be a(v). Is 13/11 not equal to i?
True
Let u = 5.321 - 4.321. Is u > 3735?
False
Suppose 0 = 11*z - 176 + 627. Let o be 0 - (4 + 0) - (-44 - z). Let s be ((-6)/(-9))/o*27/3. Is -6 smaller than s?
False
Suppose 11*x - 329 - 265 = 0. Let r be (-838)/(-7) + 2/7. Suppose -5*n + r = 5*t, t - 5*n - x = -0*t. Is 30 equal to t?
False
Let k be (0 + 2)*4/(-8). Let o(x) = -4*x**2 - 57*x - 12. Let g be o(-14). Suppose 0 = -4*c + 8, -3*d - c + g = -d. Which is greater: d or k?
d
Let v = -4326662 + 99493872/23. Let c = 842 + v. Are c and 1 nonequal?
True
Suppose 0 = 3*j - 6, 3*d + 2*d + j = 1807. Let p = 1495 + -1495.1. Which is smaller: d or p?
p
Suppose 5*h = -o + 1, -3*o + 2*o - 9 = -5*h. Let q be h*0/(-3 - (-24)/6). Is q > 17/23?
False
Let c(d) be the second derivative of 13*d**6/720 + 3*d**5/40 + d**4/4 - 16*d. Let p(z) be the third derivative of c(z). Let u be p(-3). Which is bigger: 0 or u?
0
Suppose -4*b = -k - 500, -5*b - k = -323 - 293. Which is smaller: b or 122?
122
Let d be 4*(7 + 2/(-1)). Suppose -8*z + 120 = -5*l - 13*z, -2*z - d = l. Let o = -17 + -10. Is o greater than or equal to l?
True
Let t(i) = 10*i + 26. Let q be t(-2). Let r be (-6)/(-1) - (-35 + 40). Is q bigger than r?
True
Let a = 15119 + -3114523/206. Let v = a + 1823/1648. Which is smaller: v or 2?
v
Let p(i) = 3*i**2 + 84*i + 174. Let a be p(-25). Let z = -93 - -42. Is a less than z?
False
Let g = -0.03517 - 0.96483. Which is smaller: 0.034 or g?
g
Let c be (21*(-7)/(-98))/((-3)/772). Which is smaller: -382 or c?
c
Let y = 10340 + -175786/17. Are y and 318 non-equal?
True
Let c = -0.94 + 64.13. Let j = -0.032 - 62.968. Let q = c + j. Is 1 bigger than q?
True
Let u be ((-46)/16 - -1) + 1461/1948. Let f be (0 + 0)/(-2) - 2. Is u equal to f?
False
Suppose -139*p + 258410 = -73896 - 532969. Which is smaller: 6224 or p?
6224
Suppose 5*v - 566 + 72 = h, 0 = 5*v + 10. Let u be -8 + h/(-60) + 198/5. Which is bigger: 47 or u?
47
Let b = -9.24 + 8.9. Is 1/3 smaller than b?
False
Suppose 28724 + 84375 = 38*v + 30601. Is v > 2173?
False
Let d = -335255.96 - -335256. Let v be 3571/16 - 2/8. Let u = v + -223. Are d and u non-equal?
True
Suppose 103 = 6*n + 1723. Let g = -294 - n. Is -26 less than g?
True
Let j be -6 - (3/6 - (-8 - (-2588)/179)). Which is bigger: j or 1?
1
Let t be 2/(-5) + 172/55. Let h(l) = l**2 + l - 2. Let m(n) = -7*n**2 + 8*n - 34. Let d(g) = 6*h(g) + m(g). Let c be d(6). Which is greater: c or t?
t
Suppose -4*k + 6*k = 0. Suppose -63 = -3*f + 3*q - k*q, 3*f + q - 71 = 0. Which is smaller: f or 21?
21
Let n = -29683 + 149009/5. Which is bigger: 119 or n?
119
Let a = 37 - 33.2. Let c = a - 3.54. Let r = c - 0.26. Is r >= 13?
False
Suppose -29 = 5*s + 6. Let n = 28.57 - 33.57. Which is smaller: s or n?
s
Suppose -279 - 63 = -f. Suppose 34 = 3*y + 5*u + f, -2*u = -2*y - 232. Is -110 < y?
False
Let s = 2252 + -2251.5. Let h = -65/2 - -35. Is h not equal to s?
True
Suppose 3*g - 2*j = 11, -5*g = 3*j - 5*j - 21. Let k be 158/(-2) + 0*g/(-10). Does k = -79?
True
Let i = 32 + -18. Suppose -i = -38*h + 36*h. Let d = 1.99 + 0.01. Does d = h?
False
Let r(c) = c**2 + 2*c - 19. Suppose 4*h - 2*q = 22, q + 4*q = 5*h - 15. Let k be r(h). Let y(t) = t**3 - 8*t**2 + 32*t - 2. Let v be y(4). Is v greater than k?
True
Let w = 6781 - 6780. Which is bigger: w or -0.1421?
w
Let f be 0/((0 - (7 + -9))*1). Which is bigger: -1/547 or f?
f
Let t = 9128 + -9372. Which is bigger: t or -16?
-16
Let r(z) = 58*z + 1575. Let k be r(-35). Is -455 at least k?
True
Let j be 65/(-11721810)*-541006 + (-3)/1. Let u = j - -661117784/2256448425. Let m = 2/275 - u. Is -1/2 equal to m?
False
Suppose -8 = -d - 6. Suppose -1 + 0 = -j + 3*l, -4*l + d = -j. Let f = j - 14. Which is smaller: f or -2?
f
Let b(g) = g**2 - 12*g + 15. Let k be b(11). Let z be k/(-6)*(7 - 24/6). Is z <= 25?
True
Let m = 46 - 388. Let g = m + 333. Which is greater: 0 or g?
0
Let q(o) = 2*o**2 - 26*o - 26. Let p be q(14). Let g be p/(36/75) - (-16)/(-96). Suppose 0 = -0*a + 4*a - 12. Which is greater: g or a?
g
Let h = 118 + 73. Let p = 189 - h. Is p smaller than 7/13?
True
Let c = 7 - 8. Let i be (c/(-4))/((-2)/(-10)). Which is smaller: -0.6 or i?
-0.6
Let b(p) = -4499*p + 36. Let g be b(-1). Let m = 1618993/357 - g. Which is smaller: 0 or m?
m
Let d(u) = -26*u**3 - 2*u**2 - 2*u - 1. Let q be d(-1). Suppose 15*m + 6*m = 0. Suppose m = 19*o - q*o. Which is smaller: o or 5/11?
o
Let r(o) = o**2 - 6*o + 28. Let z be r(6). Suppose -8663 + 291 = z*l. Which is smaller: -298 or l?
l
Let w(g) = 2*g + 3. Let p = 52 - 14. Let k = p - 49. Let n be w(k). Which is smaller: -20 or n?
-20
Let l = -43 + 44. Let t(v) = v**3 - 27*v**2 - 30*v + 57. Let i be t(28). Is l greater than i?
False
Let k = 14972.05 - 14972. Is k less than -2.1?
False
Let x(l) = l**2 + 17*l - 58. Let j be x(-20). Suppose 6 = j*v + 2. Suppose -4*m - q - 8 = 0, -2*m + 1 + 5 = 3*q. Which is greater: v or m?
v
Let p be (-35 - 0/2)*(-39)/(-65). Let d be (-16 + -7)/(2 + (-2)/2). Is d less than p?
True
Let s be 1/8 - (3549/(-24) + 13). Suppose -s = 97*b - 88*b. Let i(j) = -j**3 + 6*j**2 - 2*j + 2. Let c be i(6). Does b = c?
False
Let m be ((-16)/220)/((-2)/(-15)). Suppose 8*j + 6 = 11*j. Suppose x - j = 3*x. Which is bigger: x or m?
m
Let h be ((-1573)/(-176) - 10)*28. Let o be 3*(-29)/(-3)*-1. Which is smaller: h or o?
h
Let r be 1 - (5 + (-2)/2 + -3). Suppose -2*a - 2*a - f + 129 = 0, r = -4*a - 2*f + 130. Is 30 < a?
True
Let f = -3902/3601061 - 24754545081/21996346502056. Let l = f - -2/12517. Which is bigger: -1 or l?
l
Suppose -v - 11 + 1 = -4*y, -v = 4*y - 14. Suppose b = -v*b + 75. Suppose b = -5*t - 5*l, -2*t - 2 = -2*l - 0. Is t at most as big as -6?
False
Suppose -5*b + 28 = r - 4*b, -2*b - 28 = -r. Let d = -25 + r. Suppose d*h - 2*q = 25, q = 3*q + 4. Which is smaller: h or -1?
-1
Let q = -363 + 566. Let b = 203.055 - q. Which is greater: b or -1?
b
Let b = 1 - -28. Let i = 471781 + -2830685/6. Which is smaller: b or i?
i
Let o = 0.05 + 0.02. Let l = o - 2.07. Let r = -668 + 672. Which is smaller: r or l?
l
Suppose 0*b = -2*b + 8. Let h = -1000291/1980 - 1/396. Let j = h - -510. Which is greater: j or b?
j
Let v = 17134.1 - 17534. Are 2 and v nonequal?
True
Let g be ((-384)/(-60))/(-4) - (-7)/10*-41. Which is smaller: -31 or g?
-31
Let v = 2 - 3. Let l be 28534/(-12)*(-1)/((-261)/36). Let u = 328 + l. Which is bigger: u or v?
u
Suppose -74*b = -30*b + 88748. Which is smaller: 0 or b?
b
Suppose -89*l + 202 = -87*l. Let g = 97 - l. Which is smaller: -43/9 or g?
-43/9
Let f(c) = -2*c**2 - 2663*c. Let i be f(0). Let w = -0.84 - 154.16. Is w less than or equal to i?
True
Let x = -1.1877 + 1.3707. Which is smaller: -4 or x?
-4
Suppose -23 = j - 80. Let a = 84 - j. Suppose -a*b + 9 = -30*b. Which is smaller: -0.07 or b?
b
Let c = 1.508 + -123.508. Which is greater: 17 or c?
17
Let w = -64 + -18. Let z = w + -39. Let j = -121.11 - z. Is -2/11 < j?
True
Suppose 0*b = b + 26. Let p = 0 - b. Suppose 135 = 16*r - 11*r. Which is greater: p or r?
r
Let a(l) = -3*l + 35. Let h be a(11). Let t be 2250/48*h/(-3). Let n = t - -31. Do n and -2/23 have the same value?
False
Suppose -9 = 3*y - 6*y. Suppose y*j + 9 = 2*b, 7 - 2 = 2*b + j. Suppose -14 = -b*f - 5. Is f greater than or equal to 9?
False
Suppose -152*u + 193*u = -28003. Which is smaller: 0.7 or u?
u
Let f be (-80)/32*(-4)/5. Let n(l) = -2*l + 0 - 7*l**2 + 6*l**2 + 2*l**2 + f. Let t be n(0). Is t <= 4?
True
Suppose 5*c = -2*y + 1