Is 21 a factor of f?
True
Suppose -24 = -5*m - 14. Let n be (m/5)/((6/(-2640))/(-1)). Suppose 4*y + 20 = -c + 64, 0 = -5*c + 2*y + n. Is c a multiple of 18?
True
Let c = -13 + 18. Let q be 2 + 4 - ((-33)/(-3) + -10). Suppose q*t = -c*t + 1490. Is t a multiple of 10?
False
Let r(m) = -460*m - 4264. Is r(-13) a multiple of 66?
True
Let k(x) = -2*x**3 - 29*x**2 - 19*x - 10. Let z be (-1)/(-4) - ((-1212)/(-48) - 11). Does 12 divide k(z)?
True
Let q(v) = 3*v + 155. Let j be q(-49). Let i = -110 - -157. Suppose l - i + j = 0. Does 2 divide l?
False
Let r be (504/(-140))/((-4)/1190). Is 43 a factor of r - (4/(-10))/(28/280)?
True
Let x be (-3)/9*15 - -3. Is x - 3/(-3)*(1462 - -13) a multiple of 27?
False
Suppose 5*j + 5*z = 2*z + 75, j - 5*z = -13. Suppose -40 + j = -7*n. Suppose 2*o - n*x = 308, -7*o + 2*o = 4*x - 700. Is o a multiple of 24?
True
Suppose -4*n - 18*d = -13*d - 7647, 0 = 2*n + 4*d - 3834. Is 11 a factor of n?
True
Suppose 0*v + v - 10 = 5*n, -2*n = -3*v + 4. Suppose 4*s - 7*s + 9 = v. Suppose -4*l - 17 = -s*m, -6*l + 4*l + 30 = 4*m. Does 3 divide m?
False
Let z = 47971 + -33096. Does 139 divide z?
False
Suppose 130400*k - 130382*k = 328050. Does 225 divide k?
True
Suppose 2*v - 15129 = b, 57*b = -3*v + 59*b + 22692. Does 76 divide v?
False
Let j(k) = 538*k**2 + 297*k - 599. Is j(2) a multiple of 11?
False
Let p = -14 - 472. Let v be 2 - p/(-11) - 16/(-88). Is (144/(-56))/(1/v) a multiple of 22?
False
Let g = -12582 + 14437. Is g a multiple of 35?
True
Let j(z) = -z**3 + 28*z**2 + 3*z + 3. Let m(i) = 3*i**3 - 57*i**2 - 4*i - 5. Let c(y) = -5*j(y) - 2*m(y). Does 12 divide c(-26)?
False
Is 51 a factor of -705*(92/(-10) + (4 - 5))?
True
Suppose 9*i - i - 40 = 0. Suppose o = -i*s + 380, 0 = -4*o + 3*s - 337 + 1972. Is o a multiple of 45?
True
Does 17 divide ((-258687)/(-198))/((-9)/(-12))?
False
Let v(s) = 300*s - 7827. Is v(82) a multiple of 228?
False
Let y(k) = k**2 - 38*k + 106. Let v be y(35). Is v/(42/(-10) - -4) - -14 even?
False
Let z be 3 + 5/(-25) + (-1)/(-5). Suppose -n - 258 = -z*l, 2*l - 3*n - 172 = -0*n. Does 17 divide l?
False
Let m(c) = -3*c - 30. Let r be m(-15). Suppose r*n - 238 = 13*n. Is n a multiple of 14?
False
Suppose 2*v - 2*t - 1479 = 1519, 2*v - 4*t = 2998. Does 4 divide v?
False
Let a(p) = 13*p**3 - p**2 - 4*p - 3. Let s be a(-1). Is 9 a factor of (7 + s)/(6*(-3)/186)?
False
Let a(l) = 7*l**2 - 20*l + 4. Let f(w) = w**3 + 6*w**2 - 20*w + 4. Let s(t) = -2*a(t) + 3*f(t). Is s(4) a multiple of 30?
True
Suppose 0 = 16*d + 4634 + 2422. Let k = 786 + d. Does 30 divide k?
False
Let u = 17 + -9. Let w be -4*(2 - 18/u). Does 25 divide 3 + -5 - (-52)/w?
True
Is 6/90*6036*375/10 a multiple of 15?
True
Suppose -20*k = -23*k + 9. Suppose -k*l + 246 = -5*j + 8*j, -2*j = -l - 158. Does 5 divide j?
True
Let d = -171 + 3474. Is d a multiple of 31?
False
Let j(p) = 20*p**2 - 114*p + 39. Let m(y) = 23*y**2 - 115*y + 39. Let o(c) = 6*j(c) - 5*m(c). Is o(26) a multiple of 9?
True
Suppose -5*h = 3*i + 10, 4*i - 2 + 8 = -3*h. Suppose 0*r + 7*r - 35 = i. Suppose -z - 20 = -b - 70, -b - 234 = -r*z. Does 7 divide z?
False
Let a(z) = 2*z**2 - 25*z - 541. Is 72 a factor of a(-84)?
False
Suppose z = 4*v - 2040, -23*v - 1020 = -25*v + z. Suppose 38*a - v = 37*a. Is a a multiple of 17?
True
Let l = -216 + 230. Let i(q) = 53*q - 142. Is 25 a factor of i(l)?
True
Let s(r) = 3 + 12*r**2 + r**3 + 9*r + 7*r + 11*r. Let f be s(-11). Does 8 divide f/(-2) + 4*(-1)/8?
False
Let g(s) = 3*s**2 - 2*s - 58. Let p be g(22). Suppose 8*z = 12*z - 5*x - p, 0 = 2*z + 2*x - 684. Does 34 divide z?
True
Suppose 15*i - 51573 = -1623. Does 185 divide i?
True
Suppose 0 = -15*o + 10*o + 2*r + 10727, -o - r + 2151 = 0. Is o a multiple of 19?
True
Let g(y) = 13*y - 193. Let w be g(15). Suppose -s - 3*s + 4*o + 468 = 0, 4*s - 460 = w*o. Is 6 a factor of s?
False
Suppose 2 = -2*l + 14*p - 19*p, -3*l + 31 = -p. Is (66/l - 2)/(8/372) a multiple of 27?
False
Suppose 4*m - 3*w - 2*w = 1294, m - w - 324 = 0. Suppose 5*o - 446 = -m. Is o a multiple of 5?
False
Let b = -32151 + 72268. Is b a multiple of 50?
False
Let m = -81 - -118. Let q = m + 179. Does 5 divide q?
False
Suppose 324 = 2*c - 676. Suppose -6*g + 2*g = c. Let z = g - -206. Is 15 a factor of z?
False
Let w be 1 + (2 + -1)*(-2 + 3). Suppose 0*p + 1131 = 5*p - 3*v, 4*v = w*p - 444. Is p a multiple of 19?
True
Let v = 2216 - 36. Is 7 a factor of v?
False
Let q = -640 - -38. Let v = 725 + q. Is 5 a factor of v?
False
Let l(u) = -u**3 - 28*u**2 - 24*u + 46. Let y be l(-27). Is ((-30)/y)/(5*1/3640) a multiple of 13?
True
Let z(v) = v**3 - 9*v**2 + 37*v - 290. Let f be z(10). Let w = 1453 - f. Does 71 divide w?
False
Suppose 0 = -3*t + 608 - 2. Let m(j) = j**2 + 33*j - 374. Let u be m(-42). Suppose -u*n - t = -5*n. Does 38 divide n?
False
Let l be 2/(-7) - (-603)/126*8. Suppose l*b + 3140 = 43*b. Is 46 a factor of b?
False
Suppose 3 = -6*o + 27. Suppose 3*c = 5*c + 4*s + 696, o*c - 4*s = -1452. Let y = -246 - c. Is 28 a factor of y?
True
Let i = 541 + -536. Suppose 5*l - 1235 = i*r, -3*l = -5*l - r + 509. Is l a multiple of 18?
True
Let c be -5 - -2 - (-12 - -9). Suppose c*v - v - 2 = -q, q - 6 = 5*v. Does 3 divide (-4 - (-784)/21) + q/(-3)?
True
Let i be (-1305)/(-5) - (-9)/(-3 - -6). Let g be (-1 + 52/12)*i/10. Suppose g + 122 = 5*w. Does 21 divide w?
True
Let g(c) = 25*c**2 - 144*c - 116. Is 337 a factor of g(18)?
True
Let r(k) = -4*k**2 + 4*k + 15. Let d be r(-7). Let m = d + 345. Is 8 a factor of m?
True
Suppose 3*t = -2*i - 723, 4*t = -3 + 15. Let p = -74 - i. Does 9 divide p?
False
Suppose -173*u + 47*u + 967050 = 0. Is u a multiple of 155?
False
Let o be (-3)/6*-10 - (-147)/(-21). Does 19 divide -4 + (-13842)/(-45) + o/(-5)?
True
Let i = 1764 - 1597. Does 3 divide i?
False
Let w(h) = h. Let m(r) = -2*r**2 - 54*r - 2. Let s(v) = -m(v) - 4*w(v). Let p be s(-25). Suppose 33 = p*a - 1. Does 10 divide a?
False
Let q(j) = -3*j**3 + 21*j**2 - 19*j + 7. Let s be q(6). Suppose 3 = 4*o - 1. Is 3 a factor of s*(o + -4 - (-30 - -1))?
False
Let o = -206 - -202. Is -396*4/24*o a multiple of 24?
True
Let g = 49 + -40. Suppose 1124 = -g*y + 3941. Is 7 a factor of y?
False
Let m = -1479 + 1608. Suppose 5*t = t - 4*z, 4*z + 15 = t. Suppose -63 = -t*w + m. Is w a multiple of 6?
False
Suppose 429664 = 166*r - 50*r. Is r a multiple of 10?
False
Let n be (-10)/(0 - -2)*-1. Let y be ((-1263)/6 + n)*(-4)/6. Suppose 0 = 2*k - 2*a + a - 274, y = k - 5*a. Is k a multiple of 19?
False
Suppose -5*x = 3*l - 20, 7*x - 8 = -l + 4*x. Suppose 33 + 24 = 3*p - k, -3*p + 2*k + 54 = 0. Is 111 + l/(p/16) a multiple of 18?
False
Let k(h) = -2*h**2 + h + 13. Let d be k(6). Let z = d - -74. Suppose 2*r = -2*o - r + z, 4*r + 64 = 5*o. Is 3 a factor of o?
True
Let j(s) = s + 4. Let t be j(0). Let p = 6960 - 6961. Is 5 a factor of (t - p)/(-1 - -2)?
True
Let u(r) = -130*r - 82. Let p(z) = 259*z + 162. Let x(s) = 2*p(s) + 5*u(s). Is 34 a factor of x(-4)?
True
Let x(d) = 159*d + 1934. Does 44 divide x(44)?
False
Suppose -3*l = 4*b + 103 - 631, 0 = -5*l + b + 880. Is l/6 - 4/12 a multiple of 22?
False
Is 77504/24*(-3 - (0 - 6)) a multiple of 14?
True
Suppose -298 = -k + x, 4*k + 2*x - 235 - 927 = 0. Is k a multiple of 5?
False
Let i = -650 + 652. Does 63 divide (4 - i)*-4 + 890?
True
Let n(j) be the third derivative of j**5/10 - j**4/8 + j**3/2 - 5*j**2. Let v be n(3). Let k = v - -38. Is k a multiple of 19?
False
Let q be (-6)/((-2)/28*-3). Let z be (-145)/(-2) + (136/16 - 7). Let y = z + q. Is 9 a factor of y?
False
Let t(c) = 14136*c**2 - 10*c + 10. Let n be t(1). Suppose -38*q + 1976 = -n. Is 15 a factor of q?
False
Let q(h) = -122*h - 6. Let b be q(4). Let d be 2/(-5) + (-8)/(80/b). Let n = 61 + d. Is 18 a factor of n?
False
Let s(t) = 10 - t + 12 - 2 - 1. Let c be s(14). Suppose 0 = -c*b + 139 + 91. Does 23 divide b?
True
Let s be ((-18)/(-4))/((-78)/(-6812)). Suppose s = 4*l - 2*z + 5*z, z = 3*l - 285. Does 6 divide l?
True
Suppose -817774 = -81*x + 691834 - 59465. Is 11 a factor of x?
False
Suppose -15200 = -4*m - 12*m. Suppose 5*j + i = 683 + 257, -3*i = 5*j - m. Is 9 a factor of j?
False
Suppose -2*u + 2*d + 0 = 48, 3*u + 5*d = -56. Let f = 31 + u. Is 9 a factor of f?
True
Suppose 7*s = 3668 - 1155. Suppose s = 3*j - 2143. Is j a multiple of 13?