p**2. Is r(25) a multiple of 12?
True
Let k(b) be the third derivative of 0 + 0*b + 37*b**2 + 19/6*b**3 - 53/12*b**4. Does 33 divide k(-2)?
True
Let k be ((-5)/(-20))/(1 - 0)*0. Suppose k = 2*v + 2*l - 274, -5*v - 2*l - 2*l = -680. Is v a multiple of 12?
True
Let g(j) = 7*j**2 + 7*j - 10. Let l(b) = -b**2 + b - 1. Let r(k) = -g(k) + 4*l(k). Let o be r(7). Let n = -337 - o. Is 17 a factor of n?
False
Let g(x) = 3*x**2 - 18*x - 76. Let p(z) = -z - 14. Let k be p(-6). Does 52 divide g(k)?
True
Suppose 18239 - 294 = 16*l - 19719. Is l a multiple of 14?
False
Let c = -2969 + 7769. Is c a multiple of 50?
True
Let y(f) = -13*f + 47. Let p(x) = -15*x + 153. Let o be p(10). Is y(o) a multiple of 8?
True
Suppose -86*a = -232*a + 1839600. Is 14 a factor of a?
True
Let q(h) = 20 + 0 + 1 + 0 + 6*h + 2*h**2. Is q(-9) a multiple of 13?
False
Let z(s) be the first derivative of -s**3/3 - 12*s**2 - 7*s - 102. Is z(-10) a multiple of 8?
False
Let c(t) = -2*t**3 + 2*t**2 + 3*t + 2. Let l be c(-1). Suppose 0 = 8*g - l*g - 25. Suppose 0 = -5*z - 2*b - 2*b + 68, -5*b = -g*z + 50. Does 3 divide z?
True
Let t(h) = 26*h**3 - h**2 - 15*h + 24. Let d be t(4). Suppose c = 2*w - 803, 61*w - 65*w + 4*c = -d. Is w a multiple of 40?
True
Let y = -293 + 319. Suppose -y*k - 2530 = -48*k. Is 41 a factor of k?
False
Let y be (-1 + (-1)/2)*120/(-36). Suppose b + 2*f - 3 = 0, -2*b - b + y*f = 13. Is 43 a factor of (-2*2/(-4))/(b/(-86))?
True
Suppose 32*m - 16992 = 48*m + 102*m. Suppose x - 2*b + 4*b = 254, -4*x = 5*b - 1016. Let i = x + m. Is 11 a factor of i?
True
Suppose 26*b - 84 - 98 = 0. Is 51 a factor of -1752*b/(5 - 19)?
False
Suppose 3283 + 2645 = 4*l. Suppose -3*w + o + 896 = -4*o, -5*w = 3*o - l. Is 11 a factor of w?
True
Let t = 225 + -153. Suppose -t = 2*y - 198. Is y a multiple of 21?
True
Let j be (46 + -51)/((-1)/(-3)). Let t = -24 + -1. Does 10 divide (-2005)/t + 3/j?
True
Suppose 61*l = 57*l + 16. Suppose a + k - 1232 = -234, l*a + 2*k = 3988. Is 59 a factor of a?
False
Let b(u) = 109*u**3 - 4*u**2 + 3*u + 4. Let i be b(2). Suppose -3*m = 2*g + i, 3*m - 5*m - 1304 = 3*g. Does 5 divide g/(-8)*2*1?
False
Let o = 70447 - 45674. Is 13 a factor of o?
False
Suppose 0 = 3*u, -g - 82*u + 4656 = -79*u. Is 24 a factor of g?
True
Suppose -3*x + 0*x + 522 = 5*w, 0 = -5*w - 5*x + 520. Suppose -10 = -5*k, 8*k - 3*k - w = -c. Let b = c + -64. Is b a multiple of 10?
False
Let b(o) = o**2 + 5*o + 11. Let g be b(-3). Suppose g*u + 2*q - 27 = 237, -u - 4*q + 42 = 0. Is 7 a factor of u?
False
Suppose 36*w = -3*t + 35*w + 10324, t - 3436 = 5*w. Is t a multiple of 37?
True
Let x = 798 + -270. Suppose -5*v = -13*v + x. Does 22 divide v?
True
Let v(i) = i**3 + 13*i**2 + 15*i. Let o be v(-6). Suppose o + 230 = 7*q. Is q a multiple of 4?
True
Suppose -93*x - 44251 = -110*x. Does 33 divide x?
False
Suppose -146*l + 1285548 = -60*l + 286142. Does 16 divide l?
False
Let w(g) = 185*g - 1312. Is 143 a factor of w(70)?
False
Is 69712/58 - (-342)/4959 a multiple of 41?
False
Let h(k) = 14*k**2 + 260*k - 105. Is 211 a factor of h(-33)?
False
Let m(v) = -78*v + 6. Suppose x + 0*x + 1 = 0. Let h(w) = w - 1. Let n(a) = x*m(a) + 6*h(a). Is n(2) a multiple of 39?
True
Let a(h) = -h**3 - 23*h**2 - 55*h - 71. Does 21 divide a(-22)?
False
Suppose -29840 = -20*i + 107800. Does 64 divide i?
False
Let m(c) = 14*c**2 - 28*c - 17. Suppose -60 = -b - 53. Does 62 divide m(b)?
False
Suppose 0 = -8*j - 29*j + 296. Suppose -6*n = j*n - 3752. Is 4 a factor of n?
True
Let j be (30 - 22) + (479 - -1). Suppose -5*u + 377 = -j. Is u a multiple of 3?
False
Suppose 12*n = 8*n + 4*i + 2892, -3*n = -i - 2181. Does 136 divide n?
False
Let w(i) = -i**3 + 3*i**2 + 2*i - 4. Let j be w(2). Let x(l) = 19*l**2 + 21*l - 84. Is x(j) a multiple of 33?
False
Let q = -42 - -50. Suppose -5 = q*d - 9*d. Suppose 5*m - 51 = -x - 3*x, 0 = 4*x - d*m - 61. Is 9 a factor of x?
False
Let q(l) = l**2 + 9*l - 3. Let f(o) = -3*o**2 - 26*o + 10. Let d(h) = 2*f(h) + 7*q(h). Let g be d(-12). Suppose 0 = x + g - 66. Is x a multiple of 13?
False
Let h = -915 - -4079. Is 28 a factor of h?
True
Let v = 80 - 35. Suppose -2*u = -7*u + 3*s + v, -36 = -4*u - 3*s. Suppose -u*j - 5*j = -1260. Does 18 divide j?
True
Let y be (-7)/14 - (3 - 878/4). Suppose 6*l - 2*l = -5*f + 432, -f + y = 2*l. Does 9 divide l?
True
Let q(r) = 2*r**3 + 27*r**2 - 64*r + 28. Is q(12) a multiple of 11?
False
Let q be 190/57*1548/15. Suppose q = -16*a + 17*a. Is a a multiple of 29?
False
Let w = 320 - -32. Suppose -379 = -2*h + 30*c - 35*c, 2*h - 4*c = w. Is h a multiple of 7?
True
Let b(n) = n**2 - 4*n - 8. Let t(j) = -j**2 + 5*j + 9. Let i(c) = 6*b(c) + 5*t(c). Let a be i(-12). Let r = a + -80. Is r a multiple of 7?
True
Let w(g) = -3*g**2 + 3*g - 64*g**3 + g**2 + g + 10. Is w(-2) a multiple of 11?
True
Suppose 3*n = 21, -194*n = 5*i - 189*n - 46400. Does 72 divide i?
False
Suppose -5*y - x + 88797 = 0, 33*y - 28*y + 2*x - 88794 = 0. Is 37 a factor of y?
True
Let s(q) = -2756*q - 895. Does 101 divide s(-3)?
True
Let b be (3/6 + 1)/((-30)/(-200)). Let q = b + 36. Is q/(-69)*(-361 - -1) a multiple of 12?
True
Let x = -588 + 670. Suppose -61*r = -x*r + 13440. Does 20 divide r?
True
Suppose -2*a - 4*a - 31*a = -960927. Is 33 a factor of a?
True
Suppose 154 = 6*u + 130. Is 5/(-2 - -5 - u) - -159 a multiple of 13?
False
Let l(v) = -v + 11. Let z be l(13). Let y(k) = -9*k - 2. Let n be y(z). Is -115*4/n*(3 - 11) a multiple of 23?
True
Suppose -932 = -16*f + 332. Let a = 152 - f. Is a a multiple of 22?
False
Suppose -2*c + 10142 = -4*k, 4*c = 35*k - 34*k + 20263. Is c a multiple of 8?
False
Suppose 9622*p = 9614*p + 64080. Is p a multiple of 38?
False
Let k = 1397 + 4663. Is k a multiple of 17?
False
Let y be (-60)/(-6)*(-92)/(-10). Suppose 4*q + 5*d - 524 = 0, -q + d + 39 = -y. Let j = q - 58. Is j a multiple of 47?
False
Let x = 1514 + 994. Is 33 a factor of x?
True
Let l be ((-2)/(-6))/(2/66) + 4. Suppose l*f - 3468 = 852. Is 11 a factor of f?
False
Let y = -3 + 2. Let n = -1010 - -1012. Is 22 - y/(-2)*n a multiple of 10?
False
Let i = 178 - 171. Suppose -4*d = -i*m + 3*m + 1768, -3*d = 3*m - 1350. Does 28 divide m?
False
Suppose 73*c - 4*o = 68*c + 234664, 3*c + 3*o = 140847. Is 20 a factor of c?
True
Let d(m) = -m**3 - 8*m**2 - 8*m. Let p be d(-7). Suppose p*g = 9*g + 80. Does 4 divide 4/(-40) + (-1844)/g?
False
Let s(y) be the first derivative of 3*y**2 - 4*y - 1. Suppose -w - 42 = -5*x, 2*w = x + 5*w - 18. Does 11 divide s(x)?
False
Suppose 57031 = 17*w - 43881. Suppose 0 = 293*b - 286*b - w. Is b a multiple of 53?
True
Let c(x) = 47*x**2 + 25*x - 114. Does 39 divide c(6)?
False
Does 6 divide (60/45)/((-3)/(-81)*6/131)?
True
Suppose 29*l - 46*l = -28*l + 55561. Is 12 a factor of l?
False
Let k(t) = -90*t - 255. Let o be k(-10). Suppose 1635 = 2*c - o. Does 60 divide c?
True
Let a(l) = 7*l + 1331. Is a(85) a multiple of 34?
False
Let s(a) = a**2 + 2*a - 10. Let q be s(-3). Let c(n) = n**2 + 3*n - 23. Let v be c(q). Suppose -l - 525 = -v*h - 0*l, -4*l + 420 = 4*h. Is h a multiple of 10?
False
Suppose 235 = -5*a + 3*i, -3*i - 44 = 3*a + 121. Let n = 83 + 13. Let s = a + n. Is 23 a factor of s?
True
Let x(q) = 2*q**2 - 3*q + 2. Let d be x(2). Suppose 5*b - d*l = 33, -b = -2*b - 4*l - 3. Suppose -3*j + b*y + 199 = 0, -2*j + y = j - 191. Is 21 a factor of j?
True
Let c be (1/3)/((-3)/(-45)). Let w = -11 + c. Is 3 a factor of (-3 + 52)*w/(-21)?
False
Suppose 2*y - 4*y - 3*d = -1332, -5*d = y - 680. Suppose 2*p + l - 96 = 168, -2*l = 5*p - y. Is 4 a factor of p?
True
Suppose -f - 5*p + 152 = 0, -2*f - 2*p = 3*f - 645. Let b = 292 - f. Does 15 divide b?
True
Let y(o) = 14*o + 14. Let b be y(3). Suppose 2*c - b = -5*l, -5*c = -4*l - 89 - 117. Is c a multiple of 4?
False
Suppose 21*z = 5*g + 17*z - 17, -3*z = -6. Suppose 3*k - 1536 = -3*d + g*k, -6*d + 3*k + 3069 = 0. Is 30 a factor of d?
True
Suppose -246 = 1389*z - 1392*z. Let w = 327 + -209. Let v = w - z. Is 12 a factor of v?
True
Suppose 0 = 78*y - 999866 + 128450. Does 84 divide y?
True
Let f = -59215 - -91215. Does 50 divide f?
True
Let b(i) = -132*i + 88. Let u be b(3). Let v = u + 344. Is v a multiple of 36?
True
Is ((-73394)/8 + 48/192)/(6/(-4)) a multiple of 22?
True
Let k(l) = -30*l - 2. Let h be k(-12). Suppose 0 = 3*g - 0*g 