
Suppose z - 4*l - 3040 = 0, 24*l = -2*z + 19*l + 6145. Is z a multiple of 20?
True
Is 1948 - (40/(-1))/(-10) a multiple of 36?
True
Let l be (-5)/(5/(-4)) - -17. Let z = l + -19. Does 10 divide (-2 - 98/(-4))*z?
False
Let z = -14 + 17. Let f(a) = a**2 - a**z + 0*a**2 - 13 + 2*a**3 + 47. Is f(0) a multiple of 7?
False
Suppose -320*w - 1224 = -324*w. Is 17 a factor of w?
True
Let m = -33 - -61. Suppose 4*o = -4*a + m, -34 = -o - 5*a - 15. Suppose -o*y = y - 160. Is y a multiple of 16?
True
Let r = 445 - 397. Is 3 a factor of r?
True
Suppose -552 = 10*s - 3902. Does 68 divide s?
False
Let i(o) = 2*o**2 + 8*o - 52. Let u be i(-25). Suppose -5*w = -u - 362. Is 16 a factor of w?
True
Suppose -4*y + 3*y = 7. Let f = y + 20. Let j = f + -3. Is 5 a factor of j?
True
Suppose x = f + 404, -5*x = 19*f - 23*f - 2024. Does 17 divide x?
True
Let z = -4 + 5. Does 9 divide z - (-2 + -22)*1?
False
Let s = 69 + -75. Let a(m) = 2*m**2 + 5*m - 15. Does 27 divide a(s)?
True
Let l = -112 + 645. Is 13 a factor of l?
True
Let s be 66 - (0 - -3)/(-3). Suppose s - 181 = -p. Is 22 a factor of p?
False
Suppose -37*w = -47*w + 190. Is 7 a factor of w?
False
Suppose -359*d = -364*d + 1455. Is 47 a factor of d?
False
Let p = 3 + -1. Suppose f = -5*a - 5, -a - p*f = -5*f - 15. Suppose 4*z + z + 5*o = 195, a = z - 2*o - 42. Does 13 divide z?
False
Suppose 0 = 6*p - 2389 - 311. Does 15 divide p?
True
Let c(o) be the first derivative of -o**3/3 - 13*o**2/2 - 26*o - 17. Is 3 a factor of c(-10)?
False
Suppose -3*a - 423 = -3*i, 5*i - 691 = -5*a - 36. Is i a multiple of 4?
True
Suppose -i + 255 = 2*r, -7*i = -2*i - r - 1308. Does 15 divide i?
False
Let d(v) = 2*v + 9. Let k be d(-7). Let f be (6/k)/((-11)/55). Is 28/f*(-12)/(-2) a multiple of 14?
True
Let b(s) = -s**3 - 4*s**2 + 8*s - 73. Is 73 a factor of b(-12)?
False
Let o(g) = 39*g + 310. Is o(7) a multiple of 8?
False
Suppose -3*a = 1 - 16. Suppose 2*s - a*t - 252 = 75, -2*s = 2*t - 334. Is s a multiple of 20?
False
Let d(g) be the third derivative of -g**6/40 + g**5/60 - g**4/6 - 2*g**3/3 - 13*g**2. Does 32 divide d(-2)?
True
Suppose -5*z + 421 = -399. Does 6 divide z?
False
Let a = -834 + 532. Let z = -107 - a. Does 39 divide z?
True
Let v = 3 - 1. Let i be (v + 0)*(-75)/6. Let w = -3 - i. Is w a multiple of 22?
True
Suppose 2*k - 21 = 3*x, 2*x + 37 = 4*k - 3*x. Suppose -k*w + 20 = w. Suppose 3*g - 68 = w*m, 17 + 11 = g - 3*m. Is 15 a factor of g?
False
Suppose -4*m + u = -59, -3*u = -4*u - 3. Suppose -z + 3*q + 184 = 0, -z - 2*q + 190 = -m. Is z a multiple of 28?
True
Let y be (-1)/(4 + (-45)/10). Suppose -5*l + 29 = -4*l - 2*f, -y*l = 3*f - 51. Is 7 a factor of l?
False
Let f(s) = -14*s + 4. Let i(g) = 2*g**3 - 4*g**2 - 4. Let w be i(3). Let p be 30/105 - 60/w. Is 20 a factor of f(p)?
True
Let x(j) = j**3 + 18*j**2 - 19*j + 3. Let g be x(-19). Suppose g*r + 16 = 7*r. Suppose 0 = r*v - 244 + 84. Does 10 divide v?
True
Let y(j) = -j**3 - 3*j**2 + 6*j. Let v be y(-5). Suppose 0*a - a + 127 = -3*t, -4*t + v = 0. Does 15 divide a?
False
Suppose 0*f - 1125 = -15*f. Does 13 divide f?
False
Let u = 81 + -336. Let k = -104 - u. Is 24 a factor of k?
False
Is (-63)/(-18) + 27076/8 a multiple of 22?
True
Let l be -41 + (0 - (4 + 0)). Let n = -33 - l. Does 7 divide n?
False
Suppose k + 51 = -0*k - 4*r, 5*r = 3*k + 102. Let x = -27 - k. Let i = -3 + x. Is 4 a factor of i?
False
Let t(g) = 5*g**2 - 46*g - 5. Is 15 a factor of t(17)?
False
Let m be (16/(-14))/(9/(-7) - -1). Suppose h - 8*f - 62 = -m*f, h + 5*f = 44. Does 8 divide h?
False
Suppose -5*t + 19 = -1. Suppose 7*f - t*u - 207 = 2*f, 0 = f - u - 42. Is f a multiple of 13?
True
Let n be (26/10)/((-3)/15). Suppose -q = 5 + 15. Let f = n - q. Does 2 divide f?
False
Let l(i) = -2*i - 2. Let n be l(-11). Let x be 5/(n/12) - -3. Let o(m) = m**2 - 6*m + 8. Is o(x) even?
True
Is 17 a factor of 12/(-10)*(-36 + 9 + -18)?
False
Suppose -5*p - 263 = -3*r, -34*r = -36*r + 3*p + 177. Does 29 divide r?
False
Suppose 0 = j - 820 + 605. Does 24 divide j?
False
Let a(c) be the first derivative of -c**3/3 - 9*c**2 + 4*c + 15. Does 2 divide a(-18)?
True
Let c(b) = b**2 - 14 + 0*b**2 + 3*b + 21. Is c(0) a multiple of 3?
False
Let m = 4 - -12. Suppose -2*g + m = -56. Is 12 a factor of g?
True
Let a(o) = o**3 + 2*o**2 - 209*o + 22. Is 13 a factor of a(16)?
False
Let b = -1776 + 2493. Does 60 divide b?
False
Let p = 411 - 285. Is p a multiple of 5?
False
Let y = -143 + 836. Is 33 a factor of y?
True
Suppose 430 = t + 2*l, 0 = -3*t - 2*l + 433 + 849. Is t a multiple of 53?
False
Let u be (-3 + -1)*172/(-16). Let n = 8 + -6. Suppose 0 = l - 5*d - u, 5*l = -0*l - n*d + 134. Is l a multiple of 7?
True
Let t(i) = 5*i - 7. Let g be t(2). Suppose 3*o = 3*v - 387, 3*o - 424 = -g*v - 31. Does 12 divide v?
False
Suppose 0 = d - 3*a - 198, -188 = -d - a + 2*a. Suppose -p = j - d, 2*j = -3*j + 5*p + 965. Does 30 divide j?
False
Suppose -4734 = -18*g + 630. Is g a multiple of 36?
False
Let w = -437 + 700. Does 7 divide w?
False
Let n = 137 - 62. Suppose 4*q + n = 4*y - 65, 5 = q. Is 10 a factor of y?
True
Let x be 4*(35/2)/5*24. Let k = x - 181. Does 31 divide k?
True
Suppose -6992 = 5*c - 28*c. Does 8 divide c?
True
Suppose 4*c + 5*g = 2013, -5*c + 205*g + 2475 = 203*g. Does 9 divide c?
False
Let m(g) = -4*g**2 - 81*g + 63. Is 23 a factor of m(-13)?
False
Let m(x) = x**2 - 10*x - 11. Let o be m(11). Suppose -z + 243 + 21 = o. Suppose z = 5*b + 9. Is 17 a factor of b?
True
Let d(z) = -5*z - 11. Let i(y) = 4*y + 10. Let p(s) = 3*d(s) + 4*i(s). Is 10 a factor of p(7)?
False
Is 3 a factor of (-226)/(-4)*(11 - 11 - -2)?
False
Let h = 23 + -36. Let g = 16 - h. Suppose -86 - g = -5*c. Does 8 divide c?
False
Suppose 8*m - 5667 = -5*i + 6*m, -3*i - 5*m + 3404 = 0. Is i a multiple of 110?
False
Let h = 32 - 27. Suppose -4*b - h*p - 34 = -335, -4*p = -2*b + 118. Suppose b + 6 = x. Is x a multiple of 25?
True
Suppose -24*h + 2*h = -33044. Is 46 a factor of h?
False
Suppose 2*b - 3*g = -44 + 389, -2*b - 2*g = -330. Does 3 divide b?
True
Suppose 0 = -25*p - 8*p + 5082. Is p a multiple of 14?
True
Suppose -117 = -4*b - 101, 0 = -r + b + 56. Is r a multiple of 2?
True
Does 24 divide (-99)/9 - -4292 - 9?
True
Suppose w - 16 = 5*x, -2*w - 2*x - 3 = 1. Let p be 5060/10 - (1 + w). Suppose 6 + p = 6*k. Is 24 a factor of k?
False
Is 2 a factor of ((-72)/(-27) - 2)*249/2?
False
Suppose -10*u = -12*u + 12. Suppose 3*j - 19 = 4*i, 3*i = u*j - 2*j - 16. Is j - (-90)/(0 + 3) a multiple of 13?
False
Does 19 divide (-2 + (-759)/(-6))*2?
False
Let b(d) be the third derivative of d**5/60 + d**4/12 - 2*d**3/3 + 7*d**2. Is b(-4) a multiple of 4?
True
Suppose 3*l - 18 = -z, -3*z = -2*l - 0*l - 32. Let p be (-4)/((-16)/z) - 1. Suppose 5*i - 5*b - 280 = 0, 7*i + 3*b = p*i + 240. Is 17 a factor of i?
True
Let d(c) = -31*c + 797. Does 28 divide d(-33)?
True
Let x(q) = 3*q**3 + 10*q**2 + 4*q - 2. Let l(j) = -7*j**3 - 19*j**2 - 9*j + 4. Let z(a) = -2*l(a) - 5*x(a). Let h be (86/258)/((-2)/72). Does 21 divide z(h)?
False
Let r be (-6 - -2)/(-4) - 18. Let b = -7 - r. Does 13 divide (16/b)/(4/130)?
True
Suppose 1026 = -9*x + 3690. Is x a multiple of 74?
True
Suppose 23*o = 1803 + 9881. Is 22 a factor of o?
False
Suppose c + 0*f - f - 9 = 0, 0 = 2*c - 4*f - 8. Suppose -h + 5*d = 4*d + c, 2*h - 3*d + 27 = 0. Is 10 a factor of (56/5)/((-6)/h)?
False
Let w(y) = y**3 - 4*y**2 + 5*y - 3. Let u be w(3). Suppose 0 = u*g + 2*q + 3*q - 86, -4*q - 131 = -5*g. Suppose -35 = -z + g. Is z a multiple of 21?
False
Let q = -298 + 799. Is 13 a factor of q?
False
Suppose 7*x = 3*x + 60. Let j = 387 + -264. Suppose 197 - x = 3*q - 5*z, 2*q = 3*z + j. Is q a multiple of 20?
False
Let w = 686 + -456. Suppose -4*n + 3*d + 408 = 0, 2*n - d - w = -6*d. Is 35 a factor of n?
True
Suppose -2*h = 4*p - 3*p + 27, 3*p - 3*h = -45. Let w = -33 - p. Let b = w + 42. Is 9 a factor of b?
False
Let o(p) be the second derivative of -5*p**3/6 - 3*p**2/2 - 5*p. Let k be o(-3). Suppose -d = -5 - k. Is d a multiple of 11?
False
Let a(r) be the third derivative of 0 - r**2 + 0*r - r**3 + 7/24*r**4. Does 12 divide a(6)?
True
Let x(s) = 2*s - 8. Let o be x(8). Suppose f + l = -o + 28, 0 = -2*f - l + 35. Does 3 divide f?
True
Let d = 28 - 22. Suppose 0 = 5*t - 181 + d. Is 4 a factor of (14/t)/(2/