1)/10416) a multiple of 7?
False
Let m = 67 - -30. Let l = m - 75. Is 10 a factor of l?
False
Suppose -3*w - 36 = -0*w. Does 19 divide w*30/27*-3?
False
Let n be (-1)/4 - (20292/(-16) + -8). Suppose -79*w = -77*w - n. Is w a multiple of 11?
True
Suppose 5*x = i + 2718, -x + 0*x + 554 = 5*i. Suppose 0 = 4*g - 4*m - x, -4*g - 2*m = -5*m - 545. Is 9 a factor of g?
False
Let p be 2/(((-18)/33)/(-3)). Let l(s) = -14*s**2 + 86*s - 3. Let c be l(6). Suppose p*b - c*b - 14 = 0. Does 7 divide b?
True
Let x = -107 + 109. Let j be x + -1 - (7/(-7) - -6). Is 7 a factor of 1 - (j - 274)/2?
True
Let g(j) = -19*j**3 - 34*j - 57. Is 126 a factor of g(-5)?
False
Suppose -h + 2*f + 12240 = 0, 3*h + 5*f - 32253 = 4467. Does 30 divide h?
True
Let r(p) = -p**3 + 8*p**2. Let v be r(8). Suppose 5*t + 2*u - 34 - 1 = 0, v = 3*u + 15. Suppose 0 = 8*m - 695 - t. Does 22 divide m?
True
Suppose -2*h - 6*z = -0*h - 22, 2*h - 22 = -z. Does 2 divide h?
False
Let r = -581 - -963. Let b = r + -178. Is 34 a factor of b?
True
Suppose -5*p = 3*d - 25, d + 2*p = -0*p + 10. Suppose -6*x + x + 157 = 3*m, 5*x - 4*m - 129 = d. Suppose 0 = 3*t - 223 - x. Is t a multiple of 14?
True
Let s be (-6)/(-5)*(-120)/(-3). Let l = -15 + -5. Is 210/l*s/(-14) a multiple of 7?
False
Suppose 221*d + 24 = 227*d. Suppose o - 716 = -3*o - 4*f, -2*o + d*f = -340. Is o a multiple of 15?
False
Suppose 5*s = 5*t - 40, 2*t - 1 = -0*t - s. Suppose -t*m + 6 = -396. Suppose 6*w = 2*w - 2*j + m, w - 2*j - 41 = 0. Is 35 a factor of w?
True
Let w(p) = -p**3 - p**2 + 9*p - 41. Let q be w(-8). Let c = q + -54. Is c a multiple of 68?
False
Suppose r + 5*n = 4332 - 1040, 3*n = -3. Suppose 0 = -8*s + r + 735. Does 36 divide s?
True
Let j(u) = 2*u**2 + 4*u + 2. Let l be j(0). Suppose m - 3 = 0, 5*w - 653 = l*m + 856. Is w a multiple of 50?
False
Let d be (27/(-6))/9 + (-11)/2. Does 21 divide -9*1*(d + -1)?
True
Let c = 16889 + -12433. Is c a multiple of 33?
False
Let j be 456/108 - 2/9. Is j/6 + (-4 - (-6244)/12) a multiple of 47?
True
Let y be -108 - -102 - ((-3 - -1) + 0). Let b(j) be the second derivative of -25*j**3/3 + 9*j**2 + j. Is b(y) a multiple of 10?
False
Suppose 593 + 737 = 2*a. Suppose 2399 = 5*p + 3*l - a, -5*p = -3*l - 3076. Is p a multiple of 81?
False
Suppose 5*o + 4*k = 73130, -7*k = 5*o - 5*k - 73140. Is o a multiple of 38?
True
Let r(i) = i**3 - 15*i**2 - 15*i + 11. Let q be r(16). Let j = q + 112. Is j a multiple of 5?
False
Suppose d + 2*n - 475 = 2970, 3*n = 9. Does 143 divide d?
False
Suppose -5*r = -34985 - 55395. Suppose 5966 = -14*t + r. Is t a multiple of 10?
False
Suppose 0 = -4*h - 3*w + 3, h - 3*w = -7 - 11. Let y be (-12)/h + -8 + 2. Is 3/((-27)/(-308)) - y/(-9) a multiple of 17?
True
Suppose 6570 = 4*a - 3158. Suppose 0 = 6*z + 386 - a. Does 26 divide z?
False
Suppose r = -5*i - 44, -5*i + 180 = -2*r + 32. Let m = r + 67. Does 14 divide (-128 - -17)/(m/(-2))?
False
Let v = 366 + 187. Suppose 299 = a - 4*p - 249, a = 5*p + v. Does 11 divide a?
True
Let l(b) = 79*b**3 - 2*b**2 + 16*b + 27. Is l(3) a multiple of 26?
False
Suppose 4*g - 28 = -5*c, -4*g - c + 7 = -5. Suppose -r = -g*w + 159, -231 = -3*w - 4*r + 3*r. Does 3 divide w?
True
Let g = 364 - 361. Is 102 + 0 + g - -3 a multiple of 18?
True
Let r(v) = -10*v**2 + v - 11. Let d be r(8). Let j = d + 1360. Suppose 2973 = 8*x + j. Is 48 a factor of x?
False
Suppose -3*h = 5*d - 31, -25 = 5*h - 7*h + d. Suppose -103 = 4*s - 3483. Suppose s = r + h*r. Does 4 divide r?
False
Let x(d) = d**3 + 95*d**2 + 1338*d + 20. Does 11 divide x(-43)?
False
Suppose 9 = -2*s - 13. Let u = 54 + s. Let o = u - -15. Does 10 divide o?
False
Let k be 2 + 4/12*0. Let v(p) = 22*p**2 - 20*p**2 + 26*p - p**3 + 11 + 21*p**k. Is 6 a factor of v(24)?
False
Let l(r) = -r**3 - 5*r**2 - 2*r - 6. Let b be l(-5). Let q(a) = -5 - b*a - 6*a - 2*a - 3. Is 7 a factor of q(-2)?
False
Let h(b) = 28*b**2 - 143*b - 1042. Is h(-41) a multiple of 33?
False
Let c(i) = i**2 + 10*i + 11. Let z be c(-6). Let t = 11 + z. Does 7 divide ((-15)/t - 7) + 158/4?
False
Suppose 0 = -5724*j + 5708*j + 165088. Is j a multiple of 14?
True
Let i(c) = 9*c - 44. Let u = 186 - 168. Is i(u) a multiple of 16?
False
Suppose 5 = 5*b + z - 4, 0 = 3*b + 2*z - 4. Let h(s) = -1 + 0 + 7*s**b + 5 - 2*s + s**3 - 3. Is h(-5) a multiple of 41?
False
Let c(f) = 1275*f**2 - 161*f - 5. Does 37 divide c(3)?
False
Suppose -71*i + 9632 = -19975. Is 2 a factor of i?
False
Let n be (-1)/((8/(-2))/9788) + 6. Suppose n = 3*m + 707. Is 48 a factor of m?
False
Let d be 15/4 - (12/(-16))/3. Suppose -d*a = -8, 27*a = -u + 23*a + 44. Does 12 divide u?
True
Let c(f) = 2*f - 10. Let s be c(-10). Suppose 0 = 10*v - 24*v - 1428. Let w = s - v. Is 12 a factor of w?
True
Suppose 3*m - 5*q - 2 + 15 = 0, 2*m = 4*q - 8. Does 41 divide (-2)/m + -1 + 2849/21?
False
Let j(g) = -57 + 106 + 10*g + 3*g + 71. Is 16 a factor of j(5)?
False
Suppose 47*y - 2344861 = 22670. Does 12 divide y?
False
Suppose 0 = 2*s - 3*f - 3620, 5*s + 12*f - 9037 = 13*f. Is 11 a factor of s?
False
Let l = -23 + 6. Let b(x) = 18*x - 21. Let n(y) = 8*y - 11. Let q(o) = -6*b(o) + 13*n(o). Is q(l) a multiple of 17?
True
Let i(s) = -s**2 - 14*s - 29. Let m be i(-11). Suppose -a + 580 = m*a. Suppose 3*w + a = 5*w + 3*f, 2*w = -5*f + 120. Is w a multiple of 11?
True
Let o be 15/(-7 + 2) + 4684/1. Suppose 14*h = -901 + o. Is h a multiple of 50?
False
Let z = -13935 + 16153. Does 10 divide z?
False
Let y = -246 + 248. Suppose y*u - n = u + 155, -3*u - 3*n = -465. Is u a multiple of 5?
True
Suppose -4*x + 30064 = -3*i, 25*i = 3*x + 20*i - 22548. Is 19 a factor of x?
False
Let c be 357*2*5/15. Suppose 2*z = -0*z + c. Let g = 235 - z. Is 31 a factor of g?
False
Let h(b) = -1154*b - 34. Let t be h(-3). Suppose 4*x = 2*d + 3428, -4*x = -0*x + d - t. Is x a multiple of 67?
False
Suppose -26*w + 35*w = -80*w + 272874. Is 219 a factor of w?
True
Let l = 25 + -11. Let o = l - -35. Is 1/(3/6) + o a multiple of 11?
False
Suppose 3*x = i - 2*i + 8999, 2*i + 9002 = 3*x. Suppose -x = -4*c - 2*c. Suppose 2*n = -4*w + c, -4*w - 4 + 24 = 0. Is 36 a factor of n?
False
Suppose -21288 = -18*y - 3108. Does 31 divide y?
False
Does 9 divide (256 + 5 - (-3)/(-4))/(3/144)?
True
Suppose -9*y - 18 - 27 = 0. Let r be (-321)/8 + y/(-40). Let a = -23 - r. Is a a multiple of 3?
False
Let g be 7/(-7) - (-1 + -1). Does 11 divide (5 - g)/(-4) - -34?
True
Let b(m) = 2*m**2 + 36*m - 1312. Is b(58) a multiple of 67?
True
Suppose 65*l = 60*l - 16*x + 39021, 0 = -4*l + 5*x + 31199. Is l a multiple of 29?
True
Suppose -2*d + q + 2 = 0, d = -2*q + 2 - 11. Let g = 199 - d. Suppose 4*j - g = -0*c - 4*c, j - 42 = -3*c. Does 9 divide j?
True
Let b(r) = -2*r + 29. Let z be b(12). Suppose 32 - 277 = -z*i. Suppose 234 = 52*n - i*n. Is 13 a factor of n?
True
Let m(k) = -k**3 + k**2 + k + 1. Let y be m(-3). Suppose 461 = y*v - 763. Is v a multiple of 11?
False
Suppose 0 = x + 9*x - 420. Suppose -5*n + 219 + x = 3*h, -5*h + 112 = 2*n. Let o = 156 - n. Is o a multiple of 21?
True
Let c = -7974 + 13386. Is c a multiple of 33?
True
Suppose -213 - 1880 = 13*y. Let c = y + 216. Does 5 divide c?
True
Suppose 25760 = 113*m - 50*m - 31*m. Does 5 divide m?
True
Suppose 31108 - 95914 = -21*c. Is 21 a factor of c?
False
Suppose 4*n - 181 = v, -4*n + 2*v + 2*v = -184. Does 48 divide ((-6492)/15)/((-18)/n)?
False
Let t = 17295 - 10266. Does 99 divide t?
True
Is (-50)/(-6)*235104/790 a multiple of 95?
False
Let t = -87 + 77. Let a be (9/10 - (-4)/t)*346. Let d = 357 - a. Does 23 divide d?
True
Let s = 7102 + -652. Is s a multiple of 75?
True
Suppose 14*j - 60480 = -34*j + 14016. Does 16 divide j?
True
Suppose 24*r - 79*r = 56*r - 1358640. Is 102 a factor of r?
True
Suppose -3*h - 5*j = -942 - 368, 418 = h - 3*j. Let q = -47 + h. Is 43 a factor of q?
False
Suppose -51*s + 113*s = 250976. Is s a multiple of 23?
True
Let o(u) = u**2 - 6*u - 17. Suppose 0 = -2*f - 4*k + 17 - 1, 0 = k. Let i be o(f). Is 7 a factor of (35/(-15))/((-3)/(-9)*i)?
True
Let z be (374/(-11))/(2/(-2) + -1). Suppose 6860 = z*w + 11*w. Does 49 divide w?
True
Suppose 2*u = -5*i + 11336 + 8534, -7947 = -2*i - u. Does 32 divide i?
False
Let k(t) = t**3 - t**2 - 5*t - 8. Suppose -4*c = -2*s + 18, -4 - 2 = 2*s + 4*c. Suppose -2*g = -5*f - 32, -g = 2*f + 5 - s. Is 30 a f