j = 5*v - 305. Is 29 a factor of u?
False
Let t(p) = 401*p**2 + 136*p - 417. Is t(3) a multiple of 75?
True
Let y be (-3 + 0)*(0 - (-308)/(-12)). Let b = -33 - y. Does 2 divide b/(-8) - ((-1)/4 - 0)?
True
Suppose -25*b + 4*b + 3716 - 5291 = 0. Suppose 2*i = -167 - 221. Let s = b - i. Is s a multiple of 16?
False
Suppose 4*l = t + 17, 0 = -t - 3*t - 3*l + 27. Suppose t*f + 33 - 9 = 0. Let d(w) = w**2 + 8*w + 19. Is 19 a factor of d(f)?
True
Let n(u) = 10*u + 233. Let z be n(-23). Suppose -5*x = -18 - 7. Suppose -3*a = 3*p - 99, x*a - 51 = 3*a + z*p. Is 4 a factor of a?
False
Let x be 82/533 - (-17780)/26. Is ((-1)/2)/((-3)/x) a multiple of 26?
False
Let f = -126 + 274. Suppose -2*y + 46 = 2*l - f, 3*y - 293 = -4*l. Is y a multiple of 5?
True
Let a(l) = l**3 + 29*l**2 + 28*l. Let h be a(-28). Let m = 3 - h. Suppose -7 = m*b - 2*x - 18, -4*x = -3*b + 13. Is b even?
False
Suppose 0*b - b - 40 = -3*z, -5*z + 25 = 0. Let o be -120*(0 + 2/(-4)). Let v = o + b. Does 5 divide v?
True
Let r be 3*9/(15/5). Suppose -2*m + 9 = 3*d, 0 = d - 4*d + m + r. Suppose 0 = -d*c + 11 + 4. Does 4 divide c?
False
Let n(z) = 537*z - 801. Is 116 a factor of n(28)?
False
Let x = 791 + -438. Suppose a - x = -2*h, 0 = -3*h + 4*a + 72 + 430. Is h a multiple of 6?
True
Let s(p) be the first derivative of -p**4/3 + 10*p**3/3 - 9*p**2/2 - 36. Let w(z) be the second derivative of s(z). Is 12 a factor of w(-5)?
True
Suppose -10*r + 12 = 2. Let a be (0 - r)*-59 + 0/14. Suppose 229 = 4*t - a. Is t a multiple of 10?
False
Let w(d) = -8*d**3 - 2*d**2 - 9*d - 1. Does 21 divide w(-5)?
False
Let w = 172 + -168. Suppose f = 3*f + 2*s - 390, -w*f + 4*s = -820. Does 50 divide f?
True
Let k(s) = 4*s**3 - 37*s**2 - 37*s + 33. Let i(z) = 2*z**3 - 19*z**2 - 18*z + 17. Let n(o) = -5*i(o) + 3*k(o). Does 12 divide n(10)?
True
Let g be (-6 - 30/(-5)) + 517. Let p = g + -434. Is 3 a factor of p?
False
Let k be 4/10*90/12. Suppose 3*a - 3*r - 700 = -r, 3*r - 720 = -k*a. Suppose -h + a = 54. Does 26 divide h?
True
Let x = 61 - 59. Suppose 5*c + 0*c = j - x, -5*c + 26 = 3*j. Does 15 divide (-2)/1 + 122 + (7 - j)?
True
Let w = -251 - -61. Let k = w + 93. Let c = -57 - k. Does 20 divide c?
True
Let p(u) = -67*u - 1 - 63*u + 131*u. Let g be p(10). Suppose -2*h - 182 = -2*k, g*h - 6 = 7*h. Is 4 a factor of k?
False
Let v = -4912 + 5251. Does 9 divide v?
False
Let b(n) be the third derivative of 7*n**5/12 - 5*n**4/12 + 7*n**3/6 - 172*n**2. Does 64 divide b(-5)?
False
Suppose l - 6*s = -2*s - 1, 3*s = 4*l - 9. Let m be (4/(-9))/((-1)/6)*l. Suppose -1 - m = -3*c. Is 2 a factor of c?
False
Suppose 47*w - 50*w + 4742 = -2*k, -5*k = 2*w - 3174. Is 45 a factor of w?
False
Let j(c) = -2*c**2 - 112*c + 720. Let u be j(6). Let k be -2 + 182/4*-6. Is k/10*u/15 a multiple of 22?
True
Let q = -236 - -456. Let p = -11 + 26. Is ((-12)/p)/((-2)/q) a multiple of 22?
True
Suppose 2*p - 97 = 599. Let j be 35/16*2 + 417/(-1112). Suppose j*q = t - 0*t + 731, 2*q = 4*t + p. Is q a multiple of 41?
False
Let d be (-3)/(-2 - 7)*33. Suppose 0 = -6*y + d*y - 10. Suppose 5*j - 652 = -n, -n = -3*j + y*n + 384. Does 12 divide j?
False
Suppose -10*m = 2698 + 842. Let q = m + 814. Is 10 a factor of q?
True
Let w = 14 - 14. Suppose -5 = -2*m - v, w = 7*m - 3*m - v - 25. Suppose -c + 900 = m*c. Is 25 a factor of c?
True
Let a = 6911 - 4614. Is a a multiple of 8?
False
Suppose h = -8*h + 36. Suppose h = a - 0. Suppose 73 + 35 = a*l. Does 15 divide l?
False
Suppose 0 = 10*u - 58335 - 25486 + 7681. Is 162 a factor of u?
True
Suppose 1840 = 4*t - 2*l, 0*t + 908 = 2*t + 2*l. Let f be t/(-8) + 3/12. Does 3 divide f/(-27)*-3*-3?
False
Suppose 12*z - 66347 = 949. Does 138 divide z?
False
Suppose -4*a = 0, -3*a = 2*p - 6*p + 1068. Is p + (6 - 2) + -4 a multiple of 9?
False
Let c(g) = -g**2 - 17*g - 27. Suppose 5*x + 97 = 472. Suppose x = -k + 62. Is c(k) a multiple of 5?
True
Suppose -11*s - 59 = -312. Let o be (-26)/(2 + 0) - 0. Let g = s + o. Is g a multiple of 10?
True
Is (77 - 82) + 667*5 a multiple of 57?
False
Suppose -4*o = -1149 - 18803. Is o a multiple of 116?
True
Suppose 137991 = 71*s - 27084. Is 93 a factor of s?
True
Suppose -b + 5*m + 27 = 0, 5*b = -4*m + 15 + 91. Suppose b - 22 = -2*d. Suppose -15*v + 12*v + 648 = d. Does 21 divide v?
False
Let l(t) be the second derivative of -t**5/20 + 5*t**4/4 - t**3/3 - 9*t**2 - 7*t + 2. Is l(9) a multiple of 5?
True
Suppose 25 = j + 5*v, 0*j - j - 10 = -2*v. Suppose j = -4*m + 2*o + 120, 0*m + 5*o = 2*m - 60. Does 7 divide m?
False
Let k = -19517 - -37071. Is 67 a factor of k?
True
Suppose -3*d - 333 = 204. Let n = d + 467. Is 24 a factor of n?
True
Let z = -75 - -79. Let y be (z + 2 - 2) + 241. Suppose -k = -8*k + y. Is k a multiple of 3?
False
Let o be 4/12*(11 - -4). Let f = -41 + 44. Suppose 0 = -o*g + 2*h - 6*h + 180, f*h - 47 = -g. Is g a multiple of 16?
True
Let l = -3011 + 11321. Is l a multiple of 18?
False
Let x(q) = q**3 + 36*q**2 - 35*q + 150. Let t be x(-37). Suppose 74*i - t*i + 3944 = 0. Is 68 a factor of i?
True
Let m(t) be the second derivative of -11*t**3/6 + 26*t**2 - 28*t. Let x be m(0). Is 26 a factor of 7*x*(-3)/(-42)*5?
True
Is 36/(-144) + (-19474)/(-8) a multiple of 6?
False
Let f be 6 + (-21)/4 - (-210)/8. Let w = f - -93. Suppose -5*n + 110 = -w. Does 23 divide n?
True
Let c(m) = -m**3 + 4*m**2 + 44*m + 13. Let n be c(9). Suppose 0 = n*s - 4, 0 = 4*u + s - 4277. Is u a multiple of 8?
False
Let n be 5758/(-8) + 30/(-120). Let v = -513 - n. Is v a multiple of 9?
True
Let y = -247 - -161. Let n = y + 176. Is n a multiple of 18?
True
Let h be (-851 + 15/3)/(-1). Let o = h + -486. Does 9 divide o?
True
Suppose 4*h + 24 = 0, -5*h + 32062 = 5*a - 218108. Does 360 divide a?
True
Suppose -r = -5*g + 9138, -25*r - 5469 = -3*g - 29*r. Is g a multiple of 29?
True
Let t(a) = -a**3 + 9*a**2 - 5*a - 19. Let y be t(8). Suppose -2*n = 5*s - 313, 4*n + y*s - 3*s - 618 = 0. Let d = n - 70. Is 7 a factor of d?
True
Is 9 a factor of (72/(-15))/((-2)/75)*23?
True
Suppose 4*v + 4*v - 352 = 0. Is (1422/(-24))/(v/(-32) + 1) a multiple of 8?
False
Suppose 3*y - 278 + 269 = 0. Suppose -y*w + 3*p - 1401 = -3297, -w + 3*p = -642. Is 57 a factor of w?
True
Suppose m + v - 3 = 3*v, -3*v = 0. Let q(c) = -24*c + 3*c**2 - 4 + 22*c + c**2 + m*c**2. Is q(-3) a multiple of 8?
False
Does 39 divide (3/(-15))/((-120)/150)*(-57948)/(-3)?
False
Suppose -4*q + 3*q + 10 = 0. Let r = 26 + -25. Is (-570)/(-45)*(q - r) a multiple of 14?
False
Let g be ((-5106)/185)/((-6)/80). Let a = -260 + g. Is a a multiple of 57?
False
Suppose 40*o - 35716 + 18843 = 107287. Does 8 divide o?
True
Suppose 3*p = -10*p + 585. Let h be 306/(-15) + 18/p. Is 11 a factor of (-30)/h*((-220)/(-3))/1?
True
Suppose 1000659 + 185226 = 181*v + 184*v. Does 57 divide v?
True
Suppose -4*j - 5*a = 1151, 578 = -2*j - a - a. Let o = j - -503. Is 19 a factor of o?
True
Suppose 23078 = g + 4*s - 5*s, -2*g = -3*s - 46149. Is 95 a factor of g?
True
Let b = 29 - 26. Suppose -b*p = -5*j + 58 + 24, 2*j - 24 = -p. Is ((-16)/(-6) + 0)/(j/462) a multiple of 10?
False
Suppose -14*i + 624 = -12*i. Suppose 0 = 7*a + 60 - i. Is 9 a factor of a?
True
Let z = -13 + 15. Let l(f) = f**2 - 6*f - 3. Let q be l(5). Is 8 a factor of (z/q)/(3/(-228))?
False
Let r(p) = 18*p - 4. Let a be r(1). Let k(n) be the first derivative of 5*n**2 - 3. Is 35 a factor of k(a)?
True
Suppose 2*t + 6 = 0, 0 = -3*w - t + 420 + 27. Is w a multiple of 19?
False
Let t = 33 - 69. Let x be (-4)/5*465/6. Let d = t - x. Does 12 divide d?
False
Suppose 0 = 2*f - 7*f. Suppose f = 4*u + 20, 5*t + 4 + 1 = -5*u. Suppose -k + 3*k = 10, 692 = t*p + 4*k. Is p a multiple of 19?
False
Let w(x) = -2*x - 5*x + 3*x + 3*x + 8. Let v be w(4). Let n = v - -66. Is n a multiple of 7?
True
Let f(j) = j**3 + 6*j**2 - j + 5. Let l be f(-6). Let c(r) = r**2 + r - 9. Let z be c(l). Suppose -g = 4*a - z, -2*a + 443 + 91 = 4*g. Does 26 divide g?
False
Let n be 0 - 762/(-21) - 14/49. Suppose -2*x = -36 + n. Suppose k - 75 - 75 = x. Does 25 divide k?
True
Let r(q) = -7358402*q**2 + 7358404*q**2 - 2*q + 8 + 6*q. Suppose x = -4*g - 10, 4*g + 40 = 4*x - 0*g. Is 8 a factor of r(x)?
True
Let o(w) = -w**3 - 25*w**2 - 23*w + 23. Let j be o(-24). Let a be (-380)/(-50) + j*(-4)/10. Suppose n + 4*c = 27 - a, c = 5*n - 158. Is