t a(p) = -p**2 + 5*p + 13. Let x be a(7). Is (-781)/(-33) - x/3 a multiple of 6?
True
Let b be 0 + (-2)/(-3)*3. Suppose 4*a = -4, 3*o - 1 = b*o + a. Suppose o = -5*h + 4*h + 27. Is 8 a factor of h?
False
Let v be (0/(-2))/(2 + -1). Let m be -2 - 0/(3 - v). Let t(r) = -6*r - 2. Is t(m) a multiple of 3?
False
Let k = 24 - 14. Suppose -3*v - 73 + 265 = 0. Let r = k + v. Is 11 a factor of r?
False
Suppose 0 = 2*l + z - 764, l + 4*z - 5*z = 388. Is 16 a factor of l?
True
Let o be -1 + 19/4 + (-40)/(-160). Suppose -5*u + 5*q = 5, 3*u + 2*q = -2*q + 32. Suppose 3*g - u*m = m + 135, -o*g = m - 180. Is 11 a factor of g?
False
Does 7 divide (4/50*35)/(1/60)?
True
Suppose 29 = -5*d + 149. Does 4 divide d?
True
Suppose 0 = 9*z - 2*z - 1239. Suppose -3*l = 4*v - 5, -2*v - v = l - 10. Suppose -v*y = -2*t + 94, -5*t + 2*y - 4*y + z = 0. Is t a multiple of 10?
False
Let i(k) = 5*k**3 + 12*k**2 + 6*k + 7. Let y(d) = 4*d**3 + 11*d**2 + 6*d + 6. Let q(l) = -5*i(l) + 6*y(l). Is 12 a factor of q(5)?
False
Let b(v) = 143*v - 546. Is b(13) a multiple of 13?
True
Let p = 2483 - 1380. Is p a multiple of 14?
False
Let u be (-3 - -6 - -2) + -1. Suppose 120 = -u*w + 9*w. Is w a multiple of 6?
True
Is 9 a factor of 9 + 9 + 757 + 8?
True
Let h(u) = -3*u - 11. Let t be h(-5). Suppose 104 = t*w + 2*c, 4*c - c = 2*w - 44. Does 5 divide w?
True
Let t = -970 - -1366. Suppose 4*j - 2*s - 528 = 0, 3*j - t = -0*s + 5*s. Suppose -5*n - 4*q = -n - 160, 3*n - q = j. Is n a multiple of 18?
False
Let w(y) = 5*y**2 + 8. Let a(s) = s**2. Let i(d) = -4*a(d) + w(d). Let v be i(-4). Let j = v + -4. Does 5 divide j?
True
Suppose 3*z = z - 32. Let b = z + 14. Does 13 divide 35/((1 - b)/3)?
False
Suppose -z + 6403 = 4*t, 0 = 3*t - 4*z + 7*z - 4791. Does 89 divide t?
True
Suppose 349 + 1394 = 4*s - 5*d, 0 = -3*s + 5*d + 1311. Does 12 divide s?
True
Suppose 3 = 5*y + v, 3*v - 6 = 5*y + v. Suppose 140 = 4*m - 2*j, y = -2*m + 4*j + 23 + 41. Does 9 divide m?
True
Let d(r) = 23*r - 18. Let p(j) = -j**3 - 13*j**2 + 13*j - 8. Let a be p(-14). Is d(a) a multiple of 20?
True
Let l(t) = 5*t**3 - 21*t**2 + 12*t + 3. Is l(8) a multiple of 60?
False
Let p = -1272 + 1647. Does 11 divide p?
False
Suppose 9*h - 311 = 1462. Let t = h + -139. Is 29 a factor of t?
True
Let v = 0 - -22. Suppose 0 = -r + 10 + v. Does 16 divide r?
True
Let w be 1 - (-4)/(-12)*3. Is 17 a factor of 65 - w - (-10 + 7)?
True
Suppose -15 + 2 = -3*v + 2*s, 5*s - 30 = -5*v. Suppose v*n - 212 = n. Is 24 a factor of n?
False
Let h = 0 - 4. Let o(j) = -5*j + 3 - j - 6*j. Is o(h) a multiple of 17?
True
Let w(c) = 16*c**2 + 8*c - 12. Is 12 a factor of w(3)?
True
Let z be 40/8*9/3. Suppose p = -3*p - 2*o + 46, -p - 4*o + z = 0. Is 11 a factor of p?
True
Suppose -4*w - 16 = 0, -2*q - 16*w + 11*w = -100. Is q a multiple of 8?
False
Suppose 0*f + 4*f - 5*t = 3121, 2*f + 3*t - 1577 = 0. Does 14 divide f?
True
Suppose 217*d - 211*d - 4140 = 0. Is d a multiple of 15?
True
Let z be ((14931/(-12))/7)/((-6)/32). Suppose 3*t + z = 4*c, -2*c + 2*t = -94 - 378. Is 20 a factor of c?
True
Suppose -13*g + 9*g - 120 = 0. Let t = g + 46. Is 2 a factor of t?
True
Let o = -4587 + 7359. Does 14 divide o?
True
Let i = 925 - -1424. Does 29 divide i?
True
Does 19 divide (24/18)/((-4)/(-534))?
False
Let b(s) = -s**3 - 12*s**2 - 17*s + 2. Is b(-11) a multiple of 2?
True
Suppose j + 4*k = 23, -35 = -5*j + 2*j + 5*k. Suppose -2*x = -5*s - 84 - 59, 5*s + j = 0. Let v = x - 13. Does 13 divide v?
False
Let f = 19 - 16. Let d be 32 + -11 + (0 - f). Suppose -g + 36 = -4*x + 6*x, 2*g = -x + d. Does 4 divide x?
False
Let t(v) = v - 1. Let o be t(-2). Let d = 6 + o. Is 3 a factor of d + 4 + 0 + -2?
False
Suppose 23*r + 1063 = 6123. Is r a multiple of 10?
True
Let i(u) = 19*u - 12. Let b be i(1). Suppose 10*c = b*c + 381. Is c a multiple of 32?
False
Let w = 2314 + -1115. Is w a multiple of 109?
True
Let q be 3*(64/(-4))/4. Let y be (-2)/q + 19/(-6). Is 26 - (-3 + (0 - y)) a multiple of 26?
True
Suppose -4*q = -5*q - 46. Is q/(-4) - (4/(-8) - -1) a multiple of 11?
True
Let l(v) = v - 7. Let y be l(5). Let t = 6 + y. Is (-6)/t - 65/(-2) a multiple of 11?
False
Suppose 4*n - 5*g + 36 = 0, 6*n - 5*g + 32 = 3*n. Let l be 4 + 4 + n + -1. Suppose 11 + 31 = l*o. Does 7 divide o?
True
Is (-2 - 45/(-20)) + (-54264)/(-32) a multiple of 73?
False
Suppose 0 = -30*u + 25*u + 275. Suppose -u = -p - 35. Is p a multiple of 3?
False
Suppose -3*x + 7 = -3*q + 1, -11 = -2*x - 5*q. Suppose -x*b + 10 = -b. Suppose 0 = -3*l + b*a + 296, -3*a = l + a - 76. Is 23 a factor of l?
True
Let v be (-28)/(-6) + (-2)/(-6). Let f be 2856/(-98) + (-6)/7. Does 22 divide 281/v + (-24)/f?
False
Suppose 355 = 5*h - 0*h. Suppose -5*m = -379 - h. Suppose 0 = 5*z - 7*z + m. Does 21 divide z?
False
Let u be 8/(-2) - (-83 + 4). Suppose u = 5*k - 5. Does 3 divide k?
False
Let d(b) = -b**3 - 14*b**2 + 3*b + 72. Is 18 a factor of d(-15)?
True
Does 79 divide (-4)/(-8) - 53151/(-42)?
False
Does 19 divide (1 - -367)*(-13)/((-26)/8)?
False
Let b be 4/14 - 264/(-56). Suppose -2232 = -4*v - b*v. Is 13 a factor of v?
False
Suppose -18 = 8*v - 66. Suppose -v*z + 25 = -z, 2*z = 2*h - 366. Is h a multiple of 20?
False
Let y(p) be the third derivative of -p**6/120 - p**5/12 - p**4/24 - 4*p**3/3 - p**2. Let x = -13 + 7. Does 11 divide y(x)?
False
Let m be 0 + 14 - (-8)/4. Suppose 0 = -4*h - 5*g + 237, -7*h = -2*h - 2*g - 288. Suppose m - h = -3*s. Does 13 divide s?
False
Suppose 0 = 34*t - 30*t - 2352. Does 28 divide t?
True
Let y be ((-6 - -2) + 3)*-3. Suppose 0 = y*q - 3*k - 66, -4*q = 5*k - 10*k - 86. Is 6 a factor of q?
True
Suppose 2*k = 2*a + 5 - 1, -4*k - 16 = 4*a. Let b = -29 - a. Let l = b - -68. Is l a multiple of 14?
True
Let l(x) = x**3 + 10*x**2 - 26*x - 8. Let f be l(-12). Let t(s) = -1 - 2 + f*s - 14 - s**2. Is t(14) a multiple of 11?
True
Suppose 7*f - 2*f - 140 = -2*g, -4*g - f = -298. Let l = g - 51. Is 4 a factor of l?
True
Let o = 283 + -200. Suppose 2*c = o + 5. Is c a multiple of 7?
False
Suppose 439 = -5*f - 671. Is 28 a factor of ((-4)/3)/(2/f)?
False
Suppose -5*o + 4*g - 396 = 5*g, 3*g = 4*o + 332. Let j = -32 - o. Is 16 a factor of j?
True
Let z(v) = 2*v**2 + 4*v - 10. Let k(t) = -t**3 + 6*t**2 + t - 3. Let d be k(6). Suppose 5*a = 2*o + 39, d*a + 1 + 5 = -3*o. Does 23 divide z(o)?
False
Does 32 divide 1*480/(-18)*114/(-5)?
True
Is (0 + 42)/(-6)*-160 a multiple of 70?
True
Suppose -2*i + 119 = 5*i. Suppose 0 = -4*o + 103 + i. Is o a multiple of 5?
True
Let i be 72/14*(1 + (-68)/12). Is 557/7 + i/(-56) a multiple of 10?
True
Let j = 134 + 4. Suppose 4*o + 2 = j. Does 10 divide o?
False
Let y = 2775 + -1449. Is 26 a factor of y?
True
Let r(x) = 2*x**3 - 51*x**2 - 28*x - 7. Let y be r(26). Suppose -5*p - 21 = -2*p. Let z = p - y. Does 7 divide z?
False
Let s = 5507 + -701. Does 27 divide s?
True
Suppose 5*b + 95 = 5*x, 0 = -x + 4*x + 3*b - 27. Suppose -332 = -15*q + x*q. Does 11 divide q?
False
Suppose -3*f + 40 = -5*x - 23, -5*x = 0. Let c be 826/f - (-6)/9. Does 5 divide (-2)/((-32)/12)*c?
True
Let m = 22 - 7. Let g be (3/3 - 3) + m. Let k(f) = -f**2 + 15*f - 1. Is k(g) a multiple of 9?
False
Let t be (-3)/6*(2 - 96). Suppose 4*r = -m + t, -3*r - 81 = 3*m - 240. Suppose -215 + m = -2*a. Does 20 divide a?
True
Let d(r) = 53*r**2 + 17*r - 46. Is 21 a factor of d(6)?
False
Suppose 0 = 7*j - 4616 - 263. Does 44 divide j?
False
Suppose -2*h - 2 = 2. Is h + 3 - (-78 - -6) a multiple of 11?
False
Let u(a) = a**3 - 14*a**2 + 18*a - 1. Does 18 divide u(14)?
False
Let f be ((-1586)/(-4) + 5/10)*-1. Let d = -279 - f. Is 19 a factor of d?
False
Let m(t) = 15*t**2 - 19*t + 62. Is m(4) a multiple of 39?
False
Suppose 3*x + 3 = 0, -r - 2 = 5*x + 1. Suppose 5*s - 4*k = 74 + 41, r*k - 69 = -3*s. Does 23 divide s?
True
Suppose 2*z = -5*y + 14 + 8, 1 = y - 3*z. Suppose -d + y = 9. Let v = d + 61. Does 13 divide v?
False
Let p(a) = a + 4. Let j be p(-6). Let x(h) be the second derivative of -h**3/2 + h - 20. Is 3 a factor of x(j)?
True
Suppose 31*n = 152557 - 35935. Does 108 divide n?
False
Let a be (1/1 - -1)*(2 + 16). Let b be 63 - 0 - (-1)/1. Let d = b - a. Is 6 a factor of d?
False
Is 17 a factor of (-10 - 20/(-5)) + 241*2?
True
Let d(c) = 6*c**2 - 13*c - 22. Let q be d(9). Suppose 9*n - q - 913 = 0. Is n a multiple of 16?
