0*38/4. Which is smaller: s or d?
d
Let w(u) = u**3 - 6*u**2 - 26*u. Let y be w(-3). Let d be 10 + 75/(-9) + 8/y. Is d at least as big as -14/13?
True
Suppose 2*w + 120006 = 5*n, 12*w = 15*w + 9. Let q = n - 21671998/903. Which is smaller: q or -1/3?
-1/3
Let s be 0 + (2 - (-68)/(-14)). Let u(b) = b**2 + 16*b + 19. Let v be u(-15). Suppose 5*r - v*g = -23, r = -2*r - 5*g + 1. Is s at least as big as r?
True
Suppose 0 = -3*t - 4*g + 642, -4*g - 1038 = -3*t - 2*t. Let s be (-7)/(t/4)*(-18)/(-4). Which is bigger: s or 11?
11
Let m = 0.04143 - -142.93857. Let c = 143 - m. Are c and 12 non-equal?
True
Suppose -2*p - 2*h + 12 = 0, 10 = 3*h - 5*h. Suppose -13*f = -8*f - 15. Suppose -4*q - f = -p. Which is bigger: q or 7?
7
Suppose -15*v + 136 = -19*v. Let w = 31 - v. Which is bigger: 60 or w?
w
Let t be -33 + 678*(-9)/54. Let l(o) = -2*o**2 + 2*o - 1. Let s be l(1). Is s greater than t?
True
Let p(f) = 5*f - 28. Let r be p(3). Let j be 37/13 + (-2)/r. Let w be j - 3 - (-9)/(45/(-80)). Is w less than or equal to -18?
False
Suppose 4*m + 145 + 74 = -b, m + 1000 = -5*b. Which is bigger: b or -202?
b
Let t(s) = s**3 + 7*s**2 + 5. Let w be (-54)/8 + (-5)/20. Let a be t(w). Suppose -3*b - a*z = -14, -2*b - 6 = -3*b - 2*z. Which is smaller: -3 or b?
-3
Let d(i) = -i**3 - 6*i**2 - 5*i + 3. Let q be d(-5). Let k = 52 - 48. Let x be (-3 + (k - (-100)/(-12)))*q. Is x less than or equal to -20?
True
Let t be 14736/8384 + 1/4 + -2. Which is smaller: t or 3?
t
Suppose 8*r + 35 = r. Let s be 1/(r*(-4)/200). Suppose 3*p + 30 = -5*x - 6, -x - 2*p = s. Which is bigger: -7 or x?
x
Let j be ((-82)/(-2091))/((2*52)/(-2)). Let q = 7825/173706 - j. Which is smaller: q or -1?
-1
Let w be (-20927)/238*(0 + 3 + -2). Let l = -88 - w. Do l and -9 have the same value?
False
Let p(x) = 9*x + 3. Let c be p(-3). Let f be 76/12 + 45/27. Suppose 3*k = -3*s - 60, -5*k - 15 = -f*k. Which is smaller: c or s?
s
Let g = -56404 + 56191. Let y(i) = -26*i**3 - 2*i**2 + 2. Let u be y(2). Is g at most as big as u?
False
Let c(v) = 15*v + 155. Let r be c(-15). Is r > -94?
True
Let d = 49.23 - 0.93. Let w = d - 3.3. Let n = w - 47. Is -2/27 != n?
True
Let a = 623.2 - 622.38. Which is greater: 0.65 or a?
a
Let j(d) = -d**2 + 9*d - 2. Let k be j(7). Suppose -y + k = 2*y. Let x = 31247/5 - 6246. Is x less than or equal to y?
True
Suppose h + 3*u + 4 = -27, 0 = -2*h - u - 57. Which is bigger: h or -728/25?
h
Let g be (-4)/(-98) + 11/22. Let q = -2/49 + g. Which is smaller: q or -89?
-89
Suppose 3*g = 3*f - 78, 10*f = -4*g + 11*f - 104. Let c be (117/g)/((-3)/42). Which is smaller: c or 69?
c
Suppose -19 - 6 = y. Let c = y + 26. Let h be 9*(-12)/(-486) - 0/(-1). Is c at least h?
True
Let f be -18*(-2 - 1/(-3)). Let x be 6/f*-12 + 2/5. Let u = 18 + -30. Is u at least x?
False
Let s be 0 + 1/(-3) + 1659/8370. Let b = s - -1/558. Let k be (-21)/35 + (-3)/(-5). Which is greater: k or b?
k
Let q be 1/(44/(-242)) - 2/(-4) - -5. Is q equal to 37/117?
False
Let y(h) = h**2 + 6*h - 1. Let s be y(-7). Let w be 148/(-10)*(-3)/s. Suppose 5*i = -5*n - 183 + 208, i = -3*n + 3. Which is greater: w or i?
w
Let n be 2/(-17) - 459/(-10404)*150697/(-3). Which is smaller: n or -2215?
n
Suppose 92 = -12*a - 40 + 12. Let p = 5 + -16. Let n be (p/(-3))/(2/(-6)). Is n >= a?
False
Let r = 194 - 412. Let o = r - -189. Is o != -3/7?
True
Suppose -5*p + 2*a - 10437 = 0, 236*a - 10432 = 5*p + 239*a. Are -2086 and p nonequal?
True
Let a = -14 - -13.1. Let x = 1.1 - a. Suppose 5*m + 1781 - 1521 = 0. Which is greater: m or x?
x
Let j = 179.0232 - -0.0368. Let l = j + -1.06. Is 1/4 smaller than l?
True
Suppose 8*t + 64 = -0*t. Let p = -2477 - -12339/5. Does t = p?
False
Let q = -3.2 - -32.6. Let z = -25.4 + q. Which is greater: z or 35?
35
Suppose 8511 = -28*s - 2633. Let a = s - -371. Is -24 less than a?
False
Let l = -0.09588 + -4295.90412. Are 0 and l equal?
False
Suppose -1 = 4*k - 5. Let b = -504 - -507. Let s be (-24)/b - 1162/(-140). Is k > s?
True
Let x = -20986 + 273174/13. Is 26 bigger than x?
False
Let w = 26.459 - 30.459. Is -5291 greater than w?
False
Suppose -91 = 8*k - 9*k + 3*u, 5*k + 5*u - 435 = 0. Suppose -3*a = 15, -a + 271 = 3*l - 3*a. Do k and l have different values?
True
Suppose 8*n - 976 = 12*n + 4*j, -3*n - 726 = 4*j. Is n greater than -242?
False
Suppose -c + r = 4, 5*c + 18 = 3*c + 4*r. Suppose 0 = -t + c - 5. Which is smaller: t or -41/8?
-41/8
Let k be ((-1)/(-2))/(4/8). Let l = -2791/39813 + 7/577. Which is bigger: l or k?
k
Suppose 2*x = 679 + 167. Is x at least as big as 426?
False
Let n(y) = 28*y - 49. Let t be n(7). Let q be 3/(-43)*(-7)/t. Is -1 > q?
False
Suppose -w + 3 = -3. Suppose -2*d + 2*p + 9 + 7 = 0, 2 = d + 2*p. Suppose 37 = 43*l - d. Which is bigger: w or l?
w
Suppose 5*j - 14*f + 7 = -10*f, 0 = 3*f - 9. Is 8/459 less than or equal to j?
True
Suppose -4*h + 25 = k, 12 - 95 = -5*k + h. Let v = 65.4 + -55. Let x = v + -10.3. Which is greater: k or x?
k
Suppose 4*j + 129 + 3 = 0. Let i be (3/8)/(j/(-12)). Let c(a) = a**3 - 2*a**2 + a. Let b be c(1). Which is greater: i or b?
i
Let u = -17257 - -31647. Is 14390 less than or equal to u?
True
Suppose 2*p = 5*l + 316, -2*l + 4*l + 632 = 4*p. Let x = 46 - p. Which is greater: x or -111?
-111
Let t = -58 - -59. Are t and 1/1019 nonequal?
True
Suppose 155 = 5*o + 3*k, -9 = -k - 4. Suppose 8*d - 20 = o. Suppose x = -d*x + 7. Which is greater: x or 1/16?
x
Let s be (-36)/(-66) + (1/3 - 2227954/(-16269)). Which is bigger: s or 139?
139
Let g be ((-1)/((-185)/130))/((-99)/(-6)). Let w = g + -75532/1221. Let r = -62 - w. Which is smaller: 3/2 or r?
r
Let j = -0.2753 - -0.6296. Which is bigger: 1/3 or j?
j
Let b = 42461316/347 - 122367. Is -1 at most b?
True
Let d be ((-9)/((-270)/155))/(3*4/(-12)). Which is smaller: d or -5?
d
Let k be (-2*(-42)/(-16))/(1/4). Let u(w) = -22*w + 61. Let t be u(3). Which is bigger: t or k?
t
Let t(u) = u**2 - 2*u - 6. Let k(d) = -2*d**2 + 4*d + 13. Let s(a) = 4*k(a) + 9*t(a). Let o be s(-2). Suppose -5*i - 65 = -5*p, -2*i + 4*i = -o. Is p < 11?
True
Let c(g) = -g**2 + g + 0*g + 2*g**2 + 0*g**2 - 1. Let u(t) = 3*t**3 - 7*t**2 - 7*t + 6. Let x(o) = -6*c(o) - u(o). Let q be x(1). Is q less than or equal to 3?
True
Suppose 115 = -2*l - 5*u + 846, 2*l - 725 = -3*u. Are l and 357 non-equal?
True
Let n = 9084 - 9739. Does n = -655?
True
Let j be 1453830/(-378) - 1/(-3). Let r = 3858 + j. Which is smaller: r or 12?
12
Let k = -73146/5 + 14583. Do -45 and k have the same value?
False
Suppose 13*o = 33 + 6. Let d(q) = -q - 11. Let x be d(o). Is x at least -15?
True
Let c be (-3701)/9 + 8/36. Let b = c - -4516/11. Which is greater: -1 or b?
b
Let l(v) = 8 - 196*v - v**2 + 0 + 180*v - 4*v**2. Let y be l(-4). Is y greater than 5?
False
Suppose -225*f + 32718 = -222*f. Let d be 2/(-7) + 5510/f. Is d at most 1?
True
Suppose c - 5 = 2*o, -4*o + 2*c = 3*c + 1. Let t be o - ((-6)/(-8) - 12/16). Let z be (-6)/(-4)*4/18. Is t smaller than z?
True
Let v be ((-2)/4)/((-7)/896). Let a = v + -96. Let b = 39 + a. Do 7 and b have the same value?
True
Suppose 4*g = 3*g. Suppose 2*k + k = g. Suppose -206 = 740*j + 534. Which is smaller: k or j?
j
Suppose 5*q - 20928 = 14*g - 18*g, -3*q + 3*g + 12573 = 0. Which is bigger: q or 4187?
q
Let z = -0.049 + -1.951. Let w(x) = -x**3 + 23*x**2 + 114*x - 172. Let k be w(27). Which is smaller: k or z?
k
Let w(z) = 12*z - 7. Let p be w(-4). Let r = p - -58. Suppose -4*t = -0*t - 4*j - 128, -4*t = -r*j - 130. Do 0.1 and t have the same value?
False
Let b be ((-3)/(-60))/(6/(-8)). Let p = -315 - -319. Suppose -5*s - 21 = -l, -4*l + 11 = -p*s - 9. Which is smaller: b or l?
b
Let p(h) = -h**2 - 4*h + 5. Let c be p(-4). Let o be (6 - 68/c) + -1. Is o > -9?
True
Let f(t) = -t + 5. Suppose 17*n - 20*n + 9 = 0. Let d be f(n). Let p be d/(-4)*(-6 - -4). Is 6/17 at least p?
False
Let u(i) = 10*i**2 + 99*i - 213*i + 10 + 78*i - 78. Let v be u(-2). Which is smaller: 43 or v?
43
Let z = 37034 + -37031.3. Let f = 2 - 2.1. Is f equal to z?
False
Let p be (-1*(1 - 1))/2. Let k be (-4)/(8/(-68) + (-3)/119). Suppose 7*u + p*u = k. Which is smaller: 3 or u?
3
Let m = 17.34 + -0.04. Let u = 17.4 - m. Which is bigger: u or 50?
50
Let n = -1407139/708 - -307/177. Let j = n + 261791/132. Let c = j + 1168/473. Which is greater: c