-500. Is r a multiple of 62?
True
Let j(k) = -7*k - 1. Suppose -8*h + 12*h - 16 = 0. Suppose 0 = -i - h*i - 20. Is 9 a factor of j(i)?
True
Suppose -w + 24 = -j, 0*w - w + 18 = -3*j. Let k be ((-8)/6)/((-6)/w). Suppose 2*z + k = 3*z. Is z a multiple of 5?
False
Suppose -4*x - 4*m + 4636 = 0, -2*m + 6*m + 1159 = x. Is x a multiple of 52?
False
Let q(c) = 15*c**2 - 7*c - 25. Is q(-7) a multiple of 11?
True
Let w(g) = g**2 + 13*g - 9. Let c be w(-7). Let q = 81 + c. Does 21 divide q?
False
Let v(k) = 3*k - 47. Let d be v(22). Suppose 3*n + d - 313 = 0. Does 21 divide n?
False
Let t(q) = -3*q**3 + 15*q**2 - 7*q + 2. Let d(r) = -10*r**3 + 46*r**2 - 21*r + 7. Let g(i) = -2*d(i) + 7*t(i). Is 20 a factor of g(12)?
True
Suppose 0 = -2*x + 4*b + 1414, -x = -b + 2*b - 695. Is 19 a factor of x?
False
Let f = -23 + 60. Is 17 a factor of f?
False
Let q = 1239 - 879. Does 72 divide q?
True
Let h be -2 - (-2 + 2 - 5). Suppose 87 = 2*j + 3*q, -h*q + 3 = -4*q. Is 6 a factor of j?
True
Let k(y) = 5 + y**2 - 2 - 4*y**2 - 9*y + 2*y**2. Let a be k(-9). Suppose -a*h + 108 = 3. Is 20 a factor of h?
False
Let b = -26 - -37. Let q(g) = g + 10. Let l be q(b). Is 13 a factor of l/9*3*5?
False
Suppose -4*b + 888 = 4*x, -3*b - 2*x + 665 = 2*x. Is 48 a factor of b?
False
Let j(h) = -6*h**2 - 2*h - 2 - 5*h + 7*h**2. Is j(-7) a multiple of 24?
True
Let n = 2 + -15. Let u = n - -15. Suppose -u*f = -4*f + 94. Is 18 a factor of f?
False
Let u = -750 + 1254. Is u a multiple of 56?
True
Suppose 8*s = -32*s + 20440. Does 16 divide s?
False
Suppose -3*l + 1283 = 2*m, -32*m + 35*m = -4*l + 1710. Does 11 divide l?
True
Let i be -1*7*72/(-21). Suppose 4*n = 5*n. Suppose n = 3*m - i - 57. Is m a multiple of 27?
True
Suppose 0 = -3*q + 4*h - 21 - 41, -5*q = -3*h + 107. Let t(a) = 2*a**2 + 42*a + 31. Does 15 divide t(q)?
True
Is 21 a factor of 4/18 + -9 + 33090/54?
False
Let s = 15 + -46. Let j = 39 + s. Is j a multiple of 2?
True
Let k be (-1)/(-1*6) - (-66)/36. Suppose -455 = k*h - 7*h. Is 10 a factor of h?
False
Let g(j) = -119*j + 3. Let x be g(-1). Let r = x + -80. Does 6 divide r?
True
Let v(x) = -17*x - 17. Suppose -3*o - 5*o = 64. Is 6 a factor of v(o)?
False
Let b(h) = 85*h - 50. Let w be b(16). Suppose 2*i = -5*s - 0*i + w, -2*s + 2*i + 538 = 0. Is s a multiple of 16?
False
Let l(c) = 160*c**2 - 4*c - 4. Let o be l(-1). Let n = 262 - o. Is n a multiple of 34?
True
Suppose y - 51 + 110 = 0. Let c = y + 77. Does 9 divide c?
True
Let n(w) = w**2 + 13*w. Let c be n(-13). Suppose 2*x - b = -2*b - 14, 4*b + 8 = c. Is (x/4)/(14/(-56)) a multiple of 6?
True
Suppose 4*x - 11*c - 1084 = -14*c, 3*c = 5*x - 1328. Is x a multiple of 15?
False
Let l(n) be the third derivative of n**6/40 + n**5/20 - n**4/4 + 2*n**3/3 + 19*n**2. Is l(3) a multiple of 11?
False
Suppose 5*c + 171 + 199 = 0. Let g = c + 129. Is g a multiple of 25?
False
Suppose 0 = -4*m + 32. Let x(i) = 2*i**2 + 9*i - 6. Is 30 a factor of x(m)?
False
Suppose 24*a - 918 = 21*a. Is a a multiple of 34?
True
Let v(h) = h - 7. Let z be v(9). Let o be 117 - (3 - (-2 + z)). Let m = -47 + o. Is 12 a factor of m?
False
Let n = -698 + 1279. Is 29 a factor of n?
False
Suppose -2*u + 2*f - 154 = 0, 5*f + 154 = -2*u + 2*f. Let w = u + 174. Is 30 a factor of w?
False
Let s be (287 + 2)/(1/3). Suppose s = 5*b - t + 29, -b + t = -166. Does 14 divide b?
True
Let h = 8118 + -5623. Is h a multiple of 110?
False
Suppose 0 = -2*h - h. Suppose 2*r + 18 = 3*c, h = c - 2*r - 0*r - 6. Suppose -2*d = -c*d - 4*u + 88, 12 = d - 4*u. Is 9 a factor of d?
False
Let d be (-1 - 1)*15/(-6). Suppose -102 = -2*x - r + 15, -d*x + 294 = 2*r. Does 30 divide x?
True
Let i(s) = s + 4. Let t be i(-7). Let u = t + 22. Suppose -2*d = -1 - u. Does 7 divide d?
False
Let q(t) be the third derivative of 4*t**5/15 + t**4/12 + t**3/2 - 15*t**2. Is 10 a factor of q(-2)?
False
Let k = -20 + 25. Suppose -k*q - 170 = -5*f - 0*f, -36 = -f + 3*q. Is f a multiple of 9?
False
Suppose -3*z + 635 = 5*x, -2*z = -x + 3*z + 155. Is 6 a factor of x?
False
Let y(k) = -k**3 - 4*k**2 - 6*k - 11. Let x be y(-5). Is (x - -4)*3/4 a multiple of 26?
False
Does 8 divide 84*5/(-25)*-10?
True
Is 4 a factor of 5*4/(-30) + 478/6?
False
Let v = 70 - 63. Does 37 divide (-4)/3*(v + -229)?
True
Let s(l) be the third derivative of l**4/24 - l**3/2 + l**2. Let b be s(8). Let r(n) = 3*n**2 - n - 6. Is r(b) a multiple of 16?
True
Let i(s) = 905*s**2 + 9*s + 6. Is 82 a factor of i(-1)?
True
Let j(a) = 28 + 7*a**2 + 3*a**2 + 4*a - 7*a**2. Is 8 a factor of j(6)?
True
Suppose -5*i - 5*r = -180, 6*i - 5*i - 4*r = 61. Does 13 divide 1*(i/2)/(10/60)?
False
Let g be 9/(-36) + (-6)/8. Let r be 3 - (11/g - -3). Suppose r = 4*m - 13. Does 3 divide m?
True
Suppose 5*w - 7*w - 92 = 0. Let l = 43 - w. Does 24 divide l?
False
Let u = 793 + -566. Does 58 divide u?
False
Suppose -51*d - 38305 = -98*d. Is d a multiple of 15?
False
Suppose 0 = 2*j - j + 2*l - 54, 48 = j - l. Let y = j - 36. Is y a multiple of 14?
True
Suppose 8*p - 750 = 2*p. Does 30 divide p?
False
Suppose 3*b - 5*z = -367, 4*b - 4*z = -9*z - 431. Let g be 19/(129/33 - 4). Let s = b - g. Does 14 divide s?
False
Suppose -30 = -3*p - 6. Is p*(-1)/(2/(-13)) a multiple of 11?
False
Suppose 814 + 53 = 5*y - r, 2*y - 2*r - 342 = 0. Does 6 divide y?
True
Let d(w) = -3*w - 10. Let z(g) = 18*g + 59. Let t(j) = 34*d(j) + 6*z(j). Suppose 5*x = -5*s + 5, 10 = -s - 3*x + 1. Is t(s) a multiple of 25?
True
Suppose -10*l + 9119 + 4021 = 0. Is l a multiple of 48?
False
Let w be 0 + 5 + (2 - 79). Let n = 204 + w. Is 14 a factor of n?
False
Let h = 854 - 232. Is h a multiple of 13?
False
Suppose 0 = 4*l + 5*o - 788, -3*l = 11*o - 8*o - 588. Is 8 a factor of l?
True
Suppose 0 = 4*s - 2*m - 12, 4*s + 5*m = -1 - 1. Does 17 divide ((-593)/7 - s/7)/(-1)?
True
Let b(r) = 2*r + 23. Let z be b(-10). Suppose -5*a - 1040 = -5*c, 4*c - z*c - 199 = 4*a. Is c a multiple of 45?
False
Let q(x) = 25*x - 1. Suppose 5*w - 6*w + 9 = 0. Let m = w - 8. Is 12 a factor of q(m)?
True
Does 9 divide (12/4)/(6/674)?
False
Suppose 4*z + 107 + 51 = -2*h, -2*h + z - 173 = 0. Let p = h - -255. Is 31 a factor of p?
False
Let i(b) = 89*b - 63. Is 2 a factor of i(2)?
False
Let o = 7937 + -3412. Is 25 a factor of o?
True
Let n = 5 - 6. Let y be n/(1/(-7)) + -3. Suppose y*q - 135 = 81. Is 23 a factor of q?
False
Let w = -902 + 975. Is w a multiple of 36?
False
Let g be 0/(-1 + 2) - 20. Suppose 4*m - 228 = -0*m. Let x = m - g. Is 13 a factor of x?
False
Let p(s) = s**2 - 11*s + 6. Let j be p(10). Let b be (-1)/(j/(-5) + -1). Suppose 4*c - 55 = w, 6*w - 3*w - 90 = -b*c. Is 15 a factor of c?
True
Is 7 a factor of 23 - 5 - (9/3 + 1)?
True
Let u(j) = -j**3 + 5*j**2 - 4*j + 2. Let v be u(4). Suppose 380 = 4*m + 4*k, -247 + 29 = -v*m + 5*k. Is 23 a factor of m?
False
Let u = 4495 + -3179. Does 14 divide u?
True
Suppose -12*x + 8123 = 2723. Does 25 divide x?
True
Suppose -9 = -4*r - 1. Let v be (3 + -51)*1/r. Let a = 37 + v. Is a a multiple of 13?
True
Let d = -172 - -354. Suppose 6*i = 4*i + d. Suppose 5*f + 2*s = 363, 2*f = 3*f + 5*s - i. Does 14 divide f?
False
Let w = -8872 + 13472. Is w a multiple of 10?
True
Let v = 4 + 1. Suppose -u + 776 = v*r, 4*r - 616 = 3*u - 5*u. Does 32 divide r?
False
Let g(h) = 5*h**2 - 2*h + 1. Let x be g(5). Let b = 158 + -158. Suppose b*k = -4*k + x. Is k a multiple of 17?
False
Let f(k) = k - 10. Let u be f(11). Let o be -4*u/(-4)*3. Suppose 4*l + 168 = 2*g, -4*g + o*l + 266 = -65. Does 17 divide g?
False
Let n = 30 + 45. Suppose 3*h + 0*h + 21 = 0. Let l = h + n. Is 16 a factor of l?
False
Suppose -7*w + 12 = -3*w, 20388 = 4*f - 4*w. Does 85 divide f?
True
Let k(l) = -l**3 + 8*l**2 - 13*l + 13. Let m be k(6). Suppose 4*h - 355 + m = 0. Is 22 a factor of h?
False
Suppose 5*f - 4*k - 325 = k, 0 = 5*f - 4*k - 320. Suppose -58 = -l - 5*r, 0*l - 4*r = -2*l + f. Let c = l + 2. Is 9 a factor of c?
False
Let n = -131 - -271. Suppose 32*q - 39*q = -n. Does 12 divide q?
False
Suppose -226 = -b - 202. Is 4 a factor of b?
True
Does 13 divide 94/(-47)*(-1 + (-22)/4)?
True
Suppose 10 = -2*s, -2*k - 4*s + 2*s = 0. Let i be (-50)/k - (-3 + 2). Let r(w) = -w + 1. Is 4 a factor of r(i)?
False
Let t be ((-132)/(-9) - 2)*(-18)/(-4). Suppose 5*w + 2*s + 2*s = 255, w - t = -2*s. Is w a multiple of 4?
False
