j) = 28 - 4 + 183*j + 32*j + 92 + 32. Is c(8) a multiple of 23?
False
Suppose -56*p = -61*p + 135. Is 12 a factor of p*116*(-3)/(-36)?
False
Let y(c) = -5*c - 33. Let l be y(-8). Is 22 a factor of (-22*l)/(-5 - -4)?
True
Let z(l) = 8*l + 37. Let j be z(16). Let w = j + 519. Is 12 a factor of w?
True
Let c = 12625 - -2716. Is 29 a factor of c?
True
Let x(q) = -q**3 + 45*q**2 - 57*q - 10. Let o be x(43). Let z = -673 + o. Does 38 divide z?
False
Does 33 divide (-3)/(-24) + 2*2612124/576?
False
Does 4 divide ((-14952)/18)/(16/(-24))?
False
Is 2*1090/60*126/7 a multiple of 11?
False
Let q = -18525 - -22676. Is 8 a factor of q?
False
Let p be (-2)/(3/12*-2). Suppose 0 = -p*s + 4*u + 28, -3*u + 7 = 16. Suppose -24 = -5*a - 2*g, -6*a + 4 = -3*a - s*g. Is a a multiple of 4?
True
Suppose 0 = 2*k - 0 - 70. Let b(z) = z + 5. Let r be b(10). Let u = k - r. Is 5 a factor of u?
True
Suppose 12 = 3*b + 5*d - 6*d, b + d - 8 = 0. Suppose o - 25 = b*q, -o - 2*q + 17 = q. Is o a multiple of 10?
True
Suppose 12 + 20 = 4*a. Suppose -842 = -15*r - 302. Suppose w - r = a. Does 5 divide w?
False
Is (-1)/(-14) + (-26172)/(-504) a multiple of 13?
True
Suppose 3*c = 221 - 227. Let n(y) = 18*y**2 - 16*y - 4. Is n(c) a multiple of 20?
True
Let w = 292 - 70. Let v be 45/15*(3/(-1))/(-3). Suppose 3*a - w = -v*a. Does 37 divide a?
True
Let m(f) = 20*f**2 - 2*f - 1. Let r be m(-1). Let t be (-8)/(-14) - (1 - 72/r). Does 7 divide 12/(-90)*-291 + t/15?
False
Suppose 5*u + 339 = 2*u. Let w = u + 473. Suppose w = 22*b - 7*b. Is 12 a factor of b?
True
Let n be (-11)/(308/(-21)) - 20/(-16). Does 2 divide (1022/28)/(1/n)?
False
Let a(w) = 133*w**3 - 5*w**2. Let j(c) = 4922*c**3 - 184*c**2. Let q(o) = 184*a(o) - 5*j(o). Let s be q(-1). Suppose 4*t - 270 = s. Does 21 divide t?
False
Let r(i) = 5*i**3 - 17*i**2 - 13*i + 12. Let u be r(-7). Let p = u - -3423. Is p a multiple of 9?
False
Let c be (-1)/3 + 105/(-9). Suppose 5*r + 1109 = 939. Let g = c - r. Does 11 divide g?
True
Let v = 5487 - 4050. Is v a multiple of 26?
False
Let p(d) = 8*d**2 + 2*d - 49. Let r be p(7). Suppose v + 5*j - r = 0, -519 - 163 = -2*v - 2*j. Is v a multiple of 10?
False
Let g = -4635 - -16123. Does 20 divide g?
False
Let o = -2326 - -10109. Is 181 a factor of o?
True
Suppose -4*p + 15 = 3*f - 7, 0 = 5*f - 4*p - 90. Suppose -u = -57 - f. Suppose -26 = w - u. Does 7 divide w?
False
Let d(b) = -7*b + 107. Let g be d(15). Suppose -s = 5*j - 420, -g*s + 3*s = 2*j + 385. Is 45 a factor of s?
False
Let u(a) = 98*a**2 - 3*a + 17. Does 47 divide u(-7)?
False
Suppose 2*h = p - 11846, -2*p - 5447 = 2*h - 29097. Is 51 a factor of p?
True
Suppose 2 = -3*y + 4*y, -586 = -i + 4*y. Let n = 1676 - 1669. Suppose -s + n*s - i = 0. Does 11 divide s?
True
Let u be 0/(-2) + -4354 + -6 + 4. Is 10 a factor of (0 - -2) + u/(-11)?
False
Suppose -4*u - 74 = -3*q, -2*q - 2*q = -3*u - 108. Suppose 0 = 5*d - m + q, -2*m + 4*m = 0. Does 2 divide 1/(-6) - (169/d - -2)?
True
Is 27 a factor of ((-578)/612 + 4/9)*-5940?
True
Suppose 0 = -2*j - 2*x - 6 - 4, -2*j - 4*x - 4 = 0. Let o(b) = 42*b**2 - 3*b - 12 - b**3 - 50*b**2 + b. Does 4 divide o(j)?
True
Suppose 0 = 11*j - 8*j. Suppose -3*c + 578 + 730 = j. Is c a multiple of 13?
False
Let v(o) = 26*o + 121. Let g be v(9). Let c = g + -250. Is c a multiple of 21?
True
Suppose 0 = 4*n - 5*a - 36790, -2*a = 5*n - a - 46002. Does 230 divide n?
True
Let o(g) = -18*g**3 - 7*g**2 - 10*g - 37. Is 48 a factor of o(-5)?
False
Let m(q) = -q**2 - 8*q - 12. Let u be m(-4). Let l be (4/u)/(5/395). Suppose 0 = 6*d - 77 - l. Does 18 divide d?
False
Let p be (12/30)/(2/(-130)). Let y = -43 + p. Let k = y - -164. Is k a multiple of 16?
False
Let w(t) = 19*t**2 - t + 2. Let d be w(1). Suppose -10*r + 372 + 78 = 0. Let g = r + d. Does 18 divide g?
False
Let r(w) = 144*w**2 + 15*w + 19. Does 28 divide r(-2)?
False
Suppose 4*a = 2*f - 258, 29 + 35 = -a + f. Let x = -63 - a. Suppose 5*r - 648 = x*r. Does 22 divide r?
False
Let g = 618 + -619. Does 4 divide (-9)/(g/(-6) + (-55)/33)?
False
Let c be (12 + -92)*(-1)/(4/12). Suppose 0 = 116*n - 106*n - c. Is n a multiple of 6?
True
Suppose -22*q + 45 = -7*q. Suppose -3*o + w = -3*w - 51, q*w = -3*o + 30. Is 13 a factor of o?
True
Suppose -4*v - 536 = -3*d, -3*d + 532 = -115*v + 113*v. Is 2 a factor of d?
True
Suppose -q - 4*f + 72 = 0, q + 5*f = -4*q + 405. Suppose 132 = 2*j + j. Let a = q - j. Is 8 a factor of a?
True
Suppose -4 + 28 = -12*l. Let g = l - -146. Does 16 divide g?
True
Suppose -7 = -30*g + 29*g - q, -3*g = 2*q - 25. Let h be -30*(-5)/(50/12). Let p = h - g. Does 2 divide p?
False
Let y be (7 - -5 - -423) + -10. Suppose 5*i - 3 = -3*f, -23 = 4*i - 9*i + 2*f. Suppose 5*b = -4*s + y, i*s - 88 = 5*b + 187. Does 20 divide s?
True
Let d(j) = -2*j**3 - j**2 + 2*j + 4. Let u be d(-4). Suppose 0 = 103*z - u*z + 1050. Is z a multiple of 42?
True
Let l = 52 + -47. Suppose -f = -l*d + 14, -2*d + 0*d + 3*f = -3. Suppose -y + 5*s = -86, -128 = -2*y + 2*s - d*s. Is y a multiple of 22?
True
Let p = -897 - -1539. Is p a multiple of 6?
True
Let n be (-492)/44 - (-2)/11. Let a(d) = -16*d**3 - 30*d**2 - d - 46. Let l(c) = -3*c**3 - 6*c**2 - 9. Let r(o) = n*l(o) + 2*a(o). Is r(-5) a multiple of 14?
True
Let j(u) = -10*u**3 + 2*u**2 - 11*u - 15. Let s be j(-6). Suppose -6*b = -7*b + s. Is b a multiple of 17?
False
Let j = -14403 + 15051. Let i = 0 - -13. Suppose -z = -i*z + j. Does 18 divide z?
True
Let d = 21945 - 9717. Is 11 a factor of d?
False
Let s(a) = a - 1. Let v(z) = 19*z - 56. Let x(y) = 6*s(y) + v(y). Does 38 divide x(4)?
True
Let c = -277 + 393. Let l be -2*(c/(-8) - -1). Suppose -z + 12 = -l. Is 17 a factor of z?
False
Let q be ((-55)/(-15))/(-1)*(-3 + 0). Suppose -q*f = -12*f + 792. Is f a multiple of 12?
True
Let z be (((-19)/(-4))/1)/((-23)/(-92)). Let y(g) = -2*g**3 + 38*g**2 + 10*g - 18. Does 12 divide y(z)?
False
Let b(d) = -d**2 - 8*d - 9. Let a be b(-7). Let t be ((-45)/60)/(a/8). Suppose -4*m + t*q = -340, 244 = -3*m + 6*m - 5*q. Does 22 divide m?
True
Is 7 a factor of 8*539 - (19 - 26)?
True
Let v(j) = 11*j**3 - j**2 + 2*j - 4. Let k be 105/42*1*2. Suppose k*b + 12 = 22. Does 12 divide v(b)?
True
Let a = 33 + -33. Suppose 18*u - 477 - 27 = a. Is 18 a factor of u?
False
Let z = -360 + 609. Suppose 51 = 6*i - z. Is 41 a factor of i?
False
Let c(o) = 1060*o**2 - 21*o - 29. Is 18 a factor of c(-2)?
False
Does 189 divide 442*121871/1504 + (-3)/(-16)?
False
Let p(a) = 2*a**3 - a**2 + 3*a - 1. Let g(l) = 10*l**3 - 2*l**2 + 1. Let z be g(1). Let m = z + -7. Is p(m) a multiple of 9?
False
Let q(u) = 1234*u - 7582. Does 16 divide q(23)?
True
Let a = 37 + -21. Suppose -22*h - 1734 = -a*h. Let n = -127 - h. Does 18 divide n?
True
Let r = -60 + 59. Is 28 a factor of ((-2612)/16 - (-1)/4)*r?
False
Suppose 136 = 5*q + 3*q. Suppose 43 = -k - q. Let b = k - -99. Is 4 a factor of b?
False
Suppose 4*o - 8*o - 16 = -2*q, 3*q = -o + 10. Let d be (-105)/6*(32/(-10) + q). Let l(b) = -b**3 - 13*b**2 + 14*b + 26. Does 13 divide l(d)?
True
Let w(i) = -76*i**3 - 6*i**2 + 11*i + 28. Is 24 a factor of w(-4)?
True
Let c(g) = 179*g**2 + 3*g + 2. Let w be 1*1/(-2) + (-125)/10. Let a(i) = 3*i + 38. Let o be a(w). Is 19 a factor of c(o)?
False
Is 23 a factor of 72968/14 - (0 + 14)?
True
Let z be (-2)/3 - 11088/(-27). Let a = z + -50. Is 24 a factor of a?
True
Let l(c) = c + 0*c + 4709 - 4703. Let q be l(-1). Suppose -2*g = -q + 1. Is 2 a factor of g?
True
Suppose -4244 - 3781 = -15*k. Let q = 909 - k. Does 22 divide q?
True
Let b(q) = 2*q**2 - 14*q - 57. Let u be b(10). Let n be 1/1*(-11)/(-1). Suppose u - n = -t. Is t a multiple of 8?
True
Let p(n) = 15*n**2 + 121*n - 1576. Is p(16) a multiple of 40?
True
Let j = -17 - -17. Suppose -u + 5 + 3 = j. Suppose 5*x = u*x - 342. Is 38 a factor of x?
True
Suppose 8*k = 9*k - 44. Suppose -k*z + 4255 = -15017. Is z a multiple of 52?
False
Let i(j) = 48*j**2 + 91*j - 1783. Is 93 a factor of i(19)?
False
Let f = -235 + 240. Suppose 7*z - 3*w - 3946 = 3*z, 5*w - 4915 = -f*z. Is 55 a factor of z?
False
Let a = -2324 + 3044. Does 16 divide a?
True
Let s(f) = f**2 + 17 - 27 - 3*f + 13*f**2 - f**3 - 20*f. Is s(12) a multiple of 2?
True
Let m(v) be the first derivative of v**3/3 + v**2/2 - 15*v + 7. Let n be m(-5). Suppose 181 = n*x - 34. Is x a multip