j = o. Does 10 divide t?
True
Suppose 8*r - 2171 - 981 = 0. Suppose 656 + r = 25*a. Is a a multiple of 14?
True
Is (-7 + -3 - -1415) + 1 a multiple of 19?
True
Let m(s) = 20*s - 27*s**3 + 4 - 12*s**2 + 12 + 29*s**3. Is 26 a factor of m(8)?
False
Let x be (12/10)/((-21)/490). Let w = x + -14. Does 3 divide 121/7 + 12/w?
False
Suppose -3*j + 8*j = -2*y + 54, 4*j - 2*y = 36. Let m(s) = 10 - 9*s - 11*s**2 + s**3 + 10*s + 12*s. Is m(j) a multiple of 4?
True
Let o(s) be the second derivative of s**4/12 + s**3 + s**2 - 17*s. Let n be o(-7). Let u = n + 90. Is u a multiple of 26?
False
Let f = -8 - -20. Suppose -4*s + 2387 = 2*u + u, 2*s - 1187 = 5*u. Suppose -8*v = -f*v + s. Does 17 divide v?
False
Suppose 5*q - 7538 = 5*v + 17812, 10143 = 2*q - 3*v. Suppose 7*x - q = 1877. Suppose 6*o = 2*o + x. Does 35 divide o?
False
Let b = -1001 - -2435. Suppose -b = -104*v + 98*v. Is v a multiple of 35?
False
Let a(s) = -s**3 + s**2 + 7*s. Let f(h) = 4*h - 1. Let p be f(1). Let k be a(p). Let q = 9 - k. Is q a multiple of 6?
True
Let v = 2344 + -984. Suppose 0 = -608*d + 607*d + v. Is d a multiple of 40?
True
Suppose 5*i + 2 - 19 = -4*v, -5*v = 10. Suppose 658 = -2*w + i*w + 4*m, -4*w = m - 860. Is w a multiple of 36?
False
Let q(c) = -c**2 + 6*c + 21. Let x be q(5). Is ((x/(-4))/(-13))/((-1)/(-3330)) a multiple of 30?
False
Let l(p) = 172*p + 63. Let o be l(13). Suppose 0 = 12*q + o - 6583. Is 35 a factor of q?
False
Let s(f) = 20*f**2 - 49*f - 991. Is s(-37) a multiple of 94?
False
Suppose 0 = 9*s + 103 - 40. Is 15129/21 - 4/s a multiple of 12?
False
Let m(k) = 11*k**3 + 9*k**2 + 39*k - 184. Is 72 a factor of m(8)?
True
Suppose 44*b - 7*b = 354177 + 64182. Is b a multiple of 80?
False
Suppose 186 = -3*j - 48. Let v = j - -144. Suppose p + 29 = v. Is 3 a factor of p?
False
Let d(r) = r**3 + 17*r**2 - 6*r - 170. Let v be d(-15). Let q = v + -338. Is q even?
True
Let y(u) = 7*u**2 + 135*u + 1030. Is y(-53) a multiple of 27?
False
Let q = 3277 - 2914. Does 2 divide q?
False
Let b(u) = 1269*u**3 - 13*u + 12. Does 53 divide b(1)?
False
Let y = 494 + 616. Is 15 a factor of y?
True
Let c be (18/(-15))/(-5 - 24/(-5)). Suppose 2*q - 1186 = 4*h, -4*q - 1182 = -c*q + 3*h. Does 45 divide q?
True
Suppose 28*k - 234174 - 54026 = 23104. Is 34 a factor of k?
True
Let x be ((-2)/(-3))/(4/(-42)). Let z be 128/7 + x/((-49)/(-2)). Is (-44)/(-1)*(z/24 + 0) a multiple of 13?
False
Suppose -271 = -g + 4*y, -4*g - 5*y + 1443 = 422. Is g a multiple of 37?
True
Is 9566 + 3/(-10 + 7) a multiple of 174?
False
Let a = -31 + 40. Let m(r) = -r**2 + 10*r - 7. Let j be m(a). Suppose v + 2*v = -4*z + 341, 5*v - 181 = -j*z. Is 22 a factor of z?
False
Let n(z) be the third derivative of z**6/72 + z**5/30 - z**4/2 + 7*z**3/3 + 2*z**2 + 5*z. Let m(v) be the first derivative of n(v). Is m(5) a multiple of 7?
True
Suppose 5*j + 5*h = 6*j - 10810, 3*h = -3*j + 32502. Does 36 divide j?
False
Suppose 192997*q = 193006*q - 218412. Is q a multiple of 12?
False
Suppose 20*j - 173476 = 33744. Suppose -j = -0*g - 13*g. Is 13 a factor of g?
False
Suppose 343 + 23 = 3*h. Suppose -3*t + 4*s + 363 = 0, -t = 7*s - 8*s - h. Suppose v - 2*l - 113 = t, 0 = -4*l + 4. Is 15 a factor of v?
True
Is 10 a factor of 3073 - 12/(-3 + 35/7)?
False
Let t(z) = -25*z**2 + 5*z - 1. Let c be t(2). Let h(r) = 14*r - 29. Let b be h(4). Let m = b - c. Does 25 divide m?
False
Let z = 215 - -318. Suppose -8*l - 5*l + z = 0. Is 41 a factor of l?
True
Suppose 0 = 9*c + 3 + 24. Is 25 a factor of (-2)/6*(c + 0)*100?
True
Let g = 114 - 240. Let o be (-7)/g*4 + (-680)/(-18). Does 3 divide (1*(-104)/(-6))/(o/57)?
False
Suppose 6*a + 239 = 239. Suppose a = -25*g + 61*g - 4068. Is 39 a factor of g?
False
Let w = -15989 + 35456. Does 21 divide w?
True
Does 28 divide (703/(-2))/((-477)/4770)?
False
Let h(d) = 3*d - 13. Let n be h(6). Suppose 24 = 5*o - 1, 0 = n*m + 4*o - 45. Suppose -m*s + k - 263 = -6*s, 0 = k - 4. Does 37 divide s?
True
Suppose 4*a - 11 = -3*m + 2, 4*m - 2*a = 10. Suppose 0 = -m*b + 5*l + 10 + 6, 0 = 4*b + 4*l. Suppose 0 = -2*p + 4, 0 = 4*c - b*p + 10 - 106. Does 22 divide c?
False
Let g be (-12)/(-5) + 24/(-60). Let p = -2 + g. Suppose p = -12*f + 6*f + 630. Does 7 divide f?
True
Suppose l + 2*l = 0, -2*x - 414 = -3*l. Let s be x*2/(-8) + (-7)/(-28). Let k = 95 - s. Is k a multiple of 15?
False
Let o(g) = -2*g**2 + 19*g + 12. Let k = 54 + -44. Let d be o(k). Does 39 divide d*390/5*1/4?
True
Does 20 divide 4 - 396/96 - 324005/(-40)?
True
Suppose 30785*o - 6390 = 30776*o. Is o a multiple of 2?
True
Suppose 234*y - 511056 = 150*y. Is 18 a factor of y?
True
Let n(t) = t**3 - 10*t**2 + 28*t - 27. Let w(l) = -l**3 - 17*l**2 + 36*l - 27. Let i be w(-19). Is 17 a factor of n(i)?
False
Let p(k) = 1103*k**2 + 8*k - 2. Is p(3) a multiple of 123?
False
Let u(z) = 14 - 7 + 11 + 8*z**2 - 28*z + 6. Is 9 a factor of u(6)?
True
Suppose k - 4*n = 2575 - 396, -5*k + 5*n + 10835 = 0. Is k a multiple of 78?
False
Suppose -9*n + 1729 = -17. Suppose 3*g - 1062 = -5*z, z - 6*g = -2*g + n. Is 30 a factor of z?
True
Suppose 6*m - 3*m = 2*y + 82356, -10*m + y + 274503 = 0. Is m a multiple of 15?
True
Suppose -3*r + 0 = 3*t + 3, 1 = -4*t - 3*r. Suppose -5*u - 2*h = 8 - 26, t*h - 2 = -u. Let s(i) = 7*i**2 - 4*i - 8. Is s(u) a multiple of 8?
True
Let a(y) = 2*y**3 - 72*y**2 + 37*y + 139. Does 90 divide a(36)?
False
Let j(r) = r**3 + 13*r**2 + 12*r - 10. Let c be j(-6). Let m = c + 394. Does 21 divide m?
False
Let m(h) = -153*h**3 - h**2 - 313*h - 1625. Is m(-5) a multiple of 8?
True
Suppose -2*v + 2*n = -2*n + 62, 53 = -3*v - 2*n. Is 8 a factor of (-3 + v/(-6))*128/1?
True
Let x = -1465 + 1630. Is x a multiple of 42?
False
Let j = 848 - 844. Suppose 10*c = j*c + 4410. Is 7 a factor of c?
True
Let m(n) be the second derivative of n**5/20 + 7*n**4/6 + 11*n**3/6 + 27*n**2/2 + 3*n - 54. Is 38 a factor of m(-11)?
False
Let d be 4/10 - (-8)/(-20). Suppose 30*k - 27*k - 477 = d. Does 11 divide k?
False
Let u = 33 - 31. Suppose -u*i - 5*i = 0. Is 11 a factor of (1 - (-4 - i))*13?
False
Suppose 9240694 = 218*c - 2101628. Does 41 divide c?
True
Let j(z) = -171*z**3 - 3*z**2 + 33*z + 222. Is j(-6) a multiple of 83?
True
Let a be 4/(-8)*-6 + 0. Suppose -2*z + 3*y - 78 = -196, -5*y + 215 = a*z. Let t = 92 - z. Is 9 a factor of t?
True
Let l(a) = 89*a - 148. Is l(28) a multiple of 7?
False
Is 11 a factor of ((-19)/(38/(-14300)))/(4/2)?
True
Suppose -1118845 = -53*j - 5*j - 7*j. Is j a multiple of 66?
False
Let d = 13365 + 1842. Is d a multiple of 37?
True
Let i = -4325 - -4571. Is i a multiple of 82?
True
Let o = -377 - -219. Let z = o + 213. Does 21 divide z?
False
Let m = -19 - -19. Suppose m = -4*q - f + 13, -4*f - f + 25 = 0. Suppose -q*k = 50 - 186. Is k a multiple of 44?
False
Let m(k) = 4 + 3 + 30*k - 31. Let u be 391/23 + (8 - 20). Does 14 divide m(u)?
True
Suppose -5*v + 4*j = 21, 4*v - 3*j + 17 = 1. Let t(d) = -650*d**3 - d**2 - 9*d - 8. Is t(v) a multiple of 64?
False
Suppose 40 = 15*q - 125. Suppose -q*n + 7*n = -20. Suppose 56 = n*w - 844. Is w a multiple of 30?
True
Let o(j) = -j**2 - 9*j + 54. Let r be o(-13). Suppose 0 = -y + r, 3*v - y - 208 = 990. Does 13 divide v?
False
Let p(z) = 22*z**3 + 44*z**2 + 33*z + 21. Does 83 divide p(8)?
False
Suppose -11*p = -16*p. Suppose 5*s - 4*o - 1204 - 293 = p, o = 2. Is 7 a factor of s?
True
Suppose -2*g = -4*g + 5*d - 4, 0 = -5*g + 4*d + 7. Suppose -g*n - 136 - 602 = 0. Let j = n + 351. Is j a multiple of 35?
True
Suppose -13*a + 5*t = -12*a - 2136, 4*a - 2*t - 8616 = 0. Is a a multiple of 11?
True
Suppose -s - 2*o + 37684 = 0, -186*s - 5*o = -189*s + 113096. Is 36 a factor of s?
True
Let c = -27 + 33. Suppose -7*v - 5*i - 557 = -10*v, -3*i = -c. Does 9 divide v?
True
Let i = 85 + -155. Suppose 4*s - 2*c + 4*c = 484, 5*c - 258 = -2*s. Let j = i + s. Is 8 a factor of j?
False
Suppose 108478 + 183851 = 81*l. Does 12 divide l?
False
Suppose 5*w - 3*p - 323 - 2556 = 0, -3*w + 1727 = -2*p. Suppose 580*j = w*j + 486. Is 24 a factor of j?
False
Let p be (-4)/(-1*(1 - 0)). Suppose 5*x + 2*r = 195, -2*r + 57 = 2*x + 3*r. Suppose p + x = 5*j. Is j a multiple of 2?
False
Suppose 5*n = 358 + 567. Suppose 3*i + 5*l - 250 = 0, -l = -2*i - 1 + n. Does 5 divide i?
True
Let q(n) = 25*n**2 - 49*n - 34. Let k(f) = -6*f**2 + 12*