 x**2 - 5*x + 10. Let f(l) = 2*n(l) - y(l). Suppose 4*s - 2*s = -18. Is f(s) a multiple of 10?
True
Let u(y) = 397*y**2 - 4*y + 3. Does 44 divide u(1)?
True
Let g(q) = -5*q - 3*q**2 - 5*q**3 + 6*q**3 - 8*q - 10*q**2 - 11. Let n be g(14). Does 9 divide ((-2)/n)/(3/(-162))?
True
Let f = -111 - -177. Suppose -20 = r + 3*g, 3*r + r + f = -5*g. Is ((-2)/3)/(r/399) a multiple of 7?
False
Let s be (-4)/5*15/(-6). Suppose q - 3 = 3*o + 4, q - s = -2*o. Does 25 divide 1 - (-87 + (-3 - o))?
False
Is 10/(120/(-162))*-2 a multiple of 21?
False
Let k be 2/6 - 182/6. Let t(c) = 2*c - 37. Let i be t(-3). Let q = k - i. Does 10 divide q?
False
Is 31 a factor of 5430/63*3 + (-30)/(-70)?
False
Let y = 13 + 2. Suppose 2*h = -3*h + y. Is 73/3 + 2/h a multiple of 6?
False
Let q = -6 - -8. Let u be ((-15)/(-2))/(q/60). Suppose 0 = -5*w + u. Is w a multiple of 10?
False
Is 22 a factor of 14/(-42) + 754/3?
False
Let y(o) = o**3 + 6*o**2 - 5*o + 15. Let g be y(-7). Suppose t - g = 30. Is 11 a factor of t?
False
Let m = -25 - -18. Let c(z) = -z - 5. Let h be c(m). Suppose j = -2*j - h*y + 113, -5*j = 4*y - 187. Is j a multiple of 13?
True
Suppose n + 5 = 2*n. Suppose b - 179 = -5*l, b + 181 = n*l - 0*b. Suppose c - 7 - l = 0. Does 13 divide c?
False
Let v be ((-2)/4)/(2/12). Let q(r) = -r**2 - 1. Let n(c) = -4*c**2 + 3*c - 7. Let y(j) = -n(j) + 5*q(j). Does 2 divide y(v)?
True
Let q(g) = g**3 + 3*g**2 - 3*g - 7. Let a be q(-3). Suppose -3*i - 76 = -2*y - 6*i, a*i = 3*y - 127. Let u = y + -11. Is 10 a factor of u?
True
Let m(c) = -4*c**2 + c - 3. Let i(o) = 0*o + 4*o**2 - 5*o**2 + 7 + 9*o**2 - 3*o. Let g(w) = -4*i(w) - 9*m(w). Is g(2) a multiple of 3?
True
Let v = -224 + 1169. Is v a multiple of 35?
True
Let h = -181 - -316. Is h a multiple of 45?
True
Let d(z) be the first derivative of z**3/3 - 11*z**2/2 + 8*z + 4. Let a be d(9). Let f = 13 + a. Is f even?
False
Let o(t) = 3*t - 9. Let j be o(6). Let q be (72/(-4))/(1 - 2). Let d = q + j. Is d a multiple of 9?
True
Let v(p) = 3*p**3 + 8*p**2 - 8*p - 3. Let d be v(4). Suppose -10*w + 7*w = -d. Suppose 0 = 4*b + 23 - w. Is 18 a factor of b?
True
Suppose 2*b - 4*n - 2032 = 0, 0 = -2*n + 2 + 2. Does 85 divide b?
True
Suppose 0*s - 5*s = 120. Does 4 divide (64/(-3))/(s/36)?
True
Suppose 3*s = -16*r + 11*r + 813, 0 = 3*s + 4*r - 813. Is s a multiple of 33?
False
Let l(c) = 29*c**3 - c**2 + c - 11. Let m(n) = -14*n**3 + 5. Let g(k) = 2*l(k) + 5*m(k). Is g(-2) a multiple of 13?
False
Let f(w) = 41*w**2 - w + 68. Does 26 divide f(-7)?
False
Suppose -3*w = u - 1 - 18, -2*u - 2*w + 38 = 0. Let b = -8 + 13. Let p = u - b. Does 3 divide p?
False
Let c(t) = -6*t**2 + 9*t + 6. Let d be c(-7). Let k = d - -554. Is 32 a factor of k?
False
Let t = -66 - -127. Suppose 3*m + y - 13 = 0, 3*y - 15 = -0*m - m. Suppose u = -3*v - 0*u + 49, -5*u - t = -m*v. Is v a multiple of 2?
False
Let y be (-8)/(-52) - (-20920)/65. Suppose -a - 626 = -5*z, -320 = -5*z - 3*a + y. Is 18 a factor of z?
True
Is -69 + 79 - 896/(-1) a multiple of 6?
True
Let c = 83 - 81. Suppose h + 97 = c*k + 13, -3*h = 3*k - 144. Is k a multiple of 22?
True
Suppose -x - 5*w - 179 = -0*x, 5*w + 343 = -2*x. Let t = 241 + x. Is 17 a factor of t?
False
Let l be (-3*17)/(-3 - -2). Suppose 0 = 7*g - 737 + l. Does 11 divide g?
False
Let h be 10 + (-5 + 7 - 5). Suppose h*q - 630 = 4*q. Is q a multiple of 21?
True
Let m(p) = 23*p**3 + p**2 + p - 1. Let d = 12 - 16. Let j be 9/12*d/(-3). Is 5 a factor of m(j)?
False
Is 27 a factor of (3 - (-695)/(-15))*(-585)/25?
False
Does 19 divide -1 + 3 + -1 - -702?
True
Suppose 3 = t - 1. Let p(a) = -a**2 + 5*a - 1. Let o be p(t). Suppose 0 = -k - 2*y + 22, 4*y + 76 = o*k + 5*y. Is 12 a factor of k?
False
Suppose l - 18 = 21. Let v = 186 + l. Is v a multiple of 42?
False
Let q = -1734 - -3825. Is 17 a factor of q?
True
Does 21 divide -4*(-3 + 1) - -304?
False
Is 13/(104/11488) - -1 a multiple of 5?
False
Suppose 93*i - 157248 = 15*i. Is i a multiple of 21?
True
Suppose 4*z + 20 - 56 = 4*l, 39 = 5*z - 3*l. Does 15 divide (-10)/(-2)*z/1?
True
Let n be 5/((-15)/12) + 6. Let o = 4 - n. Suppose -o*d + 77 = -37. Is 12 a factor of d?
False
Is 2105 + 167 + (1*6 - 1) a multiple of 32?
False
Let u be -1 + -8*12/(-3). Let a = u - 0. Let j = -10 + a. Does 21 divide j?
True
Suppose 18*d = -26*d + 60412. Is 13 a factor of d?
False
Suppose -740 = -2*n - 4*s, 131 = 2*n - s - 614. Is 31 a factor of n?
True
Let x(h) = 14*h - 12. Let z be x(-6). Is 8 a factor of z*(0 - 5/10)?
True
Let v(p) = 2*p**2 + 8*p - 5. Suppose 5*k + 3*s = 21 - 1, -4*k + s + 16 = 0. Is v(k) a multiple of 43?
False
Let b(z) be the second derivative of z**4/12 + z**3/2 - 7*z**2 - 13*z. Is b(-8) a multiple of 13?
True
Let q = -235 - -757. Is q a multiple of 9?
True
Suppose 148 + 162 = 2*n. Suppose t - 35 = 3*y, n = t + 2*t + y. Is t a multiple of 14?
False
Suppose d + 38 = b, -2*b - 3*d - 2*d + 90 = 0. Suppose -2*p = 3336 + b. Is 25 a factor of p/(-18) + (-6)/(-27)?
False
Let h be 68/16 + ((-2)/8 - 0). Suppose 2*q = -h*g + 518, 3*g + 5*q = -0*q + 399. Is g a multiple of 32?
True
Suppose -k - 5*s + 46 = -41, -5*s = -4*k + 298. Is k a multiple of 5?
False
Let i = 1169 + -941. Does 85 divide i?
False
Suppose -3*v - 3 = 3*q, 2*q - v - 14 = v. Suppose -7*x + 4 = -3*x, q*w = -3*x + 57. Is w a multiple of 2?
True
Is 94 a factor of ((-130)/(-13) - 15)*724/(-2)?
False
Suppose 2*r = c - 84, -5*c - 12*r + 8*r + 490 = 0. Is 13 a factor of c?
False
Let p(s) = -s**3 - 34*s**2 + 66*s - 88. Is p(-36) a multiple of 8?
True
Let q = 98 + -54. Suppose -2*o + 7 = l - q, -29 = -o + 3*l. Let u = o - -28. Is 18 a factor of u?
True
Is 13 a factor of 4/2 + (-3 - 3 - -1356)?
True
Let p be (16/10)/(12/(-60)). Does 40 divide (-7 - p)/(1/105)?
False
Does 44 divide (-85790)/(-25) + -7 + (-111)/(-15)?
True
Let p(m) = -3*m**3 + 3*m**2 - 2*m. Is 19 a factor of p(-3)?
True
Let c(m) = 11*m + 9*m**2 - 1 + 24 + 7*m**2 - 17*m**2. Does 33 divide c(10)?
True
Suppose 0 = -5*a - 5*p + 1440, 4*p = 2*a + a - 857. Is a a multiple of 6?
False
Let m = -29 - -23. Does 4 divide ((-46)/3)/(4/m)?
False
Let t(a) = 4*a - 6. Let d be t(4). Let r(w) = w**2 + 8*w - 35. Let j be r(-11). Is j/d - 182/(-10) a multiple of 5?
False
Let c = 62 + -105. Let m = c + 59. Is 8 a factor of m?
True
Let p be 900/(-110) + (-4)/(-22). Let u(x) = x**3 + 9*x**2 + 6*x + 16. Is 8 a factor of u(p)?
True
Let h(f) = -f**2 - 18*f + 12. Let b be h(-17). Suppose 0 = 3*m - 107 + b. Let a = 28 + m. Is 18 a factor of a?
True
Let w be (-2)/(-9) + (-2874)/54. Let o = 93 + w. Let l = 95 - o. Is l a multiple of 31?
False
Let v = -1813 - -3103. Does 5 divide v?
True
Let m = 35 - 28. Is (-44)/(-77) + 24/m even?
True
Suppose -2250 = -5*s + 5*h, -s + 2*h + 454 = -h. Is 14 a factor of s?
True
Let g = 651 + -251. Does 64 divide g?
False
Suppose -1015*t + 192 = -1007*t. Does 12 divide t?
True
Suppose 3*l = 15, z - 35 = -6*l + l. Suppose 265 + 165 = z*u. Is u a multiple of 22?
False
Let p(x) = x**3 - 4*x**2 + 6. Let i be p(4). Let z(k) = -20*k + 5 + i - 9 - 1. Does 11 divide z(-2)?
False
Let a be (92/(-2) - -1)*(-18)/30. Suppose -g + 2*g = a. Does 4 divide g?
False
Let p(r) = 2*r**3 + 11*r**2 - 10*r. Does 25 divide p(5)?
True
Let z be (-1 - -2) + (0 - 32). Is -1*(-1 - z)/(-3) even?
True
Let g(c) = c**3 + 10*c**2 + c + 4. Let z be g(-10). Let l = 10 + z. Is l a multiple of 4?
True
Let p(s) = s**2 - s - 7. Let a be p(4). Suppose -u + 16 = -4*h - 8, a*h = -4*u + 12. Is 3 a factor of u?
False
Let x be 1/(2/(2 - -2)). Suppose 3*h - 5 = -x. Is h/(-6) - (-1444)/24 a multiple of 15?
True
Let z = -91 + 109. Suppose -2*v = -r + 232 + z, -2*r + 532 = 4*v. Does 39 divide r?
False
Suppose -20 = -5*q - 5*n + 30, -2*n = q - 15. Suppose 2*r = -q*l + 30, 2*r = -3*l + 21 - 3. Is (12/10)/(l/405) a multiple of 27?
True
Let h(n) = -4*n - 8. Let t be h(-12). Suppose 1 - t = -3*r. Let p(l) = -l**3 + 13*l**2 + 5*l - 7. Does 29 divide p(r)?
True
Let i(q) = -8 - 4 - q - 4. Let b be i(0). Let g = -9 - b. Is g a multiple of 7?
True
Does 91 divide 3 + (-37873)/(-9) - 13/117?
False
Let z(h) = -h**3 - 11*h**2 + 11*h - 10. Let c be z(-12). Suppose -g - c*g = -18. Is 6 a factor of g?
True
Suppose 0 = -29*r + 30099 + 32802. Does 9 divide r?
True
Let m(h) = -h**3 + 7*h**2 + 43*h + 3. Does 35 divide m(-11)?
False
Let i = -