?
True
Suppose -8 - 7 = -3*m. Let p be (-26)/(-4)*(m - 3). Is 11 a factor of (p + -3)/(1/4)?
False
Let b(k) = k - 6. Let p be b(8). Suppose 2*u - p = 8. Suppose m = y + 23, 0*m - m - 5*y = -u. Is m a multiple of 10?
True
Let w(j) = j**2 + 10*j - 8. Let y(f) = -f**3 - 6*f**2 - 5*f + 2. Let d be y(-4). Let t be w(d). Is 4 a factor of 3/((-36)/t)*6?
True
Suppose 0 = -2*s - 0*s + 50. Suppose 4*w + 4*n - 15 = n, -s = -3*w - 5*n. Suppose -4*c + 135 - 39 = w. Is 8 a factor of c?
True
Let j(p) = -p**3 - 9*p**2 + 11*p - 13. Let v be j(-10). Let s = -20 - v. Suppose 4 = -s*r + 5*x, r = 5*r + x - 10. Is r a multiple of 2?
True
Let l(y) = 283*y**2 + 21*y - 34. Is l(2) a multiple of 12?
True
Let f be (8/(-10))/((-10)/(-25)). Let p be 32/(-6)*(8 + f). Let i = -17 - p. Is 15 a factor of i?
True
Let y be 4*1/4*2. Suppose -j = 5*r - y*r - 36, 0 = 3*j + 3*r - 138. Does 23 divide j?
False
Let k be -5 - -1 - -8 - (5 + -2). Let i = 11 + k. Is i a multiple of 3?
True
Suppose 3*g - 4*m - 12 = -31, -24 = 4*g - 4*m. Is 7 - (-3 + g)/(-2) a multiple of 3?
True
Suppose -3*m - 24 = -3*i, 3*i - 4*i + 12 = m. Suppose i*x + 120 = 12*x. Is x a multiple of 16?
False
Suppose 704 = 4*u - 40. Is 12 a factor of u?
False
Suppose -258 = -12*l + 270. Is l a multiple of 12?
False
Suppose -71*n + 41445 = -26*n. Does 35 divide n?
False
Let v be 27/(-4)*1904/(-42). Suppose 4*f - 2 = v. Does 16 divide f?
False
Suppose -3*d = -4*d - 5*g - 43, -4*d - 244 = -4*g. Let r = 98 + d. Is 5 a factor of r?
True
Suppose -6*v + 10 + 8 = 0. Does 15 divide 134/6*9/v?
False
Let y be -3 + 0/(-3) - 76/1. Let j = y - -106. Is j a multiple of 9?
True
Let x = -5755 + 3445. Is 10 a factor of x/(-75) - 1/(-5)?
False
Let i = -100 - -97. Let t(w) = 0*w + 11*w**2 + 2 + 1 + 5*w. Is 24 a factor of t(i)?
False
Suppose 623 + 147 = 10*d. Does 7 divide d?
True
Let q = 154 - 100. Let f be (2*2)/(2/q). Is (-6)/(4 + (-440)/f) a multiple of 27?
True
Suppose -2*t = -t. Let b be 61 - t - 24/8. Suppose -3*f - 2*o = -57, -3*f - 4*o + b - 7 = 0. Is 7 a factor of f?
True
Let b = 29 - 10. Let s be (2/3)/(6/9). Suppose -5*r + b + s = 0. Is 3 a factor of r?
False
Let y = -271 - -425. Does 40 divide y?
False
Let n(u) = -120*u**3 - u**2 - 3*u - 2. Is n(-1) a multiple of 40?
True
Suppose -j - 3*g + 307 = -0*g, -j + 5*g = -315. Suppose 4*b + 0*b - 4*v - 232 = 0, 5*b = v + j. Is 5 a factor of b?
False
Let z = 170 + -93. Let p = -25 + z. Is p a multiple of 12?
False
Is (3/(-27)*-3)/((-46)/(-66654)) a multiple of 22?
False
Let x(g) = -g - 8. Let z be x(-7). Let d be ((-9)/(-3) + -3)/z. Suppose d*b + 9 = 3*b. Does 3 divide b?
True
Is 5 a factor of (1 - -14)*(-2 - -1)*-9?
True
Let x(t) = t**2 + 26*t - 24. Is x(6) a multiple of 3?
True
Let w = 57 + -55. Suppose -2*i = -3*p - 49, w*p + 52 = 3*i - i. Is 5 a factor of i?
False
Suppose 2*y = -32 + 990. Is 12 a factor of y?
False
Suppose 0 = 5*x - 3*x + 4, 0 = 3*q - x - 263. Is 24 a factor of q?
False
Let u = -1127 - -1196. Is u a multiple of 3?
True
Suppose -f = 5*u + 32, -3 = -2*u + 2*f - 23. Let t(i) = i + 9. Let a be t(u). Let m = 46 - a. Is 11 a factor of m?
True
Let v(k) = -k**2 - 4*k + 34. Let l(p) = -p**2 - 6*p + 21. Let s be l(3). Does 4 divide v(s)?
False
Suppose -s - 21*k = -19*k + 18, 72 = -4*s + 3*k. Let a(m) = -37*m**3 - m**2 + m. Let o be a(1). Let w = s - o. Is w a multiple of 7?
False
Let y be (468/(-15))/(3/(-10)). Suppose 5*s + 19 - y = 0. Does 8 divide s?
False
Let a be (5 + -9)/(1*-1). Let d = -14 + 19. Suppose f - 3*f = a*j - 36, f = d*j + 39. Does 6 divide f?
True
Is (-1254)/(-7) - 376/329 a multiple of 4?
False
Let z(h) = 4*h - 22. Let b be z(6). Suppose -4*l = -3*g - 301, -l - l = b*g - 168. Is l a multiple of 9?
False
Let b = -3 - -4. Let c(d) = d**2 + 17*d - 60. Let y be c(-20). Is 15 a factor of y/1 - b*-72?
False
Let v = -994 + 3033. Does 53 divide v?
False
Suppose 15 = -3*t, -116*n + 111*n + 2045 = 5*t. Is 9 a factor of n?
True
Let m = -9 - -133. Let k = -85 + m. Is k a multiple of 13?
True
Let j(y) = -3*y**3 + y**2 + 3*y - 2. Suppose -13 = -4*q - v, -4*v = -2*q + 3*q - 22. Let l be j(q). Let m = 28 + l. Does 4 divide m?
True
Suppose 282 = 19*k + 35. Does 2 divide k?
False
Let j be (-1 - (-35 + 0))*2. Suppose 3*a + j = 8. Does 31 divide (-6)/(-15) + (-1232)/a?
True
Let j(x) be the third derivative of 1/24*x**4 + 0*x**3 + 0 + 0*x + 7*x**2. Is j(13) a multiple of 6?
False
Suppose -6*j + 3011 + 3949 = 0. Is j a multiple of 10?
True
Let u(c) = -c**2 + 3*c - 6. Let v be u(5). Let y = v - -18. Is 14 a factor of 1*(-171)/(-1 - y)?
False
Suppose -136*c - 235 = -137*c. Does 9 divide c?
False
Let p(w) = 9 + w**2 - 6*w - 2*w**2 + 13*w. Let a be 112/64*(0 - -4). Is 6 a factor of p(a)?
False
Let m(o) = 3*o - 1. Let z(f) = 2*f**2 + 4*f + 1. Let d be z(-3). Let p be m(d). Suppose -3*g + p = 2*g. Is g a multiple of 4?
True
Is 64 a factor of 8 - 7 - (3 - 259 - -1)?
True
Let g be 1/(-5)*28*10/(-4). Let q = g + 5. Does 14 divide q?
False
Let i be 2 - (2 - -33 - 1). Is 17 a factor of 2/16 - 2364/i?
False
Suppose -992 - 106 = -18*z. Does 5 divide z?
False
Let w = 6 + -4. Suppose -u + 53 = 4*d, -190 = -5*u + 3*d + w*d. Suppose 2*l + u + 149 = 4*z, 4*z - 205 = 5*l. Does 9 divide z?
True
Suppose 16 = 3*p + 2*g, 5*p - 5*g = 5 + 5. Suppose -p = -2*z + 6*z. Is (-147)/(-3) - (z - -1) a multiple of 10?
False
Let n(o) be the second derivative of -5*o**3/6 + 53*o**2/2 + 32*o. Is n(0) a multiple of 4?
False
Let q = 65 - 144. Let n = q + 137. Is n a multiple of 29?
True
Suppose -26*m + 32*m = -11952. Does 12 divide m/(-60) + 1/(-5) + 0?
False
Let p = 404 + -254. Does 37 divide p?
False
Is 11 a factor of (18801/36 - 5) + (-1)/4?
True
Suppose 444 = 4*c - f, 3*f + 239 - 27 = 2*c. Suppose 4*x - 4*q - c = -5*q, -4*q = 3*x - 97. Is x a multiple of 7?
False
Let u(i) = -i**3 - 6*i**2 + 6*i + 10. Let j be u(-8). Suppose -q - 4*q + j = 0. Is q a multiple of 9?
True
Let c = -10 - -12. Suppose 3*o = 4*u + 45 + 64, -2*o + c*u + 72 = 0. Let n = -13 + o. Does 7 divide n?
False
Suppose 0*o + 15 = 5*o. Suppose z + o*z - 12 = 0. Does 20 divide (z - 0)/((-18)/(-372))?
False
Suppose 593 + 1082 = 5*o + 2*j, 317 = o + 4*j. Is o a multiple of 25?
False
Let t be (-10)/(-45) + (-25)/(-9). Suppose -4*i + 2*l = -90, i + 47 = t*i + l. Is 11 a factor of i + 1/(-1 - 0)?
True
Let v(b) = -48*b + 101*b - 49*b. Does 28 divide v(7)?
True
Let o(u) = u**2 + 10*u - 1. Let q(n) = 2*n + 23. Let b be q(-14). Let w(p) = p**2 + 11*p - 2. Let i(r) = b*w(r) + 6*o(r). Does 28 divide i(-8)?
True
Let i be ((-3)/2)/((-2)/76). Let w = 31 + i. Is w a multiple of 8?
True
Let p = 2491 + -1651. Is 7 a factor of p?
True
Let h(b) = -4*b. Let j be h(1). Let w be -12*((-34)/(-4) + j). Let d = -34 - w. Is 10 a factor of d?
True
Let a be (-2)/(6 - 2)*-4. Suppose 5*r + 1300 = 5*j, -a*j + 540 = r + 2*r. Is j a multiple of 22?
True
Suppose -2*c - 126 = -2*u, -84 = 4*u + 4*c - 312. Suppose v + 2*v = 9. Suppose p - u = -v*p. Is p a multiple of 15?
True
Let v(a) = a**2 - 3*a + 11. Let f(t) = 3*t**2 - 10*t + 32. Let d(g) = -4*f(g) + 11*v(g). Let b(w) be the first derivative of d(w). Is 25 a factor of b(-9)?
True
Let c(q) be the third derivative of 3*q**4/8 - 13*q**3/6 + 17*q**2. Does 6 divide c(4)?
False
Let j(m) = -624*m - 34. Is j(-1) a multiple of 17?
False
Suppose 2*d - 34 = -4*h, 2*d - 3*d - 5*h = -17. Let m = d + -28. Let n = m - -24. Is 13 a factor of n?
True
Let c(t) = 2*t**3 - 16*t**2 - 11*t + 28. Is 15 a factor of c(11)?
False
Let i(p) be the first derivative of -3*p**2/2 - p + 3. Let n be i(-2). Suppose m - 2*x - 13 = 0, 0*x = n*m + 3*x - 39. Does 9 divide m?
True
Let w = 543 + -183. Is w a multiple of 40?
True
Let k(u) = -2*u + 2. Let a be k(-2). Let m = 32 - a. Suppose 32 = j - m. Is j a multiple of 13?
False
Let z be (-1*1)/(9/(-45)). Suppose -5*v + 4*j = 35 + 13, z*j + 15 = 0. Let d = 35 + v. Does 10 divide d?
False
Let a(b) = -b**2 + 7*b + 6. Is a(3) a multiple of 17?
False
Let m(p) = -p**2 + 3*p + 13. Let x be m(8). Let k = -21 - x. Let g(d) = d**3 - 5*d**2 + 4*d + 8. Does 13 divide g(k)?
False
Suppose -5*c = 2 - 12. Suppose 22 = c*f - 210. Let a = f + -83. Does 10 divide a?
False
Let f be (-4 - -7 - -4) + 1. Suppose -f = 5*u - 3. Does 10 divide u/3*-3*22?
False
Suppose -2*r + 3 = 3*w - 5*r, 4 = -5*w - 4*r. Suppose u + w*u = 63. Does 15 divide 