
Let d(k) = k**2. Let q(f) = 4*f**2 + 3*f - 44. Let s(n) = 2*d(n) - q(n). Let l be s(9). Let a = 443 + l. Does 12 divide a?
False
Let h = -14407 - -30722. Is h a multiple of 41?
False
Let z(t) = -15*t**2 + 5*t + 5. Let n be z(-1). Let f(c) = -10*c + 110. Does 20 divide f(n)?
True
Let d(h) = -h + 9. Let l be d(7). Is 13 a factor of ((3 - l)*-221)/(-7 - -6)?
True
Suppose 54263*x - 54270*x = -198884. Is 17 a factor of x?
False
Let d = 15 - 10. Suppose 4 = -p, -3*x + d*p = -0*p - 29. Suppose 0 = 4*t - x*t - 10. Does 2 divide t?
True
Let p = -311 - -314. Is 6 - 6904/(-5 - p) a multiple of 21?
False
Let a(n) = -12*n + 19. Let q(s) = 26*s - 37. Let y(t) = -10*a(t) - 6*q(t). Is y(-1) a multiple of 17?
True
Let c = 90 - 273. Let u = c + 446. Is u a multiple of 4?
False
Is 10 a factor of 25496 - (8 + -32 + 10)?
True
Suppose -3*l - 617 = -2*r, 2*l - l + 627 = 2*r. Let n = 526 - r. Is n a multiple of 42?
True
Let y = 245 - 256. Let z(o) = -35*o + 52. Is z(y) a multiple of 52?
False
Suppose -27*w - 392 = w. Let i(n) = n**3 + 16*n**2 - 5*n - 18. Is 12 a factor of i(w)?
True
Suppose -5*o - 2068 = -4*c, -c + 1048 = c + o. Does 6 divide c?
True
Suppose 226*b = 119561 + 126779. Does 6 divide b?
False
Let o = -148 + 148. Suppose o*g = 20*g - 8780. Is 59 a factor of g?
False
Let w(d) = 4*d - 13. Suppose -2*q - 6*q = -32. Let b be w(q). Suppose -2 = 2*y - b*r - 17, 0 = -y + 4*r. Is 8 a factor of y?
False
Suppose -2*v - 91 = 3*k, -4 = -2*v - 8. Let f = k - -31. Suppose f*u + 154 = 394. Is u a multiple of 33?
False
Let i = 89 + -63. Is (-4)/26 - (4488/i)/(-4) a multiple of 43?
True
Let s = -3 + 2. Let m(o) = -20*o + 38. Is m(s) a multiple of 6?
False
Suppose 8*c - 3*c - 20 = 0. Suppose -c*h - 4 = -12. Suppose 12*n = h*n + 150. Is n a multiple of 12?
False
Let g = -2 + 1. Let z(u) = 3*u - 7*u - 14*u**3 + 25*u**2 - 24*u**2 - 60*u**3 - 2 + 2*u. Is 5 a factor of z(g)?
True
Let o(g) = g**3 + 7*g**2 - 7*g + 12. Let k be o(-8). Suppose k*x + 14 = -5*p + 2*x, 2*p - 4 = -4*x. Let i = p - -52. Is 29 a factor of i?
False
Suppose 4*a + 76 = 5*m, a - 42 = -2*m - 9. Let d(y) = -y**2 + 4*y + 3. Let t be d(4). Is m/(-12)*-6 + t*-1 even?
False
Suppose 2*v - 9355 - 3372 = -3*p, 0 = -p - 5*v + 4251. Is p a multiple of 32?
False
Let j(l) = 3*l**3 + 26*l**2 + 3*l - 11. Let t be j(-8). Suppose t = v - 2*g - 8, 4*v = 2*g + 416. Does 14 divide v?
False
Is 11 a factor of 8418122/5002 - 2/(-41)?
True
Let u be ((-3)/(-2))/(24/80). Let n(j) = j**3 - 8*j**2 + 2*j + 7. Let c be n(u). Let g = -54 - c. Does 4 divide g?
True
Let b(n) = -2*n**3 + 5*n**2 + 7*n + 2. Let s be b(5). Let a be (1/(-2))/(16/2144). Let l = a - s. Does 21 divide l?
True
Let s = -305 + 309. Suppose s*u - 1612 = 4*j, 4*j + j - 433 = -u. Does 55 divide u?
False
Let y = -5312 + 11036. Is 27 a factor of y?
True
Let p = -34 - -38. Suppose 2*b = -5*t + p, 24 - 2 = 5*t - 4*b. Suppose 2*l + 35 = 5*v, -3*v + 8*v = -t*l + 55. Is v even?
False
Suppose 2167 = 3*s - 242. Let m = -254 + s. Does 9 divide m?
True
Let f be 18/(-2*4/4). Let p be (-12)/(0 + f/120). Suppose 3*b - 2*i - 34 = 63, -p = -5*b + 5*i. Is 11 a factor of b?
True
Let h be ((-140)/245)/((-2)/84). Suppose 38*b - h*b = 6006. Is 13 a factor of b?
True
Let a(g) = -9*g**3 - g**2 - 2*g - 6. Let q be a(-3). Let b = q + -111. Is b a multiple of 36?
False
Let n(d) = -d**2 - 16*d - 10. Let c(i) = -9 - i - 2*i - i + 3*i. Let x be c(6). Is 3 a factor of n(x)?
False
Suppose 3*p = 18*g - 21*g + 195, -335 = -5*g - 3*p. Let m = 569 + g. Is m a multiple of 41?
False
Suppose 0 = 24*n - 25*n + 5. Suppose d = -p + 292, n*d + p + p = 1448. Is d a multiple of 18?
True
Suppose -4*b - f - 555 = 0, 0*f + 2*f = -2*b - 282. Is 45 a factor of 1577/5 - b/(-345)?
True
Suppose 56*w + 183*w - 39*w = 1314800. Does 37 divide w?
False
Does 39 divide (-4 - -12) + (4 - -4)*1559?
True
Let q = -265 - 679. Let h = 1350 + q. Is h a multiple of 29?
True
Suppose -5655 = -4*a - 33*a - 28*a. Let t be (2*1)/(4/22). Suppose -2*c = -a - t. Is c a multiple of 7?
True
Let x(b) be the second derivative of 10/3*b**3 - 14*b + 4*b**2 + 0. Is x(2) a multiple of 8?
True
Suppose -3*u = -50*h + 59*h - 226200, h - 25136 = -3*u. Is 85 a factor of h?
False
Suppose -16*j + 4*j + 175 = -17. Let i(n) = -14 - 2 + 6*n - 5. Does 9 divide i(j)?
False
Let j = 34915 - 18367. Is j a multiple of 21?
True
Suppose -s + j + 27463 = 0, 3*s = -80*j + 77*j + 82395. Does 8 divide s?
True
Let n = -268 + 779. Let f = n - 398. Is f a multiple of 10?
False
Let h be 2/(-8) + 2058/(-56). Let v = -37 - h. Suppose 4*b - 2*i = 152, -4*b + 0*b + 3*i + 156 = v. Is 18 a factor of b?
True
Let t(y) = y**3 - 5*y**2 - 10*y + 2. Let h be (2 - -4) + 0/6. Let f be t(h). Let q = 62 + f. Is q a multiple of 5?
True
Suppose 5*g = -2*c + 2310, 0*c = -2*c - 3*g + 2306. Suppose -5*b - 85 + c = 0. Does 18 divide b?
False
Let c = 226 - 245. Let h = 105 + -12. Let l = h - c. Is l a multiple of 16?
True
Let y = -95 - -98. Suppose -y*n = -3*t - 8*n + 136, -2*t = -3*n - 78. Is 6 a factor of t?
True
Suppose -29 = -0*z - z. Suppose -b + h + 483 = 0, 30*b - 27*b - 1421 = -4*h. Suppose b = 5*y + z. Is 34 a factor of y?
False
Let z = -24 + 37. Suppose -z + 20 = t. Is -6*t/((-28)/8) a multiple of 3?
True
Suppose -16*m - 21*m + 1613 = -2753. Is 59 a factor of m?
True
Let l = 80857 + -52325. Is 148 a factor of l?
False
Suppose -5*z = 5*w - 9310 - 1010, 4*z = 4*w - 8232. Suppose -10*r = w - 9331. Is 32 a factor of r?
False
Suppose 79*z - 1036288 = z - 98*z. Is 3 a factor of z?
False
Let j = -39 + 6. Let q = j + 36. Suppose -2*b - 5*d = q*b - 775, -2*b - 5*d + 298 = 0. Is b a multiple of 11?
False
Let b be 85/(-34)*(-354)/5. Let n = b + -339. Let d = -115 - n. Is d a multiple of 6?
False
Let n(h) = 24*h**2 + 274*h - 4635. Is n(16) a multiple of 83?
True
Let r be ((-126)/(-10))/(1/(-55)). Is (3 + r/12)/((-2)/24) a multiple of 73?
True
Suppose -5*s - 813 - 86507 = -5*j, -2*s + 17452 = j. Is j a multiple of 45?
True
Let f be 9 + 4 - (6 + -1). Let y(d) = 31*d - 115. Is 19 a factor of y(f)?
True
Let v(o) = -o**3 - 5*o**2 + 36*o + 4. Let u be v(-9). Suppose -p + 2803 = u*p - 4*m, -4*p + 2249 = -m. Does 16 divide p?
False
Let h = 1386 - 804. Suppose -5*y = 2*q - 416, -3*q = -12*y + 9*y - h. Is q a multiple of 18?
True
Suppose -2*b - 2*b = -20. Suppose 0 = 4*f - 70 + 50. Is (-4 + 29/b)*f a multiple of 2?
False
Let p be -2*(-3)/6 - -147. Let t = p + -36. Suppose -3*h = -464 - t. Is 32 a factor of h?
True
Let u(s) = -6*s - 26. Let h be u(-5). Suppose -3*x - 8 = -4*w + 2, 0 = -2*x + h*w. Let d(p) = -4*p - 28. Is d(x) a multiple of 3?
True
Suppose -9 = -5*m - 54. Let l(z) be the third derivative of -z**4/3 + 4*z**3/3 + 6*z**2 - 2*z. Is 11 a factor of l(m)?
False
Let p = -8591 + 9791. Is p a multiple of 58?
False
Suppose -6*x = -0*x - 12. Let t(b) = 4*b + 23. Let f be t(-5). Suppose x*z + 4*s = 3*s + 318, 2*z + f*s = 314. Is 20 a factor of z?
True
Suppose 4*y = 3*d - 11, 37 = 5*d - 0*d - 2*y. Let l = -26 + d. Let u = 5 - l. Is 9 a factor of u?
False
Let u(o) = -38*o**3 + 236*o + 1718. Does 18 divide u(-7)?
False
Suppose -g + 23464 = 2188*k - 2192*k, -2*g + k + 46914 = 0. Does 16 divide g?
True
Let z = 3312 - 2509. Does 17 divide z?
False
Let t(o) = -48*o + 309. Suppose 464 = 5*y + 439. Is t(y) a multiple of 23?
True
Suppose -2*q + 1240 = -w, 0*q + q = w + 621. Suppose -8*a = -2341 - q. Is a a multiple of 10?
True
Let r(j) = 2*j**2 - 27*j - 4. Let q be r(14). Suppose 181 - 981 = -q*v. Does 4 divide v?
True
Let p = 84 - 70. Suppose 6 = -a + p. Suppose -397 = -4*c - 3*q, a*c + q - 510 = 3*c. Is c a multiple of 18?
False
Suppose -189*n + 471094 - 97389 = -1430489. Does 37 divide n?
True
Suppose 28*b = 9*b. Suppose 2*o + 6 = -3*m + 28, b = -4*m + 3*o + 1. Is 4 a factor of m?
True
Let n(z) be the second derivative of -z**5/20 + z**4/6 - z**3/6 + z**2 + 5*z. Let m = 30 + -34. Is 51 a factor of n(m)?
True
Suppose 54402 = 7*h - 74594. Does 271 divide h?
True
Does 55 divide (-2228)/(34/(-4) - -8)?
False
Suppose 3*t - 5435 = 4*w + 1065, 0 = 5*t - 4*w - 10820. Suppose -36*f + t = -26*f. Does 12 divide f?
True
Suppose 0 = -3*p + 3*t + 107658, 35910 = p + 1370*t - 1367*t. Does 12 divide p?
True
Suppose -4*j + 2*n + 112 = 0, 2*j - 40 = 5*n + 16. Suppose 5*v - 26 = -0*m - m, 0 = 2*m + 2*v - j. Let g = m - 1. Is g a