 of 42?
False
Suppose 5*q - 203504 = -16*q - 2*q. Is q a multiple of 8?
True
Suppose 7*m + 2*w + 26 = 9*m, -3*w = -2*m + 24. Suppose 350 = m*d - 340. Is d a multiple of 46?
True
Suppose 75*s = 62*s + 117. Let u(m) = 36*m + 148. Is 28 a factor of u(s)?
False
Let r(o) = -16*o**2 + 13*o + 12. Let p be r(-5). Let v = p - -693. Does 17 divide v?
False
Suppose -3*d - f + 11114 = 0, -4*f - 5893 = -2*d + 1493. Does 23 divide d?
True
Suppose -5*k + 264 = -n, 15*n + k + 776 = 12*n. Let q(j) = -j**3 - j**2 + 5*j + 6. Let c be q(5). Let m = c - n. Does 20 divide m?
True
Suppose -39*g = -126447 - 130953. Is 44 a factor of g?
True
Let z = 8448 + -3138. Is z a multiple of 10?
True
Let b = -2202 + 3666. Does 127 divide b?
False
Suppose -7*k + 7308 = 776 - 10261. Does 19 divide k?
False
Let m = -106 + 142. Suppose 38*j - m*j = 102. Is 3 a factor of j?
True
Suppose 0 = 5*z - 3*l - 7122 - 6809, 5*l - 15 = 0. Is z a multiple of 4?
True
Let g(f) = 78*f + 6. Let n be g(11). Suppose 10*m = -2*m + n. Is 4 a factor of m?
True
Let l(a) = -47*a**2 + 12*a - 61. Let d be l(5). Let n = -656 - d. Is 21 a factor of n?
False
Let r(q) = 836*q - 10. Let y be r(1). Suppose 0 = 5*u - 3*n - y, 4*u - 499 - 157 = 4*n. Does 25 divide u?
False
Let c be 68/(-20) - -5 - 4/(-10). Let y(q) = 39*q + 4. Is 21 a factor of y(c)?
False
Let u = 2546 + -2364. Suppose -5*q + 4*r + 971 - 321 = 0, 0 = -4*q + 2*r + 514. Let z = u - q. Is 8 a factor of z?
True
Suppose 5*m - 19 + 4 = 0. Let y(k) = 5*k - 13. Let v be y(m). Suppose a = -v*a + 54. Does 6 divide a?
True
Let s(k) = k**3 + 6*k**2 - 7*k - 6. Let q be s(-7). Let l = 146 + q. Suppose 2*f + 5*d - 85 = 0, 3*d + l = 3*f + 8*d. Is 5 a factor of f?
True
Suppose -89 = -5*n + 176. Let m = n + -36. Let g = m - -11. Does 4 divide g?
True
Is 70 a factor of (-4)/38 - 15513606/(-4617)?
True
Suppose 4*z - 7640 = -3*y, -10204 = y - 5*y - z. Suppose 4*v = -2*l + 2042, -5*v + 29*l - 32*l = -y. Is 73 a factor of v?
True
Suppose -5*h = -93 + 3. Let o(p) = -25 + h*p + 0 + 8. Does 30 divide o(11)?
False
Is 6 a factor of 45/27 - 25636/(-3) - (-2)/2?
False
Suppose -3*j - 6 = 5*x, 10*x - 9*x + 2 = -j. Let g(y) = 142*y**2 - 7*y - 18. Does 23 divide g(j)?
False
Let x(a) = -5*a + 25. Suppose 19 = 10*y - 21. Let j be x(y). Suppose -2*v - v + j*g + 37 = 0, 2*g - 30 = -2*v. Is 4 a factor of v?
False
Let g(p) = -638*p + 1. Let z be g(-5). Suppose 839 = -16*b + z. Does 6 divide b?
False
Let r(d) = -81*d - 1626. Is 8 a factor of r(-50)?
True
Is 3 a factor of (0 + 5068/8)/(2*(-8)/(-160))?
False
Let d = 110 + -106. Suppose 4*m + 1150 = -4*t + 4230, -d*m = -8. Is t a multiple of 32?
True
Let p = 89539 - 59061. Does 121 divide p?
False
Does 40 divide (-12)/(-7) + 461450/770?
False
Let v(g) = -9470*g + 1184. Does 121 divide v(-1)?
False
Let q = 9 - 20. Let y(i) = i**3 + 12*i**2 + 7*i + 17. Let a be y(q). Let f = 166 - a. Is f a multiple of 21?
True
Let t(m) = -m**3 - 27*m**2 - 71*m + 14. Let v be t(-24). Let g(f) = -24*f - 40. Is 25 a factor of g(v)?
True
Suppose 112 = 3*i + 25*i. Suppose -2*c = -13*v + 16*v - 1319, -i*v = -5*c - 1728. Is v a multiple of 16?
False
Let f be 1624/10 + 27/45. Suppose -2*n + 169 = -f. Does 5 divide n?
False
Let l(f) = 59*f**3 - 32*f**2 + 163*f - 44. Is 18 a factor of l(6)?
False
Let q = -57 + 124. Is 26 a factor of q + 3 + (-7 - -1)?
False
Suppose 26*j + 3*j = -290. Let x(l) = -l**2 - 18*l + 1. Is x(j) a multiple of 13?
False
Let a(y) = -3*y**2 - 12*y + 12. Let f be a(-22). Let z = -609 - f. Does 21 divide z?
True
Let b(v) = 10*v**2 + 10*v - 40. Let u be b(8). Suppose -4*d - u = -8*d. Is d a multiple of 57?
False
Is 2*28/(-8) - -114 a multiple of 13?
False
Suppose -7*m + 4*m + 129 = 0. Let f = m + 59. Suppose 0 = -3*h - 15, 5*w - h + f - 362 = 0. Is w a multiple of 24?
False
Is 69 a factor of -35241*(-7)/(-147)*-7?
False
Suppose -2*w - 23390 = -3*n, -n - 4*w = 2478 - 10298. Does 104 divide n?
True
Let b be (-6)/(-39) - 4/(52/951). Let v = 120 - b. Is 12 a factor of v?
False
Suppose 0 = -y - 31 + 10. Let z = y - -24. Suppose -j + 0*j + 2*n + 131 = 0, 3*j = -z*n + 402. Is j a multiple of 27?
False
Let u(b) = -22*b + 4292. Is u(-70) a multiple of 8?
True
Suppose 9*z - 5*z + 16 = 0, 2*z = -4*j + 656. Suppose 0 = -4*p + 2*i - 3*i - 163, -4*p + 2*i = j. Let b = -26 - p. Is 11 a factor of b?
False
Suppose -4*s = -3*s + d - 2741, -25 = -5*d. Is 6 a factor of s?
True
Let q(p) = -p**3 - 8*p**2 - 7*p + 2. Let d be q(-7). Suppose 10*h - 7*h - 2*w = 2126, 706 = h - d*w. Does 12 divide h?
False
Let q(v) = 35*v**2 + 5*v - 3. Let f(a) = -a**2 - 1. Let k(x) = f(x) + q(x). Let s be k(1). Let n = s - 0. Is 5 a factor of n?
True
Let m(z) = -49*z - 1. Let r(a) = -a**3 + 19*a**2 + 20*a - 4. Let o be r(20). Is m(o) a multiple of 15?
True
Suppose -i - 3*b + 76668 = 2*i, i - 2*b = 25559. Does 21 divide i?
True
Suppose -5*r - 17 = u - 0, -r - 23 = 3*u. Let h be (u/(105/(-36)))/(6/40). Is (-6)/8 - (-924)/h a multiple of 13?
False
Let r(w) be the third derivative of -w**4/2 - 8*w**3 + 3*w**2 - 73. Does 2 divide r(-12)?
True
Let o(b) = -b**2 + 3*b + 22. Let f be o(6). Let z(m) = 16*m + 100. Let n be z(-7). Is 12 a factor of (1 - (-319)/3) + f/n?
False
Suppose 0 = 41*k + 107*k - 679024. Is 74 a factor of k?
True
Let s(x) = 753*x - 877. Is s(7) a multiple of 169?
True
Let s(v) = -4137*v - 63. Is s(-2) a multiple of 161?
True
Is -372*(-10)/15 - 2/(4 + -5) a multiple of 4?
False
Let g be 550/100 - (-2)/(-4). Suppose -g*b - 599 = -3019. Is b a multiple of 16?
False
Let x(w) = 2*w**2 - 7*w - 11. Let o be x(5). Suppose 0 + 2 = h - 2*m, m = -o*h - 19. Is 17 a factor of (27 - h) + -1*(-4 - -1)?
True
Suppose -7*c + 2*c = -30. Suppose c*r - 127 = 35. Let m = 55 - r. Does 13 divide m?
False
Let x(f) = -16*f + 2869. Is 75 a factor of x(102)?
False
Does 36 divide ((-28)/(-35) - (-342)/(-315)) + 55164/14?
False
Is 18*29/(116/144) a multiple of 8?
True
Let m(j) = 3*j**2 - 5*j - 10. Let y = -28 + 29. Suppose k = 3*g - k - 28, -4*g - y = 5*k. Is 17 a factor of m(g)?
True
Suppose 5*y = 0, -10*y + 8*y - 228 = 4*z. Is 0 - 6*z - (2 + 2) a multiple of 13?
True
Let k be 4/14 + (-10)/(-35)*-1. Suppose 833*l - 829*l - 3364 = k. Is 29 a factor of l?
True
Suppose -87 = -3*x - 4*j + 2092, 5*x - 3640 = -5*j. Suppose 7*s = -x + 7474. Is s a multiple of 31?
False
Suppose 0 = -j - 3*r + 8185, 3*j = 2*j - 2*r + 8180. Is 43 a factor of j?
True
Is 19 a factor of (-1920900)/200*(-2)/3?
True
Let a(r) be the third derivative of -7*r**4/24 - 11*r**3/6 + r**2. Let w = -1388 - -1377. Is 29 a factor of a(w)?
False
Let y = 4 + 1. Suppose -3*n = 5*b + 3, -y*b - 2*n + 2 = 4. Suppose -2*j - 5*f = 37 - 258, b = 5*j - 3*f - 630. Does 41 divide j?
True
Suppose 3*o - 689 = -41. Let u be ((-9)/12)/((-6)/o). Suppose 24*r - u*r + 555 = 0. Is r a multiple of 21?
False
Suppose 2*y = 5*b - 22, 4*y = 5*b - 28 - 6. Does 2 divide 2 + y + (77 - -6)?
False
Let u = -1624 - -1908. Does 6 divide u?
False
Let b(n) = 27*n - 5. Let w be b(2). Suppose 5*p - w = -5*m + 2*m, 4*p + 12 = 4*m. Suppose -5*u - 180 = -m*u. Is u a multiple of 18?
False
Let r(u) = 26*u**2 + u - 1. Let z(b) = -2*b + 19. Suppose 7*t - 18 = 5*t. Let i be z(t). Does 5 divide r(i)?
False
Suppose 14610 + 16014 = 2*f. Is 11 a factor of f?
True
Let f be (4 - -19 - -2)*(-4)/(-10). Let n(m) = 10*m - 36. Is 4 a factor of n(f)?
True
Let u = 44139 + -15843. Is u a multiple of 114?
False
Suppose -4857 - 5671 = -16*c. Suppose 3*k = -3*p - 133 + c, k = p + 175. Does 35 divide k?
True
Suppose 0 = r + 2*y - 3404, 5*r - 6813 = 3*r + y. Is r a multiple of 26?
True
Suppose -11848*w + 11827*w = -509544. Is 17 a factor of w?
False
Let x be (4 + -3)/((-9)/3 - -4). Let j(a) = 231*a**3 + a - 2. Let t be j(x). Let l = t + -107. Is l a multiple of 13?
False
Let x(d) = 2*d**2 - 36*d - 65. Let r be x(20). Suppose -r*h + 18*h = 582. Is 15 a factor of h?
False
Suppose -1063 = -12*o + 1565. Suppose -4*i + 46 = h - 8, 5*h = -3*i + o. Is 14 a factor of h?
True
Let h = -95651 - -168955. Is 68 a factor of h?
True
Let o(t) be the third derivative of -17*t**4/24 + 55*t**3/3 + 31*t**2 - 2. Does 17 divide o(-34)?
False
Suppose 0 = -5*i - 14 + 174. Let n(f) = i*f - 29*f + 3*f**2 + 5 - 2. Is 30 a factor of n(-4)?
False
Let k = -130 - -239. Let i = k + 26. Does 27 divide i?
True
Let r be 258 + 5 + -8 + (0 - 2).