t a be 1 + (12/(-2))/2. Is ((-11)/a)/(c/36) a multiple of 15?
False
Suppose 4*a - 4*y = -a + 1929, -4*a + 1543 = -3*y. Is 55 a factor of a?
True
Let i(k) = k**2 + 2*k - 3. Let y be i(-2). Is 51 a factor of (4 - (4 - y))*678/(-9)?
False
Suppose 2*i + k - 3 = 0, 4*i - 16 = 2*k - 6. Suppose -3*r + 3*t + 60 = 0, -i*r - t + 42 = -2*t. Is r a multiple of 17?
False
Suppose 184 = -2*n - 2*n. Let k = n - -35. Let t = k + 42. Does 6 divide t?
False
Let a(u) = -5*u**3 - 5*u**2 - 11*u - 10. Does 49 divide a(-6)?
False
Let m(r) = r**3 - 19*r**2 + 4*r - 46. Does 13 divide m(20)?
False
Let x(y) = y**3 + 12*y**2 - 12*y + 15. Let c be x(-13). Suppose -130 = -4*f + c*o, 0 = -5*f - 2*o + 3*o + 167. Is 4 a factor of f?
False
Let g(p) = -p - 31. Let f be g(0). Let k = 7 + -42. Let v = f - k. Is v a multiple of 4?
True
Is 19 a factor of (-8)/(-10) - 1449092/(-460)?
False
Let s(q) = -2*q**2 - 6*q - 3. Let f be s(-7). Let m = f + 94. Let t = -18 + m. Is 8 a factor of t?
False
Let q(a) = -a**2 - a. Let w(f) = f**3 + 2*f**2 + 6*f + 16. Let g(z) = 5*q(z) + w(z). Is 13 a factor of g(0)?
False
Suppose 2*x - 69 = 2*i + 25, -4*x + 2*i + 178 = 0. Suppose 0 = -x*y + 47*y - 125. Does 7 divide y?
False
Suppose 216*i - 225*i = -25920. Is i a multiple of 15?
True
Suppose -c + 5*d + 136 = 25, 5*d + 247 = 2*c. Does 10 divide c?
False
Let n = 508 + -60. Suppose 5*p - n = p. Is p a multiple of 28?
True
Suppose 4*a = 2*g - 656, 2*g + 3*a = g + 348. Is g a multiple of 14?
True
Let w be 1*(-4 - -24 - 1). Suppose 3*x + 4 = -3*c - 5, -w = -2*c + 3*x. Suppose 27 = 5*f - l, 0 = -c*l + 2 + 4. Is 4 a factor of f?
False
Suppose -43*v = -38*v - 710. Is v a multiple of 33?
False
Suppose -14*g - 5 = -15*g. Suppose g*l - 194 = -3*v + 327, -527 = -5*l - v. Is 6 a factor of l?
False
Let d be -7 - (-2 + 6/(-3)). Let f be d + 12 + (3 - 4). Let z(g) = 10*g - 17. Does 21 divide z(f)?
True
Let y(q) = -9*q**3 - 25*q**2 - 39*q - 24. Let g(d) = 4*d**3 + 12*d**2 + 19*d + 12. Let x(j) = 7*g(j) + 3*y(j). Is x(-6) a multiple of 6?
True
Let v = -61 + 64. Does 7 divide 52 - (3 - (v + -4))?
False
Suppose 0 = 2*p + 8*p - 30. Suppose 0 = -4*g - 5*q + 586, p*g - 5*g + q + 286 = 0. Is g a multiple of 18?
True
Let h(v) = -v**3 + 7*v**2 + 47*v + 2. Is 43 a factor of h(10)?
True
Let g(c) = c**2 + 6*c + 10. Let a(x) = x**2 + 2*x + 2. Let q be a(0). Suppose -2*m - 22 = -0*w - q*w, -2*m - 16 = 4*w. Is g(m) a multiple of 25?
True
Let y(w) = -w**2 - 6*w + 34. Is y(-7) a multiple of 7?
False
Suppose 2*v - 302 = -v + 4*t, -t + 194 = 2*v. Let s = 30 + v. Does 16 divide s?
True
Let a(n) = -n**3 - 2*n**2 - 2*n - 7. Let d be a(-8). Let q = 588 - d. Suppose u = 6*u - q. Is 13 a factor of u?
True
Let s be 60/(-18)*(-3)/2. Suppose s = 4*z + 25, -3*k = 3*z - 363. Suppose -5*j = -8*j + k. Is j a multiple of 18?
False
Let j(c) = -c**2 + 4*c - 3. Let t be j(2). Suppose -3*o + 2*n - 2 = 0, 2*o - 4*n + 0*n = 4. Is 52 + t/o*0 a multiple of 26?
True
Suppose 4*h + h = -300. Let w = h + 17. Let z = -22 - w. Is 21 a factor of z?
True
Let v be -5*16/(-100)*-5. Does 15 divide v/6 - (-627)/9?
False
Let g(z) = -4*z - 6. Let m = 27 - 47. Does 15 divide g(m)?
False
Let z be 136/(-12) + (-4)/6. Let a = z + 15. Suppose -2*x + 5*x = 5*b + 38, -5*x + a*b + 42 = 0. Does 3 divide x?
True
Suppose -5*i - 2*u = -3702, 7*u - 2224 = -3*i + 3*u. Is 24 a factor of i?
False
Does 37 divide (-1090)/(-15)*(28/8 + -2)?
False
Let f be 2/(-4) - (-4432)/32. Let v = 195 - f. Is v a multiple of 9?
False
Is 4 + (-80)/((-3)/(5 + 1)) a multiple of 14?
False
Let k(l) = 8*l**2 + 5*l - 4. Let p be k(-4). Suppose 0 = 2*g + 3*x - 106, -g + 4*x - p = -3*g. Is 8 a factor of g?
True
Suppose 0 = 2*p + 6 + 4. Let t(a) be the second derivative of -a**4/12 - a**3 + 3*a**2 + 6*a. Is t(p) a multiple of 11?
True
Let j = 1099 - 938. Is j a multiple of 44?
False
Let w = 57 - 46. Suppose 0 = w*y - 2*y - 396. Is y a multiple of 37?
False
Suppose -6*v - 11320 = -46*v. Does 9 divide v?
False
Suppose 0 = -50*v + 59*v - 25416. Is v a multiple of 10?
False
Let a = -7 - 0. Let l = a - -12. Does 5 divide l?
True
Suppose 0 = -c - 5*c + 258. Suppose 5*d = -2*u + c, -22 + 112 = 3*u - d. Is u a multiple of 5?
False
Let d = 2831 - 1828. Does 17 divide d?
True
Suppose 0 = 2*y - 4*l - 3612, 4*y + 4*l - 457 = 6731. Does 24 divide y?
True
Suppose 8*j = 5*j + 12. Suppose -j*g + 37 + 83 = 0. Does 5 divide g?
True
Suppose 12*g - 14*g + 8968 = 2*m, -2*g = 4*m - 17936. Is m a multiple of 76?
True
Suppose 217 = 3*i + 2*f - 3, -4*f = -4*i + 300. Does 26 divide 21/9*(5 + i + -1)?
True
Let o(t) = -16*t - 26. Let r(s) = 3*s + 5. Let h(x) = 6*o(x) + 33*r(x). Is h(6) a multiple of 19?
False
Let t be 160/(-8)*(-3)/3. Let p = 24 - t. Is 4 a factor of p?
True
Suppose 0 = 3*m + 5*m + 16. Let g(c) = -30*c - 4. Is g(m) a multiple of 8?
True
Let n = 29 + 195. Is n a multiple of 8?
True
Let u(g) = -g**3 + 6*g**2 + 5*g + 5. Let l be u(7). Let x = -7 - l. Suppose -x*v + 182 = 38. Does 24 divide v?
True
Let g(a) be the second derivative of -5*a**3/6 - 33*a**2/2 - 16*a. Is g(-11) a multiple of 8?
False
Suppose -229 + 73 = 3*y. Let u = y - -67. Does 4 divide u?
False
Suppose 15*a - 16*a + 179 = -n, -2*a + n = -363. Is 8 a factor of a?
True
Is (24/5 - 4)/(6/1005) a multiple of 10?
False
Is (-32)/12*(-1)/((-16)/(-588)) a multiple of 20?
False
Let f(a) = -3*a**2 - 52*a - 2. Does 7 divide f(-13)?
False
Let k(c) = 9*c**2 + 1. Let x be k(-1). Let b = x + -8. Suppose 3*m - 14 - 11 = f, -b*m = 5*f - 45. Does 10 divide m?
True
Let k = 812 + -132. Does 5 divide k?
True
Is 43 a factor of (172/20*5)/(1/9)?
True
Let i(d) = -6*d + 0*d**2 + 3*d - 15 - 4*d**2 - 4*d**2. Let v be i(-13). Is 15 a factor of v/(-44) + 2/(-11)?
True
Let m(o) = -o**2 - 8*o - 20. Let f be m(-12). Let c = f + 24. Let p = -12 - c. Does 8 divide p?
True
Let w(k) = 4*k + 56. Let u be w(0). Suppose 16*l - 17*l = -u. Is 8 a factor of l?
True
Let n(x) = 8*x. Suppose 11*t + 4 = 15*t. Let r be n(t). Let c(f) = 2*f**2 - 10*f + 8. Is 24 a factor of c(r)?
False
Let j(o) = -10*o + 895. Is 31 a factor of j(45)?
False
Let a be 154/33*(42/(-4))/1. Let f = 161 - a. Does 14 divide f?
True
Let t = -51 - -82. Suppose -o + 18 = 4*c - t, 4*o + 3*c = 157. Does 3 divide o?
False
Suppose 2*n = 4*k - 2680, 2*n = k + 109 - 782. Is k a multiple of 8?
False
Let a = -176 + 226. Suppose -6*q + 178 = -a. Is q a multiple of 19?
True
Suppose 0 = -2*w - 4*i + 40, 5*w - 130 = -0*w - 4*i. Suppose 3*n = -3*n + w. Suppose n*o = -2*r + 103, -106 = -3*r - 4*o + 31. Is r a multiple of 27?
False
Let z(b) = b + 22. Let o be z(-19). Suppose 6*w - o*w - 96 = 0. Is w a multiple of 8?
True
Suppose 4*r + r = 2*t - 135, 0 = t - 5*r - 65. Is 7 a factor of t?
True
Let o be 43722/273 - 2/13. Suppose -8*i + 6*i + o = 0. Is 4 a factor of i?
True
Let l(u) = u**2 + u + 18. Let x be l(0). Let n = -31 + 68. Let a = n - x. Does 4 divide a?
False
Suppose 7*x - 4*x = 960. Suppose 5*t = -i + 770, 2*t + 0*t = 2*i + x. Suppose -5*d = s - 288, 3*d - 9 - t = -5*s. Is d a multiple of 29?
True
Let q(g) = -g**2 + 20*g - 1. Let z be 75/20*(-1 - -5). Does 8 divide q(z)?
False
Let i be -1 - (-2 + 1 - 2). Let q(k) = k - 1. Let v be q(6). Suppose 40 = v*z + 5*l, -i*z - z + 39 = -2*l. Does 6 divide z?
False
Suppose 11*i - 4*i = 1680. Is i a multiple of 8?
True
Suppose -2*k = -2*c + 198, 180 = 4*c - k - 222. Let z = c + -71. Does 12 divide z?
False
Is 7 a factor of 1/(3/1515) + (-5)/5?
True
Let f(g) = g**2 + 5*g + 193. Is 7 a factor of f(-17)?
False
Let u = -11 - -12. Suppose s - 5*w + 13 = 0, 3*s - w + u = 2*s. Is (38/(-6))/(s/(-12)) a multiple of 9?
False
Suppose 0 = 4*g - 1163 + 179. Suppose -z + g = -0*z - 4*q, -q = 3*z - 699. Is 15 a factor of z?
False
Let k = 96 + -92. Let o(s) be the first derivative of s**2/2 + 5*s + 1. Does 3 divide o(k)?
True
Let o be (-1*15/(-3))/1. Suppose -3*g = -5*n - 2*g + 13, 0 = -2*n - o*g + 16. Suppose -3*a - 2*a = -n*p + 115, 3*a = -p + 57. Does 10 divide p?
False
Let g(z) = -z**3 - 6*z**2 + 4. Let h be g(-6). Let c be (-1 + -2 + -12)*-1. Suppose 5*b = h*b + 4*a + 15, 5*a = b - c. Is 14 a factor of b?
False
Suppose 0 = 86*j - 62493 - 12585. Is j a multiple of 38?
False
Suppose 3*f + 5 = -43. Is 8 a factor of (-3*10)/(12/f)?
True
Let c = 1474 - 1384. Does 10 divide c?
True
Let i(r) = 27*r. Let s be i(5). Suppose