a factor of l?
True
Let k(l) = -14*l + 4. Let a be (7 + -4)/(6/32). Suppose 5*i - a = 4*o + 11, -2*o + 5*i = 11. Is 29 a factor of k(o)?
True
Let j(k) = k**3 - 14*k**2 + 43*k - 28. Let u be j(10). Suppose -5*f + 1054 = 3*d - u*d, 4*d = -4*f + 856. Does 14 divide f?
True
Let y be 1 + 11 - (-20)/(-5). Suppose -20*k = -y*k - 612. Does 3 divide k?
True
Suppose -k + v + 2 = -2, 2*k + 3*v = 13. Suppose 5*z - k*j - 570 = 0, 2*z + 120 = 3*z - 4*j. Is (z - -4)/2 + 2 + -3 a multiple of 19?
True
Let x(q) = -29*q**3 - 9*q**2 - 32*q - 44. Is x(-4) a multiple of 14?
False
Let p(f) be the third derivative of -13*f**4/24 + f**3/2 + 11*f**2. Let q be p(1). Is (1 + q)/1*14/(-3) a multiple of 36?
False
Let i(j) = 2569*j - 630. Does 13 divide i(4)?
True
Suppose 21242 - 19008 = 3*g - 34618. Is 74 a factor of g?
True
Suppose 29*q - 121239 + 21363 = 0. Is 4 a factor of q?
True
Let o(m) be the second derivative of -2*m**2 - 11/6*m**3 - 21*m - 1/12*m**4 + 0. Does 3 divide o(-7)?
True
Suppose 11 + 13 = 4*b + 4*h, 0 = 4*h - 12. Let x be (b - 1) + -3 + 4 + 0. Suppose 7*s + x*d - 1120 = 2*s, 3*d = -4*s + 896. Is 8 a factor of s?
True
Let c = 9477 + -353. Suppose 7*d + 94 = c. Is 15 a factor of d?
True
Let j be 55/(-44) - 223/4. Let i = j + 417. Is i a multiple of 72?
True
Let s(h) = -43*h**3 + 23*h**2 + 37*h + 33. Is s(-5) a multiple of 25?
False
Let k(b) = 3437*b - 1486. Is 12 a factor of k(3)?
False
Let c(y) = -y**3 + y**2 + 33*y - 18. Let w be c(6). Suppose -5*a - 27 = -2*f, w = 3*f - 2*a - 29 - 17. Is 13 a factor of f?
False
Suppose 2*p = -4, 0 = 4*d - 2*d - p + 10. Let h(x) = 41*x**2 + 8*x + 68. Does 17 divide h(d)?
True
Let c = 3186 - -5995. Is 19 a factor of c?
False
Suppose -4*f - 2619 = -2*d + 3*d, 2*f = -4*d - 1306. Is (-1 - 3) + f/5*-2 a multiple of 6?
True
Let i(l) = 24*l + 15. Let f(g) = 25*g + 14. Let p(j) = -3*f(j) + 2*i(j). Is 42 a factor of p(-16)?
True
Let v = 313 + -151. Let i = 227 - v. Let k = i - 38. Is k even?
False
Let w(x) = -184*x + 9. Let h be w(-9). Suppose -213 = 4*c + 5*q - h, 0 = 2*q. Is 33 a factor of c?
True
Let p(o) = -o**3 - 15*o**2 - 13*o + 20. Suppose 0 = -5*k - 2*l - 62, -33*k + 6 = -32*k + 5*l. Does 2 divide p(k)?
True
Let p(u) = -u**3 + 30*u**2 - 34*u + 145. Let i be p(29). Suppose o + 26*o - 5994 = i. Does 6 divide o?
True
Let x(q) = q**3 - 16*q**2 + 9*q - 107. Suppose 19*f - 16*f - 3*t - 57 = 0, -t - 37 = -2*f. Is 7 a factor of x(f)?
False
Suppose -4*m - 3*t + 1406 = -259, 0 = -m - t + 415. Suppose o + m = 6*o. Suppose -3*q + 4*x - 2*x + 134 = 0, -2*q = 4*x - o. Is q a multiple of 22?
True
Let s = -16 - 4. Let d be (15/(-4))/(1/(-8)). Let h = d + s. Does 5 divide h?
True
Let k(p) = -803*p + 7340. Does 11 divide k(-42)?
False
Suppose -30*w = -53*w - 41*w + 152320. Is 34 a factor of w?
True
Let d = 11 - 2. Suppose -609 = -d*s + 2451. Is 20 a factor of s?
True
Suppose 13*l + 10 = 36. Is 8 a factor of -24*(2/(0 - 2) - l)?
True
Suppose 5*m = m - 152. Let q = m + 67. Suppose -q = -6*y + 49. Is y even?
False
Let d(t) be the third derivative of -t**6/120 + t**5/4 - 17*t**4/24 + 5*t**3/3 - 49*t**2. Let p be d(13). Let b = 143 - p. Does 8 divide b?
True
Suppose -32*z + 46791 = 11975. Does 8 divide z?
True
Suppose 0 = 19*k + 13*k + 11488. Let m = -163 - k. Is 25 a factor of m?
False
Let o(j) = -565*j - 2707. Is o(-10) a multiple of 9?
True
Let i(v) = 6*v + 64. Let n be i(-11). Is (-55)/(-20) + n/(-8) + 109 a multiple of 56?
True
Suppose -44*k = -6*k - 309700. Is 7 a factor of k?
False
Let g(i) = -3*i - 16. Let o be g(-6). Does 38 divide (4/o + 74)/((-6)/(-60))?
True
Let w(n) = -n**3 + 18*n**2 + 14*n - 40. Let g be w(21). Let o = g + 2345. Does 58 divide o?
True
Let u = -13800 - -16422. Is u a multiple of 18?
False
Let q(d) = 31*d**2 - 12*d + 4. Let j be q(5). Suppose -3*o + 116 = -3*w - 439, 0 = -4*o - 3*w + j. Is 10 a factor of ((-72)/42)/((-4)/o)?
False
Let z = -7771 + 10858. Is 7 a factor of z?
True
Suppose -46*n + 43569 = 57*n. Is 9 a factor of n?
True
Suppose -2*j + 225 = -3*q + 1663, -3*q - 4*j + 1426 = 0. Is 16 a factor of q?
False
Suppose i - 14 = -i. Suppose i*c = -0*c + 175. Suppose -c = 5*r, -4*m - 3*r = -0*r - 297. Is m a multiple of 6?
True
Let i = 441 - 265. Let p = 214 + 58. Let r = p - i. Does 24 divide r?
True
Let v = 51435 - 18977. Is 45 a factor of v?
False
Suppose 0 = 4*o + v - 13, -4 + 17 = 5*o - 2*v. Suppose 0 = r + 7*b - 2*b - 338, -4*b = -o*r + 976. Is 16 a factor of r?
False
Suppose 0 = 213*v - 245*v + 541952. Is 232 a factor of v?
True
Let v = 1082 - -30463. Is v a multiple of 132?
False
Is 70 a factor of (-5)/((-60)/(-294))*1440/(-28)?
True
Suppose -244 = 213*l + 260 + 135. Let o = -2347 + 1037. Is o/(-6) + (-2)/l a multiple of 25?
False
Let n = 5798 - 2969. Suppose -4*w = -h - 2259, -5*w = -h - 2*h - n. Is w a multiple of 12?
True
Let m(q) = q**3 - 14*q**2 + 17*q - 10. Let h(l) = 6*l + 19. Let k be h(-6). Let b(z) = z**3 + 17*z**2 - 2*z - 21. Let t be b(k). Is m(t) a multiple of 21?
True
Let u = -11162 + 11693. Does 59 divide u?
True
Suppose 0 = -5*i + 2*i + 555. Let l = 242 - i. Is l a multiple of 4?
False
Suppose 18*u - 18259 = 7103. Is 29 a factor of u?
False
Let s = 31487 - 31191. Does 31 divide s?
False
Let b(s) = -173*s**3 + 4*s**2 + 1. Let l(x) = 348*x**3 - 7*x**2 - 2. Let d(j) = -11*b(j) - 6*l(j). Does 3 divide d(-1)?
False
Let x(i) = i**3 - 66*i + 17. Let o be x(8). Let k(u) = 1156*u**2 - 8*u + 8. Is 69 a factor of k(o)?
False
Let o = 453 - 453. Suppose -45*r + 2452 + 518 = o. Is 11 a factor of r?
True
Let l(i) be the second derivative of i**5/20 - i**3/6 + 3*i**2 + 12*i. Let d be l(0). Is 18 a factor of 3 - 315/d*-2?
True
Let y(o) = o**2 - 8*o + 14. Suppose 4*n + m - 13 = 28, 4*n + 4*m = 32. Suppose 24 = 5*i - n. Is y(i) a multiple of 7?
True
Let t be 3 + -4 + 6 + -3. Suppose -p - 7 = -0*p - t*o, 5*p + 4*o - 35 = 0. Suppose 2*i - 276 = u, p*i - i + 2*u - 288 = 0. Does 15 divide i?
False
Let n(p) be the third derivative of -p**4/12 + 13*p**3/6 + 9*p**2. Let z be n(0). Suppose -z*t + 11 = -12*t. Does 2 divide t?
False
Suppose -14*j = -32 - 10. Let o(f) = 16*f**3 + 8*f**2 - 10*f + 3. Does 13 divide o(j)?
False
Suppose -267 = -7*x + 6*x + 4*a, 4*a = -2*x + 534. Let s = x - 224. Does 43 divide s?
True
Suppose l + 86 = 3728. Suppose 0*t = -5*t - 2*n + l, -4*t + 2904 = 4*n. Is t a multiple of 16?
False
Suppose 3*n + 2*t = -2*t + 4372, -n + 4*t + 1436 = 0. Suppose -9*o + 6*o = -4*z - n, -3*z = 9. Does 12 divide o?
True
Suppose -2*s + 1090 = -162. Let j = s - 428. Is 11 a factor of j?
True
Suppose -x + 14*k = 12*k - 9772, -3*x + 29354 = 13*k. Is x a multiple of 94?
True
Let j(c) = 77*c + 2113. Does 2 divide j(-22)?
False
Let o = -811 + 1153. Let s = o + -215. Is 2 a factor of s?
False
Let k = 153 + -149. Suppose -k*z + 284 = 44. Does 15 divide z?
True
Let d = 28 + -23. Suppose -d*a - 3*k + 177 = -5*k, 5*a - 179 = 4*k. Suppose -26*o + a*o = 2457. Is 58 a factor of o?
False
Let t be 26 + (16 + -7 - 8). Is ((-6)/(-8))/(t/108) even?
False
Suppose -6*f - 32 = 2*f. Let d = f - -19. Is (-613)/(-4) + -1*d/(-20) a multiple of 22?
True
Let g be (-186)/(-30) - 3 - 4/(-5). Let k be g/24 + (-2)/12. Suppose k*j = 3*j + a - 193, 2*j + 5*a = 146. Does 6 divide j?
False
Let f = 2726 - 1794. Is 5 a factor of f?
False
Suppose -61*y + 2*y = -163312. Is 15 a factor of y?
False
Let r(d) = d**2 + 2. Let f be r(-2). Let x(t) = -t**2 + 4*t + 13. Let p be x(f). Is 5 a factor of 45 - (p + 3 + -4)?
True
Let k(j) = 110*j + 54. Let s be k(9). Let g(q) = q**2 - 3*q + 2. Let r be g(2). Suppose -6*l + s = -r*l. Is l a multiple of 41?
False
Suppose -79 = -4*w + 3*k, 2*w - 2*k + 6 = 3*w. Let j = 11 + 0. Suppose -j*h = -w*h + 200. Does 20 divide h?
True
Suppose -28*l + 16043 = -31081. Is 51 a factor of l?
True
Suppose 0 = 3*t + t + 20. Let r be (-2)/31 + 1189/(-1271). Is 45/(-10)*(r + t) a multiple of 9?
True
Let t(f) = 228*f + 2. Let x be t(3). Suppose -14*d + 1750 = x. Is d a multiple of 45?
False
Suppose 31*z + 185923 + 190097 = 46*z. Is 38 a factor of z?
False
Let q be -3 + (3 - -5) - -304 - -5. Let x = -32 + q. Is 8 a factor of x?
False
Let o = 7 - 39. Let f be 2/((-16)/(-198))*o/12. Is 23 a factor of (0 - 1)/((-4)/12) - f?
True
Let y(m) = 5*m**2 + 31*m + 47. Suppose 3*d = -h - 9, -2*h + 21 - 41 = 4*d. Is 10 a factor of y(h)?
False
Suppos