0 - p) a multiple of 11?
False
Let u(j) = j**3 - 17*j**2 + j - 22. Let g = 515 + -496. Is u(g) a multiple of 50?
False
Let p(j) = -2*j**3 - 16*j**2 + 22*j - 33. Let s(k) = -3*k**3 - 94 - 2*k**3 - 4 - 15*k + 80*k - 48*k**2. Let c(i) = -8*p(i) + 3*s(i). Is c(15) a multiple of 15?
True
Suppose -61 = -10*z + 9. Suppose 4*c - 125 = -v, z*c - 3*c + 400 = 4*v. Is 21 a factor of v?
True
Let q(g) = g**3 + 3*g**2 - 2. Let h be q(-2). Let v be ((-82)/(-3))/(h/6). Suppose -14 - v = -2*i. Is 20 a factor of i?
False
Suppose -l - 28 = -3*l. Suppose -3*k - 3 = -5*c - 15, -8 = c + 5*k. Let z = c + l. Does 2 divide z?
False
Suppose 17*k - 7864 = 2846. Does 35 divide k?
True
Suppose -4*a - 666*t + 94688 = -668*t, 4*a = 3*t + 94692. Is a a multiple of 90?
True
Let t(x) = -4*x**2 + 15*x + 29. Let n be t(5). Let g be 2/(-2) + 364/4. Suppose 2*j = 5*d - g, -3*j + 29 + 43 = n*d. Is 6 a factor of d?
True
Let j(b) = -1659*b - 6208. Does 213 divide j(-30)?
False
Suppose -5*j = 3*z - j - 32963, -3*j - 43934 = -4*z. Is 44 a factor of z?
False
Suppose 38*y - 35*y - 1170 = 0. Suppose a - y = -a. Let x = -130 + a. Is x a multiple of 11?
False
Let p(j) = 22*j**2 + 6*j - 28. Let o(t) = -7*t**2 - 13*t - 13. Let r be o(-1). Is p(r) a multiple of 21?
True
Let h = 247 - 267. Let r = h - -382. Does 58 divide r?
False
Let f(n) = -5248*n - 137. Does 131 divide f(-2)?
False
Suppose 269*l - 7564383 = 5166580. Does 132 divide l?
False
Let j(r) = -60*r + 2180. Is 14 a factor of j(6)?
True
Suppose -35*y - 1771 = 31*y - 21967. Is 9 a factor of y?
True
Let d(w) be the third derivative of 23*w**5/60 - w**4/6 + w**3 - 30*w**2. Is 18 a factor of d(2)?
True
Let k = -44 - -168. Suppose 130*m - 2688 = k*m. Does 16 divide m?
True
Suppose 7*o - 2494 = 1258. Let f = o - 266. Does 7 divide f?
False
Suppose -9*q - 34 = -26*q. Suppose q*s - 16 = -2*s, o - 766 = 2*s. Is o a multiple of 86?
True
Let d(p) = -4*p - 3. Let y be d(0). Let t be (-3)/(0 - 3)*y - -529. Does 21 divide 5/(-25) + t/5?
True
Let i(u) = -4*u - 12. Let b be i(-31). Let p be ((-345)/(-45))/((-80)/(-78) + -1). Suppose -a - b + p = 0. Is 18 a factor of a?
False
Suppose 12*h - 2*h - 11*h + 1068 = 0. Does 4 divide h?
True
Let o be (5 - (-3)/((-6)/2)) + -112. Let k = -106 - o. Does 8 divide 2*(-1)/k*(-2112)/16?
False
Let t(b) = 9*b**2 - 79*b - 1535. Does 51 divide t(-49)?
False
Let n = 8819 - 7170. Does 100 divide n?
False
Let j be (-3 + 5)/(1*1/(-218)). Let l = 681 + j. Does 8 divide l?
False
Is 6 a factor of 8 - (5181/(-6) + 21/(-14))?
False
Is 24 a factor of (1407 - 3)*260/78?
True
Does 8 divide (-1657630)/(-451) + 60/110?
False
Let s(d) = d**2 - d - 7. Let b be s(-3). Suppose 0 = 7*g - 16*g - b*g. Suppose c + 35 = 2*c - k, 2*c + 4*k - 100 = g. Is c a multiple of 20?
True
Suppose -88650 + 33322 = -13*a. Is 16 a factor of a?
True
Let f(i) = -34*i - 13 + 10 - 8 - 16*i**2 - i**3. Let o be f(-14). Let w = o - -5. Is w a multiple of 18?
False
Let t(d) be the second derivative of -d**4/12 + d**3 + 2*d**2 - 30*d. Does 5 divide t(4)?
False
Let o(v) = 127*v - 847. Does 255 divide o(136)?
False
Let p = 156 - -138. Is 6 a factor of p?
True
Let o be 4 - (-4 + 4 + 3). Suppose 4*w - 2*w = -4*k + 2, o = 2*w + 3*k. Is -4*w/(-1) + 21 a multiple of 8?
False
Let x(k) = -10*k - 7 - 140*k**2 + 44*k**2 + 48*k**2 + 47*k**2. Let q be x(-9). Suppose -5*a - 3*d = -145, 31 = q*a - 5*d + 4. Is a a multiple of 13?
True
Suppose 0 = -5*u + i + 19451, 0 = 3*u - 2*i - 7134 - 4524. Is 7 a factor of u?
True
Let k be (-3 + 6)/((-2)/4). Let p be (k/(-4))/((-1)/(-4)). Let l(y) = -y**2 + 8*y - 3. Is 2 a factor of l(p)?
False
Suppose 11 + 65 = 19*l. Suppose -2566 = -l*o - 798. Is o a multiple of 13?
True
Let t = -3204 + 7594. Suppose 6*u - t = 980. Is u a multiple of 9?
False
Suppose 0 = 3*b + 5*c - 30, b + c - 8 = -0. Suppose 4*g = b*g - 20. Is 4 a factor of (-338)/(-5) + (-12)/g?
False
Suppose 21*i - 2 = 19*i. Does 17 divide (i - -1 - -23)*1680/200?
False
Let c(q) = 2*q**2 + 2*q - q**2 - 6 + 12. Let w be c(0). Suppose 1780 = w*g + 340. Does 48 divide g?
True
Let r be (-3 + 1 + (-20)/16)*-16. Let t = r - 51. Is (4 - t) + (0 - (5 + -120)) a multiple of 36?
False
Suppose 37 = 5*q + k, -2*k + 11 = 5*q - 4*q. Let o = -4 + q. Suppose c - 4*l - 38 = 41, o*c - 4*l - 213 = 0. Is c a multiple of 7?
False
Let g = 5783 - 4271. Is g a multiple of 5?
False
Suppose -128*m + 1606678 = 305430. Does 46 divide m?
True
Let b(d) be the first derivative of -5*d**2/2 + 23*d + 1. Suppose 21*t - 30 = -177. Is 14 a factor of b(t)?
False
Let t be 7 + (6 - 6) - -2946. Suppose -5*n - 18 + t = 0. Is n a multiple of 14?
False
Let j = 1978 + -1088. Suppose 5*i - z = -0*i + j, 5*z = 4*i - 733. Does 56 divide i?
False
Let g(l) = 8433*l - 13488. Does 89 divide g(5)?
False
Let g be ((-21)/(-7))/(2/(-22)). Let c = 13 + g. Does 22 divide c/12*-1*3*19?
False
Let l = -49 - -50. Let y = 7 - l. Let h = y + 44. Is h a multiple of 25?
True
Suppose -23 = -0*n + 3*n - 4*o, 2*n + o + 19 = 0. Let y be 6 + (n/3 - 1). Suppose 5*p = y*p + 165. Does 11 divide p?
True
Let s(x) = x**2 - 2*x - 3. Let g be s(5). Suppose 2*n = v - g, -2*v + 3*n = v - 39. Suppose -10*k = -v*k + 88. Is 11 a factor of k?
True
Suppose -4*z + 3*g + 7 = 0, 0*g = z + 3*g + 2. Suppose c + z = 154. Let r = c + -103. Is 5 a factor of r?
True
Suppose 6778125 = 8*m + 78*m - 11*m. Does 15 divide m?
True
Let m(s) = -30*s**3 + 50*s**2 + 9*s + 216. Does 45 divide m(-9)?
True
Let v be 0/(20/5 - 6) - -15. Suppose -v + 213 = h. Is 11 a factor of h?
True
Let q be (-398)/(-6) + (40/15 - 3). Let s(b) = -4*b**2 - 4*b + 4. Let t be s(-4). Let p = t + q. Is p a multiple of 16?
False
Suppose -133*y + 502 = -828. Let c = -4 - -8. Let i = y - c. Is i a multiple of 3?
True
Let f be ((-4)/(-6))/((-14)/(-12) - 1). Is 15 a factor of -25*114*f/(-40)?
True
Suppose 4*c = 2*m - 6 + 26, 5*c - 2*m - 26 = 0. Suppose c*v - 683 + 215 = 0. Is 10 a factor of v?
False
Suppose -43 = 19*j - 233. Suppose 5*l + 20 = 0, j*l - 2010 = -5*i + 5*l. Is i a multiple of 33?
False
Does 43 divide (-482847)/(-38)*6/9?
True
Suppose 129660 = 69*q - 14412. Is q a multiple of 88?
False
Suppose 0 = -2*h + 3*b - 222 - 362, -2*h - 594 = 2*b. Let p = -207 - h. Does 11 divide p?
True
Does 107 divide (-11)/(22/(-1070))*9?
True
Let h(c) = 44*c - 920. Is h(84) a multiple of 16?
False
Let l(v) = -2*v + 23. Let f be l(10). Suppose -2*s = 10, -2*u + f*s + 28 = -s. Suppose -x = 0, -2*z = x + u*x - 46. Is 10 a factor of z?
False
Let w be (-50)/18 + -3 + 75/27. Is 29 a factor of ((-29)/w)/(2/102)?
True
Suppose 5*p + 6*r - 1573 = 8*r, 2*p - 618 = -2*r. Does 23 divide p?
False
Suppose -3*o - 6314 = -10*o. Suppose 3*y - 5*y = -o. Is y a multiple of 36?
False
Let w be 10/(-25) + 1/5*207. Let j = 61 - w. Is j even?
True
Let n be 6/(4 + -5) - (-14 + 3). Is n/(-2) + ((-26020)/(-8))/5 a multiple of 18?
True
Let m = 66 - -6807. Is m a multiple of 87?
True
Let t = -22692 + 27032. Is 10 a factor of t?
True
Let k(o) = -4133*o - 2432. Is k(-6) a multiple of 37?
False
Let m = -1447 - -1701. Does 5 divide m?
False
Let b(x) = -2*x**2 + 27*x - 10. Let g be b(13). Suppose 3*z = -2*h - 5054, 3*z + g*h + 4028 + 1030 = 0. Is 7 a factor of ((-12)/66 + z/66)*-3?
True
Let z = 112 - 103. Suppose -2*v - 448 = -z*v. Does 16 divide v?
True
Let j be ((-298)/(-10) - 1)/((-2)/95). Let z = -720 - j. Is 36 a factor of z?
True
Let h = 15 + -13. Suppose g - 394 = -3*b + h*g, -16 = 4*g. Does 13 divide b?
True
Let c(a) = -a - 6. Let v be c(-10). Suppose 6 = -j + 2*h, j - v*h + 0*h + 16 = 0. Suppose j*d = -d + 75. Is d a multiple of 3?
True
Let i(x) = 12*x + 49. Let m be i(9). Let v = -115 + m. Is v a multiple of 2?
True
Let c be 588/(-7)*(6/(-7))/1. Suppose 68*z - c*z + 2420 = 0. Is 55 a factor of z?
True
Let r = -2976 + 3241. Is 4 a factor of r?
False
Suppose -5*t - 2*w + 97031 + 20757 = 0, -3*w - 70656 = -3*t. Does 78 divide t?
True
Let a(x) = x**3 - 9*x**2 - x - 18. Let w(d) = -d**2 + 4*d - 1. Let v be w(3). Suppose 47 - 67 = -v*h. Is 8 a factor of a(h)?
True
Let g(j) = -176*j - 691. Is g(-25) a multiple of 31?
False
Let b(d) be the third derivative of 0*d + 18*d**2 + 1/6*d**5 + 0 - 5/24*d**4 - 5/6*d**3. Is b(-2) a multiple of 3?
True
Let r = 60 - 41. Suppose 7577 = r*x - 403. Is x a multiple of 33?
False
Let m(c) = c**3 + 9*c**2 - 69*c. Let z be m(5)