3*p - 4*v - 21. Suppose -5*j = -p, -t + j = -0*t - 99. Is 20 a factor of t?
True
Let h(s) = -6*s + 1. Does 2 divide h(-15)?
False
Let m(g) = 3*g + 3. Let u be m(-1). Suppose -3*k + 5*q + 86 = u, 3*k = -6*q + 4*q + 79. Suppose -h + k = 5*x, h - 2*h + 26 = 4*x. Is h a multiple of 4?
False
Suppose 0 = n + 2*y - 9, 0*y = -n + 4*y - 3. Suppose 0 = -3*t + 5*z + 410, 642 = 5*t + n*z - 3*z. Does 10 divide t?
True
Let p = 749 + -695. Does 6 divide p?
True
Let q = -495 - -708. Is q a multiple of 5?
False
Let f = 2 + -7. Does 15 divide f + 6 - (1 + -35)?
False
Suppose 7*s + 73 = 3. Let g = s + 45. Is g a multiple of 7?
True
Let r(m) = 2*m - 5. Let t = -18 + 28. Does 5 divide r(t)?
True
Let k(m) = m**2 - 8*m - 9. Let i be k(9). Suppose i = -4*h + h + 6. Suppose h*p = -2*p + 44. Does 11 divide p?
True
Suppose 4*k = 2*p + 204, 0*k - 3*p = -3*k + 153. Is 22 a factor of 4/34 - (-5757)/k - 3?
True
Let q(f) = 15*f**2 - 18*f + 62. Is 8 a factor of q(6)?
False
Is 106 a factor of (-4078)/(-3) + 3 + (-45)/135?
False
Let f be -1*(-3 + 28/4). Is 114*((-80)/(-15) + f) a multiple of 19?
True
Suppose -5*j - 5 = 0, 4*a + 0*a = -3*j + 5. Let v be a/(-6) + (-10)/(-30). Is 53 + v + 0 + 2 a multiple of 18?
False
Suppose -11 = 3*i + 5*q, -2 = i + 4*q + 11. Suppose i*m + 16 = 7*m. Suppose -m*v = v + u - 347, -4*v + u = -274. Does 23 divide v?
True
Suppose -4*q - 5*d + 56 = 0, d + 49 = 5*q + 2*d. Let m(j) = j - 6. Let c be m(q). Suppose -48 = -c*a + a. Is 12 a factor of a?
True
Let u be 1/2 - 44/(-8). Suppose j = -t + u, 2*t + t - 3 = 0. Suppose j*p = 335 + 240. Does 26 divide p?
False
Let i = -322 - -636. Let o = -142 + i. Does 43 divide o?
True
Let v(j) = 4*j**2 - 2*j + 2. Suppose 5*w + 13 = -7. Does 5 divide v(w)?
False
Let d(a) = 210*a**2 - 426*a**2 - 5*a + 128*a**3 + 217*a**2 + 4. Does 16 divide d(1)?
True
Suppose 4*j - 98 - 550 = 0. Suppose 3*z = 3*u - 165, 3*z - 5*z = -3*u + j. Does 26 divide u?
True
Does 7 divide 1314 + -6 + (20 - 4)?
False
Suppose -x - 246 = 2*x. Let h(m) = 36*m**2 + 3*m + 3. Let z be h(-2). Let w = z + x. Is 18 a factor of w?
False
Let m = -12 + 16. Suppose 0 = -3*h - 2*l + 6, m*l + 2 - 6 = -4*h. Suppose y = 2*w + 20 + 20, -h*y = -5*w - 169. Is 14 a factor of y?
False
Let q be (0/1 - -27) + (10 - 11). Suppose 4*n - 259 = -p, 0 = 4*n - 5*p - 315 + q. Is 11 a factor of n?
True
Suppose -z = z + 26. Let g(k) = 3*k + 2. Let w(a) = 2*a + 1. Let t(u) = 6*g(u) - 11*w(u). Is 20 a factor of t(z)?
False
Let r(i) = 7*i + 5 - 2*i + 2*i**2 + 3*i**2 - 2*i**2. Is 9 a factor of r(-4)?
False
Let r be 1*(1 - 2) + -7. Let l = 3 - r. Is l a multiple of 2?
False
Suppose -7*u - 3*u = -50. Suppose 175 = u*z - 4*z. Does 35 divide z?
True
Let u(v) be the second derivative of -12*v + 0 - 1/20*v**5 + 3/4*v**4 + 5*v**2 - v**3. Is u(4) a multiple of 22?
True
Suppose -378 = -d - 3*d - 2*z, -2*d + 2*z + 180 = 0. Let v = d - 21. Does 25 divide (-4)/18 + 1816/v?
True
Let z = 6109 - 3021. Does 16 divide z?
True
Let x(l) = 2*l**2 + 5*l - 5. Let d = 44 - 51. Is 16 a factor of x(d)?
False
Let v = 374 + -7. Suppose -2*q - 127 + v = 0. Is 15 a factor of q?
True
Let b be 0/(2/7 - (-36)/(-28)). Suppose 5*w + 3*g - g - 40 = b, -g + 24 = 3*w. Is 4 a factor of w?
True
Let q = 3465 - 2097. Is 12 a factor of q?
True
Suppose 49*n + 5984 = 65*n. Does 17 divide n?
True
Let w = 2 - 0. Does 2 divide 231/44 - w/8?
False
Let u be (-26)/65 - (-1)/((-5)/(-2)). Is -4 + u + (30 - -2) a multiple of 8?
False
Let r(h) = h**3 - 4*h**2 - h - 1. Suppose c + c = 12. Is r(c) a multiple of 13?
True
Suppose 4*y = -o - 3, 5*o = 3*y - 0 - 15. Let h be o/(-5)*(-11 - -6). Is (-42)/(h - 12/(-8)) a multiple of 13?
False
Let z(a) = -a**3 - 7*a**2 - 5*a + 9. Let i be z(-6). Suppose 4*k = 5*o - 0*o - 55, -4*o = i*k - 75. Is 14 a factor of o?
False
Does 72 divide (-94 - 12)/((-2)/46)?
False
Suppose -127 = 4*r + 5*c, -3*r = r - 3*c + 167. Let a = r - -64. Suppose 2*b - a = 16. Is 9 a factor of b?
False
Let u(r) = r - 10. Let i be u(-9). Let m = i + 9. Is (-3003)/(-55) - 4/m a multiple of 16?
False
Suppose -4 = f - 114. Suppose -6*k + f + 172 = 0. Is k a multiple of 6?
False
Suppose 0 = -3*s - 5*i + 31, 0 = -4*s - 3*i + 8*i - 17. Suppose -19 = -s*l + 41. Does 10 divide l?
True
Suppose -24*k + 761 = -23*k. Is 69 a factor of k?
False
Let a = -193 + 282. Is 8 a factor of a?
False
Let w = -7 + -13. Is (w/70)/((-2)/56) even?
True
Let t(n) = 920*n - 105. Does 59 divide t(3)?
True
Let j = 4367 + -1333. Is 54 a factor of j?
False
Let h be 2/7 + (-99)/(-21). Suppose -10 - h = -3*l. Does 5 divide l?
True
Suppose -3*j = -5*o - 32 - 44, -o + 2*j = 11. Let t = -12 - o. Suppose -t*z + 4*p = -270, -z - 5*p = -6*z + 275. Does 25 divide z?
True
Suppose 4*h = 17*s - 20*s + 2532, s - 2524 = -4*h. Does 15 divide h?
True
Let s be 33/27 + -1 - (-1956)/(-54). Let n = s + 42. Is n a multiple of 6?
True
Suppose -3*n = 4*u - 687, 2*u - 4*u - 6 = 0. Is 16 a factor of n?
False
Let o be (-112)/(-3)*(-156)/(-13). Let f be (-18)/(-8)*o/21. Suppose 8*m - 7*m - f = 0. Is 12 a factor of m?
True
Suppose 3198 = 14*b - 22. Is 23 a factor of b?
True
Suppose 36*r = -7994 + 24734. Does 7 divide r?
False
Let a(f) = -25*f - 12. Let j be a(-4). Suppose -7*k + 10 = -j. Does 8 divide k?
False
Suppose -2*p - 5*g - 10 = 0, g - 3 + 13 = -2*p. Let w be 1/2*(1 - p). Suppose -w*d = -d - 102. Is 13 a factor of d?
False
Let f = 1612 - 1001. Is 13 a factor of f?
True
Suppose -2*s + 7*s = 10. Let o = 69 + 0. Suppose -c - s*c + o = g, 0 = 2*c + g - 45. Is 12 a factor of c?
True
Let j be (-2 - -25)*(1 + -2). Let g = 25 + j. Suppose -g*k + 128 = 14. Is k a multiple of 14?
False
Let i(p) = -3*p + 2. Let k be i(3). Let c = k + 2. Is 408/(-15)*c/2 a multiple of 17?
True
Suppose -167 = 5*f - 4*f. Is 34 a factor of 1 - f - 1*-1 - -1?
True
Suppose -5*b + 8 = -2*b + t, 2*t = b - 12. Suppose -b*d - 173 = -c, -2*d + 463 = c + 2*c. Does 19 divide c?
False
Let f(q) = 2*q**2 - 4*q. Let m be f(2). Is 8 a factor of -1 + m + (-198)/(-3)?
False
Let g = 16 + 5. Suppose -51 - g = -6*x. Is x a multiple of 12?
True
Let m be (-1 - 0)/((-6)/(-36)). Does 11 divide (88/6)/(m/(-9))?
True
Let h(q) = 0 + 5 + 8*q - 2*q + 3*q + 21*q**2. Does 22 divide h(-3)?
False
Is 4 a factor of (118 - 128)*492/(-5)?
True
Suppose b + 7349 = 3*w, -3*b = 10*w - 15*w + 12255. Does 102 divide w?
True
Let o = -23 - -98. Let z be (-4)/(-18) - o/(-27). Suppose -a = z, -2*x + 0*x = 5*a - 153. Is 28 a factor of x?
True
Suppose g = 2*g. Let v(a) = 8*a - 21. Let y be v(3). Suppose g*n = -y*n + 3*i + 81, -5*i = n - 33. Does 17 divide n?
False
Let s = 91 + 81. Suppose 2*l + 0 = s. Is l a multiple of 6?
False
Suppose 2*i + 4 = -c, 4*i - 3*c + 18 = -0*c. Let p = i - -11. Suppose 2*a = 7*a - 5*w - 75, -4*w = -p. Is a a multiple of 7?
False
Let o(h) = -h**2 + 3*h + 2. Let f be o(3). Suppose -4*m + 110 = -2*t, -f*m = 2*t - 4*t - 60. Is 10 a factor of m?
False
Suppose -524 = -4*i + 4*p, 84 = i + 3*p - 55. Does 5 divide i?
False
Let l = 439 - 257. Does 53 divide l?
False
Suppose -2*t - 3*u + 7*u - 410 = 0, 3*t = -3*u - 642. Let v = t + 445. Is 49 a factor of v?
False
Let b = -54 - -50. Let n(x) = -9*x - 9. Does 9 divide n(b)?
True
Let s be 5*(9/(-5))/(-3). Suppose s*y + 4 = -4*r, 2*y + 3 = -3*r + 3*y. Is r - (-3 - 7 - -2) a multiple of 3?
False
Suppose -7 = -l - 3. Suppose 0 = 2*o + l*o - 552. Is o a multiple of 20?
False
Suppose w - 5*j - 27 = 0, 0 = 3*j + j + 8. Suppose 2 = -3*u + w. Suppose 32 = 3*i + u*r - 46, 5*i - 99 = 2*r. Is i a multiple of 11?
False
Let n(q) = q**2 + 3. Let v be n(0). Suppose -164 = -4*t + 3*c + 69, v*t + 4*c - 206 = 0. Is t a multiple of 8?
False
Let g(x) = x**3 - 10*x**2 + 14*x + 89. Does 7 divide g(14)?
False
Let n(w) = -2*w + 25. Let g be n(7). Suppose -g*s + s = -1000. Is 20 a factor of s?
True
Let l(m) = 15*m**3 - m**2 + m + 1. Let z be l(-1). Is 42 a factor of 1844/z*-2 + (-3)/6?
False
Suppose -12*s + 6906 + 5094 = 0. Is s a multiple of 74?
False
Let p be ((-17)/5 + 1)/((-16)/1840). Suppose -2*n - 2*n + p = 0. Is 23 a factor of n?
True
Suppose 2*f = -2*x, -20 = 3*f + 2*f + x. Is 15 a factor of -4 - (1 + 295/f)?
False
Let p(f) = 34*f - 102. Does 8 divide p(5)?
False
Let c be (-215)/(-30) + (-1)/6. Let s be (12/(-14))/(1/c). Is (45 + s)/((-2)/(-2)) a multiple of 13?
True
Suppose c - q - 96 = 172, 2*c - 542 = 5*q. 