 t a multiple of 22?
False
Let c(z) = -z**3 - 16*z**2 - 22*z + 31. Does 70 divide c(-17)?
False
Let d(y) = 6*y + 30. Let z be (-1 - 20/5)*4/(-5). Does 6 divide d(z)?
True
Let v = -61 + 61. Suppose 3*t + v*t - 3*i - 36 = 0, -5*i + 24 = 2*t. Is 6 a factor of t?
True
Suppose f - 685 = -3*i - f, 2*f + 440 = 2*i. Does 28 divide i?
False
Let o(k) = -2*k**3 + 119*k**2 + 82*k + 42. Is 64 a factor of o(60)?
False
Let c = 2533 - 2325. Is 11 a factor of c?
False
Let x = -10 - -13. Suppose -m - x*m + 180 = 0. Let q = 73 - m. Is q a multiple of 14?
True
Suppose 1120 = 6*q - 10*q. Let t = 397 + q. Is t a multiple of 19?
False
Let f(t) = -43*t + 567. Does 18 divide f(-9)?
True
Suppose -5*n - 1299 = -3*u - 2*n, 4*n = -2*u + 848. Is 13 a factor of u?
False
Let r(d) be the second derivative of d**4/12 - d**3/2 - d**2 - 3*d. Let l be r(3). Is l/6*-8*12 a multiple of 8?
True
Let m(c) = -3*c - 3*c - 19 - 9 - 15. Is m(-9) a multiple of 11?
True
Let f(g) = g**3 + 3*g**2 + 240. Does 30 divide f(0)?
True
Let a(h) = -2*h**2 + 9*h + 20. Let d be a(9). Let g = d - -81. Is g a multiple of 20?
True
Let r(t) = t**2 + 6*t + 5. Let m be r(-4). Let o be (-11 - m) + (0 - 3). Let y = o + 23. Is y a multiple of 8?
False
Let a = -168 + 271. Does 2 divide a?
False
Suppose -2*w = 2*p - 1366, -2*p + 7*w - 2*w = -1373. Is p a multiple of 9?
True
Let n(x) be the third derivative of -x**5/60 - 2*x**4/3 - x**3/6 + 2*x**2. Does 11 divide n(-9)?
False
Let i(v) = v**3 + 9*v**2 - 4*v - 11. Let t(k) = k**2 - 8*k - 9. Let w be t(8). Is i(w) a multiple of 5?
True
Let c be 50 - 4/4 - 1. Suppose -4*b - c = -228. Suppose -b = -3*p - 5*k, 3*p - 66 = -k + 3*k. Does 20 divide p?
True
Suppose -40*l + 7656 = -28*l. Is 55 a factor of l?
False
Suppose 1130 = 4*p - 5*z, 1431 = -3*p + 8*p + 3*z. Does 14 divide p?
False
Suppose -5*i - 3*b = -418, -2*i + 70 + 98 = b. Suppose -z + 2*d = -i, -z - 2*d = 3*z - 364. Is 27 a factor of z?
False
Suppose -20 = 5*p, -2*p - 26 = -3*h + 3*p. Suppose 4*r - h*i = 160, -5*r + 230 = 3*i + 2*i. Is 12 a factor of r?
False
Let n(r) = 3*r + 23 - 6*r**3 - r**2 + 21 - 40. Is n(-2) a multiple of 21?
True
Let s(y) = -20*y**3 + y**2 - 4*y + 9. Is 57 a factor of s(-3)?
True
Let r = -17 - -44. Let t be 26/6 - (-18)/r. Let b(d) = 5*d + 4. Does 11 divide b(t)?
False
Let z be 4/14 + 46/(-14). Let y be z/(-9)*-3 + -3. Is 2 a factor of 6*2*y/(-6)?
True
Suppose 0 = 12*h - 5 - 187. Is h a multiple of 8?
True
Let x(r) = -4*r - 1. Let t = -8 + 7. Let n be x(t). Suppose n*l - 5*l = -72. Is 9 a factor of l?
True
Let k be (-1 - -1)*7/(-14). Is 23 a factor of (-412)/(-3) - (k + (-8)/12)?
True
Suppose -2*i + 2408 = 4*t, -16*i + 11*i = -2*t - 5972. Is i a multiple of 46?
True
Suppose -1599 = -3*i + 4*r, -8*i + 3*i + r + 2648 = 0. Is 49 a factor of i?
False
Let h = -28 - -30. Suppose 7*s = h*s + 20. Suppose s*b = 133 + 27. Is 10 a factor of b?
True
Suppose 0 = -h - 2 + 14. Let b be 9/h - (-765)/(-12). Let o = b - -115. Is o a multiple of 26?
True
Suppose -3*c + 2555 = -205. Does 20 divide c?
True
Let u(v) = -v - 5. Let h be u(-7). Suppose -j = 4*r - 3, 0 = 5*j - r + h*r - 15. Suppose j*i - z = 21, 0*i + 3*z + 7 = 2*i. Does 4 divide i?
True
Let j(m) = -m**3 + 4*m**2 - 4*m - 2. Let t be j(4). Let c be (0 + t - -1)*-1. Let y = c - 2. Does 5 divide y?
True
Let r = 920 + -571. Is r a multiple of 9?
False
Let l be 3/(-6) - (-20)/(-8). Let g(b) = -4*b**2 + 3*b + 5. Let o be g(l). Let t = -24 - o. Does 4 divide t?
True
Let r = 344 - 192. Let t = 232 - r. Is 3 a factor of t?
False
Let v(d) = -77*d + 43*d - 16 - d**2 + 51*d. Is v(9) a multiple of 8?
True
Suppose -612 = -29*f + 25*f. Suppose 0 = 63*a - 60*a - f. Does 3 divide a?
True
Suppose -6*d - 3*b + 13 = -2*d, -2*d = 4*b - 4. Let p be ((-1)/3)/(d/(-72)). Suppose -4*w = -p*w + 42. Is 7 a factor of w?
True
Let l = 49 + -55. Is 13 a factor of (-368)/l - 28/21?
False
Let u be (-70)/(-4)*(-6)/(-5). Let r = 50 - u. Is 19 a factor of r?
False
Let y = 112 - 46. Let q = -3 + y. Does 9 divide q?
True
Let r be (50/(-3))/((-20)/(-60)). Let x = 86 + r. Is x a multiple of 16?
False
Suppose 0 = 8*i - 4*i - 4, 3*i - 1803 = -2*x. Does 4 divide x?
True
Suppose -4*q = 39 - 799. Is 5 a factor of q?
True
Let f be (-1)/((-2 - 1) + 2). Let a be (-2)/(f - 0) - -62. Is (2*2)/(8/a) a multiple of 15?
True
Suppose -2*z - p + 0*p = -11, 32 = 5*z + 4*p. Suppose t - 2*t + 4*x = -6, z*t - 5*x - 35 = 0. Suppose t*i - 200 = 6*i. Is 10 a factor of i?
True
Let q = 41 + -37. Is 75/(((-4)/(-16))/(2/q)) a multiple of 10?
True
Suppose 3*x = 2*h + 908, -5*h + 280 = x - 0*h. Is x a multiple of 10?
True
Suppose -6*m + 4467 + 3687 = 0. Does 72 divide m?
False
Let s be (12 + -11)*5*1. Suppose 5*w = -2*u + 101, -3 = -w + s*u + 1. Is w a multiple of 5?
False
Let o(t) = 13*t**2 + 11*t + 104. Does 11 divide o(-7)?
False
Suppose -15 = -5*k - s, 0 = -4*k + 2*s - 3 + 1. Suppose k*h - 286 = 52. Is h a multiple of 18?
False
Suppose -3*r + u + 14 = -r, -2*r = 5*u + 10. Suppose -5*k + r*m - 28 = -88, 5*m = 3*k - 30. Let f = 5 + k. Is f a multiple of 20?
True
Let r = 1601 - 1228. Is 7 a factor of r?
False
Let o = 31 + -1. Suppose -5*h = -5*c - 15 - o, 0 = 5*h - 4*c - 47. Suppose 2*k - 1 = h. Is k a multiple of 3?
True
Suppose -3*n + b = -391, -b + 92 + 177 = 2*n. Suppose -2*h + n = -2*o, -5*h = -h - 2*o - 272. Is h a multiple of 18?
False
Let b = 4959 + -3300. Does 32 divide b?
False
Does 14 divide 367 + 0 + -2 - (-25 - -26)?
True
Let f(z) = -16*z - 9. Let n be f(-12). Suppose -n = -5*v - 33. Is v*(-4 + 44/8) a multiple of 15?
True
Let t be -1 + 6/9*6. Suppose 0*k + 3*k - 15 = -t*v, k - 2*v + 7 = 0. Is 12 a factor of 278/8 + k/4?
False
Let q = 2007 - 1534. Is 11 a factor of q?
True
Let o(h) = h - 2. Let i(m) = m + 16. Let n be i(0). Suppose 14*k - n*k + 12 = 0. Does 4 divide o(k)?
True
Suppose 4*r + 4*a = 32, 0 = -3*r + 4*a - 0*a - 4. Suppose w = -r*s - 11, 0 = -3*w + 4*s + 11 + 20. Suppose w*f + 0*f = 185. Is 5 a factor of f?
False
Let v be (12/(-10))/((-20)/(-25) - 1). Is 35 + (-4)/v + 15/9 a multiple of 6?
True
Let n(p) = -23*p + 112. Is 5 a factor of n(-1)?
True
Suppose -2*h + 4*c = -274, -4*h + 553 = -2*c + 17. Let j = h - 95. Does 10 divide j?
False
Suppose 0 = -9*q - 6 - 57. Let p(n) = 3*n**2 + 3*n + 15. Is 14 a factor of p(q)?
False
Let f = 62 - -23. Suppose -84 = -3*r + r. Suppose 3*m + p - 17 = r, -5*m + p + f = 0. Is 9 a factor of m?
True
Let s(m) = -590*m + 338. Does 16 divide s(-4)?
False
Let a = 221 - 194. Let s be 1/(1 - 16/14). Let g = s + a. Does 19 divide g?
False
Let d = -153 - -277. Is 4 a factor of d?
True
Let r(t) = 27*t**3 - 2*t**2 + 8*t - 15. Does 3 divide r(3)?
True
Suppose 13*t - 12 = 9*t. Suppose -3*j + 267 = t*y, 3*y + 266 = 3*j + 7*y. Is j a multiple of 10?
True
Suppose 3*r = r + 6. Suppose 0 = -r*b + 9, 150 = -4*t - 0*b - 2*b. Let q = -27 - t. Does 6 divide q?
True
Suppose -3*q - 2*q = -135. Suppose 4*h - 14 = -2*c, -5*h - q - 23 = -2*c. Is 3 a factor of c?
True
Suppose z + 4 = 3*z. Suppose z*j - 3*j = 3. Does 3 divide -3*j/(-9) - -6?
False
Let w be 4/22 - (-317)/11. Suppose d = -3*i + 43 + 44, 0 = i + 2*d - w. Is 20 a factor of i?
False
Suppose -18 = 6*k - 9*k. Let x(l) = k + l + 4 - 9*l + 3*l. Is x(-4) a multiple of 10?
True
Suppose 0 = 2*u - 3*i - 779, -5*u + 26*i + 1935 = 31*i. Does 72 divide u?
False
Let l = -471 - -838. Let s = 625 - l. Suppose 2*c - 2 = -0*c, 4*z - s = 2*c. Does 18 divide z?
False
Let r(b) = -4 - 18*b + 10 + b**2 + 28*b. Let w be r(-9). Is (-85)/w + 2/(-6) a multiple of 7?
True
Let f be (-3)/2*(151/3 + 5). Let u = 57 - f. Is u a multiple of 10?
True
Let p = 2599 + -1775. Is p a multiple of 76?
False
Let x(d) = 4*d - 13. Let m be x(4). Suppose -m = 2*w - 9. Is w a multiple of 3?
True
Let p(v) = 2*v**3 + v**2 - v + 21. Let x be p(0). Suppose q + x = 101. Does 16 divide q?
True
Let d be 1792/13 - 42/(-273). Suppose -4*v + 118 = -d. Does 14 divide v?
False
Suppose h = 2*h - 4. Let d be 800/15 - h/(-6). Is 6 a factor of 1/(((-3)/(-1))/d)?
True
Let x = 4494 - 2649. Is x a multiple of 18?
False
Let y be (4 - 44)*4/10. Let h be 10/25 - y/10. Suppose 4*x - 51 = -3*d, x - 17 = -h*d + d. Does 17 divide d?
True
Let o(i) = -195*i**2 - i + 1. Let r(n) = -390*n**2 - 2*n + 2. Let b(q) = 5*o(q) - 3*r(q). Does 15 divide b(1)?
True
Let u(i) be the first derivative of i**2/