190)/k. Let c = -18 - o. Is 5 a factor of c?
False
Suppose -21*k + 57002 + 5158 = 0. Does 72 divide k?
False
Let z(s) = s**3 + 18*s**2 - 38*s + 35. Is 14 a factor of z(-19)?
False
Let k = 97 - 64. Let y = 57 - k. Suppose f - y = 5. Is f a multiple of 17?
False
Let r(q) = q**3 - 8*q**2 - 2*q + 24. Let p be r(8). Is 228/p - 4/8 a multiple of 5?
False
Suppose -22*t + 10*t + 432 = 0. Is t even?
True
Suppose -13*f - 2122 = -17696. Does 12 divide f?
False
Does 35 divide (-60)/((-7)/735*6)?
True
Let x(m) be the second derivative of -m**6/15 + m**5/60 - m**4/24 - m**3/6 + m**2/2 + 3*m. Let g(r) be the first derivative of x(r). Is g(-1) a multiple of 9?
True
Is 11 a factor of (-2)/((-12)/135) - 2/4?
True
Let l = 692 - 352. Is 23 a factor of l?
False
Suppose 6 = -2*f + 3*w, f = w + 2 - 3. Suppose f*n = 5*t + 41, -4*n + 5*t + 58 = -0*n. Is 4 a factor of n?
False
Let z(d) = -7*d**3 - d**2 - 13*d - 1. Is 16 a factor of z(-4)?
False
Let v be 4/(12/1317) - -3. Suppose -2*u - v = 524. Is (-7)/28 - u/12 a multiple of 9?
False
Let b(f) = -f**3 + f**2 + 4*f + 3. Let n be b(-2). Suppose -n*w - w - 32 = 0. Is (2/w)/((-2)/60) a multiple of 5?
True
Suppose -107*v = -83*v - 10392. Is v a multiple of 41?
False
Let h = -327 + 399. Is h a multiple of 12?
True
Suppose 32 = 3*x + x. Let d be (x/(-7))/(4/(-14)). Suppose -3*q + 0*q = 5*u - 106, -110 = -3*q - d*u. Is q a multiple of 21?
True
Let w be (42 + -2)*1/2. Suppose r - 67 = -3*m, -m - 2*r + w + 4 = 0. Suppose -1 = a - m. Does 7 divide a?
True
Let u = -52 + 16. Suppose 5*z - 3*h - 420 = 0, 4*z - 18*h - 343 = -17*h. Let s = z + u. Is s a multiple of 13?
False
Let c = 1 + 0. Let j be c*(-1 - (-9)/3). Is -3*(51/(-9) + j) a multiple of 8?
False
Is 1453*(14/2 + -6) + 2 a multiple of 19?
False
Let x(y) = -11*y**3 + y**2 + 3*y + 15. Let j(v) = -11*v**3 + 2*v**2 + 4*v + 16. Let w(i) = 3*j(i) - 2*x(i). Is 48 a factor of w(-3)?
False
Let o = -1854 + 3254. Is o a multiple of 14?
True
Suppose 0 = -4*b - 4*l + l + 247, 5*b - 5*l = 335. Does 5 divide b?
False
Does 3 divide 2*((-185)/(-2) + -8)?
False
Let o(i) be the third derivative of -i**6/120 + 13*i**5/60 - 7*i**4/12 + 13*i**3/6 - 17*i**2. Is o(11) a multiple of 21?
False
Suppose j + 2*m = -5, -4*j - 9*m - 8 = -7*m. Does 12 divide j/(-4) - (7 - 1809/12)?
True
Suppose 33 = 10*d + 13. Suppose -d*l - 2*n = -108, n - 262 = -5*l + 4*n. Is 17 a factor of l?
False
Let l(p) = p**2 - 9*p + 6. Let b be l(10). Let n = 87 + b. Let w = -58 + n. Is 13 a factor of w?
False
Does 17 divide ((-1)/5 - (8 + -7))*-90?
False
Suppose -154 = 6*h - 11608. Is h a multiple of 56?
False
Let a(b) = 3*b**3 + 13*b**2 - 22*b - 27. Is 80 a factor of a(6)?
False
Suppose -155 = 2*o + 5*t - 396, 490 = 4*o + 2*t. Suppose -7*a + 133 = -392. Let c = o - a. Does 12 divide c?
True
Suppose 4*a + h + 154 = 3*a, -4*a = -h + 626. Let q = 242 + a. Suppose -r = -0*r + 4*v - 32, 2*v - q = -4*r. Does 10 divide r?
True
Let d be 140/21*(0 - 3). Let y = 78 + d. Is 21 a factor of y?
False
Suppose -5*n + 2*s = s + 44, 3*n + 30 = -3*s. Let q(p) = -3*p - 3*p + 6 + p. Does 28 divide q(n)?
False
Let d = 1144 - 378. Is d a multiple of 15?
False
Let r(b) = -b**3 + 2*b - 12. Let q be r(0). Let l = q - -186. Is 25 a factor of l?
False
Let i be (1 + -6)*3/(-5). Let w = -74 - -65. Does 2 divide 8/(w/i + 5)?
True
Suppose 0 = 8*s - 93 - 19. Suppose 0*w = -w + s. Is 7 a factor of w?
True
Let f be 2/5*(-5)/(-1). Suppose -f*a + 56 = -a. Is a a multiple of 14?
True
Let o be (10/(-15))/(2/(-993)). Suppose o = 5*z - 4*x, 0 = -4*z - 4*x - x + 232. Let s = z - 37. Does 26 divide s?
True
Let m = -1952 + 2837. Is m a multiple of 15?
True
Let b = -305 - -761. Is b a multiple of 24?
True
Suppose -61 = -2*g + s + 23, 3*g = 5*s + 126. Is g a multiple of 7?
True
Let c(x) = -12*x - 20. Let s be c(-9). Let d = s - 49. Is 4 a factor of d?
False
Let u(k) = 197*k**2 + 16*k - 20. Does 80 divide u(2)?
True
Suppose 0 = 6*w - 2*w. Let p(j) be the second derivative of j**4/12 + j**3/6 + 37*j**2/2 + 3*j. Does 11 divide p(w)?
False
Let f be 1266/21 - (-2)/(-7). Let k be (f/(-50))/(3/(-10)). Suppose -p + k*p = 15. Does 2 divide p?
False
Let j(t) = 0*t - 1 - 3*t**3 + 3*t**2 + t + 6. Let b be j(3). Let x = b + 64. Is x a multiple of 13?
False
Does 16 divide 58*10 - (19 - 19)?
False
Let v be 94 - (6 + 0 - 2). Let g = -52 + v. Is g a multiple of 34?
False
Suppose 0*n + 4*n = -2*n. Suppose n = 3*j - 5*g - 43 - 129, -20 = 4*g. Does 9 divide j?
False
Let m(x) = -x**2 - 62*x - 55. Is m(-44) a multiple of 11?
True
Suppose -32*c + 7247 + 18193 = 0. Is 15 a factor of c?
True
Let w be (-1 + 20/15)*15. Suppose 0 = w*b + 2*b - 301. Is 10 a factor of b?
False
Let l be 4*3/(-30)*-15. Let w(d) be the third derivative of d**4/8 - d**3/6 - 5*d**2. Is w(l) a multiple of 16?
False
Let r(p) = -p**3 + 4*p**2 - 2*p - 3. Let a be r(3). Suppose -7*y + 236 = 26. Suppose -f - 3*x = 0, a = -0*f + 3*f + 3*x - y. Is 5 a factor of f?
True
Suppose 3*t + 4*j = -t + 76, 0 = t - 5*j - 43. Suppose o + 3*d = -3*o + 14, -4*d = -2*o + 18. Suppose 2*c = t - o. Does 4 divide c?
False
Let h(z) = z**3 - 12*z**2 - 28*z + 3. Let d be h(14). Suppose 4*j - 5*t = 2*j + 235, -5*t - 345 = -d*j. Does 22 divide j?
True
Suppose -3*m = -2*m + 4*l - 113, -4*m + 413 = 3*l. Is 50 a factor of m?
False
Let k = -380 + 245. Let u = -77 - k. Suppose u + 18 = 4*q. Is 19 a factor of q?
True
Suppose -5*z = -2*z - 4*f - 4, -2*f - 12 = -4*z. Suppose -z*l - 37 = -5*w, 0 = w + 5*l + 2 + 8. Suppose -4*u + 50 + 35 = w*p, 4*p = 3*u - 25. Does 5 divide u?
True
Let h be 9/(-18) + (-26)/(-4). Let u = h - 1. Suppose -a - 4*o + 32 = 0, a + u*o = 2*a - 59. Is 10 a factor of a?
False
Let l(n) = n**2 - 4*n + 9. Let w be l(2). Let k be (-12)/2*(-1)/2. Suppose -r - x = -20, -k*x + 100 = w*r - x. Does 11 divide r?
False
Let n(h) = -55*h + 375. Is 20 a factor of n(-23)?
True
Is (-12 - 1870/(-153)) + 313/9 a multiple of 34?
False
Suppose -5 = -v - 3. Suppose w + 5*k = 5*w - 5, -2*k = 3*w + v. Suppose -4*s - 3*y = -w*s - 378, -2 = -y. Does 31 divide s?
True
Let t(i) = 4*i**3 + 28*i**2 - 7*i - 13. Does 3 divide t(-7)?
True
Suppose -73*f + 7550 + 8218 = 0. Is 8 a factor of f?
True
Let g(x) = 5*x**2 + 9*x - 3. Let n(r) = r**2 + r + 1. Let d(m) = g(m) - 3*n(m). Is d(-8) a multiple of 22?
False
Suppose 32*t - 35259 = 22149. Is t a multiple of 20?
False
Let v(q) = q**3 - q**2 - 9*q - 2. Suppose 2*s + 2*s - 24 = 0. Suppose 0 = -5*i + 5*r, 2*r + s = 5*i - 6. Does 10 divide v(i)?
True
Let h = -18 + 10. Does 35 divide ((-12)/(-10))/(h/(-260))?
False
Suppose 2*o - o = 4. Suppose 0 = o*x - 515 - 49. Is x a multiple of 19?
False
Let d be (-11)/((-22)/12) + -1. Suppose -4*n - 4*f + 7*f - 15 = 0, 0 = -f + d. Suppose 20 = 3*m + 2*l, -2*m - 5*l = -n*m - 28. Does 4 divide m?
True
Let u = 24 - 12. Let v = -10 + u. Suppose v*j = 7*j - 190. Does 19 divide j?
True
Let r(u) = -u**2 + 63*u - 45. Does 25 divide r(15)?
True
Let s be (-2)/3 + (-7304)/(-66). Suppose 4*t + t - s = -2*c, 0 = -4*c + 2*t + 244. Is c a multiple of 15?
True
Let u be 3/(1290/(-1299) + 1). Suppose 4*i + 49 = u. Does 24 divide i?
True
Let x be 3/6*2/1. Suppose 13*n - 14*n + 5*d = -19, 2*d + 11 = -3*n. Is 3 a factor of n/x*(1 + -7)?
True
Let n = -107 + 112. Suppose 0 = n*q - 4*q - 10. Is q a multiple of 5?
True
Suppose 3*j = 3*a + 24, -a + 21 - 5 = 5*j. Let v(z) = z - 5. Let o be v(a). Let c = o + 48. Is 13 a factor of c?
True
Let z(x) = x + 7. Let l be z(-3). Suppose -l*r = -7*r + 129. Does 10 divide r?
False
Let n = -762 + 1862. Is 55 a factor of n?
True
Let g be (-1)/((-32)/(-12) - 3). Let s = 8 - g. Suppose i + 5*x = -13, -s*x - 37 = -2*i + i. Is i a multiple of 3?
True
Suppose -4*u = 194 - 1210. Is u a multiple of 25?
False
Suppose 0 = -111*h + 122*h - 10538. Does 77 divide h?
False
Let j = 19 - 71. Let o = 211 + j. Is o a multiple of 11?
False
Suppose -14*x + 21121 = -859. Is x a multiple of 25?
False
Is 5 a factor of 1529 + (13 - 13) - -7?
False
Is -15 + 18 + 5*83 a multiple of 22?
True
Suppose -5*h = -7*b + 9*b - 190, 5*h + 380 = 4*b. Does 24 divide b?
False
Let v(g) = 5*g**2 - 6*g + 1. Is v(-2) a multiple of 29?
False
Let i = -179 - -283. Is i a multiple of 13?
True
Let o = 1932 - 1435. Is o a multiple of 19?
False
Let c(d) = 9*d**2 + 3*d. Let h be c(1). Suppose -l - 5*l = h. Is 14 a factor of (-