 Let q(u) = 4*u**2 + u + 7. Is q(s) a multiple of 25?
True
Let w be -12 + 2 - (-2)/2. Let v(z) = -2*z - 8. Is v(w) a multiple of 10?
True
Is 8 a factor of ((-6713)/(-2))/7 + (-2)/(-4)?
True
Suppose 19*d - 12*d = 3234. Does 42 divide d?
True
Let m = -16 + 22. Suppose m*z - 9*z = 0. Suppose 4*x + 0*x - 48 = z. Is x a multiple of 12?
True
Suppose 0 = -5*f - 4*n + 1262, -15 = -4*n - n. Let m(u) = 34*u + 1. Let d be m(-5). Let s = f + d. Does 22 divide s?
False
Suppose 0 = 3*a - 0 - 9. Suppose -163 - 115 = -4*r + a*m, 336 = 5*r + 2*m. Is r a multiple of 15?
False
Suppose -10*c + 360 = -5*c. Does 18 divide c?
True
Let r = 6904 - 4114. Is r a multiple of 19?
False
Is 24 a factor of 182/((-7)/35*(2 + -4))?
False
Let a be 0 - (0 + -1) - 2. Let f = 2 - a. Is f a multiple of 2?
False
Let o = -160 + 424. Is 12 a factor of o?
True
Is 29 a factor of 809/((-108)/(-24) + -4)?
False
Let y(q) = 17*q**3 - 7*q**2 + 23*q + 2. Is y(4) a multiple of 31?
False
Let u be 5*-9*(-3)/45. Suppose 5*p + 4*m = p + 48, 0 = 4*p + u*m - 44. Is p/(-44) - 1194/(-33) a multiple of 8?
False
Suppose 4*s = 6*s - 5*f - 21, -6 = 3*s + 5*f. Suppose -3*i + 2 + 4 = 0. Suppose -s*w = -i - 16. Is 4 a factor of w?
False
Let g = -90 - -18. Does 13 divide (-10024)/g + (-2)/9?
False
Let v be 0*(4 + -2 + 0)/(-4). Suppose v = n + 5 - 18. Is n a multiple of 13?
True
Suppose -4 = 4*w + 8. Let b be 3 - (w - (-10 + 3)). Does 15 divide -6 + 21 + 1 + b?
True
Let x = 498 + -338. Suppose -32*z = -36*z + x. Is 20 a factor of z?
True
Suppose -2*i + 4*h + 1854 = -1680, -i + 4*h = -1761. Is 96 a factor of i?
False
Let y be -9*5/(-15) + 2. Suppose -3*u = -37 - y. Does 13 divide u?
False
Let b be -4 - 2330/(-4) - 3/(-6). Suppose -3*q - 4*l = -b, 2*q - 4*l = -q + 579. Is 60 a factor of q?
False
Let g be -5 - (2 + -1)*-1. Let h be (1 + 0)/((-10)/(-20)). Is 19 a factor of (6 + g)*45/h?
False
Suppose -50 = v + 4*v. Is 19 a factor of (1*(3 + 54))/((-3)/v)?
True
Let q(g) be the first derivative of -2*g**2 - 9*g - 18. Does 5 divide q(-4)?
False
Let d = -93 + 91. Is 24 a factor of ((-450)/(-27))/(d/(-12))?
False
Let s = -433 + 1937. Does 8 divide s?
True
Suppose 8*p - 6*p = 2*u + 1380, -3*p + 2080 = -u. Does 4 divide p?
False
Suppose -4*p + 2*p = 16. Let i be (2*p)/(-16 + 17). Let n(s) = s**2 + 16*s + 11. Is 11 a factor of n(i)?
True
Let k be (68/8 - -3)*-2. Let u = k - -57. Is 7 a factor of u?
False
Suppose 3*v - 12 = 0, 0 = 3*l - v - 158 - 270. Does 11 divide l?
False
Let t = 145 - -43. Is 47 a factor of t?
True
Let q be (3/(-6)*-2)/(5/(-215)). Let v = q + 69. Is v a multiple of 13?
True
Let u be (0 - -11) + (0 - -3). Let k be 2 - u - (-4 - -5). Let t = 27 + k. Is t a multiple of 4?
False
Let n(u) be the first derivative of -u**3/3 + 4*u**2 - 8*u + 3. Let y be n(6). Does 21 divide (-1)/((y/216)/(-1))?
False
Does 30 divide 14/140 - (-15429)/10?
False
Is 10 a factor of (-8)/2 + 69*16?
True
Suppose 17*x = 2*x + 22755. Is x a multiple of 20?
False
Let l(i) = 2*i + 13. Suppose 5*j = -5*y + 70, 4*j - 2*j - 4*y - 52 = 0. Let p = j + -18. Does 13 divide l(p)?
True
Let x(w) be the first derivative of -7/2*w**2 - 1/3*w**3 - 7 + 10*w. Is x(-7) a multiple of 7?
False
Suppose -5*f - 18 = 2*c + 15, -51 = 4*c + 5*f. Does 23 divide (-72)/c*46/4?
True
Suppose 5*j - 2*r - 7 = 42, -2*j + 3*r + 24 = 0. Suppose 0 = -4*z + j*z - 145. Is 9 a factor of z?
False
Suppose -3*j + 6 + 15 = 0. Is 2/7 + 1/(j/782) a multiple of 30?
False
Let m(i) = 16*i - 17. Let y be m(-18). Let u = y + 429. Is 9 a factor of u?
False
Let k(i) = -2*i - 11. Let w be k(-6). Let j(c) = c + 1. Let z be j(w). Suppose 2*f - 2*p = 10, 3*p + z - 8 = 0. Is f a multiple of 7?
True
Let h(o) = -o**2 + 5*o + 3. Let a be h(5). Suppose -4 = -a*q - x, 0 = q + 4*x + 3 + 3. Does 23 divide 67 - 1*(-4)/q?
True
Let y be (0 - -3)/(24/(-80)). Let c be -7*(-5)/((-175)/y). Suppose -2*p + 160 = c*p. Is 27 a factor of p?
False
Does 14 divide (-3*2/6)/(-1) + 651?
False
Suppose -16 = -4*y + 24. Let r = 49 - y. Is r a multiple of 23?
False
Let p(u) = -u + 1. Let k be p(-1). Let z = k + 58. Is 20 a factor of z?
True
Let p = 3026 + -1457. Does 77 divide p?
False
Suppose -4*q + 5*h = 16, -q - 5 = 4*h - 5*h. Does 6 divide q*(1/3 + -1)?
True
Is 34 a factor of 2/(-13) + 1/(65/4430)?
True
Suppose 5*d - 5*h - 25 - 10 = 0, 0 = -5*d + 3*h + 41. Suppose -2*w + d = -108. Is 11 a factor of w?
False
Let x = 26 - 22. Suppose -3*f = -x*f. Let d(h) = -h + 48. Is 9 a factor of d(f)?
False
Let k be (-107)/4*(-3 - 1). Let a = k + 68. Does 48 divide a?
False
Let o = 6 - 4. Suppose 249 = o*s - 269. Suppose -4*a + 171 = -t, -s + 79 = -4*a + 4*t. Is 14 a factor of a?
True
Suppose -45625 = -49*i + 20133. Is i a multiple of 75?
False
Suppose 0 = 61*o - 88*o + 11934. Does 13 divide o?
True
Let u be 4 + (-2 - (0 + -3)). Suppose u*x - 7 = 23. Suppose 5*b + 4*w = 657, -x*b + 3*b + 5*w + 372 = 0. Is b a multiple of 34?
False
Let u = -1582 + 2670. Is u a multiple of 68?
True
Let y(c) = -2*c**3 - 7*c**2 + 7*c - 9. Let b be y(-6). Let r = b - 73. Is 14 a factor of r?
True
Let o be ((-24)/(-9))/((-5)/(-90)). Suppose 0 = 4*n - n - o. Is n a multiple of 16?
True
Let j(l) = -56*l + 7. Let z be j(-6). Let w = -184 + z. Is 12 a factor of w?
False
Let c(j) = -j**3 - 4*j**2 + 8*j - 4. Let r be (4 + -2)/(-2 + 24/14). Does 9 divide c(r)?
False
Suppose 11*f + 8*f - 399 = 0. Let y = 1 - 3. Is f*(32/12 + y) a multiple of 12?
False
Let j = -225 + 353. Suppose -5*u + 569 = 4*i + 57, -i - 3*u + j = 0. Is i a multiple of 39?
False
Suppose 5*t = -3*j - 144 + 672, 526 = 5*t + j. Is t a multiple of 37?
False
Suppose 0 = -4*g + 6*g + 16. Let a(o) = o**3 + 8*o**2 - 8*o - 12. Is a(g) a multiple of 13?
True
Suppose 3*m = 2*w + 12, 2*w + 0*w = -4*m + 16. Suppose -4*t + i = t - 131, -m*t + 101 = 3*i. Is 7 a factor of t?
False
Suppose 7*a + 4 = 5*a. Let i be 2 + a + (5 - 2). Is ((-2)/(-6))/(i/297) a multiple of 13?
False
Suppose 5696 = -16*t + 24480. Does 71 divide t?
False
Let j = 520 + -410. Is 2 a factor of j?
True
Let o(l) be the third derivative of -7*l**4/12 - 7*l**3/2 + 5*l**2. Is 17 a factor of o(-10)?
True
Suppose -3*r - h = -83, -5*r + 0*h - 5*h = -125. Let o = r + -24. Suppose -5*x = -10, -o*q + 14 = -3*q - 5*x. Is 6 a factor of q?
True
Let h be ((-24)/(-4))/(-1 + 0). Let m(i) = i**2 - 2*i - 12. Let l be m(h). Suppose 4*s - l = 3*s. Does 18 divide s?
True
Suppose -464 = -5*v + n + 1132, -n = 5*v - 1604. Suppose 2*o - 80 = v. Does 40 divide o?
True
Suppose 5058 = -29*m + 32*m + 3*z, 3*z - 3368 = -2*m. Does 13 divide m?
True
Suppose 238*r = 230*r + 2224. Does 22 divide r?
False
Suppose -5*y - 66 = -4*q + 231, 4*q = 3*y + 295. Is q a multiple of 5?
False
Suppose 21465 = 14*y - 15313. Does 71 divide y?
True
Suppose -15*m + 6525 = 14*m. Is m a multiple of 3?
True
Suppose v + 5*w - 6 = 0, 5*w - 8 - 12 = 0. Let j = v + 59. Does 15 divide j?
True
Let q = 112 - 40. Suppose -5*i - 5*y + 220 = 0, y = -3*i + 68 + q. Is i a multiple of 16?
True
Suppose 4*r + 34 + 10 = 0. Let n = r - 8. Let o = n - -50. Does 16 divide o?
False
Let i(k) = k**3 - 2*k**2 + 3*k + 126. Is 71 a factor of i(0)?
False
Let v(q) = -4*q - 5. Let k be (-3)/(-15) + 93/(-15). Let l be v(k). Let f = l + 1. Is f a multiple of 10?
True
Let a(p) = 3*p**2 - 17*p + 5. Let d = -14 + 24. Does 21 divide a(d)?
False
Let a = 3 + 0. Let o be 1/a + (-40)/30. Does 13 divide 64/4 - (4 + o)?
True
Let x = -14 - 19. Let q = -94 - -148. Let j = q + x. Is j a multiple of 21?
True
Let w = -330 - -348. Does 2 divide w?
True
Let p(u) = -7*u**3 - 59*u**2 - 49*u + 106. Let o(q) = -3*q**3 - 29*q**2 - 24*q + 53. Let d(r) = -5*o(r) + 2*p(r). Is d(-26) a multiple of 10?
False
Let w(s) = s**2 - 47*s - 639. Is 5 a factor of w(59)?
False
Suppose 3*j - 5*d = 190, 12*d = -5*j + 11*d + 298. Does 15 divide j?
True
Let d be 156/36 + 1/(-3). Suppose w + d = 0, -23 + 151 = 4*i - 2*w. Let k = i + -26. Is k a multiple of 2?
True
Suppose -4*y - 551 = 5*r, -3*y - 364 - 76 = 4*r. Let w = 174 + r. Does 9 divide w?
False
Let g = -6 - -10. Suppose g*a + a + 140 = 0. Is 14 a factor of (a/(-3))/(-4)*-6?
True
Let v(l) = -9*l + 67. Let t be v(10). Let m = t + 57. Does 2 divide m?
True
Let q(d) = -d**3 + 18*d**2 + 7*d + 26. Does 38 divide q(11)?
True
Let v(p) = -p - 14. Let n be v(-12). Let a be 2/(-3)*(n + -1). Suppose 0*z + a*z - 