+ 29*p. Is 15 a factor of r(19)?
True
Let l be (1/5 + (-1290)/200)*4. Suppose 0 = 4*k - 2*b - 78, 5*k + 0*k = 3*b + 96. Is (-1 - l)*7/k a multiple of 3?
False
Is 1455 + (-88)/(-11) - -7 a multiple of 49?
True
Let z be (-2121)/(-28) - 3/(-12). Let y = z + 116. Suppose -15*p + y = -11*p. Does 12 divide p?
True
Let t(z) = -9*z - 61. Let n be t(-7). Suppose -2*h - x = -368, -h = -n*x + 5*x - 174. Is 31 a factor of h?
True
Suppose -3*d + 1 = -3*c + 5*c, 0 = 4*d + 3*c. Let s be ((-12)/(-21))/(6/21). Suppose -s*t + d*t - 64 = 0. Does 12 divide t?
False
Suppose 5*s + 12*q = 13*q + 1642, -3*s + 994 = -5*q. Is s a multiple of 4?
True
Let h(q) = -3*q - 6. Let f be h(-3). Suppose 0 = f*y - 0*y - 63. Is 6 a factor of y?
False
Let w = 55 - 53. Does 26 divide (21/2)/(35/(-18) + w)?
False
Let p(h) = h**3 + h**2 + h + 2. Let v be p(0). Suppose 2*a + 4*u = v*u + 102, 4*a = u + 189. Is a a multiple of 8?
True
Let i(d) = 2*d**2 - 52*d - 424. Is i(43) a multiple of 3?
True
Suppose 6*t - 7 - 5 = 0. Suppose -4*c = 2 + 2, -t*j - 2*c + 270 = 0. Is j a multiple of 17?
True
Let y be (-36)/10 - (-2)/(-5). Let f be (18/12)/((-2)/y). Suppose -2*d - f - 3 = -4*r, 2*d = -r + 4. Does 2 divide r?
True
Let y = 6 + -46. Suppose 256 = 2*a + 2*a. Let w = y + a. Is 6 a factor of w?
True
Let d(w) = w + 28. Let p be d(-12). Let z be -1*(-3 - p)*5. Is 23 a factor of 2/1 - (5 - z)?
True
Let z(v) = -v**3 - 9*v**2 - 10*v - 1. Let i be z(-8). Let y = i + -15. Suppose 4*t + n + 2*n - 171 = y, t - 41 = n. Is t a multiple of 14?
True
Let s = 116 + 389. Is s a multiple of 12?
False
Let z be 32/12 + 2/6. Suppose -4*f + 233 = z*c, c + 4*f = 4*c - 241. Is 18 a factor of c?
False
Suppose -4*i = 3*n - 171, -4*n = 2*i - n - 87. Suppose -3*v + 174 = 5*g, 4*v - 245 = 3*g - i. Is v a multiple of 12?
False
Suppose 16*v - 15 = 11*v. Suppose -31 = -2*g + v*x, 3*g + 5*x = -2*g + 40. Is 3 a factor of g?
False
Let i = 53 - 64. Let f(l) = -l**3 - 11*l**2 - 3*l - 26. Is f(i) a multiple of 2?
False
Suppose -3*y = 2*y - 25. Suppose -y*v - h = -25, -2*v + 3*h - 18 = -45. Suppose 0 = i + 4*r - 38, -3*i + v = -r - 56. Does 11 divide i?
True
Is 38 a factor of (-6)/14 - (-6069)/49*4?
False
Let z(o) = 39 - 3*o - 11 + 12. Is 10 a factor of z(0)?
True
Let g(j) = -j**2 - 9*j + 1. Let o be g(-7). Suppose -18*i = -o*i - 48. Suppose i*p = 21*p - 180. Is 9 a factor of p?
True
Let c(t) = 24*t + 916. Does 19 divide c(22)?
True
Let z(y) = 2*y**2 + 9*y - 11. Let l(n) = n**2 + 5*n - 6. Let s(p) = -9*l(p) + 4*z(p). Is s(-8) a multiple of 14?
False
Suppose -1179 = -19*v + 5338. Is v a multiple of 17?
False
Let w(i) = 3277*i**2 + 4*i + 5. Is 13 a factor of w(-1)?
False
Let r = 991 - 428. Is 67 a factor of r?
False
Let l be (-1680)/(-7)*-4*(-3)/10. Suppose -l = -3*i - i. Is 15 a factor of i?
False
Let p be -5*(-1 - 141/(-15)). Let i = p + 71. Does 16 divide i?
False
Let a be (-6)/(-12)*-1*1*0. Is 14 a factor of (a - 224)*(-33)/44?
True
Let j(o) = -8*o + 86. Is 7 a factor of j(6)?
False
Let v(d) = 2*d**2 - 40*d - 28. Let w be v(21). Suppose -98 = 12*j - w*j. Is j a multiple of 8?
False
Let y(c) = -2*c + 21. Let g be y(9). Suppose 2*x + 2*n = 198, -2*n + 3 = -g. Is x a multiple of 24?
True
Let q be (-99)/(-6)*-170 - 1. Let b be 9/27 - q/6. Suppose b - 3 = 5*n. Is n a multiple of 24?
False
Let s = 25 - 23. Suppose 2*i - s*o - 550 = 0, 5*i + 5*o - 1399 = 4*o. Does 31 divide i?
True
Let m(k) = 2*k**2 - 3*k. Let y(w) = -w + 10. Let g be y(7). Suppose g*p - 2 = 7. Does 3 divide m(p)?
True
Let w(k) = 6*k**3 + 4*k**2 - 3*k + 1. Suppose 0 = 2*m + 46 - 50. Does 6 divide w(m)?
False
Let f = -22 - -96. Let g = -36 + f. Is 3 a factor of g?
False
Suppose 9*n - 9 = 27. Suppose -3*s = 5*x - 83, n*s - 75 = 4*x + 25. Does 25 divide s?
False
Suppose -75 - 8 = -h. Is 12 a factor of h?
False
Let j be (-138)/14 + (-4)/28. Let n(t) = t + 11. Let y be n(j). Is 10 a factor of y*(-6)/(-2) + 7?
True
Let w(h) = -h**2 - h - 13. Let i be w(-4). Does 35 divide (-141)/(-2) + (i/(-10) - 3)?
True
Suppose 5*d = 0, -g + 2*d = -111 - 668. Does 19 divide g?
True
Let n(c) = -c**3 - 10*c**2 - 8*c + 4. Let l be n(-8). Let b be 10/l - (-158)/12. Is 4 a factor of 4*-1 + (b - -3)?
True
Let y be 12/(-18) + (-4)/(-12)*41. Suppose y*z - 1691 = -521. Does 8 divide z?
False
Suppose 2*k - 2040 = -4*k. Does 20 divide k?
True
Let q = 500 + -255. Let x = q + -76. Does 12 divide x?
False
Let h be 4/(-8)*(-48)/4. Let u be (-9)/((-27)/h) - 2. Suppose 4*r - 35 - 13 = u. Is 8 a factor of r?
False
Let r = -20 - -16. Does 19 divide -3 + 58 + (r - -1)?
False
Let x = -41 - -45. Suppose x*o - 2*k = o + 208, o = 4*k + 86. Is 22 a factor of o?
True
Let n = -2110 + 2296. Does 4 divide n?
False
Suppose -4*k = 2*c - 4, 5 + 1 = k - 2*c. Does 10 divide 110/8 - k/(-8)?
False
Suppose -5*r = -5*s + 50, 2*r = r + 4. Suppose s + 11 = 5*i. Suppose -i*b = -100 + 20. Does 16 divide b?
True
Let f = 515 - 299. Does 36 divide f?
True
Let v = -41 - -37. Does 6 divide 0 + (-134)/v + (-14)/(-28)?
False
Suppose -2*i - 2 = -10. Suppose i*l + 212 = 2*r + 6, 0 = -3*r + l + 319. Is 29 a factor of r?
False
Is 30 a factor of (-3)/(1/(-1)) + (-36 - -363)?
True
Let d = 145 + -68. Let r = 241 - d. Suppose -8*o = -4*o - r. Does 28 divide o?
False
Let c be 6/30 - (-222)/(-10). Let o = -19 - c. Suppose -2*g = 2*j - 108, 0 = -g + j + 43 + o. Is g a multiple of 21?
False
Let d(t) = t**2 - 5*t - 9. Let n(c) = c**2 - 13*c - 6. Let q be n(13). Let s be q/(-5)*75/10. Is d(s) a multiple of 9?
True
Suppose -b - 167 = -3*f - 50, -3*b = 2*f - 78. Suppose 8*r - 5*r - f = 0. Does 9 divide r?
False
Let h be 4*((-2)/(-10) + (-182)/(-40)). Is 11 a factor of h + -6*(-1)/2?
True
Let y be -3*(-4 - (1 + -6)). Is 16 a factor of (-588)/(-16) - y/12?
False
Suppose -57 - 67 = -2*m. Is m + (-3 - (-8)/2) a multiple of 9?
True
Suppose 3*i - 7*s - 372 = -10*s, -3*i + s = -372. Does 10 divide i?
False
Let h(r) = -3*r + 18. Let s be h(5). Suppose 0*d = 2*d. Is 15 a factor of s - (d - 37)/1?
False
Let i be (-174 - -1)*(-4)/(-8)*-2. Suppose 2*b + 5*t = i, 2*t = 9*b - 6*b - 212. Is 18 a factor of b?
False
Suppose 0 = 321*g - 329*g + 21784. Does 14 divide g?
False
Let y(u) = -1970 - 4*u + 1949 - 5*u. Is 25 a factor of y(-16)?
False
Suppose -4*h = -5*w - 87 - 347, 4*h + 4*w = 452. Let l(s) = 11*s**2 + 3*s. Let d be l(3). Suppose 4*v + 0*v = -4*o + d, -4*o - v = -h. Does 13 divide o?
False
Suppose 90 = 5*k - 3*a, -32 + 14 = -k + 5*a. Let v = k + 0. Is v a multiple of 18?
True
Let i = 26 - 21. Suppose i*w - 94 = 1. Is w a multiple of 2?
False
Suppose 0 = 5*s - 0 - 15. Let o(q) = -q**2 + 18*q + 44. Let j be o(20). Suppose -j*x + 22 = -s*x. Is 13 a factor of x?
False
Suppose 2*c - x = 28, 5*c + 40 = 4*x + 104. Suppose j = 34 + c. Does 10 divide j?
True
Let c = 10 + -8. Suppose -k = 5, -c*t - 8 = -4*k - 46. Is t even?
False
Is 3*(2 - 3) - -566 a multiple of 20?
False
Let m(i) = -i**3 - 8*i**2 + 8*i + 15. Let q be m(-8). Let n = 89 + q. Is 10 a factor of n?
True
Let d be 572/2 + -6 + 10. Let a = d - 170. Is a a multiple of 15?
True
Let t(m) be the third derivative of 25*m**4/24 + m**3/3 - 12*m**2. Let k be t(4). Let d = k + -10. Does 23 divide d?
True
Let k be 6/((-30)/805) - (-4)/(-2). Let y = -47 - k. Is y a multiple of 29?
True
Is 18 a factor of (-75)/100 - 363/(-4)?
True
Suppose -2*m + 9 = 5*t - 2, 3*t - 15 = -4*m. Suppose m*w = -32 + 53. Is 2 a factor of w?
False
Let k = -12 - -20. Let x(u) = u**2 - 8*u + 4. Let p be x(k). Suppose -3 = -y - 8, -p*h + 2*y + 234 = 0. Is 14 a factor of h?
True
Suppose -826 = 6*u - 2248. Is u a multiple of 4?
False
Let h = -98 + 209. Let k be (-2)/(-13) - h/(-39). Let d(g) = 3*g**3 + 3*g**2 - 5. Is d(k) a multiple of 22?
False
Let w be (-2 + -1)/((-1)/1). Suppose 7*b - 1018 = 550. Suppose 7*h - b = w*h. Is h a multiple of 26?
False
Suppose 0 = -k + 2*c + 26, -3*k + k + c + 43 = 0. Does 8 divide k?
False
Is 5 a factor of 1100/6*(153/34)/3?
True
Let s = -38 - -68. Let m = 56 - s. Suppose 4*h - m - 22 = 0. Is 5 a factor of h?
False
Let a be (-2)/11 + 2086/(-22) + -5. Let k = -16 - a. Is 9 a factor of k?
False
Let c = -3 - -6. Suppose 2*t - c*o - 141 = 0, 4*o = -0*o + 4. Is 16 a factor of t?
False
Let n = 59 - 54. Suppose -n*p = -3*p - 54. Is 27 a factor of p?
True
Let b = -291 - -302. Does 2 divide b?
False
Suppose 3*c - 298 - 86 =