(j)?
True
Suppose 2 + 10 = -4*l, -1137 = -5*u - l. Suppose -3*y + u = -45. Is y a multiple of 13?
True
Does 12 divide ((-490)/20 - -7)*-80?
False
Suppose 2*a + 2 = -2*r, 2*a = -9 + 3. Suppose -2 = r*w - 28. Is 2 a factor of w?
False
Let j be (-60)/18*(-42)/5. Suppose 4*b = a + b - 14, -j = -5*a + b. Suppose k = a*k - 96. Is k a multiple of 12?
True
Let d(o) = o**3 + 6*o**2 + 2*o + 6. Does 13 divide d(3)?
False
Let i(u) = u**2 + 2*u - 1. Let g be i(-3). Suppose -2*m - 5*v = 33, 0*v + v = -g*m - 21. Let x = 31 + m. Does 11 divide x?
True
Let q(l) = 5*l - 7*l + 5 - l**2 - 7*l. Let v be q(-9). Suppose -3*g + g + 28 = -r, g + 4*r - v = 0. Is 7 a factor of g?
False
Let x be ((-3)/(-9) + 0)/(10/60). Suppose 0 = -5*g - x*z + z + 57, 10 = 5*z. Is 2 a factor of g?
False
Let u(x) = x - 7. Let k be u(12). Suppose -5*l - 2 = -h, -l - 5*h + 5 = -k. Suppose 2*t + l*t = 4. Is t a multiple of 2?
True
Let n be (1/3)/((-3)/(-261)). Let o = n + -1. Is o a multiple of 22?
False
Let u = -14 - -12. Does 4 divide (-15)/(-10) - 37/u?
True
Let k(w) = w**3 + 21*w**2 - 2*w + 25. Suppose -11*h + 19*h + 168 = 0. Is k(h) a multiple of 9?
False
Let f = -149 - -149. Suppose -11*o + o + 2100 = f. Is 35 a factor of o?
True
Let m(x) = -96*x + 21. Is m(-1) a multiple of 3?
True
Suppose 2*i + 5*b = 3*i - 98, 2*b = 4*i - 464. Suppose u = -2*u - g + i, -3*g = u - 26. Is u a multiple of 13?
False
Suppose 24 = 2*b + 2*a + 2*a, -5*b = -2*a - 60. Let c = 14 - b. Suppose -2*y = c*y - 28. Is 2 a factor of y?
False
Let b = -24 + 22. Let y(z) = -10*z - 2. Is y(b) a multiple of 9?
True
Suppose -5544 = -32*u + 2424. Is u a multiple of 10?
False
Let j = 386 - -2. Suppose 0 = 4*p - 2*l - 3*l - 396, -3*l - j = -4*p. Is 47 a factor of p?
True
Let n(j) = -j - 5. Let o be n(-4). Let b(l) = -5*l**2. Let z be b(o). Let h(s) = s + 12. Is 2 a factor of h(z)?
False
Let d = -40 + 19. Let k be 6/(d/(-6) - 2). Suppose -3*o - 3*i + 75 = 0, -2*o + 62 = -0*i - k*i. Is o a multiple of 18?
False
Let c = -18 - -22. Suppose 3*t + 280 = 2*v + 4*t, -3*v = -c*t - 398. Is v a multiple of 18?
False
Let c = 18 - 36. Let h be (6/(-9))/(1/(-411)). Is 10 a factor of 8/(-36) - h/c?
False
Let o = -9 + 12. Suppose 2*a = d - 2*a - 19, 7 = -o*d - 4*a. Suppose -36 = -4*z - 5*q, d*z - 30 = -3*q - 0*q. Is z a multiple of 7?
True
Let x(u) = -u**3 + 9*u**2 - u + 13. Let t be x(9). Suppose 13 + t = z. Is 9 a factor of z?
False
Suppose 5*v = 5*h + 10, 5*v + 4*h - 24 = 13. Suppose 0 = -v*d + 25, 2*l - 3*d + 2 = -3. Suppose 0 = j - 5*p - 10, 4*j - 80 = j + l*p. Does 24 divide j?
False
Let k = -10 + 10. Suppose k*z = z. Suppose -f = 4*s - 20, 28 = 4*s - f - z*f. Is 6 a factor of s?
True
Let o = 36 + -33. Suppose -o*j + 55 = 2*j. Is 3 a factor of j?
False
Let q = 1656 - 984. Is 56 a factor of q?
True
Is 2 a factor of (-10)/(-8)*(15 - -21)?
False
Let r(h) = -h**3 + 3*h**2 + 3*h - 5. Let n be r(3). Suppose 5*j - 2*v + n*v = 92, -j = -4*v - 36. Is 4 a factor of j?
True
Let v(j) = j**3 - 6*j**2 + 2*j + 2. Let w be v(6). Suppose 13*r + 25 = w*r. Is r a multiple of 25?
True
Let s(o) = o + 8. Let x be s(-10). Let w be ((x - 0) + 1)*-3. Is 19 a factor of 1/((w/(-61))/(-3))?
False
Suppose -3*l = 2*a - 585, 35*l - 780 = 31*l - 3*a. Is l a multiple of 15?
True
Let s = 10 - 9. Let k be s/(-5) + 232/10. Suppose t - 7 - k = 0. Is 15 a factor of t?
True
Let x(p) = -13*p**3 + p**2 - 5. Let v be x(3). Let q = 538 + v. Does 27 divide q?
False
Suppose -2*k + 8 = 2. Suppose 7 = k*c - 14. Suppose -18 = -d - c. Does 5 divide d?
False
Let n be (15/(-9))/(20/(-24)). Suppose 5*h - n = 3, 3*y = -h + 4. Does 28 divide 4 - (-85 + y) - 4?
True
Suppose -4*i = -u + 21, 3*u - i + 0*i - 8 = 0. Suppose -1 = -x + u. Is ((x + -3)*9)/(-1) a multiple of 3?
True
Let v = 309 - 69. Does 12 divide v?
True
Let c = -176 - -80. Let q = c - -276. Suppose 6*r = 3*r - 3*n + q, -3*r + n + 176 = 0. Is r a multiple of 21?
False
Suppose 5*u - 16 = -3*j, -19 = 3*j + u - 3*u. Let i(s) = 0*s - 4*s - 4 - 5*s. Is 23 a factor of i(j)?
True
Suppose 2*m = 7*m + 30. Let n(i) = -3 + 1 - 4*i + 5. Is n(m) a multiple of 7?
False
Suppose 0 = 3*l + 2*l - 25. Suppose l*u - 9*u = -172. Is u a multiple of 6?
False
Suppose -790 = -4*h + 1446. Let y = h - 329. Does 40 divide y?
False
Let v be -3*(-4 - 10/(-3)). Let b(a) = 15 - 10 + 3 - 16*a + a**v. Does 4 divide b(16)?
True
Suppose -9*l + 5895 = 6*l. Is l a multiple of 7?
False
Suppose 24*n = 40*n - 44928. Does 72 divide n?
True
Let q(h) be the third derivative of 2*h**2 + 0*h + 0 + 1/2*h**3 + 1/24*h**4. Does 5 divide q(7)?
True
Let t = 1 + 2. Suppose -5*o + 10 = 2*d, o + 13 + 2 = t*d. Suppose -d*f + 20 = -25. Does 9 divide f?
True
Let r(p) = 3*p - 2. Let u be r(2). Let w be (-4)/(0 - u/(-40)). Is (24/(-5) + 4)*w a multiple of 9?
False
Let r = 9 - 7. Suppose 4*n - 3*s = -r*s + 455, -2*s - 565 = -5*n. Is 23 a factor of n?
True
Let c(j) = 31*j**2 - 32*j + 9. Is c(4) a multiple of 29?
True
Suppose -14 = -2*s + p, 1 - 8 = -s - p. Suppose -2*u - 3 = -s. Suppose 0 = 4*d - u*d - 50. Is d a multiple of 8?
False
Suppose 34*j = -16*j + 113700. Is j a multiple of 70?
False
Let v be ((-2)/2)/(3/(-15)). Suppose v*i = -3*g + 27, 9 = -2*i + 4*g - 1. Suppose -3*m - 23 = -4*h, i*m = -h + 4*m + 5. Is h a multiple of 4?
True
Suppose 0 = z + 2*z. Suppose 2*n - 3*n + 235 = z. Suppose -k - k = -4*c - 72, n = 5*k + c. Is 28 a factor of k?
False
Suppose -3*t = j + 2*t - 19, -4*t = -j + 19. Suppose -j*i = -24*i + 320. Does 13 divide i?
False
Let s(l) = 10*l**2 - 12*l - 98. Is 44 a factor of s(10)?
False
Suppose -1660 - 2180 = -4*s. Is s a multiple of 64?
True
Suppose 5*q - 1782 = -3*r, -3*q + q + 2*r + 700 = 0. Is 22 a factor of q?
False
Let i = 34 + -36. Is 7 a factor of 0 - (i + -1) - (-18 + 2)?
False
Is (-9)/(-6) - ((-13866)/4 + 10) a multiple of 91?
True
Let w = 1589 + 1667. Does 37 divide w?
True
Suppose -4*i = -s - 2299, -3*s + 5*s = 2*i - 1142. Suppose -i = -4*b - 64. Is 36 a factor of b?
False
Let u be (0 - -4) + -51 + 20/(-5). Is 28 a factor of (-1 + u/(-15))/((-30)/(-1300))?
False
Suppose -4*z + r + 33 = -6, 3*z - 27 = 3*r. Suppose 2*k + 320 = z*k. Is k a multiple of 10?
True
Suppose -12 = -5*d + 2*d. Let m be (-27)/(-12) + (-884)/208. Is d/m*(-14)/4 a multiple of 3?
False
Suppose 0 = -4*j + 5*n + 3312, n - 146 - 1524 = -2*j. Is 119 a factor of j?
True
Let q = 2 + -44. Let c = 6 - q. Is c a multiple of 24?
True
Suppose -m - 28 = 3*m. Suppose 5*t = z + 73, 81 = 2*t + 3*t + 3*z. Let c = m + t. Is c a multiple of 3?
False
Suppose -11*g - 122 + 1453 = 0. Let w = 269 - g. Is 22 a factor of w?
False
Let m(a) = -3*a**3 + 8*a**2 + 2*a - 1. Let z be m(9). Is 1/((-10)/z) + (-5)/25 a multiple of 8?
True
Let o(y) be the second derivative of 0*y**3 + 0 + 7/2*y**2 + 1/12*y**4 - y. Does 36 divide o(-9)?
False
Is ((-116)/20 - -7)/(2/1190) a multiple of 42?
True
Let d = 142 - 97. Suppose -5*b = -4*h + 39, 0 = -h + 2*h + 4*b - 15. Suppose 3*s + 5*l - d + h = 0, l - 2 = 0. Is s a multiple of 5?
False
Let d be 152/(-6)*(4 + -4 - 6). Is 8 a factor of (d/(-10))/((-18)/90)?
False
Let j(t) be the first derivative of t**4/4 + 13*t**3/3 - 7*t**2 + 11*t - 10. Is j(-14) a multiple of 11?
True
Suppose 4*i = -g + 7*i + 8, 0 = -3*g - 3*i. Suppose -g*y + o = 2*y - 1500, 0 = -o. Is y a multiple of 25?
True
Suppose -5*r + 1043 = -2*i, -103*r = -99*r + i - 824. Is 3 a factor of r?
True
Let y = 395 - -299. Is 82 a factor of y?
False
Suppose -3864 = -3*q - k, 2*q + 4*k - 969 = 1597. Suppose -q - 20 = -7*t. Does 27 divide t?
False
Let p(c) = 14*c**2 + 122*c - 24. Is p(-14) a multiple of 23?
True
Let v be (12/5)/((-7)/(-945)). Let k = v + -126. Does 29 divide k?
False
Let u = 124 + -32. Let b = 110 + -26. Suppose -4*n + b = -u. Does 11 divide n?
True
Let s = -2 + 4. Suppose 162 = 5*y - 0*a - 3*a, s*a - 22 = -y. Is 12 a factor of y?
False
Let q(i) = -i**2 - 73*i - 277. Is q(-61) even?
False
Let a(o) = 2 - 17 + 2*o - 3*o - 5*o. Let l(q) = -q**2 - 6*q + 11. Let j be l(-8). Is a(j) a multiple of 3?
True
Let v = -21 - -17. Let t(r) = r**2 + r - 1. Let o(z) = -6*z**2 + 4*z + 13. Let g(j) = v*t(j) - o(j). Does 11 divide g(8)?
True
Let c(p) = -4*p - 5. Let s be c(-2). Suppose s*h + 3*d - 51 = 0, 2*d + 73 = 5*h + 3*d. Does 14 divide h?
True
Let c(h) = -h**3 - 15*h**2 - 163*h + 10. Is 57 a factor of c(-10)?
True
Let