k(v) = 22*v**2 - 4*v - 21. Is 21 a factor of k(7)?
True
Let x(a) = 9*a**2 + 2*a - 14. Does 46 divide x(4)?
True
Let w(b) = -9*b + 78. Does 17 divide w(-20)?
False
Let d be 2 - (5 - 3) - -4. Suppose -122 = -l + d*c, -l - 423 = -5*l + 3*c. Does 17 divide l?
True
Is 0 - 3284*(-3)/6 a multiple of 128?
False
Suppose -5*v - 978 + 118 = 0. Let l = 289 + v. Does 31 divide l?
False
Suppose -5*q - u + 173 = 0, 3*u - 8*u + 117 = 3*q. Suppose -d - 3*a - q = -123, 15 = 3*a. Is d a multiple of 37?
True
Let j(f) = 96*f**2 + 5. Is 11 a factor of j(2)?
False
Let m = 348 - 24. Let v be m + -1 + (-3 - -4). Suppose 280 = 4*y + 4*n, -v = -5*y - 2*n + 17. Does 9 divide y?
False
Suppose 241*u - 48 = 237*u. Does 12 divide u?
True
Let o(b) = 10*b**2 - 3*b - 27. Is 15 a factor of o(6)?
True
Let x(p) = 10*p + 1562 - 1525 + 3*p**3 - 2*p**3 + 16*p**2. Does 28 divide x(-15)?
True
Let z = 1871 - 1288. Is 35 a factor of z?
False
Let p = -42 - -56. Suppose -2*u = -p*u + 180. Does 3 divide u?
True
Let b = 396 + -257. Is b a multiple of 13?
False
Suppose -15*i = -75 - 2445. Is i a multiple of 14?
True
Let i(y) = -66 + 66 - 4*y. Let h(x) = 13*x + 1. Let p(k) = -3*h(k) - 8*i(k). Is p(-3) a multiple of 9?
True
Suppose 759 = 34*l - 397. Is 17 a factor of l?
True
Let b be (-5)/(-2)*(-16)/(-10). Suppose -z + 5*z + 32 = b*r, -3*z - 29 = -4*r. Let y(n) = n**3 - 2*n**2 - 2*n + 7. Does 12 divide y(r)?
True
Suppose -3*i - 28 = -4*i. Suppose -4*m + i = -0*m. Suppose 5*u - 51 = 4*y - 11, y = u - m. Is 4 a factor of u?
True
Let g = -84 + 50. Let h = g - -61. Is 9 a factor of h?
True
Let m(l) = -5*l + 28. Let q be m(8). Let f = q + 13. Is (-4)/(f + 0) - -36 a multiple of 16?
True
Suppose 4*f = -4*l + 1284, 4*f = -l + 305 + 19. Does 16 divide l?
True
Let m = 1925 + -877. Is m a multiple of 30?
False
Let s = 285 + -26. Is 37 a factor of s?
True
Suppose 5*p = 9*p - 76. Suppose j = 8 + p. Is 9 a factor of j?
True
Let t = -73 + 136. Suppose 0 = 4*i - 2*q + 20, 3*i + 2*q + 2*q + 26 = 0. Let n = t + i. Is 25 a factor of n?
False
Let k(d) = 5*d**2 + d + 398. Is 10 a factor of k(17)?
True
Is (-572)/8*-2*(9 + -8) a multiple of 14?
False
Suppose 892 = -371*z + 373*z. Does 54 divide z?
False
Let t(g) be the first derivative of g**4/4 + 4*g**3/3 - g**2 - g + 6. Suppose -25 = 5*a - k, 3*a - 6 = 3*k - 33. Is 3 a factor of t(a)?
False
Let y(h) = 2*h - 7. Let m be y(-5). Let k = 45 + m. Does 7 divide k/((-7)/((-21)/6))?
True
Suppose -x = 5*v + 17, -3*v - 13 = -3*x - 2*v. Suppose x*m = 6*m + 180. Is 22 a factor of (-662)/(-15) - (-8)/m?
True
Let i = -44 - -73. Let z = -14 + i. Is z a multiple of 3?
True
Suppose -q + 1140 = -5*f - 858, -4*f + 5975 = 3*q. Does 93 divide q?
False
Let l = 9792 - 5997. Is (-2)/(-8) - (l/12)/(-11) a multiple of 6?
False
Let f be 3*(-2)/12*0. Suppose -4 = 2*h, f = -3*d - 2*d + 2*h + 104. Is d a multiple of 10?
True
Let d = 8 - 5. Suppose 85 = 4*m - 3*g, 67 = -4*m - d*g + 158. Does 11 divide m?
True
Let w(n) = -6*n + 4. Let i(s) = -1. Let v(b) = -6*i(b) + w(b). Is 8 a factor of v(-5)?
True
Suppose 170 = a + 5*n, 3*a - 305 = 5*n + 305. Does 15 divide a?
True
Suppose -6*g + 24 = -0*g. Suppose g*o + 85 = 277. Is o a multiple of 12?
True
Let d(w) = 3*w + 96. Let i be d(0). Suppose 24 = -f + i. Does 18 divide f?
True
Let p(t) = -4*t + 4. Let f(l) = -l + 1. Let w(s) = 24*f(s) - 5*p(s). Let d be (2/3)/(1/(-6)). Does 10 divide w(d)?
True
Let h be (-6)/9 + 2/(-6). Let v be -19 - ((-6)/h + -3). Let q = v - -34. Is q a multiple of 6?
True
Let x(s) = -40*s + 10. Is 15 a factor of x(-26)?
True
Let h(c) = 16*c**3 - 2*c**2 + 3*c - 22. Does 23 divide h(4)?
False
Suppose -885 = 4*i - 5309. Is 7 a factor of 4/(-22) - i/(-154)?
True
Suppose 4*r + 24 + 24 = 0. Let p = -10 - r. Suppose -2*i + p*b = 4*b - 84, 4*b = 2*i - 96. Is 11 a factor of i?
True
Is 6 a factor of (12/10)/(0 - 12/(-3760))?
False
Suppose 2*g = 37*x - 42*x + 3665, -5*x - 3615 = -2*g. Is g a multiple of 20?
True
Let x(s) = 9*s**3 + s**2 - 2*s - 3. Let d be x(3). Let n = d - 156. Is 8 a factor of n?
False
Let b(r) = -r**3 + 13*r**2 + 29*r + 12. Let y be b(15). Does 35 divide y + ((-10)/(-4))/((-9)/(-450))?
False
Is 6 + 3 + (2 - -87) a multiple of 14?
True
Suppose -j - 2*j - 69 = 0. Let k = 65 + j. Is k a multiple of 15?
False
Let s(q) = q**3 - 4*q**2 + 4. Let m be s(4). Suppose 3*r = 15, -m*b = 4*r - 767 + 127. Is b a multiple of 34?
False
Let n(r) = -r**3 + 21*r**2 + 21*r + 18. Does 10 divide n(19)?
False
Let q = -6 - -40. Suppose z = 21 + q. Does 11 divide z?
True
Suppose 9339 = 4*l - 5*c, 2*l - 3*c - 11664 = -3*l. Does 17 divide l?
False
Suppose -1402 + 663 = -s. Is s a multiple of 70?
False
Let d(k) = 5*k**2 - 12*k + 21. Is 6 a factor of d(6)?
False
Let c be (-3 - 225/(-27))/(2/3). Suppose 0 = o + c*o - 639. Is 13 a factor of o?
False
Suppose 0 = 20*a - 5223 - 3377. Is a a multiple of 10?
True
Let n(r) = -5*r + 33. Let w(c) = -4*c + 32. Let t(q) = -3*n(q) + 4*w(q). Does 10 divide t(9)?
True
Let s(z) = z**3 + 7*z**2 - 3*z - 15. Let u be s(-7). Let g(d) = -d**3 + 10*d**2 - 17*d + 21. Is 21 a factor of g(u)?
True
Let k(w) = 26*w**2 - 14*w + 95. Is 27 a factor of k(5)?
True
Let r be (-154)/4 + (-1)/(-2). Let z = r + 92. Suppose t + 4*n - 3 = 0, -2*t + 3*n + n = -z. Is t a multiple of 19?
True
Let j = -978 + 567. Let w = j + 610. Does 9 divide w?
False
Suppose -480 = -0*r - 2*r. Is 24 a factor of ((-9)/2)/((-45)/r)?
True
Let t(c) = -19*c**3 - 4*c**2 - c - 24. Is 18 a factor of t(-3)?
False
Suppose 5*z - 3*g + 1 = -1, -4*z + 3*g - 4 = 0. Let w(v) = 14*v - 3. Is w(z) a multiple of 7?
False
Suppose 0 = 4*y + 8 - 40. Let r(d) = -d**3 + 9*d**2 - 9*d + 11. Let o be r(y). Does 11 divide -21*(-3 + o + -2)?
False
Let h(i) = -189*i - 423. Is h(-17) a multiple of 86?
False
Let x(r) = 19*r**2 - 9. Let w(y) = -6*y**2 + 3. Let m(v) = 11*w(v) + 4*x(v). Suppose 3*f + 6 + 3 = 0, -3*c + 3*f = 0. Is m(c) a multiple of 18?
False
Suppose 5*r - 24 + 4 = 0. Suppose 2*z = -4*c + 126, -r*z - 5*c + 2*c = -232. Is 22 a factor of z?
False
Is 11 a factor of (-1670)/(-15) - (-8)/(-6)?
True
Let r = 3 - -2. Suppose 4*a + 5*m + 71 = 2*a, -m + r = 0. Let s = -34 - a. Is s a multiple of 14?
True
Suppose -2*p + 6 - 2 = 4*g, 0 = g - 1. Is 5 a factor of 10 + -14 + (p - -18)?
False
Let u(h) be the first derivative of 257*h**3/3 + h**2 + h + 4. Let p be u(-1). Is 9 a factor of p/14 - 6/21?
True
Let m be 48/(-32)*(-20)/(-6). Is 7 a factor of (-1)/m - 979/(-55)?
False
Let f = 393 - 355. Does 13 divide f?
False
Suppose -864 = 5*g - 11*g. Is 38 a factor of g?
False
Let g(k) = -k**3 - 17*k**2 - k - 6. Let n be g(-17). Let w(t) = 6*t**2 - n*t**2 - 6 + 7*t**2 + 9*t. Does 9 divide w(-7)?
False
Let y(x) = 6*x - 15 - 8 - x**2 + 26. Let g be y(7). Is 13 a factor of (-14)/g*26*1?
True
Let n(h) = -2*h**2 + 37*h + 18. Let x be n(19). Is 10 a factor of ((-6)/10)/(x/25)?
False
Let s be 3/6 - (-279)/(-6). Let d = -60 - 24. Let r = s - d. Is r a multiple of 15?
False
Suppose -g - 4*y + 6*y + 38 = 0, 3*g - 134 = 2*y. Suppose h + 5*n = 3*h - 11, -h = 2*n - 1. Is h + (g - (3 + -3)) a multiple of 17?
True
Let r(k) = -k**2 + 2*k. Suppose 0 = 3*j - 10 + 4. Let n be r(j). Suppose -195 = -n*x - 5*x. Does 27 divide x?
False
Is 2 a factor of ((-1224)/30 - -8)*-5?
True
Let b(f) = 3*f**3 - 13*f**2 + 6*f + 8. Is b(6) a multiple of 56?
True
Suppose -5*t + 25 = 2*a, -1 = 5*t - 16. Suppose -1 = 5*r - 26, a*b = -2*r + 1160. Is 34 a factor of b?
False
Suppose 11*f + 440 = 16*f. Is 33 a factor of f?
False
Let y = 71 + -68. Suppose -y*b = 4*w - 255, 0 = -2*b + 2. Is w a multiple of 8?
False
Suppose -4*h = -p - p - 14, 0 = 2*p + 6. Suppose 8*t - 800 = -h*t. Is 24 a factor of t?
False
Let t be 8/2*1/(12/9). Suppose t*w - 10*w = -154. Does 3 divide w?
False
Is 33 a factor of ((-22)/12)/(2/(-18))*4?
True
Suppose 0 = 5*y - 3*k - 1107, -2*k + 867 = 4*y - 23. Suppose 5*c - y = 68. Does 14 divide c?
False
Let f(r) = 2*r**2. Let k be f(1). Suppose -2*l + k + 2 = 0. Suppose -l*p - 5*u = -13, -5*p - u + 11 = -79. Is p a multiple of 13?
False
Let a(s) be the third derivative of s**4/24 + 3*s**3 + 31*s**2. Does 4 divide a(-8)?
False
Suppose -3*f = -k - 10, 5*f + 50 = 5*k + 10*f. Suppose 2 = 5*i + 4*p - 2, k*p = i - 24. Does 2 divide i?
True
Let i = 47 + -67. Is 17 a factor of 55/i + 3 + (-1222)/(-8)?
True
Let b(p) = 827*p - 2