 582 + -378. Does 51 divide r?
True
Let g = 6 - 10. Let o be 14/1*3/3. Let i = g + o. Does 5 divide i?
True
Let n(u) = -u - 10. Let m be n(-10). Let c be (-1)/(2 - 10/6) + 4. Suppose m = -4*k + 25 - c. Does 2 divide k?
True
Let x = 1756 - 1146. Is x a multiple of 5?
True
Let c = 11 + 264. Is 55 a factor of c?
True
Suppose 2*r = -3*p - 28, -2*p + 2*r - 20 = 12. Let i be ((-4)/(-3))/((-8)/p). Is 3 a factor of (3/(-12))/(i/(-56))?
False
Suppose -5*c = 4*f + 72, -5*c + 37 + 35 = -4*f. Let i = -14 - f. Does 4 divide i?
True
Suppose 0 = 4*j + j - 5*f + 35, -18 = 2*j - 4*f. Let n = j + -3. Let x = 20 + n. Does 5 divide x?
False
Let n be ((-448)/21)/(2/(-3)). Let l be 2/(-1)*(-16)/n. Is 118 + 4 + l - 0 a multiple of 32?
False
Let i = 13 - 9. Suppose -10 = -i*l + 6. Let c = l + -1. Is c a multiple of 3?
True
Let p(s) = -112*s**3 + s - 1. Let q be p(1). Let g = q - -161. Let v = -23 + g. Is 22 a factor of v?
False
Suppose 45*q - 34204 = 28481. Is q a multiple of 33?
False
Let u be -1 + -2 + (-12)/(-2). Suppose 2*j = u*z + 273, -z + 268 = 2*j + z. Suppose 4*k = -5*l - 24 + j, 24 = k + 2*l. Is 24 a factor of k?
False
Let u(f) = f**2 + f + 9. Let t be u(-7). Is 17 a factor of (3 - 2)*t*2?
True
Let c = 12 - 7. Suppose -c*r = -4*r - 2. Suppose 0 = x + r*n - 9, 5*x - 3*n = 3*x + 25. Does 5 divide x?
False
Suppose -1 = -4*l - 21. Let d be l/30 + 949/6. Suppose -38 = 4*x - d. Is 16 a factor of x?
False
Suppose 3*z - 101 = -2*d, 0 = -6*z + 3*z + 4*d + 131. Suppose -5*m + 3*a = -z - 31, 0 = 5*m - 5*a - 60. Does 4 divide m?
True
Let g(i) = i**3 + 7*i**2 - 9*i - 5. Let u be 16/(-16)*1*8. Is g(u) a multiple of 3?
True
Let m = -20 + 20. Is ((-8)/6)/(-2)*(96 + m) a multiple of 16?
True
Let l = 3530 - 826. Is 16 a factor of l?
True
Suppose -2*r + 10 = 4*a - 0*r, -3*a - 4*r = 0. Suppose 0 = 4*b - a, -2*b + 189 = y + 3*b. Is y a multiple of 18?
False
Suppose -15*c + 12312 = -9*c. Is c a multiple of 57?
True
Let s(u) be the first derivative of 4*u**3 + u**2 + u - 1. Let j(v) = v**2 + 34*v + 119. Let b be j(-4). Is 11 a factor of s(b)?
True
Suppose t - 71 = 141. Suppose -5*l + i = -t, -3*i = -6*i - 6. Does 15 divide l?
False
Let b = 938 + -632. Does 17 divide b?
True
Let b(a) be the third derivative of a**6/120 + a**5/15 - a**4/12 + 27*a**2. Does 3 divide b(-4)?
False
Let d(o) = 5*o + 5. Let z be d(1). Is (-3 + 25/z)*-492 a multiple of 37?
False
Let b(t) = -54*t**3 - t**2 - t - 4 + 55*t**3 - 2 - t**2. Does 4 divide b(4)?
False
Let l(c) = 4*c**2 - 2*c - 17*c + 6*c + 11. Is l(10) a multiple of 24?
False
Suppose 6 = -2*j + 12. Let m(u) = 17*u + 3. Let l be m(j). Let f = l + -18. Is f a multiple of 12?
True
Suppose -4*r + 6*r = 6, 5*r + 89 = 4*p. Is p a multiple of 13?
True
Let z(g) be the third derivative of 0*g + 0 - 1/60*g**5 + 11/24*g**4 - g**2 + 2/3*g**3. Is z(10) a multiple of 3?
False
Let g = 55 + -53. Let k(f) = 76*f - 7. Does 29 divide k(g)?
True
Let d(q) = -q + 10. Let x be d(12). Let w = 1 + -25. Is 12 a factor of (w/(-15))/(x/(-15))?
True
Let p(y) = -y**3 + y**2 - 4*y - 13. Does 11 divide p(-9)?
False
Suppose -722*d + 727*d = 615. Is d a multiple of 14?
False
Let m = 16 - 4. Let q = 10 + m. Does 4 divide q?
False
Let t(k) = 24*k**3 - 2*k + 1. Let o be t(1). Suppose -q + 2*d + 11 = -o, -4*q - 3*d + 147 = 0. Does 6 divide q?
True
Suppose 25*y - 2*s = 29*y - 2300, -5*s - 1150 = -2*y. Is y a multiple of 9?
False
Let w = 1555 - 929. Does 53 divide w?
False
Suppose -2*n = -2, 2*m + 4*n - 46 = -m. Is 2 a factor of m?
True
Suppose 3*w = -0*w + 255. Let f = -59 + w. Is 11 a factor of f?
False
Suppose -3*c + 4*g = -4573, -4*g - 6114 = -4*c - 7*g. Does 49 divide c?
False
Let d(h) = 2*h**3 - 11*h**2 + 7*h - 8. Suppose 0 = 2*l + 3*l - 35. Let z be d(l). Suppose -2*w = -4*w - 3*v + z, -4*w + 2*v = -408. Does 32 divide w?
False
Let c be 45/12 + (-1)/(-4). Suppose 3*q + 32 = -4*d, -c*q + 35 - 107 = -2*d. Is ((-243)/12)/(4/q) a multiple of 27?
True
Let c(n) = 4*n - 3. Let k(p) = 9*p - 8. Let q(w) = 14*c(w) - 6*k(w). Let m = 3 + 4. Does 4 divide q(m)?
True
Let m = 52 + -50. Suppose m*t - d - 293 = 43, 847 = 5*t + d. Is 23 a factor of t?
False
Suppose -6*t - 128 + 998 = 0. Does 34 divide t?
False
Suppose -4*v = i - 1215, 0 = 3*v + 6*i - 7*i - 913. Is 38 a factor of v?
True
Suppose 4*d - 612 = -5*t, 6*t - 3*d = t + 626. Let k = 236 - t. Is (96/(-56))/((-2)/k) a multiple of 24?
True
Let n(s) = -s**2 + s + 2. Let k be n(0). Suppose 35 = k*y + j - 0*j, 6 = 2*j. Is y a multiple of 4?
True
Let s(z) = -z**2 + 19*z + 6. Let m(l) = -l**3 + 7*l**2 - l - 26. Let k be m(5). Is 6 a factor of s(k)?
True
Is (424/(-48))/(((-7)/(-6))/(-7)) a multiple of 6?
False
Let z(w) = 22*w - 5*w - 3*w. Does 3 divide z(1)?
False
Is 4 a factor of (-3 - 1) + (10 - -1)?
False
Let c = -116 + -221. Let i = c + 571. Is i a multiple of 39?
True
Let d be ((-16)/(-12))/((-1)/(-3)). Let a be d/2 - (-21)/7. Suppose -o + 0*o = 0, a*q - 20 = 2*o. Is q a multiple of 2?
True
Let r(x) = -x**3 + 6*x**2 - 4*x. Let p be r(5). Suppose u - 12 = -4*s + 6*u, p*u = -3*s + 9. Is 29 a factor of (-58)/4*(-24)/s?
True
Is 15 a factor of ((-38)/(-57))/(6/729)?
False
Suppose -38 = 3*m + 1. Let i = m + 12. Is 17 a factor of (51/9)/(i/(-3))?
True
Let c(n) = -n**3 - 13*n**2 - 10*n + 4. Let k be c(-12). Is (-59)/(-2) - 0 - 10/k a multiple of 15?
True
Let i be (-1)/9*-47 - (-4)/(-18). Suppose -2*l = -3*b + 1 + 143, -15 = i*l. Is 46 a factor of b?
True
Suppose -a - 4*u = a - 1300, 4*a - 2611 = 3*u. Does 18 divide a?
False
Suppose 0 = -3*l + 159 - 33. Is 36 a factor of l?
False
Suppose -5339 = -6*s + 265. Is 28 a factor of s?
False
Suppose 27 = 7*b - 43. Suppose -i + 2*i - 61 = 5*l, 0 = 5*l + b. Let d = i + 23. Is d a multiple of 23?
False
Suppose -140*g + 131*g = -16686. Does 103 divide g?
True
Suppose 4*a = -16, -3*g + g + 34 = -a. Let z = g - 12. Is 9 a factor of 10 + (z - (3 + 1))?
True
Suppose -25*x + 46*x - 12096 = 0. Is x a multiple of 36?
True
Let j(k) = k**3 - k**2 - 3*k + 1. Let t be -5*((-2)/(-5) - 1). Let u be j(t). Suppose 0 = m - 2*m + u. Is m a multiple of 10?
True
Let f = -109 + 505. Is 18 a factor of f?
True
Suppose t - 2*w = -0*t + 15, 0 = -4*t - 4*w + 24. Let a = t - 9. Suppose a = -2*c, -5*g - 2 + 17 = 5*c. Does 3 divide g?
True
Suppose 2*t = 3*s - 301, 4*s = 3*t + 5*s + 468. Does 6 divide (t/(-62))/(11/(-12) - -1)?
True
Suppose -12 = -k - 11. Is 17 a factor of 56 - (k*-6 - -4)?
False
Let z(d) = -d**3 - 9*d**2 - 11*d - 19. Let i be z(-8). Suppose i*f = 0, -5*k - f + 324 + 56 = 0. Is k a multiple of 12?
False
Let l = 80 + -1. Is 10 a factor of l?
False
Let m(y) = 5*y**2 - 36*y - 10. Does 25 divide m(15)?
True
Suppose 10*i = -2*i + 15168. Is i a multiple of 16?
True
Let c = -2889 + 5190. Is 59 a factor of c?
True
Suppose 4*o + 0*d - d - 1023 = 0, 0 = -4*o + 3*d + 1021. Is 32 a factor of o?
True
Suppose -7*d + 6 = -8. Suppose 5*i - 13 - 12 = 0. Suppose l - d*l + 121 = 5*z, 0 = -i*z - 4*l + 109. Is z a multiple of 10?
False
Suppose 0 = 5*y - 627 - 253. Let u = y - 68. Is u a multiple of 18?
True
Suppose r - 5 = 3*c - 4, -2*c + 2 = -2*r. Suppose -7*j = 89 - 12. Let i = r - j. Is i a multiple of 9?
True
Let q(p) be the third derivative of -25*p**4/8 + p**2. Does 25 divide q(-1)?
True
Suppose 10*g = 928 + 632. Is 34 a factor of g?
False
Suppose -y - 3*q + 80 = q, 68 = y + q. Let m = y + -55. Does 5 divide m?
False
Suppose -3*v - 9 = 4*s, 0 = -4*s - v - 1 - 2. Let m be s - 3 - (-42)/2. Let x = m - 0. Is x a multiple of 9?
True
Suppose -n = 2*n + 5*l, 0 = 3*n - 3*l - 24. Suppose 5*j - d - 9 = 0, -2*j + 3*d - 2 + 3 = 0. Suppose n*f = -z + 20 + 3, 35 = z + j*f. Does 25 divide z?
False
Suppose -5*h + 28 = 3*l, -6 = 3*l + h - 26. Is 28 a factor of (-17 - -1)*(62/(-8) + l)?
True
Let k = 70 + 5. Let d = 16 - 51. Let z = k + d. Is 11 a factor of z?
False
Let n be 48/(-4) - (-3)/((-3)/2). Is 3 a factor of 46/4 - (-7)/n - 3?
False
Suppose -26386 - 11278 = -22*f. Is f a multiple of 29?
False
Let h = 36 + -31. Suppose g = -1, -3*n + 0*g = h*g - 85. Is 15 a factor of n?
True
Does 44 divide -5 + (-5 - (-3 + -1104 + -3))?
True
Suppose 4*y + 10 = 9*y. Suppose -196 = -y*c + 5*f - 6*f, -3*f + 490 = 5*c. Is 14 a factor of c?
True
Let j(u) = 24*u**2 + 9. Let v be j(-6). Suppose 3*i - 192 - 99 = -c, -v = -3*c - 5*i. Does 48 divide c?
False
Suppose -146 =