y(6). Suppose -q = -2*s - 41 + b, -q = -5*s - 30. Is q a multiple of 15?
True
Suppose -5791 = -5*a + 3*x, 0*a - x = -4*a + 4637. Is a a multiple of 58?
True
Let b(z) = -z**2 - 7*z + 10. Let k be b(-8). Does 14 divide ((-6)/(-15))/(k/290)?
False
Let w(g) be the second derivative of -g**3/3 - 3*g**2/2 + 2*g. Let t be w(-3). Is (4/(-12))/(t/(-72)) a multiple of 2?
True
Let u(y) be the first derivative of y**3 - 9*y**2 + 4*y + 49. Is 13 a factor of u(7)?
False
Suppose 4*o - 1331 = g, -8*o = -4*o - 2*g - 1326. Let v = o - 223. Is v a multiple of 14?
False
Let q(l) = 9*l**3 - 1. Let s be q(1). Suppose 5*g + 2*y - 46 = -y, -4*y = -2*g + s. Is g a multiple of 2?
True
Let o(u) = -2*u**2 + 47*u + 50. Is o(21) a multiple of 31?
True
Let y(k) = -5*k + k + 6 + 3*k - 2*k. Let o be y(7). Is (12/o)/((-10)/125) a multiple of 5?
True
Let u(w) = 2*w**3 - w**2 + w - 4. Let t = -41 - -43. Is u(t) a multiple of 6?
False
Suppose -3*b + 18 = k - 6*b, 4*k - b - 28 = 0. Let u(w) = 9*w**2 - 2*w + 6. Let a be u(k). Suppose 131 = 2*l - 5*s, 3*s + a = 4*l + l. Does 24 divide l?
False
Let u(r) = -4*r + 2. Let p be u(-2). Let w = p + -4. Suppose 95 - 29 = w*x. Is 4 a factor of x?
False
Let q be 47 + 3 + 0*3/(-9). Let b = 64 + q. Does 38 divide b?
True
Suppose -5*w = 3*u + 397, w = u - w + 136. Let t = -102 - u. Does 8 divide t?
True
Let y be (-1 + 2)*((-80)/2 - -3). Let g = y - -92. Is g a multiple of 5?
True
Suppose -j + 0 = -5. Suppose -j*t - 37 = -222. Is 14 a factor of t?
False
Let v(q) = -q**3 - 33*q**2 - 96*q + 31. Is v(-30) a multiple of 27?
False
Let c(j) = 3*j**2 - 37*j + 52. Does 58 divide c(-16)?
False
Suppose 8*a = 3*a - 20. Let p(o) = -4*o**3 + 5*o**2 - 5*o - 8. Let f(z) = -2*z**3 + 2*z**2 - 3*z - 4. Let k(c) = a*p(c) + 7*f(c). Is 17 a factor of k(4)?
False
Let z(q) = q**2 + 12*q - 25. Let l(a) = -2*a**2 + a. Let g be l(3). Is z(g) a multiple of 5?
True
Suppose 2*i = -3*z + 655, 0 = -2*z - 2*i + 476 - 36. Does 6 divide z?
False
Let b(c) = 46*c + 22. Is 8 a factor of b(11)?
True
Let c(h) = -h**3 - 15*h**2 + 17*h + 10. Suppose 0 = 2*u + u + 48. Let l be c(u). Is 8 a factor of 3/(-2)*1*l?
False
Let s be 2*(-1 - (-9)/6). Is s/(-8) + (-898)/(-16) a multiple of 8?
True
Suppose 3*w - 27 = 3*b, -28 = -4*w + 4*b - 2*b. Suppose 0 = -w*s + 79 + 61. Does 12 divide s?
False
Suppose 2*k + 5 = 5*m, 5*m + 35 = -2*k - 20. Is -4 + (3 - (k + 1)) a multiple of 3?
False
Suppose 3*d + 3*i = 15, -4*d = -5*i + 3 - 5. Suppose 2*l - q + d*q = 108, q = 3*l - 150. Is 30 a factor of l?
False
Let w(r) = -r**3 + 11*r**2 - 9*r - 2. Let a be w(10). Suppose 465 = 5*h + 5*z, h + a - 101 = z. Is h a multiple of 16?
False
Let d = -1 + 15. Suppose -d*t + 168 = -13*t. Is 34 a factor of t?
False
Suppose 118 - 16 = u. Suppose 11*k = 9*k + u. Is k a multiple of 17?
True
Let y(m) = -m**2 - m. Let i(g) = 2*g**2 + 3*g + 11. Let j(b) = -i(b) - 3*y(b). Is j(-4) even?
False
Let r(t) = 4*t + 129. Let x be r(-31). Let f(p) = p**2 - 3*p. Let z be f(3). Suppose x*s - y = 6*s - 37, -3*s - y + 109 = z. Is s a multiple of 12?
True
Suppose -5*f - 19 = 371. Let c = f + 206. Suppose -210 = -5*m + 4*a - 9*a, 2*a = -3*m + c. Does 22 divide m?
True
Suppose -4*x = j + 4*j - 137, 3*j - 15 = 0. Suppose 0 = 2*m - 3*f - x, 15 = -5*f - 5. Does 5 divide m?
False
Let q be (34/6)/((-5)/(-30)). Let b be q*(3 + (-18)/4). Let h = -29 - b. Is 12 a factor of h?
False
Let t(l) = -152*l - 141. Is 3 a factor of t(-3)?
True
Let m(z) = 9*z**2 - z. Suppose 5*v = -0 + 15. Is m(v) a multiple of 26?
True
Suppose 391*p + 459 = 394*p. Does 5 divide p?
False
Let f = -8 - -10. Let s be (-5070)/(-42) + f/7. Suppose -2*l - 3*b + 53 = -29, -3*l = 4*b - s. Is l a multiple of 8?
False
Suppose 229*z - 236*z = -973. Is z a multiple of 3?
False
Let s = 611 - 463. Does 13 divide s?
False
Let y = 29 + -26. Suppose 11 = y*f - 4. Suppose f*p = 34 + 41. Is p a multiple of 5?
True
Let l(f) = -f**2 + 9*f - 3. Let p be l(8). Let g be (6/(-4))/((-6)/20). Suppose 2*o = -5*d + 7, g*d - 81 + 26 = -p*o. Does 16 divide o?
True
Let j = -2 + 2. Suppose 2*p - 5 - 1 = j. Suppose 18 = 3*l + p. Is l a multiple of 2?
False
Let q be 5 + -6 + 3 - -1*17. Suppose -b + 4*b = -9, -2*k + q = 3*b. Is 7 a factor of k?
True
Suppose 27 - 347 = -20*w. Does 8 divide w?
True
Suppose -5*k + 2418 = r - 2*r, 5*r + 498 = k. Is k a multiple of 23?
True
Let d = 16 - 1. Let n = d - -36. Is 8 a factor of n?
False
Suppose -y + 865 = -4*l, 11*y - 2675 = 8*y - 4*l. Is y a multiple of 59?
True
Let d(r) = -55*r**3 + 4*r**2 + 5*r. Let a be d(-2). Let n = -78 + a. Suppose i + n = 5*i. Is i a multiple of 29?
False
Let o = 696 + -674. Is o a multiple of 19?
False
Let r(x) be the third derivative of -x**6/60 - x**5/30 - 5*x**4/24 - 2*x**3/3 + 8*x**2. Does 10 divide r(-2)?
False
Let s be (3 + -3)/((-30)/6). Suppose s = -x - 10 + 44. Is 6 a factor of x?
False
Let z(i) = i**3 + i**2 - i + 4. Let u be z(0). Suppose c = u*c + y - 19, 3*y = -5*c + 29. Suppose 5*o - 18 = c. Is o a multiple of 2?
False
Suppose -5*s - 32 + 1713 = 3*v, 2188 = 4*v - 4*s. Does 24 divide v?
True
Let j(v) = 8*v**2 - 15*v + 83. Does 64 divide j(9)?
False
Let r(j) = 53*j**3 - j**2 + 2*j - 2. Suppose -9*q + 3 = -6*q. Is r(q) a multiple of 26?
True
Suppose -4*g + 5 = -2*h - 7, 0 = -g + 2*h. Suppose -g*n = -14*n + 290. Does 8 divide n?
False
Let g(f) = 17*f + 7. Suppose 86 = 8*k + 22. Is g(k) a multiple of 13?
True
Let a = -13 - -13. Suppose b = v, -3 = b - a. Let m(n) = -4*n + 3. Is 10 a factor of m(v)?
False
Is 26 a factor of 1455 + -5 + (-60)/(-10)?
True
Suppose 0 = -2*m + 17*d - 19*d + 2512, -4*d + 1262 = m. Does 57 divide m?
True
Let n(r) = -11*r**3 - 2*r - 1. Let a be n(-1). Let u = 14 - a. Is (-7 + 3 - u)*-1 a multiple of 6?
True
Suppose v = 2*v + 2*j - 479, 16 = 4*j. Let q = 905 - v. Is 31 a factor of q?
True
Let z(l) = -22*l - 6. Let y be z(-7). Suppose -248 = -11*w + y. Does 12 divide w?
True
Is 5 a factor of ((-3848)/(-182))/((-2)/(-7))?
False
Suppose -2*j - 9*y + 656 = -4*y, 8 = 4*y. Is j a multiple of 46?
False
Suppose 761*m - 766*m = -2895. Does 16 divide m?
False
Suppose a + 2 = 7. Suppose 3*t = t + 10, a*o = 2*t. Suppose -3*z + o*z = 4*x - 23, -4 = x. Is z a multiple of 13?
True
Is (5586/70)/((-1)/(-5)) a multiple of 19?
True
Let v(m) = 2*m - 4. Let z be v(3). Suppose -z*o + f = 6, 3*o - 5*o - 4*f = 6. Is 13 a factor of (-18)/o*(-51)/(-9)?
False
Let d(l) = -l**3 + 15*l**2 - 15*l + 13. Is 26 a factor of d(13)?
True
Let z be 2*4 + 6 + -5. Suppose z*i + 942 = 15*i. Does 27 divide i?
False
Let m = 3684 + -2532. Is 64 a factor of m?
True
Let g = 8 + -8. Let k = g - -3. Let c(v) = 3*v**2 + 2*v - 3. Is 9 a factor of c(k)?
False
Let z(j) = j**3 + 15*j**2 - 31*j + 20. Suppose -20*q + 19*q - 16 = 0. Is 20 a factor of z(q)?
True
Suppose 33*d = 38*d + f - 526, 103 = d - 2*f. Does 3 divide d?
True
Suppose 0 = -229*r + 187*r + 25032. Is 5 a factor of r?
False
Let a be ((-14)/2)/(1/(-2)). Let n be 7/a + 6/4. Suppose n*k - 4*z - 4 - 12 = 0, 5*k + 5*z = 25. Is 6 a factor of k?
True
Suppose -16 = -2*b - 4*p, 4*b - 53 - 3 = 4*p. Suppose 2*v + b = -2*v. Is 6 a factor of (-12)/(-8)*(-38)/v?
False
Let q = -7 - -18. Let h = q - 8. Suppose 3*k + 3*r - 3 - h = 0, r = -5*k + 22. Is 2 a factor of k?
False
Let h = -4 - -6. Suppose h*k + 2*k + 48 = 0. Is (k/(-10))/((-1)/(-25)) a multiple of 9?
False
Let z(r) = -r**2 + 2*r + 51. Let c be z(0). Suppose -c = 3*p - 0*p. Let m = 23 + p. Is 6 a factor of m?
True
Let a be 416/(-5) - 9/(-45). Let x be 9/6*34*a. Does 18 divide x/(-119) + 3/7?
True
Let p(d) = d - 4. Let b be p(8). Let x = 9 - 0. Let h = x - b. Is h a multiple of 3?
False
Suppose f + 200 = 9*f. Is f - (2 - -1)/((-21)/14) a multiple of 8?
False
Let i = -7 - -12. Suppose 2*n + i = -3*v - 2*v, -3*v = -n - 19. Let j = n - -72. Is 13 a factor of j?
False
Let b be (12/(-10))/((-9)/30). Suppose -107 = b*l + 181. Let g = -48 - l. Is 8 a factor of g?
True
Suppose 2*l - l = 2*j - 1078, -5*j + l + 2698 = 0. Is 20 a factor of j?
True
Let s be (-8 + 2)*(-189)/(-42). Let i = -4 + 2. Is 6 a factor of i/2 - s/1?
False
Let p = -32 - -34. Let d = 5 - p. Suppose 343 = d*j + c, 4*j - 333 = 2*c + 131. Is 35 a factor of j?
False
Suppose 10*o + 138 - 1278 = 0. Is o a multiple of 6?
True
Let h = -46 + 113. Suppose -h + 16 = -3*i - 3*q, q + 49 = 2*i. Does 22 divide i?
T