False
Suppose -1255 = -6*a + 1295. Is a a multiple of 25?
True
Let k(b) = 10*b**2 + b - 7. Let u(w) = w**2 + 5*w - 2. Let p be u(3). Let n be (33/p)/((-1)/(-2)). Is k(n) a multiple of 33?
False
Suppose 20*k = 8*k + 12780. Is 104 a factor of k?
False
Let d be (5 + -1)*1*2/(-4). Is (-238 + d)*2/(-4) a multiple of 20?
True
Let t(h) = -49*h**3 + 5*h**2 + 7*h - 13. Does 11 divide t(-2)?
True
Does 17 divide 2 + 476 + -5*(-4)/(-4)?
False
Suppose -57*r + 318 = -54*r. Is 22 a factor of r?
False
Suppose 0 = b - 3*b, 2*b = -d + 4. Suppose 2*s = 3*v + 260, -d*s + 428 = -s + 5*v. Is s a multiple of 8?
True
Let c(r) = r**2 + 3*r + 3. Let f be c(-5). Let p(d) = 2*d + 4. Let k be p(f). Does 13 divide (26/(-4))/((-5)/k)?
True
Suppose 3*u - 13 = -5*p, -p - 2*u + 12 = 3*p. Suppose -p*y = -56 - 4. Let g(f) = f**3 - 13*f**2 + 12*f + 10. Does 10 divide g(y)?
True
Let t(m) = -m + 70. Let p be t(0). Let i be p - (-4)/((-12)/9). Let n = i + -45. Is n a multiple of 7?
False
Suppose 17*w = 12076 + 181. Is w a multiple of 17?
False
Let j(y) = y**2 + 20*y - 19. Let d be j(-21). Suppose 2*m - 295 + 65 = -d*z, 0 = 5*z + 3*m - 565. Is z a multiple of 19?
False
Let y(w) = -w**2 + 2*w + 20. Let v be y(-8). Let k = v - -165. Is k a multiple of 21?
True
Suppose -85*v + 83*v = 8. Is v + (-7)/((-21)/711) - -1 a multiple of 25?
False
Suppose 29*i + 31*i - 18240 = 0. Is 8 a factor of i?
True
Is 0 + 379 + (-20)/(8/2) a multiple of 8?
False
Let o(r) = r**2 + r - 7. Let p be o(-4). Suppose p*f - 69 - 36 = x, x + 45 = 2*f. Is 4 a factor of f?
True
Suppose 35 = 3*q + 2*q. Let f(r) = -r**3 + 7*r**2 + 2*r - 8. Let y be f(q). Suppose y = 6*v - 18. Is v a multiple of 2?
True
Let g = -359 - -389. Is 3 a factor of g?
True
Suppose 569 = -2*j + 77. Let b = j + 382. Is b a multiple of 34?
True
Let f(q) = -40*q + 24*q + 25*q. Is 16 a factor of f(4)?
False
Suppose 3 = x + 21. Let b = x - -41. Is 23 a factor of b?
True
Suppose 0 = -2*f + k + 369, 3*f + 3*k + 375 = 5*f. Is 3 a factor of f?
True
Let c be 1 - (3 - (-5 + 1)). Let a be (1/2)/(3/c). Does 13 divide (3/1)/(a/(-6))?
False
Let o(p) = -16*p - 3. Let u(h) = -15*h - 2. Let z(a) = -3*o(a) + 2*u(a). Is 37 a factor of z(10)?
True
Let b(y) = y - 14. Let w be b(16). Suppose -6 - 26 = -4*c - w*h, 3*h = 0. Is 4 a factor of c?
True
Let w = 7 - 2. Let k(r) = -9*r + 9. Let n(b) = 10*b - 9. Let x(y) = -3*k(y) - 2*n(y). Does 6 divide x(w)?
False
Let l = -49 + 180. Suppose -c - l = -3*a, a + 62 = 2*a - 4*c. Is a a multiple of 13?
False
Let k be (-3 - 0)*4/6. Let o be (2 + 3/k)*0. Suppose 14 = d + 5*v, 3*v + 0 + 3 = o. Does 5 divide d?
False
Suppose -4*l + 2*u = -26, 2*l - u - 2*u = 23. Suppose p = 5*c - 235 - 48, -l*p = 3*c - 179. Is 15 a factor of c?
False
Suppose -5*d - o + 198 = 27, 0 = 4*o + 16. Suppose 3*c + 2*c - d = 5*u, 3*u = -3*c - 9. Does 12 divide (-8)/((u/(-4))/(-5))?
False
Let h(s) = -9 + 3*s + 1 + 7*s + 0. Suppose -3*d + d + 12 = 0. Is 20 a factor of h(d)?
False
Let g(b) = -20 + 0*b + 1 + 4*b + 7*b. Is 15 a factor of g(5)?
False
Is -1 - -93*-1*(-2)/3 a multiple of 22?
False
Let a(r) = 123*r**3 + r**2 - 2. Let g be a(1). Let p = 108 + g. Is p a multiple of 10?
True
Suppose 2*r - 4*k - 7650 = 0, -21*r + 5*k + 7647 = -19*r. Does 11 divide r?
False
Let x(p) be the first derivative of p**4/24 - p**3/6 + 4*p**2 + 5. Let v(m) be the second derivative of x(m). Is 3 a factor of v(7)?
True
Let g = 2 - 5. Let u(f) = -2*f - 5. Let o be u(g). Is o/(3/81*3) a multiple of 3?
True
Let f be (-11685)/(-38) - 6/4. Suppose 10*h - 1076 = -f. Is 5 a factor of h?
False
Let t = 1695 + -1310. Is t a multiple of 35?
True
Suppose 0 = 8*m - 21*m + 3029. Is m a multiple of 32?
False
Suppose -5*f + 87 + 13 = 0. Let i be (-5)/(f/(-8)) - 3. Does 7 divide (2 - i)/((-5)/(-25))?
False
Suppose -3*t + i = -1577, -2*i + 407 = 3*t - 1182. Is 3 a factor of t?
False
Suppose -5 = -4*a + 3. Suppose -2*l - a*z = 0, -5*l + 0*l = 4*z - 3. Suppose 0 = l*s + 63 - 189. Is s a multiple of 13?
False
Let k(c) = 8*c**2 + 2*c - 4. Suppose 0 = -3*r - 6, -2*p = 4*r - r + 160. Let x be (-31)/11 - (-14)/p. Does 15 divide k(x)?
False
Let p = -50 - -78. Suppose 22*d = 18*d + p. Let x = -1 + d. Does 6 divide x?
True
Let c(x) = -49*x**3 + 2*x**2 - 14*x - 32. Is 9 a factor of c(-2)?
True
Let d = -347 + 3135. Suppose -d + 9080 = 22*r. Is r a multiple of 18?
False
Suppose 7*l = -2299 + 20513. Does 72 divide l?
False
Let v be (1 - -1) + -2 + 59. Let s(c) = -4*c + 10. Let d be s(4). Let i = v - d. Is 21 a factor of i?
False
Suppose -7*j + 5*j + o = -5132, -4*j = -4*o - 10272. Does 35 divide j?
False
Let u(l) = -l**3 - 4*l**2 - 2*l - 3. Let d be u(-4). Suppose 4*h - 2*o + 3*o + 75 = 0, -d*o = -5. Let y = 48 + h. Is 6 a factor of y?
False
Suppose u = -2*u - 12. Let j(y) = 3*y**2 + 4*y - 4. Let n be j(1). Is 27 a factor of u/(-6) - (-223)/n?
False
Let k be (-1)/((-80)/81 + (3 - 2)). Let j = k + 328. Does 13 divide j?
True
Let n(o) = 3*o**2 - 5*o + 5. Let z be n(3). Is z/68 - (499/(-4) - -1) a multiple of 12?
False
Let z(r) = -30*r + 10. Let u be z(-5). Suppose 0 = 12*b - 8*b - u. Is 20 a factor of b?
True
Let c(n) = n - 4. Let x be c(-3). Suppose 259*q - 10 = 258*q. Let p = q - x. Is 17 a factor of p?
True
Let a(m) = -m**2 - 5*m - 1. Let l be a(-6). Let d = -7 - l. Suppose 2*n + d = 30. Does 5 divide n?
True
Let k(l) = 2*l - 13. Let b be k(6). Does 19 divide (2/3)/(b/(-114))?
True
Let p = -48 + 346. Let b = p + -109. Suppose s + 2*t + 12 = 73, -3*t - b = -4*s. Is 17 a factor of s?
True
Suppose 0 = 3*m + 8 - 2. Let n be 3 - m/((-8)/196). Let x = n + 68. Does 22 divide x?
True
Suppose 5*m + 75 = 2*m. Suppose w = -0*w + 43. Let t = w + m. Does 14 divide t?
False
Suppose -7*r = -12*r. Suppose -l + 7*l - 594 = r. Does 19 divide l?
False
Let y be (-5)/4 + 1 + 140/(-16). Is 29 a factor of -15*(-1 + y) + 1 + 2?
False
Let o(s) = s**2 - 9*s - 18. Is 5 a factor of o(14)?
False
Suppose 21600 - 4804 = 26*k. Is 6 a factor of k?
False
Let p(n) = 4 - n - 9*n**2 + 6*n**2 + 2*n**2. Let k be p(4). Let d = k - -37. Is d a multiple of 4?
False
Suppose -6*w + 60 = -5*w. Let m = w + -30. Is m a multiple of 15?
True
Let d be 2/((-8)/(-148)) - -1. Let l = 0 + 0. Suppose v + l*v = 2*r + d, 5*v - 204 = 3*r. Is 9 a factor of v?
False
Let c(g) = -g**2 + 11*g + 906. Does 6 divide c(0)?
True
Suppose 0*g = g - 5*f - 453, -3*g = -5*f - 1349. Suppose -4*h = c - 6*c + 1097, 0 = -2*c - 3*h + g. Is c a multiple of 13?
True
Let v(d) = d**3 + 5*d**2 - 9*d + 8. Is v(-5) even?
False
Suppose -a - a = 0. Suppose 2*f - 6*p + p = 35, -4*f + 2*p + 78 = a. Suppose 5*z = -2*l + 34, -4*z = 4*l - 3*l - f. Is l a multiple of 12?
True
Let c be (-3 + 1)/(-3 + 4 + -2). Suppose c*z = -3*z + 550. Is z a multiple of 31?
False
Let p(h) = h**2 - 10*h - 5. Let f be p(11). Let j be f + -2*(1 + -2). Does 9 divide (-15)/60 + 242/j?
False
Suppose -2*u + 3*h + 20 = -0*u, 5*h + 20 = 0. Suppose 3*z - 3*s = -2*s + 225, 313 = u*z + 3*s. Is 11 a factor of z?
False
Suppose 62 = s + 5*g - 56, -2*g = s - 133. Is s a multiple of 13?
True
Suppose 0 = 11*q - 7*q - 16. Let g(c) = -c**3 - 7*c**2 + 9*c + 8. Let w be g(-8). Suppose w*n + 124 = 5*n - q*f, -4*n - 2*f + 94 = 0. Is 8 a factor of n?
True
Let m(q) = -q**3 + 16*q**2 - 40*q - 29. Does 57 divide m(10)?
True
Suppose 0 = -3*y + 3*o, 3*o = 5*y - y. Suppose y = -2*x - 6 + 14. Suppose 4 + 44 = x*b. Is 12 a factor of b?
True
Let p(q) be the third derivative of q**6/120 - q**5/4 + q**4 - 25*q**3/3 + q**2. Is 10 a factor of p(14)?
True
Let v(q) = -88*q + 88. Is 8 a factor of v(-3)?
True
Let o(l) = -8*l**2 + 207*l + 4. Does 7 divide o(17)?
True
Let d be (8 - 10) + 7*29. Suppose -4*m - 5 = -d. Let b = m + -26. Is b a multiple of 5?
False
Suppose -5*h = -5*n - 7*h + 8510, n - 1675 = 5*h. Is n a multiple of 25?
True
Let k = 461 + 155. Is k a multiple of 14?
True
Suppose 23*f - 26*f = -54. Let d = -11 + f. Suppose -2*i + d*i - 110 = 0. Is 3 a factor of i?
False
Let f(b) = -b**3 - 17*b**2 + 17*b - 16. Let u be f(-18). Let r = -5 - -11. Suppose u*m - 6 = r. Is 3 a factor of m?
True
Suppose 1103 = 2*l + h, l - 1107 = -l - 5*h. Is l a multiple of 19?
True
Let v be 3*4/8*-2. Does 5 divide v + 40 + (-6)/3?
True
Suppose -1442 - 9568 = -10*f. Does 12 divide f?
False
Suppose 0 = 3*k - 3*l + 8 + 22, 3*k + l + 42 = 0. Let m = k + 9. Let f = m + 7. Does