rivative of -3*i**4/2 + 18*i**3 + i**2 + 34. Is s(-10) a multiple of 13?
True
Suppose 9 = w - 2*u - 19, 0 = -3*w - 3*u + 39. Let l(h) = 19*h + 58. Is l(w) a multiple of 8?
True
Let d(o) = o**3 + 14*o**2 - 31*o + 5. Let z be d(-14). Let l = 909 - z. Is 37 a factor of l?
False
Let x = -5 + 55. Let f = x - 48. Suppose 3*k - 29 = -4*o, 0*k + f*k - 3*o = 8. Does 3 divide k?
False
Let o(i) = 20*i - 8. Let q(y) = -79*y + 31. Let r(x) = 22*o(x) + 6*q(x). Does 62 divide r(-11)?
False
Suppose -94*q = -93*q - 5, -2*s + 46686 = 6*q. Is 144 a factor of s?
True
Suppose 0 = -a - 4, -6499 = 5*b + 3*a - 25362. Is 13 a factor of b?
False
Let m(d) = d**3 - 5*d**2 + 9*d - 14. Let b be m(4). Suppose 14 = b*r - 5*r. Is 25 a factor of 447/9 + r/6 + -2?
True
Let x = 33839 + -29520. Is x a multiple of 45?
False
Let c(l) = -4*l - 3*l + 2*l**2 + 3*l + 36 + l - l. Is c(-6) a multiple of 6?
True
Suppose 5*f = 4*t - 59793, -18*f = -19*f + 3. Is 28 a factor of t?
True
Suppose -8*y + 247 = -5*y - 4*p, 0 = -5*y - 3*p + 402. Is y a multiple of 2?
False
Suppose -8*p + 1355 = -3*p. Suppose 270*n + 202 = p*n. Does 12 divide n?
False
Let r(u) = -867*u**3 + 39*u**2 + 124*u + 17. Is r(-4) a multiple of 9?
False
Let v(h) = 3*h**2 - 10*h - 30. Suppose -10 = m - 4*q + 10, m - 2*q = -14. Is v(m) a multiple of 22?
True
Suppose -15*y = -2418 - 582. Suppose 19 + 16 = o. Suppose -3*u + y - o = 0. Does 15 divide u?
False
Suppose 22*s + 3*d = 21*s + 10440, s - d - 10424 = 0. Is 33 a factor of s?
True
Suppose -4*b - 76 = -84. Suppose -9*y + 7*y = 2*s - 862, b*s - 857 = -3*y. Is s a multiple of 37?
False
Let s = -1353 - -3311. Is 16 a factor of s?
False
Let x(y) = -y**3 - y**2 - 1. Let n be x(-2). Suppose n*t - 165 = -3*h + 1320, -h = 2*t - 497. Does 19 divide h?
False
Let t(i) be the first derivative of -7*i**2/2 - 3*i + 108. Let n be (2 - 1)/((-1)/3). Does 3 divide t(n)?
True
Let j(x) be the first derivative of 11*x + 5*x**2 - 26 + 2/3*x**3. Does 6 divide j(-7)?
False
Let z(d) = 7*d + 127. Let l be z(-14). Suppose -4301 = -l*x + 10054. Is x a multiple of 55?
True
Let z(k) = 28*k**2 + 51*k - 751. Does 36 divide z(13)?
True
Let p = -1287 - -1894. Suppose 426 = 3*s + 2*h, 5*s - 3*h - 122 - p = 0. Is s a multiple of 36?
True
Let s(v) = 88*v**2 + 5*v + 33. Is s(5) a multiple of 54?
False
Suppose 75*j + 16 = 79*j. Suppose 0*f + j*t = -f + 100, 4*t = 0. Does 25 divide f?
True
Let x be (-6503)/(-2)*(-352)/(-308). Suppose 2*n - f = 1858, 0 = 30*n - 26*n + 3*f - x. Does 56 divide n?
False
Suppose 3*p - 38620 = -10351. Is p a multiple of 5?
False
Suppose 22923 = 5*r + 6263. Is r a multiple of 14?
True
Suppose 10 = -w - 22. Let d = w - -36. Suppose -55 = 2*k - d*k + g, 3*k - 79 = 5*g. Is 2 a factor of k?
True
Let u(a) = -242*a - 5. Let s be u(6). Let l = -773 - s. Is 38 a factor of l?
True
Is (-85 - -14669)/((-4)/(-18)) a multiple of 18?
True
Let x be 6/4 - 5*2/20. Is 9 a factor of 12/x*(236/16 + 7)?
True
Let g = 6732 - -35748. Is g a multiple of 24?
True
Let s = 12 + -4. Suppose -s = 10*m - 14*m. Suppose 0 = m*c - 5 - 11. Is 8 a factor of c?
True
Suppose 34*g - 13*g - 595620 = -15*g. Is g a multiple of 91?
False
Let i = 34813 + -26574. Is 152 a factor of i?
False
Let z(y) = -y - 14. Let n be -2*3/(-2) + -17. Let a be z(n). Suppose a = 4*g - 4, 3*j - 4*g - 61 = 19. Is j a multiple of 7?
True
Suppose 9351*a = 9360*a - 41796. Is 43 a factor of a?
True
Let r be 1 - (-1 + 2) - (-14 + 10). Suppose -10496 = r*n - 12*n. Is n a multiple of 12?
False
Let l(g) = 455*g + 631. Is l(4) a multiple of 50?
False
Let h = -770 + 961. Does 3 divide h?
False
Let u(i) = 212*i - 1969. Is 81 a factor of u(23)?
False
Suppose 109 = 3*q + 4*l, 0*q - 5*l + 144 = 4*q. Suppose 0 = q*i - 35*i + 664. Is 22 a factor of (6 + -4 - 1)*i?
False
Suppose 21159 - 51315 = -16*t + 31156. Does 11 divide t?
False
Let p(h) = 2*h**3 - 175*h**2 - 74*h - 21. Is 12 a factor of p(88)?
False
Let k(o) be the second derivative of o**4/12 - o**3 + 10*o**2 + 23*o. Is k(7) a multiple of 9?
True
Let o(v) = 3*v**2 + 41*v - 16. Suppose c + 86 = -k + 72, 0 = 2*k - 4*c + 40. Does 6 divide o(k)?
True
Suppose -139 - 125 = -3*s + 5*x, 4*s - 5*x = 357. Let g = s - 8. Is g a multiple of 35?
False
Let y(p) = 5436*p - 965. Is y(3) a multiple of 5?
False
Let m(f) be the first derivative of -10 - 13/2*f**2 + 15*f + 2*f**3. Does 33 divide m(6)?
False
Is 2 - -3162 - (7 - 10/2) a multiple of 124?
False
Suppose 2*o + 143436 = 4*f - 0*f, 0 = -2*f + 2*o + 71712. Is f a multiple of 102?
False
Suppose -3*l - 18 = -0. Let c be (16/l)/(-4)*390. Suppose -a - c = -6*a. Is a a multiple of 12?
False
Suppose -617*r - 25128 = -641*r. Is r a multiple of 9?
False
Let c(w) = w**3 - 3*w**2 + w + 3. Let k be (6/4)/((-6)/4 - -2). Let z be c(k). Is 11 a factor of z + 39 + (1 - -2)?
False
Suppose 253491 = 3*m - 2*k, 40*m - 5*k + 337919 = 44*m. Is 11 a factor of m?
True
Let n(p) = -p**2 + 4*p + 5. Let r be n(4). Suppose -2*i + 2*c + 2*c = -96, r*i - 226 = 3*c. Is i a multiple of 44?
True
Suppose h = 4*v + 799, -5*h + 3028 = -4*v - 1095. Is h even?
False
Suppose -24 = -6*u - 6. Let i = 28 - 0. Suppose x - u*k = -x + 7, -i = -3*x + k. Is x a multiple of 2?
False
Suppose 0 = -3*n - 5*o + 64236, 3*o + 64242 = 3*n + 9*o. Is n a multiple of 87?
True
Let d(o) be the second derivative of o**4/12 - 4*o**3 - 17*o**2 + o - 2. Does 4 divide d(26)?
False
Let g(l) = 54*l + 504. Is 33 a factor of g(-2)?
True
Suppose -3*k = 3*x, 20 = -8*k + 4*k + x. Let z be k/18 - 1175/(-225). Suppose 2*i = -3*u + u + 80, -z*u + 250 = -5*i. Is u a multiple of 15?
True
Let g be ((-690)/(-50))/((-3)/(-165)). Does 19 divide g/2 - (-6)/60*5?
True
Let l be (-12)/(-2) + -1 - (-284 + 291). Is 13 a factor of l/(-36) - (-235155)/270?
True
Let n(d) = -3*d**3 - 2*d + 3. Let s be n(3). Let z = 1223 + -1273. Let p = z - s. Is p a multiple of 5?
False
Suppose -4*m = 2*i + 10, 5 - 15 = i + 3*m. Let w(q) = -4*q + 21. Let y be w(i). Is 22 a factor of (1169/35)/(y/5)?
False
Let i be ((-1)/(1/2))/(92/(-552)). Suppose i*y - 187 = 101. Does 6 divide y?
True
Let p(i) = i**3 - 12*i**2 + 61*i - 180. Let c be p(7). Let d be 1 + (-1 - 0) + -8. Is (c/d)/((-5)/(-1380)*-3) a multiple of 6?
False
Suppose 4*o + 643 - 131 = 0. Let c = o - -309. Is c a multiple of 44?
False
Let m(y) = 26*y - 41 + 19*y**3 - 10*y**3 - y**3 + 25*y**2 - 7*y**3. Is 16 a factor of m(-23)?
False
Suppose -15*a + 25833 = -92757. Is 129 a factor of a?
False
Suppose 3*q + u - 18382 = 0, 5*u = 58*q - 55*q - 18340. Is q a multiple of 25?
True
Let o = -1391 - -1434. Does 2 divide o?
False
Let q = 3345 + 15750. Is 95 a factor of q?
True
Let p(s) = 12*s**2 + 19*s - 4. Let n be p(-9). Let m = -550 + n. Let l = m + -120. Does 23 divide l?
False
Let t(l) be the second derivative of 2*l**3 + 37*l**2/2 + 28*l. Let u be t(-6). Let a = -15 - u. Is 10 a factor of a?
True
Suppose 408 = -l + 1658. Let x = l + -575. Is 30 a factor of ((-8)/5)/((-9)/x)?
True
Suppose -4*k + 27 = 19, 4*l = -4*k + 46868. Does 55 divide l?
True
Let y(p) = -p**2 + 6. Let r = 54 - 61. Let o(c) = c**2 - 9. Let b(x) = r*y(x) - 5*o(x). Is 9 a factor of b(-5)?
False
Let q(d) = -d**3 - 37*d**2 + 53*d - 484. Does 2 divide q(-39)?
False
Suppose -9 = -3*g, -96*g = f - 92*g + 34. Let v = f + 711. Does 35 divide v?
True
Suppose 0 = -8*i + 2*i - 48. Let j(f) = -f**3 - 3*f**2 + 10*f + 16. Let x be j(i). Suppose 148*g = 144*g + x. Is 6 a factor of g?
False
Let m(j) = j**3 - 2*j**2 - 10*j + 4686. Is 26 a factor of m(0)?
False
Let l = -12 - -8. Let g be 3 + (l/4 - 0). Suppose -g*n = -3*b - 99, 6*n - 4*b - 230 = n. Is 7 a factor of n?
True
Let r(n) = -510*n**3 - 10*n**2 - 126*n - 308. Is 55 a factor of r(-3)?
True
Suppose m = -4*v + 16316, -6429 - 13966 = -5*v - 2*m. Suppose 3097 = 8*b - v. Is b a multiple of 13?
True
Suppose 52*j - 142*j = -2839680. Is j a multiple of 63?
False
Does 37 divide (768/(-1920))/(1/(-34850) - 0)?
False
Let c be (414/15 - 2)/((-21)/840). Let t = c + 1860. Does 19 divide t?
True
Let l(u) = u**3 - 6*u**2 - 6*u - 16. Let f be l(7). Let m(t) = 21*t**2 + 12*t + 11. Let c be m(f). Is c/16 - (-1)/(-4) a multiple of 29?
False
Suppose 9 + 55 = 32*f. Let p be (-5 + 3 - -2)/(-2). Suppose f*v + p = 4. Is 2 a factor of v?
True
Suppose 0 = -3*o + 3, -4*o = -4*w - 4. Suppose 194*g - 196*g + 2660 = w. Is g a multiple of 35?
T