 - 3. Suppose 0 = -u*v - 2*k + 228, 0 = -4*v + k - 0*k + 446. Is v a multiple of 15?
False
Let p(k) = 1120*k - 623. Is p(5) a multiple of 79?
True
Let j(c) = -c**3 - 14*c**2 + c + 6. Let n be j(-14). Let f be ((-20)/n)/(3/(-30)). Let a = f - -39. Does 13 divide a?
False
Let k be (-4)/(-22) - (-2)/(-11). Suppose -4*b + 3*b + 4*z + 122 = 0, k = 4*b + 4*z - 448. Is 57 a factor of b?
True
Suppose w = -56 + 242. Is w a multiple of 4?
False
Let g(d) = -265*d - 11. Let n be g(-1). Let o = -209 + n. Is o a multiple of 5?
True
Suppose -5*f = 2*y - 7*f - 5004, 4*y + 4*f - 10056 = 0. Does 209 divide y?
True
Let d(c) = -15*c + 15. Let u(j) = 3*j**2 + 13*j + 2. Let v(t) = -t**2 - 4*t - 1. Let i(f) = 2*u(f) + 7*v(f). Let p be i(-2). Is 41 a factor of d(p)?
False
Let y be 3/(3/4) - -2. Suppose 4*x + 3 = j + y*x, -3*j + 2 = -x. Let w = j + 21. Is w a multiple of 22?
True
Let m be ((-28)/(-8))/(14/12). Suppose -1476 = -2*q - h - 127, -5*q + m*h + 3345 = 0. Is q a multiple of 7?
True
Let b = -1441 - -270. Let n = b + 1809. Is n a multiple of 11?
True
Is 2 a factor of 1005/6*1102/145?
False
Suppose 4*b - 296 = 4*p + 236, 4*p - 420 = -3*b. Does 3 divide ((-83376)/b)/(-9) + 6/(-51)?
False
Let w(n) = -45*n - 220. Let c be w(-17). Suppose -794 - c = -13*h. Is h a multiple of 5?
False
Let n = 266 + -167. Suppose -n*v = -100*v + 257. Does 13 divide v?
False
Let b(h) = -3*h - 10. Let i be b(-5). Suppose 19 = i*y - 1. Is 40 a factor of (-714)/(-9) + y/6?
True
Let i = 43813 + -25113. Does 110 divide i?
True
Suppose 4*d + 9*m - 6*m = -3153, -3 = -3*m. Is 4 - (-5 + (2 + -1)*d) a multiple of 19?
True
Suppose -2*u + 2*m + 2884 = 0, 7*u - 1432 = 6*u - 4*m. Suppose -43*x = b - 39*x - u, 3*x - 1435 = -b. Is 10 a factor of b?
True
Let l be ((-218)/(-1))/(9/(-3) + 4). Let w be 20/5*l/(-8). Let g = 157 + w. Does 24 divide g?
True
Suppose 0 = -13*z + 1007 + 1414 + 621. Does 13 divide z?
True
Suppose 11*y - 5*y = -12. Is 13 a factor of (3 - -78) + (-15)/(7 + y)?
True
Suppose 0*a = -p - 4*a + 4134, -16650 = -4*p + 3*a. Is p a multiple of 14?
True
Let c(x) = 22*x + x**3 - 17 + x**2 - 2*x + 21*x**2. Let v be c(-21). Suppose 0 = -5*h - v*q + 950, -2*h = -4*q - q - 380. Is 10 a factor of h?
True
Let d(q) = -q**3 - 8*q**2 - 9*q + 14. Let s be d(-6). Let l be (18/s)/(6/(-156)). Let h = 184 - l. Is h a multiple of 27?
False
Suppose -4*j - 4*f + 12992 = 0, 412*j + 2*f = 417*j - 16205. Is j a multiple of 41?
False
Let q be ((-4)/(-12))/(2/30). Suppose -3*z - 191 = -q*f, -z = 3*f - 62 - 61. Let t = f - -10. Does 25 divide t?
True
Let c be ((35/2)/(-7))/((-2)/4). Let n = 6 - 6. Suppose -c*u + 215 + 210 = n. Is 18 a factor of u?
False
Suppose 0 = -3*r + 4*g + 28, 8 = -2*r - g + 12. Suppose 148 = 2*o - 0*o. Suppose -r*h = -o - 94. Is h a multiple of 14?
True
Let h = 5828 + 2821. Does 93 divide h?
True
Suppose -2*l - 3*m - 2 = 0, 2*l + 0*m - 6 = m. Suppose 0 = 2*w + 2*q - 402, w - l*q - 205 = -7*q. Is w a multiple of 5?
True
Suppose -3*z - 2*g + 12126 = 0, 405*g - 402*g - 12132 = -3*z. Does 60 divide z?
False
Suppose 6*w - 21*w = -31815. Is 7 a factor of w?
True
Let i(n) = -328*n**3 - 8*n - 6. Let o(m) = -m**2 + 6*m - 6. Let g be o(5). Is i(g) a multiple of 33?
True
Suppose 4*p = -26 - 266. Let t = 163 + p. Does 28 divide t?
False
Let f(h) = -10*h**2 + 3*h - 9. Let r(a) = 9*a**2 - 2*a + 10. Let u(z) = -7*f(z) - 6*r(z). Suppose -q - 4*q = 15. Does 29 divide u(q)?
True
Let w(m) = -2181*m**3 + 2*m**2 + 6*m + 3. Let k be w(-1). Suppose q + 4*n = -3*q + k, -2728 = -5*q - 2*n. Is q a multiple of 14?
True
Suppose 2*o + 1218 = 9*o - 16366. Is o a multiple of 16?
True
Let m(a) = 10 - 11 - 43 - 166 + 10*a. Is m(29) a multiple of 20?
True
Let t(m) = m**3 + 5*m**2 + 8. Let j be t(-5). Suppose -j*o + 2346 = -2*o. Suppose 7*y - o = 169. Does 20 divide y?
True
Let d = -42 - -42. Suppose 3*r + 5 - 11 = d. Suppose -g = r*g - 5*a - 94, -164 = -4*g - 3*a. Does 6 divide g?
False
Suppose -33*w + 22*w + 149061 = 0. Suppose -w = 52*j - 59987. Does 19 divide j?
True
Suppose -2*k + 6*k = -5*d + 3855, -4*d = 4. Let x = k + 123. Is 68 a factor of x?
True
Is 90/(-10) + 23145 - 23 a multiple of 64?
False
Let h(r) = r - r**2 + 0*r + 14 + 7. Suppose -v - 4 = -8, -3*x = 5*v - 20. Is h(x) a multiple of 7?
True
Suppose 8 = 5*b - 7. Is ((-3)/2)/(b/(-272)) a multiple of 8?
True
Let u be 329/49 + 32/14 + -2. Is 15 a factor of ((-87)/116)/((u/60)/(-7))?
True
Suppose 51798 = 93*z - 89*z + 3870. Is 76 a factor of z?
False
Let t be 69 + -69 + (1 - 1*-173). Suppose -169*q = -t*q + 1980. Let j = 612 - q. Is j a multiple of 12?
True
Let c be (-2)/(-1) - (9 + -16). Let o = 44 + -5. Suppose -o = -c*t + 501. Does 15 divide t?
True
Suppose 5*g - 5970 = 13470. Does 54 divide g?
True
Let s(p) = 7*p - 7 - 7*p + 6*p + 2*p**2. Let k be s(3). Let t = 116 + k. Is 13 a factor of t?
False
Let a(t) = 104*t**2 - 2*t + 3. Let r be (-34)/(-4*(-1)/(-2)). Suppose 2*b + 15 = r. Is a(b) a multiple of 21?
True
Suppose -f + 3*s = -12423, 31 = -2*s + 29. Is f a multiple of 138?
True
Let v(k) = 6*k**2 + 3*k + 1. Let g be 4/(-3) + (77/(-21) - -4). Let z be v(g). Suppose -5*y + 8*y - 122 = 4*c, -4*y + 164 = -z*c. Is 21 a factor of y?
True
Let l(q) = -184*q - 5461. Is l(-54) a multiple of 34?
False
Let i(u) = 3*u + 24. Let k be i(-10). Let n(y) be the first derivative of y**4/4 + 8*y**3/3 + y**2/2 + 9*y - 2. Is 15 a factor of n(k)?
True
Let r(m) = m**3 - m**2 + 4*m + 38. Does 9 divide r(17)?
False
Let v be 18 + -1 + 0/(-5). Suppose -5*f - 3*b + 20 = 0, b + 11 = 3*f - 1. Is 34 a factor of (f/(-2) + 6)*v?
True
Suppose -5*u = -3*g + 1300, -5*u - 495 - 380 = -2*g. Suppose -5*p = -5*q + g, -4*p - 48 = 5*q - 482. Does 8 divide q?
False
Suppose 0 = -2*z + 19*z - 37978. Is z a multiple of 53?
False
Suppose y + 4*k + 315 = 2419, 2*y + 3*k = 4218. Does 86 divide y?
False
Let o = 22361 - -24007. Does 12 divide o?
True
Let v(l) = -l**3 + 42*l**2 - 201*l - 85. Does 17 divide v(32)?
True
Is ((-6)/39 + (-207384)/(-52))/(48/336) a multiple of 8?
False
Suppose -60*v + 10 = -58*v. Suppose v*k - 11*a + 14*a = 1056, a = -3. Is k a multiple of 12?
False
Suppose -5*p = 2*i - 11025, 0 = -49*i + 53*i + p - 22005. Does 55 divide i?
True
Suppose 0 = 26*r - 16*r + 40. Let o be 8/(0 - r) + 2. Suppose 6*s = -y + 3*s + 23, o*y - 5*s - 160 = 0. Is 5 a factor of y?
True
Suppose -11*b - 161 = -1250. Let a be ((-132)/b)/((-1)/9*-2). Does 14 divide a*3/(-36) + (-334)/(-4)?
True
Let a(k) = -k**2 + 22*k - 31. Let m be a(19). Let u = -89 + 91. Suppose -u*y - 6 + m = -4*l, -3*l - 6 = -y. Is y a multiple of 3?
True
Let v be (-3 + 12/8)*(-3242)/3. Let s = v + -1146. Is 33 a factor of s?
False
Let u = -16 - -21. Suppose 0*z + u*z + 50 = 0. Let y = -2 - z. Is y a multiple of 5?
False
Let w(y) = y - 5. Let l be w(-5). Let b be 96/30 + 2/l. Is (-30)/(-20)*74/b a multiple of 20?
False
Let v = -64 + 67. Suppose v*f - 748 = 2*u - 108, 0 = -3*f + 5*u + 655. Does 21 divide f?
True
Let u(y) = -252*y. Let n be u(-4). Suppose 12*b - 10*b = n. Is b a multiple of 56?
True
Suppose -2*s = 5*j + 2, -16*j = -12*j - s - 1. Suppose -5*h - 183 + 588 = j. Is h a multiple of 9?
True
Let p be ((-3)/6)/((-5)/30). Let f(c) = c**3 - 2*c**2 - 3*c + 3. Let i be f(p). Is 24*2 - (2 + 0) - i a multiple of 9?
False
Let s = -324 - -357. Suppose s*b - 104 = 1678. Does 12 divide b?
False
Let b = 28163 + -19776. Does 122 divide b?
False
Suppose -194289 = 10*p - 92*p + 241295. Is 60 a factor of p?
False
Let g(z) be the third derivative of -31*z**6/20 + 3*z**4/8 - 7*z**2 - 6*z. Is 14 a factor of g(-2)?
True
Suppose -32*d = 37*d - 68*d - 2647. Is 5 a factor of d?
False
Suppose -8*v = -2*v. Suppose 2*w + 2*d = 3*w - 12, -3*w + 2*d + 36 = v. Is 11 a factor of 8/w + (-194)/(-6)?
True
Let d = 30 - 23. Suppose -33 = -d*b + 1514. Suppose -3*h = -5*w - 137, w - 2*w - b = -5*h. Is 4 a factor of h?
True
Let a = -83 - -129. Suppose -4*t - 34 = -4*s - 2*t, -a = -4*s - 2*t. Suppose s*b - 1496 = -b. Does 7 divide b?
False
Suppose -17*u + 25*u = -4360. Let p = -338 - u. Is p a multiple of 23?
True
Let u = -170 - -172. Suppose u*r = 4*h - 1212, 8 = -r + 5*r. Does 8 divide h?
True
Let i = 35 - 31. Suppose s + 5*b = 971 - 215, 0 = -5*s - i*b + 3696. Suppose 2*t - y = 368, 0 = -4*t - 2*y - 0*y + s. Is t a multiple of 46?
True
Let u = -18 + 24. Let o be (-3)/u*