 a(1). Let m = r + p. Is m a multiple of 21?
False
Suppose -7 = -r - 4. Suppose -5*d = -4*t - 50, 0 = 2*t + r*t - 4*d + 58. Let g = 14 + t. Is g a multiple of 3?
False
Let k(v) be the third derivative of v**5/60 + v**4/8 + 5*v**3/6 + 9*v**2. Does 25 divide k(7)?
True
Let x(m) = 9*m**2 - 16*m - 145. Is 13 a factor of x(-21)?
True
Let k(m) = -4*m + 87. Let v be k(22). Is 11 a factor of (236 - 13)*(v - -2)?
False
Suppose -2*z + 7*z = 0. Suppose 3*g = -4*c + 84, -4*g + 0*c - c + 99 = z. Is 8 a factor of g?
True
Let b = 87 + -65. Suppose -b = n - 5*o, 2*o - 3*o + 8 = n. Is n a multiple of 3?
True
Let f be (-7 + -12)/((-1)/5). Suppose 3*k + 3*v - f = 2*v, -k + 2*v + 34 = 0. Is 6 a factor of k?
False
Let k(y) = 9*y - 208. Is 5 a factor of k(46)?
False
Suppose -5*j = -5*z - 890, -2*j - 2*z + 216 + 128 = 0. Does 35 divide j?
True
Let z(m) = -m**2 - 42*m - 311. Is 47 a factor of z(-27)?
True
Suppose -3*w + 21 = 4*w. Is 10*6/(w + 0) a multiple of 8?
False
Suppose -3*c + 5*i = -7103, 3*i - 2391 = -188*c + 187*c. Is c a multiple of 54?
True
Suppose 2*v - 6 = -0*v, -3*v + 36 = -3*g. Let h = -5 - g. Is 55/h + 4/16 a multiple of 4?
False
Suppose 12*r = 8085 - 2169. Is 29 a factor of r?
True
Let x(k) = -3*k - 4. Let l be x(2). Let j be 4/l + 85/25. Suppose -j*y = -0*y - 138. Is y a multiple of 26?
False
Suppose 5*s - 4*x - 5 - 7 = 0, -3*s + 4*x + 4 = 0. Suppose 230 + 90 = s*k. Is k a multiple of 5?
True
Suppose 124*l - 373169 = 21*l. Is 67 a factor of l?
False
Let v(y) = 2*y + 0*y - 3*y + 14. Suppose -4*a - s + 32 = 0, 0 = -a - 5*s + 11 - 3. Does 2 divide v(a)?
True
Suppose 0*y + 580 = 10*y. Suppose 0 = 5*g - 298 + y. Is 6 a factor of g?
True
Let g(d) = 92*d + 1. Let h be (-15 + 9)*(-1)/(-1). Let y(l) = l**3 + 5*l**2 - 7*l - 5. Let b be y(h). Is g(b) a multiple of 31?
True
Let c(g) = 2*g**2 + 38*g + 16. Let i be c(-21). Does 10 divide 3*-7*(i/(-12) - 1)?
False
Suppose -121 = -q - 4*q + 3*g, -5*g - 10 = 0. Suppose -q = -0*y - y. Does 11 divide y?
False
Suppose -3*q = 9, -10*h - 3*q - 207 = -11*h. Is 12 a factor of h?
False
Suppose -y - 2*y = 3*s + 45, 0 = 4*s + y + 54. Let n = 5 - s. Is n a multiple of 4?
False
Is 28/49*84350/20 a multiple of 60?
False
Let w(p) = -1. Let h(l) = -l - 2. Let f(q) = -h(q) + 4*w(q). Let n be f(4). Does 25 divide n + -2 - (0 + -53)?
False
Let d be (-105)/14*(-4)/(-5). Let n be 9/12*(-16)/d. Is n + (6 - 3) + 38 a multiple of 13?
False
Is 15/(-50)*5*-2*114 a multiple of 9?
True
Let w = 3034 + -2554. Is 6 a factor of w?
True
Let j be (20/(-6))/(4/(-12)). Suppose -13 - j = -5*g + 2*i, 5*g - 5*i = 35. Suppose -4*m = -2*k - 3*k - 46, 0 = 4*m + g*k - 62. Does 5 divide m?
False
Let n(v) = v**3 + 5*v**2 - 7*v - 7. Let u be n(-7). Let z = 114 + u. Is z a multiple of 11?
False
Let c = 1747 + -1136. Is 4 a factor of c?
False
Let n(c) be the third derivative of 0 - 5/6*c**3 - 1/3*c**4 + 5*c**2 + 0*c. Is 7 a factor of n(-2)?
False
Let i(u) be the third derivative of -u**5/60 - u**4/4 - u**3 - 6*u**2. Let l be i(-5). Is 10 a factor of 1/(4/152) - l?
False
Let l = 3231 + -2211. Is 85 a factor of l?
True
Let w(l) = 10*l**2 - 6*l + 14. Is 16 a factor of w(-11)?
False
Let x(g) = -340*g**3 - 2*g**2 - 4*g - 2. Does 23 divide x(-1)?
False
Suppose -6*f = -4*f - 10. Suppose -f*w + 171 = -54. Does 15 divide w?
True
Let r = 2654 + -954. Is 3 a factor of r?
False
Suppose -2*v - 5 = -v. Let p = v + 47. Is 21 a factor of p?
True
Suppose 0 = -7*y + 3896 - 1565. Is y a multiple of 9?
True
Let q(z) = -14*z - 9. Let a(r) = 21*r + 13. Suppose 0 = 3*h - h + 5*b, 3*b = -2*h + 4. Let t(y) = h*a(y) + 7*q(y). Is 6 a factor of t(2)?
False
Let h be 117/(-13)*-2*1. Let l(r) = r**3 - 16*r**2 - 32*r - 2. Does 35 divide l(h)?
True
Suppose 1238 = 2*b + 488. Is b a multiple of 75?
True
Is 40 a factor of ((-1)/2)/((-23)/7314)?
False
Suppose 3*k - 37 = -y, -3*y + k = -3*k - 98. Let n = -6 + y. Does 24 divide n?
False
Let c be (-30)/(-5)*6/9. Suppose 28 = -4*v + 4*d, -c*v + 13 = 3*d + 48. Let w(b) = b**2 - 4*b - 6. Does 26 divide w(v)?
False
Let z = 612 - 420. Is z a multiple of 12?
True
Suppose 5*l - 5*z = -2*z + 20, 0 = 3*z - 15. Suppose 8*s - 7 = l*s. Does 10 divide (4 - s) + 55 - -1?
False
Suppose -2*c = 5*b + 105, 0 = 5*c - 3*b + 26 + 159. Does 24 divide (2 + c/12)/((-2)/72)?
True
Let z be 0 + (-2)/(-11) + 20/11. Suppose 4*c = 2*c + z*d + 54, -16 = -4*d. Does 7 divide c?
False
Let o = 3159 - 2168. Is 11 a factor of o?
False
Let x(j) = 6*j - 24. Let g be x(4). Suppose g = -r - 5*r + 1260. Does 29 divide r?
False
Suppose -3380 = 47*y - 41497. Is 34 a factor of y?
False
Let i be (-19)/((-3)/6*1). Suppose 0 = 3*q - i - 40. Is 12 a factor of q?
False
Is (12/(-5))/(((-6)/(-260))/(-1)) a multiple of 13?
True
Let s(h) = -2*h + 11. Let z be s(-7). Suppose 22 = -j + z. Is j a multiple of 3?
True
Suppose 0 = -20*l - 1091 - 29. Is 28 a factor of (l/(-6))/((-10)/(-180))?
True
Let f(t) = -t**3 + 10*t**2 - 5*t - 10. Let d be f(5). Suppose 220 = 5*x - d. Is 7 a factor of x?
False
Let v(x) = 8*x - 14. Suppose 2*k - 8 = 4*s - 2*k, -5*s = 4*k - 8. Suppose n = 2*g - 0*n - 17, s = g + 2*n + 4. Is 22 a factor of v(g)?
False
Let n(l) = -2*l**3 + 10*l**2 - 5*l - 5. Let r be n(4). Let z(s) = 6*s**2 - 40*s. Is z(r) a multiple of 10?
False
Let z be (-184)/(-16)*(0 + 4). Suppose 86 = x - z. Is x a multiple of 22?
True
Suppose 8*x + 18*x = 32656. Is 31 a factor of x?
False
Suppose 4690 = -3*r - 4112. Is (-3 - r/15) + 4/10 a multiple of 31?
False
Suppose -50*x + 924 = -39*x. Let g(r) = -r**2 - 5*r + 1. Let o be g(-6). Let t = x + o. Is t a multiple of 27?
False
Suppose -390 - 140 = -5*q. Is 2 a factor of q?
True
Suppose -2*o = 2*z - 8, 4*z = -3*o - z + 20. Suppose o = m - 4*a - 94, 3*m - 270 - 63 = -5*a. Does 19 divide m?
False
Suppose 0 = -3*d - q + 76, 10 + 6 = 4*q. Suppose 0 = 3*g - d - 105. Is 30 a factor of g?
False
Suppose 32*g = 12209 + 36751. Is 5 a factor of g?
True
Suppose 0 = -2*j - 5*m + 885, -10*j + 9*j = -3*m - 426. Is j a multiple of 6?
False
Let o be 3/1 - (2 + 54). Let w = -26 - o. Is 3 - 2 - w/(-1) a multiple of 9?
False
Let m be 3/(-18) + (-10)/12. Let w = -2 - m. Is 20 - w*(0 - -1) a multiple of 14?
False
Let o = 8 - 5. Let x be (1 - 3 - o)*-1. Is 3 a factor of 13/x - 14/(-35)?
True
Let u(l) = -2*l**3 - 4*l**2 - l - 4. Let t(z) = z**2 - 11*z - 16. Let a be 5/10 + (-23)/(-2). Let g be t(a). Is u(g) a multiple of 12?
False
Suppose -1053 + 3814 = 2*u - m, -2*m - 2762 = -2*u. Is u a multiple of 52?
False
Let i be 6 - (-2 + (1 - -3)). Is 13 a factor of (i/3)/(3/54)?
False
Let f(b) = -2*b**3 - 53*b**2 - 29*b + 62. Is 20 a factor of f(-26)?
True
Suppose 5*o = 3241 + 1259. Does 25 divide o?
True
Suppose 35*f - 2405 = 17930. Is f a multiple of 13?
False
Suppose m + 67*m - 55488 = 0. Is m a multiple of 48?
True
Suppose 0 = -8*r + 1133 + 907. Let d = r + -131. Does 18 divide d?
False
Let s(i) be the first derivative of -i**4/4 - i**3/3 + 4*i**2 - 3*i + 5. Let b be s(5). Let h = -28 - b. Is 29 a factor of h?
False
Suppose -5*q - 9 = -2*q, 2*a - 5*q - 125 = 0. Let c = a + -20. Is c a multiple of 6?
False
Suppose 22 = -x + 4*j, -j = -4*x + 2*j - 23. Is 32 a factor of 4 + 2 + (x - -242)?
False
Suppose 376 - 1879 = -2*q + d, 0 = -2*q - d + 1505. Does 8 divide q?
True
Suppose -4*i + 4*m = -0*i - 8884, -5*m = i - 2245. Does 41 divide i?
False
Suppose -n = 2*g + 14, 0 = 2*g + 4*n - 0*n + 26. Let p(i) = -13*i - 5. Is p(g) a multiple of 20?
True
Let j be ((-1)/(-3))/((-13)/39) + 241. Does 8 divide ((-8)/10)/((-8)/j)?
True
Suppose 1 = m - 1. Let s(z) = z**2 + 2. Does 3 divide s(m)?
True
Let f(a) = -4*a + a**3 - 6 + 3*a - a + 6*a + 6*a**2. Is f(-4) a multiple of 10?
True
Is 3 a factor of -9*14/21 + 12?
True
Let l = 43 - -8. Suppose 0 = -4*a - 31 + l. Suppose 0 = a*h - 70 + 25. Does 3 divide h?
True
Suppose -4 = -q, -1446 = -9*c + 4*c - 4*q. Is c a multiple of 24?
False
Suppose -n - x + 1129 = 4*x, 4*n = 3*x + 4585. Let l be n/14 + 4/14. Let j = l - 58. Does 8 divide j?
True
Let g be 93/(-6)*(-8)/(-2). Let d be (4 - (5 - -6)) + 138. Let t = g + d. Does 23 divide t?
True
Let n be (-6)/(((-3)/(-2))/(-1)). Suppose 3*j = -n*l + 113, 2*j - 4*l + 0 - 82 = 0. Is j a multiple of 22?
False
Suppose 3*j - 353 = -4*y, -4*y + 160 = 5*j - 431. Let c = j - 71. Is 5 a factor of c?
False
Suppose -5*u + 59 = -26. Let r(m) 