-5) - (2 - 2940/(-25)). Is (-568)/3*270/l a multiple of 7?
False
Let z(i) = 24*i**2 + 3*i + 9. Let w be z(7). Suppose -17*n = m - 22*n, 3*m = -n. Suppose m = 12*c - w - 474. Is c a multiple of 11?
False
Let j = 49 + 2. Suppose -47*g + j*g = 348. Let s = g - 52. Does 31 divide s?
False
Suppose 37*s - 42*s + 2*c = -34576, c - 2 = 0. Is s a multiple of 13?
True
Suppose 218*o + 5091 = 2*p + 223*o, -2548 = -p - 5*o. Does 11 divide p?
False
Let v = -215 + -20. Let i = -160 - v. Is i a multiple of 7?
False
Let n be (-456)/(-9) - (2 - 16/12). Is n - ((-2)/(-10) - (-5)/(-25)) a multiple of 9?
False
Let h = -20 + 23. Suppose -h*f = -0*f. Suppose -d + f*d = -14. Is 7 a factor of d?
True
Suppose 4*q + 24 = 4*f, 5*q = 5*f + q - 30. Suppose -1292 + 236 = -f*o. Does 11 divide o?
True
Suppose -4*t + 5*t + 11475 = 4*i, 11460 = 4*i + 4*t. Is 46 a factor of i?
False
Let r(s) = s + 2. Let v be r(3). Suppose -4*d = 16, 0*d = -2*y - v*d + 114. Is 9 a factor of y?
False
Suppose -108*o + 904568 - 80420 = 0. Is o a multiple of 134?
False
Let p = -3 + 5. Suppose q + 37 = n, -4*n - 56 = p*q + 24. Is 10 a factor of q/95*(-1 - 99)?
True
Let d(b) = -1870*b - 106. Is 28 a factor of d(-1)?
True
Is ((-44)/55)/(1*6/(-76200)) a multiple of 16?
True
Suppose -3*x - 70140 = -j, 0 = 2*j + 4*x - 44506 - 95724. Does 169 divide j?
False
Suppose 2107 = 5*g - 1463. Is g a multiple of 7?
True
Suppose -4*x = 4*n - 5*n + 751, 3*n - 5*x - 2288 = 0. Suppose -3*l + l + 5*o + 529 = 0, 3*l - 3*o = n. Is l a multiple of 6?
True
Suppose -4*s + 4*x + 46844 = 0, -s + 10*x = 14*x - 11741. Is s a multiple of 12?
False
Let k(d) = 4*d**2 - 12*d - 36. Let z be k(20). Let q = 1993 - z. Does 25 divide q?
False
Let q = 155 - -114. Suppose -3*c + 109 = -q. Is 3 a factor of (2 - (-5)/(-3))*c/2?
True
Suppose -11803395 - 20937885 = -636*x. Does 66 divide x?
True
Let x = -414 - -413. Is (-24)/((-2 - x)*2) even?
True
Let r(u) = 2*u**2 - 62*u - 48. Let i be r(46). Suppose -297 = -3*q - 3*k + i, -q + 2*k + 534 = 0. Is 6 a factor of q?
True
Suppose -7*y + 11547 = -4*y - 3*z, -2*y - 3*z = -7683. Suppose 14484 = 15*r - y. Does 13 divide r?
True
Let u(a) = 37*a - 9. Let x be u(1). Suppose 0 = 2*h - x + 36, 572 = 2*z - 3*h. Does 4 divide z?
True
Suppose -10*q = -14*q + 768. Suppose -q = 42*u - 50*u. Is 12 a factor of u?
True
Let d(w) = 27*w + 49. Let h(z) = -13*z - 25. Suppose -5*n - n + 12 = 0. Let l(x) = n*d(x) + 5*h(x). Is 9 a factor of l(-9)?
True
Let l = 106 + 4262. Suppose -l = -60*x + 53*x. Is x a multiple of 20?
False
Suppose -5*z - 1100 + 2630 = 3*q, -2*q - 612 = -2*z. Suppose 10*x - 12*x = -z. Does 9 divide x?
True
Suppose -12*h - 5*a + 20 = -10*h, -14 = -4*h + 3*a. Suppose 11*d + 494 = 2*p + 6*d, -h*d = 0. Is 13 a factor of p?
True
Suppose -5*p = -b + 20, 103*p - 101*p = 3*b - 21. Suppose -5*m = -6*t + 2*t + 12, -8 = 2*t + m. Is t/(-8)*(-516)/p a multiple of 3?
False
Let m(v) = 32*v + 3. Let s be m(1). Let y = s - 41. Is 3/2 - y/4 a multiple of 2?
False
Suppose 0 = -3*g - 2*c + 17, 7*g - 3*g - c - 19 = 0. Suppose 429 = g*w - 141. Does 19 divide w?
True
Suppose 33*z + 2458 = -380. Suppose -2*y - 3*l = -10, -l = 2*l. Is z/(-10) + 2/y even?
False
Let l be (9/(-9))/(1/(-408)). Suppose -x - l = x. Let t = 298 + x. Is t a multiple of 22?
False
Let i(b) = 31*b + 27. Suppose 0 = c - 4*f - 24, 2*f + 0 - 8 = -2*c. Is i(c) a multiple of 11?
True
Suppose -46*x + 192554 = -88138. Is x a multiple of 18?
True
Suppose -10*o - 75 = -15*o. Suppose 0 = -o*p + 1471 + 959. Does 27 divide p?
True
Suppose -4*y - g + 452 = 0, 6*y - 3*g = 7*y - 124. Suppose 4*z - 5*l = 1404, 0 = -5*z + 3*l + 1854 - y. Is z a multiple of 60?
False
Let q(u) = -16*u**3 - 3*u**2 + 40*u - 8. Is 55 a factor of q(-8)?
False
Is 9 a factor of (6223 - (1 - 0)) + (-94 - -91)?
True
Suppose 28854 = 51*b - 42*b. Suppose b - 86 = 13*o. Is 30 a factor of o?
True
Let y(f) = 33*f**2 - 3*f + 9. Suppose -k = 3*k + 2*r - 10, -9 = 3*r. Let c be y(k). Suppose -7*g = -12*g + c. Is 15 a factor of g?
True
Let f = -2109 + 3153. Let j = f - 519. Is 19 a factor of j?
False
Let g(f) = -f**3 + 2*f**2 + f + 1. Let k be g(2). Suppose -2*o - 7*o = k*o. Is 18 a factor of 90/1 - o/23?
True
Suppose -360449 = -150*x + 7051. Is 70 a factor of x?
True
Suppose -2*x + 0*x + 195 = w, 5*x + 780 = 4*w. Let r = -47 + w. Does 28 divide r?
False
Suppose -3*w + 4 = 5*a, 3*w - 2*a = 8*w - 13. Suppose -36 = -5*p - w*l, -5*l = -3*p - 4 + 12. Suppose p*o - 128 = 5*o. Is 12 a factor of o?
False
Suppose -703719 = 102*j - 121*j + 428567. Is 280 a factor of j?
False
Let d = 2431 + -1708. Suppose 5*s = 2*a + 906, d = -0*s + 4*s - a. Is 10 a factor of s?
True
Let a(j) be the third derivative of 11*j**4/4 - 3*j**3/2 + 44*j**2 - j. Does 13 divide a(12)?
False
Let j(z) = 2*z**2 + 19*z + 75. Let p = -230 + 219. Is j(p) a multiple of 11?
False
Let l(d) = 16*d**2 - 69*d - 15. Is 17 a factor of l(15)?
True
Let f(p) = 1241*p - 21. Let m be f(1). Let c = m + -389. Does 67 divide c?
False
Let q be -5 + 126/24 - (-1)/(-4). Is (-4)/(-8)*106*(q - -1) a multiple of 16?
False
Let o = -6461 + 18568. Does 192 divide o?
False
Let z = 1285 + -803. Let n = z + -194. Is n a multiple of 16?
True
Let g(b) = -39608*b**3 + 2*b**2 + 145*b + 143. Is 8 a factor of g(-1)?
True
Suppose -2*a + 4340 = 4*f, 0 = -f - 619 + 615. Is 9 a factor of a?
True
Suppose g = -2*h + 37317 + 7300, 5*h = 2*g + 111547. Does 46 divide h?
False
Let l be 16/10 + ((-60)/(-25) - 2). Let w be l/4 - (5 - 45/10). Suppose 3*v + w + 3 = 0, -4*t = 2*v - 90. Does 13 divide t?
False
Suppose -188 - 186 = 2*h + 4*i, -4*h + 5*i - 735 = 0. Let f = -63 - h. Is 12 a factor of f?
False
Suppose 8*a - 9*a - 5 = 0, 3*m - 5*a - 1261 = 0. Let g = m + -232. Does 20 divide g?
True
Let t(x) = -5*x + 67. Let j be t(13). Suppose -170 - 280 = -j*i. Is i a multiple of 19?
False
Let u = -345 - -2300. Suppose -t + u = 4*t - 5*r, 3*r = 2*t - 783. Is t a multiple of 39?
True
Let p = 1972 + -685. Does 14 divide p?
False
Let y = -4612 + 9780. Is 38 a factor of y?
True
Suppose -g = -5*g - 5*n + 14169, 5*n = -3*g + 10623. Is 18 a factor of g?
True
Suppose 0 = 3*x - 4*i - 13346, -2*i + 46 - 44 = 0. Is x a multiple of 30?
False
Let p(j) = -40*j**3 - 6*j**2 + 39*j + 141. Does 7 divide p(-7)?
False
Suppose 0 = -4*s + 9*s + 2*a - 429552, -4*s - 2*a + 343644 = 0. Is s a multiple of 15?
False
Is (-4 + 15)/((-8)/(-5288)) a multiple of 46?
False
Suppose 0 = 2*w - 3 - 1. Suppose -444 = -4*q + c, -3*q - 222 = -5*q - w*c. Suppose -3*t = -t + 3*f - 105, 2*t - 3*f - q = 0. Is t a multiple of 28?
False
Let q be (4/10)/((-1)/(-35)) + -1. Suppose 4 = -11*m + q*m. Is 88 - ((0/(-3) - m) + -1) a multiple of 13?
True
Let o = -71 - -71. Suppose -9 = -2*n + 3*j + 14, 5*n - 3*j - 35 = o. Suppose -2*r = -k + r + 34, 2*r = n*k - 96. Is 11 a factor of k?
True
Suppose 28 + 104 = 12*n. Suppose 0 = -10*m + n*m - 3. Let i(g) = 7*g + 6. Is 27 a factor of i(m)?
True
Let n(k) = 42*k - 3. Suppose -20*w + 35 = -13*w. Let a be n(w). Suppose -4*b + 4*o - a = -663, b - 2*o - 117 = 0. Is b a multiple of 20?
False
Let j(a) = 25*a**2 - 3*a. Let n be j(3). Suppose s - 3 + 8 = 0, 3*s = c - n. Suppose 5*u - k = -5*k + c, 152 = 4*u + k. Does 3 divide u?
False
Suppose 3*q - 25936 = 12*y + 10706, 48856 = 4*q - 4*y. Does 62 divide q?
True
Let j = 69 - 66. Let q be (-2864)/14 + 24/(-7) + j. Let b = q + 350. Does 29 divide b?
True
Let v(p) = p**2 + 6*p + 11. Let y be v(-5). Suppose 8*g - y*g - 3*s - 6 = 0, 3*g - 2*s = 14. Does 10 divide 1/(15/g)*175?
True
Suppose z = 11*z - 20. Suppose z*u - 96 = 4*m, -1 = 2*m - 3. Let k = u + -31. Does 2 divide k?
False
Suppose 0 = -5*j - 4*l + 70893 + 124631, 39084 = j + 6*l. Does 9 divide j?
False
Let f = -158 + 195. Let q(s) = 8*s + 33. Does 47 divide q(f)?
True
Let o(v) = -12*v**3 + v - 2. Let x be o(1). Let g(s) = -7*s + 25. Let i(a) = -7*a + 24. Let m(w) = 7*g(w) - 6*i(w). Is 31 a factor of m(x)?
False
Suppose -7513 + 48662 + 16706 = 21*r. Is 95 a factor of r?
True
Suppose -2*l = -5*j + 4*j + 5527, -j + 3*l + 5528 = 0. Is 8 a factor of j?
False
Suppose a = 2*w - 2254, -40*a = -4*w - 37*a + 4506. Is 8 a factor of w?
True
Suppose 4*h + 3 = -p + 20, 0 = -4*h - 5*p + 21. Suppose 0 = -3*y + 5*m + 67, -h*y - m + 74 = -0*m. Let q(u) = -u**3 + 20*u**2 - 15*u - 12. Does 15 divide q(y)?
False
Suppose -2*y - 3