 z(y) = -4*y - 11. Is z(p) a multiple of 17?
True
Suppose 625*c - 134101 = 614*c. Does 73 divide c?
True
Let p be -1*(-10 + 11) + 2/(-1). Is 48 a factor of (224/2)/(p/(-9))?
True
Let o(l) = -255*l**3 + 2*l**2 + 4*l + 3. Let g(y) = -510*y**3 + 5*y**2 + 8*y + 5. Let z(v) = 3*g(v) - 5*o(v). Is 8 a factor of z(-1)?
True
Suppose 139478 - 470750 = -18*l. Is 156 a factor of l?
False
Let q = 5379 - 7619. Is 16/12 + q/(-21) a multiple of 18?
True
Let w = -15 + 20. Suppose -w + 12 = x + 3*m, 4*m + 12 = -4*x. Does 14 divide 16/(-64) - 226/x?
True
Suppose k + 5*z - 2933 = 0, -7649 = -3*k - 5*z + 1150. Is 28 a factor of k?
False
Suppose -3*s = 3*f - 996, -28*s + 978 = -25*s - 3*f. Is 29 a factor of s?
False
Let z be ((-40)/18)/(6/(-27)). Let i(t) = 6*t**2 + 27*t - 46. Is i(z) a multiple of 38?
False
Let l(q) = q**3 - 23*q**2 - 80*q - 34. Let w be l(26). Let a = w + 278. Does 6 divide a?
True
Suppose -316*n + 41064 = -198*n. Does 75 divide n?
False
Suppose -2*k + 2780 = x - 472, 0 = 2*k - 12. Does 90 divide x?
True
Let z = 35 + -9. Let d = z - 26. Is 2 + (d - 3) - -97 a multiple of 14?
False
Let z = -4 - -4. Suppose 2*m + 6 = z, 6*q + 5*m = 4*q + 43. Let f = 84 - q. Is f a multiple of 11?
True
Let u(a) = 3*a**3 - 18*a**2 - 16*a + 943. Is 29 a factor of u(19)?
False
Let i = -59 + 42. Suppose -44 = 2*x + 4*l + 80, -4*x = 5*l + 251. Let a = i - x. Does 11 divide a?
False
Let s(n) = 32*n**3 - 26*n**3 + 5*n**2 + n - 7 - n**2. Is 34 a factor of s(3)?
False
Suppose -j + 5*n + 1819 = 0, -352*n + 347*n = -20. Is 51 a factor of j?
False
Suppose 9*p = 4*p - 80. Let z be (-15 - -11)/(-14 + 16). Let q = z - p. Is q a multiple of 7?
True
Let q be (7/(-21))/(1/(-60)). Let y be ((-28)/(-8) - 3)*q. Is 12 a factor of -3*y*46/(-115)?
True
Suppose 0 = 5*g - 9*g - 468. Let a be 18/g - 151*46/(-26). Suppose -2*c = c - a. Is c a multiple of 36?
False
Does 18 divide 126*(915/21 + 7)?
True
Let h be (1*(-9)/6)/((-10)/220). Let f be (h/6)/((-3)/(3*-2)). Is (-2)/f - (-530)/11 a multiple of 10?
False
Suppose -49 = -3*u - 37. Suppose 2*v - 2 = 0, -104 = u*o + v - 1105. Is o a multiple of 15?
False
Suppose 4*d - 2954 = 1526. Let q be (-24)/36 + d/6. Let v = q + -42. Is 36 a factor of v?
True
Let p(c) = -c + 5. Let s be p(5). Let l be -8*((-124)/(-93) + (-62)/24). Suppose -13*q + l*q + 330 = s. Does 22 divide q?
True
Suppose 0 = 17*c - 19*c + 688. Let z = c - -42. Does 16 divide z?
False
Let b be -3*(3 + -1)*(-4)/12. Suppose -12 = -4*t + 2*t. Does 15 divide t/(-4)*(-87 + -5 + b)?
True
Let d(s) = 12*s**2 - 10*s - 7. Let l(u) = -u**3 - 7*u**2 - 8*u + 6. Let x be l(-5). Does 24 divide d(x)?
False
Let m = 3951 + -3402. Is 9 a factor of m?
True
Let t be (-5 + 6)/(2/4). Let m = t + 0. Suppose 5*b = 5, -2*y = -4*y - m*b + 18. Is 4 a factor of y?
True
Suppose -2*o + 5*o - 744 = 3*q, 4*o = -5*q + 992. Suppose -j + 459 - o = 0. Is j a multiple of 5?
False
Let b(x) = 75*x**2 - 2*x + 2. Let i = -21 - -22. Let d be b(i). Suppose -d - 275 = -7*a. Is 28 a factor of a?
False
Let r = 105 - 150. Let f be (-1110)/r - ((-2)/6)/1. Suppose 30*g = f*g + 370. Is 9 a factor of g?
False
Suppose 23*j + 4043 = 24835. Suppose 3*y + b = j, 243 = -4*y - 3*b + 1455. Is y a multiple of 30?
True
Let p(n) be the third derivative of -3*n**5/20 + 49*n**4/24 - n**3/3 + 8*n**2. Let i(g) be the first derivative of p(g). Is 13 a factor of i(-11)?
True
Suppose 0 = 4*o + 5*y - 33, 6*o + y = 2*o + 29. Suppose -2*w = o*w + 2007. Let i = w + 318. Is i a multiple of 19?
True
Let w be 4/(20/(-5)) + 26/(-2). Is (-80 + w)*(-2)/4 a multiple of 38?
False
Let d(x) = 809*x**2 + 43*x + 16. Does 67 divide d(4)?
True
Let k = 269 + -271. Is 16 a factor of (-1843)/k + (-58)/(-116)?
False
Suppose 27*s + 19099 - 63539 = 46604. Is s a multiple of 41?
False
Let b(a) = 4*a**2 + 17*a + 1. Let f be b(6). Let d be 520/f + (-2)/19. Suppose 5*y - 440 = 2*x, -d*x = -4*y - 4*x + 352. Is 22 a factor of y?
True
Suppose 0 = -63*r - 120*r + 1284111. Is r a multiple of 12?
False
Let n(z) = 34 - 20*z - 18 - 15*z + 9*z**2. Is n(11) a multiple of 24?
True
Suppose -5*j = 3*q + 76, j + 26 = 2*q - 3*q. Let c be (-2)/6 + -159*6/q. Let p = c - -165. Is 14 a factor of p?
False
Let g(d) be the first derivative of 23*d**2/2 - 32*d + 6. Let z be g(-19). Is 11/55 + z/(-5) a multiple of 10?
False
Is 26 a factor of (1475/6 - -13)*12?
False
Let l = 251 - -34. Suppose 5*w - 297 = 8*w. Let t = l + w. Is t a multiple of 32?
False
Let a = 45 - 43. Suppose -a*v + 0*v + 4*s + 4 = 0, 5*s + 11 = 4*v. Suppose v*y - 328 = -4*u, 3*y = 3*u - 2*u + 266. Is 11 a factor of y?
False
Let b = 215 + -210. Suppose -20 = -4*i, b*v - i = 2*v + 115. Does 4 divide v?
True
Does 174 divide (-11489 + 15)/(-2) - -14?
False
Suppose 0 = -3*b - v, -4*v + 2*v = 6. Suppose -h + b = 17. Is (-835)/(-17) + h/136 a multiple of 39?
False
Suppose -76*c = 17*c - 482670. Does 15 divide c?
True
Let n = -48 + 52. Suppose 2*v - v + 5 = -5*m, n*v = 2*m + 24. Suppose v*f + 51 = b, -2*b + 4*f = 7 - 79. Does 26 divide b?
True
Let c(m) = 14*m + 22. Let f(l) = -l**2 - 5*l + 31. Let g be f(-7). Is 10 a factor of c(g)?
True
Let b be 6/(-7)*(-217)/62. Suppose 0 = 2*k + b*h - 713, 3*h = -2*k + 7*h + 692. Does 32 divide k?
True
Suppose 0 = -28*f - 13*f + 1074528. Does 39 divide f?
True
Let c be (-3)/(-21)*-2 - 860/(-70). Let t(f) = -f**3 + 10*f**2 + f - 4. Let b be t(8). Is 32 a factor of (104/c)/(8/b)?
False
Let z = -3210 - -5917. Suppose -10493 - z = -16*f. Does 65 divide f?
False
Suppose 5*o - 2*n - n = 6585, 0 = n - 5. Is 5 a factor of o?
True
Let t(s) = 402*s**2 - 4*s + 1. Is t(-2) a multiple of 33?
True
Let d = 32100 + -10812. Is 45 a factor of d?
False
Let h = 52 - 13. Suppose 0 = -2*x - 5*a + 5, -5*x + a - 13 = -h. Suppose x*u = 6*u - 52. Does 31 divide u?
False
Suppose -a = 122*r - 126*r - 7700, 0 = -4*a + 4*r + 30872. Is a a multiple of 4?
True
Let v = -315 - -747. Is v a multiple of 9?
True
Suppose -b = 2*t - 811 - 472, 5156 = 4*b + 2*t. Suppose -5*x = -5*o - 1160 - 155, 5*x + 3*o - b = 0. Is 33 a factor of x?
False
Let o = 4281 + -2292. Is 9 a factor of o?
True
Let p = 604 - 635. Let z(d) = 6*d**2 + 179*d - 21. Does 14 divide z(p)?
True
Let z be (-224)/(-28) - (-1 - 5). Is 21 a factor of 12786/z + 26/(-91)?
False
Let y = -24 + 34. Let i be (-2 - -1)/(y/(-1530)). Suppose -i = -6*f + 27. Is f a multiple of 16?
False
Let i be (-3)/(-1) + (4 - 3). Is 19 a factor of (-380)/15*(-6)/i?
True
Suppose -2*d + 166 = 3*z, -237 + 76 = -3*z - d. Suppose -10944 = -z*y + 20*y. Is 38 a factor of y?
True
Suppose 0 = 4*u + 5*k + 5, -4*k - 6 = 2*u - 2. Suppose u = 4*a - z - 0 - 12, 2*z = 3*a - 14. Let x = a - -82. Is x a multiple of 12?
True
Suppose y + 2*r = 27 + 15, y - 27 = 3*r. Let x = 64 - y. Suppose 30*h = x*h + 56. Is 7 a factor of h?
True
Let t(f) = 3*f**2 + 2*f - 35. Let v be t(12). Suppose 0 = -10*d + 5*d + 1980. Suppose -4*o + v = -m, d = -0*o + 4*o + 4*m. Is 19 a factor of o?
False
Let g = 135 - -1664. Suppose -14*f + 1547 = -g. Is f a multiple of 22?
False
Suppose -6 = f - 5*j + 12, -2*f - 2*j = 0. Is 30 a factor of (-927)/6*(-4)/((-6)/f)?
False
Suppose 2*x - 3 - 29 = 0. Let y(d) = -2*d + 158. Let k be y(-31). Suppose -x*n = -6*n - k. Is n a multiple of 7?
False
Suppose 5*j - 1506 = -u - 2*u, 2*u - 1204 = -4*j. Suppose 290 = -295*p + j*p. Is p a multiple of 6?
False
Let s be 45/36 + 1/(-4) + 1. Suppose c - 4*g + s*g + 64 = 0, c + 4*g = -64. Let j = -53 - c. Is 2 a factor of j?
False
Suppose 14057 = 3*u + 2*l, l - 6395 = 4*u - 25156. Is u a multiple of 127?
False
Suppose -32*u + 38*u = 24. Suppose 0 = 5*g - u*j - 512, -j - 131 - 72 = -2*g. Is 25 a factor of g?
True
Let f(g) = -7*g - 59. Let p be f(-9). Suppose p = -2*c + 4*w, c + 3 = -w + 4. Is 13 a factor of c/((-8)/(-2)) - -145?
False
Let y(i) = i**3 + 11*i**2 - 6*i - 1. Suppose -3*d - 4 = -5*j + 6, -3*d + 40 = 5*j. Does 11 divide y(d)?
False
Suppose -107*a + 141*a - 4216 = 0. Is a a multiple of 41?
False
Suppose 26*j - 111893 = -9167. Is j a multiple of 54?
False
Suppose -3*s - 4 = -f, 3*s - 16 = f - 5*f. Suppose t + v - 46 = -4*v, 5*t - v - 256 = s. Is t a multiple of 5?
False
Let o(n) = -170*n - 6600. Is o(-41) a multiple of 31?
False
Let n(w) be the second derivative of w**5/20 - w**4/4 - 4*w**3/3 - 5*w**2 + 2*w. Let i(u) = -u**2 - 9*u + 58. Let v be i(-13). Does 12 di