2*k**2 + 5*k + 5. Let o be c(-2). Suppose v + 44 = i, -d*v = -o*v + 8. Does 13 divide i?
False
Suppose 0 = 5*h + 2*a - 707, 237 + 330 = 4*h + 3*a. Suppose h + 21 = g. Does 18 divide g?
True
Suppose t - 3*l = 13 - 71, 0 = -5*l - 20. Let i be t/(-50) + 6/10. Suppose -i*f + f = q - 12, 3*q = -f + 30. Is q a multiple of 7?
False
Is 13 a factor of (11 - -11)/(16/1352)?
True
Suppose 5*h - 695 = f, -h + 165 = -0*h + 5*f. Let k = h - 65. Is k a multiple of 25?
True
Suppose -3*b - 199 = -4*d, 2*d - 131 = -b - 44. Let s = d - -16. Does 11 divide s?
False
Is ((9 - 21) + 9)/(3/(-215)) a multiple of 5?
True
Let u(a) = a**2 + 8*a + 2. Let t be u(-8). Let c = t + 4. Suppose c*n = 7*n - 60. Is 12 a factor of n?
True
Let n = 126 + -24. Is 32 a factor of n?
False
Let y be -6*(2 + -1)*-1. Let i be ((-100)/y)/(1/(-6)). Let h = -50 + i. Is h a multiple of 12?
False
Suppose 2*b = 3*k + 10, 5*b + 3*k - 26 + 1 = 0. Suppose -b*h + 135 = 3*q, -4*q + 180 = -0*q - 5*h. Is q a multiple of 9?
True
Let l = -102 - -160. Suppose 4*r - l - 86 = 0. Does 22 divide r?
False
Is ((-4)/8)/(6 - (-27770)/(-4628)) a multiple of 18?
False
Suppose 12*i = 4*i + 1784. Is 42 a factor of i?
False
Suppose 5*z - 6 = 4. Suppose 0 = -2*v + 10, -z*h - 3*h + 370 = -3*v. Is 11 a factor of h?
True
Suppose -3*j + 126 = -996. Suppose -4*u + 82 + j = 0. Suppose -5*s = -u - 31. Is s a multiple of 9?
False
Suppose -5*t + 326 = -3454. Is t a multiple of 14?
True
Suppose -y + 0*v + 2*v + 8 = 0, 5*y = -3*v + 66. Suppose 2*b - 287 = -3*g, 2*g - 182 - y = -4*b. Is 19 a factor of g?
True
Suppose -2*r - 9 + 25 = 0. Is ((-6)/r)/3 - (-1608)/32 a multiple of 9?
False
Let y(f) = -f**3 - 12*f**2 + 8*f - 5. Let j(p) = -p + 1. Let i(x) = -4*j(x) + y(x). Is i(-13) a multiple of 4?
True
Let u be (-15)/(-4)*(-20)/(-15). Suppose -u*c + 96 = -2*c. Is 12 a factor of c?
False
Let a(k) = 5*k**2 - 66*k - 215. Is 24 a factor of a(23)?
True
Let b = 254 + -181. Suppose -b + 11 = -x. Does 9 divide x?
False
Suppose -2*w + 2064 = w. Is 86 a factor of w?
True
Let b(p) = -34*p. Let m be b(-10). Let y = m + -242. Suppose -5*r + 2 = -3, 0 = 3*j + 5*r - y. Is j a multiple of 13?
False
Is 27 a factor of -4 + (-8 - -283 - 3)?
False
Let y = -1493 - -2781. Is 23 a factor of y?
True
Let s = 99 + -74. Suppose 4*p - 251 + 79 = 0. Let c = p - s. Does 6 divide c?
True
Let x(c) = -26*c - 145. Is 9 a factor of x(-8)?
True
Let h = 369 + -50. Does 11 divide h?
True
Let z be 4 - (-2 - 14/(-2)). Let i be z/2*(9 + -9). Suppose i = -t - 5, 5*p = -5*t + 48 + 22. Is 6 a factor of p?
False
Let k be ((-62)/6)/(5/15). Suppose 4*j - 22 = -2. Let q = j - k. Is q a multiple of 16?
False
Let t be (-2 - -1)/((-8)/(-8)). Let b be (t/3)/(2/(-66)). Let a(d) = -d**3 + 10*d**2 + 11*d + 9. Is a(b) a multiple of 9?
True
Let l(w) = -2*w**2 - 11*w - 1. Let t(c) = 6*c + 7. Let b be t(-2). Is l(b) a multiple of 2?
True
Let j(u) = 6 + 0*u - 5 - u - 2*u**2 + 6. Let g be j(3). Is 18 a factor of (g/(-42))/((-1)/(-54))?
True
Let h = -234 + 1019. Is 29 a factor of h?
False
Let i(g) = 29*g**2 + g - 26. Does 11 divide i(5)?
True
Let c(s) = s**2 - 1. Let d be c(3). Suppose -3*g = 2 - d. Is (g + (-21)/9)*-63 a multiple of 10?
False
Suppose 2*h = -26*l + 28*l - 5824, h - 8716 = -3*l. Does 51 divide l?
True
Let x(y) = -19*y - 48. Let k be x(-19). Let v = -113 + k. Is v a multiple of 8?
True
Let a(u) = u**2 - 18*u. Let k be a(20). Is 20 a factor of k/6*(4 + -5)*-15?
True
Let p(b) = 3*b**2 - 2*b - 6. Let z(i) = 3*i - 15. Let m be z(7). Does 21 divide p(m)?
False
Let g = 5004 + -3219. Is g a multiple of 21?
True
Suppose -2*i = -10, -4*s + 4*i = -s - 2797. Is 48 a factor of s?
False
Let q be (3/(-3))/(2/(-6)). Suppose -3*j + 72 = q*a, j - 5*j = a - 90. Suppose -4*o = -7*o + 5*i + j, 4*i = -3*o + 31. Is 9 a factor of o?
True
Let f be 2/8 - (-2)/(-8). Let c(l) = l**2 - 2*l + 68. Is 14 a factor of c(f)?
False
Let r be (0 - -153) + 10 + -5. Let s = 249 - r. Does 7 divide s?
True
Suppose -3*y + 4*u - 31 = 0, 2*y = -0*y + 5*u - 16. Let c(j) be the first derivative of -j**4/4 - 14*j**3/3 - 13*j**2/2 + 2*j - 4. Is c(y) a multiple of 2?
True
Suppose 12*s = -2407 + 8167. Is 24 a factor of s?
True
Let s(n) = -n + 20. Let a be s(11). Suppose -11*w = -a*w - 288. Is w a multiple of 8?
True
Let b be (8/10)/(5/75). Suppose -v + b = v. Is 9 a factor of v - 6 - (-16 - 2)?
True
Suppose -4*l + 4*x + 2816 = 0, 2*l + 7 - 1415 = 3*x. Does 22 divide l?
True
Let k be ((-93)/6*1)/((-5)/60). Let o = k - 94. Is 13 a factor of o?
False
Let d = 46 + -38. Is (18/d)/((-3)/(-84)) a multiple of 20?
False
Let f = 990 - -101. Let k be f/4 + 8/32. Suppose 0 = -3*w - 4*i + 173, i = 5*w - 0*w - k. Is 18 a factor of w?
False
Let o(z) = -z - 2. Let m(g) = 4*g + 6. Let v(i) = -6*m(i) - 20*o(i). Is v(-5) a multiple of 6?
True
Let y be 3/(-12)*-4*1/(-1). Let u = 32 + y. Is 12 a factor of u?
False
Let z(t) = -t**3 - 3*t**2 - 3*t - 3. Let a be z(-3). Let v be (-646)/a + 2/(-6). Does 9 divide (-4)/(-2 - v/56)?
False
Suppose 14*h - 1553 = 2227. Is h a multiple of 10?
True
Let v = 109 + -105. Suppose 1299 - 3 = v*w. Does 54 divide w?
True
Let r(v) = 37*v - 7. Does 12 divide r(11)?
False
Suppose j - 3*p = 228, -3*j - j + 4*p = -904. Is 3 a factor of j?
True
Suppose 458 = 2*c - 2*u, -12*c - 4*u - 1150 = -17*c. Does 2 divide c?
True
Suppose 17 + 7 = 2*k. Let z = k - 16. Does 14 divide 5/10 - 54/z?
True
Suppose -5*z + 170 = 3*n, -6*n + 11*n - 294 = -3*z. Is n a multiple of 6?
True
Suppose 1 = 4*z - a - 13, -5*a = -5*z + 10. Suppose 1 = 2*d + 5*v - 3, v + 8 = z*d. Is -2*(4 - d - 4) even?
True
Suppose 3*t + 3045 = -44*k + 47*k, 3*t = 5*k - 5083. Is 13 a factor of k?
False
Let g(j) = j**2 - 9*j + 18. Let d be g(8). Suppose -d*m = -45 - 485. Is 13 a factor of m?
False
Suppose 3*x + s - 2 + 0 = 0, -2*x + 5*s + 24 = 0. Suppose h - 141 = -x. Is h a multiple of 13?
False
Let g = -28 + 12. Suppose -2*o + 77 = 5*o. Let c = o - g. Is 9 a factor of c?
True
Let d(q) = q**3 + 12*q**2 + 10*q - 6. Let m(k) = k**3 - 6*k**2 - 5*k - 10. Let j be m(7). Suppose 0 = i - j*i - 33. Is d(i) even?
False
Let r(y) = y + 3 - 5*y**2 + 6*y**2 + 5*y. Let j be r(-6). Suppose -j*b - 30 = -2*v, -4*b = -0*v + 4*v - 60. Does 5 divide v?
True
Let i = -1832 + 3482. Is i a multiple of 65?
False
Let j(p) = p**2 + p - 1. Let o(u) = -2*u - 1. Let x be o(0). Let z(h) = -h**3 + 13*h**2 - 4*h + 6. Let c(s) = x*z(s) + 6*j(s). Is c(6) a multiple of 7?
False
Let y(j) = j**2 - 7*j + 3. Let k be y(5). Let d be 18/24 - ((-33)/12)/11. Does 4 divide (132/(-42))/(d/k)?
False
Let f = 230 + -323. Let w = f + 107. Is 3 a factor of w?
False
Let y(v) = -4*v + 6. Let p(s) = -s**3 - 5*s**2 + 7*s + 1. Let u be p(-6). Is 13 a factor of y(u)?
True
Let j(a) be the third derivative of a**5/60 - a**4/6 - a**3/3 + a**2. Let m(v) = -v + 3. Let p be m(-3). Is 2 a factor of j(p)?
True
Let h = -113 + 118. Suppose -4*z - 10 = h*d - 51, -3 = -3*d + 3*z. Is d a multiple of 5?
True
Suppose 3*i - 290 = 4*w, -2*w + 234 = 4*i - 182. Is 3 a factor of i?
True
Let c(u) = 26*u + 4. Let l(j) = 105*j + 15. Let g(n) = 25*c(n) - 6*l(n). Let t be g(10). Suppose -8*a + 4*a + 2*b = -t, 4*b - 141 = -3*a. Does 11 divide a?
False
Let h(n) = 4*n - 24. Let o be h(-6). Let u = o + 210. Does 18 divide u?
True
Let g = -780 + 1800. Does 20 divide g?
True
Suppose -3 = 5*k + 7. Let s = k + 5. Suppose 165 = 2*m + s*m. Does 20 divide m?
False
Let v(s) = 7*s**2 - 1. Let j be v(-3). Suppose 3*r - 14 + j = 0. Let b = r - -24. Is 2 a factor of b?
True
Suppose 6*l - 24*l + 13608 = 0. Is l a multiple of 20?
False
Let o = -67 + 693. Is o a multiple of 6?
False
Let c = 56 + -52. Let h(w) = -w + 5. Let m be h(-7). Suppose m = c*v - 40. Is v a multiple of 3?
False
Suppose 4*y + 38 = 146. Suppose -26*k + y*k = 67. Does 5 divide k?
False
Let s = -921 + 1751. Is s a multiple of 4?
False
Let m = -5 - -5. Suppose -4*q = -3*x + 2*x - 306, -3*q - x = -226. Suppose m = -3*z - z + q. Is 19 a factor of z?
True
Let q(y) = y + 5. Suppose 0*j + 2*j = 2*b + 8, -3*j + 6 = -2*b. Let g be q(b). Let t = 19 - g. Is 9 a factor of t?
False
Let l(s) = -s**3 + 6*s**2 + 5*s + 13. Let p be l(7). Does 6 divide p*(-14)/2*(-7 + 10)?
False
Suppose 6*o - 11*o + 770 = 5*f, -3*f = -4*o - 469. Does 2 divide f?
False
Suppose 2166 = -81*h + 87*h. Is 17 a factor of h?
False
Let n = -1