 Suppose w*g = 3052 - 972. Suppose 0*p - g = -8*p. Is p a multiple of 29?
False
Let r(l) = -4*l - 7. Let c = -13 + 11. Let m be r(c). Let d(b) = 110*b**2 + b - 1. Is d(m) a multiple of 10?
True
Let o(k) = 157*k**2 - 9*k - 14. Does 11 divide o(-7)?
False
Let x(o) = 5*o**2 - 2*o + 8*o**3 + 2*o**3 - 3*o + 3*o - 4*o**3 + 23. Is x(5) a multiple of 12?
True
Let h be (8626/(-152))/((-1)/4). Suppose 0 = -o - 13 + h. Is o a multiple of 9?
False
Let c be 4/(-10)*(2 + -12). Suppose 2 + 6 = c*m. Let q(n) = -n**2 + 2*n + 2. Is q(m) a multiple of 2?
True
Let c be (-42)/(-147) + 2/(-7). Suppose c = -5*s - 3*b + 380, -2*s + 38 + 98 = -2*b. Let v = -57 + s. Is 3 a factor of v?
False
Let p(r) = r**3 + r**2 - 3*r - 3. Let o be p(2). Suppose -2*d - o*d = -1300. Is d a multiple of 10?
True
Suppose 3*r - 108983 = 4*y, 0 = 422*r - 426*r - 3*y + 145369. Is 79 a factor of r?
False
Let y = -3681 - -3902. Does 17 divide y?
True
Let a(m) = -m**3 - 10*m**2 - 10*m - 18. Suppose 53 = -5*p + 18. Let l be a(p). Let n = -42 - l. Is 7 a factor of n?
False
Let x(l) = 3*l**3 + 96*l**2 + 547*l - 16. Is 61 a factor of x(-21)?
True
Let f = 74666 + -48967. Does 22 divide f?
False
Let d(l) = -130*l - 205. Is 17 a factor of d(-14)?
True
Let t(q) = -2*q**2 + 27*q - 11. Let l be t(13). Suppose 0 = -3*m - 4*f + 1102, l*m = -0*f + f + 753. Does 66 divide m?
False
Let z = 188 + 479. Let y = 1142 - z. Does 25 divide y?
True
Let b = -11092 + 15812. Does 15 divide b?
False
Let q = 926 + -82. Let u = -376 + q. Does 13 divide u?
True
Let n be -2 - -121 - (8 + -4). Suppose n = -3*c + 151. Is 35 a factor of 101 - (3/c + (-51)/12)?
True
Let b(r) = -2*r**2 - 4*r + 2. Let m be b(-3). Let u be (4 + (-1 - -2))*m/(-5). Is 4 a factor of (-21)/((-2 - (-14)/u)*-1)?
False
Let d(p) = p**3 + 7*p**2 - 24*p - 4. Let f be d(-10). Let s = f + 69. Suppose -2*x + 3*a = -s*x + 222, -58 = -x + 3*a. Does 57 divide x?
False
Suppose 8*t = 11*t - 3, 4*t + 3476 = 5*v. Let m = v + -120. Is m a multiple of 48?
True
Suppose 25*u + 1962 = 29*u - 3*h, -3*u - 2*h + 1463 = 0. Let g = u - 461. Is g a multiple of 3?
False
Let z(m) = 8*m**2 - 212*m + 3095. Is 7 a factor of z(16)?
False
Let z(p) = 2173*p + 4992. Does 52 divide z(11)?
False
Let d(x) = x**2 + 14*x + 23. Suppose -3*k - 5*p = 4 + 7, k + 4*p = 8. Let v be d(k). Is 17 a factor of 64 + (4 - (-1 - v))?
True
Let t(u) = -u**3 + 15*u**2 + 3*u + 15. Suppose 3*c = -3*r + 36, -4*r + 69 = -2*c + 3. Is t(r) a multiple of 12?
True
Does 16 divide (-3 - 93)/((-121)/12221)?
True
Let n(z) = 6*z**2 - 2*z**3 + 27 - 23 - z + z**3. Let b be n(6). Does 4 divide b/(-3) + 1862/42?
False
Suppose 17*s - 15*s + 730 = 0. Let k = 247 - s. Suppose -4*y - 3*g = -2*g - k, 5*y - 765 = -4*g. Does 14 divide y?
False
Let u = -1585 + 4315. Is 9 a factor of u?
False
Let w(y) = -2*y**2 - 30*y + 2. Let x be w(-15). Is x/4 - (-9480)/48 a multiple of 18?
True
Suppose -821 - 367 = -6*a. Is a/8*160/15 a multiple of 15?
False
Let x(j) = -j + 9. Let s be x(-7). Let z be (-433)/(-4) + (-4)/s. Is 81/z + (0 - (-66)/8) a multiple of 6?
False
Suppose 7 = -3*x - 62. Let d = -89 - x. Does 31 divide (-13254)/d + 6/33*1?
False
Let f(c) = -2*c**3 - 68*c**2 + 137*c + 303. Is f(-37) a multiple of 3?
False
Suppose 724 = 3*n - 113. Let j = 656 - n. Does 13 divide j?
True
Let t(g) = 4*g**2 - 26*g - 60. Let i be t(25). Let f = i + -1165. Is 13 a factor of f?
False
Let w = 74 - -24. Let n be 8/(-14) + 252/w. Suppose m - 104 = n. Is m a multiple of 24?
False
Let c(j) = -j**3 + 2*j**2 + j. Let n be c(2). Let y be ((-9)/13)/(225/(-2925)). Suppose -n*f - 3*w = -y, -2*f - 8*w + 6*w + 14 = 0. Is f a multiple of 3?
True
Suppose -53471 = 4*k - 19*k + 63514. Is k a multiple of 5?
False
Let t = 7379 - 113. Is t a multiple of 7?
True
Let p(d) = -d**3 - 85*d**2 + 536*d + 35. Is 15 a factor of p(-91)?
True
Suppose -430 = -38*i + 33*i. Let l = 88 - i. Suppose 0*y = g + 5*y - 216, l*g + 3*y = 432. Does 18 divide g?
True
Suppose 374 = 21*u - 10*u. Suppose -u*q + 5*q + 4060 = 0. Is q a multiple of 14?
True
Let v = 68 - 66. Suppose -v*m + 85 = -11. Is 4 a factor of m?
True
Let n(z) = 3*z - 3*z + 4*z + 33. Let t be n(-10). Let w(k) = k**2 - 2*k - 14. Is w(t) a multiple of 18?
False
Let p be 0 + -1 + (-1)/(1/(-88)). Suppose -5*m = -7*m - c + 51, 2*c + p = 3*m. Does 9 divide m?
True
Let c(h) = 18*h - 48. Let k be c(28). Let t = k - -403. Is 21 a factor of t?
False
Suppose 792*r = 814*r - 28380. Is r a multiple of 43?
True
Let l = 30816 + 7349. Is 17 a factor of l?
True
Suppose 5*b - 362 = -32. Is 44 a factor of b/1*4/3?
True
Let z = 561 + -79. Let c = 267 + z. Is c a multiple of 71?
False
Suppose -24 = 27*n - 33*n. Suppose -n*f + 5*f - 3*q = 657, 4*f - 2637 = 3*q. Is f a multiple of 55?
True
Suppose 7*k - 17430 = -23*k. Let w = k + -275. Is 17 a factor of w?
True
Let h(n) = 75*n**2 + 293*n - 6. Does 26 divide h(-6)?
True
Suppose 2211 = -3*a + 3*k, -42*k + 6 = -40*k. Let y = a - -1079. Is y a multiple of 15?
True
Suppose 1517 = 3*i - 167*x + 172*x, -4*x = i - 501. Does 3 divide i?
False
Suppose -v = -3*m - 26815, -4*v + 7*m + 107308 = 11*m. Is 28 a factor of v?
True
Suppose -12*b + 10 = -17*b. Is (19290/(-21))/b + 30/(-105) a multiple of 31?
False
Let l(k) = 6*k - 62. Let g be l(18). Suppose -2*i - 190 = -5*h, -2*i = h - 4*i - g. Does 9 divide h?
True
Let l(v) = -v**2 - 39*v - 105. Let p be 2/9 + (-1456)/72 - -2. Is 39 a factor of l(p)?
True
Let m(j) = -3*j**3 - 120*j**2 + 90*j + 111. Does 19 divide m(-44)?
False
Suppose -54 = -130*j - 834. Let u(y) = y + 31. Let d(z) = -z - 30. Let b(l) = -7*d(l) - 6*u(l). Is 3 a factor of b(j)?
True
Let a be (-16)/(-24)*29 + 4/(-3). Let c(b) = 33*b + 6. Is 17 a factor of c(a)?
False
Let k = 6817 - 2667. Is 8 a factor of k?
False
Suppose -10*m = -481172 + 50982. Is 34 a factor of m?
False
Let j(f) = -f**2 - 6*f + 22. Let i be j(-8). Let n(v) = -v**3 + 9*v**2 - 4*v - 10. Let g be n(i). Suppose g = 3*o + 2*y - 0*y, -15 = 3*y. Is 4 a factor of o?
True
Let g = 220 - 215. Suppose 6*w - 9504 = -g*w. Is w a multiple of 48?
True
Let u = -1 + 6. Suppose u*c = 2*c + c. Is (-4 - -2 - c) + 132 a multiple of 13?
True
Let t(k) = 10*k + 98. Suppose 2*u - 3*y + 8*y + 19 = 0, -2*y = -3*u - 19. Does 14 divide t(u)?
True
Let k(q) = -3*q**2 + 22*q**2 + 41 - 1336*q + 1311*q. Does 45 divide k(9)?
False
Let i(n) = 3*n**3 + 5*n**2 - 9*n + 5. Let u(z) = -z**3 - z. Let d(k) = i(k) - 2*u(k). Suppose 5*y + 12 = -t, -t = 39*y - 43*y - 15. Is d(t) a multiple of 11?
False
Let m(h) = -685*h**3 - h**2. Suppose -10 = 4*q - 2*z, -58*q - 3*z + 7 = -56*q. Is 18 a factor of m(q)?
True
Suppose 0 = -4*p - 348 + 368. Suppose p*z - 89 = 2*y - 352, 5*z = -5*y + 640. Is 5 a factor of y?
False
Let v(x) = -32*x - 28. Let l(o) = 97*o + 85. Let b(h) = 2*l(h) + 7*v(h). Let p(g) = -10*g - 9. Let a(w) = 5*b(w) - 14*p(w). Is a(-3) a multiple of 26?
True
Suppose 4*b + 5*r - 316569 = 0, -237366 = -3*b - 156*r + 159*r. Is b a multiple of 11?
False
Let a(u) = -12 - 14*u**2 + u + 859*u**3 - u - 25*u - 6*u - 860*u**3. Suppose -2*k - 3*f - 33 = 0, -3*k - 18 = -2*k + 2*f. Does 36 divide a(k)?
True
Let v(b) = -11*b**3 + b**2 + 11*b + 4. Let f be v(-3). Let o = 953 - f. Let x = -341 + o. Is 24 a factor of x?
False
Let d be -3 - (-10)/3 - 1/3. Suppose -t + 0*t = d. Let w(h) = -h + 17. Is w(t) a multiple of 17?
True
Let l(d) be the second derivative of d**4/12 + 5*d**3/6 + 100*d**2 - d - 7. Is 8 a factor of l(0)?
True
Let s = -325 - -329. Suppose -15 = -s*g + 45. Is g a multiple of 3?
True
Suppose 21*z + 179742 = 37*z + 13*z. Is z a multiple of 118?
False
Let r be 78/(-6) + (2 + 0 - 1). Let w(g) = -g**3 - 11*g**2 + 2*g + 17. Let q be w(r). Suppose 2*y + q = 471. Is y a multiple of 24?
False
Suppose 2459*d = 2463*d - 42640. Is d a multiple of 10?
True
Suppose -191*i = -193*i - 8, -3*i - 34383 = -3*l. Is l a multiple of 204?
False
Suppose 4*i + 5 - 27 = h, -h + 26 = 4*i. Let p(l) = 102*l + 139. Is p(i) a multiple of 93?
False
Is 61 a factor of ((-41)/205)/(3/165) + 21300?
True
Let j be ((-20)/(-90))/((-4)/(-144)). Suppose -j*p + 4*p - 4*x = -640, -p + 2*x + 175 = 0. Is 7 a factor of p?
False
Suppose 44 = -9*b + 13*b. Let d(s) = s**3 - 9*s**2 - 21*s + 10. Let r be d(b). Is -1 + (-4*1 - (1 - r)) a multiple of 10?
False
Suppose -1787*v + 1784*v + 20172 = 2*f, -5*v + 10100 = f. Is f