6) + 3280)/((-130)/(-455))?
True
Suppose 0 = a - 3 - 1. Let q be ((-12)/(-16) - (-1)/a)*0. Suppose q = -i, 5*i = -4*w - w + 210. Is 26 a factor of w?
False
Let z be (-1)/(-2) - (-5)/2. Suppose z*i - 218 = 4*t + 203, -i + 4*t + 151 = 0. Does 45 divide i?
True
Let s(p) = 11343*p**2 - 7*p + 10. Is 96 a factor of s(-1)?
False
Suppose -1642 = -6*n + 2072. Does 94 divide n?
False
Let i(d) = 21*d + 2. Let v be i(1). Let x = v + -18. Suppose -203 = -0*t - 4*t - m, x*t - 4*m = 259. Does 5 divide t?
False
Let i(z) = 78*z**3 + 2*z**2 + z. Let f be i(-1). Suppose 5*x - 426 = 2*d, -3*d = 174*x - 178*x + 331. Let j = f + x. Does 9 divide j?
False
Let d be 0 - 3 - (-8)/(-12)*-3. Does 34 divide -6 + 0 + 753 - d?
True
Let s = 6331 - 2611. Is s a multiple of 62?
True
Suppose 5*x + 4*k + 315 = -k, -313 = 5*x + 3*k. Suppose -34*c + 384 = -3390. Let u = c + x. Is 5 a factor of u?
False
Let u(r) be the first derivative of -3*r**2/2 + 106*r - 54. Is u(8) a multiple of 5?
False
Let s(v) be the first derivative of 7*v**2/2 + 28*v - 39. Let p be s(-4). Suppose -26*w + 20*w + 144 = p. Is 8 a factor of w?
True
Suppose -358*l + 17920 = -350*l. Is l a multiple of 43?
False
Suppose 9*l - 18*l = 3*t - 2727, 2*t + 5*l = 1811. Does 111 divide t?
True
Suppose -4*m = 5*l + 232, -3*l + 3*m = 8*m + 134. Is 5 a factor of (-57)/(-2)*(-128)/l?
False
Let u = -66 + 116. Suppose u*r - 2973 = 47*r. Is r a multiple of 68?
False
Let v be -6*1 + 17631/27. Let c = -466 + v. Does 9 divide c?
False
Let r be ((7 + -6)*-2)/(-1). Suppose -4*k = 2*v - 140, -r*v + 45 = 5*k - 92. Is v a multiple of 38?
True
Suppose 38*h - 815100 = -94*h. Is 65 a factor of h?
True
Let f(a) = -3*a**3 + 5*a**2 + 7*a + 5. Suppose 0 = c + q - 0 + 2, 0 = 3*c + 4*q + 6. Is f(c) a multiple of 35?
True
Suppose m = 7*m. Suppose -4*n + 2*n - 36 = m. Let f = 39 + n. Is 19 a factor of f?
False
Suppose -4*b - 3*p + 20 = -6*p, p = 5*b - 14. Suppose 86 - 492 = -b*c. Does 7 divide c?
True
Suppose -133*a + 2714183 = -681007 - 760661. Does 6 divide a?
False
Let y = -106 - -109. Suppose -1096 = -p + 5*v, -2*v - y*v = -10. Suppose -12*w - 2*w = -p. Is 13 a factor of w?
False
Let v(d) be the third derivative of d**4/24 - 2*d**3/3 + 32*d**2. Let b be v(9). Suppose 341 = b*z + 51. Is z a multiple of 29?
True
Let f be (23 + -8 - -1) + -2. Is (-12)/(-42) - (-14892)/f a multiple of 17?
False
Suppose 0 = -6*r - 44323 + 47791. Does 5 divide r?
False
Let p(v) = v**3 - 104*v**2 + 62*v + 702. Is p(104) a multiple of 17?
False
Suppose -79*i - 3*p + 4118 = -77*i, -5*i + 2*p = -10333. Is i a multiple of 109?
False
Let k = 9151 + -3887. Does 5 divide k?
False
Let h(u) = -u**3 - 3*u**2 - u - 2. Let k(a) = a**3 + 3*a**2 + 2*a + 3. Let v(c) = -3*h(c) - 2*k(c). Let w be v(-4). Is 26 a factor of (-254)/(w/2*(-5)/(-15))?
False
Suppose -3*n + 2*z = 2553, -4*n - 4*z + 909 = 4293. Let j = n + 1429. Is j a multiple of 10?
True
Let y(o) = 2*o**3 + 44*o**2 + 24*o + 120. Is y(-21) a multiple of 6?
True
Let h(b) = b + 4. Let m be h(-1). Suppose m*s - 144 = -144. Suppose s = -6*w - 11*w + 1224. Is w a multiple of 12?
True
Suppose 3*c - 894 - 1050 = 0. Suppose -5*w + 656 = 3*n, 0*n + 3*n - 3*w = c. Does 6 divide n?
False
Let n be (-1)/(3/(-12)) - -46. Suppose 5*y - n = -3*w + w, 5*y + 25 = 3*w. Is 5 a factor of (w/(-12))/(((-6)/(-16))/(-3))?
True
Let q = 4018 - 869. Does 47 divide q?
True
Suppose -3*l + 3*s = -10533, 2*l - 2630 = -5*s + 4364. Is l a multiple of 52?
False
Suppose 128703 = -32*i + 369471. Does 33 divide i?
True
Is 46/23 - ((-920)/30)/((-4)/(-426)) a multiple of 16?
False
Suppose -414915 - 617355 = -82*m - 13*m. Does 57 divide m?
False
Let j(f) = 2*f**2 - 6*f + 2. Let b be j(5). Let q be (-5 - b/(-5)) + 24/(-10). Is q*(3 - 138/9) a multiple of 7?
False
Let q(t) = 17*t**2 - 1. Let d be q(1). Let b(l) = -2*l + 27. Let m be b(d). Is (99 - -4)*m/(-5) a multiple of 24?
False
Let r(b) = -3*b**2 - 73*b**3 + 2*b**2 + 1073*b - 1074*b. Is 18 a factor of r(-1)?
False
Let c = 10827 + -4879. Does 22 divide c?
False
Suppose 2*t = 10*h - 5*h - 118, -3*h - 4*t = -50. Suppose -3*b - 6*g = -g + 13, -4*g = -3*b - h. Is 17 a factor of b/(-4)*1700/15?
True
Let t(j) = j**3 - 3*j**2 - 5*j + 19. Let c(p) = -p**2 - p + 1. Let a(d) = -4*c(d) + t(d). Is a(5) a multiple of 4?
True
Suppose -563 - 705 = -m + 2645. Is 13 a factor of m?
True
Suppose -5*v + 49136 = 3*x, 5*x + 370*v - 81900 = 365*v. Is 16 a factor of x?
False
Suppose -2 = -5*u - d - 1, 3*d = 3*u + 3. Suppose 6*g = -u*g + 1248. Suppose 38 + g = 3*i. Does 11 divide i?
False
Let x(f) = 7*f**2 + 9. Let u be 4/4 + 3 + -4. Let k be (8 - 11) + u/(-1). Does 36 divide x(k)?
True
Let x(q) = -q**3 - 13*q**2 - 4*q - 24. Let b(f) = -f**3 + 3*f**2 + f - 6. Let r be b(2). Suppose 5*n + 6*o + 81 = 2*o, -5*n + 5*o - 45 = r. Does 14 divide x(n)?
True
Let j = 3361 - 3357. Let d(r) = 6*r**2 - r + 1. Let u be d(1). Let f = u + j. Is f a multiple of 4?
False
Suppose 10 = -3*y + 2*s, -3*y + 10 = y + 2*s. Suppose 0*p + 663 = u - p, y = -u - 4*p + 638. Is 47 a factor of u?
True
Suppose 7*q - 11 - 3 = 0. Suppose 0*u + q*u = 264. Suppose -6*g = -4*g - u. Is 22 a factor of g?
True
Suppose 0 = -5*u + 4*u + 4*q - 1, -26 = 2*u + 4*q. Let l be (-47)/u + (-76)/18 + 4. Suppose 3*h + 4*x + 8 - 97 = 0, 2*h = l*x + 90. Is 5 a factor of h?
True
Suppose -20*c + 39*c = -95. Let y(j) = -6*j**3 + 3*j**2 + 8*j + 14. Is 40 a factor of y(c)?
False
Suppose -4*h + 11 = -3*b, -2*h - 3*b = -h - 14. Let m = -11590 - -11998. Suppose m = h*n - n. Is 17 a factor of n?
True
Let t(f) = -3*f**2 - 15*f - 6. Let g be t(-12). Let b = g - -315. Is b even?
False
Is 240/(-30) + (-2 - -229) a multiple of 7?
False
Let x(y) = y**2 - 8*y - 57. Let i be x(-6). Is 23 a factor of (-92964)/(-108) + 6/i?
False
Let h = 406 + -545. Let i = 294 - 609. Let t = h - i. Is t a multiple of 16?
True
Suppose 3*d + 2879 + 739 = 3*u, -4*d - 1203 = -u. Does 34 divide u?
False
Suppose -o = 4*a - 7159, -13*a + 9*a + 21477 = 3*o. Is o a multiple of 49?
False
Suppose 4*c = 8*c + 5*z - 82, 2*c = -2*z + 40. Let h = 270 + c. Does 72 divide h?
True
Let a(v) = -6*v**2 + 2. Let f be a(1). Let q = f - -9. Is 5 a factor of q/2*(2 + 2 - -2)?
True
Let a = -3710 - -5591. Is 19 a factor of 4 + a/36 - 6/(-8)?
True
Suppose 2*s = 322*y - 317*y + 7973, -5*s + 19880 = -5*y. Does 63 divide s?
True
Let l be -3*22392/27 + (1 - 4). Let k = -731 - l. Is 80 a factor of k?
True
Suppose 5*k + c + 267 = 0, 4*k + 6*c - 5*c = -213. Is 9 a factor of (13/2)/((-3)/k)?
True
Suppose -3*k + 19 = 7. Suppose 273 = k*b - b. Suppose -4*j + 341 = -b. Does 18 divide j?
True
Suppose -77 = 35*t - 7. Is t/(-4)*(12 - 12) - -32 a multiple of 19?
False
Let w(q) = -q**3 + 27*q**2 + 61*q - 22. Let u be w(29). Let l = u - -159. Is l a multiple of 14?
True
Suppose -2*j - 11 = -27. Let g(a) = 2*a**2 + 7*a - 44. Is g(j) a multiple of 5?
True
Suppose 0*g - 5*g = -375. Suppose t = 3*m - 67 + 65, 3*t - 10 = 5*m. Suppose -g = -t*p + 435. Is p a multiple of 17?
True
Suppose 23*r = -77 + 652. Is 53 a factor of -265*((-190)/r - -7)?
True
Let x(n) = 33*n**2 - 2*n + 26. Let i = 787 + -784. Is x(i) a multiple of 82?
False
Let z(p) = 16190*p + 3815. Is z(2) a multiple of 95?
True
Let l be 3/((-9)/(-24) + 0) + -3. Suppose 3*f - 12 = 0, -q = -l*q - 3*f - 188. Let b = -36 - q. Is b a multiple of 14?
True
Let c(q) = -2*q**3 - 17*q**2 + 28*q - 59. Let g be c(-15). Suppose -9*t + 4997 = -g. Is t a multiple of 15?
False
Suppose -2*d = 4*u - 12336 - 1200, 3*d - 2*u - 20360 = 0. Is 63 a factor of d?
False
Let b = 38626 - 23014. Is 210 a factor of b?
False
Let h(q) = 2*q - 10. Let o(f) = f**3 + 24*f**2 - 24*f + 31. Let p be o(-25). Let k be h(p). Does 26 divide 155 - 4*k/8?
False
Let o be -5 - (788/20 - (-3)/5). Is ((o/10)/(-1))/((-1)/(-24)) a multiple of 7?
False
Let d(c) = 235*c**2 + 78*c - 277. Is d(4) a multiple of 13?
False
Suppose -2005 - 4835 = -18*f. Let a = f - 296. Is a a multiple of 8?
False
Let r be -5*(-1 - (-5)/25). Suppose r*g - 20 = 0, 41 = b + 5*g + 14. Suppose y - 123 = -b*y. Is 15 a factor of y?
False
Let f(k) = -537*k**3 - 2*k**2 + k + 12. Does 9 divide f(-3)?
True
Suppose 4*d = 367 - 347. Suppose -d*m = 10*m - 12780. Is 12 a factor of m?
True
Let r(z) = 4*z**2 - 10*z - 84. Is 15 a factor of r(-9)?
True
Let v(j) = 4*j + 7. Let z be v(2). Let k = -10 + z