3*i - 2*z. Is i a multiple of 19?
True
Suppose -4*k = 14*k - 3762. Is 3 a factor of k?
False
Let z = 39 + -17. Let v = 3 - 4. Let h = v + z. Does 11 divide h?
False
Let k(t) = -3*t**2 - 146*t - 91. Is 4 a factor of k(-47)?
True
Suppose 3 = 5*v - 4*v. Suppose -9 + v = 3*t, -3*t - 156 = -3*p. Suppose -3*q = -43 - p. Is 12 a factor of q?
False
Let u be 45/(-18)*((-9)/5 - -1). Suppose -2*j = -u*w + 132, 2*w - j - 2*j - 129 = 0. Does 6 divide w?
False
Let q(w) = w**3 - 9*w**2 + 9*w - 6. Let b be q(8). Suppose -5*a - b*a = -182. Does 18 divide a?
False
Let t(r) = -10*r**3 - 6*r**2 - 12*r - 6. Let f be -2*(3/(-2) - -3). Does 43 divide t(f)?
False
Let o(d) = 5*d**2 - 8*d - 6. Let g be o(-3). Suppose 0 = 3*a - 30 - 36. Let t = g + a. Is t a multiple of 17?
True
Suppose 0 = 4*p + 3*k - 1179, -16*p + 3*k - 1473 = -21*p. Does 11 divide p?
False
Let j = 1111 - 763. Suppose 0*g = -3*g + j. Is 29 a factor of g?
True
Let r(i) = 1256*i - 2. Is 29 a factor of r(1)?
False
Is (-12578)/(-95) - (-4)/(-10) a multiple of 9?
False
Let p(u) = u**3 - 32*u**2 + 41*u + 8. Is p(31) a multiple of 53?
True
Let n(d) be the second derivative of 5*d**3/6 - 2*d**2 - 13*d. Does 4 divide n(4)?
True
Let l(w) = 358*w**2. Let n be l(-1). Suppose -11*u + 13*u = n. Is u a multiple of 17?
False
Suppose -2*n - 38 - 7 = -5*s, 4*n + 51 = -3*s. Let h be (-852)/(-42) + -5 + 132/28. Let i = n + h. Does 5 divide i?
True
Suppose 1 = 3*d - 8. Suppose -2*s + 199 = -a, -3*a - 185 = d*s - 488. Is s a multiple of 20?
True
Let m(u) = -2*u + 15. Let d(k) = -6*k**2 + 11*k - 9 + 4*k**2 + k**2. Let f be d(11). Is 11 a factor of m(f)?
True
Is (616/165)/28 + (-54778)/(-15) a multiple of 59?
False
Let d = 56 - 44. Suppose 3*z + d = 0, -z + 2 + 3 = l. Does 6 divide l?
False
Suppose 0 = 3*v - z - 65, 0 = -5*z + 2*z + 3. Is v a multiple of 2?
True
Let k(x) = -4*x - 11. Let m be k(-4). Suppose m*q - i = -4, -4*q + 0*i + 16 = 4*i. Suppose 5*r + 127 = 3*n, 2*n - n - 2*r - 43 = q. Is 17 a factor of n?
False
Let u(o) = 4*o - 16. Let j be u(4). Suppose 0 = h - c - 29, j = -5*h - c - 3*c + 109. Is 7 a factor of h?
False
Let d = 134 + -81. Let l = d - 35. Is l a multiple of 4?
False
Let j(i) = i**2 - 4*i - 1. Suppose 0 = 8*h - 3*h - 40. Let o be j(h). Is 6 a factor of o/4 + (-4)/(-16)?
False
Suppose -104 = h - 6*h + 2*s, -64 = -3*h + 2*s. Suppose h = -3*u + 50. Suppose o - 138 = -3*o + 5*z, -5*z + u = 0. Is o a multiple of 16?
False
Let l(i) = -30*i - 10. Let g be l(-3). Suppose 2*p - 6*p + g = 0. Suppose 4*u + r - 600 = 0, 3*r + p = -2*r. Is 34 a factor of u?
False
Let k(i) = 8*i**2 - 2*i - 1. Let m be (-4)/6 + (1 - 44/(-12)). Is k(m) a multiple of 17?
True
Let o = 1875 - 1207. Is 13 a factor of o?
False
Suppose 99 + 62 = h. Let l = h - 88. Does 25 divide l?
False
Suppose -4*u - 377 - 31 = 2*t, 4*t + 796 = -3*u. Let s = 366 + t. Is s a multiple of 8?
False
Suppose h - 4 - 10 = 0. Let l = 24 - h. Suppose r = 2*r - l. Is r a multiple of 10?
True
Suppose -4*q + 3*n = -855, -12*n + 447 = 2*q - 7*n. Is 24 a factor of q?
True
Let r = 35 - 33. Suppose -r*w - 3*w = n - 105, n - 4*w - 114 = 0. Does 22 divide n?
True
Suppose x = -4*k - 11 - 14, 3*x = -5*k - 40. Does 13 divide k/(0 + -5)*8*11?
False
Suppose -4*p = -3*q - 19, 3*q = 5*p - 0*p - 23. Is 12 a factor of q*15/10*-22?
False
Let g = -7 - -7. Suppose 4*l + 24 = -g. Is 18 a factor of 939/15 + l/(-15)?
False
Let d = -215 + 277. Is 21 a factor of d?
False
Suppose 80*t = 73*t + 9107. Is t a multiple of 50?
False
Let v = -742 - -2086. Is 17 a factor of v?
False
Suppose 27*r - 8118 = -14*r. Is r a multiple of 2?
True
Let m = 373 - 530. Let o = -112 - m. Does 9 divide o?
True
Let t = -6 + 21. Suppose -5*j + 2*j = -t. Suppose 50 = j*n + l, 3*n + l - 22 = 2*l. Does 5 divide n?
False
Let y = 10 + -7. Suppose d = -y*d. Suppose -2*b + 260 = 3*b + 5*w, 4*b - 4*w - 248 = d. Is 19 a factor of b?
True
Suppose 17*d = 14*d - 12. Let s(u) = 5*u**2 - 5*u + 1. Is 43 a factor of s(d)?
False
Let p be (-33 + (-9)/(-3))/((-1)/8). Suppose 4*z - 10*z + p = 0. Is 10 a factor of z?
True
Suppose 11*x + 1234 - 4380 = 0. Is 31 a factor of x?
False
Does 13 divide -170*(-3 - (-65)/25)?
False
Let a(t) = -t**3 - 8*t**2 - 9*t - 9. Let h be a(-7). Suppose -669 = -h*r - k, -1 = -k + 3. Let u = r - 83. Is u a multiple of 25?
True
Suppose -24*n + 5933 + 5995 = 0. Is n a multiple of 7?
True
Let v = 44 - 102. Let r = 92 + v. Is 17 a factor of r?
True
Let w be (12/(-18))/((-1)/(-12)). Let j(l) = l**2 + 6*l + 5. Let d be j(w). Is (70/d)/((-2)/(-21)) a multiple of 17?
False
Let o(l) = 7*l**2 - 10*l + 19. Does 31 divide o(9)?
True
Let c(a) = 5*a + 17. Let q be c(-12). Let w = q - -55. Is 4 a factor of w?
True
Let v = -56 + 50. Is -5 - v - (-115 + -1)/1 a multiple of 12?
False
Is (645/5)/((-4)/(-4)) a multiple of 8?
False
Let p be ((-12)/5)/(15/(-500)). Suppose -8*s + p = -0*s. Let d(c) = c**3 - 11*c**2 + 12*c + 2. Does 22 divide d(s)?
True
Suppose -4*p - 2*g = -2*p - 2, -p - 3*g - 7 = 0. Suppose p*n = 2*s + s + 210, -42 = -n + 5*s. Is n a multiple of 14?
True
Let b(v) be the second derivative of -v**5/20 + 5*v**4/12 + v**3/2 + 7*v**2/2 - 2*v. Let s = 92 + -87. Is 10 a factor of b(s)?
False
Suppose -w - 4 - 8 = -3*u, 3*u - 2*w = 15. Suppose -u*y + 62 = 23. Is y a multiple of 3?
False
Suppose -s = 81 - 5537. Is 44 a factor of s?
True
Suppose 0 = -4*w - r + 2*r + 403, 0 = -3*w - 3*r + 306. Suppose -3*v - v + 344 = -5*m, v - 5*m = w. Is v a multiple of 24?
False
Suppose 50 = -3*s - 4*d, 10*d + 5 = 2*s + 5*d. Is 7/1 - 5/(s/8) a multiple of 10?
False
Suppose j + 13 = -3*l, l = -3*j - 1 - 6. Let w(o) = -1830*o**2 - 2*o - 2. Let i be w(j). Is 8 a factor of (1/(-2))/(15/i)?
False
Let a(v) = v**2 - 6*v + 36. Is 36 a factor of a(18)?
True
Let g be 4/(-10) + 4/((-60)/(-81)). Suppose g*n - 197 = 163. Is 18 a factor of n?
True
Suppose 0 = -5*p + 48 - 18. Suppose -p*v - 648 = -10*v. Does 14 divide v?
False
Suppose h = -c - c + 8, 0 = -2*c + 4. Suppose -147 = -h*s + o + 138, o - 65 = -s. Is s a multiple of 52?
False
Let n be 769/7 + (-20)/(-140). Let m(g) = -g**2 + 63. Let h be m(0). Let p = n - h. Is p a multiple of 9?
False
Let c be (2 - 3)*5/(-5). Let u(f) = -4*f**3 + 1 + 3*f**3 + c + 2*f. Is 5 a factor of u(-3)?
False
Let t(l) = 23*l**3 - 5*l**2 - 3*l + 8. Does 23 divide t(3)?
True
Let g(c) = c**3 - 4*c**2 - 23*c - 52. Does 139 divide g(14)?
False
Suppose -k + 96 = -5*k. Let j be 2/16 + 3/k. Suppose 0 = -4*x - 2*z + 548, 2*z + 2*z - 8 = j. Does 30 divide x?
False
Let p(j) = -j - 9. Let x be p(-9). Suppose x = -4*m + 4*t + 116, -m + t + 34 = -t. Does 3 divide m?
True
Let s be ((-60)/(-8))/(-3)*-8. Suppose 8 = -5*x + 3*x - 5*b, -5*x - 2*b - s = 0. Is 8/(x - (-56)/12) a multiple of 12?
True
Suppose -26 - 74 = -2*f - 4*u, 2*u + 230 = 4*f. Does 7 divide -2 - (2 - (-3 + f))?
True
Suppose 0 = -3*s - 0 + 6. Suppose -s*y = 3*y - 25. Suppose -6*h - 2*k = -3*h - 200, 325 = y*h + 5*k. Does 19 divide h?
False
Let a = -4 + 12. Suppose -3*h + a + 33 = 5*x, -5*h = 3*x - 47. Suppose 3*b = -0*b + 15, h = -3*y + 5*b. Is y even?
True
Let f be 0/4 + -1 + -11. Let p be (-3)/24*26*f. Is 6/p + 876/52 a multiple of 6?
False
Let u(s) be the second derivative of -s**4/12 + 13*s**3/6 - 2*s. Let c be u(9). Suppose -4*n = -n - c. Is 10 a factor of n?
False
Let b = -154 - -305. Is 12 a factor of b?
False
Suppose 9*m = 6*m - 408. Let u = -12 - m. Is u a multiple of 31?
True
Suppose u + 2*u = -1422. Let k = -303 - u. Does 19 divide k?
True
Let u(l) = -26*l + 209. Is u(0) a multiple of 19?
True
Let a(x) = -8*x**3 + 9 - 3*x**2 + 8*x + 3*x**3 + 4*x**3. Is 21 a factor of a(-7)?
False
Suppose -4*h = k - 5783 - 2874, 0 = 5*h - k - 10810. Does 11 divide h?
False
Let y(p) = 5*p - 3. Let t(g) = -5*g + 4. Let x(k) = -6*t(k) - 7*y(k). Does 11 divide x(-12)?
False
Let u = 14 + -14. Let z(k) = -k - 34. Let f be z(u). Does 32 divide f/85 - 1574/(-10)?
False
Let f be -28*2*5/(-20). Suppose f - 18 = -2*q. Suppose -4*g + 3*x = q*x - 480, x = 5*g - 600. Is g a multiple of 40?
True
Let w(t) = t**3 - 8*t**2 - 2*t + 23. Is w(11) a multiple of 13?
True
Let z = 1118 + -741. Suppose 3*m - z - 103 = 0. Does 40 divide m?
True
Is 20 a factor of (-29)/(1131/(-3250))*6?
True
Suppose 5*m + 11 = 2*t, -4*m = 3*t - 9*m - 14. Suppose 0*z - 63 = -t*z. Suppose 3*r + 12 = 2*x - z, 4*x - 4*r -