o 3/8?
True
Let w(d) = -d**3 - 5*d**2 - 4*d - 4. Let j be w(-4). Suppose -584*x = -585*x + 42. Let g be x/63 - 8/(-6). Do j and g have the same value?
False
Let b be (-3412)/(-7677) + ((-5)/(-9) - 0). Do 3/6761 and b have the same value?
False
Let b(z) = z**3 + 4*z**2 + 3*z + 2. Let g be b(-3). Suppose -13*r = -2557 + 2531. Suppose 0 = 3*d - n + 67, r*d = -g*d + n - 89. Is d at most -20?
True
Suppose 2 = r + 80*l - 85*l, l = 5*r + 134. Let n be 1 + -3 - (-84)/2. Suppose -5*t - n = 105. Is r < t?
False
Let w = -44901/146 + 615/2. Let v(r) = -r**2 + 8*r - 6. Let s be v(1). Are w and s equal?
False
Let a = 16907 + -16906.19. Which is smaller: -3/137 or a?
-3/137
Let k be (-12)/(-66) - (-246)/(-1474). Let g(r) = -r**3 - 2*r**2 - 1. Let s(c) = c**2 + 3*c - 6. Let d be s(-4). Let i be g(d). Is k at least i?
True
Let p = -260 - -263. Let z be 310*p*(-5 + (-96)/(-18)). Which is smaller: z or 311?
z
Let g be 21*(-8)/12 + (2 - (-24)/(-4)). Is -155/8 greater than g?
False
Let o(z) = -z**2 + 6*z + 5. Let p be o(6). Let x(l) = -l**3 + l**2 + l + 13. Let n be x(0). Let b = n - 8. Is b at least p?
True
Let b = 47 - 109. Let x = b - -90. Let t(h) = -h**2 + 27*h + 28. Let v be t(x). Is 0.07 at most v?
False
Let u = 1.34 + -1.4. Let r = 52.359 + -1.059. Let g = -51 + r. Which is smaller: u or g?
u
Let h = 107621 + -433051/4. Which is smaller: h or -642?
-642
Suppose 0 = -2*y + v + 7, 0*y - 4*v = -y. Let s be y/12 + 9/(54/4). Which is smaller: s or -7/16?
-7/16
Let h = -5258 + 5258.062. Which is smaller: h or 0?
0
Suppose -3 = c - 4*c. Let s = 73254 + -2417354/33. Which is greater: c or s?
c
Let b be 3 + (-36)/(-6) + -4. Let g be 17*(-1)/22 - b/(-10). Let z be 1/3 - 4/(-6). Which is smaller: g or z?
g
Let j = 2314 - 275372/119. Suppose 0 = -219*d + 206*d - 13. Which is smaller: d or j?
d
Let f be 112/(-12)*738/(-8). Is f at least 860?
True
Let x = 63.53 + -18.53. Which is bigger: 1/38 or x?
x
Let a = -566.9172 + 567. Do a and 2 have the same value?
False
Let g be 2176/(-8) - -2 - (-11 + 3). Which is smaller: g or -280?
-280
Let m(p) = 89*p - 8987. Let d be m(101). Let s = 53.6 - -9.4. Which is greater: s or d?
s
Let u be (4/2)/((-156)/(-109551)). Is u equal to 1406?
False
Let p = -46.2895 - 0.1605. Let a = p + 46. Let r = a - 0.55. Which is smaller: r or 10?
r
Let s = 93 - -15. Suppose 18*z + s = 15*z. Is z greater than or equal to -35?
False
Suppose 2*q - 3 = -1. Let m = 190229/253 - 8234/11. Let h = -2456/713 + m. Is q less than or equal to h?
False
Let j(w) = w**3 + 6*w**2 - 15*w + 5. Let x be j(-8). Let c be -33*(-3 + (5 - (4 + x))). Is -33 bigger than c?
False
Let c = -0.285 + 157.285. Let z = c - 128. Are -2/5 and z unequal?
True
Let c(n) = -n**3 + 11*n**2 + 30*n - 53. Suppose -80 = -5*u + 3*v, -8*u + 62 = -4*u - 2*v. Let f be c(u). Which is greater: 2/633 or f?
2/633
Let y(v) = -2*v**2 - 3*v + 17. Let t be y(7). Let g be 4*(3 + t/36). Which is greater: g or 0.61?
g
Let q = 19/326 + 557/1630. Which is greater: q or -193.4?
q
Let w(p) = 360*p - 12272. Let c be w(34). Let j be (4*-1)/((-4)/(-30)). Which is smaller: c or j?
c
Let y be -2*(-6 + 3) - (-45 + 3593). Which is greater: y or -3541?
-3541
Let j be 409 + -412 + -1 + 7. Let q = 1.78 + -2.55. Is j less than or equal to q?
False
Let u(s) = 5044*s**3 - 36*s**2 - 35*s + 3. Let t be u(-1). Do -5043 and t have the same value?
False
Suppose -181*v = -94*v - 91*v. Is -7/737 < v?
True
Let s(d) = 4*d**2 + 51*d - 409. Let c be s(-18). Which is smaller: c or -0.91?
c
Suppose -2*k - 4*w = -10, -2*k + 3*k + 5*w + 1 = 0. Let f be 6/(-15) - (0 - 930/75). Which is greater: f or k?
f
Let f = 8.23 - 8. Let d = f + 59.77. Let r = d - 60.9. Which is smaller: 3 or r?
r
Let o = 0.01586 - 0.21586. Is o greater than -3927?
True
Let j = -158 - -308. Suppose 4*g = 2*m - 302, 0 = 476*m - 471*m - g - 746. Which is bigger: j or m?
j
Let m be (-6 - -3 - 11)/((-38)/(-608)). Is m less than -227?
False
Let l = -88 - -82. Let q = -59 + 61. Suppose -s + 0*p = 4*p - 14, q*s - 16 = -5*p. Which is bigger: l or s?
s
Let u = 9566 - 9409. Which is bigger: 154 or u?
u
Suppose -14*i = -5*i + 3321. Let d be ((-6)/i)/(5/(-90)*2). Which is smaller: d or 0?
d
Let b = -30960 - -30216. Which is bigger: -752 or b?
b
Suppose 0 = 10*q - 14*q - 780. Let l be (4/(-3))/((-5)/(q/(-494))). Let a(r) = -r**2 + r + 1. Let m be a(0). Does l = m?
False
Let d be -2 - ((-1740)/105 + 23 + (-3)/7). Which is smaller: d or -374/47?
d
Let c(i) = 3*i - 1. Let n be c(1). Let y be (12/9)/4 + 850/(-66). Let o = y - -144/11. Which is smaller: o or n?
o
Let t(b) = -6*b - 15. Let q be t(-13). Suppose 6*d - q = -3*d. Suppose d*u - 2*u = 4*v - 84, -12 = -3*u. Are v and 27 nonequal?
True
Suppose -4*r - 544 = -3*v, -4*v + 272 = -2*r - 5*v. Let a = -883 + 747. Are r and a non-equal?
False
Let j = -16 + 37. Which is bigger: j or 2/11?
j
Let t = -485 - -2413/5. Let v(m) = 9 + 15*m**2 - 21*m**2 + 14*m**2 + 41*m + m**3 + 6*m**2. Let o be v(-10). Which is bigger: o or t?
o
Suppose 4*c - 16 = 0, -320*t + 321*t = -c + 849. Is 845 smaller than t?
False
Let a(t) = -3*t + 17. Let j be a(4). Suppose -j*i + m + 14 = 0, -20 = -3*i - i + 3*m. Suppose 6 + 0 = -i*l. Does 0.2 = l?
False
Let q(f) = f**3 - 5*f**2 + f - 5. Let g be q(5). Let k = 1167 + -1105. Does k = g?
False
Let b = -220 - -220. Let n = 13 - 22. Let a be -2 - (-15)/n*-4. Are a and b equal?
False
Let p be (-2)/((-2)/2 - -98). Let v(b) = -639 + 39*b + 1269 + 38*b**2 - 629 - b**3. Let c be v(39). Is p greater than c?
False
Let z = 0.08825 + 0.01175. Which is smaller: z or -733?
-733
Let m = -44892 - -44906. Let p be (-2)/5 + (-28)/(-20). Suppose 0 = 3*j - 2*j + 3*w - 22, -p = -j + 4*w. Is j greater than or equal to m?
False
Let w = -5 - 20. Let q = 174186 - 174211. Are w and q non-equal?
False
Let l(m) = m**3 - 13*m**2 - 113*m + 765. Let q be l(17). Which is smaller: q or -2/133?
-2/133
Let x be 17136/8784 - (1 + 1). Let i(g) = -g**2 + 6*g - 1. Let z be i(6). Are z and x non-equal?
True
Suppose -15*b + 6*b = -1170. Which is smaller: b or 128?
128
Suppose -5*o - 41 - 67 = -m, -2*m + 243 = -o. Let s = 124 - m. Let b be ((-2)/(-30))/(14/6). Which is smaller: s or b?
b
Let l be 5 - -4359 - (4 + (-1 - 4)). Let o be (-1649)/l + 1/(-15). Is o equal to 11?
False
Let t be (-9)/(-17)*696/(-72) + 4 + 1. Is -4 equal to t?
False
Suppose -5*l = -h - 179, -3*l - 2*l - h + 181 = 0. Let q(t) = 461*t + 16173. Let o be q(-35). Which is smaller: l or o?
l
Let t(b) = 45*b + 21. Let z be t(-8). Let k = z - -317. Which is smaller: -116/5 or k?
-116/5
Let o(z) = 26*z - 620. Let g be o(8). Are -418 and g equal?
False
Suppose -4*v - 2 = 2. Let p(y) = -292*y - 21026. Let g be p(-72). Which is smaller: v or g?
g
Let o(f) = -3*f**2 + 3*f + 3. Let v be o(6). Let b(x) = -2*x**3 - 155*x**2 + 240*x + 151. Let r be b(-79). Which is greater: v or r?
r
Let s(m) = 243 - 3*m - 248 - 3*m**2 + 4*m**2. Let a be s(3). Let y be -16*a/(-5) - 4. Is -19 at most as big as y?
False
Let q(s) = -90*s + 3286. Let x be q(45). Is 0 < x?
False
Let q be (-7)/(3 - 17)*1/((-15)/(-49662)). Is 1654 less than q?
True
Let l = 204.62 + -205.07. Let q = 1.6 + 0.85. Let o = q + l. Do 1/2 and o have the same value?
False
Let m = -10268 - -8346. Is -1926 at least as big as m?
False
Let g = -9 + -3. Let z be -12*(15/g + 2). Let v = -710 - -703. Which is smaller: v or z?
z
Let k(j) = 243*j. Let x be k(2). Let h be 24/15 + -2 - x/(-15). Let n = h + -28. Is n > 4?
False
Suppose 5*h + 84 = 3*r - 1236, -3*r = 4*h + 1056. Let g(w) = 53*w - 316. Let a be g(1). Which is greater: h or a?
a
Let o(u) be the first derivative of -u**4/4 - 9*u**3 - 26*u**2 - 62*u + 119. Let c be o(-25). Let v = 1 + -4. Which is greater: v or c?
v
Let u(c) = 6*c**2 - 21*c - 218. Let d be u(9). Which is greater: d or 236/3?
d
Suppose -2*n = 2*b + 10, -5*b = 3*n + 14 + 7. Let h(z) = 3*z**3 + 4*z**2 - z - 1. Let w be h(b). Let d(a) = a**2 - 19*a + 17. Let v be d(15). Does v = w?
True
Let a(b) = -b**2 + b + 3. Let p be a(0). Let t be -4 - 4/(0 - 4)*5. Let z be 153/34 - 2/t. Is p less than z?
False
Let u be 8 - 1/((-60)/(-60144))*15/(-6). Which is bigger: u or 2517?
2517
Let o = -20320 - -20352.92. Which is bigger: 0 or o?
o
Suppose j = -3*w - 5, -2*w + w + 17 = 5*j. Suppose -9*o = -j*o + 15. Which is smaller: -2 or o?
o
Let g = -17 