ppose z*v + 2*o - 214 = -68, 5*v + 4*o = 361. Is 18 a factor of v?
False
Let o(k) be the third derivative of -k**6/40 - 17*k**5/60 - 3*k**4/8 + k**3 - 30*k**2. Let r be o(-5). Is (-18)/((-9)/12*r) a multiple of 8?
True
Suppose -3*y - 75 = -8*y. Suppose -5*d - y = -25. Let z(u) = 2*u**3 + 2*u**2 - u - 1. Is 7 a factor of z(d)?
True
Let j = -423 - -651. Let l(f) = 8*f - 237. Let z be l(30). Is j - 1 - (z + 0) a multiple of 16?
True
Let h(s) = 2*s**2 - 16. Suppose 10 = 5*x, -2*x + 0 - 11 = -5*o. Suppose 14 = -o*m - 4. Does 8 divide h(m)?
True
Suppose 2*c = 2*s - 8234, 0 = -2*c + c - 3*s - 4105. Is -30*((-2)/14 + c/1190) a multiple of 9?
True
Let w = 7 + 3. Let d = -408 - -409. Is 2 a factor of d/((6/28)/(w + -7))?
True
Suppose -6*g - 4*g + 50694 = 11*g. Is 146 a factor of g?
False
Suppose 21712 - 262246 = -18*x. Does 83 divide x?
True
Suppose -1 = -k + 5. Let g(s) = 20*s + 14. Let x(p) = -p - 1. Let m(q) = g(q) + 4*x(q). Is m(k) a multiple of 13?
False
Let k(u) = u**3 + 6*u**2 - 10*u + 12. Let h be k(-7). Suppose 4863 = 9*w - h. Suppose 3*r + r = w. Is r a multiple of 17?
True
Let c(w) = w**2 - 2*w - 3. Let m = 62 - 59. Let n be c(m). Suppose 3*s = -n + 243. Is s a multiple of 35?
False
Is (63312/20)/(928/(-120) + 8) a multiple of 43?
False
Let s = 15329 - 8077. Is s a multiple of 15?
False
Does 12 divide (-1 + 351)*(-3666)/(-329)?
True
Let t(b) = b**3 - 14*b**2 - 15*b + 13. Let h be 15/(-30) + (-14)/(-4). Suppose 78 = 5*r + 2*l, -h*r + 45 = 4*l - l. Is 19 a factor of t(r)?
True
Let k = -12867 - -19078. Does 7 divide k?
False
Let v(x) = 3*x**3 - 163*x**2 + 111*x + 48. Is v(54) a multiple of 6?
True
Suppose u + f - 9 = 0, u + 9*f - 4*f = 29. Suppose -u*r + 109 = 3*x, 4*x - 3*r - 21 - 141 = 0. Suppose 0 = -34*y + x*y - 150. Is 15 a factor of y?
True
Suppose 4*u = 61 + 127. Suppose -h + 20 = 3*l - u, 3*h - 25 = -l. Suppose l - 120 = -7*r. Does 7 divide r?
True
Suppose -11*r = 13*r - 96. Suppose -r*w - 3*i = -783, -2*w - w - i + 581 = 0. Is w a multiple of 8?
True
Let t(y) = 211*y - 2877. Is t(19) a multiple of 4?
True
Let q(i) = -i**3 - 28*i**2 + 54*i + 22. Suppose 3*b + 7*c + 84 = 10*c, 4*b + 3*c + 126 = 0. Is q(b) a multiple of 80?
False
Suppose 5*o = -2*y + 59 + 25, -5*o + 2*y + 76 = 0. Suppose o*k - 2269 = 5427. Is 13 a factor of k?
True
Let n(g) = g**3 + 10*g**2 - 16*g. Let d be n(-11). Let m = 27 - 21. Suppose d = m*k - 209. Does 11 divide k?
True
Let c = 118 - 122. Is 23 a factor of (-10136)/(-40) + (c/5)/2?
True
Suppose 31388 = -112*k + 185276. Is 41 a factor of k?
False
Let r = -1129 - -793. Does 18 divide 7 - 3 - r - -1?
False
Let i = 199 + -188. Let x be 0 + 792 - (0 + 2). Suppose -i*h = -h - x. Is 10 a factor of h?
False
Does 14 divide 96 - 115 - (-2 - 4945)?
True
Let i(g) be the second derivative of -g**5/20 + 7*g**4/3 + 5*g**3 - 13*g**2/2 - 4*g + 6. Is i(29) a multiple of 6?
False
Is 3*152/32*36*7 a multiple of 21?
True
Let r = -5003 - -5007. Let l(x) = x**3 + 6*x**2 + x - 1. Let g be l(-6). Is 13 a factor of (-3)/(r - 1) - 763/g?
False
Let v = 28 + -24. Does 37 divide v*54*(15/(-4))/(-5)?
False
Suppose -4*a + 23 - 7 = 0. Suppose 2*t = -2, 9*t - 1 = x + 13*t. Suppose -9*o + a*o = m - 150, -x*o + 90 = -4*m. Does 10 divide o?
True
Suppose 235*w - 1655867 = 919470 + 711373. Is w a multiple of 9?
True
Let y = -2356 - -4696. Is y a multiple of 39?
True
Suppose -4*w - 17 = -3*w + 4*s, 3*w + s = -18. Let d be 13/w + 3 - 56/(-10). Is (d/4 - 1)/((-2)/(-164)) a multiple of 14?
False
Let m(s) = 6*s + 172. Let b be m(0). Suppose 93 = 5*w - b. Suppose 2*d - 35 = w. Does 11 divide d?
True
Suppose 53*n + 120540 = 35*n + 53*n. Is 14 a factor of n?
True
Let d(c) = -c**3 - 7*c**2 - 12*c - 1. Let y be d(-6). Suppose y*g - 27900 = 4*g. Does 24 divide g?
False
Let h(v) be the first derivative of v**4/4 + 23*v**3/3 + 13*v**2 - 12*v + 19. Let a be h(-22). Let k = 116 + a. Is k a multiple of 3?
False
Suppose 4*q = -5*m + q + 2472, 0 = m + 3*q - 504. Suppose m = z + 36. Is z a multiple of 26?
False
Let g = -2380 + 2713. Does 2 divide g?
False
Let i(z) = 266*z - 16. Let r be i(1). Suppose 4*u - 3*t - 23 = -0*t, 4*u = 2*t + 26. Suppose 0 = -6*c + 2*c + 5*m + r, 0 = -4*m - u. Is c a multiple of 20?
True
Let a be 1*(-2)/((-4)/586). Does 49 divide (2 + -5)*11/(-33) + a?
True
Let u be 9/(2 + -5) + 31. Let p = -130 + 188. Let w = p - u. Does 10 divide w?
True
Let u(p) = -5*p**3 - 6*p**2 + 5*p - 6. Let h(k) = -k**3 - 6*k**2 - 3*k + 5. Let t be h(-5). Let a be u(t). Let b = a - 249. Does 15 divide b?
True
Let u(v) = 199*v**3 + 12*v**2 - 16*v - 47. Is 88 a factor of u(5)?
False
Let z(m) = -3*m**2 - 8. Let j be z(-6). Let o = j + 29. Let k = -17 - o. Is k a multiple of 10?
True
Let h(d) = -7*d + 24. Let c(a) = -a**3 + 17*a**2 - 18*a + 24. Let g be c(16). Let x be h(g). Suppose t + x = 3*t. Is t a multiple of 10?
True
Let k = 14107 - 7837. Does 29 divide k?
False
Let v(h) = 18*h - 81. Let z be v(7). Let x = 74 + z. Is 19 a factor of x?
False
Let r = 55840 - 30320. Does 20 divide r?
True
Suppose 9*c + 212 - 338 = 0. Let b(q) = -q**3 + 16*q**2 - 31*q + 159. Is 13 a factor of b(c)?
True
Let h = -123 - 13. Suppose q + 316 = 2*q - 4*l, -q = -2*l - 316. Let d = q + h. Is 37 a factor of d?
False
Let l = -21 - -25. Let f be (0 - 2) + (40 - l) - -1. Suppose 77 = 3*y + 5*u - f, 4*y + 3*u = 142. Is 7 a factor of y?
False
Is ((-8)/(216/387))/(1/(-34))*18 a multiple of 4?
True
Does 35 divide (-65625)/150*4/(3 + -5)?
True
Let l(f) = -f - 17. Let p be l(-17). Suppose 2*j - 8 = p, 0 = s - 3*j + 13 - 1. Suppose 172 = 4*i + 4*a, 4*i + a = -s*i + 157. Does 3 divide i?
False
Let i = 4453 + 8084. Does 199 divide i?
True
Let s(p) = -5418*p + 37. Does 17 divide s(-1)?
False
Let l(h) = h**2 - 3*h + 5. Let v be l(2). Let x be v + (-3)/3 - -106. Does 18 divide x/2*7/21?
True
Let b(s) = 4*s**3 - 10*s**2 + s - 4. Let x(h) = -9*h**3 + 19*h**2 - 2*h + 8. Let g(y) = -7*b(y) - 3*x(y). Let m be g(13). Let u = m - -63. Does 26 divide u?
False
Suppose 0 = -5*p + 14 + 36. Let q be 6 - 15/p*(-1 + 3). Let r(m) = 2*m**2 + 4*m. Is 10 a factor of r(q)?
True
Let v(p) = p + 6. Suppose 0 = -2*g - 4*c + 160 - 48, 0 = -g - 4*c + 62. Let n = -44 + g. Is 10 a factor of v(n)?
False
Let f = -702 + 20. Let b = f + 940. Does 9 divide b?
False
Suppose 4*y - 5*p + 1716 = 378, -5*y + 4*p - 1668 = 0. Let u = -201 - y. Is u a multiple of 6?
False
Suppose -2*q - 16*q = -11790. Is q a multiple of 131?
True
Let b(s) = -96*s + 84. Is 12 a factor of b(-2)?
True
Let u(o) = 2*o. Let g be u(1). Suppose g*b = 4*b + 60. Is (0/(-2) - 6)*(-35 - b) a multiple of 3?
True
Suppose -19*t + 89690 = -151078. Is t a multiple of 32?
True
Suppose -2*l + 2*n - 514 = n, 0 = l + 3*n + 243. Does 21 divide 3/(-6) - l/6?
True
Suppose 3*u + 2600 = 734. Let p = -274 - u. Does 6 divide p?
True
Let o = -241 - -244. Suppose o*l - 6*l = -1248. Does 8 divide l?
True
Suppose 4*p + 4*w - 40 = 0, -4*p + 22 = -w - w. Suppose 0 = -p*b + 5*b + 4. Suppose 4*y - 92 = -b*v, 3*v - 4*v = y - 50. Is v a multiple of 18?
True
Let r = 145 - -311. Is r a multiple of 19?
True
Let r(g) = 9*g**2 - 37*g - 32. Is r(9) a multiple of 12?
False
Let z be 140/16 + (-1)/(-4). Suppose -33*q - 18*q + 5508 = 0. Suppose 378 = z*b - q. Is 5 a factor of b?
False
Suppose -5 + 9 = 2*l. Suppose -4*j - 2*w = -442, 4*j - 274 - 180 = l*w. Is 4 a factor of j?
True
Let f = -26855 - -32964. Is f a multiple of 5?
False
Suppose 5*c = 2*x - 93, 3*c - 3*x = -2*x - 55. Let g = -20 - c. Does 17 divide (-120 - (g - -2))*-1?
True
Suppose -h - 7 = 2*k, -k - h + 1 = 4. Let l be 353 - 1 - -2*(-2)/k. Is 4/10 - (l/(-5) - 1) a multiple of 12?
True
Let m(g) = -g**3 + 10*g**2 - 10*g + 13. Let q be m(9). Suppose -n - 113 = -0*n - u, 5*u + 479 = -q*n. Let k = -82 - n. Is k a multiple of 34?
True
Suppose 7*k + 3 = -4. Let p be ((-1)/3)/(k/(-4 - -13)). Let v(y) = y**3 + 5*y**2 - 6*y + 2. Is v(p) a multiple of 28?
True
Let z = -2013 + 3747. Is 130 a factor of z?
False
Let v(u) = -u**3 + 48*u**2 + 102*u - 88. Let y be v(50). Let c = 260 + -403. Let g = y - c. Does 12 divide g?
False
Suppose 48*n - 6*n + 34*n = 84056. Is 79 a factor of n?
True
Let j(l) = l**3 + 46*l**2 + 57*l + 7. Let z be j(-44). Suppose 15*s - z + 156 = 0. Does 23 divide s?
False
Let d(j) = -j**3 - 11*j**2 - 19*j - 7. Let o be d(-9). Let n(h) = -3*h + 