 p*k + i. Is k a multiple of 4?
False
Let m = 1380 + -991. Is m a multiple of 7?
False
Suppose 14*g + 15 = 15*g. Suppose 6*l + 279 = g*l. Is 25 a factor of l?
False
Let p = -9 - -4. Does 6 divide (-8)/(-40) - 89/p?
True
Suppose 3*u - 9 = 0, -u = -0*j - 4*j + 141. Let m(x) = -13*x - 1. Let q be m(-4). Let t = q - j. Is t a multiple of 15?
True
Let f = -174 + 198. Is f a multiple of 12?
True
Suppose 4*a = -2*u - 160, 3*a + 55 = -3*u - 71. Let n = a + 63. Is 4 a factor of n?
False
Suppose 4*z - 4008 = 4*j, 6*z - 2*z - 2*j - 4008 = 0. Does 24 divide z?
False
Let g = -1160 + 1680. Is 26 a factor of g?
True
Let g(h) = 2*h**3 - 5*h**2 + 2*h - 1. Let n be g(4). Suppose -n - 125 = -4*o. Is 5 a factor of o?
True
Let v be 0/(-1)*(-13)/(-13). Suppose v = 4*f - 5*i - 17, -5*f = 2*i - 6*i - 19. Suppose -53 - f = -2*d. Does 7 divide d?
True
Let o(j) = -13*j + 6. Let g(x) = -x**2 - 11*x + 15. Let k be g(-12). Suppose -3*t = -k*m - 12, 0 = 4*m + 5*t + 2 + 32. Is 28 a factor of o(m)?
True
Let t be (-3665)/(-75) - (2 - (-128)/(-60)). Let n(w) = -3*w - 4. Let f be n(-5). Suppose -s + 4*m = 3*m - f, 3*s + m = t. Is s a multiple of 4?
False
Let i(p) = 3*p**3 - 3*p**2 + 2*p - 12. Is 45 a factor of i(6)?
True
Let m(y) = -y + 85. Suppose -12*j + 9*j = 0. Is m(j) a multiple of 22?
False
Suppose -1 + 11 = 2*j. Suppose 4*c - j*t + 20 = -36, 0 = 4*c - 2*t + 44. Does 20 divide c/(-3) + (71 - -2)?
False
Suppose v + 0*v = -1. Let q be -2 + v*(2 + -6). Suppose 0 = 4*p - q*u - 58, 5*p = 3*u - 19 + 94. Does 12 divide p?
True
Let g(n) = n**3 - 44*n**2 - 16*n + 80. Is g(45) a multiple of 64?
False
Does 23 divide -345*(140/(-21) - -6)?
True
Suppose -3*d - 3*p = -0*d + 42, 5*d + 78 = 3*p. Does 9 divide (d/(-10))/(6/820)?
False
Let l be (-296)/(-5) - (-1)/(-5). Let n = -408 + 401. Let v = n + l. Is 26 a factor of v?
True
Suppose 3*x = 41*x - 5852. Is 11 a factor of x?
True
Suppose 0 = 8*s - 10*s. Let x(b) = b - 3. Let h be x(7). Suppose s = h*u - 142 - 14. Is u a multiple of 13?
True
Let g be 2/((3472/1737 + -2)*-3). Let i = g + -342. Does 13 divide i?
False
Let m be ((-15)/2)/((-42)/(-56)). Suppose 3*f = 32 + 34. Let k = m + f. Does 12 divide k?
True
Suppose 1174 + 658 = 8*k. Does 20 divide k?
False
Suppose 2*f = -8 - 0. Is ((-12)/(-3))/2 - 776/f a multiple of 40?
False
Suppose -3*f = -7*f. Suppose 5*o - r + 16 = -f, -4*o - 5*r = 36. Is 17 a factor of -21*24/(-9) + o?
False
Suppose -32*j + 35*j - 12 = 0. Let q be (-6)/(-4)*8/6. Suppose -5*h + q*t + 97 = 0, -j*h = t - 5*t - 68. Is 12 a factor of h?
False
Suppose 0*y - y = -5*g - 318, g = -5*y - 48. Let x = g - -154. Does 14 divide x?
False
Let a(k) = 3*k**2 - 10*k + 27. Let i be ((4 - 8) + 3)*-9. Is 29 a factor of a(i)?
False
Let u = 995 + -566. Let b = -208 + u. Suppose 4*l - b - 31 = 0. Does 21 divide l?
True
Let b = 17 + -12. Let m(i) = 6*i - 9. Let t be m(3). Let h = b + t. Is h a multiple of 12?
False
Suppose -4*g = -3*i - 97 + 419, 0 = 5*g - 5*i + 405. Let x = g - -139. Does 12 divide x?
True
Let c = 27 + 47. Suppose j - 2*j = c. Is 12 a factor of 1 - ((j - -4) + -1)?
True
Suppose 5*m + 3*z = -0*m + 8057, -4*z + 6452 = 4*m. Is m a multiple of 32?
False
Let b = 726 + -136. Does 35 divide b?
False
Suppose 0 = -5*o + 4*f + 185, 5*o - 177 - 53 = -5*f. Let v = o + 55. Suppose -4*h - 2*t + 128 = 0, -h + 4*h - 4*t - v = 0. Does 8 divide h?
True
Suppose 7*d - 15*d = -368. Is d a multiple of 3?
False
Suppose 0 = -i + 2*i - 3*p + 2, -p = 5*i - 6. Let a be i/(-3 - (-192)/63). Let z = 47 - a. Is z a multiple of 15?
False
Let b(j) = 4*j + 7. Let i be b(8). Let v = -72 - -128. Let m = v - i. Does 4 divide m?
False
Suppose 2*l = 6 + 2. Suppose 0 = 2*r - 8, 5*r - 64 = -4*a + 4. Is 14 a factor of 2/l - (-678)/a?
False
Let f(a) = a**3 + 4*a + 3. Let j be f(4). Let b = j + -19. Let q = 110 - b. Is q a multiple of 15?
False
Let j = -81 + 128. Is j a multiple of 5?
False
Let w(s) = s**3 - 20*s**2 + 67*s - 20. Is w(16) a multiple of 10?
False
Suppose 11838 = 3*x - 2*y + 295, 0 = -5*x - 5*y + 19230. Is x a multiple of 11?
False
Does 22 divide 4*(-712)/2*6/(-12)?
False
Is 26 a factor of (1 - 4)*1 - -361?
False
Let j(h) = -h**3 + 2*h**2 + 11*h + 7. Let r be j(6). Let o = 128 + r. Is 5 a factor of o?
False
Let j(x) = x + 3. Let s be j(-14). Let f = 5 + s. Let n(l) = l**3 + 6*l**2 - 7*l - 9. Does 12 divide n(f)?
False
Suppose 0 = 3*s - 2*y + 2, 3*s + 4*y - 4 = -0*y. Suppose 2*g + d - 829 = s, g + 7*d - 2*d - 401 = 0. Suppose -3*o = o - g. Does 27 divide o?
False
Let o(m) = 2*m**2 + 36*m - 71. Is 25 a factor of o(-32)?
True
Let y(x) = -x**3 + x + 444. Suppose -b = -4*b. Let c be y(b). Does 7 divide c/18*6/4?
False
Let l = 79 + -17. Let d = 102 - l. Is d a multiple of 3?
False
Let t(h) = -h**3 + h**2 + h + 5. Let k be t(0). Suppose k*c - 1 = 14. Suppose -c = 3*b, -5*l + 29 + 80 = -4*b. Is 21 a factor of l?
True
Suppose -4*k - 14 = -6*k - 4*m, 2*m = 4*k - 18. Suppose 4*w + 24 = k*o, 5*o - w - 23 = 2*w. Is 17 a factor of ((-6)/o)/(7/(-238))?
True
Let h(x) = -2*x**3 - x**2 - 2*x. Let s be h(2). Let y be (2*-2)/(7/14). Let c = y - s. Does 8 divide c?
True
Let u = 310 - 76. Does 9 divide u?
True
Let j be (-93)/(-33) - (-4)/22. Suppose -o + j*g + 28 = -152, -2*o + 3*g + 363 = 0. Is 12 a factor of o?
False
Is 5 a factor of 108 - -4*9/36?
False
Let u = -30 + 21. Let l(z) be the first derivative of -4*z**2 - 4*z - 81. Does 24 divide l(u)?
False
Let m = -1264 - -2230. Does 23 divide m?
True
Let v be 6/(-33) + (0 - 114/(-22)). Suppose 925 + 35 = 4*m. Suppose v*x = -5*c + m, -4*c = -5*x + c + 290. Does 15 divide x?
False
Let m(k) = k + 5. Let s be m(-5). Suppose -2*d + s + 10 = 0. Suppose -2*o = -d*o + 144. Does 16 divide o?
True
Let v(q) = -3*q**3 + 2*q**2 - 1. Suppose 4 = 4*n - 4*i, -n + 6*n = -4*i - 13. Let z be v(n). Suppose h + 3*m - 12 = z, -4*h + m = -51. Is 9 a factor of h?
False
Let b(c) = -3*c - 12. Let x be b(-7). Let h(y) = -y**2 + 13*y - 11. Let d be h(x). Suppose -5*w + 48 + d = 3*s, -4*s - 3*w = -101. Is 13 a factor of s?
True
Suppose -45*j + 48931 = -42734. Is 73 a factor of j?
False
Let s(v) = v**2 + 13*v + 50. Is s(-19) a multiple of 4?
True
Suppose -65 = -3*q - 2*q. Let j = q + -3. Does 6 divide j?
False
Let t(j) = -847*j + 710. Is 148 a factor of t(-7)?
False
Let d(q) = 6*q. Let p be d(-3). Let u = p + 52. Does 20 divide u?
False
Let n(r) = -9*r - 23. Let z be n(-3). Is 19 a factor of 15*(3 - z/(-20))?
False
Suppose -4*q + 384 = -4*p, -331 = -3*q - 2*p - 23. Let r(k) = -k**2 - 5*k. Let a be r(-3). Suppose a*z = 700 - q. Is z a multiple of 25?
True
Suppose 2*w - 4 = 4. Let q = 27 + w. Does 10 divide q?
False
Suppose 0 = 3*k + 2*w + 4, -2 = -k - w - 4. Suppose 0*h + 3*h = k. Suppose -m + h*m = -6. Is 3 a factor of m?
True
Let g = 2848 + -1659. Is 41 a factor of g?
True
Let w(d) = 14*d**2 - 4*d + 30. Let r be w(6). Suppose -3*i + r = -126. Does 53 divide i?
True
Let b be 22/(-18)*-157 + (-12)/(-108). Suppose -14*m = -10*m - b. Is m a multiple of 4?
True
Let y be 40/(-220) - (536/(-22))/2. Is ((-99)/6)/((-6)/y) a multiple of 12?
False
Let j = 737 + -366. Is j a multiple of 9?
False
Does 4 divide (3*119/(-7))/(-3)?
False
Suppose 4*j + l = 13, 0*j - 5*l + 2 = -j. Suppose -560 = -3*s - 2*f, -j*f - 6 = 9. Is s a multiple of 11?
False
Suppose -p - 3*r = p - 7, -4*r + 2 = -p. Suppose 3*o = -u + 168, -5*o + p*u = 3*u - 280. Does 29 divide o?
False
Let s(l) = -l**2 + 27*l + 5. Let w be s(27). Suppose v - w*m + 2 = 369, 0 = -2*v - 3*m + 773. Does 65 divide v?
False
Suppose -2*o + 688 = 4*x, 0 = -o + 2*o - 3*x - 349. Is 33 a factor of o?
False
Let b be 2 - (3 + -6 + 0). Suppose -i + 70 = -5*t, 4*t + 390 = b*i - t. Does 16 divide i?
True
Suppose 4*n = 593 - 145. Does 14 divide n?
True
Let o be 3*-1*(-15)/9. Suppose 24 = -o*c + 84. Is 4 a factor of c?
True
Let h(q) be the first derivative of -q**4/4 - 7*q**3/3 - q**2/2 - 11*q - 5. Is 15 a factor of h(-8)?
False
Let y(g) = -g + 3. Let f be y(1). Suppose f*u + 564 = 4*u. Suppose 66 = a + 4*w, a = -4*a - 4*w + u. Is 27 a factor of a?
True
Let p be 1/14*82 - 1/(-7). Suppose -p*f = -f - 505. Does 13 divide f?
False
Let g(k) = 2*k**2 + 12*k - 25. Suppose 31 = -y + 21. Is g(y) a multiple of 11?
True
Let p be (3/6*0)/(-1). Let a be (2 + p)*(-6)/(-12). Is 12 a factor of 32 - 2/(1 + a)?
False
Let p(j) = j**3 + 8*j**2 