10*a**2 + 7*a - 3. Let w(h) = -7*l(h) - 2*v(h). Is 15 a factor of w(-8)?
True
Let z(d) = -167*d + 3. Is 5 a factor of z(-1)?
True
Let w(b) = b. Let d(m) = -39*m + 1. Let f(x) = -d(x) - 4*w(x). Is f(5) a multiple of 29?
True
Suppose q + 4295 = 2*t, 7*t + 4*q + 10742 = 12*t. Is t a multiple of 61?
False
Let l be (3/(-12))/((-3)/228). Suppose -s + 3*n = -n - l, 0 = 2*s + 3*n + 6. Suppose -2*z + s*k - 1 + 94 = 0, z - 2*k = 47. Is 15 a factor of z?
True
Suppose 4*o - 2*x = -1094, -3*o - 3*x - 122 = 721. Is 42 a factor of (o/(-5))/((-1)/(-5))?
False
Let h(d) = 76*d - 446. Is h(22) a multiple of 20?
False
Let i(p) = p + 8. Let v be i(-9). Let b be (v/(-1))/(1/(-3)). Does 6 divide b/(-4) + 21/4?
True
Suppose 38880 = -2*k + 26*k. Is k a multiple of 16?
False
Suppose -10*n + 12*n = -f + 6023, n - 2*f - 3004 = 0. Is 35 a factor of n?
True
Let h be (-2)/5 - 18/5. Let r(f) = 4*f**2 - 4*f - 5. Let p be r(h). Suppose 4*w - 29 = j + p, 78 = 3*w + 3*j. Is 13 a factor of w?
True
Is 5 a factor of ((-70)/(-7))/(3*2/129)?
True
Suppose 4*k - 533 - 779 = 0. Does 20 divide k?
False
Let m = -1 - 3. Let i be m*(-3)/2 + -3. Suppose 7 + 33 = s + 4*p, i*p = -6. Does 16 divide s?
True
Let u(i) = -2*i**2 - 22*i - 17. Let h be u(-10). Suppose 0 = 2*q - 6*q - f + 187, h*q = f + 142. Is 47 a factor of q?
True
Suppose -3597 = -4*f + 2*a - a, -f + 3*a + 891 = 0. Is 30 a factor of f?
True
Let k(a) = 14*a**2 - 3*a - 10. Is k(-6) a multiple of 16?
True
Let j(i) = i. Let w(b) = 3*b + 8. Let a(z) = -4*j(z) + w(z). Let h be a(4). Suppose 2*p - h*q + 0*q = 44, -66 = -3*p + 2*q. Does 11 divide p?
True
Let h(t) = t**3 + 14*t**2 - 9*t - 1. Is 5 a factor of h(-14)?
True
Suppose -83*v = -474225 + 129028. Is v a multiple of 106?
False
Let c = -47 + -55. Suppose -12 = -4*s, 5*m - 588 - 138 = 3*s. Let d = c + m. Is 19 a factor of d?
False
Let v(d) = -d**2 - 26*d - 14. Suppose -2*k - 5*x = 31, -3*x - 28 - 23 = 3*k. Is 26 a factor of v(k)?
True
Let o = -1193 + 1720. Does 48 divide o?
False
Suppose -3*u + 141 = 3*q, 3*u = -4*q + 157 - 21. Is u a multiple of 13?
True
Let c = -21 - -21. Suppose 5 = x - 3*h - 11, c = x - 2*h - 19. Is 5 a factor of x?
True
Suppose u = 4, 6*s - u - 1436 = 2*s. Does 3 divide s?
True
Let x = -29 - -21. Let r be 42/x - (-2)/8. Let h = 29 + r. Is 21 a factor of h?
False
Let s = -89 - -91. Let j be 0 - (-1 + -2) - -2. Suppose 0 = -2*u - s*i + 18, -5*u + j*i = -0*i - 45. Does 4 divide u?
False
Let f(b) = -214*b - 180. Is 28 a factor of f(-10)?
True
Let q(y) be the second derivative of -47*y**3/3 - 13*y**2 + 45*y. Is q(-4) a multiple of 54?
False
Let b(x) = -3*x**3 + 2*x**2 - 11*x - 21. Is b(-6) a multiple of 15?
True
Let x(u) = 15*u**2 - u. Let n be x(1). Let v = 19 - n. Suppose 38 = -v*b + 6*b. Is b a multiple of 19?
True
Let m(l) be the third derivative of 0*l + 7*l**2 + 0 + 1/12*l**6 - 1/6*l**3 - 1/6*l**4 + 1/60*l**5. Is 25 a factor of m(2)?
True
Let i = -356 - -395. Does 20 divide i?
False
Suppose 4*m - 19 = -3*h + 151, 6 = 3*m. Suppose 186 = 4*n + h. Is n a multiple of 11?
True
Let s be -3 + -1*(-292)/(7 - 3). Let t = s - 42. Is 14 a factor of t?
True
Let u(f) = f - 12. Suppose -2*s + 28 = 4*o, -3*o + 4*o + 5 = s. Let p be u(s). Let y = p + 31. Is 14 a factor of y?
False
Let o = -189 + 405. Is (o/10 + (-24)/60)*15 a multiple of 53?
True
Let j = -83 + 129. Let n = 81 - j. Does 9 divide n?
False
Suppose -46 = -w + 10. Suppose 5*t = w + 29. Is 17 a factor of t?
True
Suppose 11*z = 10*z + 325. Is 13 a factor of z?
True
Suppose 35*l - 39*l + 2508 = 0. Does 31 divide l?
False
Let j(r) = -r**3 + 9*r**2 + 11*r + 7. Let h be j(10). Let u = h - -94. Suppose -13*k + u = -10*k. Is 25 a factor of k?
False
Does 20 divide (143946/63)/11 - (-2)/7?
False
Suppose 6*o - 4*o = 26. Suppose -6*w - 385 = -o*w. Is 6 a factor of w?
False
Let w = 266 - 152. Is 38 a factor of w?
True
Suppose -x = 7 - 1. Let u(v) = v + 6. Let w be u(x). Let n(c) = c**2 + 18. Does 7 divide n(w)?
False
Suppose 5*t = -a + 4*t, -3*t + 6 = 5*a. Suppose 5*r - a*l = -3 + 30, -3*r + 1 = 2*l. Is r a multiple of 2?
False
Let l(i) = -2*i + 10. Let n be l(3). Suppose q - 220 = -n*m, 5*m + 2*q + q - 282 = 0. Let s = m + -9. Is s a multiple of 12?
False
Suppose -4*k - 2 = 5*x - 1, k = -3*x - 9. Let c = -45 + k. Let n = 69 + c. Is 5 a factor of n?
True
Suppose -4*h = -143 - 25. Suppose 0 = -2*c - 11 - 7. Let j = h + c. Does 23 divide j?
False
Is 235/((-1)/(-6)*2) a multiple of 75?
False
Let s(d) = -3*d - 15. Let y be s(9). Let m = -17 - y. Does 5 divide m?
True
Suppose -3*j - 34 = 5*o, 0 = 2*o - 0 + 10. Let n(t) = -9*t**3 + t**2. Let s be n(-1). Is 24*(-3 - s/j) a multiple of 3?
False
Let u(p) = p**2 - p + 186. Let s be 0/(4 - 2/1). Does 21 divide u(s)?
False
Let p(z) = -56*z - 47. Let x be p(-9). Let r = x + -306. Is r a multiple of 24?
False
Suppose 3*y + 5*k = 46, 0*y - 31 = -3*y - 2*k. Suppose 4 = y*u - 9*u. Is 2*(u - -1) - -33 a multiple of 18?
False
Suppose 0 = 4*l + 5 - 17. Suppose 5*d = -l*d + 176. Is d a multiple of 4?
False
Suppose 0 = -13*q + 1602 + 543. Is 6 a factor of q?
False
Let k = -663 - -1083. Suppose 0*d = 5*d - k. Does 27 divide d?
False
Let u(j) = -290*j + 541. Is u(-17) a multiple of 13?
False
Suppose 3*a - 5 = 2*v + 5, 20 = 3*a - 4*v. Is (6 + -1)*(25 - a) a multiple of 25?
True
Let w be 173/4 + 1/(-10 + 6). Let a = 298 + w. Is a a multiple of 24?
False
Let g be 1 - 4/(-1 + 0). Let o(v) = 4*v**3 + 4*v**2 + 3*v - 3. Let m(u) = 3*u**3 + 4*u**2 + 4*u - 3. Let c(p) = 5*m(p) - 4*o(p). Does 7 divide c(g)?
False
Is (12/6 - 10)/((-9)/378) a multiple of 7?
True
Let r(t) = -t**3 + 11*t**2 - 4*t + 9. Let z be r(9). Let a = 40 - z. Let x = a - -141. Does 23 divide x?
True
Let j(w) = 10*w**2 + 4*w + 2. Let h be j(-5). Let p = -163 + h. Is 8 a factor of p?
False
Suppose 16*d - 5718 = 12*d - 2*z, -3*z - 4293 = -3*d. Is d a multiple of 22?
True
Let w(v) = 2*v - 1. Let c be w(5). Suppose c*a - 4*a = 10. Suppose 11 = a*s - s. Is 11 a factor of s?
True
Let c be (4/(-5))/((-1)/(-10)). Let q(v) = v**2 + v - 10. Is 36 a factor of q(c)?
False
Let x(w) = -w**3 - 14*w**2 - w. Suppose -2*g - 28 = -0*g. Let a be x(g). Is 90/7*a/3 a multiple of 17?
False
Let d be (-8)/10 - 4/20. Let x(k) = -5*k. Let j be x(d). Suppose -j*w = -49 - 21. Is w a multiple of 7?
True
Let w(s) = s**2 - 2*s + 25. Let f(z) = -z**2 + 3*z - 24. Let k(m) = -5*f(m) - 4*w(m). Is k(15) a multiple of 19?
False
Let x(a) = 3*a**2 - 21*a + 87. Is 29 a factor of x(7)?
True
Let m = -348 - -367. Does 2 divide m?
False
Let x(a) = -a + 28. Let q(h) be the third derivative of h**4/24 + h**3/6 - h**2. Let k be q(-1). Is x(k) a multiple of 17?
False
Suppose 431 = -y + 2*y - 5*b, -5*y + 2265 = -3*b. Suppose -2*u - i = -100, -2*i = -5*u + y - 188. Is u a multiple of 27?
False
Suppose -39*c = -32*c - 238. Let r be 8/(-9)*-3*-6. Let y = r + c. Does 9 divide y?
True
Let g be -2*9/6 - -2. Let o(q) = -36*q**2 + 1. Let k(a) = -109*a**2 + 3. Let j(d) = 2*k(d) - 7*o(d). Is j(g) a multiple of 14?
False
Let g(k) = k**2 + 4*k + 5. Let h be g(-8). Suppose -40*f + 216 = -h*f. Does 29 divide f?
False
Suppose 2*y - z - 14 = -3*z, -10 = -4*y + 2*z. Suppose 4*g - 2*j - 18 = 12, y*g = -3*j + 35. Does 2 divide g?
True
Let f be 40/18 - 4/18. Suppose 2*x + 2*i - 128 = 0, -5*x + 4*i + 214 + 106 = 0. Suppose -4*g = -f*g - x. Is 9 a factor of g?
False
Let m be 3 - ((2 - 1) + -1). Suppose 5*u = -3*p + 9 + 55, -5*p - u = -136. Suppose -m*j + 4*n = -24 - p, 2 = n. Does 17 divide j?
False
Let i be (-6 + 0)*2/(-6). Let h be 8/(-20) - i/(-5). Suppose 14 = -h*s + s. Is s a multiple of 4?
False
Let z(v) = -8*v - 36 + 2 - 4*v. Is z(-8) a multiple of 6?
False
Let q(l) = -l**3 + 6*l**2 - 5*l - 1. Let i be q(4). Let y be 2/((-2)/(-3)*1). Suppose y*f = -2 + i. Is 3 a factor of f?
True
Let w(j) = -j**2 - 12*j - 7. Let m be w(-11). Let r(b) = -3*b**3 + 6*b**2 - 2*b + 2. Let f be r(m). Let n = f + 180. Is n a multiple of 13?
True
Does 21 divide 8/(-14) - (-7488)/168?
False
Suppose 33 - 13 = 2*n. Let w be (1*-1)/(n/(-30)). Is 25 a factor of 25*(-1 + w + -1)?
True
Suppose 0 = 2*n + 6, -5*t + 10*n + 8086 = 8*n. Is t a multiple of 16?
True
Let h = -106 - -108. Suppose 0 = h*c - b - 149, 5*c + 2*b - 493 = -116. Is c a multiple of 15?
True
Let t(h) = 2*h**2 - 39*h + 75. Is t(-21) a multiple of 111?
True
Suppose 3*u + 