t f(d) = d**3 + 17*d**2 - 20*d - 14. Is 11 a factor of f(i)?
True
Suppose 0 = -33*u + 26516 + 4669. Does 25 divide u?
False
Let x(f) = -6*f**3 - 16*f**2 - 5*f - 17. Is x(-7) a multiple of 17?
True
Let r = -17 + 20. Suppose 0 = -4*d + 3*m - r + 83, d - 20 = -5*m. Is 5 a factor of d?
True
Does 13 divide (-6 - (-2 - 1253)) + -1?
True
Let g(z) = -z**3 - z**2 + 5*z + 7. Let j be g(5). Let y = -46 - j. Does 18 divide y?
True
Let a = 693 - 425. Is a a multiple of 11?
False
Let z = -3207 - -4505. Is z a multiple of 59?
True
Suppose 0*t + 2*t = -4*t. Suppose b - 2 - 7 = t. Is 9 a factor of b?
True
Suppose 18 = 4*n - 3*c - 13, -3*c = -9. Let o be ((-12)/n)/(9/(-30)). Suppose -o*b + 19 = -17. Does 9 divide b?
True
Let p be (-8)/2*(-26)/52. Does 3 divide (90/4)/(1/p)?
True
Let g(i) = 9*i**2 + 23*i + 12. Let c(j) = 3*j**2 + 8*j + 4. Suppose 0 = 4*q - 4, -4*q = -3*l + 2*l. Let k(r) = l*g(r) - 11*c(r). Is 8 a factor of k(-3)?
False
Let v = -643 + 972. Is v a multiple of 7?
True
Let h = -513 - -901. Suppose 0 = -0*s + 4*s - h. Is s a multiple of 20?
False
Let s(h) = 64*h**3. Let x be s(1). Suppose -x = 22*d - 26*d. Is d even?
True
Suppose 0 = v - 1 - 2. Suppose -2*a - 3*k = 2 + 8, k = -v*a - 8. Is 23 a factor of 2 - 5 - 144/a?
True
Let u = 227 - 417. Let b = -65 - u. Does 24 divide b?
False
Let u = 69 + 349. Does 42 divide u?
False
Suppose 89*i - 86219 = -27479. Is 10 a factor of i?
True
Suppose -4*b = -1826 + 78. Does 19 divide b?
True
Suppose 15*n - 923 = 2*n. Is n a multiple of 71?
True
Let c = 31 + -28. Suppose -c*b - b = 5*j - 269, -3*j + 154 = -5*b. Does 24 divide j?
False
Is 20 a factor of (12 - 7) + -7 - (1 - 810)?
False
Suppose -5*k + 4*b = -12210, 4*k - b = 9379 + 389. Does 11 divide k?
True
Suppose 0 = -2*s - 2*s + 3*y + 663, -3*s + 3*y = -495. Suppose 0 = 5*q + t - 283, -s = -3*q - t + 3. Is q a multiple of 14?
True
Let f = 4 + -5. Let t be 8/f*(-4)/8. Suppose 0*h = t*h - 212. Is 19 a factor of h?
False
Let y = 4 + 2. Suppose 0 = -20*k + 22*k - y. Suppose -2*j - 2*c = -118, 0*j + 4*c = k*j - 156. Is j a multiple of 14?
True
Suppose 1278 = 2*l - 2*j, 77*l + 4*j = 75*l + 1284. Does 20 divide l?
True
Let r be (3/(-9))/(4/(-12)). Let k(s) = 23*s - 1. Let n be k(r). Let o = -14 + n. Does 4 divide o?
True
Suppose 17*n - 1180 = 12*n. Does 33 divide n?
False
Is 1*-3 + 6/(-24)*-932 a multiple of 36?
False
Let r be ((-18)/(-12))/((-6)/(-16)). Suppose 5*n = -2*j + 19, r*n = 4 + 16. Is 8 a factor of j - (-3 + 2 + -15)?
False
Let o = -208 - 63. Let c = -143 - o. Does 47 divide c?
False
Let b(r) = 3*r + 12. Let i be b(-5). Let x be 212/(-3) + 1/i. Let w = -19 - x. Does 13 divide w?
True
Suppose 0 = -3*v - 3*w + 54, -5*w + 104 - 42 = 3*v. Let j(f) = -f**3 + 14*f**2 + 21*f + 22. Is j(v) a multiple of 40?
False
Does 54 divide (7 + -16)/3 + 449?
False
Suppose 0 = -8*l + 21755 - 6315. Is l a multiple of 10?
True
Let g(p) = -10*p + 122. Is 9 a factor of g(5)?
True
Let j = 145 - 57. Let p = -141 + j. Let m = 78 + p. Does 16 divide m?
False
Let d = 951 + 482. Does 23 divide d?
False
Does 24 divide 5/50 + (83965/50)/7?
True
Suppose 0 = -3*v + 2*v + 2, v = 3*p - 7. Let m = p - -4. Suppose 56 = m*x - 3*x. Is x a multiple of 14?
True
Suppose 2*a + 3*l = 141, 112 = 2*a - l - 17. Suppose 4*k = -4*m + 2*k + a, -k + 69 = 4*m. Is 18 a factor of m?
True
Suppose -z = 4*y + 747, 0 = 2*y + 2*z + 322 + 50. Let t(q) = 38*q - 9. Let c be t(8). Let f = y + c. Does 36 divide f?
True
Let r(x) = 19 + 3*x - 17 + 2*x**2 + 3*x + 5*x**2. Is 16 a factor of r(-4)?
False
Suppose -74 = -4*m - 13*n + 8*n, -4*m = -2*n - 60. Is 6 a factor of m?
False
Suppose 292 = 3*p - 2948. Suppose p = z + 5*z. Suppose 0 = 4*a - 4*r - z, -2*r - 141 = -3*a + 3*r. Does 7 divide a?
True
Let c be 5/4*108/(-9). Is 2 a factor of (-75)/(-3)*(-6)/c?
True
Let w be ((-1)/(-3))/(1/9). Is (-180)/(0 - 4) - w a multiple of 32?
False
Let l(p) = 400*p + 275. Is l(6) a multiple of 89?
False
Let p be (-1)/(4/18)*-2. Let l be (-2)/(-1 - (-3)/p). Is 9 a factor of 21 - 2 - 3/l?
True
Let g(u) = -u + 2*u**2 + 1 + 5 + 2 + 2. Let o be 6/(-10) - (-3)/5. Is g(o) a multiple of 2?
True
Let n be -6 + (-41)/(-3) - 1/(-3). Is 14 a factor of 3/(-4) + -1 + 1134/n?
True
Let m(u) = 37*u**2 + 7*u + 51. Is m(-4) a multiple of 41?
True
Suppose 5*q + 21*q = 18720. Is q a multiple of 12?
True
Let b(u) = -195*u**2 + u. Let s be b(1). Let c = s - -285. Is 17 a factor of c?
False
Suppose 0*s = -3*s + 33. Let k = s - 9. Suppose k*v = -5 + 21. Does 4 divide v?
True
Let x(p) be the second derivative of -25*p**3/6 - 17*p**2/2 - 32*p. Is 14 a factor of x(-4)?
False
Let f(m) = -m**3 + 18*m**2 - 22*m + 19. Let k be f(15). Suppose -18*n + 14*n = -k. Let i = -58 + n. Does 12 divide i?
False
Does 63 divide (-1881 + -96)/((-3)/4)?
False
Suppose 57 - 49 = 4*f. Suppose f*w = -h + 5*h - 72, 3*h - w - 55 = 0. Does 4 divide h?
False
Let p(l) = l**3 - 32*l**2 - 63*l + 101. Is 12 a factor of p(35)?
False
Let w = 1474 - 1258. Is w a multiple of 24?
True
Suppose -26*x + 33*x = 6370. Is 26 a factor of x?
True
Let c(w) = -w**2 - 6*w - 14. Let l(b) = 1. Let s(z) = -z**3 - z**2 + 1. Let t be s(1). Let m(v) = t*c(v) - 6*l(v). Is m(-7) a multiple of 15?
True
Is (170/6 - -3)*(-3)/(-1) a multiple of 7?
False
Let v(i) = i + 2. Let n be v(3). Suppose n*l - 21 = 4. Suppose 3 = 2*o - l*m - 26, m = -o + 25. Does 15 divide o?
False
Suppose 0 = -0*g - 2*g + 20. Suppose 11*k - 105 = g*k. Is 24 a factor of k?
False
Suppose -5*i - 56 = 24. Let s = i + 9. Let z = s - -29. Is 11 a factor of z?
True
Suppose -3*a + 11*a = 40. Suppose 2*v + 3*f = 170, a*v + 4*f - 80 = 4*v. Is 11 a factor of v?
True
Let c(v) = -v**2 - 3*v + 4. Let l be c(-4). Let a be -1*(-7 + 12/3). Let b = a - l. Is b a multiple of 3?
True
Suppose 9*h - 8*h - 1130 = -3*r, 3*h - 3410 = r. Is 110 a factor of h?
False
Is (-11 + (-285)/45)*(-27)/6 even?
True
Suppose 0*d = 4*d - 236. Let f = 77 - d. Is f even?
True
Suppose -6118 = -10*x - 608. Is 19 a factor of x?
True
Let m(i) be the third derivative of i**4/12 + 10*i**3/3 + 7*i**2. Let y be m(-11). Let t = y - -32. Does 5 divide t?
True
Is 13 a factor of (-4)/(-10) + 4*31841/340?
False
Suppose 0 = -6*f + 3*f - r + 11, 0 = -f + 4*r - 18. Suppose -y + i = -2*i, -11 = -f*y - 5*i. Suppose 65 = y*k + p - 75, -5*k - 2*p = -235. Does 36 divide k?
False
Let c be (-16)/56 + 30/7. Suppose -39 - 29 = -c*l. Suppose 5*w = l + 88. Is w a multiple of 7?
True
Suppose -2 = j, -4*t + 7*t - 2*j = 7738. Does 17 divide t?
False
Let n = 767 - 518. Does 7 divide n?
False
Let f(d) = -38*d + 1. Let n = 4 - 5. Is f(n) a multiple of 13?
True
Let y be (-4)/24*3*-2 + 3. Is 29 + (y/(-1) - -1) a multiple of 13?
True
Let w(i) be the third derivative of 3*i**2 + 0*i + 0 + i**3 - 1/24*i**4. Is w(-11) a multiple of 10?
False
Suppose -21 + 36 = c. Let u(x) = x**3 - 14*x**2 - 13*x + 11. Is u(c) a multiple of 10?
False
Does 9 divide (-135)/(-30)*(3 + -2 + 53)?
True
Suppose -10*i + 3*i + 2100 = 0. Is i a multiple of 20?
True
Let x(z) = -z + 8. Let u be x(6). Suppose b + u*s + 317 = 3*s, 0 = 2*b + 4*s + 646. Does 8 divide (-6)/(-48) - b/8?
True
Let m(s) = s**3 + 13*s**2 - 24*s - 7. Does 13 divide m(-14)?
False
Let q(c) = 3*c**2 - 5*c + 10. Suppose 0*n + 20 = n. Let b = 24 - n. Is q(b) a multiple of 19?
True
Suppose 4*f = -42*f + 124982. Is 14 a factor of f?
False
Let g(p) = -2*p - 30*p**3 + 19 - 7 - 14 - p**2. Let c = 1 + -2. Is 29 a factor of g(c)?
True
Suppose -2*g + 3*o - 6 = 2, 2*g + 12 = 4*o. Suppose 6*k = g*l + k + 20, 2*l + 4*k = 16. Suppose -6*n + 2*n + 344 = l. Is 31 a factor of n?
False
Let c(t) = -t + 25*t**3 - 9*t**2 + t**2 - 9 - 24*t**3. Let i be c(8). Is 3 a factor of i/(-34)*(0 + 16)?
False
Let s(t) = -t**2 - 4*t. Let p be (-14)/(-35) + 18/5. Suppose p*k + 14 = 2. Is 3 a factor of s(k)?
True
Suppose 4*p = 2*p. Let s(u) = u**3 - 4*u**2 + 9*u - 10. Let j be s(2). Suppose p = -2*r + 10, 6*y - 3*y - r - 148 = j. Is 13 a factor of y?
False
Suppose 0 = 6*l - l - 4*s - 24, 0 = -l - s + 3. Suppose k - 2*g = -1 + l, -4*g + 29 = 3*k. Is 3 a factor of k?
False
Let n(o) be the first derivative of -67*o**4 + o**3/3 - o + 6. Let q be n(-1). Suppose q = 5*l + 88. Does 20 divide l?
False
Let c(x) = 2*x**2 + 15*x. Does 11 divide c(11)?
True
Let q = 83 - 3. Let p be (2/5)/(8/q). Suppose p*b - 4 = 40. Does 7 divide b?
Fals