Is c(t) a multiple of 7?
False
Let a(w) = w**3 + w**2 + w + 1. Let u be a(0). Suppose 0 = 3*t + 2*m - 14, u = -5*t + 4*m - 5. Suppose t = -4*s + 98. Is 21 a factor of s?
False
Is 46476/216 - (-1)/(-6) a multiple of 3?
False
Suppose -11852 = -4*n + 8*i - 11*i, 2*n + 2*i - 5924 = 0. Is n a multiple of 53?
False
Let m = -107 - -41. Suppose 4*z = -a - 7, 4*a + z - 30 + 13 = 0. Let i = a - m. Is 22 a factor of i?
False
Let i = 618 - 16. Suppose -2 = 4*d - i. Is 30 a factor of d?
True
Let g(o) = 78*o**2 + 6*o + 5. Let v be 5/(-7) - (2 + (-24)/14). Is g(v) a multiple of 7?
True
Let m(w) = w - 15. Let i be m(12). Is i*(2/((-18)/219))/1 a multiple of 22?
False
Suppose 25 = q - 110. Is q a multiple of 3?
True
Suppose 167 = 4*w + 71. Suppose 2*x - 4*b = 1 - 21, 5*b + 10 = 0. Does 3 divide (24/x)/(w/(-84))?
True
Let u(g) = 4*g**2 + 13*g + 40. Is 29 a factor of u(-7)?
True
Suppose -v - 5 = -5*f, 0*f - 2*f - 19 = v. Let a be 48/v - (-1)/5. Is 13 a factor of a/(-3)*0 - -23?
False
Suppose -3*n - 577 + 217 = 3*d, n + 243 = -2*d. Let h = 54 - d. Is 22 a factor of h?
False
Suppose 3 = 5*j - 37. Is 3 a factor of 3/1 - 4/j*-26?
False
Let d(i) = -i**3 + 6*i**2 - 3*i + 11. Suppose -a = 1 - 6. Does 11 divide d(a)?
False
Let z be (-2 + 0 - -2)/(-5 + 6). Suppose z = -11*d - 0*d + 1903. Is 33 a factor of d?
False
Let p(s) = -2*s**3 - 4*s**2 + 2*s - 28. Is p(-5) even?
True
Let i(q) = q**3 - 8*q**2 - 3*q + 6. Suppose 0 = 5*y - 0*y - 45. Is i(y) a multiple of 3?
True
Let y be (-28)/(-10) - 12/(-60). Let u(h) = 4*h - 2. Let z be u(y). Suppose z = -f + 35. Does 6 divide f?
False
Suppose u + 6 = 2*u - w, -4*u = -w - 12. Suppose -69 - 51 = -u*l. Does 15 divide l?
True
Let n(m) = m**2 + 4*m - 2. Let j be n(-4). Let l be 12*4/(-6)*j. Is 2/(l/20)*18 a multiple of 32?
False
Let q(l) = 26*l**3 - 2*l - 1. Let k be q(-1). Suppose 0 = -o + 53 - 16. Let i = o + k. Is i a multiple of 12?
True
Let p be (-6)/14 - 1845/7. Let g = -64 - p. Does 19 divide g?
False
Let p(b) = -b**3 - 9*b**2 + b + 24. Let v be p(-9). Suppose 16 = -3*r + 7*r. Suppose 9*y = r*y + v. Is y a multiple of 3?
True
Let i(n) = 13*n**2 - 7*n + 5. Let u(x) = -1. Let f(t) = 7*t**2 - 4*t + 7. Let z(k) = f(k) + 4*u(k). Let m(j) = 3*i(j) - 5*z(j). Is m(2) a multiple of 9?
False
Suppose -3*u - 399 = 2*w, -950 = 5*w - 2*u - 0*u. Let k = -103 - w. Is k a multiple of 8?
False
Let z(s) = 3*s - 1. Let w be z(1). Let x(i) = 10*i**w + 11 + i**3 + 98*i - 2*i**2 - 104*i. Is x(-8) a multiple of 17?
False
Let t(m) = 2*m**2 - 44*m + 40. Is t(35) a multiple of 19?
True
Is -4*10/12*-36 a multiple of 12?
True
Let r(t) = 5*t**2 + 11*t + 38. Is r(-7) a multiple of 12?
False
Suppose 4*l = l + 54. Let v = l + 11. Suppose 5 = -w + v. Is 6 a factor of w?
True
Let f be 701/3 - 4/6. Suppose 0 = -5*k + 3*x + 229, -5*k = 4*x - 5*x - f. Is 14 a factor of k?
False
Is 2 a factor of 11 + -7 + 3*29?
False
Let a(w) = -w**2 + 3*w + 3. Let l(d) = -d**2 + 2*d + 4. Let v(t) = 3*a(t) - 4*l(t). Let q be v(-4). Suppose -10*o + 335 = -q*o. Is o a multiple of 13?
False
Suppose 0 = -4*x + 8*x. Suppose j = -4*d + 159, 5*j + x*j = 3*d - 125. Is d a multiple of 28?
False
Is 37 a factor of -5 - (-5 + 607)/(-2)?
True
Let z(a) = -a**2 + 15*a - 8. Suppose -5*m + 120 = 5*v, -8*v - m + 108 = -3*v. Let g be (2/1)/(3/v). Is z(g) a multiple of 4?
False
Suppose -15210 = -71*z + 62*z. Does 13 divide z?
True
Suppose 175*y = 177*y - 336. Does 24 divide y?
True
Suppose 3*h = -5*z + 138, 4*h - z = h + 120. Suppose -100 = -3*l + 302. Suppose -2*d = 3*i - h, l - 44 = 5*i - d. Is 17 a factor of i?
True
Let i = -4 + 57. Suppose 0 = -2*c + 6, 4*c - 35 = -4*j + i. Is 3 a factor of j?
False
Suppose -109*a + 18810 = -90*a. Is a a multiple of 90?
True
Let y be 10/2*(1 + 0). Suppose -y*t + 16 = 4*a - 6*a, -4*t + 5*a + 6 = 0. Suppose -n + 125 = t*n. Is n a multiple of 25?
True
Suppose 4*w - 3*m = 23 + 40, 0 = m + 5. Does 9 divide w*((-21)/(-56))/(3/106)?
False
Let k(z) = 2*z - 26. Let r be k(13). Suppose 3 = q - 5*i, -3*i = -r*q + 3*q - 27. Is q a multiple of 8?
True
Is 36 a factor of ((17/2)/(-1))/((-86)/1548)?
False
Suppose 3270 = 11*p - 2032. Does 20 divide p?
False
Suppose -9*b + 30 = -3*b. Suppose 2*x - x = -3*f + 16, -b*f - 5 = 0. Does 3 divide x?
False
Let l = -4 - -5. Suppose l = 3*d - 8. Let m(a) = 9*a - 6. Is m(d) a multiple of 7?
True
Let f be (-4)/(-10)*5 - 0. Suppose 0*u + 3*u - 270 = -3*k, f*u - 356 = -4*k. Is k a multiple of 43?
False
Suppose 4*b - 3 + 11 = 0. Let g be b/(-4) + (-70)/(-4). Does 8 divide ((-4)/(-1))/(3/g)?
True
Let w = 1598 + -1541. Is 11 a factor of w?
False
Let r(a) = 49*a + 12. Let n be r(-4). Let o = 352 + n. Does 12 divide o?
True
Let v(a) = a**2 - 8*a + 13. Let r be v(7). Suppose r*z = z + 75. Suppose h + 4*h - z = 0. Does 2 divide h?
False
Let d(c) = c**2 - 4*c + 9. Let z be d(4). Let m be (-6)/z - (-52)/(-12). Is 4 a factor of m/20 - 34/(-8)?
True
Is (958/(-10))/(-4*1/20) a multiple of 70?
False
Suppose 2436 = 10*w - 1594. Is 31 a factor of w?
True
Let h(c) = c**2 + 18*c + 2. Let t be (-95)/5 + (0 - -1). Let r be h(t). Suppose f = 2*k - f - 240, 246 = r*k - 4*f. Does 24 divide k?
False
Suppose 3*r - 473 = 5*y, -3*y + 432 = -5*r + 1231. Does 26 divide r?
False
Suppose -5*n + 5 = -0*n - m, 0 = 4*n + 4*m + 20. Let j be n - (-8)/(2 + 2). Suppose -2*a - v + 12 = 0, -v + 4 = -a + j*a. Is a a multiple of 4?
True
Let q(j) = 9*j**2 + 25*j - 240. Is 77 a factor of q(16)?
True
Let x(j) = -j**3 + 20*j**2 + 49*j - 100. Does 3 divide x(22)?
False
Let y(s) = -s**3 + 2*s + 36. Suppose -3*z = -z + 2. Let q = z + 1. Is y(q) a multiple of 18?
True
Let k = -116 - -1412. Is k a multiple of 6?
True
Let c(u) = -u**3 + u + 126. Suppose -2*f + 20 = f + 5*x, -12 = -3*f - 3*x. Is c(f) a multiple of 31?
False
Let v be 8 + (-5 - (-1 + 0)). Suppose -338 = -v*f + 5*d, -4*f = -9*f + d + 433. Is 12 a factor of f?
False
Let y be -2*-2*(-3)/(-12). Let b(r) = 69*r**3 + r**2. Let x be b(y). Suppose 0 = -5*d - 5, -5*i - 5*d + x = -170. Is 18 a factor of i?
False
Let l(x) = -x**3 + 4*x**2 + x - 1. Let b be (6/(-15))/(1/(-10)). Let c be l(b). Suppose -7*u + c*u - 4*w = -40, 3*w = 4*u - 54. Is u a multiple of 12?
True
Suppose -6*w - 5 + 167 = 0. Suppose 3*q - 5*l - w = 2*q, -14 = 3*q + 4*l. Suppose -3*p = -q*s - 69, 10 = 3*p - 3*s - 62. Does 7 divide p?
True
Let p = 105 + 235. Is 5 a factor of p?
True
Suppose -3*w + 111 = -30. Let n = w + 31. Is n a multiple of 8?
False
Suppose -6 = -3*i, -4*o + 144 + 242 = 3*i. Suppose 0 = -4*n + 5*f + 51 + 114, -3*n - 2*f + o = 0. Is 11 a factor of n?
False
Let o be (19*-5 - -2)/((-24)/80). Let r = o + -90. Is 24 a factor of r?
False
Suppose -4*h = -217 - 183. Suppose 0 = 37*l - 42*l + h. Does 4 divide l?
True
Let s(d) be the second derivative of 11*d**5/20 + d**4/12 + d**3/6 - d**2 - 6*d. Is 11 a factor of s(1)?
True
Let k be (-10)/(-8) + 4/(-16). Let r(o) = 23*o**2 - 4*o + 4. Is r(k) a multiple of 15?
False
Let k = 48 + -47. Does 17 divide k/(-4 - (-685)/170)?
True
Suppose 2*o - 1348 = 81*g - 86*g, 0 = o + 1. Does 5 divide g?
True
Let b = -833 + 1493. Is b a multiple of 12?
True
Suppose -3*s = 3*s - 4914. Suppose -10*m + m + s = 0. Does 13 divide m?
True
Let c(m) be the first derivative of m**4/4 + 2*m**3 - 2*m**2 + m + 13. Does 25 divide c(-6)?
True
Suppose -5*n = 393 + 337. Let o = -62 - n. Is 21 a factor of o?
True
Suppose v - 2 = -0. Let x(b) = b - b**2 - 2*b**3 - 3 + b**2 + b**3 + v*b**2. Is x(-3) a multiple of 14?
False
Suppose 3*h + 505 = -182. Let t = -593 - -922. Let z = t + h. Does 26 divide z?
False
Let q = -79 - -274. Suppose -u - q = -5*c + 4*u, 0 = 5*c + 3*u - 195. Does 13 divide c?
True
Let j(b) = -27*b + 6. Let g be j(-2). Is (35/28)/(1/g) a multiple of 17?
False
Let z = 52 + 64. Let b = -35 + z. Is b a multiple of 9?
True
Let o(i) = -i**2 + 10*i + 26. Let s be o(12). Suppose n - 4*r = -9*r + 170, -2*r = s*n - 308. Is n a multiple of 25?
True
Let y = 42 + -39. Suppose y*d + 2*q + 0 = 26, 0 = -4*d + 3*q + 12. Is 2 a factor of d?
True
Let s be 6/15 + (-9536)/(-10). Let y = s - 636. Does 11 divide 16/24*y/4?
False
Let p(w) = -4*w - 52. Suppose 0 = 5*i + 2*o + 132, 7*i - 3*i = -2*o - 106. Is p(i) a multiple of 20?
False
Let y(u) = 5*u - 21. Let z be y(5). Suppose -z*f - 3*v = 57, 2*v + 1 + 7 = -f. Is (f/(-4))/((-27)/(-72)) a multiple of 6?
Tr