ctor of i?
False
Let d(n) = -n**2 - 10*n - 14. Let l be d(-8). Suppose 0*w + 2*w - 44 = 0. Suppose -l*z + w = -90. Does 11 divide z?
False
Let d(h) = 0 + 2 - 4*h + 1. Let t be (-88)/24 + 3 + (-7)/3. Does 2 divide d(t)?
False
Suppose -4*d + 0*d - 2*n + 764 = 0, -4*n = -d + 182. Suppose -4*o = o + d. Let w = o + 104. Is 22 a factor of w?
True
Let d be 3 - (371 - 2)/3. Let o = d + 238. Does 21 divide o?
False
Let j(o) = o**2 + 6*o - 28. Let d be j(-9). Does 18 divide (-3 + 1)*(d + (-130)/4)?
False
Let i = -21 + 42. Let s be (0 - -2) + 44 + 2. Let r = s - i. Is r a multiple of 9?
True
Let j be (-1)/(-2)*(-10)/(-1). Suppose -2*t = j*c + 16, 3*t - 30 = -2*t + 5*c. Suppose 2*q + 272 = 6*q - t*p, 5*q - 2*p = 341. Is q a multiple of 23?
True
Let k = 1797 + -798. Is 27 a factor of k?
True
Suppose -25*z + 5364 = 11*z. Is 17 a factor of z?
False
Let u(d) = -22*d - 8. Let q be u(4). Let f = -89 - q. Does 3 divide f?
False
Let z = 341 + 1352. Is 24 a factor of z?
False
Let w be (5 - 11)*3/(-2). Let y = 10 - w. Suppose -2*x - y = -3*t, -x - 3*t + 5 = -2*x. Does 2 divide x?
True
Let h = -156 + 229. Suppose -2*c = -3*v - 29, h = 4*c - v - 2*v. Does 6 divide c?
False
Let l(d) = -4*d**2 + d - 1. Let t be l(-2). Let n = -43 - -93. Let p = t + n. Is p a multiple of 14?
False
Let c = 59 - -573. Is 52 a factor of c?
False
Let k = -45 - -32. Is (71 - k) + (-1)/(-1)*-3 a multiple of 13?
False
Let q = 43 - 39. Suppose -4*l + q = 0, 4*k - 5*k + 2*l = -186. Is k a multiple of 11?
False
Suppose 0 = -0*i - 6*i + 462. Let n = i + -153. Let b = -11 - n. Is b a multiple of 11?
False
Let r(n) = 45*n + 9. Suppose 10 = -3*m + 16. Is 33 a factor of r(m)?
True
Let o = 3323 + -1556. Is o a multiple of 31?
True
Let x(h) = -16*h - 78. Is 18 a factor of x(-6)?
True
Suppose 3*a - 606 = 6*a. Let c = 16 - a. Let t = c + -116. Is t a multiple of 34?
True
Is 35 a factor of ((-14)/7 + 48/18)*1182?
False
Does 5 divide 20/(-90) + 4780/45?
False
Let t = -129 + 679. Is t a multiple of 22?
True
Let h = -6 - -21. Suppose -g - 41 = -q, h = g - 4*g. Is 13 a factor of q?
False
Let q(u) = -2*u**2 + 11*u - 3. Let g(n) = -n**2. Let b(i) = -5*g(i) - q(i). Let p(y) = 3*y**2 - 5*y + 1. Let z(h) = 6*b(h) - 13*p(h). Is z(4) a multiple of 16?
False
Let x(b) = 298*b**2 - 3*b - 1. Is x(-1) a multiple of 40?
False
Let u(d) = d**2 - 2*d - 17. Let a be ((-90)/27)/(2/(-6)). Does 7 divide u(a)?
True
Suppose -3*s + 7*s + 20 = -3*i, 4*s - 3*i = -20. Is 6 a factor of 2/5 - 193/s?
False
Suppose 51*b = 67*b - 2112. Is 2 a factor of b?
True
Suppose -23*l = -2347 - 13316. Is l a multiple of 62?
False
Let k(t) = 2*t**2 + 14*t + 10. Let z be k(-6). Is 17 a factor of (8/(-16))/(z/68)?
True
Suppose 2*h - 225 = 7*h. Let a = -21 - h. Is 12 a factor of a?
True
Let v = -14 - -16. Suppose 4 + 4 = -v*n + 3*g, -2*n - 4*g + 20 = 0. Is -10*(n/(-4) - 1) a multiple of 4?
False
Let l(i) = -i**2 - 5*i + 282. Does 48 divide l(-18)?
True
Suppose -4*k = g + 41 - 322, 370 = 5*k - 5*g. Is k a multiple of 16?
False
Let i = -15 + -41. Let x = i + 139. Suppose -2 - x = -5*w. Is w a multiple of 14?
False
Let c(d) = d**2 - d - 2. Let m be c(2). Suppose -20 = -4*n + y, -2*n + m*n + 20 = 2*y. Let i = n - 0. Is i a multiple of 6?
True
Let u(s) = 1133*s + 91. Is 14 a factor of u(3)?
False
Let m = 3 + 5. Suppose -4*b + 27 = -m*p + 3*p, 0 = -b + p + 6. Suppose 2*d - 50 = -b*d. Is d a multiple of 5?
True
Let r(y) = 7*y - 2*y - 8*y - 6*y + 44. Is r(-6) a multiple of 53?
False
Let n(g) = 3*g + 31. Let s be n(-24). Let r = 95 - s. Is r a multiple of 34?
True
Let u(j) = -9*j**2 + 7*j + 25. Let s(r) = 4*r**2 - 3*r - 12. Let l(i) = -7*s(i) - 3*u(i). Is l(0) a multiple of 5?
False
Suppose 0*h + 498 = 3*h. Does 7 divide h?
False
Suppose 0 = -3*r - 0*r + 12. Suppose r*y + 5 = -y. Is (5 + y)*1*14 a multiple of 14?
True
Let x(t) = t**2 + t + 4. Suppose 21*i - 20*i = -8. Does 15 divide x(i)?
True
Suppose -22*r = -20*r - 316. Let x = r + -78. Is x a multiple of 8?
True
Suppose 29 = 5*b - 3*x, x - 26 = -5*b + 3*x. Suppose 2*r + b*c - 282 = 0, r + 2*r = -2*c + 419. Is r a multiple of 33?
False
Let z(v) = -v**3 - 4*v**2 - 8*v - 4. Suppose -4*h + 21 - 1 = -4*m, 5*m = 3*h - 27. Does 38 divide z(m)?
False
Let r(k) = -k**2 - 4*k + 2. Let f be r(-4). Suppose -l + 15 = f*l. Let n(p) = 2*p**2 - 5*p - 7. Does 6 divide n(l)?
True
Let p(r) = 152*r**2 - 2*r + 7. Is 37 a factor of p(3)?
True
Let f(r) be the second derivative of r**4/6 - r**3 + 3*r**2 - 20*r. Let d be (-2)/10 - 42/(-10). Does 4 divide f(d)?
False
Let h(j) = j**3 - 8*j**2 + 6*j + 31. Is 23 a factor of h(8)?
False
Suppose n - 139 = -4*b + 825, 2*b - 488 = -2*n. Suppose 7*m - 89 = b. Does 6 divide m?
False
Suppose 0 = -0*l + 36*l - 15444. Is l a multiple of 12?
False
Suppose 6*b - 10*b + 20 = 0. Let d = 72 - b. Does 4 divide d?
False
Let p = -5 + -4. Let s(w) = -w**2 - 8*w + 6. Let i be s(p). Is 13 a factor of -1 + (2 - -25) + i?
False
Let u = -1689 + 3785. Does 58 divide u?
False
Suppose -7*r + 14 = -14*r. Is 9 a factor of r*(-84)/(-40)*-15?
True
Let y = -275 - -2610. Is 18 a factor of y?
False
Suppose -4*k - 1 - 3 = 0. Let z be (k/(-2))/(2/140). Suppose -z = -3*t + 61. Is t a multiple of 16?
True
Let t(z) = -z**2 + 16*z - 21. Let h be t(15). Let n(d) = d**2 - 5*d - 9. Does 19 divide n(h)?
True
Suppose 5*z - h = 30, 0*h - 3*h - 13 = -4*z. Let c be 4/(9/(189/(-14))). Let y = z - c. Is y a multiple of 10?
False
Let g(x) = -x**2 + x. Let a(y) = y**3 + 8*y**2 - 6*y + 4. Let f(d) = a(d) + 5*g(d). Does 11 divide f(3)?
True
Suppose -3*y + 0*y = 33. Let t = y - -16. Suppose 2*i = t*k + 25 + 8, -4*i - k + 77 = 0. Does 19 divide i?
True
Let y(m) = 4*m - 51. Does 2 divide y(25)?
False
Suppose 12*x = 14*x - 6. Suppose -2*i = 5*o - 386, 5*o - x*i - 400 = -4. Is o a multiple of 13?
True
Suppose 0 = 195*f - 210*f + 6300. Is f a multiple of 3?
True
Let b = -1212 - -1842. Is 45 a factor of b?
True
Suppose 0 = -234*o + 241*o - 7546. Does 22 divide o?
True
Let b = -4 + 6. Let h = 1 + b. Suppose d + 72 = h*r + 26, 5*r = -5*d + 50. Is r a multiple of 7?
True
Let f(c) = c**3 - 9*c**2 - 9*c - 6. Let x be f(10). Let a be 201/7 + x/14. Suppose 5*q = -5, -2*r + 5*q = -4*r + a. Does 9 divide r?
False
Suppose -92 + 312 = 2*p. Is 10 a factor of p?
True
Suppose 5*v + 5 = o + 10, 0 = 5*o - v + 25. Let q be o/(-5) - (1 - -2). Is (-1244)/(-24) + q/(-12) a multiple of 13?
True
Suppose 11*k - 5*k = -258. Let u = k - -55. Is u a multiple of 3?
True
Suppose 4*m - 2310 = -5*b, -25*m + 3*b + 2869 = -20*m. Does 34 divide m?
False
Let h(u) = -u**2 - 14*u - 12. Let q = 116 + -82. Let l = 28 - q. Is h(l) a multiple of 18?
True
Let o = 642 - 394. Is 15 a factor of o?
False
Let p(k) = -k**3 + 6*k**2 + 4*k - 8. Let x(y) = -y**2 - 4*y - 5. Let r be x(-3). Let v be r/(-8) + (-115)/(-20). Does 9 divide p(v)?
False
Suppose -8*x - 2321 + 6601 = 0. Does 39 divide x?
False
Let c(k) = 44*k - 13. Let h be c(-4). Let q = -80 - h. Is 24 a factor of q?
False
Suppose 255*n = 240*n + 83640. Does 41 divide n?
True
Suppose -2*d + 15*d = 8203. Does 4 divide d?
False
Suppose -5*y - d + 15 = 0, 0*d - 2*d = 3*y - 9. Suppose m + 4*b = 9 + 18, 4*m - 69 = -y*b. Is 5 a factor of m?
True
Suppose -3*p = 3*m - 5 - 13, -m - 10 = 5*p. Suppose -2*n - 4*d - m = 0, 3*n - 3*d - 10 = 11. Is 27 a factor of (n + 0 - 0) + 78?
True
Suppose -47263 - 13609 = -28*q. Is 54 a factor of q?
False
Let g(f) = -2*f + 20. Let c be g(5). Is 10 a factor of 141/7 + c/(-70)?
True
Is (82*18/(-48))/(9/(-24)) a multiple of 24?
False
Let j be -1 - (-4 + 6 - 3). Suppose 138 = -j*h + 2*h. Suppose -3*g + 122 = f, 231 - h = 4*g + 2*f. Is g a multiple of 9?
False
Suppose 4*q - 3*q - 3 = 0. Suppose -2*b = 2*f - q*b + 45, 4*f - 5*b + 99 = 0. Let p = 8 - f. Is p a multiple of 13?
False
Let w(a) = a**2 + 3*a + 4. Let f be 1/((-3)/15) + -2. Let o be w(f). Suppose 4*r = o + 92. Is 11 a factor of r?
False
Is (140/30)/((-1)/(-153)) a multiple of 21?
True
Let a(o) = -o**3 + 13*o**2 + 6*o - 6. Let d be a(12). Suppose d = 11*m - 6*m. Does 21 divide m?
True
Let s = -50 + 53. Suppose 3*w = -3*h + 24, -3*h + 1 + 11 = -s*w. Is h a multiple of 6?
True
Suppose -121*h = -112*h - 3375. Is 3 a factor of h?
True
Let a(w) = 2*w**3 + 4*w**2 + 4*w + 2. Let j be a(-2). Is -450*((-15)/j - 3) a multiple of 45?
True
Suppose -2*y - 440 = -4*r, r - 