 factor of b?
True
Let o(p) = -p**3 - 11*p**2 + 11*p - 10. Let t be o(-12). Suppose -3*w = -a - 77 - 8, 5*w - t*a - 142 = 0. Is 7 a factor of w?
True
Suppose -5*a = -4*u + 72, -102 = -5*u - a + 17. Is 15 a factor of u?
False
Suppose 3*z - 2*z - 7 = 0. Suppose 0 = z*x + 2*x - 504. Does 7 divide x?
True
Let g(m) = m**3 - 10*m**2 + 10*m - 8. Let p be g(9). Let l(o) = 130*o**2 + o + 1. Let i be l(-1). Does 14 divide 3/6*p*i?
False
Let k = -1731 + 3092. Suppose 2*q + k = 5*n - 194, n = 5. Is (-7)/(-14) - q/6 a multiple of 32?
True
Let d = -23 - -45. Let c be 187 + (-5 - (-1 - 5)). Does 16 divide d/33 + c/6?
True
Suppose 3*l - 370 = 80. Is 4 a factor of l?
False
Let p(n) = 89*n**3 + 2*n**2 - n. Let u be p(1). Let m = 50 + u. Is m a multiple of 14?
True
Is 51 a factor of 510*(-6 + (6 - -1))?
True
Is 50 a factor of (-7)/(91/65) - -3205?
True
Suppose 2*d = -5*p + 2206, 3*d = 4*p + 4*d - 1763. Does 11 divide p?
True
Let q = -285 + 662. Is q a multiple of 10?
False
Suppose -1690 = -2*i - 4*t, 0 = i - 4*t + 3*t - 857. Is i a multiple of 76?
False
Let z = -54 - 156. Let g = -42 - z. Is 12 a factor of g?
True
Let y(z) = -z**3 + 8*z**2 - 5*z + 6. Let m(w) = 2*w + 8. Let q be m(0). Let g be y(q). Let d = -22 - g. Is d a multiple of 6?
True
Suppose -9*i - 20 = -5*i. Is (-225)/10*(52/i + 4) a multiple of 11?
False
Is 17 a factor of 14/6 - (-518)/3?
False
Let l = -37 + 41. Suppose -195 = -l*n - n. Is n a multiple of 15?
False
Suppose 491*p = 495*p - 880. Is 20 a factor of p?
True
Suppose 0 = 2*k + 2*h - 3554, k + 0*h = -3*h + 1777. Is k a multiple of 29?
False
Let q = 235 + -165. Does 11 divide q?
False
Let j(k) = k**2 - 7*k - 5. Let w be j(7). Let v be (-348)/(-10) + (-1)/w. Suppose -5*h + v = -60. Is h a multiple of 5?
False
Let j = 55 - -7. Let o be 18 - ((-16)/8 + 10). Suppose -j = -h - o. Is 13 a factor of h?
True
Let j(b) = -8*b + 130. Let s(c) = 3*c - 52. Let n(h) = 5*j(h) + 12*s(h). Is 13 a factor of n(0)?
True
Suppose -z + 7 = 2*d, -2*z + 5 - 3 = d. Is 7 a factor of 18/15*30/d?
False
Suppose 4*g - 2*w = 18 - 52, -4*g - 29 = -w. Does 14 divide ((-112)/(-6))/((-8)/g + -1)?
True
Let u(v) = v**2 - 6*v - 13. Suppose -6*s = -5*s - 8. Does 2 divide u(s)?
False
Does 17 divide (-6 - (6 - 22))/(1/43)?
False
Let n = 842 - 563. Is n a multiple of 27?
False
Suppose -o - 17 = 5*v - 8, -4*v = 4*o + 20. Let m = v - -5. Suppose 3*s + 4*z = 188, 0 = 2*s - m*z + 5*z - 122. Is 28 a factor of s?
False
Let m(x) = -x**3 + 8*x**2 - 5. Let l be 94/12 - (-8)/48. Let j be m(l). Is 10 a factor of (-4)/1*(j + 0)?
True
Let l(b) = -b**3 - 5*b**2 + 4*b - 8. Let p be l(-6). Suppose -p*g = -123 - 53. Is 11 a factor of g?
True
Suppose 6*u + p = 9*u - 503, u - 5*p = 163. Does 12 divide u?
True
Let t = -78 + 81. Suppose 268 = t*q - 47. Is 35 a factor of q?
True
Let j(q) = 2*q - 111*q**2 + 141*q**2 + 1 + 2*q. Is 9 a factor of j(-1)?
True
Let o(i) = -i**3 + 6*i**2 + 13*i + 39. Is o(-6) a multiple of 15?
False
Let z(c) = 11*c**2 - c - 2. Suppose 3*g + 14 - 8 = 0. Is 34 a factor of z(g)?
False
Suppose 0*s = 3*s - 6. Suppose 237 = h + s*h. Let c = h - 4. Does 15 divide c?
True
Is 45 a factor of 2 - (-9)/((-18)/(-986))?
True
Let z(s) = -2*s + 110. Does 29 divide z(-33)?
False
Suppose 3*f = -b + 46, 4*b - 2*f = -b + 196. Suppose 0 = 5*l + y + b - 359, -5*l + y + 321 = 0. Let t = 99 - l. Does 35 divide t?
True
Let m = 14 - 4. Suppose 5*h - 95 = -2*w, -6*h + 200 = 3*w - m*h. Is w a multiple of 6?
True
Let i(q) = q**2 + 10*q - 21. Let w be i(-12). Let b be (-238)/(-28) - w/(-2). Suppose b*p - 9*p - 9 = 0. Is p a multiple of 9?
True
Is 8 a factor of ((-24704)/(-965))/((-2)/(-20))?
True
Suppose -570 = -3*i + 831. Is 24 a factor of i?
False
Suppose 40 = -8*u + 3*u. Let m = u + 13. Suppose -4*n - q = -270, m*n + 4*q - 154 = 178. Does 17 divide n?
True
Suppose 8*u = -15*u + 7*u. Let h(b) = -b**3 - 6*b**2 + b + 6. Let r be h(-6). Suppose -2*i + r + 22 = u. Is i a multiple of 11?
True
Suppose -5*y + 0*y + 3*s = -60, -4*y + 48 = -s. Let f be (18/y)/((-2)/(-4)). Suppose 2*u = -l + 6*u - 9, -28 = -f*l + u. Does 11 divide l?
True
Let o = 1118 + -774. Suppose -3*g + 4*h - 1 - 3 = 0, g - 5*h + 5 = 0. Suppose g = -i + 2, -4*n - 5*i - 126 + o = 0. Is n a multiple of 14?
False
Suppose 86*k = 102*k - 6000. Does 5 divide k?
True
Let v(d) = -d**2 + 31*d - 39. Does 36 divide v(24)?
False
Let c(d) = 3*d - 5. Let t be c(-6). Is (1 - 2)*2*t a multiple of 23?
True
Let y(n) = -n**3 + 6 - 2 + 1 - 8*n**2 - 9*n. Let w be y(-7). Let m = w + 8. Is 9 a factor of m?
True
Suppose -4*p + 9*p + 3*d - 25 = 0, 0 = p - 3*d + 13. Let n be 16/6 - ((-6)/(-9) - 0). Suppose 2*w - 37 = -3*u - n*w, -2*u + 3*w = -p. Is u even?
False
Let m(n) = 15*n**3 + 13*n**2 - 42*n + 28. Let g(t) = 7*t**3 + 7*t**2 - 21*t + 14. Let i(u) = -13*g(u) + 6*m(u). Does 26 divide i(-15)?
False
Suppose -v - 23 = -t - 3*t, 10 = -t - 5*v. Suppose -p - 7 + 4 = 0, 0 = 2*z + t*p - 389. Is 37 a factor of z?
False
Suppose 0 = -2*d + 2*m + 8, 0 = -4*d + 3*m + 1 + 12. Let r(u) = 68*u**3 + u**2 + u - 1. Let f be r(d). Suppose l = -0*l + f. Is l a multiple of 23?
True
Suppose -v - 8262 = -4*w, 3*w + v - 6*v - 6188 = 0. Is w a multiple of 18?
False
Let d(r) = -r**3 - 7*r**2 + r + 10. Let o be d(-7). Suppose -3*f + 6 = o*j, 4*j - f + 6 = 34. Is j/(-21) + (-128)/(-7) a multiple of 5?
False
Suppose 171 = 3*i - 147. Does 8 divide i?
False
Suppose 5*a + 769 = 6529. Does 8 divide a?
True
Let l(j) = 10*j**2 + 17*j + 11. Is l(10) a multiple of 55?
False
Let r(k) = -k**3 + 5*k**2 + 6*k - 2. Let p be r(6). Let v(i) = 2*i - 7*i - 8*i - 2 + i. Is v(p) a multiple of 11?
True
Suppose 10 = -2*t - 5*q, 3*q = -2*t - t + 3. Let j(v) = 6*v - 6. Is 12 a factor of j(t)?
True
Let b(c) = 9*c + 207. Is b(-7) a multiple of 8?
True
Let m(a) = -24*a**3 + a**2 + 3*a - 1. Let w be m(2). Is 9 a factor of (-2)/3*w/2?
False
Suppose -33*o + 75200 = -o. Is o a multiple of 25?
True
Let k = -154 + 465. Let n = k + -87. Does 15 divide n?
False
Let m = -39 + 303. Suppose -2*n - n + m = 5*b, n - 71 = 4*b. Let k = n - 59. Is k a multiple of 8?
True
Does 16 divide (10 - 280/25)/((-2)/215)?
False
Suppose -5*u = -3*t + 5, -5*t + 12 = -u - 11. Suppose -t - 95 = -q. Is q a multiple of 25?
True
Let g = 4 + 13. Suppose 4*o + k = 5, o - 3*k = -3*o + g. Suppose 0 = -2*h + 3*b + 2, -2*b + 6 - o = 0. Is h even?
True
Let x = 712 - 345. Is 19 a factor of x?
False
Let r(y) = y**3 + 6*y**2 + 6*y + 6. Let l be 2*-2 + 0/(-3). Let b be r(l). Let t = -5 + b. Does 7 divide t?
False
Let f(i) = -6*i - 3. Let x(u) = -10*u - 6. Let l(k) = 13*f(k) - 6*x(k). Is 21 a factor of l(-6)?
True
Is 21/((-30)/(-10))*(81 + -2) a multiple of 79?
True
Does 17 divide 199 - (-11)/(-22)*-14?
False
Let a be (-5 - -145)/(2/(-4)). Let h = -190 - a. Does 30 divide h?
True
Suppose -b + 1905 = -4*t, -107*t = -5*b - 111*t + 9645. Is 50 a factor of b?
False
Let l(a) = -4*a + 22. Let q be l(13). Let z = -47 - q. Let m = 57 - z. Is m a multiple of 9?
False
Let s(a) = 3*a**2 - 5*a - 24. Is 22 a factor of s(-9)?
True
Let q(d) = -d**2 + 9*d - 5. Let j be q(8). Suppose 99 = j*x - 6. Is x a multiple of 7?
True
Suppose -6*t + 106 + 8 = 0. Is 15 a factor of t + -2 - 1/(0 - -1)?
False
Suppose 0 = 2*n - 13*n - 1188. Is 4 a factor of 4/14 + n/(-14)?
True
Let f be (3 - 385/15) + 4/6. Let a(u) = -u**3 - 23*u**2 - 26*u - 19. Is a(f) a multiple of 23?
True
Let u(a) = 3*a**2 - 2*a + 17. Let j be u(-8). Does 10 divide (18/(-5))/((-9)/j)?
True
Suppose 8 = -n + 5*n. Suppose -16 = n*p - 216. Does 25 divide p?
True
Suppose l - 6 = -l. Suppose 3*k - 308 = 4*v, -383 = -l*k - 3*v - 110. Does 12 divide k?
True
Suppose l = -3*l. Suppose -m + 6*m = l. Suppose -v + 0*v + 21 = m. Does 21 divide v?
True
Suppose 0 = -o + 482 - 296. Is o a multiple of 31?
True
Let r = 81 - 104. Is 4 a factor of (-6)/2*(r - 4)?
False
Suppose -4*y = 3*y - 49. Let o = y + 29. Is o a multiple of 9?
True
Let c(u) = 2*u**3 - 18*u**2 + 9*u + 12. Let o be c(9). Let j = o + -51. Is 11 a factor of j?
False
Let c be (-608)/20 - (-6)/(-10). Let i be 4/(-20) + c/(-5). Suppose 0 = i*h - 66 - 18. Is 14 a factor of h?
True
Suppose 4*c + g - 21 = -2*g, -4*c = -3*g - 27. Suppose -5*j + o - 6 = -o, 0 = 2*j - 2*o + c. Is 5 a factor of 5 - -1*(j + 1)?
False
Suppose 11*v - 9*v - 2834 = -5*o, 0 = v + 3. Is o a multiple of 48?
False
L