ltiple of 9?
True
Suppose 3*m - 27 = 3*p - 7*p, 17 = 4*m - p. Suppose 1799 + 951 = m*c. Does 55 divide c?
True
Let w(c) be the second derivative of 2*c**3/3 + 95*c**2/2 + 3*c - 1. Does 4 divide w(12)?
False
Let r(g) = -11*g**3 - 3*g**2 - 2*g - 1. Suppose 2*d + 6 = 2*i, -d + 3 = i + 4. Let b be r(d). Suppose -4*u + 5*a = -b, u + 0*u - 24 = -3*a. Is 21 a factor of u?
True
Suppose 21*b = 6*b - 16950. Does 19 divide b/(5 - -1 - 8)?
False
Let l = 106 - -87. Let n be (-2)/(-4) + (l/2 - 0). Suppose -68 = -101*z + n*z. Is 4 a factor of z?
False
Is (-3)/(-6) - 641697/42*-1 a multiple of 11?
True
Suppose 0 = h - 4*u + 18, -4*h - 3*u + 2 = -21. Suppose 0 = 3*k - 0 - 6. Suppose k*f - 364 = -h*f. Does 15 divide f?
False
Let z(s) = 3*s**3 - s + 2. Let r be z(1). Is 12 a factor of r*((-161)/(-4) - (-4 - 0))?
False
Let k = 84 + 180. Let p = -150 + k. Is 19 a factor of p?
True
Let w be (4/6)/(-3 + 1650/549). Let b = -17 + w. Is b a multiple of 15?
True
Let n(b) = -804*b + 775*b - 3 - 3. Does 2 divide n(-2)?
True
Suppose 0 - 11 = -11*p. Suppose 27 = 7*j - p. Suppose 0 = -j*n + 416 - 116. Does 10 divide n?
False
Let q(y) = -26*y + 757. Let f be q(0). Let s = f - 458. Is 13 a factor of s?
True
Suppose o + 45637 = 2*z, 0 = o + 75 - 68. Is 195 a factor of z?
True
Let z(i) = 28*i - 138. Let s(x) = 5*x. Let c(k) = 3*s(k) + z(k). Is c(28) a multiple of 51?
False
Let j = 278 - 277. Let l(f) = 129*f**2 + 6*f - 5. Does 10 divide l(j)?
True
Suppose 5*d - 4*d - 5*f - 222 = 0, -5*d + 1188 = f. Suppose -6*p = d - 657. Is 7 a factor of p?
True
Is 30 a factor of 300/(-800) + (-913)/(-44)*(-3330)/(-4)?
False
Suppose 0 = -54*t - 158*t + 9439 + 17061. Is t a multiple of 2?
False
Let k(h) = 14*h - 15. Let b be k(-9). Let q = b + 281. Is 14 a factor of q?
True
Let m = 13716 - 13711. Suppose -2*b - 2*x = -490, -5*x - 26 = -6. Suppose 2*i = t - b, m*t - 855 = -5*i + 390. Is t a multiple of 28?
False
Suppose 0 = 20*g - 21*g + 4*c + 1031, 0 = -4*c + 16. Let r = g + -1522. Let f = r + 718. Is f a multiple of 9?
True
Suppose 0*l - l + 10 = 0. Let n(u) be the third derivative of u**6/120 - u**5/6 + u**4/24 - 2*u**3/3 + 4*u**2 + 1. Is n(l) a multiple of 6?
True
Suppose 0 = -w + 5*o + 4316 + 2926, o + 7266 = w. Does 36 divide w?
True
Let q(x) = 3*x**3 + 107*x**2 + 40*x + 228. Is q(-27) a multiple of 21?
True
Let n(j) = -4*j**3 - 48*j**2 - 36*j - 331. Is 3 a factor of n(-12)?
False
Does 25 divide (3/(-5))/((-445)/1390625)?
True
Let v(u) = -2 + 16*u - 1 - 6*u. Let t = 4111 - 4101. Does 49 divide v(t)?
False
Suppose 2283*j - 2316*j = -118371. Is 17 a factor of j?
True
Suppose -43*d + 0*d = 5*d - 126720. Does 240 divide d?
True
Suppose 4*a = 5*l + 99, -3*l = -3*a + l + 75. Suppose -j = 4*c - 11, c + 4 = -5*j + a. Suppose -6 = i - c*x - 4, 0 = -2*i + x + 11. Does 8 divide i?
True
Suppose 110 - 50 = 6*w. Is 9 a factor of 1*(0 - 1) + (w - -18)?
True
Suppose -79*c = 22*c - 366933. Is c a multiple of 21?
True
Let z = 155 - 107. Suppose c + 225 = 6*c. Let s = z - c. Is s a multiple of 3?
True
Suppose -40*n + 46006 = 4*x - 37*n, x = -3*n + 11515. Does 5 divide x?
False
Suppose 0 = -37*u + 42*u - 10, 2*m - u = 5372. Is m a multiple of 19?
False
Suppose -7 = -2*k - 3. Let a be 4/(-6) + (-172)/12. Does 3 divide 18/a*(-5)/k?
True
Let x(c) be the third derivative of -11*c**6/120 - c**5/60 + 7*c**4/24 + c**3/2 + 16*c**2 + 5. Is x(-4) a multiple of 31?
False
Suppose 4*q - 2*y - 6 = 0, 2*y = -2*y + 20. Suppose -q*h = 16, 0 = 4*u + 4*h - h - 616. Does 4 divide u?
False
Suppose 0 = 79*v - 89*v + 40. Suppose 4*t - 5619 = t + 2*u, -3746 = -2*t + v*u. Is t a multiple of 14?
False
Suppose 5*f - 4*r + 41 = 0, 4*r + 26 = -5*f - 23. Let h = 14 + f. Suppose 0 = -h*p + 102 + 108. Is p a multiple of 19?
False
Let i be ((-15)/(-4))/(51/136). Suppose 990 = -i*f + 12*f. Is f a multiple of 5?
True
Suppose -19*g = 4750 + 1235. Is 49 a factor of (126/(-30))/(3/g)?
True
Suppose 5*d - 2544 = -2*i, -5*d - 55*i + 50*i = -2535. Does 102 divide d?
True
Suppose -9*n - 141 + 159 = 0. Does 15 divide (-1415)/((-15)/3) + n?
True
Let c = -419 + 426. Suppose 0 = -z + 11*d - 40, 4*d + c = -z + 42. Is 15 a factor of z?
True
Let c = 130 - 120. Suppose 2*l = m + m - c, -3*l - 18 = -4*m. Suppose m*i + 153 = 2*b, -5*i - 36 + 229 = 2*b. Is b a multiple of 21?
True
Let r be 1 - (-4 + (4 - (-2 + 3))). Let t be r*(-5)/20*-28. Suppose -t*w + 4*w = -300. Is w a multiple of 21?
False
Let t = 812 + -455. Suppose -t - 3323 = -8*x. Does 11 divide x?
False
Suppose -22*x + 3484 + 34532 = 0. Is 48 a factor of x?
True
Let v be 1*(7 - (10/(-2) + 10)). Suppose r - 292 = -5*k, 928 = v*r + r + 2*k. Does 12 divide r?
True
Suppose -5*v + 30420 = 5*b, 18250 = 3*v + 398*b - 396*b. Does 35 divide v?
False
Suppose 23*y - 14*y + 57981 = 20*y. Is y a multiple of 76?
False
Let r = 23218 + 2438. Is 24 a factor of r?
True
Let z(u) = -16*u - 22. Let n(g) be the second derivative of g**4/6 - 14*g**3/3 - 7*g**2/2 - 39*g. Let d be n(14). Is 18 a factor of z(d)?
True
Let t be -3*(4 + (-160)/12). Let z = t + -31. Is 62 - (2 + -6) - z a multiple of 14?
False
Suppose -u + 3*l = -8400, 0 = -u + 250*l - 245*l + 8396. Is u a multiple of 16?
False
Suppose 11*c = 19*c + 5240. Let a = c - -1159. Is 12 a factor of a?
True
Suppose 2*d + 42901 = 6*d - 20811. Is 88 a factor of d?
True
Suppose 8715 = c - 9*i + 8*i, 43572 = 5*c - 4*i. Is 24 a factor of c?
True
Let c(t) = 913*t - 4423. Is c(11) a multiple of 37?
False
Let z = 10809 + -8598. Is 11 a factor of z?
True
Suppose d + 10*d = 0. Let y(b) = -b**2 + 5*b + 1. Let n be y(4). Suppose -n*u + 3*r + 337 = d, u - 2*u + 77 = -3*r. Is u a multiple of 26?
False
Suppose -l + 55710 = 4*y + 1797, 2*l + 67388 = 5*y. Does 46 divide y?
True
Let u be (4/(-3))/(-4)*(-5022)/(-18). Suppose 210 = -91*o + u*o. Is 21 a factor of o?
True
Let h be 2/(-7) - (-16)/7. Suppose -13*f = -10*f - 5*r + 43, 2*f - r + 24 = 0. Is f/(-22) + 107/h a multiple of 9?
True
Let y(p) be the third derivative of p**5/30 - p**4/24 + p**3 + 2*p**2 + 77*p. Is 13 a factor of y(-17)?
False
Suppose 330 = 24*g - 22*g. Suppose g = -10*l + 3705. Does 41 divide l?
False
Suppose -h = -4*j - 2 - 266, -3*j = 3*h - 804. Let a(o) = -12*o - 60. Let l be a(-20). Let u = h - l. Does 29 divide u?
False
Let k(o) = o + 35. Let w be k(-25). Suppose 19968 = -w*h + 42*h. Is h a multiple of 13?
True
Suppose -5*z + 885 = 5*y, -2*z + 187 = y - 3*z. Let h(a) = a**2 + a + 6. Let j be h(0). Suppose y = 8*o + j*o. Is o a multiple of 2?
False
Let f(j) = 2*j**2 + 48*j + 68. Suppose 7*i + 36 = -146. Is f(i) a multiple of 43?
True
Is 10 a factor of 176/110 + -2 + (-19104)/(-10)?
True
Suppose 30 = -5*k + 125. Let b be k/2 - (-8 + 17/2). Suppose -b*i + 429 = -6*i. Does 11 divide i?
True
Suppose f - 3*w = 19, 2*f + 0*f - w = 13. Suppose 2679 = 5*n + f*x, -3*n + 6*x = 2*x - 1601. Let a = -325 + n. Does 14 divide a?
True
Let p(w) = -2*w**2 + 91*w - 169. Is p(36) a multiple of 5?
True
Suppose -2983 = -16*k + 569. Is (k/(-4))/(30/(-40)) a multiple of 8?
False
Let y(v) = -v**3 + v**2 - 14*v + 56. Is 24 a factor of y(-8)?
True
Let o = -39729 + 60698. Is o a multiple of 13?
True
Suppose 0 = -3*d - 5*v + 13311, 23 = 5*v + 8. Is 54 a factor of d?
False
Let j(k) = k**2 - 1. Let f(c) be the second derivative of -c**4/6 - 7*c**3/6 - c**2 - 12*c. Let z(m) = -f(m) + 2*j(m). Is 9 a factor of z(-4)?
True
Is (-1 + -16 + 18)/(2/4)*40 a multiple of 11?
False
Let k(n) = -789*n + 136. Let z be k(2). Is (9/6 + -1)/((-7)/z) a multiple of 10?
False
Suppose 71131 = 40*h - 3*h + 19590. Is h a multiple of 7?
True
Let o be (2*3)/(-2) + 174 + -1. Let y = 196 - o. Is y a multiple of 9?
False
Let g be (-89*24/10)/(6/(-30)). Is 7 a factor of (12/18)/(8/g)?
False
Let i be 2/(-6) + (-3 - 1410/(-18)). Does 44 divide i/2*3078/243?
False
Let a be (701*-3)/(14/(-4) - -5). Let d = 2328 + a. Does 33 divide d?
False
Let o(h) = h**3 + 20*h**2 - 18*h + 42. Let f be o(-18). Suppose 0 = -8*u - 5*u + f. Does 7 divide u?
False
Let y(z) = -z**3 - 27 - 18*z - 7 + 7 + 22*z**2. Let j be (-11 + -10)/(2/(-2)). Is 6 a factor of y(j)?
True
Suppose 2*u = -63*w + 61*w + 11934, -5973 = -w - 2*u. Does 7 divide w?
False
Suppose -8*r - 30 = -86. Suppose -r*z = -11*z + 8. Is 34 a factor of (41 - (1 + z)) + -4?
True
Let h(v) = 2*v - 14. Let n be h(7). Suppose -y = 2*y - 6. Sup