rivative of b**4/3 - 14*b**3/3 - 253*b**2. Let s be u(3). Which is bigger: s or q?
q
Let y = -22.54 - -24.481. Let o = 5.7 - 5.641. Let c = o + y. Is c > 3/22?
True
Suppose 0 = -5*j - 20, 9*u - 7*u - 1224 = 5*j. Let g = -598 + u. Which is smaller: 35 or g?
g
Let r = -9674 + 9549. Which is smaller: -495/4 or r?
r
Let j = 4668 - 4667.8. Which is smaller: j or -1129?
-1129
Let j be -2 + 12 - 2 - -1. Suppose -j*d + 18 = -3*d. Let y = -3.997 - 0.003. Are d and y nonequal?
True
Suppose -822 - 491 = -3*u + 4*x, 0 = -4*x - 8. Let m = u + -706. Which is smaller: m or -272?
-272
Let x = -0.74 - -1.74. Let t = 0 + x. Suppose 5*y = 4*g + 3, -14 = -2*g - 2*y - 2. Which is smaller: g or t?
t
Suppose -4*y + 9 = s - 2*y, s + 7 = 2*y. Let b be 123/18 + s/6. Let k be (-52)/182 + 9/b. Do k and 1 have the same value?
True
Let z = -1601626176/3840305 + -13/109723. Let a = z + 417. Is 1 >= a?
True
Let s = 31665 - 284656/9. Is s >= 37?
False
Let z be -3 + 2/18*3 - (-138)/46. Is -1128 less than or equal to z?
True
Let m = 96 + -97. Let h be ((-60)/(-25))/(10/75*m). Which is greater: h or -22?
h
Suppose -264*h = -355 + 91. Is -282.2 at least as big as h?
False
Let r be ((-20)/16*-2)/((-5)/(-330)). Let t be (r/770)/((-2)/(-12)*-1). Suppose -2*p = 2*p + 8. Is p at least as big as t?
False
Let x(k) = -k**2 - 11*k - 19. Let w be x(-6). Suppose a = q + w, 16*q + 47 = 11*q + a. Is -20 > q?
False
Let f = -9 + 8. Let b be (f - -1) + 0 + 0 + -14. Let v be 1040/56 + (-6)/b. Is 20 smaller than v?
False
Let t = -5/2052 + -767/1026. Let s = -2.8 - -15.8. Which is smaller: t or s?
t
Suppose -69*c - 16 = -53*c. Is c >= 8/27?
False
Let b be (570/(-138) - -4)/((42/6)/238). Is b at least -0.4?
False
Let b = 23496/25 + -8787599/9350. Let i = b + -3/85. Suppose -617*y = -627*y. Which is smaller: y or i?
i
Let j = 906 - 806. Let l be (12/10)/(12/1000). Is j greater than l?
False
Let v = -14727 + 14734. Let n = 0 + 2. Which is greater: n or v?
v
Let u = -3.3 + -157.7. Let g = 163.6 + u. Is g at most as big as 0.3?
False
Let o(x) = -10*x**2 - 28*x - 36. Let c be o(-6). Let z be 38/c + (-398)/60. Which is bigger: -7 or z?
z
Let v = 6123 - 6120. Which is smaller: 380/89 or v?
v
Suppose 97*k - 54 - 21 = 22*k. Which is bigger: k or -32/301?
k
Let b = -212 - -211.38. Let w = 0.024 - 0.584. Let j = b - w. Is j less than -2/5?
False
Let p be (-81)/243 + (0 - (-844)/(-6)). Let f = p - -143. Which is smaller: 16 or f?
f
Suppose -48*s + 52*s = z - 6428, z + 6*s - 6388 = 0. Is z >= 6412?
True
Let j = 31.331 - 0.131. Let p = -34.9 + j. Which is greater: p or 2/11?
2/11
Let r be 6/(480/(-790)) - 18*12/1728. Let b = -21 - -11. Is r at most b?
True
Let g be ((-17499)/(-4298))/((-18)/21). Let k = -8 - -2. Is k at least g?
False
Let m = -4743 - -4665. Do m and -6 have the same value?
False
Let w = -11 + 17. Suppose -4*t = 2*o - 8, -t + 9 = -3*o + 7. Suppose t - w = -4*f. Is f greater than 3?
False
Let l = 0.55 - 3.55. Let g = -0.67 + 0.6. Are l and g equal?
False
Let m = -314 - -316. Suppose m*a + 1 = -1. Which is greater: -2/213 or a?
-2/213
Let u(v) = 95*v**2 + v - 2. Let t be u(1). Suppose 0 = 5*i - t + 4. Suppose i*g = 12*g - 18. Which is greater: g or -20/7?
-20/7
Let u = 38.117 + 0.083. Let j = u + -32. Which is smaller: 0 or j?
0
Let d be (-5 - -6)/((-90)/48 - -2). Is d < 95?
True
Let j(l) = -l + 1. Let k be j(3). Let m be ((-2262)/24 + 94)/(3/(-264)). Is k smaller than m?
True
Let t be 47/(-38) + 60/40. Let l = t + -150/209. Let a(n) = 2*n**2 - 1. Let s be a(1). Which is smaller: s or l?
l
Let p be (-2 - 10/2)*(191 - 190). Suppose -2*q - 4 = -0. Which is smaller: p or q?
p
Suppose 0 = -317*d - 279*d - 596. Which is greater: d or -4/205?
-4/205
Suppose 0 = 3*c - 43*c + 3040. Suppose 15*y - 16 = -c. Does y = -54/11?
False
Let d(v) = -5*v + 2. Suppose 3*q = 29 - 8. Let s be d(q). Suppose 8*m + 2272 = -63*m. Is m < s?
False
Let s = 19242 - 6446064/335. Is -2 equal to s?
False
Suppose 3*y + 45 = 81. Suppose -w - 2*w + y = 0. Suppose 0 = w*z - 3*d - 307, -312 = -5*z - 3*d + 92. Which is smaller: 78 or z?
78
Suppose 64*h + 7049 = -2807. Are h and -173 nonequal?
True
Suppose -11*w - 3512 = -4*a - 7*w, -4378 = -5*a - w. Let d be ((-2676)/a - 1) + (-4)/(-1). Is -1 less than d?
True
Let y = 5/3952 - 3/208. Let n = 1145/18 - 568/9. Is y != n?
True
Suppose k + 4 = 0, -3*k + 4306 + 2814 = 4*r. Is r != 1783?
False
Suppose 346*c - 331*c + 4020 = 0. Is c less than or equal to -271?
False
Let t = -8176 + 8165. Do t and 9 have the same value?
False
Suppose 4*r - 42 = 3*k, 32*r - 29*r - 42 = -3*k. Let a be 3/(r + -7 + -7). Let d = -2 + 1.79. Which is bigger: d or a?
d
Let r = 937 - 945. Is -73 equal to r?
False
Suppose -20*c - 190 = -22*c. Let k(i) = -c - i - 88 + 216. Let r be k(8). Is r >= 27?
False
Let k = 61729.89 + -61448. Let i = k - 281. Which is smaller: 0.1 or i?
0.1
Let y be (-2)/(-1 + -17)*-9. Let o = -18076400/863 + 20946. Which is smaller: o or y?
y
Let o = 216.55 + -217. Let u = 45.45 + -41. Let v = o + u. Is 1 at most as big as v?
True
Let f = 0 - 0. Suppose f = -0*r - 5*r + 25. Suppose -137*b = -111*b + 78. Which is smaller: b or r?
b
Suppose -568*p + 2722184 = 10023067 + 5161037. Which is greater: -21941 or p?
p
Suppose 5*g + 4*d + 176 = 0, 2*g - 2*d + 0*d + 74 = 0. Does -42 = g?
False
Suppose 58*c = 61*c. Let v = -55 - -26. Let j = v + 12. Is c less than or equal to j?
False
Suppose 27 - 426 = 5*i + 3*h, -3*i + h = 231. Let p be -6 + i/(-8) + 1. Which is smaller: p or 5?
p
Let n = 0.07733 - -0.15767. Is n at least -24?
True
Let o(g) = 15*g + 82. Let r be o(-6). Suppose -32 = -22*s + 20*s. Let f = s - 17. Which is smaller: r or f?
r
Suppose -2*w - 585 = -11*w. Let a = -261/4 + w. Let c = 16/25 - 576/275. Is c smaller than a?
True
Let p = 1187 - 1636. Is p at least as big as 0.02?
False
Let n be 15 + -15 + 10/2. Suppose 4 - 2 = h + n*t, -t = h - 2. Suppose 0 = h*j + 4. Is j equal to -1?
False
Let o = -4246 - -4293. Is 44 equal to o?
False
Let o be (4/(20/845))/(4/(32/24)). Let n = -81 + 137. Which is smaller: n or o?
n
Let b = 48 + 139. Which is smaller: b or -0.1?
-0.1
Suppose 2*s = -t + 9 + 5, -4*s = -8. Suppose -3*c + 4*m = -t, 5*c + 0*m + m = 9. Suppose -19 = c*u - o, 2*u + 1 = -3*o - 6. Which is bigger: -12 or u?
u
Suppose 11*i + 4*i + 11*i = -0*i. Is i at most -3/934?
False
Let l be ((-2)/7)/((-34)/(-14)) + (-8141)/17. Is l greater than -480?
True
Let q = -6.8 - -39.8. Let t = -12 + q. Let i = -648.9 + 649. Which is greater: i or t?
t
Let x be 119/6 - 3/(-18). Suppose 200*i - 195 = 195*i. Let q = i + -19. Is q >= x?
True
Let h be (159/9)/(42*8/96). Which is smaller: h or 5?
5
Let o = 0.059 + -0.022. Let g = 100487.02 - 100487. Which is greater: g or o?
o
Let y = -42 - -209/5. Let f(w) = -w**2 + 11*w + 7. Let s be f(11). Suppose 5*u + s = 5*j + 17, 2*j + 1 = 5*u. Is y less than u?
False
Let w(c) = -c**3 + 7*c**2 + 8*c + 3. Let x be w(8). Let r(z) = 2*z - 98*z**x + 72*z**3 + 2 - z**2 + 0*z. Let t be r(-1). Which is smaller: 2 or t?
2
Suppose -20*z + 2038 - 578 = 0. Suppose -3*r + 2*i = 74 + z, 0 = -r - 3*i - 38. Are -50 and r unequal?
True
Let i = 6298 - 6978. Are -681 and i equal?
False
Let g = 149 + -147. Let i be g/5*-6*10. Let w be (3 + 8)/(1/(-2)). Is i at most as big as w?
True
Suppose -12*z + 8*z - 8 = 0. Let i be z/(-16) + (-450)/16. Let h be (-182)/i*4/(-2). Which is smaller: h or -12?
h
Suppose -q + 282 - 252 = 0. Suppose -468 = -17*c + q*c. Which is smaller: -37 or c?
-37
Let h = -367/290 - 34/145. Which is smaller: h or -691?
-691
Let n = 6094 - 6069.11. Let l = n - 25. Is 2 < l?
False
Let o = 12990/1457 + -87/47. Which is smaller: 7 or o?
7
Let q(t) = t**2 + 12*t - 2. Let r be q(-11). Let u be (172/2)/(9 + r). Does -21 = u?
False
Let q = -93.9 + 367.9. Is q > 4/9?
True
Let d be 1/((-2)/(-92)*-11). Let f be 9/4*(-56)/48*88/77. Which is smaller: f or d?
d
Suppose -1 = -2*p + a, -3*a = 5*p - 0*p - 19. Let n be -6*268/(-798) - p. Let c(h) = -h - 2. Let d be c(-3). Which is smaller: d or n?
n
Suppose -4*u + 0*u + 4 = 0. Let n(g) = 31 + 13*g - 233*g**2 + 18*g + 234*g**2. Let v be n(-30). Is v at most as big as u?
True
Let b = 0.7791 - 1.4091. Are b and 0.123 unequal?
True
Suppose i + i - 30 = -4*v, 0 = -5*v + 20. Let f = -28/57 - -2306/285. Which is greater: f or i?
f
Suppose 270*x - 720