r = -11*r - x + 1603. Is r a multiple of 10?
True
Let d be (-1)/(102/(-33) + 3). Let f(c) = c**2 - d*c - 12 - 9*c - 2*c**2 + 0*c. Is f(-8) a multiple of 28?
True
Let n(x) = 526*x**2 + 2*x - 2. Does 30 divide n(-1)?
False
Suppose 0 = 4*z - 56 + 176. Suppose -6*x - 22 = -286. Let p = z + x. Is p a multiple of 3?
False
Suppose 8*y = 11*y + 2*h - 3710, h = y - 1230. Is y a multiple of 53?
False
Let b = -281 - -1240. Does 9 divide b?
False
Suppose 5*w + 9 = -4*f + 46, -4*f = 2*w - 22. Suppose 0 = -5*q + 5*g - 25, f*q + 25 = 4*q + 5*g. Let o = 11 - q. Is 5 a factor of o?
False
Suppose -7*z + 6 = -z. Let r = 4 + z. Suppose 15 = r*c - 2*c. Is c a multiple of 2?
False
Suppose 6*y + 10 = 4*y. Is 5 a factor of y/(-4)*(-13 - -49)?
True
Let o = 2454 - 1392. Does 6 divide o?
True
Suppose 3*v = -5*f + 132, 20*f - 16*f - 2*v = 110. Is 3 a factor of f?
True
Let u(z) = -2*z**2 - 7*z - 4. Let m(l) = -l**2. Let f(o) = 3*m(o) - u(o). Suppose 9 = 4*j - 7. Is 8 a factor of f(j)?
True
Suppose 5*h - 965 = -2*k, 0 = 2*h + 2*h + 3*k - 765. Let c = -135 + h. Does 10 divide c?
True
Suppose 3*c - 11 = -4*m + 2*c, -4*c - 13 = -3*m. Suppose 39 = 4*l + h, -4*l - m*h + 33 = -4*h. Is 6 a factor of l?
False
Does 8 divide 8*(-43)/5*(-36 - -21)?
True
Let m(d) = 25*d - 20. Does 35 divide m(12)?
True
Does 29 divide 1440*(9 + -6)/3?
False
Let g(x) = 3*x**2 + 16*x + 27. Is g(-5) a multiple of 11?
True
Let i = 13 - 1. Let t(n) = -5*n**2 + 16*n + 10. Let o(b) = 12*b**2 - 34*b - 21. Let g(m) = 2*o(m) + 5*t(m). Does 2 divide g(i)?
True
Suppose 6*t = 65 + 19. Suppose a - 2 = t. Is a a multiple of 4?
True
Suppose -3*f = -2*q + 3262, 0 = -2*f + 3*q + q - 2188. Let c = 754 + f. Is c/(-2)*(-2)/(-6) a multiple of 20?
False
Let k be (0 - (-27)/(-12))/((-36)/1248). Let b = 113 - k. Does 5 divide b?
True
Suppose b - 1492 = -3*b. Suppose 0 = -5*f + a + b, 7*f - 4*f + a = 227. Does 15 divide f?
True
Let m be (-1)/6 - 434/(-84). Suppose -3*f + 2*b + 202 = 0, 3*f + 3*b = m*f - 143. Does 16 divide f?
True
Let x(b) = -6 - 21*b - 21*b - 1 + 6*b. Is x(-3) a multiple of 7?
False
Let n(p) = -p**2 - 24*p. Let i be n(-18). Suppose -2*y = 3*d - 5*y - i, -2*d - 2*y + 60 = 0. Is 11 a factor of d?
True
Let a(v) = 26*v - 4. Let o(d) = -5*d + 1. Let c(f) = -2*a(f) - 11*o(f). Let s(b) = -b**3 + 5*b**2 + 3*b - 3. Let z be s(5). Is c(z) a multiple of 11?
True
Let q(y) be the first derivative of 9*y**2/2 + 23*y - 18. Is 6 a factor of q(5)?
False
Let b(t) = 2*t**2 + 6*t - 273. Is 11 a factor of b(13)?
True
Suppose 0 = 3*z - z + 20. Let b = -8 - z. Suppose k - x + 71 = 3*k, 77 = b*k + 3*x. Is 17 a factor of k?
True
Suppose -3205 = -8*h + 5827. Does 37 divide h?
False
Let g = 2154 + -981. Is 32 a factor of g?
False
Suppose 3*r = 2*s + 8091, -r - 4*s + 1858 + 839 = 0. Does 15 divide r?
False
Suppose 62*t + 4*i = 63*t - 1104, -4*t - 2*i + 4398 = 0. Is t a multiple of 4?
True
Suppose -2*s + 4*i + 674 = 0, 4*s - 669 = 3*i + 659. Is s a multiple of 47?
True
Let q be (-608)/(-12)*(-18)/8. Let k be ((-4)/(-4))/(6/q). Is k/38 - (-106)/4 a multiple of 13?
True
Does 20 divide 12*((-70)/45 + 2)*156?
False
Let i(a) = 9*a**3 + 2*a**2 + 3*a - 4. Let w = 51 + -49. Does 34 divide i(w)?
False
Suppose 0 = 22*y - 66*y + 1496. Is y a multiple of 34?
True
Is ((-3198)/(-6))/(3/18) a multiple of 26?
True
Suppose 115 = -5*i + 45. Let w = i - -68. Suppose 4*a + 10 = w. Does 3 divide a?
False
Let c(j) = -2*j**3 + j**2 - j - 1. Let z be c(2). Suppose -14*p + 20*p = -42. Let u = p - z. Is 5 a factor of u?
False
Let m = 1004 - 651. Does 30 divide m?
False
Suppose 62884 + 5624 = 44*m. Is m a multiple of 61?
False
Suppose 0 = -n + k + 595, -6*k + 2385 = 4*n - 11*k. Is 27 a factor of n?
False
Suppose 12*p - 792 - 3732 = 0. Does 51 divide p?
False
Let b(d) = d**2 + 7*d + 11. Let z be b(-6). Suppose z*j + 38 = -5*h + 108, 0 = -4*h + 5*j + 101. Does 16 divide h?
False
Suppose 0 = -5*p - 5*u + 2090, -4*p - p = -u - 2078. Is 13 a factor of p?
True
Suppose 61*n - 715200 = -89*n. Is n a multiple of 20?
False
Let a = -1082 + 1220. Let t be 2/6 - 494/6. Let f = a + t. Is f a multiple of 8?
True
Suppose -9*l - 864 = -15*l. Is 31 a factor of l?
False
Suppose 1453 = 5*i - 2*r, -44 + 40 = r. Does 17 divide i?
True
Suppose -2*n + 5*s + 582 = 0, 0 = 4*n + 19*s - 24*s - 1174. Does 50 divide n?
False
Let x(n) = 2*n**2 + 3*n + 1 - 1 - 5*n + 2*n**3. Is 4 a factor of x(2)?
True
Let o = 162 + -228. Let d = -28 - o. Is 11 a factor of d?
False
Let v(b) = b**2 - 9*b + 9. Let r(d) = d**3 - 5*d**2 - 7*d + 10. Let c be r(6). Let h = c - -5. Is 8 a factor of v(h)?
False
Is 621*(10 + -43)/(-11) a multiple of 9?
True
Let r be (-19)/2 - ((-9)/6 + 1). Is 40 a factor of ((-240)/r)/((-1)/(-3))?
True
Let y(l) = 4*l**3 - l**2 + l + 1. Let b be y(3). Let c = b - 49. Is c a multiple of 9?
True
Let d(t) = -t**2 + 10*t - 7. Let b be d(9). Let a be (-1 - (-31)/1)/b. Suppose 2*v - 34 = -2*m, 3*m - 20 = v + a. Does 10 divide m?
False
Let w(o) = -4*o - 4. Let p be w(-2). Suppose -2*x - 3*r + 26 = -7*r, -3*r - 67 = -p*x. Let z = 26 - x. Is z a multiple of 7?
True
Let h(s) = s**3 + 4*s**2 + s - 5. Let f be h(-4). Is 19 a factor of (-2)/f + (-8555)/(-261)?
False
Let p = 50 + -48. Does 19 divide (p + 2)*9 + -12 + 14?
True
Suppose -4*h = 4*j + 12, -2*j + 8 = -4*h - h. Does 13 divide (-181)/j*1/1?
False
Let d(p) = 9*p - 19. Let v be d(16). Let g = v - 22. Does 22 divide g?
False
Let n(s) = -s + 6. Let d be n(3). Suppose -y - w = -4*w - 75, -d*y + 189 = 3*w. Is 7 a factor of y?
False
Let b = -1824 + 4565. Is b a multiple of 32?
False
Let i(v) = 10*v - 7*v**2 + 6*v**2 + 2*v - 16. Let k be i(11). Is 8 a factor of (5 - -3)*(k - -6)?
True
Suppose 21651 = 16*u - 29421. Does 12 divide u?
True
Let b(g) = -42 + 27 + 35 + 8*g - g. Is 27 a factor of b(5)?
False
Does 5 divide (774/15)/2 + 4/(-5)?
True
Suppose 0*p + 2*p = 30. Suppose 14*n - p*n = -2. Is 8 a factor of n/((-94)/24 - -4)?
True
Let f(i) = 32*i - 217. Does 7 divide f(14)?
True
Let k(w) = -w - 2. Let r be k(-5). Let g(v) = r - 3 - 1 + 9*v + 7*v. Does 15 divide g(1)?
True
Suppose 274 = -x + 2755. Does 35 divide x?
False
Let t = 283 + -226. Let u = -5 - 18. Let n = t + u. Does 9 divide n?
False
Let f(z) = z. Suppose 0*h + 13 = 5*i + 3*h, 2*i - 3 = h. Let n be f(i). Suppose 0 = p - 4, 3*r - 40 - 52 = -n*p. Does 28 divide r?
True
Let c = -216 + 551. Does 41 divide c?
False
Suppose -5*o = -11*o + 2286. Does 39 divide o?
False
Let g(w) = -w + 10 + 22 + 1 + 19. Is g(10) a multiple of 13?
False
Let r(d) = d + 11. Let m be r(-8). Suppose -5*f = 3*j - 330, -6*j = -m*j - 15. Let k = -24 + f. Is 10 a factor of k?
False
Let f(v) = -v**2 + 7*v + 3. Let t be f(8). Let u = -1 - t. Suppose -2*a - u*j + 71 = j, -4*a + 154 = -2*j. Is 10 a factor of a?
False
Suppose 0 = -17*l + 6216 + 7367. Is l a multiple of 11?
False
Let r = 177 - 56. Is r a multiple of 4?
False
Let y(c) be the first derivative of -3*c + 1/3*c**3 + 1/2*c**2 - 4. Is 3 a factor of y(-4)?
True
Let c(x) = x**2 + x - 7. Let r be c(-7). Suppose 64 = 8*a + 48. Let h = r - a. Does 11 divide h?
True
Is 17 a factor of ((-14586)/(-117))/(4/30)?
True
Let y(s) = -s**3 + 5*s**2 + 5*s + 7. Let c be y(6). Let w = 0 + c. Let q = w + 5. Is q a multiple of 6?
True
Suppose -5*w + 5*u - 5 = 0, 3*w - 10 - 3 = -u. Suppose -5*l + 370 = -0*l + s, 74 = l - w*s. Is 37 a factor of l?
True
Let c = -30 + 9. Suppose 124 = 4*k + 364. Let l = c - k. Is 17 a factor of l?
False
Let x be (-3 + 12)*2/(-3). Let u(j) = 256 - j + 247 - 509 + 2*j**2. Is 18 a factor of u(x)?
True
Is (-144245)/(-425) + 2/(-5) a multiple of 10?
False
Let d(m) = -m**2 + 2*m + 11. Let a be d(7). Let l = a + 29. Suppose t - 263 = -3*t + 5*c, 109 = 2*t + l*c. Is 20 a factor of t?
False
Suppose -5*w + 231 = -34. Let i = 92 - w. Does 13 divide i?
True
Let s = -83 + 87. Let j be (9/(-2))/(2/(-20)). Suppose j = s*f + f. Does 2 divide f?
False
Suppose 3*n = 5 + 1. Suppose n*w - 7*w = 95. Let z = w + 37. Does 16 divide z?
False
Let n(k) = k**2 + 7*k - 60. Is 44 a factor of n(21)?
True
Suppose 2*s = -2*t - 2*t + 652, -2*t - 3*s + 322 = 0. Does 6 divide t?
False
Let j(n) = 10*n**3 + n + 1. Let a be j(-1). Let s(g) = g**2 + 9*g - 8. Let u be s(a). Suppose 0*p + 4*p - u*k = 18, -k = -p + 4. Is 5 a factor of p?
True
Let v be (1 + 3 + -3)*1. Let d be -1 + 2 + v - 0. Suppose -