iple of 44?
True
Suppose -2*m - 320 = -3*m. Suppose 6*b + 71 = 83. Suppose 2*j = 2*o - o - 104, 0 = -3*o - b*j + m. Is o a multiple of 45?
False
Let y(o) = o**3 - 15*o**2 - 13*o - 13. Let b = -55 - -18. Let j = -21 - b. Is 7 a factor of y(j)?
True
Suppose 0 = -14*m + 9*m + 10. Suppose 0 = 3*p + m*q - 626, 5*q + 593 + 257 = 4*p. Does 26 divide p?
False
Suppose 5*y - 9 = -8*v + 6*v, -8 = -2*v - 4*y. Suppose 14*t - 2*u = 9*t + 603, 254 = v*t - 4*u. Does 7 divide t?
True
Let m be (31 + -31)*2/(-4). Suppose 49*l - 752 - 1453 = m. Is 45 a factor of l?
True
Let v be 9/3*13/(-3)*-67. Let d = 1252 - v. Does 13 divide d?
False
Let t(k) = 3*k**2 - 6*k**2 - 794 + 11*k**2 - 25*k + 793. Let u be t(5). Suppose -2*f - 2*i = -3*i - u, 2*f = -5*i + 50. Is 6 a factor of f?
False
Suppose -3*a = 9, 2*a = 5*q + 5*a - 71. Let b(r) = -76*r + 15. Let x be b(q). Is 10 a factor of x/(-6) + (-22)/132?
True
Suppose -88 + 183 = 19*p. Suppose 0 = -q - 4*a - 162 + 630, q = -p*a + 468. Is 18 a factor of q?
True
Suppose -2*x - 3*z + 862 = 0, -26*x = -21*x - 3*z - 2176. Is 31 a factor of x?
True
Suppose 4*o - 7*l + 6*l + 2 = 0, 3*l - 6 = 0. Suppose a + 3*h - 997 = o, 5*a + 36*h = 41*h + 5025. Is a a multiple of 17?
True
Let g = 36 - -29. Suppose 10*o + 245 = -55. Let p = o + g. Is 17 a factor of p?
False
Let a(h) = 3*h**2 + 37*h + 14. Let v be a(-12). Suppose v*l + 748 = -w + 5*w, -4*w + 4*l + 740 = 0. Is w a multiple of 9?
True
Is 14 a factor of (-1 - 511/(-21))/(16/4944)?
True
Suppose 2*r = 8*f - 12*f + 20398, -5*f = -3*r + 30586. Does 93 divide r?
False
Suppose 13*q = -19 + 6. Let a(r) be the second derivative of -45*r**3 - 3*r. Is a(q) a multiple of 27?
True
Let o = -803 + 516. Let s = o - -527. Is 12 a factor of s?
True
Let g(n) = -23*n + 43*n - 3*n - 37. Let k be g(7). Suppose -2*j = -q + 64, -4*j + 26 - k = -q. Is q a multiple of 3?
True
Suppose 51*c = 47*c - 6*a - 10, -a - 3 = c. Let q(o) = o + 6 - 2 - 8*o. Is q(c) a multiple of 12?
False
Let f = -169 + 172. Is f/((-30)/8) + 856/20 a multiple of 21?
True
Suppose -6*v = -21 + 9. Suppose 0 = v*h - 5*h + 6. Suppose 4*p - 4*u = 243 + 513, 0 = -h*p + 5*u + 369. Is 32 a factor of p?
True
Let k(a) = 268*a**3 + 2*a**2 - a + 1. Let u(v) = 268*v**3 + 2*v**2 - v + 2. Let y(g) = 3*k(g) - 2*u(g). Is 14 a factor of y(1)?
False
Suppose 4*v - 5*j = 270, 5*v - 242 = -5*j + 118. Suppose -s - v = 2*y - y, 0 = 2*s + 3*y + 145. Let u = s + 117. Is u a multiple of 7?
False
Does 7 divide 2/(19244/2749 - ((-252)/(-14) + -11))?
False
Suppose -5*u + 2*s + 1085 = 0, 4*s - 141 = -2*u + 293. Is 5 a factor of u?
False
Suppose 3*u = 12, -153 = 3*f - 5*u - 1561. Let d = f + -355. Is 11 a factor of d?
True
Let s(k) = -7*k**2 + 48*k + 44. Let j(u) = 3*u**2 - 24*u - 23. Let h(o) = -5*j(o) - 2*s(o). Is h(21) a multiple of 5?
True
Suppose 0 = -24*w - 10*w + 344760. Does 15 divide w?
True
Let p be 420/126*(-25494)/(2/1). Does 15 divide (0 + -1)/(4 - p/(-10620))?
False
Let o be 4770/75 - 2/(-5). Let w = 8 + o. Is w a multiple of 9?
True
Let t(y) = -24 - 3*y - 2 - y**2 - 20*y. Let f(q) = -19*q**2. Let i be f(1). Is t(i) a multiple of 10?
True
Let v(d) = -111*d**3 - 10*d**2 - 25*d - 1. Is 39 a factor of v(-2)?
True
Let u = -29 + 5. Let z be (-6)/9*u/(-16). Is ((-2)/z + 92)*1 a multiple of 21?
False
Let q be 1*(-4 - -2)*-7. Let u be (100/14)/(2/q). Suppose u = 3*o - 2*o. Is 25 a factor of o?
True
Suppose 8*j = 10*j - 4. Suppose 0*t + j*z = -4*t - 154, 0 = 4*t + 3*z + 155. Is -3 + (4/2 - t - -3) a multiple of 40?
True
Let j(k) = k**3 - 47*k**2 + 56*k + 483. Does 41 divide j(46)?
True
Suppose 0 = 4*z - 5*r - 486, -506 = -4*z - 0*r - 5*r. Is (4 - 2) + z/2*2 a multiple of 30?
False
Let r(u) = -757*u - 1095. Is r(-9) a multiple of 23?
False
Suppose -190*s + 79*s = -80*s - 45167. Is 103 a factor of s?
False
Let q = -18589 - -18853. Does 6 divide q?
True
Let d be (49/(-7) + 6)/(2/(-1268)). Suppose 330 = 2*i - 4*o, -4*i + d = 4*o + 10. Let l = 283 - i. Is 31 a factor of l?
True
Let d = 5196 + -2582. Does 89 divide d?
False
Let s = -333 - -215. Let r(h) = -h**3 + 3*h**2 + 2*h + 2. Let w be r(3). Is (28/w - 2)/((-3)/s) a multiple of 21?
False
Let v(x) = -x**2 + 22*x + 53. Suppose 2*r - 119 = -5*r. Is v(r) a multiple of 9?
False
Let x(v) = -v**3 + 18*v**2 - 14*v - 49. Let i be x(17). Suppose -3*y + 0*y = -i*s + 981, -3*y = -s + 486. Is 45 a factor of s?
True
Is 29 a factor of 17 - (28 - 11) - (3 - (695 - 3))?
False
Let d = -73708 + 104219. Is 13 a factor of d?
True
Let u = 8952 + 2192. Does 7 divide u?
True
Let c be 15/4 - 17/((-884)/(-39)). Suppose -2386 = -2*g + c*p, -2*g + 3*p = -4*g + 2374. Is 85 a factor of g?
True
Is 16 a factor of 1394988/78 + (-540)/1170?
False
Is 11 a factor of (-4 + (45/10)/1)*4858?
False
Let k(d) = -43*d**2 - 7*d + 22. Let t(j) = -21*j**2 - 4*j + 10. Let c(s) = 2*k(s) - 5*t(s). Does 25 divide c(-4)?
False
Let u(i) = i**3 - 30*i**2 + 3*i + 65. Let k = 376 + -346. Is 31 a factor of u(k)?
True
Let q be (18*-12)/((-99)/858). Suppose -2*u = a - 920, -6*a + 4*a = -4*u - q. Is 29 a factor of a?
True
Let n(z) = 665*z + 3923. Does 9 divide n(16)?
False
Suppose 0 = o + 13*g - 12*g - 33639, 5*o - 168201 = -2*g. Is 77 a factor of o?
False
Suppose 162*p - 91*p - 343640 = 0. Does 55 divide p?
True
Suppose -7885 = -26*j + 7*j. Let i = j - 153. Does 27 divide i?
False
Suppose 23*r - 25*r - 4150 = -2*q, -q + 7*r + 2045 = 0. Does 16 divide q?
True
Suppose 34*y - 41*y + 24157 = 0. Let m = -2020 + y. Is 9 a factor of m?
True
Suppose -66231 = -11*h - 18271. Is h a multiple of 20?
True
Suppose -5*p = 2*s - 24, -2*p + 0*p = -s - 15. Suppose 0 = t + p*z - 8*z - 284, -598 = -2*t - 2*z. Let v = 436 - t. Is v a multiple of 16?
False
Let p(f) = -7*f + 164. Let v be p(24). Suppose -4*k + 2*k = -28. Let m = k - v. Does 14 divide m?
False
Let r(q) = q**3 - 13*q**2 + 30*q - 4. Let p be r(10). Is 68/(0 + p/((-20)/5)) a multiple of 19?
False
Let i(a) = 7*a + 269. Let p be i(-39). Let w(j) = -11*j**3 - 7*j**2 - 7*j - 9. Is 13 a factor of w(p)?
True
Let d(s) = 12*s**3 + 8*s - 12. Let i(u) = 5*u**2 - 18*u + 16. Let m be i(1). Does 16 divide d(m)?
True
Suppose 9*g - 288 = 13*g. Let v = g - -134. Let j = v - 34. Is 6 a factor of j?
False
Suppose 4*f = -5*c - 1, 4*c - 5*f - 51 = -19. Suppose -c*x = -81 - 48. Let z = 92 + x. Is 27 a factor of z?
True
Suppose -36*l + 34*l = 0. Suppose 3*j - 5*f + 2*f - 2400 = l, -3*j - 2*f = -2420. Is 16 a factor of j?
False
Suppose 177*c - 604752 = 77760. Does 12 divide c?
False
Does 84 divide 532/3*(31 + -22)?
True
Let k(a) = a**2 - 62*a + 1573. Is 35 a factor of k(0)?
False
Suppose -4*b - 9 = -a + 23, -2*a = -b - 43. Let c = 3233 + -3218. Is 23 a factor of ((-552)/c)/(8/a*-1)?
True
Suppose 0 = 193*u - 186*u + 28. Does 2 divide 280 - (252/u)/9?
False
Let r(b) be the second derivative of -143*b**6/720 + 7*b**4/12 - 12*b. Let w(g) be the third derivative of r(g). Is w(-1) a multiple of 12?
False
Let s = -29 - -36. Suppose s*v + 2*v = -144. Does 5 divide (-4 + -1*(-180)/v)*-4?
False
Let a be (-4 + 0 - 0)*18/(-4). Let g = a + -15. Suppose y + 5*p + 19 = g*y, -5*y = -3*p - 95. Is 2 a factor of y?
True
Suppose -y + 9202 = 5*w, 185*w - 181*w = 5*y - 46068. Is y a multiple of 108?
False
Let z be -564 - 3/(1 - -2). Let o = z - -890. Is 8 a factor of o?
False
Suppose -9*m + 55760 = 8*m. Suppose d - 5*l - 321 = 484, m = 4*d - 5*l. Is d a multiple of 25?
True
Let p = 67217 - 25538. Is p a multiple of 99?
True
Suppose -47*k = -48*k + 4. Suppose k*q - 5*b - 779 = 0, -3*b - 27 - 364 = -2*q. Does 20 divide q?
False
Let x(l) be the third derivative of -l**6/120 + l**5/4 + l**4/24 + 13*l**3/6 - 14*l**2. Suppose -3*m + 2*a + 0*a = -51, 3*a = 4*m - 69. Is 17 a factor of x(m)?
False
Suppose 121*i + 5*c = 122*i - 34415, i = -5*c + 34485. Is i a multiple of 14?
False
Suppose 4*p - 2*z = -22, -p + 5*z = 10*z. Let s(c) = -3*c**3 + c**2 + 9*c + 46. Does 24 divide s(p)?
False
Let r(y) = y**2 - 8*y + 2. Suppose -5*f - 4065 = -20*f. Suppose 16*a = f + 17. Is 11 a factor of r(a)?
False
Suppose 0 = -9*i + s + 18031, -127*i - 4*s - 4022 = -129*i. Does 113 divide i?
False
Let i(x) = 10283*x - 1744. Is i(8) a multiple of 110?
True
Let j(w) = -3 - 22*w**3 - w**3 + 5*w**2 + 13*w + 0 + 14*w**2 - 9*w**2. Is j(-2) a multiple of 5?
True
Let l be 18/(-22) - -1 - (-84)/22. Suppose -15 =