r(-3)?
True
Let l = -578 + 770. Is l a multiple of 17?
False
Suppose -4*p - 3*r + 39 = 0, -4*p + 9 = r - 28. Suppose 2 + 16 = p*t. Suppose -60 = -t*v - 3*v. Does 9 divide v?
False
Suppose 0 = 2*j - 2*k - 18, -2*k + 3*k = -4. Suppose -j*l + 93 = 8. Suppose -2*o + 35 = -l. Is o a multiple of 13?
True
Let c = -344 - -734. Is 30 a factor of c?
True
Let p = 629 - 444. Let n = p - 110. Is 21 a factor of n?
False
Let f be (-2)/(-5) + (-1736)/(-35). Let c be (7 + -10)*f/(-3). Suppose 4*z + 10 - c = 0. Is 10 a factor of z?
True
Let t = 11 - 7. Suppose 0 = t*l - 517 + 25. Let h = l - 85. Does 16 divide h?
False
Let t(s) = 24*s - 50. Suppose -f - 135 = -10*f. Does 29 divide t(f)?
False
Let p = 13 + -9. Suppose 2*b = p*x - 8, -4*x + 3*b - 4 = -2*b. Suppose -x*y + 89 = -71. Is 10 a factor of y?
True
Let q(b) = b + 747. Is q(0) a multiple of 68?
False
Let r = -1247 - -2313. Does 7 divide r?
False
Suppose -7*x + 4*x = -6. Let m = -5 - -10. Suppose 37 = 2*a + x*s - 41, -5*a + 185 = -m*s. Is a a multiple of 17?
False
Suppose 3*p - 560 = -2*n + p, 0 = -n + 3*p + 292. Is 5 a factor of n?
False
Does 46 divide ((-87)/1)/((-93)/248) + 1?
False
Suppose 4*p + 5*n = 6337, 0*p - 5*n - 7910 = -5*p. Does 58 divide p?
False
Let x(f) = f**3 + 13*f**2 - 13*f + 9. Let l be x(-14). Does 7 divide (-274)/l + 2/10?
False
Does 38 divide 4815/18 - 3/2?
True
Suppose 0 = -4*r + r + 495. Is 5 a factor of r?
True
Let q(z) = -z**3 + 8*z**2 + 19*z - 25. Is 16 a factor of q(9)?
False
Let j = 6 - 0. Suppose n + 80 = j*n. Suppose 2*u = -v - 2*u + 8, -2*v = -u - n. Does 4 divide v?
True
Suppose -21*q + 210 = -14*q. Does 58 divide (-2)/12 - (3 + (-8675)/q)?
False
Let j = -283 + 1066. Is j a multiple of 29?
True
Suppose -33*z + 4785 + 5379 = 0. Is 14 a factor of z?
True
Let g = 142 + 154. Let y = g + -88. Does 19 divide y?
False
Let l(b) = b**3 - 25*b**2 + 26*b + 15. Let q = 46 + -22. Is 27 a factor of l(q)?
False
Let j(i) = -i**3 - 14*i**2 - i + 39. Let p be j(-14). Does 52 divide -2 + p + (-2 - 3/(-1))?
True
Let k = -6 - -10. Suppose -3*b = 5*p, -8*b + 3*b - 40 = -5*p. Suppose -k*g + p*g + 40 = 0. Does 8 divide g?
True
Suppose -5*c - 138 = -7*c. Does 32 divide c?
False
Let a be 94/(-4) + -1 + 6/12. Is 3 - 32/a*15*1 a multiple of 7?
False
Let i(r) = -2*r**3 - r**2 + 3*r + 31. Is i(-5) a multiple of 5?
False
Suppose 136 = -2*v + 6*v. Suppose 0 = 10*z - 416 - v. Does 9 divide z?
True
Let f(j) = 2*j**2 + 3. Let m be f(0). Suppose m*i = -4 - 2, i + 34 = q. Is q a multiple of 8?
True
Suppose -22*k + 20*k + 4 = 0. Is 30 a factor of (-1)/k - 3/(6/(-301))?
True
Suppose 0 = 5*i - 4*i - 2. Suppose -2*z + 4 + 4 = -5*s, -3*s - 4 = -i*z. Let m = s - -9. Is m a multiple of 2?
False
Let i(h) = -66*h + 252. Does 9 divide i(-6)?
True
Let a(o) = -o**3 - 34*o**2 + 167*o + 24. Is a(-40) a multiple of 46?
True
Let b be 3 + -1*(73 + -2). Let q = -24 + 13. Let r = q - b. Is 19 a factor of r?
True
Let d be (-162)/8 + (-6)/8. Let f = 23 + d. Suppose 0 = 6*s - f*s - 328. Does 22 divide s?
False
Let j = 62 + -57. Suppose -j*n = -4*d + 79, -89 = -4*d - n + 4*n. Does 26 divide d?
True
Suppose 23087 = 53*j - 22228. Does 26 divide j?
False
Suppose 4*q = -4*x - 8, -q + 5*x - 17 = -3. Let j be (q/(-5))/((-4)/(-30)). Is 4 a factor of -3*(-28)/j + -2?
True
Let c = 204 + -144. Is 12 a factor of c?
True
Let d be (-7)/(84/8)*-15. Let i(k) = -k**3 + 10*k**2 + 2*k - 8. Let j be i(d). Let q = j + 4. Is q a multiple of 11?
False
Let n(c) = 21*c**2 + 4*c - 5. Let j be n(3). Suppose 490 = 5*i - 0*i + 3*w, 2*i - j = 3*w. Is 14 a factor of i?
True
Let v(s) = -4*s**3 - s. Suppose -5 = -5*g - 5*z, g + 3 = -4*g + 3*z. Let p be g*3/(-9) - 2. Is v(p) a multiple of 9?
False
Let n(r) = r**3 + 5*r**2 - 3*r + 1. Is 5 a factor of n(4)?
False
Let m(y) = 2*y - 4. Suppose p + 3 = 0, -2*v - 3*p + 1 = 3*v. Let r be m(v). Suppose 0 = -r*f + 2*f - 16. Is f a multiple of 6?
False
Is (48/(-28))/4*(-38 + 24) even?
True
Let f(b) = -b**2 + b + 2. Suppose 3*w = -w. Let a be f(w). Suppose -2*z = a*l - 136, 3*l - 3*z - 308 = -2*l. Is l a multiple of 25?
False
Let w(i) = 3*i**2 - 9*i + 6. Does 26 divide w(-12)?
True
Let g = 0 + -12. Does 10 divide (-159)/(-12) + 3/g?
False
Let c(b) = 2*b**2 + 14*b + 8. Let n be c(-6). Let d = n + 9. Suppose 0 = -d*l + 4*w + 45, 3*l + w = -4*w + 64. Is 13 a factor of l?
True
Suppose 4*k = -4*d + 4, -2*d + 6*k = 2*k - 2. Is d/(2/10)*(-29 + 37) even?
True
Let m(t) = -4*t**2 + 13*t + 12. Let d be m(6). Let g = -45 - d. Is g a multiple of 7?
False
Let l(j) = -5*j**2 - 2*j + 1. Let z = 1 + 0. Let c be l(z). Let u(m) = -2*m - 5. Is 4 a factor of u(c)?
False
Suppose 0 = -224*g + 218*g + 264. Does 11 divide g?
True
Let r(f) = -f**3 + 3*f**2 + 4*f. Let v be r(6). Let c(w) = -w**3 + w**2 + 15*w - 48. Let n be c(6). Let i = v - n. Is i a multiple of 18?
True
Suppose 0 = 3*l - 2*f - 24, 5*l + 2*f - 27 + 3 = 0. Suppose -l*a + 3*a = -9. Suppose -a*b = -3*o - 87, 5*b - o - 76 - 61 = 0. Is b a multiple of 4?
False
Let z be 16/(-80) - 1146/(-5). Suppose 0 = -2*b - 17 + z. Does 24 divide b?
False
Let q(l) = l**3 + 17*l**2 - 6*l - 18. Let v be q(-15). Let h = -334 + v. Is 21 a factor of h?
False
Does 17 divide (-6)/(2*-1) + 2393 + -66?
False
Suppose 5*x - 25 = -3*m + x, -2*m - 2*x + 16 = 0. Is 11 a factor of (m/(-14))/(2/(-44))?
True
Suppose 3*t = 5*v + 9, -9 = 2*t + 2*v + 1. Let w be -10 + 1/t*-2. Let x(y) = -y**3 - 8*y**2 + 7*y - 11. Is 7 a factor of x(w)?
True
Let x be 14345/45 + (40/18 - 2). Suppose 3*y = -5*t + x, 3*t + t = -4. Is y a multiple of 7?
False
Let f(m) = 26*m + 1332. Does 18 divide f(53)?
False
Let x(p) = 2*p**3 - 6*p**2 + 4*p. Suppose 100 = -4*w + 9*w. Let v = w + -15. Does 30 divide x(v)?
True
Let v(p) = 138*p - 68. Is v(4) a multiple of 44?
True
Suppose -4*q - 30 = 2*h, -q + 0*h = -h. Is 5 a factor of q*(0 - (-45)/(-25))?
False
Let d be 40/4 - (2*-3)/(-2). Suppose -2*q + 5*i + 540 = 0, 4*q - 1060 = d*i - 2*i. Is 34 a factor of q?
False
Let n be 5/(-4) + 6/(-8). Let m be n/(-6) + 380/12. Suppose -4*o + m + 64 = 0. Is o a multiple of 12?
True
Is 20 a factor of (-1)/1 + (4 - (-2 - 415))?
True
Let w(k) be the third derivative of -k**6/120 - k**5/10 - k**4/12 + k**3/3 - 2*k**2. Let y be w(-2). Let b = y + 27. Is b a multiple of 6?
False
Suppose 0 = -11*f + 12*f - 133. Let p = f - 79. Does 18 divide p?
True
Suppose -4*n + 4 = 0, -3*k - 1 = -4*k - 2*n. Let b(g) = 41*g**2 + 3*g + 4. Let s(x) = 42*x**2 + 4*x + 5. Let z(a) = 4*b(a) - 3*s(a). Does 13 divide z(k)?
True
Suppose 0 = 4*a - 47 - 285. Let g = a - 79. Is g even?
True
Let y = 482 - 172. Does 31 divide y?
True
Suppose -y = -2, 3*f + 2*y = 59 + 146. Does 9 divide f?
False
Suppose -2*j = -5 - 3. Suppose 6*n = j*n. Suppose n = -m + 3*m - 78. Is m a multiple of 13?
True
Suppose 5*v + 13 = -2*t + 3, -45 = -5*t + 5*v. Suppose -t*r - 20 = 0, 0 = -4*o - 5*r + 7 + 1. Does 3 divide o?
False
Suppose 2*q + j = 2*j + 38, 2*q = 2*j + 36. Suppose u + 5*y - q = 0, 5*y = -2*u + 13 + 12. Suppose 19 = u*a - 16. Is a a multiple of 2?
False
Suppose 3*f + f = -232. Let n = -42 - -212. Let m = f + n. Is m a multiple of 37?
False
Suppose -2*c + 264 = 4*c. Suppose 2*u - 4*a + c = a, 110 = -5*u - 4*a. Let s = u - -56. Is 11 a factor of s?
False
Suppose -144 = 8*d - 0. Does 27 divide (-1216)/(-7) + d/(-14) + -1?
False
Suppose 30 + 6262 = 22*b. Is b a multiple of 22?
True
Suppose 0 = -5*w - 1034 + 2549. Is 34 a factor of w?
False
Suppose -3*k - 4 = -k - 2*c, -k = 4*c + 7. Let q = 103 + k. Is 34 a factor of q?
False
Let f be (-2)/9 + 2/(180/470). Let o(v) = -v**3 + 7*v**2 - 7*v + 4. Let k be o(5). Suppose -f*d + 126 = -k. Does 29 divide d?
True
Suppose 4*o - l = -2*l + 803, 5*l + 5 = 0. Suppose j - o = -3*j + 5*m, m - 111 = -2*j. Is 9 a factor of j?
True
Suppose 2*n + 3*n = 5*s - 10, 4*n + 24 = -4*s. Let j(c) = 21*c + 6. Let a(l) = 31*l + 9. Let v(z) = -5*a(z) + 7*j(z). Is v(s) a multiple of 7?
False
Let q(r) = -r**3 - 15*r**2 - 14*r + 10. Suppose 5*l - 33 = 2*m, -4*l + 8 + 10 = -m. Does 2 divide q(m)?
True
Let i(g) = -7*g - 16. Let m be i(-11). Let z = m - 31. Suppose -5*w + z = -0. Does 3 divide w?
True
Let k(b) be the third derivative of -b**5/20 - 19*b**4/12 - 3*b**3/2 + 25*b**2. Does 9 divide k(-9)?
True
Let f = -22 - -43. Let p be (-14)/f*(-1374)/(-4). Let r = -100 - p. Is 34 a factor of r?
False
Su