**3 + 7*p**2 + 2*p - 2. Let b(x) = 5*i(x) - 2*y(x). Let s be b(4). Let u = s - 12. Is 5 a factor of u?
True
Let h = 1437 + -923. Is h a multiple of 15?
False
Let q(g) = -2*g**3 - g**2 + 2*g + 2. Let z be q(-2). Suppose 4*r - r + 45 = -4*o, 3*o + 37 = r. Is 2 a factor of o/(-5) - (-6)/z?
False
Suppose -3*n = f + 3*f - 34, 2*f - 5*n = 4. Suppose -41 - f = -3*z. Let k = z - 8. Is 4 a factor of k?
True
Suppose 4*x = 15 - 79. Does 16 divide (4 - 66/(-12))/((-2)/x)?
False
Let z(o) = o**2 + 45*o - 74. Is z(-47) a multiple of 10?
True
Suppose 431 = n + n + i, -4*i = n - 233. Is 16 a factor of n?
False
Let c(l) = l**3 + l**2 - 5*l + 5. Let o be c(-3). Is (4/(-1))/(o/(-57)) a multiple of 14?
False
Suppose 0 = -3*d + 3*t + 1188, 0 = -2*d + 3*d - 3*t - 406. Does 17 divide d?
True
Suppose -29 + 5 = -4*r. Suppose d = 2*q - r*q + 384, 459 = 5*q - 4*d. Is 7 a factor of q?
False
Let l = -30 + 16. Let j = l + 14. Suppose 4*y - 3*v - 27 = j, y - 4*v = 4*y + 11. Is 2 a factor of y?
False
Suppose -y = -4*a - 113, -4*y - a + 189 = -314. Does 25 divide y?
True
Suppose 2*g + 15 = 75. Let n be (-1)/((-3)/g*1). Let y(h) = 2*h**2 - 13*h. Is y(n) a multiple of 20?
False
Suppose 0 = -5*q - 2*i + 1465, -10*q + 9*q + 293 = 5*i. Does 89 divide q?
False
Let s = -4 + 7. Suppose 0 = -r + 3*r + 4*q - 18, 15 = s*r + 2*q. Suppose t = -5*x + 278, -x - r*t - 118 = -3*x. Is x a multiple of 18?
False
Let y be 81/1 + -1*(3 - 5). Suppose 288 - y = 5*t. Is 18 a factor of t?
False
Suppose -2*y = 21 + 147. Let j = -55 - y. Is 10 a factor of j?
False
Suppose j + 1 = -5*l - 19, -3*j - 5 = 4*l. Suppose j*d = 3*d + 4. Suppose 2*w - 16 = b - 2*b, -d*b - 3*w + 31 = 0. Is 7 a factor of b?
True
Let x(v) = v**3 - 4*v**2 - 2*v + 6. Let j be x(5). Suppose 1 = 2*a + j. Let d = a - -18. Is 8 a factor of d?
True
Let t = -5 + 5. Suppose -5*n + 20 = -t*n. Does 19 divide (-736)/(-9) + n/18?
False
Suppose -6*o + 111 = -3*o. Let f = o + -67. Let p = f - -36. Does 3 divide p?
True
Let k be 2/9 + 32/18. Suppose -2*x - k*l = -180, x = 2*x + 2*l - 89. Is 14 a factor of x?
False
Let c(q) = -2*q**3 - 10*q**2 + 8*q + 2. Let s be c(-8). Let k = s - 153. Is k a multiple of 13?
True
Suppose 2*z + 0*z - 350 = -4*h, -5*h - 154 = -z. Suppose -13*s = -z - 52. Is 9 a factor of s?
False
Let w = 255 + -105. Is 10 a factor of w?
True
Let l(j) = 9*j - 2. Let t be l(3). Suppose t = 5*i, 3*f - 3*i + 3 = -f. Suppose f*y = -2*y + 100. Does 6 divide y?
False
Suppose -198 = -19*h + 22*h. Let i = h - -131. Is 8 a factor of i?
False
Let a(k) = 7*k + 3. Let l be a(-1). Let j(h) = 6*h**2 + 3. Does 33 divide j(l)?
True
Suppose 8*t = 5*t - 3*k + 3690, -1233 = -t + 2*k. Is 14 a factor of t?
False
Suppose -20*z + 4468 = -3592. Is z a multiple of 13?
True
Let x(s) = 8*s - 36. Let k be x(13). Suppose 3*i + k = 5*v, 3*i - 11 = 2*v - 40. Is v a multiple of 10?
False
Let r(w) = w**3 - 17*w**2 - 7*w - 44. Suppose 3*i = 4*i - 2*u - 18, -3*u - 54 = -3*i. Is r(i) a multiple of 14?
True
Let x(d) be the third derivative of 0*d + 0*d**5 - 1/120*d**6 + 5*d**2 + 0*d**4 + 0 + 59/6*d**3. Is 14 a factor of x(0)?
False
Let m(h) = -h**2 + 29*h + 12. Let s be m(20). Is 13 a factor of -2 + 3 + (s - 0) + 0?
False
Is 6/24 + 11932/16 a multiple of 9?
False
Let m be (4/(-7))/((-1)/7). Suppose 100 = 4*n + m*o, -3*o - 2*o - 43 = -2*n. Is n a multiple of 6?
True
Suppose 0 = -q + 3*o + 110, -238 = -5*q + o + 242. Is q a multiple of 7?
False
Let g(x) = -x**2 + 8*x - 7. Let z be g(6). Suppose -455 = -z*m - 70. Is m a multiple of 8?
False
Suppose -3*r = y + 1, 3 = r - 6*y + 3*y. Suppose -3*g = -r - 6. Let o(q) = 10*q + 4. Is 17 a factor of o(g)?
False
Let u(b) = 3*b**3 - 2*b**2 - 13*b + 41. Let c be u(6). Let y = 839 - c. Is y a multiple of 15?
True
Let b be 4/(-16)*4/1. Let m(o) = -o**3 + o**2 + o + 1. Let z be m(b). Suppose -z*v + 5*v - 36 = 0. Is v a multiple of 4?
True
Is (-119)/(-42) - 2 - 6175/(-6) a multiple of 10?
True
Suppose 1506 = 20*q - 18*q - 2*h, -2*q = -h - 1509. Is q a multiple of 9?
True
Let d(t) = 3*t**2 - 40*t + 37. Does 5 divide d(19)?
True
Let u be (-24*2/20)/(3/10). Let q = -8 + 16. Let o = q - u. Is 11 a factor of o?
False
Suppose -30*u = -55*u + 4775. Is u a multiple of 12?
False
Let w be (1 - 1)/((2 + -6)/4). Suppose w*d + 28 = 2*d. Is d a multiple of 4?
False
Let j(m) = m**3 + 12*m**2 + 13*m + 13. Let k be j(-11). Does 3 divide (-156)/(-28) - k/21?
True
Let g(h) = h + 15. Let v be g(-13). Suppose -38 = v*t + 40. Let p = t - -76. Does 16 divide p?
False
Let p(v) = 8*v**2 + 19*v + 17. Does 11 divide p(17)?
False
Suppose -5*q + 8 = -q. Suppose 7*n = q*n + 225. Is 22 a factor of n - 3*4/(-6)?
False
Suppose -9*y = -31*y + 396. Is y a multiple of 4?
False
Let s(b) = b**3 - 16*b**2 - b + 37. Is 49 a factor of s(20)?
True
Suppose 0*f - 18 = -4*f + 2*r, 4*r + 16 = -2*f. Let h(k) = -k + 0*k**f - 31 + 26 + 4*k**2. Is 17 a factor of h(-3)?
True
Let o = 2665 - 1852. Does 10 divide o?
False
Suppose -4*j + 3*i = -483 - 584, -j = i - 265. Is 11 a factor of j?
False
Is 55 a factor of 0 + (1143 - -7) + 5?
True
Suppose -5*t = -14 - 6. Suppose -2*b + 128 = t*u, u + 2*u = 2*b - 121. Suppose 4*j - b = 10. Does 4 divide j?
False
Is 3454/26 + 3 - 10/(-65) a multiple of 17?
True
Let k be 1/3 - (-532)/6. Suppose -3*b - 24 = -l + k, -l + 4*b + 114 = 0. Suppose -u - 4*u + l = 0. Does 16 divide u?
False
Let a be 6/(-3) - 10/(6/(-3)). Let m(v) = 3*v**2 - 4. Is 4 a factor of m(a)?
False
Let f = -487 - -1141. Suppose 144 = -5*z + i + f, -2*z + 3*i + 204 = 0. Is 16 a factor of z?
False
Let g(o) = -14*o. Let p be g(-2). Suppose -2*k - 2*w + 2 = -3*w, 5*w = -4*k + 18. Suppose 0*m = k*m - p. Is m a multiple of 4?
False
Suppose 4*r + 644 = 5*j, -4*j + r = -73 - 451. Is 44 a factor of j?
True
Let d(c) = 54*c + 38. Does 11 divide d(4)?
False
Let h = -1006 + 1650. Is h a multiple of 4?
True
Suppose -3*t + 15 = -8*t + 5*d, -4*t + 5*d - 15 = 0. Let r(l) = -l**2 + 5*l + 144. Is 18 a factor of r(t)?
True
Let v be 2/2*-2 - -12. Does 2 divide (12/v)/((-468)/80 - -6)?
True
Let n(v) = v**3 - v**2. Let h be (-12)/(-14)*(-3 - -10). Let p be n(h). Suppose -4*d + p = -0*d. Is d a multiple of 15?
True
Is 4604/8 + (-22)/(-4) + -4 a multiple of 53?
False
Suppose -41*t = -73*t + 25024. Is t a multiple of 34?
True
Let q(v) = 3*v + 12 + 2*v**3 - 8*v**3 - 10. Let g be q(-2). Suppose 0 = -3*x - 3*s + 45, -5*x = s - 27 - g. Does 14 divide x?
True
Let p = -1147 + 1995. Is p a multiple of 53?
True
Let f(o) = 3*o**2 + 28*o + 96. Is f(24) a multiple of 17?
False
Suppose -4*b + 17 = -43. Let t be (b/(-4))/(10/(-120)). Suppose 3*n = t + 33. Is 19 a factor of n?
False
Let s = 33 - 9. Suppose -s*p + 104 = -22*p. Is 40 a factor of p?
False
Suppose 5*c - 1455 = -175. Is 23 a factor of c?
False
Suppose -4*g = -m - 325, -2*g = 3*g + 5*m - 375. Does 2 divide g?
True
Let j be ((-4)/(-14))/((4/(-2))/14). Let n(w) = -4*w**3 - w**2 - 4. Is 6 a factor of n(j)?
True
Let n(y) = y - 4. Let v be n(4). Suppose v = -3*s + 25 + 5. Let w(t) = 6*t - 4. Is 20 a factor of w(s)?
False
Suppose -u - 12 = 3*r, -3*u = 5*r - 0*u + 24. Suppose 0 = 5*x + 4*n - 26, -5*x - 2*n + 6 = -3*n. Is (-6)/(0/r - x) a multiple of 3?
True
Let w be 1/(-4) + 455/(-52). Let q(b) = -b**3 - 8*b**2 + 3*b - 12. Is 5 a factor of q(w)?
False
Let g = 20 - 19. Is 6 a factor of 2 - (80/g)/(-2)?
True
Let g be (4 + (-9)/6)/((-1)/(-2)). Suppose 340 = g*f + 2*h, 0*f - 5*h = -2*f + 165. Is f a multiple of 9?
False
Suppose -1000 = -3*r - 2*r + 5*o, 0 = -o - 5. Does 15 divide r?
True
Suppose -l + 9 = 3*a - 3*l, 4*a - 12 = -5*l. Suppose -8*u = -4*u - 5*q - 595, -a*u - q + 432 = 0. Is 23 a factor of u?
False
Suppose -35*h + 5408 = -5617. Does 45 divide h?
True
Does 42 divide (0 - 5/(-3))/((-2)/(-504))?
True
Suppose -11*q + 8*q + 24 = 0. Let h be ((-198)/q)/((-6)/80). Suppose -8*a + 3*a = -h. Is 9 a factor of a?
False
Let v = -717 + 792. Is 75 a factor of v?
True
Suppose -5*z = 5*y - 1230, -4*z + 984 = 4*y - 2*z. Suppose 19*n + y = 17*n. Let c = n - -199. Is 13 a factor of c?
False
Suppose 212 = 2*j - 4*s - 4546, 0 = -3*j + 2*s + 7145. Is 27 a factor of j?
False
Let i be (4/8)/(1/252). Suppose -7*f = -0*f - i. Does 6 divide f?
True
Suppose -3*j = 4*p + 800, j - 4*p + 28 = -212. Let d be 0 - -2*j/8. Is -1 - (-2 + d - 1) a multiple of 18?
False
Let g(j) = -2*j**3 + 28*j**2 