5. Suppose -7*r + 2*r = -g. Is r a multiple of 12?
False
Let g(h) = 1 - 3*h - h**2 - 6 + 2 + 0. Let n be g(-3). Does 10 divide 13 + 4 - 1*n?
True
Suppose -54*l + 39*l = -3630. Is 57 a factor of l?
False
Let u = 331 - 247. Is 6 a factor of u?
True
Let m be 6/10 - (-910)/25. Let j = 91 + m. Let t = -73 + j. Does 16 divide t?
False
Let v = -7 - 26. Let z = -9 - v. Does 24 divide z?
True
Let m(d) = -3*d - 21. Let n be m(-6). Does 8 divide -1 + 12*(n - -11)?
False
Let q(t) be the first derivative of -5 - 3/2*t**2 + 3*t. Does 7 divide q(-3)?
False
Suppose 5*y + 2334 = 3*k, 1410 = 3*y - 6*y + 5*k. Let a = 660 + y. Does 13 divide a?
True
Suppose -2*s = -5*x + 1716, 0*x + 5*x + s = 1722. Let n = x + -239. Does 5 divide n?
True
Suppose 5*d + 205 = -0*d. Let r = -20 - d. Suppose r*c = 22*c - 29. Does 10 divide c?
False
Let l = 229 + 291. Does 40 divide l?
True
Suppose 0*m + 2*m = 0, 3*z = -5*m + 1578. Suppose -2*t + 10 = 0, i - z = -i + 4*t. Is 13 a factor of i?
True
Let q(h) = 26*h**2 + h - 7. Is q(-4) a multiple of 21?
False
Let r = 719 - 599. Does 5 divide r?
True
Suppose 0 = -y + 22 - 18. Suppose -3*g = -6, 4 = y*r - 2*g - 0. Suppose -65 - 21 = -r*w. Does 14 divide w?
False
Let c(u) = u**3 - 10*u**2 + 7*u + 21. Let a be c(9). Suppose 55 = f - 5*x, 0*f - 5*x = -a*f + 175. Does 8 divide f?
False
Let c = -3 - -12. Suppose 0 = -c*m + 7*m + 92. Is m a multiple of 8?
False
Let a(i) = -i**2 + 12*i + 18. Does 9 divide a(12)?
True
Suppose -5*s + 7 = -18. Suppose -2*n = -w + 72, 4*n = 3*w - s*w + 144. Suppose y - w = -2*y. Does 9 divide y?
False
Let a be (-3)/9 + (-214)/(-3). Let q be 1/4 - 95/(-20). Suppose q*b = a + 24. Does 19 divide b?
True
Let r(x) = x**2 - 8*x + 148. Is r(0) a multiple of 27?
False
Suppose 14*w = 13*w + 53. Let m = w - 30. Is 4 a factor of m?
False
Let j be 0/(-1 + 4) + -2. Let v be j/8 + 645/20. Suppose 3*d - v = 10. Does 7 divide d?
True
Let p(b) = 156*b - 1. Let c be p(2). Suppose -4*g + 5*y = -c, -g + y = -6*g + 396. Suppose 0 = -5*a - 4 + g. Is a a multiple of 15?
True
Let h = 35 - 25. Suppose h*k = 4*k + 846. Does 40 divide k?
False
Let n(u) = u**3 + 6*u**2 - 8*u - 7. Let x be n(-7). Let a be 0 + x + 0/(-6). Suppose -3*q - 3*f = -63, a*f - 3*f = -q + 5. Is 10 a factor of q?
False
Let t = -6 - -10. Suppose 5*b = 4 + 11, 0 = t*i - 5*b - 269. Is i a multiple of 29?
False
Let l be 127 + 5/(25/20). Let s = 314 - l. Is s a multiple of 11?
False
Suppose -5*d - 25 = 3*p, d + 5*p - 3*p = -5. Let q be 4 + (-30)/d*-11. Let a = q + 91. Does 16 divide a?
False
Suppose 3*m - 2852 = 5*j - j, 5*m - 4736 = -2*j. Is 12 a factor of m?
True
Let c(h) = 2*h - 30. Let f be c(15). Suppose f = j - 27 + 5. Is j a multiple of 9?
False
Let q = 247 + 55. Suppose -3*r + 2*r = -3*m - 640, 8 = 2*r. Let l = m + q. Is 30 a factor of l?
True
Let l = 4349 - 2008. Does 80 divide l?
False
Suppose k = 3*q - 0*q - 25, 35 = 5*q + 5*k. Let h(u) = -u**2 + 5*u. Let n(j) = -j**2 + 6*j. Let f(o) = -3*h(o) + 2*n(o). Does 17 divide f(q)?
False
Let f(i) = 8*i - 138. Does 3 divide f(18)?
True
Suppose 3*b + 1 = 2*a, 2 = 2*b + 5*a - 10. Let f be (1/b)/(-1)*4. Does 2 divide (-13)/f - 3/(-4)?
True
Let j = -30 - -32. Suppose s - 46 = j*f - 3*f, f - 88 = -2*s. Does 11 divide s?
False
Suppose 2*y - 27 = -7*y. Suppose -4*j = -y*u + 131, u + 4*j - 47 = 2*j. Does 5 divide u?
True
Let r = 768 + -328. Is 5 a factor of r?
True
Let p(c) = -113*c + 1. Let t be p(-2). Suppose 14 - t = -3*d. Is d a multiple of 9?
False
Let u = -558 + 2404. Is u a multiple of 142?
True
Let h(v) = v**3 - v + 5. Let q be h(0). Suppose -22 = -4*y - 5*x, 2*y - q*x = 3*y - 13. Let k = y - -8. Is k a multiple of 5?
False
Let s = 47 + -56. Is (-6)/s*690/(-8)*-2 a multiple of 17?
False
Let j = -11 - -3. Let z be j/12 + 19/(-3). Is 10 a factor of (z/(-2))/((-12)/(-72))?
False
Let p be 4/24 - (-46)/12. Suppose -12 = -3*c - 2*q, -2*q - p = -2*c - 3*c. Does 11 divide ((-3)/(-6))/(c/84)?
False
Suppose -5*c - v + 7400 = 0, -v = 2*c - 3155 + 192. Does 11 divide c/34 - 1/(-2)?
True
Suppose 4*w = -7*m + 4013, -7*m + 3*m = 5*w - 5040. Is w a multiple of 88?
False
Suppose 6932 = 2*o + 4*y, 0*o - 4*o = -y - 13819. Is o a multiple of 16?
True
Is (40/30)/(28/(-6))*-63 a multiple of 6?
True
Suppose -3 + 11 = 4*j. Let x = 144 - 98. Suppose j*w = 7*w - z - 115, -2*w + z = -x. Is 6 a factor of w?
False
Does 50 divide (1 + 0)/((-3945)/(-1314) + -3)?
False
Suppose -483*r = -480*r - 399. Is r a multiple of 6?
False
Let i(x) = x**3 - x + 1. Let l(a) = -24*a**3 - 3*a + 4. Let j(b) = 5*i(b) - l(b). Suppose -9*y + 2*y = -7. Is j(y) a multiple of 7?
True
Let s be 16/5 + 8/(-40). Let b(l) = l + 2. Let g be b(s). Suppose -h - 196 = -g*h. Is h a multiple of 11?
False
Let s be ((-20)/(-12) - 0)*3. Suppose 0 = 2*y - s*k - 3, 5*k - 1 = 3*y - 8. Does 2 divide y?
True
Suppose 120*k + 9570 - 47970 = 0. Is 10 a factor of k?
True
Let w(m) = m**3 + 5*m**2 - 5*m - 9. Let b = 3 + -9. Let a be w(b). Does 3 divide a*(2 + (-42)/15)?
True
Let u(z) be the second derivative of z**4/2 - 5*z**3/6 + z**2 - z. Let f be u(4). Suppose -f = -b - 2*b. Does 15 divide b?
False
Suppose 0 = -b + u + 620, 0 = -2*b + 4*b - 5*u - 1237. Is b a multiple of 22?
False
Let r(p) = 10*p - 11. Let g be r(5). Suppose y = -0*y + 5*q + 13, 5*q = -3*y + g. Is y a multiple of 7?
False
Let w be (2/(-3))/(5/(-240)). Let a = 53 - w. Suppose -2*t + 3*l - a = -4*t, -t + 7 = -2*l. Is 9 a factor of t?
True
Let r(s) = -s**3 + 4*s**2 + 4*s - 6. Let v be r(5). Let w(g) = 0*g + 4*g - 5*g - 3*g + 1. Does 15 divide w(v)?
True
Let i = 15 - 12. Suppose -4*u = -5*s + 115, s - i*u = 19 + 15. Is s a multiple of 2?
False
Suppose -5*t - 3*g + 708 = 0, -279 - 21 = -2*t + 3*g. Suppose 2*u = 8*u - t. Does 12 divide u?
True
Let o = -44 + 58. Let u = o - 8. Does 3 divide u?
True
Let t(m) = -21*m**3 - 2*m**2 + 2*m - 1. Let l be t(1). Let n = 56 + l. Is n a multiple of 15?
False
Let n(j) = j**3 - 11*j**2 + 11*j - 8. Let h be n(10). Let w be -3 - (1 + -1) - h. Is 3 a factor of (-2 + 1)/(w/30)?
True
Suppose -9 = -4*f + 11. Suppose -f*o + 5 + 35 = 0. Is -2*(-4)/(o/37) a multiple of 27?
False
Let j(u) = -u + 9. Suppose 3*r - 14 = -2. Let o be -27*r/36*3. Is 18 a factor of j(o)?
True
Let j(n) = n**3 + 14*n**2 + 16*n + 68. Is 16 a factor of j(-13)?
False
Suppose -2*x - 29 + 77 = 0. Does 7 divide x?
False
Is 2 a factor of -1*8 + (-3136)/(-64)?
False
Let i(j) = -1 - j**2 + 8 + 5*j + 7*j**2 + j**3 + 2. Is 3 a factor of i(-5)?
True
Let y be 4/8*-7*(-35 + -1). Let t be (0 - 0)/1 + -75. Let k = t + y. Is 17 a factor of k?
True
Let f(g) = 23*g - 11. Let j = 97 + -95. Does 5 divide f(j)?
True
Let w be 9*(-6 + 3 - 0). Let s = 5 - w. Does 9 divide s?
False
Let s(k) = -k**3 + 34*k**2 + 8*k - 72. Is s(34) a multiple of 40?
True
Let b(w) = w**3 + 15*w**2 + 16*w - 25. Suppose 2*g + 12 + 10 = 0. Is 25 a factor of b(g)?
False
Suppose -2*g - f + 118 = -82, -494 = -5*g - 4*f. Suppose 0 = 15*m - 14*m - g. Does 34 divide m?
True
Let z = -1185 + 2015. Does 24 divide z?
False
Let i(t) = 44*t**3 + 5*t**2 + 5*t + 8. Let y(u) = -110*u**3 - 12*u**2 - 12*u - 20. Let x(p) = -12*i(p) - 5*y(p). Is 30 a factor of x(2)?
True
Let z = -177 - -189. Does 4 divide z?
True
Let y(c) = -c - 5. Let a be y(-12). Let g be a - ((-3)/(-1) - 6). Suppose 76 = 2*p + g. Does 12 divide p?
False
Suppose 4*f - 3*o = 1308, 2*o + 656 = 8*f - 6*f. Does 7 divide f?
False
Let x = 23 + -27. Is ((-9)/(-6) - (-462)/x)/(-2) a multiple of 4?
False
Let j = -502 - -1276. Is j a multiple of 32?
False
Suppose -2*t - 2 = -10. Suppose q - 552 = -4*u, 0 = t*u - 2*q - 712 + 172. Is u a multiple of 15?
False
Suppose 10*h - 55520 = -0*h. Is 15 a factor of h?
False
Suppose 11 + 3 = 2*g. Let q = g + -5. Suppose -q*s = -178 + 22. Does 26 divide s?
True
Let n(o) = o**3 + 10*o**2 + o - 51. Is n(-6) a multiple of 29?
True
Suppose 0 = 2*d + 35 - 5. Let y = 26 - d. Suppose 3*t - y = n + 22, -2*t + 47 = n. Is t a multiple of 11?
True
Let r(u) = u**2 + 45*u + 30. Let k(p) = -15*p - 10. Let g(o) = 7*k(o) + 2*r(o). Let b be 8 - (2 + 1)*-1. Is g(b) a multiple of 24?
False
Does 7 divide (-27 - 1)*(-287)/28?
True
Let s(m) = 15*m**2 - 14*m + 3. Let c(o) = -7*o**2 + 7*o - 1. Let n(a) = 13*c(a) + 6*s(a). Let w be n(8). Does 11 divide (16/(-10))/(w/75)?
False
Let m(f) be the second derivative of 7*f**4/4 + f**3/