 - 376. Is 3 a factor of r?
False
Suppose -5*a + 134 = -81. Let v = a - 13. Is v a multiple of 11?
False
Does 92 divide 2*(2 + -6) - -1393?
False
Let v(u) be the first derivative of u**3/3 + 5*u**2/2 - 10*u - 1. Let x be v(-7). Suppose 2 - x = -f. Is f a multiple of 2?
True
Let n(o) be the second derivative of -o**7/2520 + o**5/4 + o**4/2 - 2*o. Let b(f) be the third derivative of n(f). Does 16 divide b(0)?
False
Suppose 0 = -5*h - u + 2*u + 28, 2 = u. Suppose -h - 12 = -g. Suppose 8*k = 11*k - g. Is k a multiple of 4?
False
Let h(r) = -7*r + 58. Let i(v) = 10*v - 87. Let j(f) = -7*h(f) - 5*i(f). Does 3 divide j(17)?
True
Suppose -2*n + 2*i - 63 = 3*i, 0 = -5*n + 5*i - 135. Let v = 103 + n. Is v a multiple of 12?
False
Suppose 7*t = -88 + 32. Does 5 divide 12/t*(-40)/6?
True
Let g be ((-161)/2)/7*-2. Let p = g + -14. Suppose 5*r = 0, p*v - 4*v - 340 = 5*r. Is v a multiple of 17?
True
Is 11 a factor of (-1)/1*1/(12/(-16764))?
True
Suppose 12*v = 11*v - 2*y + 478, y = 2*v - 976. Does 12 divide v?
False
Suppose 24 = -3*y - 0*y. Let p be (-11)/(-4) + (-2)/y. Does 13 divide (p/(-9))/(3/(-351))?
True
Let r = -24 - -360. Is 12 a factor of r?
True
Let r = -824 + 1384. Is r a multiple of 10?
True
Let p = 1853 + -1230. Does 31 divide p?
False
Suppose -i = 2*i + 2*z + 48, 0 = -5*i + 3*z - 61. Let u = i + 52. Is u a multiple of 4?
False
Let y(a) be the third derivative of -1/6*a**5 - 4*a**2 + 0 + 11/6*a**3 + 1/3*a**4 + 0*a - 1/120*a**6. Is y(-11) a multiple of 21?
False
Suppose -3726 = -9*u + 54. Is 5 a factor of u?
True
Let x(m) be the third derivative of -m**4/24 - m**3 - 5*m**2. Let f be x(-8). Suppose -f*q + 0*q = -30. Is 13 a factor of q?
False
Is ((-153)/(-68))/(12/1648) a multiple of 3?
True
Let b = 1 + 2. Let g(z) = 15*z**2 - 7*z - 10 - z**2 - 3*z**2 - z**b. Is g(10) a multiple of 7?
False
Let z(p) = -p + 10. Let k be z(8). Suppose u - k = 0, -2*u - 192 = -6*s + 2*s. Suppose -j = -s + 1. Is 12 a factor of j?
True
Let q be 6 - 6 - 1*-4. Suppose v = q*m - 25 + 8, 2*m - 4*v = -2. Does 3 divide m?
False
Let l(h) = h**3 - 18*h**2 - 16*h - 33. Let d(a) = 18*a**2 - 3*a - 2. Let s be d(-1). Is 6 a factor of l(s)?
True
Let v(a) = a**2 - a - 31. Let o be v(0). Suppose 5*y = -10, -175 + 12 = -3*g + 5*y. Let d = o + g. Is 7 a factor of d?
False
Let b = 963 - 754. Does 20 divide b?
False
Suppose -t - 1383 = -5*d - 4*t, 825 = 3*d + 3*t. Suppose -w - 3*r = -r - 277, w - d = -3*r. Does 22 divide w?
False
Let b = -17 - -21. Suppose -b*a + 375 = -73. Is 8 a factor of a?
True
Suppose 6 = x + x. Suppose -y - 37 = 5*q - 5*y, -3*q = x*y + 6. Does 17 divide (-3 - q)/((-1)/(-25))?
False
Let u be (60/50)/((-6)/(-10)). Suppose -60 = -u*l + 6. Is 9 a factor of l?
False
Suppose 5*h - 5*j - 85 = 0, -h = -2*h - 5*j - 13. Suppose -t = -5*t - h. Is 15 + t + 2 + -2 a multiple of 6?
True
Suppose -22*j + 2194 = -20*j. Is 43 a factor of j?
False
Suppose 3*r - 157 + 106 = 0. Is 2 a factor of r?
False
Let h = -700 - -1481. Suppose -c + m = 2*c - h, 2*c - 514 = -m. Does 37 divide c?
True
Let j(k) = -3*k**2 + 11*k + 3. Let n(z) = -4*z**2 + 12*z + 3. Let p(q) = 3*j(q) - 2*n(q). Suppose -h + 5*t = h - 13, 0 = -h + t + 5. Is 5 a factor of p(h)?
False
Suppose 0 = 60*r - 65*r + 25. Suppose 3*z = -r*z + 232. Does 2 divide z?
False
Let i be (2/4)/(3/12). Suppose 0*m - m + i = 0. Is 23 a factor of m/3 + (-272)/(-6)?
True
Let f(c) = -5*c + 16 + 0*c + 2*c + 4*c. Is 2 a factor of f(-11)?
False
Let i be 4/18 - (-430)/90. Suppose i*y = 4*z - 0*z + 33, 4*y - 20 = 0. Let v(f) = 7*f**2 - 4. Does 12 divide v(z)?
True
Let a be 16/64 - 5/4. Is ((-102)/85)/(a/10) a multiple of 4?
True
Let a(y) = 10*y**3 + 27*y**2 + 10*y - 27. Let u(r) = 7*r**3 + 18*r**2 + 7*r - 18. Let f(i) = -5*a(i) + 7*u(i). Does 3 divide f(-9)?
True
Let l be -4 + -2*(-4 - 0). Suppose -a + 4*i = 67, l*i + 24 = -a - 11. Is 4 a factor of (-1 + 3)/((-6)/a)?
False
Suppose 0 = -f + 4*z - 10, -4*f + 11 + 12 = 5*z. Let o(w) = -3*w + 7*w + 0*w + 3*w**f - 3*w - 2. Does 15 divide o(3)?
False
Is 28 a factor of (21/18*-3)/(5/(-520))?
True
Let r = -1158 - -1756. Is r a multiple of 38?
False
Let x = 25 - 22. Suppose -5*y = -0*y - u - 244, x*u - 84 = -2*y. Is y a multiple of 12?
True
Suppose -12545 = -5*r - 4*u, 3*u + 2472 = 3*r - 5055. Does 13 divide r?
True
Let p be (5 + -1)*(2/4 + 0). Let m = 3 + 1. Let l = p + m. Is 3 a factor of l?
True
Let f = -6 + 9. Let z(u) = 7*u**3 + 1 - u - 11*u**f + u. Is z(-2) a multiple of 11?
True
Let t(q) = 8*q**2 + 6*q - 8. Let p(w) = 4*w**2 + 3*w - 4. Let x(g) = -5*p(g) + 3*t(g). Does 8 divide x(2)?
False
Let j be (6 - 5)*(0 + 70/1). Let i = j - 60. Is 5 a factor of i?
True
Suppose -2269 = -5*g - 2*h, -5*h = 5*g - 8*h - 2259. Is g even?
False
Let m(u) = 2*u. Let h be m(2). Suppose -h = 5*c - 14. Suppose -4*l = -0*l + 4*z, l - c*z = 9. Is l a multiple of 2?
False
Suppose 250*t = 228*t + 59796. Is 116 a factor of t?
False
Let z = -86 - -55. Let c be 124/(-6) + (-2)/6. Let p = c - z. Is p a multiple of 4?
False
Suppose -1868 = -3*m - m. Does 29 divide m?
False
Suppose 43 = 3*l - 23. Suppose -5 = p + l. Is (-90)/p*3/2 a multiple of 2?
False
Suppose 1120 = -7*h + 21*h. Is h a multiple of 40?
True
Let n(g) = -g**3 + 15*g**2 - g - 12. Let r be n(6). Let s = r - 214. Is s a multiple of 18?
False
Let b(y) = -y + 11. Let z be b(9). Let c be (-2)/z + (-27)/(-9). Suppose 50 = c*t + 2. Is 20 a factor of t?
False
Suppose -4*o - 2*s - 10 = 0, -2*o + 15 = -7*o - 3*s. Let d be o + (7 - 6/3). Let u = 21 - d. Is 8 a factor of u?
True
Let a = 270 + -39. Let s = -4 + a. Let l = s + -122. Is 21 a factor of l?
True
Let s(w) = -w**3 - 26*w**2 - 34*w + 5. Is 13 a factor of s(-25)?
False
Let h = -46 + 35. Let y = h - -33. Is y a multiple of 4?
False
Let i be (-303)/12 - 3/(-12). Suppose -b + 2 = -1. Let o = b - i. Is 11 a factor of o?
False
Let c(r) = -3*r**3 + 7*r**2 + 3*r. Let z be c(3). Suppose -4*w + 4*l + 136 = l, 181 = 5*w - l. Let b = z + w. Is b a multiple of 14?
True
Let m = 68 + -71. Is 22 a factor of m/(-9)*1*669?
False
Let g = 56 - 49. Is 126/12*48/g a multiple of 36?
True
Let h(k) = -17 - 40*k + 44*k + 5. Is 2 a factor of h(7)?
True
Let r(h) be the first derivative of 5*h**3/3 + 3*h**2/2 - 3*h + 9. Let u be r(2). Suppose -4*n + u + 113 = 0. Is 14 a factor of n?
False
Suppose -a + 48 = -7*a. Suppose i - 5 = 1. Is 9 a factor of 80/i - a/12?
False
Let j = -12 - -11. Let l be 104/3 + j/(-3). Let w = l + -4. Is 8 a factor of w?
False
Let a be ((-5)/(-10))/(2223/1110 - 2). Suppose 5*h + q - 220 = 0, -h - a = -5*h + q. Is 5 a factor of h?
True
Let y(u) = -3*u**2 + 7*u - 7. Let o be y(7). Let b = 176 - 362. Let x = o - b. Is 22 a factor of x?
False
Let b(s) = 2*s**3 - 10*s**2 + s - 14. Is b(9) a multiple of 15?
False
Is (-30220)/(-50) - (-10)/(-25) a multiple of 23?
False
Let s be (-10)/35 + 46/14. Let x be s*((-40)/(-6))/5. Suppose 5*f = x*a - 63, -2*a + 2*f - 4*f + 36 = 0. Is 14 a factor of a?
False
Let z = 377 + -144. Suppose 0*k = -3*a - 2*k + z, -2*a = 2*k - 156. Is 23 a factor of a?
False
Let b(c) = -3*c + 26 + 27*c - 52 + c**2. Is 13 a factor of b(-26)?
True
Suppose 3*y + 5 = -25. Is 6 a factor of 12 - (y/(-2) - 1)?
False
Suppose -25*u + 5*l + 619 = -23*u, -5 = l. Is 99 a factor of u?
True
Let c be ((-8)/(-10))/(3/15). Suppose 0 = -c*n + 73 + 275. Does 6 divide n?
False
Let u(v) = 99*v**3 - 2*v**2 + v - 2. Is 28 a factor of u(2)?
True
Let w(v) = 7*v - 40. Let h(k) = k - 1. Let d(i) = 5*h(i) - w(i). Is 7 a factor of d(-7)?
True
Suppose p + 5*q = 3*q + 3, -5*p + 23 = 2*q. Suppose -3*n - b + 121 + 210 = 0, -546 = -p*n + 4*b. Does 7 divide n?
False
Let b(d) = d**2 - 11*d - 26. Let g be b(12). Let p = 38 + g. Does 6 divide p?
True
Let r = -929 - -989. Is r a multiple of 2?
True
Let c(y) = y**2 - 6*y - 11. Suppose -67*x + 3 = -68*x. Is 3 a factor of c(x)?
False
Suppose 4*a - 1322 = 5*r, -5*a + 2*r + 1381 + 263 = 0. Does 34 divide a?
False
Let z(v) = -121 + 6*v + 119 + 2*v**2 - v. Suppose 5*p - 9 = 6. Is z(p) a multiple of 9?
False
Is 20 a factor of -2*115/(-2) + -21 + 26?
True
Suppose 0 = 71*n - 76*n + 520. Is 13 a factor of n?
True
Suppose -32*a + 6168 = -6504. Does 3 divide a?
True
Let c = 210 + -139. Let a(d) = -d**3 + 3*d**2 + 7*d + 43. Let j be a(6). Let t = j + c. Does 8 divide t?
True
Suppose 0 = -g - 0*g + 3. Suppose 0*v + g