 672*f. Is f a multiple of 13?
False
Let a(t) = 604*t**3 + 11*t**2 - 9*t + 2. Is a(2) a multiple of 12?
True
Let v(a) = -32*a**2 - 2*a - 13. Let b be v(4). Let z = b - -780. Does 36 divide z?
False
Is 80/32*13/((-65)/(-1902)) a multiple of 2?
False
Let z = 25 + -41. Let y(o) = -2*o - 10. Let a be y(z). Suppose -25 = 17*r - a*r. Is r a multiple of 3?
False
Let u(i) = i**2 - 5*i + 2. Let z be u(4). Let q(w) = -w**3 - 2*w**2 - 2*w - 1. Let l be q(-4). Let o = z + l. Does 7 divide o?
False
Suppose -4*g + 63 = -41. Let r(w) = -9 + 7*w**2 - 11*w - 14*w + g*w. Is 23 a factor of r(3)?
False
Suppose -z + 4*i - 5*i = -1, -3 = -4*z - 3*i. Suppose -7*g + 49 + 574 = z. Suppose 6*l = 7*l - g. Does 24 divide l?
False
Suppose -2*n + 5*w + 10 = 0, 25*n + 20 = 29*n - w. Suppose 3*i - 362 = -n*l, 3*i - 4*l + 5*l - 346 = 0. Is 6 a factor of i?
True
Let x = 49 + -45. Let m be (2 + -19)/((-6 + 2)/x). Let l = -6 + m. Is 3 a factor of l?
False
Let o = 604 - 604. Suppose -6*z + 3236 + 8392 = o. Is z a multiple of 38?
True
Let d(s) = 10*s**2 + 15*s - 6. Let j(v) = v**2 + 2*v - 1. Let p(b) = d(b) - 4*j(b). Is p(6) a multiple of 18?
False
Does 45 divide -1*485*18*(756/28)/(-27)?
True
Let h = 1657 + 1127. Is 16 a factor of h?
True
Let n = 1274 - 704. Suppose -i + 336 = -n. Suppose 0 = 2*r + 4*r - i. Is 27 a factor of r?
False
Suppose 64 = -5*j + 1294. Suppose 5*g + a - 800 = 411, j = g + 4*a. Is 14 a factor of g?
False
Suppose -3671 = -6*x + 1741. Is x a multiple of 41?
True
Let x(q) = -11*q - 5*q**2 - 1 - 4 - 4*q - q**2 + q**3. Let f be x(8). Suppose f*t = -5 + 230. Is t a multiple of 15?
True
Suppose 100*q - 143*q + 458681 = 0. Does 30 divide q?
False
Suppose -58*p + 87 + 203 = 0. Suppose 32 = q + p*r - 46, -5*q + 448 = -4*r. Is q a multiple of 22?
True
Let k be 7/((-1040)/(-115) - 9). Is 3 a factor of k/35 + -5 + 244/10?
True
Let t(f) = -5*f - 13. Let d be t(-3). Suppose 0 = 2*q - y - 4*y - 215, d*y - 112 = -q. Does 10 divide q?
True
Suppose 5*z = -2*y - 10, -14*y = 5*z - 16*y - 10. Suppose 3*i = t + 5*i - 546, 4*t + i - 2184 = z. Does 14 divide t?
True
Suppose -l = 2, 8 = -2*p + 7*p - 4*l. Suppose -3*j = p, -3*z + 3*j = -650 - 3895. Is 101 a factor of z?
True
Suppose -4*q + q = r - 1647, 8267 = 5*r - q. Let c = r - 989. Does 83 divide c?
True
Let l be (-1)/(-2)*0/5. Let p(w) = w**3 - 2*w + 5. Let u be p(l). Suppose 1878 = u*f + 593. Is 48 a factor of f?
False
Let c(n) = -9*n + 7. Let p(y) = 10*y - 25. Let l(z) = -3*z + 8. Let q(x) = -7*l(x) - 2*p(x). Let g be q(-4). Does 12 divide c(g)?
False
Let b = -25 - -19. Is 1 - ((-3)/b + -2)*120 a multiple of 13?
False
Let p(k) = -164*k + 1. Let m(x) = -x - 5. Let t be m(-3). Is p(t) a multiple of 17?
False
Let s(q) be the first derivative of 118*q**2 - 6*q + 22. Let u(v) = -237*v + 7. Let l(a) = 4*s(a) + 3*u(a). Is 46 a factor of l(1)?
True
Let t(h) = -2*h**2 + h - 17. Let g be t(0). Is 9 a factor of ((-134)/4)/(g/102)?
False
Let i = -2577 - -6976. Does 53 divide i?
True
Let z(q) = -20*q**3 + 8*q + 12*q**2 + 13*q**3 + 8*q**3 - 26 - q. Let g be z(-11). Suppose 0 = -g*l - 309 + 2415. Is 9 a factor of l?
True
Suppose 123*i - 10809 - 209284 - 165143 = 0. Is 27 a factor of i?
True
Suppose 13 - 13 = -4*u. Suppose -z + 0*z + 12 = 3*o, u = -2*z. Suppose o*q = -q - 4*x + 560, x + 103 = q. Is q a multiple of 33?
False
Is 10 a factor of 4192/(-2 + 30/5 + (-77)/22)?
False
Suppose -475*w + 473*w - 2*o + 35966 = 0, 89906 = 5*w - 4*o. Is w a multiple of 9?
True
Let k(d) = -7*d**2 - 279*d - 64. Is k(-36) a multiple of 79?
False
Let f(a) = a**3 + 15*a**2 + 12*a - 15. Let l be f(-14). Suppose 0 = m + l*m - 8372. Does 26 divide m?
True
Suppose 3*p = s - p + 52, 3*s - 5*p + 121 = 0. Let f = s + 141. Is 4 a factor of f?
False
Let g be 0 - (-6)/9*6. Suppose g*c - 124 - 44 = 0. Suppose -37*o - c = -39*o. Does 10 divide o?
False
Let g(k) = -4*k**3 - k**2 + 12*k + 13. Let r be g(-1). Is (((-27968)/r)/8)/(-1) a multiple of 19?
True
Suppose 4*i - 4298 = -10*i. Is 8 a factor of 115/(-20) + 5 + i/4?
False
Suppose -5*b + 1524 = 324. Suppose -b - 483 = k. Is 30 a factor of k/(-6) - ((-1)/2 - -1)?
True
Is (-277600)/(-85) - (-7)/(833/14) a multiple of 46?
True
Let f(y) = 74*y**2 - 116*y - 1. Let k be f(1). Suppose -5*q + 116 = d, 5*d - 549 = d - 3*q. Let v = d + k. Is v a multiple of 14?
True
Let b(q) = 539*q - 9544. Is 52 a factor of b(80)?
False
Let z = 871 + -696. Let x = z + 86. Is x a multiple of 17?
False
Suppose p + 21271 = 2*g, -53182 = -66*g + 61*g + 4*p. Is 26 a factor of g?
True
Let w(s) = 5*s**2 - 9*s + 52. Let p be w(9). Let n = 430 - p. Is n a multiple of 27?
True
Suppose -2*y - 3 + 9 = 0. Suppose -y*m = -5*v + 324, -2*v + 156 = -4*m + 18. Suppose 0 = 3*b - 3*g - v, -7 = -2*b - 6*g + g. Does 16 divide b?
True
Suppose 10*a = 9*a + 50. Let h be (-6)/(-1 - 2) - a. Let g = -19 - h. Is 8 a factor of g?
False
Let c be 10*(1008/(-10) - -4). Let i = -408 - c. Is 35 a factor of i?
True
Let t = 20238 - 11655. Does 3 divide t?
True
Let u = -40 - -43. Suppose -4*l - 4*a + 1776 = 0, -4*a - 984 = -u*l + 362. Does 17 divide l?
False
Let t = 5187 + -92. Does 15 divide t?
False
Suppose -1405*h + 1407*h + 4*r = 3296, 4*h + 2*r = 6598. Is h a multiple of 197?
False
Let p(l) be the first derivative of 5 + 1/2*l**2 + 2*l. Is p(14) a multiple of 8?
True
Suppose 10*r = -14*r + 96. Suppose -r*l = -2*g - 4982, 4*l + 1417 - 6390 = -g. Is l a multiple of 16?
False
Let y be (-5 - 7)*(-50)/(-4). Let f = y + 195. Is f even?
False
Let r(f) = 2*f**3 - 5*f**2 - 14*f + 4. Let p be r(7). Let y = 291 + p. Is y a multiple of 29?
True
Let t(v) = -v**3 - 20*v**2 + 41*v + 21. Let m be t(-22). Is ((-58)/m)/(4/(-1494)) a multiple of 20?
False
Suppose -i = 4*k + 13, -5*i - k = -5 - 6. Suppose -3*w + 300 = i*g - 2*w, -g + 116 = -5*w. Is g a multiple of 12?
False
Suppose -4*p = -5*c + c + 488, 369 = -3*p + 2*c. Let f = 493 + p. Is f a multiple of 8?
True
Let u(j) = -118*j - 12. Let t be u(-4). Suppose m - t = -5*d - m, 0 = -5*m + 25. Is 21 a factor of d?
False
Let t(n) = -90*n - 23. Let k(b) = -b - 6. Let f be k(0). Is 14 a factor of t(f)?
False
Let z(j) = 4*j**2 - 9*j - 12. Suppose -4*r - 114 = -26. Let t = r + 16. Is 17 a factor of z(t)?
False
Suppose 4*o + v = 320, 3*o - 1249*v - 194 = -1244*v. Let u be (6 - 1) + (1 - 1). Suppose 0 = u*y - 3*z - 14 - o, 3*y - 3*z = 60. Is 5 a factor of y?
False
Suppose 6*m + x + 1154 = 4*m, -x + 2 = 0. Let q = 958 + m. Is 38 a factor of q?
True
Let n = -71 - -157. Suppose 3*m + n = y, -4*y = -m - 5 - 9. Is 18 a factor of (60/2)/((-10)/m)?
True
Suppose -v + 4 = -c - 0, v - 3*c = 8. Suppose -r = j - 1, -v*j - r = -4*j + 2. Is (3*(-12)/(-9))/(j/30) a multiple of 20?
True
Suppose j + 70 = -o + 6490, -o - 5*j + 6420 = 0. Is o a multiple of 12?
True
Suppose 104312 = 23*v - 62231. Suppose 0 = 21*k - 8*k - v. Does 57 divide k?
False
Let r(l) = -2*l + 24. Let v be r(11). Let q be -4 - -5 - (v - -3). Let a = q + 36. Is 6 a factor of a?
False
Let z(w) = w**3 - 6*w**2 - 27*w + 8. Let m be z(9). Suppose 1589 = m*r - 1227. Does 32 divide r?
True
Suppose -5*k + 5*u + 55 = 0, -4*k + 20 = -5*u - 26. Suppose -9*l = -45 + k. Does 14 divide (l - 4) + 179 + (-3 - -6)?
True
Let q(c) = 2*c**3 + 15*c**2 + 6*c - 9. Let l be q(-7). Is 154/49 + l/14 - -331 a multiple of 18?
False
Let s(a) = 1766*a**2 + 136*a + 2. Let y be s(6). Suppose 44*z + 5566 = y. Is z a multiple of 15?
False
Suppose z + 3*z = -2*n + 214, -z + 52 = n. Suppose -33*f + 28*f = -z. Suppose 18*s - 133 = f*s. Is 19 a factor of s?
True
Is 4/(-5) + 516432/265 a multiple of 9?
False
Let s(v) = 5*v**3 - 26*v**2 - 30*v + 57. Let u(l) = -l**3 + l - 1. Let o(k) = s(k) + 6*u(k). Let i be o(-24). Does 16 divide 2/(-2) + (i/(-5) - 1)?
False
Suppose -5*c - u = -3, 0 = -6*c + 2*c - 5*u + 15. Suppose c*j - 296 = -2*j. Suppose -2*n + 303 = 5*b, -2*n + 5*b - j = -461. Does 22 divide n?
True
Suppose 627*g - 646*g = -33098. Does 26 divide g?
True
Let z = -2685 - -3477. Does 88 divide z?
True
Let i be 108/(-42)*(-42)/18. Let p(q) = 126*q - 17. Is p(i) a multiple of 54?
False
Suppose -665 = 4*a - 9*a. Let l = -9776 - -9780. Does 7 divide a*(l - (-4 + (-14)/(-2)))?
True
Let h = -65 - -64. Let l be 0/(h/3*3). Suppose l = 11*y - y - 600. Is 20 a factor of y?
True
Does 11 divide (-37)/(1332/30624)*-48?
True
Let l be (16/(-10))/((-2