9*h**2 + 13*h - 3. Let u be a(-6). Let m = -47 + u. Is 19 a factor of (m/25)/(6/(-285))?
True
Let n = 60 - 40. Is 13 a factor of (-199)/(-4) + (-15)/n?
False
Let r = -912 - -407. Does 24 divide r/(-3) + (-8 - -5)/9?
True
Let z = -71 + 71. Suppose z = -o + 30 + 18. Does 5 divide o?
False
Let g be (-1*1)/(2/(-16)). Let f = 8 - g. Suppose f = -5*v + 4*n + 62, 0 = v + 3*v + 2*n - 60. Is v a multiple of 14?
True
Let s(n) = -40*n - 17. Let w be s(-7). Suppose -4*o + 262 = c + c, 3*o = -2*c + w. Does 32 divide c?
False
Let v(l) = l**3 - 6*l**2 - 7*l + 3. Let n be v(7). Suppose 0 = 5*b - 2*h - 806, -4*b = -n*h + h - 646. Is b a multiple of 40?
True
Let s(k) = -k - 1. Let h(x) = -9*x + 7. Let v(r) = h(r) + 5*s(r). Does 16 divide v(-1)?
True
Let r(f) be the first derivative of -4*f**2 - 65*f - 2. Is r(-26) a multiple of 13?
True
Is (-124)/(-1 + -3 + 529/138) a multiple of 8?
True
Let c = 6 + -1. Let d be 12/30 - (-118)/c. Suppose 2*z - 4*z + d = 0. Is 12 a factor of z?
True
Let q = -71 - -138. Suppose 0*k + q = 4*k - i, -k - 5*i = -1. Is k a multiple of 4?
True
Let h(v) = -2*v + 18. Let o be h(9). Is 6 a factor of 13 - (o - 1)/(-1)?
True
Suppose 5*r + 2*m = r + 52, -4*m = r - 20. Suppose h - 22 = -r. Is h a multiple of 5?
True
Let o = 31 + -25. Suppose o*v = -2*v + 1168. Is v a multiple of 31?
False
Suppose 124 = -5*f + f. Let p = 19 + f. Does 11 divide (33/p)/((-3)/36)?
True
Suppose 93 = 14*s - 2707. Is s a multiple of 16?
False
Let n(v) = -3*v**3 + v**2 + v - 1. Let k(p) = p**3 - p**2 + p. Let d(s) = 2*k(s) + n(s). Suppose 0 = 4*l - 5*f + 6, f + 2*f + 14 = -2*l. Does 8 divide d(l)?
False
Does 13 divide (-1326)/(-68)*(-76)/(-3)?
True
Let b = 47 + 142. Does 14 divide (-2 + 40/12)/(2/b)?
True
Let w be 4 - (-3 + 2)/1. Let q be (12/w)/6*695. Suppose -5*j + 284 = -j - 4*a, -2*a + q = 4*j. Is j a multiple of 10?
True
Suppose -4*k = 0, -36 + 1 = 5*o - k. Is 3 a factor of (0/(-2) + o)*(0 - 4)?
False
Let g(x) = x**3 - 36*x**2 + 75*x - 55. Is g(34) a multiple of 14?
False
Let v = -26 - -450. Is 15 a factor of v?
False
Suppose 2*q - 18 = -4*z, -2*z + 7 = -z + q. Is (-3 - 2)*(1 - z) even?
False
Let w = 22 + 689. Suppose -5*s = -w + 191. Does 52 divide s?
True
Let g(l) = 3*l**2 + 3*l - 18. Let k be g(-6). Suppose 0 = 2*y + k + 36. Let m = -12 - y. Is m a multiple of 21?
True
Let g be (5 - 108) + -1 + 4. Does 12 divide -3 - 4 - -3 - g?
True
Suppose 31*p - 23*p - 720 = 0. Is p a multiple of 20?
False
Suppose 0*d - 14 = -3*d - 4*m, 0 = -3*d + 3*m. Let b(j) = 2*j. Let s be b(d). Suppose 29 + 179 = s*v. Is v a multiple of 13?
True
Let o = 24 + 237. Suppose 0 = -5*l + 4*a + o - 111, 3*a - 30 = -l. Let d = l - 8. Is d a multiple of 11?
True
Suppose -35*q = -40*q + 330. Suppose q = 2*u + 16. Is 5 a factor of u?
True
Let f(h) = 2*h**2 + 3*h. Let o be f(-2). Let x(r) = 7*r**2 - 2*r. Is 6 a factor of x(o)?
True
Let a(w) = 129*w**2 - 2*w. Let p be a(1). Let j = p - 62. Is j a multiple of 13?
True
Let j(d) = -d**3 - d**2 + d + 5. Let v be j(0). Let h(w) = w + 0*w + 6 - 2 + w**2 + 2*w. Is 14 a factor of h(v)?
False
Let b = -2365 + 4261. Is b a multiple of 12?
True
Suppose 0 = -28*z + 26*z + 2270. Does 24 divide z?
False
Let m be (-1 - 54)*(3 - 1). Let h = 184 + m. Is 20 a factor of 2/(2/h*2)?
False
Suppose 5*i - 9*i + 48 = 0. Let z = 17 - i. Suppose z*b - 4*r = 21, b + 5*r = -b + 15. Does 5 divide b?
True
Let b = -109 - -113. Does 10 divide 72 - (b - 3 - -1)?
True
Suppose 15*m = -0*m + 975. Does 17 divide m?
False
Suppose 0*u + 3*u = 18. Let g(c) = c + 14. Let l be g(-6). Suppose -u = 3*f, 0 = 2*o - 3*f - l - 46. Is 17 a factor of o?
False
Let c(m) = 29*m**3 + 2*m**2 - 1. Let p be c(1). Suppose -1938 = -p*s + 24*s. Is s a multiple of 54?
False
Let i(f) be the first derivative of 2*f**3/3 - 19*f**2/2 - 27*f - 6. Is 6 a factor of i(14)?
False
Let g(h) be the first derivative of -2*h**3/3 - 15*h**2/2 - 3*h + 29. Let w(c) = -c**3 + 7*c**2 - 2*c + 8. Let k be w(7). Does 5 divide g(k)?
True
Let f = 155 + 7. Is f a multiple of 54?
True
Suppose 0 = -37*z + 2609 + 36130. Is z a multiple of 31?
False
Suppose -5*t - 10 = -2*w + 28, -4*w = -2*t - 92. Let v = w - -6. Does 6 divide v?
True
Suppose -5*v + 2*d - 10224 = -0*v, 2*d = 4*v + 8180. Does 11 divide v/(-30) + (-10)/75?
False
Suppose 979 - 94 = p. Suppose -k = -2*a + 484 - 45, -4*a - 5*k + p = 0. Does 11 divide a?
True
Let c be 9/4 + 33/44. Let f be (-3)/(-9) - (-32)/c. Suppose -5*g = -f - 19. Is g a multiple of 6?
True
Let l = 15 + -14. Is 7 a factor of -4 + l*(-18)/(-1)?
True
Suppose -2*y - 19 = 5*x, x = 4*y - 3*x - 32. Let q be (11 - y) + -3 - 3. Suppose -q*t = -30 - 10. Is t a multiple of 12?
False
Is 76 a factor of -9 + 17 - (-1956)/2?
False
Let r = 715 - 229. Does 48 divide r?
False
Let o(w) = -w**2 + 2*w + 7. Let u be o(0). Suppose u*n + 23 = 450. Does 28 divide n?
False
Suppose l + 50 = -2*n, 42 = -2*n - 0*l - 3*l. Is ((-42)/9)/(3/n) a multiple of 7?
True
Let h(p) = p**3 - 15*p**2 + 16*p - 10. Let w be h(14). Does 17 divide 414/8 - w/24?
True
Suppose 2*q + 9*m - 1039 = 6*m, -5*q + 5*m = -2585. Does 56 divide q?
False
Let x = -14 + 29. Let c = -12 + x. Suppose -15 = -g - c. Does 7 divide g?
False
Suppose -3*k = 4*k + 147. Let q = k - -22. Is -2*((-32 - -1) + q) a multiple of 9?
False
Let v(t) = -t**3 + 3*t**2 + 5*t - 4. Let i be v(4). Is 37 + i - (-4 - (-1 + -4)) a multiple of 9?
True
Suppose 214 + 8 = 3*l. Suppose 3*s - 109 = l. Is s a multiple of 13?
False
Let c be 288/5 - 3/5. Let o(b) = 4*b - 15. Let f be o(5). Suppose -f*u + 267 = c. Is 12 a factor of u?
False
Suppose 79*t - 11056 = 12960. Does 38 divide t?
True
Let j(n) = n**3 + 7*n**2 - n - 5. Let t be j(-7). Suppose 2*l = b + 2, 0*b - b + 5*l = t. Let r(i) = 4*i**2 + 3*i + 2. Is 12 a factor of r(b)?
True
Suppose -3*r + 5 = 2*r. Let s(y) = 3*y - y - y + y**2 + r. Is 10 a factor of s(4)?
False
Is 7 a factor of -3*516/18*(-1)/1?
False
Let r = 507 + 472. Is r a multiple of 89?
True
Let o be ((-45)/(-10))/(-9)*0. Suppose d - 106 = -2*k - 2*d, -2*d = o. Does 7 divide k?
False
Let l(i) = -11*i - 46. Suppose -t + 6 = -5*n - 34, -n - 14 = t. Is 14 a factor of l(n)?
False
Let c(n) = 62*n**2 - 18*n - 41. Is c(-2) a multiple of 70?
False
Is 9 a factor of (-4)/(-52) - (-4596)/78?
False
Suppose 66*m - 62035 - 34985 = 0. Is m a multiple of 14?
True
Let r(d) = -2*d + 0*d + 3*d + 12*d**2 - 3*d**2. Let w be r(-1). Suppose 0 = 4*i - 4*l - 16 - 140, 2*l = -w. Does 22 divide i?
False
Does 40 divide 234 + (4 - 8/(-4))?
True
Let p = 23 + -7. Let v(s) be the first derivative of -s**3/3 + 21*s**2/2 - 21*s + 28. Is v(p) a multiple of 11?
False
Let l = -1383 - -2704. Does 71 divide l?
False
Let r(g) = -g**3 + 12*g**2 - 7*g + 14. Let t be r(7). Let w = -135 + t. Is 25 a factor of w?
True
Let h(c) = 176*c - 33. Does 15 divide h(3)?
True
Let h(m) = 20*m + 60. Is 63 a factor of h(39)?
False
Let g(o) = 2*o**3 + 4*o**2 - 76*o - 2. Does 21 divide g(8)?
False
Let f(s) = 3*s**2 + 12*s + 47. Is 14 a factor of f(-9)?
True
Let h(w) = 3*w**3 + 2*w**2 - 3*w - 10. Is h(5) a multiple of 50?
True
Suppose 0 = 5*r + p - 25, 3*r = p - 3*p + 8. Let q = r - -28. Does 17 divide q/(-1)*1*-2?
True
Suppose 4*x + 2*d - 422 = 0, 0 = -x + 4*d + d + 133. Is 18 a factor of x?
True
Suppose 0 = 2*a + 4*a - 1728. Does 8 divide a?
True
Let i = 18 - 11. Let o = i - 6. Let u(d) = 43*d**2 + d. Is 17 a factor of u(o)?
False
Let j = 878 + -428. Does 3 divide j?
True
Let x = -14 + 24. Suppose -2*i + x = 3*i. Suppose 3*b + 5*y = 11, -3*y - 51 = -i*b - b. Is 10 a factor of b?
False
Let b be (-75)/30*(-8)/(-5). Let j(d) = 3*d**2 + 5*d**2 + 0*d + d - 5 + 2*d. Is 16 a factor of j(b)?
False
Suppose -7*n + 12 = -4*n. Suppose x - 495 = -n*x + 4*z, -2*x + 2*z + 198 = 0. Does 33 divide x?
True
Let z(n) = -4*n**3 - 4*n**2 - 6*n - 5. Let j be z(-2). Let x = j + -19. Suppose -x*l + 12 = -0, r - 2*l = 34. Is 8 a factor of r?
True
Suppose 0 = 3*l - 2 - 4. Let u = 28 - l. Suppose -u = -4*q + 102. Is 10 a factor of q?
False
Let d = -77 + 89. Let b = d + 3. Does 15 divide b?
True
Let d = 8 - 3. Let v(p) = p + 2*p + 48 - 90 + 30 + 5*p. Does 7 divide v(d)?
True
Suppose -3*n + 106 = 22. Let l = 1 + n. Does 14 divide l?
False
Let f be -7 - (-2 - (3 + -4)). Let d be (8/f)/(1/(-3)). Suppose 2*n + n = 5*o - 50, 3*o = d*n + 19. Is 13 a factor of o?
True
Let c