25 - -29. Suppose 10 = 4*c - 3*r, -c - k*r = -5*c + 8. Suppose -c*o + o + 288 = 0. Is 9 a factor of o?
False
Let z = 0 - 22. Let d = z - -20. Is 17 a factor of (-135)/(-4) + 2/(-16)*d?
True
Let v(j) be the first derivative of -j**4/4 - 4*j**3/3 + j**2/2 + 594*j - 116. Does 27 divide v(0)?
True
Suppose 4*x + x = 2*u + 10, -10 = -5*u - 5*x. Suppose r + r = u. Suppose y + f - 6*f - 38 = r, 3*y = -2*f + 148. Does 16 divide y?
True
Suppose -29*u - 3692 = -3*n - 24*u, -5*u - 6180 = -5*n. Is 3 a factor of n?
False
Let m = 51 + -61. Does 12 divide 9*(m/15 - -6)?
True
Suppose -4*k + 10870 = -2*k - 4*x, 24*k + x = 130195. Is k a multiple of 31?
True
Let t = -27 - -35. Is 12 a factor of ((-13143)/(-26))/(6/t)?
False
Let q(d) be the second derivative of -d**5/20 + 5*d**4/12 + 7*d. Let z be q(5). Suppose 0 = -5*b + 4*c + 121, 4*b - 5*c - 137 + 42 = z. Is 4 a factor of b?
False
Let v = -1654 + 1895. Does 64 divide v?
False
Let t(a) = -a**3 - 13*a**2 - 2*a - 18. Let w(z) = -z + 2. Let c(b) = -5*b - 27. Let l(n) = -c(n) + 3*w(n). Let o be l(-23). Is 3 a factor of t(o)?
False
Let b = 438 + 21. Suppose -2*y + b = 5*c, -6*y + 4*y + 4*c + 504 = 0. Does 13 divide y?
False
Suppose 3*u + 1 = -2. Let m be 10/15*u*-3. Is 230/8 + m/8 a multiple of 23?
False
Let p(b) = 60*b**2 + 4*b**3 - 36*b**2 - 3*b**3 - 50*b**2 - 22 + 101 + 29*b. Does 6 divide p(25)?
False
Let n = -3852 - -4157. Is n a multiple of 5?
True
Suppose 147 = 3*u + 18*u. Suppose -3*z - 2*h + 83 = -u*h, z - 25 = -h. Is z even?
True
Suppose -1690 = 34*l - 56*l + 356. Is 5 a factor of l?
False
Suppose -603*v + 15504372 = -194*v. Is v a multiple of 81?
True
Suppose 0 = 9*d + 6*d + 3270. Let k = -106 - d. Let s = k + -61. Does 17 divide s?
True
Is 65 a factor of (-2)/13 + (-3)/(-156)*513768?
True
Suppose 34*q = 11*q - 4278. Let l = 253 + q. Does 6 divide l?
False
Is (-8)/24*3 + 4511 a multiple of 82?
True
Let m(d) = 11*d**2 - 15*d + 150. Is m(6) a multiple of 3?
True
Let u = -3890 - -5912. Does 25 divide u?
False
Suppose -3*g = -3*p - 642, 15*g - 20*g - p + 1046 = 0. Is g a multiple of 10?
True
Suppose 66*h - 68*h + 4 = 0. Suppose 13*i - 2552 = h*i. Does 10 divide i?
False
Let t = 117 - 110. Let w be (5 + 1)*(-5)/(-10). Suppose t = w*m - 50. Is m a multiple of 19?
True
Let h be 3 + 3964/6 - 13/(-39). Suppose 3*v = -2*z + h, -88 = -v + 5*z + 156. Is 16 a factor of v?
True
Let v be (((-9)/(-5))/(-3))/(9/(-45)). Suppose -k + 101 = v*c, -4*k + k - 5*c + 311 = 0. Is 5 a factor of k?
False
Let v(g) = -434*g**3 + g**2. Let x be v(-1). Suppose 4*p - 325 = x. Suppose 67 - p = -3*f. Is 26 a factor of f?
False
Let a = 1729 + -1111. Let k = a + -306. Does 26 divide k?
True
Suppose 471 - 3687 = -3*j. Suppose -4*q + 4*i + j = 0, 384 + 132 = 2*q + 3*i. Does 35 divide q?
False
Suppose -6*b + 18 = 6. Let m(r) = -r**2 + 3*r**b + 1 + 55*r**3 + 88*r**3 - 2*r. Is m(1) a multiple of 14?
False
Suppose -59*g + 61*g - 492 = 0. Is g + -3 + (-6)/(-1) a multiple of 10?
False
Is 31 a factor of (-1979 - 5)*(-12)/8?
True
Let c = -166 - -727. Let w = c + -920. Let d = -247 - w. Does 16 divide d?
True
Let f be (-6)/(-30)*-2 - (-1653)/(-5). Let n = 403 + f. Is n a multiple of 8?
True
Suppose -13*b = -18*b + 1135. Suppose j = -33*t + 32*t + b, -j = 2*t - 229. Is 25 a factor of j?
True
Let y(d) = 571*d**2 + 173*d + 1422. Is 61 a factor of y(-9)?
True
Let w be ((-576)/10)/(-6) - (-2)/5. Let t be (w/4)/(11/(-2) + 6). Suppose -2*s = -3*y - 361, -t*s + 889 = -15*y + 12*y. Is 44 a factor of s?
True
Suppose -5*v = 5*f - 50, -3*f + 2 = -0*v - 4*v. Suppose 59 = -5*w + f*w. Does 12 divide w?
False
Suppose -2*z = v - 16072 - 8827, 6*v = 6. Is z a multiple of 60?
False
Let z(u) = u**3 + 2*u**2 - 15. Let j be z(0). Let h be 2/10 + (-12)/j. Does 21 divide 7/((h/(-6))/(-1))?
True
Suppose 0 = -19*z - 15 + 15. Suppose z*f = 3*f - 1422. Is f a multiple of 30?
False
Suppose 4*s - 225808 = 5*h, 13*s - 16*s + 169318 = h. Does 10 divide s?
False
Let s be 1 + -2 + 1 + (5 - 3). Suppose -1010 = -4*a + 3*r + 181, -4*r - 588 = -s*a. Does 5 divide a?
True
Let t(b) = 83*b**3 + 3*b**2 - 4*b. Let f be (-7)/(-70) - (-18)/20. Does 41 divide t(f)?
True
Let g(m) = 8*m**2 - 466*m - 118. Does 64 divide g(65)?
True
Let z(w) = w**3 + 8*w**2 + 3*w - 8. Let j be z(-7). Let p(h) = -h**3 + 20*h**2 + h - 17. Let v be p(j). Suppose -v*k = -k - 68. Does 17 divide k?
True
Suppose -3*k + q = -9681, -4*q + 6468 = 2*k - 0*q. Does 42 divide k?
False
Suppose 3*p + 130 = 109, 0 = -2*i - 4*p + 8282. Does 254 divide i?
False
Suppose -9*j + 1385 = -8*j. Suppose 5*k + j = -6*v + 11*v, -3*k - 15 = 0. Is 16 a factor of v?
True
Let x = -55 - -147. Does 30 divide (1172/(-6))/(7 + x/(-12))?
False
Does 2 divide (5 + -7)*-155 - (-10 + 9)?
False
Let a(y) = -y**2 - 40*y - 64. Suppose 0 = -5*i - 100 - 70. Is a(i) a multiple of 20?
True
Let q(v) = 7*v + 26. Let l(f) = 15*f + 51. Let m(d) = 2*l(d) - 5*q(d). Let s be m(-6). Suppose -2*b - 218 = -4*i, -s*b = 3*b - 15. Is i a multiple of 11?
False
Suppose -2*d = 2*b - 1283 - 3031, 4314 = 2*d - 4*b. Does 118 divide d?
False
Let r(s) = 569*s + 2494. Is 180 a factor of r(-3)?
False
Is 29 a factor of ((-2784)/(-60))/(4 - 477/120)?
True
Let t(n) = 2*n**2 + 42*n + 3. Let v be t(-21). Let q = 44 + v. Suppose 518 = -q*r + 49*r. Is r a multiple of 35?
False
Suppose -18 = -2*c + 8. Let i(w) = w**3 - 14*w**2 + 13*w + 2. Let y be i(c). Suppose 0 = -2*r - 4*p - 0*p + 192, 2*r + y*p - 200 = 0. Does 8 divide r?
True
Suppose -k = 2*i - 1441, -3*i = -2*k - k - 2175. Suppose f - 5*r = 352, -f = f - 4*r - i. Does 15 divide f?
False
Let k(y) = -2540*y + 2736. Does 25 divide k(-14)?
False
Does 6 divide (-1 - 86/(-14))/(((-220)/4389)/(-20))?
True
Suppose -4*g = -c + 255, -c + 2*g + 1048 = 3*c. Suppose -11*b = -c - 78. Is 28 a factor of b?
False
Let t be (8/(-14))/2 + (-576)/(-56). Suppose 0 = t*j + 136 + 584. Let d = 434 + j. Is 47 a factor of d?
False
Let o be (50/(-150))/((-2)/(-6)). Is 38 a factor of ((-2217)/21)/o + (-3)/(-7)?
False
Suppose 146*g = 82265 + 136735. Does 250 divide g?
True
Suppose 5*t + 14584 = 1187*h - 1186*h, -14599 = -h + 2*t. Is 7 a factor of h?
True
Suppose -2*c + 17170 = 4*y, -2*y = 38*c - 36*c - 8586. Is y a multiple of 58?
True
Suppose -897 - 42 = -3*y. Does 6 divide y?
False
Let v(u) = 2*u**2 + u - 2. Let c(m) = 39*m**2 - 11*m - 5. Let b(w) = c(w) - 2*v(w). Is 3 a factor of b(-1)?
False
Let f(d) = 4*d + 84. Let h(m) = -1. Let b(k) = -2*f(k) - 22*h(k). Is b(-32) a multiple of 11?
True
Suppose 91*i - c = 95*i - 2536, -3*i + c + 1902 = 0. Let p = 1537 - i. Does 43 divide p?
True
Suppose 4*b = -4, -b + 11 = 2*f - 2*b. Suppose -6*r + 270 = -f*r. Does 54 divide r?
True
Let j(x) = x**3 - 3*x**2 + 73*x - 518. Is 14 a factor of j(24)?
False
Suppose 0*u = 2*u - n - 3893, -3*u - 3*n + 5853 = 0. Suppose -5*p + u = 328. Does 36 divide p?
True
Let d = 2907 - 896. Is 15 a factor of d?
False
Let z be ((4 - 4) + 4)*4/8. Suppose -z*a + 3*a = 3. Let b = 1 + a. Is b even?
True
Let h = 374 - 378. Let l(t) = -51*t - 98. Is l(h) even?
True
Suppose -482*m + 3990 = -477*m. Is 42 a factor of m?
True
Let n = 75 - 60. Suppose n = -3*f, -4*a - 4*f = -a - 46. Suppose 3*c - a - 101 = 0. Does 4 divide c?
False
Let k = 320 - 316. Let v(p) = 19*p**2 + 6*p + 2. Does 11 divide v(k)?
True
Let a be 2/(0 + 6/(-3)). Let s be 341/10 - a/(-10). Suppose -s*x + 33*x = -28. Does 7 divide x?
True
Let d(a) = -a**2 + 13*a - 69. Let p be d(-17). Let j = 813 + p. Is j a multiple of 18?
True
Let q = -540 - -550. Let f(w) = 4*w + 1 - 3 + 5. Is f(q) a multiple of 7?
False
Let z(q) = -2*q**2 - 17*q - 31. Let m be z(-5). Suppose -3*c + 1249 = 5*o, -m*c + 709 = -3*o - 908. Is 17 a factor of c?
True
Suppose 7*q + 387 = -40. Let w = q + 155. Does 15 divide w?
False
Let a be (13/(351/450))/(4/258). Suppose -3*y + 5*r + 720 = 53, -5*y + a = -r. Does 54 divide y?
False
Suppose 3*q - 4*k = -62, -94 = -8*q + 13*q - 2*k. Is 22 a factor of 8/18 + (-2368)/q?
True
Suppose -8 = -68*s + 72*s. Let q(c) = -46*c**3 - 3*c**2 + 2*c + 6. Does 14 divide q(s)?
False
Is 84 a factor of (-43829)/(-5) + -3 - 450/(-375)?
False
Let v(p) = 10*p**2 - 31*p - 6. Let o(l) = 8*l - 5. Let c be o(0). Let a(q) = -q**3 - 5*q**2 - 5*q - 19. Let x be a(c). Is v(x) a multiple of 12?
True
Let p(q) = 3882*q**2 - 21*q - 9. Does 4 divide p(1)?
True
Let k