k) be the third derivative of -k**4/8 - 7*k**3/6 + 19*k**2. Is 11 a factor of t(u)?
True
Let o(b) = b**3 + 10*b**2 - 8*b + 6. Suppose 3*v = 5*r + 37, -3*r - 2*v = -v + 25. Does 11 divide o(r)?
True
Let v be 1*-22 + 1 - 2. Let b(s) = s + 13. Let u be b(-13). Let i = u - v. Is i a multiple of 16?
False
Suppose 2*y - 4*r + 6*r - 20 = 0, -3*y - r = -26. Let d(u) = -u**2 + 15*u + 7. Is d(y) a multiple of 22?
False
Suppose 7486 = 164*r - 161*r + 4*p, 2*p = 2*r - 5000. Is 22 a factor of r?
False
Let s = 45 - 50. Let a(b) = -b**2 - 13*b - 6. Let t(m) = -5*m**2 - 66*m - 29. Let h(w) = 11*a(w) - 2*t(w). Does 22 divide h(s)?
True
Suppose 4*a = -2 + 10. Let d be (a - 0) + (1 - -3). Suppose l + 60 = d*l + 5*q, 0 = 4*l + q - 39. Does 9 divide l?
True
Let c be 6*((-2)/6 - 0). Let o be 36/30*(-30)/c. Let q = 37 - o. Does 17 divide q?
False
Let v(y) = 12*y + 496. Is v(27) a multiple of 41?
True
Let i(n) = 3*n - 19. Let c be i(10). Suppose 9*t - c*t = -62. Is t a multiple of 5?
False
Suppose 0*l - 2*l = -8. Let o(a) = a**3 + 3*a + 0*a**2 - 3*a**2 + a**3 - 2 - 3*a**2. Is o(l) a multiple of 15?
False
Suppose 4 = -2*c, -c + 8 - 50 = -4*a. Suppose 2*i = 4*v - a, 4*v - 2*v + 3*i - 1 = 0. Suppose r - 55 = w, 157 = v*r + 5*w + 33. Does 19 divide r?
True
Let a = 259 + -103. Is a a multiple of 3?
True
Let y be 6/8 - -2*(-36)/(-32). Suppose y*v - 240 = 4*h, -2*h + 400 = 5*v + h. Does 20 divide v?
True
Let p(x) = 2*x + 4. Let t be p(-2). Let q(j) = j + 20. Let z be q(t). Suppose -z = 2*u - 84. Is 16 a factor of u?
True
Let m(n) = 47*n - 8. Does 7 divide m(2)?
False
Let b(k) = 12*k**2 + k + 1. Let v be b(-1). Suppose 3*j - 31 = 2*n, 0 = 4*n - 4 + v. Suppose -j*m + 5*m + 220 = 0. Is m a multiple of 11?
True
Let s(i) = -4*i + 111. Let w be ((-306)/(-42) - 7) + (-4)/14. Is s(w) a multiple of 37?
True
Let l = 162 + -38. Suppose -8*z + l = -4*z. Is 3 a factor of z?
False
Let w be -1*(1 - 2)*-7. Let t(u) = u**3 - u**2 + u. Let o(k) = -5*k**3 - 3*k**2 - 5*k + 1. Let s(y) = o(y) + 4*t(y). Is s(w) a multiple of 7?
False
Suppose -330 - 786 = -4*l. Does 62 divide l?
False
Let u be ((-10)/(-15))/(1/(-9)*2). Let t(f) = 9*f**2 - 2*f - 7. Does 16 divide t(u)?
True
Suppose 4*d + 3237 = 6*x - x, -2*x + 1293 = -d. Is 38 a factor of x?
False
Suppose 0 = -42*g + 58*g - 4000. Is 12 a factor of g?
False
Is (33/6 - 1)*50 a multiple of 17?
False
Suppose 0 = -5*y + 25, 11*y + 562 = 2*l + 9*y. Is 26 a factor of l?
True
Suppose 2*n = -2*t, -n + 4*n - 3*t = 30. Does 13 divide n/5 + (3 - -24)?
False
Suppose 188*o = 192*o - 4*h - 8192, -h = -3*o + 6136. Does 37 divide o?
False
Suppose -2*g - 5*o + 1515 = 0, -o - 2*o = 2*g - 1513. Does 14 divide g?
False
Suppose 105 = n + 2*o, -4*o - 5 = 15. Suppose 3*y = w + n - 38, y = 3*w + 15. Is y a multiple of 3?
True
Suppose 3932 = -288*b + 290*b. Is b a multiple of 36?
False
Let g be (-122)/(-18) + (-16)/(-72). Let v(h) = 2*h - 13. Let f be v(g). Let i = 20 - f. Is 10 a factor of i?
False
Let n = 5 - 31. Let x = 30 + n. Is 2 a factor of x?
True
Suppose -5*i + 36 = 2*x, -6*x + 2*x - 12 = -4*i. Suppose i*m + 28 = 8*m. Does 4 divide m?
False
Let c be (-1 + 3 + -7)*-1. Suppose 0 = 5*t - 3 + 8, c*t = -3*j + 199. Does 23 divide j?
False
Let p(b) = -b**3 - 10*b**2 + 3*b - 26. Is p(-15) a multiple of 62?
True
Suppose -16*w = -15 - 65. Let l(z) = -3 + 6 + 4 + z**2 - 5*z. Does 2 divide l(w)?
False
Suppose 5*w - w + 16 = 0, 5*n + 3*w = 268. Let r = -28 + n. Is r even?
True
Let a be (-2)/6 + (-425)/(-51). Let d = a + -9. Is 4 a factor of d/3 - 220/(-30)?
False
Suppose f = 5*f - 28. Suppose 8*r = f*r + 40. Is 20 a factor of r?
True
Let u(a) = 21*a - 9. Suppose -4*c - 5*l + 30 = 0, -4*l + 10 + 18 = 4*c. Is 13 a factor of u(c)?
False
Let k(x) = -724*x - 90. Does 3 divide k(-1)?
False
Suppose 3*n + 9 + 12 = 0. Suppose 0*c + 105 = 3*c + 3*v, 5*c = -3*v + 177. Let z = n + c. Is 14 a factor of z?
False
Suppose 23 = 4*t - 17. Suppose 1672 = -8*g - 688. Is (-1)/(-2) - g/t a multiple of 8?
False
Let f = 609 - 339. Does 30 divide f?
True
Let u be (0 + (-2 - 0) - 4)*1. Is (u - -7)/(-2 + (-214)/(-106)) a multiple of 6?
False
Let b = 2333 + -1773. Does 21 divide b?
False
Let i(n) = n**3 + 3*n**2 - 5*n - 2. Let m be i(-4). Suppose -y + 42 = 2*l, -m*l - 2*l - 54 = -y. Does 23 divide y?
True
Let v(h) = -37 + 42 + 7*h - h + h**2. Let k be v(-6). Let d = k - -19. Does 24 divide d?
True
Suppose -5709 = -5*g + 3321. Is 35 a factor of g?
False
Suppose -3*y = 3*n + 3 - 6, -2*n = 4*y. Suppose b = -2, -n*c + 3*b + 44 = b. Is 7 a factor of c?
False
Suppose -37 + 9 = -7*z. Suppose 0 = 3*v - z*u - 626, 3*v - 1051 = -2*v - u. Is 21 a factor of v?
True
Suppose 4*n - 337 = 495. Let k = 295 - n. Is k a multiple of 30?
False
Suppose 4*m - 10 = 2*o, -o = 3*m - 2*o - 7. Let j(p) = 21*p**2 + m*p + 73*p**2 - 1 - 31*p**2 - 4*p. Is j(-1) a multiple of 16?
True
Let f(b) = 3*b**2 - 9*b - 2. Let n be f(8). Suppose 17*w - 3450 = -n. Is w a multiple of 14?
True
Let j be 1*-20*-2*(-22)/(-4). Suppose -21*x - j = -23*x. Does 10 divide x?
True
Let m be (-12)/(-9)*27/6. Does 20 divide (m/5)/(10/275)?
False
Let c(z) = 2*z - 7. Let w be c(6). Suppose w*f = -7 + 17. Suppose 2*v - v - 41 = -4*l, -2*l + f*v + 8 = 0. Is 9 a factor of l?
True
Suppose 0 = 214*q - 208*q - 9504. Does 24 divide q?
True
Suppose 2912 = -4*h + 11*h. Does 16 divide h?
True
Let p = 32 + 5. Suppose -2*y + 218 = 36. Let f = y - p. Is f a multiple of 18?
True
Let r(f) = -f**3 - 5*f**2 - 6*f - 2. Let l be r(-2). Is 52 a factor of (l + 1 - 0)*-105?
False
Suppose -9*c - 9828 = -21*c. Is 21 a factor of c?
True
Let w be 3/(6/10) - 1. Suppose -66 - 18 = -w*b. Is 7 a factor of b?
True
Let b(g) = -39*g**2 - 1. Suppose -n + 12 = 13. Let r be b(n). Does 30 divide (-1184)/r + (-2)/(-5)?
True
Let d = -17 + 30. Let v(x) = 2*x + 39. Let n be v(-21). Let g = d + n. Is g a multiple of 5?
True
Let f = -33 - -35. Suppose 62 = g - 3*x, -f*g = 4*x - x - 97. Is 8 a factor of g?
False
Let c(j) = 643*j**2 - 2*j + 1. Does 17 divide c(-1)?
True
Let q be (-2)/14 - (-2)/14. Let r = 10 + -8. Does 6 divide (-27 + q)/((-3)/r)?
True
Suppose 8*c - 6 = 6*c. Let t = 1 + c. Let w = 13 - t. Does 9 divide w?
True
Let g be -2*(-5)/(30/9). Is 14 a factor of (-6)/(-5)*2/g*30?
False
Let n be 476/7 + (-2)/(1 + 1). Suppose 3*m = -3*z + 35 + n, 4*z - 3*m - 101 = 0. Is z even?
False
Let q(o) be the first derivative of -3/2*o**2 + 3 - o. Is q(-4) a multiple of 6?
False
Let q(c) = 9*c**2 - 9*c**2 + 3*c**2 - 18*c - 7. Does 4 divide q(7)?
False
Suppose 4*g = -77 - 207. Let y = -42 - g. Is ((-4)/(4/y))/(-1) a multiple of 14?
False
Let y = 180 - -96. Does 11 divide y?
False
Let v(d) = 67*d - 15. Let h(k) = 45*k - 10. Let a(s) = 8*h(s) - 5*v(s). Is 35 a factor of a(10)?
True
Let d = -13 + 8. Let f = -13 - -3. Let z = d - f. Is 2 a factor of z?
False
Suppose -4*q = -5*f + 962, -5*f + q + 959 = -2*q. Is f a multiple of 19?
True
Suppose 110*j = 95*j + 1425. Does 5 divide j?
True
Let c(f) = -f**3 - 9*f**2 - 6*f + 10. Let a be c(-8). Let x be (0 - 0)/(a/3). Suppose 4*s = -x*s + 72. Does 18 divide s?
True
Let m be (6 + 0)*(-57)/38. Let b = 11 - m. Is 14 a factor of b?
False
Let u = -22 + 21. Let w be u/(-2*(-1)/(-10)). Suppose -3*n - w*v + 133 = 0, -5*n = -0*v - 4*v - 197. Does 11 divide n?
False
Let z = 17 + -11. Let x(s) = 10*s - 2. Is x(z) a multiple of 7?
False
Is 244 - (6/15 - 126/(-35)) a multiple of 15?
True
Let i(s) = s**3 + 5*s**2 + 5*s + 6. Let n be i(-4). Suppose 0 = -13*m - 73 + 879. Suppose n*t + 5*z - m = z, -t + 5*z + 38 = 0. Does 11 divide t?
True
Let x = 18 - 14. Suppose -2*c - 4*t - 76 = -x*c, 0 = -4*c - 5*t + 191. Is c a multiple of 11?
True
Suppose 4*h - 5 = 7. Suppose -6*u + h*u = 0. Suppose u = 2*l + l - 114. Is l a multiple of 11?
False
Let x = -257 + 446. Does 9 divide x?
True
Suppose 17 - 82 = -5*s. Let l(d) = 5*d + 1. Let w be l(s). Suppose 0*y - w = -3*y. Does 9 divide y?
False
Suppose 70*z - 75*z = -300. Suppose 0 = 3*n - 2*v - 95, 2*n + 7*v = 9*v + z. Is 7 a factor of n?
True
Let a = -58 - -63. Suppose -13*b = -a*b - 96. Is b a multiple of 2?
True
Let a(k) = 5*k**2 - 42 - 7*k + 42. Does 15 divide a(5)?
True
Let p = 605 + -227. Is p a multiple of 21?
True
Let b be -15*(-1)/(3/3). Suppose 13*w - b*w = -186. Does 31 divide w?
True
Let h(y) = 3*y**2 - 17*y - 9. Let f be h(6). Is 10 a 