- o. Is p a multiple of 13?
True
Suppose 5*q = -5*n + 220, 5*n - q - 140 = 98. Let f = n - 43. Suppose f*h = 9*h - 360. Does 24 divide h?
True
Suppose 4*y = -4*m - 8, y + 2*m = 2*y - 10. Let b be (2/5)/(y/(-60)). Does 4 divide (-218)/(-10) + -1 + b/(-10)?
False
Suppose 3*h + 112 + 137 = 5*s, 155 = 3*s + h. Suppose -7479 = -s*r + 4047. Is r a multiple of 20?
False
Let i(v) = 13*v - 25*v + 11*v. Let m(j) = j**2 + j + 19. Let z(h) = -3*i(h) + m(h). Is 32 a factor of z(-11)?
True
Suppose -21*y = -y. Suppose y = -4*v + 14*w - 18*w + 2896, -2*w + 720 = v. Is v a multiple of 21?
False
Is 5270/(-68)*152/(-20) a multiple of 25?
False
Suppose -s + 8 = 3*s, 134 = h + 2*s. Let b = h + -128. Suppose -2*n + i + 7 = -n, 4*i = b*n - 22. Is 3 a factor of n?
True
Suppose 388 = l + 684. Suppose -b - 5*x = 164, 0 = -2*b + x - 399 + 16. Let m = b - l. Does 13 divide m?
False
Is 58 a factor of ((-504426)/(-24))/13 - (-1)/((-8)/6)?
False
Suppose 3*j - 2*u = 2*u + 15, 5*u = j - 5. Suppose 5*k + h = 2*h + 2476, j*h = -3*k + 1480. Is 43 a factor of k?
False
Let t = 3521 - 1997. Is t a multiple of 12?
True
Let m(v) = 2*v**3 + 2*v**2 + 2*v + 1144. Is m(0) a multiple of 21?
False
Suppose 0 = 7*j - 14*j + 70. Suppose j*n = 178 + 162. Let i = n + 10. Is i a multiple of 22?
True
Let v(z) = 17*z - 26. Let w be v(13). Does 5 divide (-118)/(-3) - w/(-117)?
False
Let b(g) = g**2 + 26*g + 23. Let l(z) = -1. Let x(a) = -b(a) - 6*l(a). Does 13 divide x(-10)?
True
Is (-28)/10*2876365/(-478) a multiple of 195?
False
Let x(g) be the third derivative of -g**6/120 - 7*g**5/20 - g**4/24 + 23*g**3/3 + 11*g**2. Let z be x(-21). Let v = -31 + z. Does 9 divide v?
True
Suppose 258*r = 252*r + 342. Let f = r + -29. Is 2 a factor of f?
True
Suppose 3*l + 4105 = 4*o, -l + 3095 = -362*o + 365*o. Is o a multiple of 7?
False
Let y(p) = 172*p**2 - 184*p**2 - 16 + 13*p - p**3 + 2*p**3. Let j be y(11). Suppose -3*c + j = -3, -2*q = c - 155. Does 19 divide q?
True
Suppose -9*j + 4*j + 240 = 0. Let r = 50 - j. Suppose -r*g - 21 + 147 = 0. Does 21 divide g?
True
Let u = 5758 + -2790. Is u a multiple of 8?
True
Suppose 3*g + 404 = 4*o, 2*g = -3*g - 20. Let p = -98 + o. Suppose -410 = -p*f - 5*f. Is 28 a factor of f?
False
Suppose -b + 5*z + 294 = 0, z - 4 = 5*z. Let f = 379 - b. Is 18 a factor of f?
True
Let q(m) = -m**3 + 19*m**2 + 42*m - 2. Let c be q(21). Let u(x) = 289*x**2 + 30*x + 2. Does 9 divide u(c)?
True
Let n(f) = -f**3 - 16*f**2 + 4*f + 519. Is n(-21) a multiple of 24?
True
Suppose -5*i = 5, -12*d + 8*d - 2*i = -30322. Is 195 a factor of d?
False
Suppose 3*l - 3*f = 18207, -5*l = -2*f + 4*f - 30373. Is 34 a factor of l?
False
Suppose 539 = -y + 2739. Is 10 a factor of y?
True
Let m(l) = 38*l**2 + 47*l - 374. Is 13 a factor of m(9)?
False
Let f(p) = -63*p - 9. Let h be f(2). Is (-11)/(-2) - 6 - h/2 a multiple of 17?
False
Let g(n) = -n + 14. Let s = 37 + -26. Let u be g(s). Let t(k) = 14*k + 6. Is t(u) a multiple of 16?
True
Let y(g) = -12*g**3 - 43*g**2 + 13*g + 157. Is y(-16) a multiple of 22?
False
Let y = 37733 - 16651. Does 118 divide y?
False
Let g(m) = 2*m**3 - 12*m**2 + 3. Let p be g(6). Suppose -4*b + 2459 = p*f, -2*f - 5*b + 1651 = -0*f. Is f a multiple of 15?
False
Let a(w) = -932*w**2 + 2*w - 2. Let o be a(1). Let k = o - -2771. Suppose 9*m + 102 = k. Is 10 a factor of m?
False
Suppose 129 = 4*q + w - 426, 4*q + 4*w = 540. Let p be (-1)/(-5) + q/50. Suppose 2*y = -2*b + 544, p*b - y - 1012 = -192. Is 39 a factor of b?
True
Suppose -4*o - 59 = -291. Let l = o - 42. Does 16 divide (-30)/(-10)*(0 + l)?
True
Suppose 3*u + 938 - 947 = 0. Suppose -2*f + 22 = 2*a, 51 = f + 2*f - u*a. Is 7 a factor of f?
True
Let x(v) be the third derivative of -v**7/504 + 17*v**6/720 + 7*v**5/20 - 5*v**2. Let o(t) be the third derivative of x(t). Does 13 divide o(-10)?
True
Suppose -25*p - 162*p + 12*p + 1814750 = 0. Does 61 divide p?
True
Let r(q) = 4*q**2 + 101*q + 3179. Is r(-29) a multiple of 14?
False
Suppose -3*o = 2263 - 238. Let z = o + 351. Let j = z + 674. Is j a multiple of 14?
True
Let m(d) = 60*d**2 + 75*d - 715. Is 57 a factor of m(10)?
False
Let t(o) = 2*o - 1. Let v = 93 - 91. Let k be t(v). Suppose p = 0, 2*g - g = -k*p + 109. Does 14 divide g?
False
Suppose 0 = -3*b - 5*r + 5885, -2*b - 3*b = -2*r - 9767. Suppose -2*h + b = 5*g, -1026 = -3*g - 4*h + 147. Does 23 divide g?
True
Let v be 258/43 - (1 - -13). Does 6 divide 46880/200 - (v/(-10))/2?
True
Suppose -3*i = 4*d + 33, -7 = 3*d + 5*i + 4. Let j(v) = v**2 + 11*v - 10. Let m be j(d). Is 11 a factor of (-46 + m)*(-14)/4?
True
Let k be 1 - (-785 + 5) - -3. Suppose 73*o = 72*o + k. Is o a multiple of 88?
False
Let a = -6729 + 12057. Is 16 a factor of a?
True
Suppose -2*m + 14907 = -3*o, -3*m + 22383 = -0*m + 3*o. Is 17 a factor of m?
False
Let t(p) = p**2 + 9*p + 11. Let d be t(-8). Suppose -s + 8 = s, -d*a = -2*s - 16. Let h(j) = j**3 - 8*j**2 + j - 2. Is 4 a factor of h(a)?
False
Let b be 0 + 0 - (-20)/5. Suppose 2*u + 3*s - 7*s + b = 0, u = -4*s + 16. Suppose -99 = 5*r - 3*p - 427, -3*r + u*p = -199. Is 5 a factor of r?
True
Let h be (-2)/10*-2 - 9703/(-5). Let g be 3 + 5/15*h. Suppose 3*w - g = -2*w. Is w a multiple of 9?
False
Let g be (222/(-9))/(-4*(-2)/(-12)). Let f = -32 + g. Suppose 19 = -f*t + 119. Is 20 a factor of t?
True
Suppose 13 = -2*i + 3*i + 3*u, 1 = 5*i - u. Suppose -i = -7*n + 27. Is 281/n - 7/28 a multiple of 10?
True
Suppose 165 = 3*m + 2*m. Let f be (-2)/6*1*(-3 - m). Is 13/(52/480)*8/f a multiple of 20?
True
Is -2 + -3 + 10637 - (-5 - -10 - -1) a multiple of 138?
True
Let x(c) = -2*c**3 - c**2 + 42*c - 373. Let u(o) = 3*o**3 + o**2 - 66*o + 559. Let a(w) = -5*u(w) - 8*x(w). Is 15 a factor of a(0)?
False
Let a = 132 + -249. Let j = 158 - a. Does 11 divide j?
True
Let q = 3604 - 1850. Let z = q + -993. Does 11 divide z?
False
Suppose 0 = -2*f + 2*i + 10, 2*i - 29 = -3*f - 4. Suppose f*x = x + 2484. Is 46 a factor of x?
True
Let u(b) = -2*b**3 - 6*b**2 - 5. Let r be u(-5). Suppose 0 = m - 75 - r. Let j = -14 + m. Is 26 a factor of j?
True
Let k = 43 + -38. Suppose 6*a - k*a = -3*x + 71, 0 = -a - 4*x + 72. Does 17 divide a?
True
Let f be 1*4*(3 + 11/(-11)). Suppose 5*n + a = 980, 5*n - f*a + 6*a - 980 = 0. Is 9 a factor of n?
False
Let c(u) be the third derivative of 7*u**5/60 - u**4/12 - u**3/6 + 18*u**2. Let x be c(5). Suppose 5*n = -b + n + 16, x = 4*b - 4*n. Does 6 divide b?
True
Suppose 3*o + 45487 - 10489 = 5*o. Does 57 divide o?
True
Suppose 3*l + 2*l - 4*s = 20, -5*s - 25 = 0. Suppose 5*r + g + 4*g - 1280 = 0, l = 2*r + 5*g - 521. Is r a multiple of 6?
False
Suppose -4*v = 45 + 11. Let a be (120/42)/10 + (-66)/v. Suppose 136 = 3*q - g, -2*g - 3 - a = 0. Does 4 divide q?
True
Let d(j) = 2*j**2 + 3*j - 25. Let c be d(-7). Let k = c + -52. Is 6 a factor of k + -2 + 6/(12/74)?
False
Let w be 450/(-10)*20/(-6). Suppose 3*g + 3*x - 1492 = -g, -5*g = 5*x - 1870. Let a = g - w. Is 44 a factor of a?
True
Let j(v) be the first derivative of -16*v**2 + 47*v - 24. Is 35 a factor of j(-11)?
False
Let c(p) = 15*p - 157. Let a(i) = 13*i - 157. Let b(o) = -5*a(o) + 6*c(o). Is b(8) a multiple of 3?
False
Let z = -32 + 36. Suppose u - 20 = -z*u. Suppose -4*h + 16 = -0*h, 5*k + u*h = 471. Is k a multiple of 13?
True
Let y(i) = 39*i**3 - 3*i**2 - 6*i + 84. Is 43 a factor of y(9)?
False
Suppose p + 0*y = 4*y + 13, -y = -2*p + 19. Let f(w) = -w**2 + 13*w. Let x be f(p). Suppose 2*k = 34 + x. Is 7 a factor of k?
True
Suppose -12053 = -24*m + 10243. Suppose 2*n = 3*i + m, 0 = -4*n + 2*i - 5*i + 1831. Does 42 divide n?
False
Let m = -389 - -831. Is m a multiple of 23?
False
Suppose -32*w - 24 = -33*w. Suppose -36342 = -w*o - 14382. Does 18 divide o?
False
Suppose 0 = -8*o + 13 + 11. Let v(f) = 4*f**o - 7*f - 3*f**3 - 2 + 19*f**2 - 20*f - 42. Is 26 a factor of v(-20)?
False
Suppose -w + h + 7 = 0, 18*w = 15*w - 5*h + 5. Suppose w*t = -0*t + 1040. Is t a multiple of 14?
False
Suppose 18*a + 111 = 1317. Suppose -3*l + 41 + a = -2*n, -144 = -4*l + 3*n. Is 18 a factor of l?
True
Let k(s) = 26*s**2 + s - 3. Let g be k(1). Suppose -t = 3*t + 4*f + 8, 4*f = 3*t - 29. Suppose -t*y - g = -4*y. Does 6 divide y?
True
Let q be (-45)/(-225) + 1 + (-9774)/(-5). Let r = q + -1116. Is 70 a factor of r?
True
Let p(w) = -7*w**2 - 308*w - 40. Does 18