vative of -d**5/60 - 3*d**4/4 - 4*d**3/3 - 6*d**2. Let w be t(-18). Let s(g) = -6*g - 17. Does 13 divide s(w)?
False
Let q = 117 + -121. Let c(v) = -12*v - 14. Is c(q) a multiple of 17?
True
Let q be ((-2)/(-2) + -5)/((-70)/175). Does 2 divide 6*q/4 + -2 - 0?
False
Let b = -1392 + 1597. Does 23 divide b?
False
Suppose v = 4*l + 21, l + 5*v + 20 = -1. Is 15 a factor of 1/((-4)/18)*l?
False
Suppose 5*a + 174 = 2*r - 274, 4*r = -4*a + 952. Is 78 a factor of r?
True
Let m(j) be the third derivative of 5*j**4/12 - 5*j**3/3 + 4*j**2. Let x be m(8). Suppose -h - 4*h = -x. Does 7 divide h?
True
Let n(l) be the first derivative of -l**6/360 + l**5/20 + l**4/4 - 7*l**3/3 - 4. Let g(o) be the third derivative of n(o). Is 6 a factor of g(6)?
True
Let c(o) = -12*o**3 - 5*o**2 - 2*o + 1. Let a be c(-3). Suppose -a = -4*s + 50. Does 14 divide s?
True
Suppose 7 = 4*i - 4*t - 5, 2*i = 4*t + 4. Let v(x) = -11*x + 4. Let s be v(i). Let z = s + 61. Is z a multiple of 9?
False
Let q(f) = -f**3 + 29*f**2 + 16*f - 22. Is 5 a factor of q(28)?
True
Is 31 a factor of (155 + -1488)/(1 - 2)?
True
Suppose -5*p + 15 = 0, -7*p + 5*p - 279 = -5*h. Does 7 divide h?
False
Let o(j) = -7 - 4*j + j**3 + 3*j**2 - 13*j + 6*j. Is 7 a factor of o(-4)?
True
Suppose 10*t - 5*t = 0. Suppose 3*c + 0*c - 12 = t. Suppose z - c*b = 6*z - 192, z + 4*b = 32. Does 11 divide z?
False
Let p be (-5)/((-5 - -2)/3). Let d be 10/p*3/2. Suppose -6 - 39 = -d*y - 3*n, n = -4*y + 45. Is 10 a factor of y?
True
Let t = -19 - 0. Let m = -10 - t. Suppose 2*b - 49 = m. Is b a multiple of 25?
False
Let l be 6/(24/20) + -38. Suppose -3 = -3*m - 0*m, m + 374 = 5*i. Let z = i + l. Is 14 a factor of z?
True
Suppose 0 = -5*l + 5, 2*j = 3*l + 1773 + 2256. Is 63 a factor of j?
True
Let v(q) = -3*q**2 + 9*q + 4. Let k be v(3). Let y = 50 + -30. Let o = y + k. Is 24 a factor of o?
True
Let n(z) = -z**3 + 12*z**2 - 12*z + 8. Let a be n(8). Suppose d = 2*x + 3*d - a, -311 = -4*x + d. Is x a multiple of 7?
False
Let y be ((-1)/1)/(5/(-190)). Let i = -35 + y. Suppose 4*o + 2*s - 122 = 0, -2*o + i*s = 3*o - 147. Is o a multiple of 5?
True
Let b = 11 - 5. Suppose -3*t - 3*r = -2*t + 9, b = -2*r. Suppose -3*y = 4*v - 98, 3*y - 124 = -5*v - t*y. Is v a multiple of 19?
False
Let v(x) = -x**2 + 5*x. Let s be v(5). Suppose -q + 25 + 8 = s. Suppose -2*f + q = -15. Does 12 divide f?
True
Let l = 11 - 63. Let y = 76 + l. Is y a multiple of 12?
True
Suppose -v + 0 = 10. Is ((-16)/v)/(20/250) a multiple of 10?
True
Let m = 2070 - -1360. Is 98 a factor of m?
True
Let d(y) = -4*y - 136. Let i be d(-33). Let k(r) be the second derivative of -r**5/20 - r**4/6 + r**3/3 + r**2 - 2*r. Is k(i) a multiple of 13?
True
Let g be (-9)/(-2)*76/(-57). Is (-520)/(-30) + 2/g a multiple of 2?
False
Let j be (-2)/8 - 146/(-8). Suppose -260*q + 257*q = -5*c - 18, 0 = 5*c + 2*q + 38. Does 7 divide (-86)/(-6) + c/j?
True
Let t(u) = -2*u**3 + 60*u**2 + 48*u - 58. Does 22 divide t(28)?
True
Let f(q) = q**2 + 24*q + 183. Is f(-11) a multiple of 5?
True
Suppose 2*v - j - 5 = 290, 2*j = -4*v + 602. Suppose 0 = 3*o - v + 59. Is 15 a factor of o?
True
Suppose 13630 = 3*o + 6562. Is o a multiple of 62?
True
Let v be 1/3 - (-2)/(-6). Let n(m) = 3 - 6*m - m**2 + v - 4. Is n(-4) a multiple of 5?
False
Suppose -2*g - 2 + 2 = 0. Suppose -2*f - 5*k + 280 = g, f - 4*f + 5*k = -420. Is f a multiple of 60?
False
Let i = -137 - -207. Suppose s - 3*s = -i. Does 6 divide 203/s - 1/(-5)?
True
Does 18 divide (5 + 8)/(17/1768)?
False
Suppose -2*s + 1632 = 2*b, -b = 4*s - 0*s - 825. Suppose 7*l - b = -232. Is 18 a factor of l?
False
Suppose 2*x + 907 = v, 4*v - 29*x + 24*x - 3640 = 0. Is 12 a factor of v?
False
Let x = 9327 - 6458. Does 80 divide x?
False
Suppose -2*g - 2*b + 38 = -502, 0 = -3*g + 2*b + 800. Does 30 divide g?
False
Let s be ((-23)/(-5) + -3)/(2/20). Is 3 a factor of (s/6)/(22/198)?
True
Let k(p) = -p**3 + 11*p**2 + 9*p - 52. Is 14 a factor of k(-8)?
True
Suppose -2*k + 3 + 3 = 0. Suppose 5*p + k = -3*g + 2*p, 0 = 5*g - p + 35. Let h(o) = 4*o**2 + 11*o - 3. Does 13 divide h(g)?
False
Suppose -3 = k - 18. Suppose 4*s - 108 = -5*c + c, -5*s = k. Suppose 2*o - 3*o = -c. Is 10 a factor of o?
True
Let w = -111 + 296. Is 37 a factor of w?
True
Suppose 35*o - 86800 = 7*o. Does 50 divide o?
True
Let j(d) = -3*d**2 + 14*d - 4. Let f(l) = l**2. Let p(z) = 2*f(z) + j(z). Is p(10) a multiple of 9?
True
Let k(f) = -f**3 - 16*f**2 - f - 12. Let t be k(-16). Suppose -t*z = -9*z + 1590. Is 49 a factor of z?
False
Let j be (-54)/12*(-1 + -1 - 0). Let f(z) = -z**2 + 22*z - 5. Is f(j) a multiple of 16?
True
Let m = 521 + -240. Is 19 a factor of m?
False
Let q(l) = l**2 + 2*l + 44 - l + 0*l + 0*l. Let d be q(0). Does 12 divide (-11)/(d/(-40)) + 2?
True
Let h = 85 + -84. Is ((h - 1) + -51)*-3 a multiple of 41?
False
Let o(f) be the second derivative of -23*f**3/6 + f**2/2 - 4*f. Let a be o(2). Is 9 a factor of a/2*18/(-15)?
True
Let d(b) = 3*b + 6. Let q = -14 + 14. Let f be d(q). Is 22 a factor of f/33 - (-2898)/33?
True
Let m(p) = -2*p + 27. Let z be m(-13). Let r = 149 - 68. Let c = r - z. Does 6 divide c?
False
Let q = 85 - 129. Is (q/16)/(1/(-44)) a multiple of 12?
False
Let s be 4/(-10) + ((-1848)/(-30))/4. Suppose -s*z + 11*z = -784. Is 49 a factor of z?
True
Suppose 5*c - 4125 = 5*h, -h + 10 - 7 = 0. Does 18 divide c?
True
Is 22 a factor of 0 + (-10)/(-4) + 118125/270?
True
Suppose 4*b + 3 = -4*t - 1, 5*t - 22 = 4*b. Suppose k = -t + 6. Suppose 3*y - 38 - k = -4*o, -y + 14 = -5*o. Is y a multiple of 6?
False
Let z = -2 + 11. Let s be z/(-12) - (-2)/(-8). Let k(f) = 13*f**2 + 1. Is 14 a factor of k(s)?
True
Suppose 0*h + 4*h - 5 = 3*b, -7 = 3*b - 5*h. Let s(u) = 101*u**2 + 7. Let d(m) = -50*m**2 - 3. Let g(w) = -5*d(w) - 2*s(w). Does 23 divide g(b)?
False
Suppose -85*u + 84*u + 757 = 0. Is 85 a factor of u?
False
Let c = 602 + -269. Is c a multiple of 37?
True
Let w(d) = d + 38. Let i be w(-17). Let p(j) = j**2 - 16*j - 51. Is 11 a factor of p(i)?
False
Suppose 5*d + p - 4676 = -2*p, 5*d - p = 4688. Is 14 a factor of d?
False
Let z be (-3)/18 - 5/(-30). Suppose z = -4*l - 9 - 19. Let n(a) = a + 18. Is n(l) a multiple of 11?
True
Let s be -30*(-5 - 22/(-6)). Suppose -i = -5*v - s, 2*i - 2*v - 43 = i. Is 15 a factor of i?
True
Let j be (-2 + -5)*((-468)/(-21))/(-2). Suppose 2*l + l - 58 = -5*t, 5*t - 2*l - j = 0. Is 9 a factor of t?
False
Suppose z - 71 = -27. Suppose 4*j = 3*j + 2*n + 24, 0 = -3*j - n + z. Does 4 divide j?
True
Let b(x) = -7*x + 12. Let p be b(-6). Suppose -y - 5*y = -p. Is 4 a factor of y?
False
Suppose 54*g + 27271 - 141535 = 0. Is g a multiple of 46?
True
Let m be (2/(-7))/((-4)/28). Suppose 0 = -h + m*h. Suppose 4*d + k - 137 = h, 2*d + 41 = 4*d - 5*k. Is d a multiple of 10?
False
Let l(m) = -148*m - 48. Is 44 a factor of l(-3)?
True
Suppose -3*b - 3*k = k + 10, 5*b = 4*k + 26. Suppose a - 123 = -b*t - 25, -86 = -2*t + 5*a. Is t a multiple of 8?
True
Suppose 7*t + 657 - 7832 = 0. Is 84 a factor of t?
False
Let j(v) = -87*v**3 + 5*v**2 + 4*v - 1. Is 25 a factor of j(-2)?
False
Let k(i) = i**3 + 11*i**2 + 16*i + 3. Let a be k(-8). Let z = a - 42. Is 25 a factor of z?
True
Suppose -3*q + 2*v = -1507, -2*v + 139 - 636 = -q. Is q a multiple of 48?
False
Let m(p) = 46*p - 5. Let f be m(4). Suppose -3*y + f = -61. Suppose -4*l = l - y. Is 8 a factor of l?
True
Suppose 0 = -0*i + 3*i + 84. Let q be ((-4)/7)/(8/i). Suppose 0 = o - 8 - q. Is o a multiple of 3?
False
Let r(l) = -7*l**3 - 8*l**2 - 16*l. Is 33 a factor of r(-3)?
True
Let r be 1/(-3) + 20/6. Suppose 5*g - z = 4*z + 255, 4*z - 56 = -g. Suppose r*u - 4*u = -g. Is u a multiple of 13?
True
Suppose 134*i - 379080 = 80*i. Is i a multiple of 15?
True
Let c be -1 - -1 - (0 - 5). Suppose -4*m - 4*q - 53 + 69 = 0, 5*m - 5*q = 0. Suppose -5*j = m*s - 65, 0*s + c*s + j = 105. Does 20 divide s?
True
Let q = -98 + 67. Let b = -55 + 100. Let m = q + b. Does 7 divide m?
True
Suppose -23*m = -22*m - 2. Suppose -3*p = m*n - 59 + 15, 0 = 3*n - 2*p - 66. Is n a multiple of 11?
True
Suppose 1116 = 4*c - 2*j, -274 = -c + 2*j + j. Does 28 divide c?
True
Let l(g) = g**3 + 17*g**2 - 15*g - 27. Let n be l(-18). Let w = 19 - n. Does 13 divide w?
False
Suppose 4*d - 5 = 11. Suppose -3*r + 16 = -0*r - 4*v, 5*r - d*v = 24. Suppo