/180 + 3*z**5/5 + 19*z**2. Let t(p) be the third derivative of w(p). Is 4 a factor of t(4)?
True
Suppose 19*z - 36 = 7*z. Let d be (41 - (0 - -3)/3)*z. Is d/(-7)*(-56)/4 a multiple of 21?
False
Let m(o) = 55*o**2 + 124*o - 97. Is m(16) a multiple of 7?
True
Let j(o) = 10 + 0*o + 68*o + 9*o. Is j(1) even?
False
Is ((80/24)/(20/(-8)))/((-4)/10026) a multiple of 6?
True
Is 26 a factor of 112*((180/(-35))/(-12) - -141)?
False
Suppose -80 = -3*w + 4*w. Let m(g) = -11*g**2 + 39*g - 181. Let r be m(5). Let b = w - r. Is 23 a factor of b?
False
Suppose -4*n + 3408 = -4*v, -n - 5*v + 789 + 51 = 0. Let l be -4 + 9 + 16/(-8). Suppose -4*q = -4*m - 14 + n, -l*m = 5*q - 619. Does 42 divide m?
False
Let g(x) = -3*x**3 + x**2 - x - 2. Let q be g(-1). Let u(v) = -50*v + 48*v + q + 14 - 2. Is 7 a factor of u(-10)?
True
Let u be 2*4/(4/109). Suppose -4*n = 3*w - 674, -4*w + u = -3*w + 3*n. Let l = w + -55. Does 31 divide l?
False
Let v be -2 + 1 + 15/3. Let a be ((-33)/(-22))/((-2)/v) - -16. Let q = 122 - a. Does 18 divide q?
False
Suppose 0 = -2*l + 104 - 106. Is ((-238)/(-14))/(l/(-5)) a multiple of 3?
False
Suppose -16*y + 11*y = -10. Suppose -11*k + 405 = -y*k. Let x = -41 + k. Is 4 a factor of x?
True
Let c = 18825 - 11589. Is c a multiple of 12?
True
Let j(m) be the first derivative of -21*m**4/2 + m**3/3 - 3*m**2 - 10*m + 20. Does 57 divide j(-2)?
True
Let j be ((-44)/(-6) - 7)/((-1)/6). Does 78 divide (2 + -1)*(-5088)/(-24) - j?
False
Suppose 28*d - 24*d + 84 = 4*c, -101 = 5*d - 4*c. Let x(q) = -5*q + 3*q - q - 15. Is x(d) a multiple of 4?
True
Let d = -68 - -63. Let o be ((-102)/(-12) + d)*(-8)/(-14). Suppose o*h = -r + 200, -2*h - h = 3*r - 303. Does 19 divide h?
False
Is 61 a factor of (-17 - -21 - -4) + (4568 - 2)?
False
Let l = 31 + -33. Let d = -12 + l. Let b = d - -29. Is b a multiple of 4?
False
Let o = 31 - 28. Suppose -o*d - 26 = -452. Suppose 5*f + 121 = 2*p, -4*p + f + 55 = -d. Is p a multiple of 4?
True
Let x be (273/(-26))/((-3)/310). Suppose 0 = 2*d + 3*d - x. Is 8 a factor of d?
False
Let g(x) = -x**3 - 13*x**2 + 25*x - 9. Let h = -210 - -195. Does 11 divide g(h)?
True
Let s = 5 + -8. Suppose w + 249 = 57. Is 1*s + (w/(-2) - -1) a multiple of 7?
False
Let d = -490 + 1282. Is d a multiple of 8?
True
Let c(y) = 21*y**2 - 4 + y**2 + 16*y**2 - 39*y**2 - 21*y. Suppose -3*h = 2*m + 50, 0*h = -4*m - 5*h - 96. Does 5 divide c(m)?
False
Let z be ((-6)/4)/((-1)/(-2)). Let i(u) = -2*u - 9. Let j be i(z). Is ((-10)/(-2))/(j/(-51)) - 3 a multiple of 13?
False
Let f(h) = h**3 - h**2 - h - 9. Let d be f(0). Let u(i) = 3*i - 30*i + 59 - 24 - 5*i - i**2 + 21*i. Does 14 divide u(d)?
False
Let i(v) be the second derivative of v**4/12 + v**3/3 + 15*v**2 + 86*v. Does 5 divide i(-12)?
True
Let q = 41 - 47. Let k(j) = j**3 + 18*j**2 + j - 6. Let a be k(q). Suppose -23*i + a = -18*i. Is i a multiple of 12?
True
Let k be (-1 + -3 - 1) + 7 + -122. Let q(c) = 47*c**2 - 2*c - 2. Let g be q(-2). Let t = g + k. Is t a multiple of 15?
False
Suppose 4*k + 64 = -a, -3*a - 91 + 19 = 4*k. Is -3 + (48/k)/(4/(-130)) a multiple of 36?
False
Is 10 a factor of -5429*(10 + 5 + -9)/(-2)?
False
Let o = 185 + -140. Let d = o - -160. Is 41 a factor of d?
True
Let j be 6/(-10) - (-376)/(-40). Let i = -4 - j. Suppose -3 + i = c. Does 2 divide c?
False
Let l = -7141 - -25654. Does 99 divide l?
True
Let v be -1*0/(-2) + (3 - 3). Suppose v = -7*f + 14. Suppose 0 = 3*m - 3*x - 18, -f*m = -x - 3*x - 8. Does 4 divide m?
True
Suppose -75 = -3*y + 129. Suppose 2*l = 0, 0 = -2*t - 35*l + 33*l + 340. Let a = t - y. Is a a multiple of 25?
False
Suppose 32 = 26*b - 30*b. Let q(a) = a**3 + 16*a**2 - 4*a + 6. Is q(b) a multiple of 17?
False
Let a = -172 - -175. Suppose 0 = 5*y + a*m - 385, 11 = -y + 2*m + 101. Does 10 divide y?
True
Let z be (95/35)/((-10)/(-70)). Suppose z*y - 20*y + 360 = 0. Is 12 a factor of y?
True
Let v = 39015 + -22344. Is v a multiple of 26?
False
Let i(b) = b**3 + 52*b**2 - 4*b - 332. Is i(-51) a multiple of 12?
False
Suppose 2*x + g - 6*g - 24 = 0, -8 = 2*g. Let v be 105 - (-2 - (9/(-3) + x)). Let a = v - 30. Is 12 a factor of a?
False
Let l = 16252 - 14612. Is l a multiple of 164?
True
Let i(w) = 4*w + 49. Let x be i(-9). Suppose 0 = -x*n + 40*n - 756. Is 4 a factor of n?
True
Suppose -14 = -3*h + b, 3*h - 8*b = -6*b + 19. Suppose h*m = 0, -2*j - 5*m + 1080 = -m. Is j a multiple of 46?
False
Suppose -4*s - 680 = 3*w + 2*w, -3*w - s = 415. Suppose 121 = -18*l - 869. Let b = l - w. Does 10 divide b?
False
Suppose -6*w + 63 - 33 = 0. Suppose 4*z + 6*q = 7*q + 255, q = -w*z + 312. Is 7 a factor of z?
True
Is 107 a factor of 8/(-7) + (-9962764)/(-931)?
True
Suppose -f + 71 = 5*p, -3*p - f + 26 = -p. Suppose 0 = -14*d + p*d - 5. Suppose -4*z + u = -248 - 131, u = d. Does 24 divide z?
True
Suppose -49*q + 3*a - 2643 = -52*q, -3499 = -4*q + a. Suppose 753*j - 747*j = q. Is 2 a factor of j?
True
Suppose -31*v + 9984 = -7*v. Suppose v + 172 = 7*c. Does 3 divide c?
True
Let r(s) = 4*s + 32. Let t be r(17). Let q = -80 + t. Is q a multiple of 18?
False
Let f(i) = 27*i - 86. Let h be f(3). Suppose 4*w + 5*g + 265 = 0, g = 3*w - 131 + 325. Is 22 a factor of (1144/w)/(1/h)?
True
Let j be 3 + -1 + -4 + 323. Suppose 89 - j = -8*r. Let c = r - 5. Is c a multiple of 4?
True
Let c = 4376 - 1989. Is 16 a factor of c?
False
Suppose 2*w = -o + 10056, -3*w + 54*o = 53*o - 15099. Is w a multiple of 12?
False
Is -12*3/16 - 1060917/(-52) a multiple of 15?
True
Is (-3 + -1)*(7 + (-16)/((-160)/(-10725))) a multiple of 6?
False
Suppose -2*f + 14*c = 11*c - 47569, -2*c - 95142 = -4*f. Does 38 divide f?
False
Suppose 5*v = -4*g + 16895, -g + 2*v = -223 - 4017. Is g a multiple of 88?
False
Suppose 3*l + 0*l + 3*m = -6, 0 = 5*l - 4*m + 10. Let b be (1/(-2))/((-2)/(l + 6)). Suppose b = d, -d + 2 = -c + 19. Is c a multiple of 2?
True
Let j be ((-2)/4)/((-2)/32). Let k be ((-136)/102)/((-1)/((-18)/(-8))). Suppose 9*c = j*c + r + 168, -k*c + 504 = -2*r. Is c a multiple of 57?
False
Suppose y = 2*x + 14 - 4, -2*y = 2*x + 4. Suppose -4*s + 1399 = -3*v, 1124 = 3*s - y*v + 74. Does 44 divide s?
True
Let x(g) = -2*g**3 - 11*g - 6. Let w(j) = -3*j**3 + j**2 - 23*j - 12. Let f(o) = -4*w(o) + 9*x(o). Suppose 2*n = 14*n + 24. Is 5 a factor of f(n)?
True
Suppose 0 = -4*g + 60 - 8. Let b(a) = g*a + 31 - 12*a - 2. Is 6 a factor of b(-7)?
False
Does 5 divide 6/4 + (-10 + (-30248)/32)*-14?
True
Let o(q) be the first derivative of -q**4/4 - 3*q**3 - 15*q**2/2 - 2*q - 15. Let j be o(-7). Let h(y) = 18*y + 6. Is h(j) a multiple of 48?
True
Suppose 627 + 2733 = 10*s + 4*s. Is 48 a factor of s?
True
Suppose 5*h - 6*h - 4*s = 11, 4 = -s. Let m(k) = 138*k + 15. Let t(r) = -92*r - 10. Let f(o) = h*m(o) + 8*t(o). Is 19 a factor of f(-3)?
True
Let v be (-1 - 1)*16/(-32). Suppose p = v, -4*t + 4*p + 20 = -0*p. Suppose 239 = t*k - 133. Is 34 a factor of k?
False
Let n be (-6 - -1)/(7 - 8). Suppose 2*u - 807 - 199 = 2*r, 0 = -n*u - 4*r + 2524. Suppose -3*t - 4*l = -378, -3*t - t + u = 4*l. Is 18 a factor of t?
True
Suppose -t + 74 = 4*t - 4*y, -5*y = -3*t + 34. Let f be t/12*((-8)/(-2))/2. Suppose -5*h - f = -u, -4*u + 3*h + 95 + 2 = 0. Is 3 a factor of u?
False
Let o(u) = u - 7. Let q(s) = -s**3 - 9*s**2 + 8*s - 9. Let c be q(-10). Let t be o(c). Suppose t*i - 41 = 3*a + 36, 4*i + 4*a = 112. Does 23 divide i?
True
Let f(n) = -n**2 - 12*n - 6. Let y be f(-10). Suppose 5*x + 4 = y. Suppose -4*b = -6*b + 10, x*d = -b + 69. Is d a multiple of 8?
True
Is 63 - 72 - 10040/(-1) a multiple of 56?
False
Is -7 - -970 - (63/(-14))/((-12)/16) a multiple of 9?
False
Suppose 3*f - 611 - 2364 = -14*f. Is 33 a factor of f?
False
Let o(c) be the third derivative of c**6/120 + c**5/6 - 7*c**4/24 - 17*c**3/3 - c**2 - 3. Is o(-10) a multiple of 4?
True
Let j(k) = 121*k - 10. Let t(m) = 2*m**2 + 7*m - 34. Let g be t(3). Does 23 divide j(g)?
False
Suppose -97*v + 57 = -78*v. Suppose -j + 149 = 5*r - 105, -r + 804 = v*j. Is j a multiple of 19?
False
Let n = 7 + 21. Suppose -n = w + 16. Let r = 5 - w. Is r a multiple of 6?
False
Let f(b) = -5250 - 3*b + 5279 + 49*b. Does 9 divide f(7)?
True
Let n be 24/(-42) + (-22)/(-14). Let m be ((-3)/(-9))/(n/18). Suppose -2*r + m*r = -4*q + 632, 4*q = 3*r + 618. Is 39 a factor of q?
True
Is (7973 - 1/1) + -333 + 34