 - 5*y, -y = 3*x - 2*y - 212. Is 9 a factor of x?
False
Suppose 0*r = -6*r - 108. Let h be 22/(-18) - -1 - 12964/r. Suppose 144 = o + u, -5*u = 5*o - 4*u - h. Does 16 divide o?
True
Suppose 32*l - 28*l - 1104 = -z, -2205 = -2*z - 5*l. Let t = z + -326. Is 7 a factor of t?
False
Let b be -360*(-13)/((-390)/(-24)). Let q(f) = f**3 + f + 7. Let w be q(0). Suppose -4*r - b = -w*r. Does 10 divide r?
False
Let d = -1075 - 601. Suppose 4*k + 18 - 2 = 2*m, -2*m = -2*k - 10. Is m/6 + d/(-12) a multiple of 10?
True
Is (-2)/3 - 2092954/(-519) a multiple of 192?
True
Let p(l) = -3*l**2 - 5*l - 2. Let v(g) = -7*g**2 - 10*g - 5. Let b(w) = 5*p(w) - 2*v(w). Let c = -28 + 24. Does 4 divide b(c)?
True
Let x(v) = 35*v + 42. Let b(q) = 33*q + 43. Let a(w) = -5*b(w) + 4*x(w). Is 64 a factor of a(-14)?
False
Suppose -3*j + 4*j = a + 3, -j + 2*a = -2. Suppose 0 = -q - 4, 0 = 4*p - j*q - 128 - 52. Is p a multiple of 17?
False
Suppose -5*x + 5 = 0, -5*o - 2*x - 146 = 402. Let p = o - -189. Is 15 a factor of p?
False
Let v(y) = 14*y**3 - 6*y**2 - 72*y + 113. Is 47 a factor of v(9)?
False
Let p(s) = 4*s + 29. Suppose 2*x + 4 + 24 = 0. Let c be p(x). Is 4 a factor of (180/c)/((-2)/6)?
True
Let h(z) = -3*z**3 + 50*z**2 + 16*z + 13. Let d be h(17). Let f(w) = 4*w**2 + 7*w - 5. Does 3 divide f(d)?
False
Let p(o) = -6*o - 16 - 14 + 6*o**2 - 12 + 30. Let s be p(9). Let h = s + -234. Does 31 divide h?
True
Let y = -13370 + 23828. Does 63 divide y?
True
Suppose 3 = 5*v - 2*l, -1 - 11 = 3*l. Let y = v - -8. Suppose 25 = y*a - 122. Does 7 divide a?
True
Let s = -1229 - -1681. Does 2 divide s?
True
Let y = -284 + 16638. Is y a multiple of 17?
True
Suppose 5*l = 3*r - 34, -5*r + l = -7*r + 40. Let v(s) = s**3 - 18*s**2 + s - 11. Let u be v(r). Suppose 3*j = -12, 5*c + 10*j - 113 = u*j. Is 3 a factor of c?
False
Let q(d) = 33*d - 11*d + 14*d - 16. Is q(1) a multiple of 10?
True
Suppose s = 4*v - 14, 0*s - 4*s + 2*v - 98 = 0. Let t(w) = -w**3 - 26*w**2 - 8*w + 39. Is 2 a factor of t(s)?
False
Let z = 3200 + -598. Suppose 5*j - 302 = b + z, 1724 = 3*j + 4*b. Does 29 divide j?
True
Let m(n) = -13*n**3 - 2*n**2 + 2*n - 5. Let w(i) = 15*i**3 + 3*i**2 - 2*i + 6. Let u(a) = 4*m(a) + 3*w(a). Does 28 divide u(-3)?
False
Let r = -4832 + 5683. Is r a multiple of 9?
False
Let z = -286 + 289. Suppose -2*f = -z*c + 125, 4*f - 107 - 93 = -4*c. Is c a multiple of 9?
True
Let q = 38 + -34. Let o be 8*1*(-4)/(-32)*q. Suppose -3*a = 4*f - 97, -2*f + o*a = -5*f + 71. Is f a multiple of 25?
True
Let p = 231 + -231. Suppose -u - 5*v + 137 = p, 3*v + 82 + 15 = u. Does 16 divide u?
True
Is 4 + (-48)/5 + 6/10 - -747 a multiple of 2?
True
Let d(j) = -22*j + 67. Let w be 4 + -19 - (-1 - -3)/(-2). Is d(w) a multiple of 9?
False
Let p(r) = -r**2 - 15*r - 36. Suppose 32 + 13 = -3*d. Let n be p(d). Let y = n - -57. Is y a multiple of 7?
True
Let p(b) = -69*b**2 + 1507*b - 12. Is 19 a factor of p(12)?
False
Let i = 41 + -50. Let m(j) = -4*j + 4. Let k be m(i). Let y = k - 2. Does 13 divide y?
False
Suppose -3*p + 3 = -a, a + 2*p + 5 - 7 = 0. Suppose a = -n + 1 - 4, -3*q + 81 = 3*n. Does 23 divide 4/10 + ((-18522)/q)/(-9)?
True
Suppose 1754 = 4*j + 2*v, 3*j - 7*v = -2*v + 1335. Is 37 a factor of (-80)/j + (-7330)/(-22) + 0?
True
Does 8 divide -4 + (8 - -1060) - -5?
False
Let w(r) = -19*r**2 + 5*r. Let o be w(1). Let m(l) = -l**2 - 28*l + 16. Is m(o) a multiple of 11?
False
Suppose -14 = 2*a - 3*p, 4*p - 11 - 10 = 5*a. Is a + (-3619)/(-14)*2 a multiple of 43?
True
Let c = -13803 + 15967. Is c a multiple of 9?
False
Let y(c) = 7*c - 4. Let f be y(1). Suppose f*x + 2*q - 756 = 0, -5*x + 1642 - 369 = -q. Is 7 a factor of x?
False
Let y = -330 - -437. Suppose 3*i = h + 351 + y, h = -2*i + 307. Is i a multiple of 9?
True
Let u(h) = h**3 + h**2 - 5*h + 5. Let f be u(2). Suppose -f*x + 8*x - 5 = 0. Suppose k - x*j - 119 = -3*k, -4*j = 3*k - 97. Is k a multiple of 12?
False
Suppose -8*r + 5*r = -5*x + 10, -r - x + 2 = 0. Suppose 60 = n - 2*l, l + 240 = 4*n - r*l. Suppose 8*s = 2*s + n. Does 4 divide s?
False
Suppose -9*l + 13 + 41 = 0. Let j(f) = 48*f + 12. Is j(l) a multiple of 50?
True
Let q be (8/18)/(13/117). Is (-3)/(-4) - (-825)/q a multiple of 4?
False
Is 27 a factor of 1238/(-3)*(-342)/76?
False
Suppose -452246 + 1668230 = 88*a. Is 8 a factor of a?
False
Let j = 163 - -118. Let f = j + 91. Is f a multiple of 31?
True
Is 38 a factor of (152/6)/(((-360)/(-1566))/10)?
True
Suppose -f - g = -1113, 0*f = -4*f + 5*g + 4416. Suppose -3*r = 2*k - 3759 + f, -4*k = -8. Is r a multiple of 30?
False
Let w(t) = -3*t - 5. Let q be w(-2). Let b(g) = -1 - q + 28*g**2 + 4*g + 0*g. Is b(-2) a multiple of 6?
True
Let o be (323*-2)/(7 + (-15 - -6)). Let y = o - 106. Does 38 divide y?
False
Suppose 135*o - 113861 = -31646. Is o a multiple of 2?
False
Let h = -627 - -1568. Suppose 4*w - d + 382 = -h, 2*w - 2*d + 666 = 0. Let p = w + 472. Is p a multiple of 16?
False
Suppose 0 = -w + 12*w - 2475. Does 23 divide 145/29 - (0 - w)?
True
Let i(k) be the second derivative of k**4/6 - 5*k**3/2 + 451*k**2/2 - 7*k. Is i(0) a multiple of 11?
True
Suppose -5559*y + 5574*y - 70125 = 0. Is y a multiple of 150?
False
Suppose 2*u - 3*w = 115, 3*u + 3*w = 4*u - 50. Let n = 109 - u. Is 3/((30/n)/5) a multiple of 7?
False
Let u(d) = -198*d - 6469. Does 89 divide u(-141)?
True
Suppose -1573 = -5*i + j, -4*i = -6*j + 10*j - 1244. Let v = i + -269. Is 5 a factor of v?
True
Suppose -5*t + 0*w - 4*w = -22, -2*t + 7 = w. Let f(z) = 4 - t*z**3 + 10*z + 4*z + 10 - 6*z - 8*z**2. Does 8 divide f(-5)?
True
Let j = 179 - 207. Is (-2)/j*7 - 986/(-4) a multiple of 27?
False
Let l = 20938 - 17242. Does 8 divide l?
True
Suppose 75555 = -100*p + 413655. Is p a multiple of 39?
False
Suppose d - 30254 = 3*j, -d + 4*j - 8374 = -38631. Is 12 a factor of d?
False
Suppose -91269 = -10*j - 90*j + 128431. Is j a multiple of 14?
False
Suppose -127*p + 128*p - 3264 = 0. Is 34 a factor of p?
True
Suppose 15*k = 2*k - 5408. Is (k/(-2))/(1 + 1) a multiple of 52?
True
Let c be (-155)/(-20) + (-1)/(-4). Let u(n) = n**2 - 9*n + 10. Let x be u(c). Suppose x*y + 2*y = 252. Is 8 a factor of y?
False
Let i = 27936 - 16295. Is i a multiple of 13?
False
Suppose 3*p + i = -68592 + 274868, 3*i = 2*p - 137543. Is 19 a factor of p?
True
Let s be (10 - 9)/(-3 - -2). Is 540/81*((-14)/(-4) - s) a multiple of 5?
True
Let f be (-3 + -1)/8*-4 - 6. Does 4 divide f + 2 + -2 + 38 + -22?
True
Let u(d) = 13*d - 440. Let i be u(34). Suppose 9 = 5*h - 6. Suppose 0 = -2*p - h*k + 119, i*k + 79 = p + 16. Does 4 divide p?
False
Let l be (-5)/(-2) + (-1485)/18. Let v = 167 - 296. Let h = l - v. Does 14 divide h?
False
Suppose -119 = -2*j - 5*g, 5*j = -5*g - 128 + 418. Suppose -17*l + j*l - 520 = 0. Does 11 divide l?
False
Suppose 5*l = 5*x + 30, 2*l - 19 = -2*l - x. Is (((-72)/(-28))/3)/(l/770) a multiple of 4?
True
Let k(a) = -6450*a - 125. Is 55 a factor of k(-1)?
True
Let s(d) = -d**3 + 66*d**2 + 24*d + 169. Is s(66) a multiple of 22?
False
Let k be -1 + 5 - 0/15. Suppose -326 = -k*f + 242. Does 6 divide f?
False
Let d be 78/(-8)*(-4980)/45. Suppose 8*y - 777 - d = 0. Is y a multiple of 58?
True
Is (468/(-585))/((-2)/(-15430)*-1) a multiple of 26?
False
Suppose 3 = 2*s - 7. Suppose 4*g - u = 2*u + 107, s*g + 4*u = 126. Let b = g + -12. Is 13 a factor of b?
False
Let c = 1927 - 2787. Let j = c - -1338. Is j a multiple of 13?
False
Suppose -4*l - 4*a + 32 = 0, 2*a + 10 = 2*l - 2. Suppose -v + l + 2 = 0. Suppose 2*y = -8, v*t - 3*y - 762 = 4*t. Is t a multiple of 25?
True
Let z(k) = 22*k**2 - 3*k - 1. Let h be z(-2). Let r = -52 + h. Let n = r + -19. Does 7 divide n?
False
Let h be -4 - (-19 + 1/(-1)). Let o = 19 - h. Suppose -2*j = -z + 5*z - 86, o*z = -15. Does 35 divide j?
False
Let v = 35 + -33. Suppose 3*s + 5*q - 71 = 10*q, -2*q - 42 = -v*s. Is 16 a factor of s?
False
Let q = 6 + 1. Suppose -32 = -5*y - q. Is (6/(-15))/(y/(-1525)) a multiple of 24?
False
Suppose -14*m = -24 - 18. Suppose -1916 = -2*o - o - 2*n, 6 = -m*n. Is o a multiple of 10?
True
Is 19 a factor of ((-7070)/50)/((-2)/80)?
False
Let n = 415 - 413. Is 3 a factor of (-10132)/(-340) + n/10?
True
Suppose -1524*v + 1511*v = -7982. Does 2 divide v?
True
Let y be 63/14 + 1/(-2). Suppose -y*n - 187 + 715 = 0. Does 4 divide n?
True
Suppose -45*