 -673, 0 = -l*f + 3*f - 2*h - 217. Does 65 divide f?
False
Suppose 5*q = 3*w - 868, 2*q - 184 = 3*q + 2*w. Let n = -119 - q. Suppose 0 = n*z - 59*z + 130. Is z a multiple of 34?
False
Suppose -33487 = -7*x + 16045. Is x a multiple of 102?
False
Let o be (-57)/(-12) - (-1)/4. Let v(p) = -263*p - 522. Let w be v(-2). Suppose -o*h = w*d - 320, 2*d + 145 = 2*h + 7*d. Does 6 divide h?
True
Suppose -4*g = 5*r + 29, -3*g - r = g + 9. Is 9 a factor of ((-25)/5)/g + 53?
False
Suppose 249 = 2*g - 2*t - 3605, 9629 = 5*g - 3*t. Is g a multiple of 10?
False
Suppose 3*m + m - 122 = 3*t, 150 = -4*t - m. Let p = t - -65. Suppose 1 = 2*n - p. Does 7 divide n?
True
Is (-49545)/(-6) - 105/30 a multiple of 57?
False
Let m = 1680 - -28478. Is m a multiple of 17?
True
Suppose -15*n = -20*n + 10. Let y(v) = n*v**2 + 24 - 3*v**3 - 2*v + 2*v**3 + 25 - v**2. Is y(0) a multiple of 7?
True
Let c(r) = -r - 7. Let u be c(-8). Let h(a) = 1 + u - 4*a - 12. Does 4 divide h(-11)?
False
Suppose -19*m - m = -25400. Suppose 5*p - o = 1285, 0*o - 4*o = -5*p + m. Does 68 divide p?
False
Suppose 0 = -5*t - 5, 4*v - 4 = 5*t + 9. Suppose -2*k = -10*k - 2*l - 56, 0 = -3*k - 2*l - 16. Is k/3*(v - (-76)/(-8)) a multiple of 2?
True
Suppose -6 = -3*w - 0*w. Suppose -w*z = -2*c + 262, -5*c + 0*z + 660 = -4*z. Is 34 a factor of c?
True
Suppose 12987 = h + 5*u, 3326*u - 25963 = -2*h + 3327*u. Does 2 divide h?
True
Let m(w) = -50*w**2 - 17*w - 37. Let r be m(-2). Let n = 401 + r. Is n a multiple of 25?
False
Let o(y) = -y**3 + 10*y**2 - 16*y - 3. Let m be o(5). Suppose m = 5*f + 17. Suppose -4*h = -p + 150, 4*h = -f*p + 6*h + 768. Does 52 divide p?
False
Let x(t) = t**3 - 12*t**2 + 14*t - 21. Let k be x(11). Let q(w) = k - 4 - 23*w + 10 - w**2. Does 18 divide q(-23)?
True
Suppose 389 = 5*k + 3*p, -47*k - 4*p = -52*k + 438. Let v(w) = 78*w - 1. Let z be v(1). Suppose 3*r - z = -4*j, -4*r + 5*j + 0*j + k = 0. Is r a multiple of 17?
False
Suppose -4*r + 21 = -3. Let b(m) = -m**3 + 9 + r - 13*m**2 + 13*m - 6. Does 21 divide b(-14)?
False
Let g(r) = -r**3 + 27*r**2 - 26*r - 27. Does 13 divide g(-22)?
False
Suppose 12*y + 13 = 265. Suppose 42*f - 5628 = y*f. Is f a multiple of 27?
False
Let r = 28 + -1. Suppose 7*i = -2*i - r. Let q(w) = -13*w - 3. Is q(i) a multiple of 6?
True
Let a = -90 + 53. Let u = a + 41. Suppose 2*m = -u*c + 274, 3*m = c - 37 - 42. Is c a multiple of 14?
True
Let z = 1488 + -88. Is z a multiple of 100?
True
Does 24 divide (-6 + 1 - -1)*(-3956)/8?
False
Let c(r) = -5*r**3 + r**2 - 9*r - 14. Let f be c(-4). Suppose 3*l - 716 - f = 0. Is 20 a factor of l?
False
Suppose 0 = -2*q - 0*q + 14. Suppose -5*w + 36 = q*w. Suppose 5*k + 2 = w*i, -6 = i + 2*k - 25. Does 9 divide i?
True
Let o = -17 - -10. Let y be (12 + o)*6/5. Suppose -r + y*r = -15, -s - 3 = 3*r. Is 3 a factor of s?
True
Let q = -7297 - -12581. Does 30 divide q?
False
Let k(j) = 2*j**3 + 46*j**2 - 33*j + 20. Let u(h) = -2*h**3 - 46*h**2 + 30*h - 20. Let g(w) = -3*k(w) - 2*u(w). Is 69 a factor of g(-24)?
False
Suppose 42*y - 261381 - 58612 = 2157545. Is 21 a factor of y?
True
Let n(h) = h**2 - 26*h + 1496. Does 34 divide n(0)?
True
Let s(g) = -g**2 - 13*g - 17. Let y be s(-11). Suppose -y*l - d = 2*d - 4916, 12 = -4*d. Suppose 22*a - 17*a = l. Is a a multiple of 44?
False
Let m = 16618 + -6998. Is 153 a factor of m?
False
Let a(x) = 60*x - 1909. Does 4 divide a(37)?
False
Let v(z) = 145*z - 1290. Does 7 divide v(24)?
False
Let j be 9/6*155280/45. Suppose j = 14*u - 368. Is u a multiple of 18?
True
Suppose -3*v = -64*v - 610. Does 7 divide 3986/6 - (-1)/((-15)/v)?
True
Let b = 35826 - 35145. Is b even?
False
Suppose -3*p - 3460 = -7*p + 3*w, -5*p = w - 4306. Suppose -p = -4*s + 322. Is 19 a factor of s?
False
Let h = 1 + 29. Let w = 69 - h. Is (-6)/(-1) - 3 - w/(-3) a multiple of 16?
True
Let h(n) = 463*n - 1074. Is 45 a factor of h(7)?
False
Let r(j) = -1597*j + 239. Is r(-20) a multiple of 178?
False
Suppose 216 - 75 = v. Suppose 4*g - 3*o = 60, 0 = g - 72*o + 71*o - 15. Suppose 12*q - v = g. Is 13 a factor of q?
True
Let v(p) = 3*p**2 - 15*p + 25. Let a(c) be the first derivative of 5*c**3/3 - 11*c**2 + 37*c - 28. Let q(x) = 5*a(x) - 7*v(x). Is 27 a factor of q(4)?
True
Let l(d) be the second derivative of -5*d**3/6 + 133*d**2/2 - 79*d. Is l(11) a multiple of 6?
True
Let y(m) = m - 25. Let z(p) = -1. Let h(a) = y(a) - 5*z(a). Let g be h(5). Is 284*(g/(-12) + -1) a multiple of 15?
False
Let r(v) = 2*v**3 + 3*v**2 + 9*v - 22. Let l be r(9). Suppose -12*j = -4*j - l. Is 20 a factor of j?
True
Suppose 3*s - 16 = 4*v + 10, -3*s + 5*v = -25. Suppose s*m - 51 + 221 = 0. Let t = 17 - m. Is 7 a factor of t?
False
Let n = 6116 + -4688. Does 17 divide n?
True
Let d = 89 + -83. Is -1 - ((-2148)/2)/d a multiple of 3?
False
Suppose 3*t = 52*f - 47*f + 20553, -5*t + 34275 = -5*f. Is 5 a factor of t?
False
Let s(q) = -q + 3. Let m be s(-8). Is m/(44/24) - -48 a multiple of 3?
True
Suppose 159*a = -164*a + 1576240. Does 45 divide a?
False
Let y(h) = -2*h**3 - 36*h**2 - 27*h - 32. Let n be y(-17). Let m = n + 387. Is m a multiple of 40?
False
Suppose -72 = 4*g - 180. Suppose -4*f = 5*y - g, -4*y + 3*f + 15 = 4*f. Suppose y*q + 7*q - 70 = 0. Does 7 divide q?
True
Suppose s - 1 = f, -5*s + 4 = -4*f - 3. Let x be (s/(15/(-4)))/((-2)/135). Suppose 5*p - 128 = 4*b, x = p - 5*b + 20. Is p a multiple of 14?
False
Suppose k - 2*n + 1 = 14, 83 = 3*k + 5*n. Suppose 4*s + 30 + 66 = 0. Let x = k - s. Is x a multiple of 43?
False
Suppose 463*s - 410076 = 427*s. Does 14 divide s?
False
Suppose 135280 + 2690 = 73*m. Does 10 divide m?
True
Let r be 33 + -1 + -1 + -1. Let c = 81 - r. Let u = 111 - c. Does 15 divide u?
True
Let u(g) = 6 + 10 + g - 11 + 12. Let v be u(-14). Suppose -3*y + 15 = 4*b - v, 0 = -4*y - 8. Is b a multiple of 2?
True
Let t(l) = -l**3 + 14*l**2 + 2*l - 21. Let k be t(14). Suppose 2*h = k - 3. Suppose p - 27 = -h*v, 3*v = 7*v - 2*p - 42. Is 11 a factor of v?
False
Suppose 126559 + 25208 = 27*x. Is x a multiple of 11?
True
Let v(n) = 198*n**2 - 21*n + 22. Let y be v(1). Suppose -3*q + y + 845 = 0. Does 7 divide q?
False
Let s(m) be the first derivative of -4*m**2 + 10*m - 6. Let v be 131/(-19) - (-8)/(-76). Is s(v) a multiple of 14?
False
Suppose 9*o = 13*o - 192. Suppose -3*j + 16 = -h, 4*j + 9*h = 4*h + 53. Suppose 4*b + 4*t = o, 0 = -5*b + j*t - 3*t + 42. Is b a multiple of 10?
True
Suppose 5*g = 3*v - 4, 6*v + 4*g - 32 = 4*v. Is 13 a factor of 5/(522/(-938) - v/(-14))?
False
Suppose 21735 = -w + 22*w. Suppose -21*g = -16*g - w. Is g a multiple of 27?
False
Suppose 2213 = 21*l - 27649. Suppose 5*o = -z + 3*z - 942, -3*z + l = -3*o. Does 34 divide z?
True
Does 10 divide (-11*(-1150)/(-1771))/(2/(-532))?
True
Suppose -217*q + 17*q = -2*q - 100188. Is 14 a factor of q?
False
Let v be (-1)/(1/(-12) - (-5)/(-20)). Suppose -2*w - v*w = -f + 291, 1355 = 5*f - 5*w. Is 38 a factor of f?
True
Let w = 93 + -88. Suppose -723 = -3*p + w*b + 422, -p = -b - 381. Is p a multiple of 19?
True
Let p(g) = -g**3 - g**2 + g + 3. Let o be p(-2). Suppose -o*y + 3952 = l + 2*l, 3*y - 2376 = 3*l. Suppose -4*r = -y + 179. Does 19 divide r?
False
Suppose 148*g - 1956738 = 586494. Does 16 divide g?
True
Let g(q) be the second derivative of q**5/20 - 7*q**4/12 - 5*q**3/6 - 16*q**2 + 167*q. Is g(11) a multiple of 10?
False
Let z(x) = 337*x + 28. Does 5 divide z(3)?
False
Suppose -14*y + 81*y - 745920 = -7*y. Is 56 a factor of y?
True
Suppose 32*q = 34*q - d - 6, 5*d + 10 = 0. Suppose q*w + 58 = 2*l - 2*w, -3*l + w = -62. Does 19 divide l?
True
Let b(t) = -116*t + 859. Is b(-42) a multiple of 45?
False
Suppose 2*g - 3*n = 7, 4*g + 2*n = 8*g - 2. Let f be 19 + -17 - 3/g. Suppose -4*z = f*m - 75, -2*m = 4*z + m - 85. Is 15 a factor of z?
False
Suppose 0 = -l + 5, l = o + 63 + 33. Let z = 95 + o. Suppose z*c - 56 = -0*c. Does 7 divide c?
True
Suppose 8*u - 12*u - 536 = -4*h, 5*h + u - 688 = 0. Let w = 1269 + h. Does 19 divide w?
True
Let s(v) = -v**3 - 5*v**2 - 5*v - 1. Let h = 28 + -11. Let a be (-3 + h)/(3 + 15/(-3)). Does 22 divide s(a)?
True
Suppose q = -k + 1095, 6*k - 3*k - 3273 = q. Suppose 0 = -41*h + 28*h + k. Is h a multiple of 12?
True
Let r = -8331 - -11131. Is r a multiple of 7?
True
Suppose 4*c - 9 = c. Suppose -5*l - 2*d = -50, 7*l - 55 = 2*l -