s p a multiple of 25?
True
Let d(r) = -r**3 + 7*r**2 + r - 3. Let h be d(7). Suppose 2*q = -h*n + 24, -3*n + q + 23 = -0*n. Is n/(28/(-16)) - -13 a multiple of 8?
False
Let z be ((-1)/3)/(22/(-264)). Suppose -t + 7*j + 179 = z*j, -5*t - 3*j + 895 = 0. Is t a multiple of 8?
False
Suppose 10*g = 3*g + 14. Does 12 divide (g/1)/((20/24)/5)?
True
Let p(i) = -3*i**3 - 4*i**2 + 2*i + 20. Does 20 divide p(-4)?
True
Does 5 divide (546/455)/(6/1930)?
False
Let h(w) = -150*w - 68. Is 17 a factor of h(-2)?
False
Let f = 14 + -14. Suppose f = -4*g - 262 + 10. Let i = g - -99. Is i a multiple of 12?
True
Let o = -18 + 2. Let f = 10 - o. Let u = 53 - f. Is u a multiple of 9?
True
Let v = 131 + -86. Suppose -b = -v + 11. Is 3 a factor of b?
False
Let i(q) be the second derivative of -q**5/120 + 25*q**4/24 - q**3/6 - 3*q. Let n(d) be the second derivative of i(d). Does 12 divide n(0)?
False
Let b(p) = -2*p**3 + 3*p + 2. Let u be b(-1). Does 10 divide u + 97 - (-4)/2?
True
Let d(l) = l**2 - 3*l + 7. Let h(z) = z - 3. Let y(w) = 2*d(w) + 5*h(w). Let b(r) = 4*r + 19. Let t be b(-6). Is y(t) a multiple of 16?
False
Suppose -2*o - 2*v = -18, -o - v + 29 = 4*o. Suppose -4*s - 1048 = -5*i, -8*i + 616 = -o*i + 4*s. Is 18 a factor of i?
False
Is 42 a factor of (-8)/16 - 493/(-2)?
False
Suppose 2*m - 491 = r + 361, -2*m + 5*r + 860 = 0. Is 17 a factor of m?
True
Let s(y) = 104*y**2 - y. Let t be s(1). Suppose 27 = a - t. Suppose a = 4*k + 2*v + 26, v + 137 = 5*k. Does 9 divide k?
True
Let n = -40 + 40. Suppose 3*k - 5*b - 60 = n, -4*b - 84 + 21 = -3*k. Does 13 divide k?
False
Is -270*(3/15)/(20/(-180)) a multiple of 18?
True
Suppose 5*h + 13 + 22 = 0. Let n = h + 10. Is 18 a factor of 39 - (0/(-1) + n)?
True
Let i(y) = -5*y**3 + 5*y + 3*y**2 + 4*y**3 + 2 + y**2. Let b be i(5). Suppose b*l - l = 48. Is 14 a factor of l?
False
Let p = -1319 + 2220. Is 45 a factor of p?
False
Suppose 10*l - 1222 = 458. Is 8 a factor of l?
True
Suppose -3*f + 18 = -27. Let n(s) = s**3 - 14*s**2 - 9*s. Does 18 divide n(f)?
True
Let d = -14 + 26. Let v = d - 8. Suppose -v*m + 8*m - 40 = 0. Is 8 a factor of m?
False
Let z = 7 - 2. Let s = z + 38. Does 5 divide s?
False
Suppose 5*w + 10 = -3*n, -4*n + 2*n - 2*w = 4. Let r = 46 - -4. Suppose n = -g - 17 + r. Does 11 divide g?
True
Let d be (4 + -78)*(1 + -3). Let z(n) = n**2 - 8*n - 5. Let f be z(9). Suppose 2*j - j - f*b = 48, 2*j - d = -5*b. Does 16 divide j?
True
Let t be (3/(-2))/(2/(-4)). Let d = -24 + 106. Suppose -g = -t*g + d. Is g a multiple of 11?
False
Let g(p) be the third derivative of -p**6/120 - 7*p**5/60 + p**4/8 + p**3/3 + 2*p**2. Let n be (-20)/(-6)*(-132)/55. Does 21 divide g(n)?
True
Let g = -22 - -27. Suppose -3*c = a - c - 17, -g*a + 30 = -c. Is 2 a factor of a?
False
Suppose -5049 = -12*q + 2247. Does 19 divide q?
True
Let i be (-15)/(-6) - 2/4. Let g(t) = -7 + t + 7*t - 4*t + 2*t**i - 1. Is 12 a factor of g(-5)?
False
Suppose 3*o = 3*f + 12, 0*o = -o + 5*f + 20. Let k be 0 - (2 + 0 + -4). Suppose z = o, -k*z + 27 = l - 11. Does 19 divide l?
True
Let i(z) be the third derivative of z**4/12 + 29*z**3/3 - 4*z**2. Let a be 0 + (-3)/(-3)*0. Is i(a) a multiple of 29?
True
Let p(t) = 81*t + 37. Does 7 divide p(3)?
True
Suppose 3*u + 3*f = 3, 0*u - 14 = -2*u + 2*f. Suppose -t = 3*b - 58, t - u = -b + 16. Is b a multiple of 7?
False
Suppose -u - a + 0*a + 12 = 0, 4*u - 58 = a. Let v be 4/30 + (-1076)/(-30). Let p = u + v. Is 34 a factor of p?
False
Let r(p) = 252*p**2 + 3*p - 10. Does 4 divide r(2)?
True
Let z = -1888 - -442. Does 12 divide z/(-15)*1 + 4/(-10)?
True
Let l(z) = -3*z + 2. Let c be (-3)/(-6) + (-4)/8. Let f be l(c). Suppose 0 = 5*v - f*a - 9 - 167, -5*a = -2*v + 83. Does 34 divide v?
True
Let d be (21/(-6) - -3)*(-6 + 4). Let u(q) = 1 - 2*q + 90*q**2 + 50*q**2 + 0. Does 20 divide u(d)?
False
Let o(h) = h**2 - 3*h + 7. Let r(s) = -s + 3. Let b be r(-5). Suppose 5*w - 4*w + b = 0. Is 27 a factor of o(w)?
False
Suppose -5*j = -4*c + 989, -2*j + 399 = 3*c - 337. Is 6 a factor of c?
True
Suppose -2*t + 19 = 5*y, -3*y + 5 + 4 = 0. Suppose 4 = -t*m, 0 = 3*o + 2*m - 4 - 4. Suppose 0 = -3*i - 5*s + 98, -3*i = -0*i - o*s - 62. Is i a multiple of 13?
True
Suppose 9 = 4*j - 3. Suppose 0 = -t + 4, 4*u + j*t - 197 = 95. Suppose -3*r + r = -u. Is 11 a factor of r?
False
Suppose -744922 = -82*h - 259318. Does 14 divide h?
True
Let g be 30/(-9)*(-6)/4. Suppose p = -3*f + 4 - 28, -16 = 2*f - g*p. Let w = f - -17. Does 9 divide w?
True
Let z(h) = h**2 - 2*h. Let o be z(3). Let m be (7/3)/(4/12). Suppose j + o = m. Does 3 divide j?
False
Let t be 2/(-2*1/(-7)). Let l = -53 - -56. Suppose -b + t + l = 0. Does 4 divide b?
False
Suppose n + 10 = 7. Let g(c) = -18*c + 1. Is 11 a factor of g(n)?
True
Suppose 5*d = -5*l - 0*d + 400, -d - 240 = -3*l. Let y = 262 - l. Is y a multiple of 13?
True
Let a(s) = s**3 - 6*s**2 - 3*s + 1. Let t be a(6). Let b = t - -1. Let m = b + 31. Does 4 divide m?
False
Suppose -i - 5*g - 59 = -3*i, 0 = -i - 2*g + 52. Suppose 0 = 3*q + w - i, -w + 0 = -5*q + 62. Suppose 2*p + q - 57 = 0. Does 22 divide p?
True
Is 12 a factor of ((-192)/(-8))/(10/65)?
True
Let u(g) = g + 15. Let t(x) = -1. Let o(b) = 4*t(b) + u(b). Does 19 divide o(8)?
True
Let o = 55 + -38. Let q = -15 + o. Suppose -2*m + 2*t = -3*t - 89, -82 = -q*m - 2*t. Is 21 a factor of m?
True
Let t(w) = -6*w - 3*w + 9*w - 18 - 5*w. Does 6 divide t(-18)?
True
Suppose -2*j - 6 = u - 18, 4*j = -4*u + 24. Is j a multiple of 2?
True
Suppose -7*p + 1611 = 141. Suppose 9*m - 642 = -p. Is m a multiple of 15?
False
Let w(b) = b**3 - 8*b**2 + b - 4. Let z be w(8). Suppose z*d = -0*d + 16. Suppose -u + 110 = d*u. Is 6 a factor of u?
False
Let l(g) = 2*g**3 + g**2 - g + 1. Let t be l(1). Suppose r - 24 = -t*r. Is r a multiple of 6?
True
Let b(i) = -25*i + 371. Is 16 a factor of b(-5)?
True
Suppose 5*u = 1887 - 22. Does 21 divide u?
False
Let y(f) = 21*f**2 - 36*f**2 + f - 5*f + f. Let a be y(-3). Does 30 divide a/(-2) + -2 + -1?
True
Suppose v = 5*q - 368 + 1123, -3817 = -5*v + 4*q. Is 17 a factor of v?
True
Let j(o) = o**2 - 4*o + 7. Let z(x) = -2*x. Let v(f) = 2*j(f) + 2*z(f). Is 7 a factor of v(6)?
True
Is ((-836)/(-16) + -11)*(-56)/(-3) a multiple of 10?
True
Suppose -21*c + 17*c + 828 = 4*t, -c + 195 = -5*t. Does 5 divide c?
True
Suppose -5*k + 2*r - 78 = 0, k + 5*r - r - 2 = 0. Does 10 divide 5/(-35) + -1 + (-856)/k?
True
Suppose -5*l + 6 = -2*i - 7, 3*i = -3*l + 12. Suppose -17*v = -10*v. Suppose -4*x - x + 4*f + 322 = v, 0 = -l*x + 2*f + 192. Does 11 divide x?
False
Does 6 divide 12/36 + (0 - (-59)/3)?
False
Let b = -3837 + 5650. Does 12 divide b?
False
Let v be (1 - 5)*4/(-8). Suppose -v*d + 10 = 2*d - 2*x, -2*d - 3*x + 1 = 0. Is d/3*(32 + 19) a multiple of 6?
False
Let l(m) = -m**3 + 14*m**2 - 5*m + 27. Is l(9) a multiple of 19?
False
Let d = 3 + 0. Suppose 9 = -d*v + 21. Suppose q - v = 3. Is q a multiple of 3?
False
Is 1047*7/(42/4) a multiple of 30?
False
Let g(d) = -2*d**2 - 4*d - 3. Let p be g(-2). Let i(a) = a**2 + 3*a - 1. Let l be i(p). Does 4 divide (1 + l)/(-2) - -22?
False
Suppose 0 = 1301*c - 1297*c - 2488. Is c a multiple of 47?
False
Suppose 2*w - g = -1, 3*w + 4*g - 6 = 20. Let t be (37/w)/((-1)/6). Let b = t + 156. Is 15 a factor of b?
True
Let z be ((-32)/(-12) - 3)*-3. Is 16 a factor of -1 - -1 - (-143 - z)?
True
Let q be ((-2)/6 + (-68)/12)*3. Is 4 a factor of (-77)/(-4) + (3 - q/(-8))?
True
Let b(k) = -k - 3. Let z be b(-3). Is 15 a factor of -45*((-10)/3 + z)?
True
Suppose 14 = d - 2*h + 6*h, 3*d = -4*h + 82. Let n = 38 - d. Suppose -n*r - 3*r = -511. Is r a multiple of 14?
False
Let l(a) = -7*a**2 - 27*a + 28*a + 0*a**2 + 4 - a**3. Let t be l(-7). Is 12 a factor of (-107)/(-3) - 1/t?
True
Suppose 5*i + 4*d - 45 = 0, -5*d + 20 = -d. Suppose -5*x + 5 = g - 3, -3*g + 4*x = -i. Suppose r = s + 6, -1 = -g*r + 5*s + 9. Is 5 a factor of r?
True
Suppose 0 = -3*v + 9, 3*v = 5*o - 1114 - 1767. Is 17 a factor of o?
True
Let s(p) = 2*p - 15. Let a be s(4). Is 13 a factor of a/14 + 1250/4?
True
Let r(k) = 2*k**3 - 2*k**2 - k + 1. Let b be r(2). Suppose b*x + 204 = 4*x. Let t = 105 + x. Does 10 divide t?
False
Suppose -3*f - 2*o + 1016 = 0, 0 = 5*f + 4*o - 900 - 796. Is f a multiple of 21?
True
Let f(g) = -48 + 20 + 20 - 4*g. Does 5 divide f(-9)?
F