ultiple of 16?
False
Let q(u) = u**2 - 30*u + 384. Is q(54) a multiple of 101?
False
Let r(t) = 145*t - 763. Is r(10) a multiple of 91?
False
Let w = 52 - 9. Is 43 a factor of w?
True
Is 31 a factor of 4*2141/18 - (-4)/18?
False
Let j = -20 - -28. Suppose -74 = -j*h + 94. Is 3 a factor of h?
True
Suppose 5*z + 2*d = 5*d + 22, -3*z + 5*d = -26. Suppose 0 = -2*r + 7 - 3, 2*b = z*r - 14. Is 4 a factor of (-1 - 1)*b/2?
False
Let u(c) = 14*c + 0 - 4 - 4. Let z(w) = 27*w - 15. Let h(b) = -9*u(b) + 5*z(b). Does 21 divide h(5)?
True
Let b(f) = f**3 - 14*f**2 + 13*f + 3. Let m be b(13). Is m/(-18) - 508/(-24) a multiple of 5?
False
Let q(m) = -m**2 - 3*m - 2. Let x be q(-4). Let t be -2 + 12 - (-6)/x. Suppose -t*z - 11 = -10*z. Is 3 a factor of z?
False
Let i(v) = -4*v**2 + 5*v + 5. Let s(x) = -x**2 + x + 1. Let a(b) = 2*i(b) - 10*s(b). Let l be a(-1). Suppose -l*c + 117 - 5 = 0. Does 28 divide c?
True
Let c = -4 + 6. Suppose -c*h = 4*d - 4*h - 436, -d - 5*h + 131 = 0. Is d a multiple of 37?
True
Let s(r) = -117*r + 2. Let f be s(1). Let h = f - -55. Is (5/4)/((-3)/h) a multiple of 5?
True
Let b(w) = -w**2 + 5*w + 9. Let q be b(7). Suppose u + 0 = -4*t + 23, -2*u - t + 39 = 0. Let c = u + q. Is c a multiple of 5?
False
Let p(y) = -3*y + 7. Suppose -2*l + 3*z - 19 = 0, 7 = 5*z - 18. Let v be -2 + (-6)/(l/(-1)). Does 22 divide p(v)?
True
Let q(w) = w**3 + 9*w**2 + 8*w - 9. Let o be q(-8). Let a(u) = u + 13. Let r be a(o). Suppose 12 = r*v, 2*c - v = -5*v + 120. Does 13 divide c?
False
Let n(z) = z**3 + 6*z**2 - 6*z + 10. Let q be n(-7). Let v be (q/(-5) + 1)*5. Suppose 4*h - 116 = 2*c, 0*c + v*c = 8. Is h a multiple of 28?
False
Suppose -3*w + t + 33 = -2*w, 3*w - 98 = 2*t. Is w a multiple of 16?
True
Let x = -20 - -31. Let p = 61 - x. Does 10 divide p?
True
Let a = 538 - 345. Is 9 a factor of a?
False
Suppose 2*w + 28 = -5*u, -2*w + u = -3*u - 8. Let l be ((-2)/(-4))/(w/576). Let r = l + 119. Is 13 a factor of r?
False
Let b = 1 + 14. Suppose 0*m - b = -5*m. Suppose 118 = m*t - 50. Is 17 a factor of t?
False
Suppose -16*z - 402 = -13*z. Let x = z - -194. Does 12 divide x?
True
Let a(i) = 3*i - 6. Let p be (-36)/(-126) + (-54)/(-7). Is 18 a factor of a(p)?
True
Let l = 350 - 36. Does 24 divide l?
False
Suppose 0 = 12*f - 420 - 12. Is f a multiple of 3?
True
Suppose 0*u = 4*u + 4*w - 16, -4*w = -2*u + 32. Suppose a + 2 = u. Is 15 a factor of (-8)/(-24) + 268/a?
True
Let x(t) = t - 14. Suppose -3*h + 42 = -0*h. Let g be x(h). Suppose -4*u + 0*u + 64 = g. Is 10 a factor of u?
False
Let d = 2250 - 150. Is d/27 + (-22)/(-99) a multiple of 48?
False
Let z(l) = 2*l**2 - 5*l - 4. Let k be z(5). Does 27 divide 10/35 + 1128/k?
True
Let j(m) = m**2 + 6*m + 19. Let t be j(-5). Suppose -108 = -t*h + 5*h. Is 4 a factor of h?
True
Suppose 0 = -m - 0*m + v + 463, 4*v = 3*m - 1392. Is m a multiple of 20?
True
Let d = 629 - 553. Is 2 a factor of d?
True
Let l = 50 - 38. Suppose -2*a - 34 = -h - l, 4*a = -4*h + 124. Is 4 a factor of h?
True
Does 7 divide 3 - (12 + -4) - -74?
False
Suppose 5*d - 15 = 2*a, 4*a + 2 + 1 = d. Is 330/(-18)*9/(-1 - a) a multiple of 24?
False
Suppose 0*f - 2*f = 2*i - 238, -i = -3*f - 111. Suppose -5*o + i = 5*z + 7, -3*z + 61 = -2*o. Is 5 a factor of z?
False
Suppose -b = -2*z - 5, 0 = -2*z - b - b + 10. Suppose -4*m - 3*m + 266 = z. Is 19 a factor of m?
True
Let l(g) = 66*g**2 + 5*g - 51. Let u(m) = 13*m**2 + m - 10. Let f(k) = -2*l(k) + 11*u(k). Does 11 divide f(-3)?
True
Let h(s) = -214*s + 6. Let p be (2/2 - 0)/(-17 + 16). Is 43 a factor of h(p)?
False
Suppose 0 = 2*m + 2*m - 24. Suppose m = -5*y - u, 2*u + 14 = -5*y + 3*u. Is 7 a factor of 26*(-1)/y*1?
False
Let h = 277 + -244. Does 2 divide h?
False
Does 95 divide 4*(-3 + (-6 - -113))?
False
Suppose 2*z + 27 = 5*u, -4*u + 22 = -z - z. Suppose 3*h = -0*f + 2*f + 7, 2*h + u*f - 30 = 0. Does 5 divide h?
True
Let p be (-16 + (-15)/(-5))*2. Does 26 divide (-4)/p + (-4050)/(-39)?
True
Let b = -2 + 2203. Is b a multiple of 114?
False
Let g(u) = u**2 + 4*u + 3. Let j be g(-3). Suppose 2*o - 5*o = j. Suppose 4*d + o*d = 280. Does 14 divide d?
True
Is 0 - -599 - 3/(-3 + 4) a multiple of 36?
False
Let y(w) = -3*w**2 + 4*w + 10. Let c be y(5). Does 12 divide (375/20)/((c/48)/(-5))?
False
Suppose 46*p + 43*p - 373088 = 0. Is p a multiple of 17?
False
Let m(k) = 2*k**2 + k - 7. Does 5 divide m(-6)?
False
Let o(a) be the second derivative of -19*a**6/720 - a**5/40 - a**4/2 - 5*a. Let m(w) be the third derivative of o(w). Does 18 divide m(-3)?
True
Let h be (-79)/(-4) + (-4)/(-16). Suppose 0 = -0*q + 2*q - t - 4, 0 = -3*q + 5*t + h. Suppose b - 41 = 4*g + 11, 5*b - 5*g - 245 = q. Does 24 divide b?
True
Suppose 0 = 2*r - 18 + 16, 4*r + 4401 = 5*q. Does 26 divide q?
False
Suppose -2*w + 5*w - 400 = 2*x, 0 = w - 3*x - 145. Is (-6)/(-4 - (-505)/w) a multiple of 21?
False
Let r = 88 - 125. Let g = -9 - r. Does 9 divide g?
False
Let j be 11 + 1 - (12 - 15). Let o = 18 - j. Suppose 0 = 4*n - o*n - 46. Is 8 a factor of n?
False
Suppose -y = 17*q - 14*q - 4364, 4*y - 17456 = 3*q. Is 22 a factor of y?
False
Suppose -941*t + 937*t = -4056. Does 92 divide t?
False
Suppose 2*g + 44 = 6*g. Let i = -7 + g. Suppose -2*q - 30 = 5*a - 210, i*a - 144 = 3*q. Is 6 a factor of a?
True
Let a(s) = -s**3 - 6*s**2 - 2*s - 9. Let t be a(-6). Suppose 0 = -t*q - 4*o + 279 + 7, 0 = -5*q + o + 492. Does 12 divide q?
False
Suppose -2*r - 226 = 142. Let k = -112 - r. Is k a multiple of 24?
True
Suppose 12*l + 12*l = 1776. Is l a multiple of 3?
False
Suppose -113*n = -111*n - 2*d - 880, 4*n - 1792 = -4*d. Is 12 a factor of n?
True
Let t = 88 + -34. Suppose -5*g + t = -5*m - 156, -27 = m + 2*g. Let y = m - -53. Is 4 a factor of y?
True
Suppose -2*r - 23 = -3. Let u(w) = w + 1. Let b be u(r). Let f = 7 - b. Is f a multiple of 9?
False
Let f(w) = -w + 7. Let s be f(6). Let y = 1 + s. Suppose -n - 52 = -y*n. Is n a multiple of 20?
False
Suppose -18 = -y - 8. Let j(i) = -i**3 + 9*i**2 + 18*i - 40. Is 20 a factor of j(y)?
True
Suppose -1140 = g + 4*g. Let s = g + 119. Let o = 163 + s. Is o a multiple of 8?
False
Suppose 3*h + 3 = 0, -4*k + 0*k + 4*h - 4 = 0. Does 10 divide 18 - -3 - k - -4?
False
Let s(k) be the third derivative of 1/12*k**4 + 3/20*k**5 + 3*k**2 + 0*k + 0 + 1/6*k**3. Is s(-1) a multiple of 3?
False
Let w = -26 + -2. Let u = 77 + w. Does 7 divide u?
True
Let b be (4/10)/((-11)/(-1430)). Suppose 4*x - b = -0*x. Is x a multiple of 4?
False
Let d(t) = 19*t**2 - 24*t - 302. Is d(-11) a multiple of 11?
False
Let k = -10 - -15. Suppose 0*n + k*n = -i + 20, -3*i = 5*n - 20. Suppose -4*d + 2*o = -164, n*d - 2*o - 170 = -3*o. Does 14 divide d?
True
Let s(l) = -21*l - 9. Suppose -6*f + 5 = -7*f. Is s(f) a multiple of 32?
True
Is 31 a factor of (4 + (-14 - -8))/((-6)/1347)?
False
Let i be 1*(-3 + 9)*(-20)/(-15). Suppose 7*p + 24 = i*p. Is 5 a factor of p?
False
Let h(l) = 2*l - 25. Let b be h(14). Suppose 0 = b*m - n - 509, -2*m - m + 3*n + 501 = 0. Does 19 divide m?
True
Let n = -8 - -10. Suppose 4*x - 10 = 2*w, -5 = -x - 0*w - n*w. Suppose 2*i - 9 = -b + 60, x*i - 5*b - 71 = 0. Is 9 a factor of i?
False
Let s(n) = -1. Let u(b) = 2*b - 42. Let w(j) = 12*s(j) - u(j). Is 2 a factor of w(11)?
True
Let y(a) = -2*a + 2. Let o(d) = d**2 - 7*d + 1. Suppose 3*z = 3 + 12. Let u be o(z). Does 9 divide y(u)?
False
Suppose -10*f - 3*f = -4147. Does 29 divide f?
True
Let j(t) = -t**3 + t**2 - t + 1. Let n(l) = -6*l**3 - 5*l**2 - 15*l. Let o(f) = -5*j(f) + n(f). Let g be o(-9). Is (32/g)/(-4) + 110 a multiple of 19?
False
Suppose -1439 = -x + 615. Is 13 a factor of x?
True
Suppose 2*a - 2 + 4 = -4*g, -5 = 5*a. Suppose g*d + 2*d - 4 = 0. Suppose 4*m + 60 = d*c, -2*c + 5*m + 33 + 31 = 0. Is c a multiple of 5?
False
Suppose 4*z + c - 17 = -0*c, -12 = z - 3*c. Suppose -z = -6*o + 3*o. Let q(k) = 86*k**3 + k. Does 21 divide q(o)?
False
Let i(k) = 120*k. Is 20 a factor of i(1)?
True
Let c = 29 + -79. Let w = c - -67. Does 2 divide w?
False
Suppose -4*d + 2*u + 2*u + 4 = 0, -4*d = 2*u - 10. Suppose -t + r = -2*t - 1, r = d*t + 2. Does 11 divide -26*(-1)/(t/(-2))?
False
Suppose -2*p - 6 + 46 = 0. Let q = 44 + p. Does 32 divide q?
True
Suppose -2*i = -3*g - i - 75, -2*g + 5*i - 50 = 0. Let v = 0 - 5. Is v/g - (-324)/5 a multiple of 20?
False
Let n = 63 + -1