 5*y**2. Let i be b(7). Let f = -30 + i. Is f a multiple of 5?
False
Let z(d) = 693*d - 30. Is z(1) a multiple of 17?
True
Let f be 1/(-2 + 4 + -3). Is 7 a factor of (-3)/f - 0 - 2120/(-40)?
True
Let t = 165 + 144. Let n = -189 + t. Does 12 divide n?
True
Let d(b) = -3*b**2 + 5*b + 30. Let r(j) = 2*j**2 - 6*j - 29. Let n(h) = -3*d(h) - 4*r(h). Does 4 divide n(-6)?
True
Suppose -240 = -5*l - 0*l. Suppose -o = 1, 0 = 2*n - 2*o - l - 66. Does 8 divide n?
True
Suppose 7*i = 4*u + 2*i, -3*u = -5*i. Suppose 5*o - 69 = -3*c, 2*o - o - 4*c = u. Does 12 divide o?
True
Suppose -o = 5*u - 134 - 173, o - 319 = -u. Is 23 a factor of o?
True
Let r(t) = -t - 11. Let y be r(-6). Let j be -1 + 2 - 5/y. Is 9 a factor of ((-240)/70)/(j/(-14))?
False
Let l(z) = -z**3 - 14*z**2 - 15*z + 14. Let a be l(-13). Does 19 divide (184/5)/(16/a)?
False
Let d(r) = -2*r + 102. Is 18 a factor of d(15)?
True
Suppose -7 = 2*f + 35. Let q = 34 + f. Is 13 a factor of q?
True
Let d be (100/(-12))/(1/(-54)). Suppose 5*a - 3*h - d = 2*h, 0 = 3*a - h - 266. Is a a multiple of 11?
True
Is 28*(3479/(-140))/(-7)*5 a multiple of 40?
False
Let t be 365 + (-4)/12*-15. Let s = 535 - t. Is 33 a factor of s?
True
Let j = -15 - -10. Is 25 a factor of (-3 - j)*(0 + 50)?
True
Is 13 a factor of (-1119464)/(-1230) - (28/(-15) - -2)?
True
Suppose -5*x - 3*p = -p - 54, 3*x + p = 33. Suppose 710 + 442 = x*g. Is 24 a factor of g?
True
Let g be 146/(-8) - (-2)/8. Let j = 15 + g. Let w = 27 - j. Is 16 a factor of w?
False
Let n(l) = l**3 + 13*l**2 + 6*l + 12. Let w be n(-12). Suppose 15*y - 2376 = w. Is 11 a factor of y?
False
Suppose -5*x = -10, 3*s - 3*x + 2*x = 670. Is s a multiple of 16?
True
Suppose 9*h = -5*b + 4*h + 200, -79 = -2*b - 3*h. Suppose 9 = -5*u + 24, -k + 5*u + b = 0. Is 28 a factor of k?
True
Let a = 14 - 8. Let z(r) = r**3 - 7*r**2 + 8*r - 6. Is 3 a factor of z(a)?
True
Suppose -14*d + 168 = -13*d. Does 28 divide d?
True
Let y be 4/10 - (-3264)/(-60). Let b = y + 166. Is b a multiple of 34?
False
Let s be 86/(49/21 + 2/(-6)). Suppose 3*n = -65 - 4. Let k = s - n. Does 24 divide k?
False
Let k = 15 - 15. Let n be 190/(20/4) - 0. Is (-2 + n - 4) + k a multiple of 10?
False
Suppose 0*t + 646 = 5*t - k, -3*k = 3. Is (-3 + t)/(4/10) a multiple of 45?
True
Let f(o) = o**3 + 3*o**2 + 3*o + 3. Let s = -17 - -15. Let u be f(s). Is (2/(-3))/(u/(-21)) a multiple of 9?
False
Let s = 117 + -191. Let w = -636 - -478. Let p = s - w. Is 22 a factor of p?
False
Let h be 40 - (-3 - 1)*18/24. Let t = -17 + h. Does 16 divide t?
False
Let a(d) = 7*d**3 - 5*d**2 - 2*d - 3*d - 14 - 8*d**3. Does 26 divide a(-6)?
True
Let j = -3225 + 5017. Is j a multiple of 12?
False
Suppose -4*j + i + 0*i + 11 = 0, -5*j + 2*i = -13. Suppose -3*c - 4*l + 494 = 0, 1 = -4*l - j. Is c a multiple of 12?
False
Is 70 a factor of (-14)/(448/(-41520))*2/3?
False
Let v be (-1 - 3)/((3/54)/1). Let o = 75 + v. Does 2 divide o?
False
Suppose 3*w - 13 = j - 3, -12 = 4*j - 5*w. Is -19 - -62 - -1*(j + -3) a multiple of 21?
True
Suppose -34*x - 1200 = -44*x. Is x a multiple of 15?
True
Let a = -16 + 21. Suppose 0 = -2*t + 4*l - 16, -t - 20 = -6*t - a*l. Suppose t = -o - 2*o + 90. Is o a multiple of 10?
True
Suppose a + 30 = 6*a. Suppose j - 9 - a = 0. Does 5 divide j?
True
Let z(w) = w**3 + 2*w**2 - w - 4. Suppose 4*x + 6 = -6. Let f be z(x). Does 13 divide 3 - (-3)/((-3)/f)?
True
Is (-232)/(-8) - (-8 - -1) a multiple of 36?
True
Let k(c) = -c**2 + 5*c - 3. Let t be k(3). Suppose 3*l + 9 = 2*s, 1 - 4 = t*l. Suppose -4*x = -8, 7*d - 234 = s*d - 3*x. Is d a multiple of 8?
False
Let k be 9*4/24*-2. Let w(c) = 11*c**2 - 4*c + 1. Does 24 divide w(k)?
False
Suppose 0 = -4*f + 2*r + 652, 5*f = -r - r + 797. Is f a multiple of 7?
True
Let s be 5/(-5) + (31 - 2). Let w be s/(5*(-4)/(-10)). Suppose 3*q + u = 19, -2*q + u + 7 = -w. Is q a multiple of 4?
True
Let f(g) = 7*g**3 - 3*g**2 + 3*g - 1. Let z be -2*((-20)/(-8) - 3) - 0. Is f(z) a multiple of 5?
False
Let p(i) = -i**3 - 6*i**2 + 5. Let z be -8 - -7 - 5*1. Let q be p(z). Suppose -q*j + 192 = 27. Is 11 a factor of j?
True
Suppose -3*f - 5*m - 57 + 274 = 0, 2*m = 2*f - 118. Suppose 0 = -5*b - 5*s + 200, -4*s = -2*b + f + 10. Is 11 a factor of b?
False
Let n = 6 - 2. Suppose -1 = -3*g + 4*z - 3*z, 4*z = -5*g - 4. Suppose 4*a = n*m + 112, 3*m + 26 = a - g*m. Is 12 a factor of a?
False
Let y be ((-4)/4)/((-5)/80). Let t = -10 - -39. Let v = t - y. Does 13 divide v?
True
Let a(g) = -g**2 - g + 5. Let d be a(-5). Let n = 10 + d. Let t(l) = -5*l - 8. Is 17 a factor of t(n)?
True
Let o be ((-3)/(-9) - 0)*9. Let u be 4 - 15*(0 + (-328)/20). Suppose -210 = -2*d + 4*q, -4*d - o*q + 170 = -u. Is 21 a factor of d?
True
Suppose 4*m - 358 = -5*y, -12*y = -8*y - 5*m - 311. Is 2 a factor of y?
True
Let s(p) = 2*p**2 + 8*p + 1. Let z be s(-4). Let i = z - 9. Let g(b) = -8*b - 14. Is g(i) a multiple of 15?
False
Let s = 16 - -10. Let f be 2*42 - (2 + -4). Let z = f - s. Does 20 divide z?
True
Suppose -11319 = -19*z + 3729. Does 9 divide z?
True
Is (11/(-2) + 1)/((-19)/76) a multiple of 18?
True
Let h be 10/(-40) - (-1)/4. Suppose 0 = -3*t + 3*r + 132, 4*t - 3*r - 19 - 158 = h. Is t a multiple of 14?
False
Let h(s) = 62*s - 40 - 21*s + 31. Does 24 divide h(6)?
False
Does 41 divide (-2 + -777)/(7*(-11)/154)?
True
Is 20/30*6/4*330 a multiple of 6?
True
Suppose 0 = -2*j - 562 + 2684. Does 10 divide j?
False
Let l be (0*(-1)/(-1))/1. Suppose 2*c - 4*d = -6, c - 3*d - d + 11 = 0. Suppose l = 3*r + c*b - 169, -115 - 102 = -4*r - 5*b. Is r a multiple of 16?
True
Suppose 2*q = -5*h - 0*h + 798, 4*h = -8. Is q a multiple of 6?
False
Suppose -20*z + 5903 = -1697. Does 34 divide z?
False
Let c(i) = i**2 + 40*i - 5. Does 15 divide c(17)?
False
Let f be 160/(-25)*(-75)/6. Suppose t = -3*t + f. Let x = t + -9. Does 11 divide x?
True
Let b = -1108 + 1729. Does 9 divide b?
True
Let w(q) = -4*q + 125. Let a(l) = -l + 25. Let j(v) = 11*a(v) - 2*w(v). Is 23 a factor of j(-7)?
True
Let s = -11 + 16. Suppose -s*m + 170 = 5*r - 0*r, 0 = -m - 3*r + 44. Is 14 a factor of m?
False
Let f be 6*4*(-3)/18. Is 26 a factor of (-52)/(f + (-35)/(-10))?
True
Let v(l) be the third derivative of -l**4/12 - 5*l**3/6 - 2*l**2. Let q(z) = z - 1. Let w(g) = 3*q(g) - v(g). Is w(5) a multiple of 9?
True
Suppose 5*h - 34 - 346 = 0. Suppose h = -j + 311. Is 47 a factor of j?
True
Suppose 6*k - 3216 + 1404 = 0. Is 14 a factor of k?
False
Is 1 + (-14)/(-7)*14 a multiple of 15?
False
Let y(d) = -18*d - 6*d - 1919 + 1884. Is 17 a factor of y(-7)?
False
Suppose -3*c = 227 - 860. Let n = c - 112. Does 9 divide n?
True
Suppose 40 = 5*r + 5*j, -23 = -4*r - 5*j + 4*j. Let z(v) = -32*v + r + 4*v + 4*v - 21*v. Is z(-2) a multiple of 27?
False
Suppose -71 = 4*a - 303. Let j = 102 - a. Is j a multiple of 22?
True
Let u(q) be the third derivative of 1/60*q**5 - 1/3*q**3 + q**2 + 0 - 1/24*q**4 + 0*q. Does 12 divide u(-6)?
False
Suppose -25*h = -19*h + 630. Let d = h - -122. Does 16 divide d?
False
Let a(n) = -696*n + 64. Is 16 a factor of a(-2)?
True
Let k(y) = -4*y**3 - 2*y**2 + 2*y. Suppose 2*b - 4 = 0, 2*i - b - 2 + 10 = 0. Is k(i) a multiple of 12?
True
Let y(d) = 4*d**3 - d**2 - d. Let f be y(-2). Let p = 51 + f. Is p a multiple of 17?
True
Suppose 11*b - 10*b = -3*s + 10910, 0 = -s - 5*b + 3646. Is s a multiple of 36?
True
Suppose 2*c - 4*l - 296 = 0, 2*c - 19*l = -20*l + 286. Does 6 divide c?
True
Let b = -57 - -59. Is 16*(b + 3 + 1) a multiple of 8?
True
Suppose -35*b + 32*b + 2*j = -12928, -b + 2*j + 4304 = 0. Does 56 divide b?
True
Suppose -t = 5*a - 139, -3*t - 2*a - 3*a + 427 = 0. Does 12 divide t?
True
Suppose -3*r + 2*r - 2 = 0, -r + 312 = p. Does 9 divide p?
False
Let r(x) = -x**3 + 14*x**2 - 5*x + 4. Let l be r(10). Suppose 3*m + 3*k = l, 4*k - 130 = -m - 0*k. Is 19 a factor of m?
True
Let h = -1015 - -1482. Does 97 divide h?
False
Let r(u) = -5*u - 7. Is 18 a factor of r(-23)?
True
Suppose m + s - 1264 = -4*m, -3*s = -3*m + 744. Is m a multiple of 13?
False
Let s(l) = 0*l + 11*l**2 - 17*l**2 - 3 - 12*l - l**3. Does 10 divide s(-6)?
False
Let b = 106 - 177. Let q = 5 - b. Is 27 a factor of q?
False
Let m(h) = 215*h**2 - h. Suppose -5*k = -0 + 5. Let x be m(k). Suppose -5*q + 2*p + p = -331, 0 = -3*q - 4*p + x. Does 17 divide q?
True
Let x be ((-8)/(-3