 147. Let g be n(l). Suppose -d + 159 = 3*k, 3*k + 6*d - g = d. Is 27 a factor of k?
True
Let s(i) = -i + 1. Let m(r) = 26*r - 14. Let u(j) = m(j) + 12*s(j). Is 20 a factor of u(5)?
False
Let a(p) = -p**3 - 3*p**2 - 3*p**2 - 30*p + 27*p + 2*p**2 + 2. Is 4 a factor of a(-4)?
False
Let g(j) = -2*j + 38. Let r be g(19). Suppose r = -5*z + 2*p + 515, 4*z = -2*p + 386 + 26. Is 11 a factor of z?
False
Suppose 168 - 30 = -6*b. Let j = 44 - b. Does 19 divide j?
False
Let m be -23 + 3/(-1 - 0). Let k(j) = j**2 + 20*j - 12. Does 12 divide k(m)?
True
Let v = -1410 - -2268. Is v a multiple of 22?
True
Let v(b) = -b**2 - 5*b + 6. Let d(n) = n**2 + 6*n - 1. Let s be d(-5). Let u be v(s). Suppose -5*o - 4*m + 77 = u, 2*m = -2*o + 6*m + 42. Is o a multiple of 17?
True
Let o be (3/(-2))/((-30)/(-40)). Is 3 a factor of o - ((-3 - 1) + -27)?
False
Suppose 4*k - 4*s = -0*k + 20, 4*k + 2*s = 2. Suppose -8 + k = -f. Does 2 divide f?
True
Suppose 3*c - 19 = 4*v, -5*c - 24 + 64 = -5*v. Let y(b) = b**3 - 12*b**2 - 11*b - 10. Let z be y(c). Suppose 0 = -g - 0 + z. Does 14 divide g?
False
Suppose 0 = -10*c + 242 + 228. Let o = 21 + c. Is o a multiple of 17?
True
Suppose 13*a + 12*a = 9600. Does 107 divide a?
False
Let w = -458 + 654. Does 49 divide w?
True
Let m(w) = -5*w + 9 + 8*w + 2*w + 8*w. Let u be m(3). Suppose -u = 8*h - 10*h. Is h a multiple of 5?
False
Let t(s) be the first derivative of s**4/4 - s**2/2 - 5. Let i be t(2). Is 4/(-12) - (-218)/i a multiple of 15?
False
Let o = -17 - -20. Let p be (-3 - -5 - o)*6. Let y = 18 + p. Is y a multiple of 5?
False
Let k = -2 - -270. Is k a multiple of 18?
False
Suppose 149*t - 161*t + 5124 = 0. Is 61 a factor of t?
True
Suppose -7*v + 18*v + 22 = 0. Is 4 a factor of (-154)/(-4) + (-1 + 2)/v?
False
Is (-35637)/(-42) - 21/6 a multiple of 14?
False
Let d = 7 + -2. Suppose 8*x - d*x - 9 = 0. Suppose 24 = x*l + l. Is l even?
True
Let m(v) = 5*v + 197. Does 6 divide m(12)?
False
Let c = -114 - -1640. Does 24 divide c?
False
Let j = -389 + 719. Does 11 divide (j/(-9))/(2*4/(-12))?
True
Let b(t) = -t**3 + 25*t**2 + 10*t - 82. Is b(25) a multiple of 41?
False
Let l(g) = g**2 + 23*g - 21. Let q be l(-24). Suppose -4*f + 477 = 3*m, 0*m = q*f + 3*m - 360. Does 19 divide f?
False
Let z(c) = -4*c - 3*c + 1 - 5 - c**2. Let w be z(-6). Suppose i + b = -8 + 41, 0 = -w*i + b + 66. Does 7 divide i?
False
Is 16 a factor of (-7672)/(-12) - ((-25)/15 - -1)?
True
Suppose -24*v + 89*v - 143260 = 0. Is v a multiple of 19?
True
Suppose -5*o - 21 + 46 = 0. Suppose o*m - 696 = -m. Is 16 a factor of m?
False
Suppose -5*d - l + 0*l - 59 = 0, 5*l + 7 = -d. Suppose 3*a - 21 = -0*a + h, -3*h + 7 = a. Let z = a - d. Is z a multiple of 4?
False
Let w(b) = -3*b**2 + 81*b - 89. Is w(18) even?
False
Let x = 80 - 46. Suppose 50 = -q - x. Let k = q - -145. Is k a multiple of 15?
False
Let o(p) = 2*p**2 - 31*p - 3. Let t(z) = 2*z + 16. Let d be t(0). Does 13 divide o(d)?
True
Let a = 34 + 866. Suppose q = 4*q - a. Suppose q = -5*w + 9*w. Is 23 a factor of w?
False
Suppose 45*j = 40*j + 35. Let c(d) = 3*d**2 - 17. Does 10 divide c(j)?
True
Suppose 532*g - 27864 = 496*g. Is 86 a factor of g?
True
Suppose -2*o + 80 = 5*b, -4*o - b + 128 = b. Let g be 12/o - 816/(-10). Let v = 172 - g. Is v a multiple of 18?
True
Let i(x) = 6*x - 20. Let v be i(-5). Let t = v + 32. Let h = t + 33. Does 3 divide h?
True
Let l be -10*12/10*1. Let c be (-12 - l)*(-2)/4. Suppose 2*t + t - 84 = c. Does 14 divide t?
True
Let b(z) = z**2 - 11. Let g be b(-4). Let h(n) = 5*n**2 - 4*n - 3. Is h(g) a multiple of 17?
True
Let r = 85 + -154. Let u = r - -141. Is 12 a factor of u?
True
Let y(u) = u**2 + 32. Let s be y(15). Let z = s - 149. Does 27 divide z?
True
Suppose 134 - 38 = -4*g. Let x be (-165)/(-6)*g/(-10). Let q = 98 - x. Is 9 a factor of q?
False
Let t = 3 - 0. Suppose -t*s + 12 = 15. Is 10 a factor of (-29 + s)*12/(-18)?
True
Suppose -3*v = 2 - 8. Suppose -3*s = 5*y - v*s - 21, -1 = 3*y + 4*s. Suppose 417 = y*a + 147. Is 18 a factor of a?
True
Let v(w) = w**3 + 5*w**2 + 6*w + 25. Let b be v(-5). Let i(m) = -3*m**3 - m**2 + 19*m + 11. Does 12 divide i(b)?
False
Let t = -383 - -542. Is 13 a factor of t?
False
Suppose 3*q = -5*m - 0*q + 843, 0 = -5*m + 4*q + 836. Is 148 a factor of m?
False
Does 133 divide (30/(-8))/(8 - (-4257)/(-532))?
True
Is 6 a factor of (86 - 49)*(21 - 2)?
False
Let y(b) = -2*b**3 - 2*b. Let s be y(4). Let z = s - -222. Is z a multiple of 9?
False
Let x(v) = 83*v + 12. Let g(n) = 42*n + 6. Let d(p) = 5*g(p) - 3*x(p). Does 25 divide d(-2)?
False
Let j(n) be the second derivative of 3/2*n**3 - 1/20*n**5 - 3*n + 0 - 2/3*n**4 - 5*n**2. Is 20 a factor of j(-10)?
True
Suppose -111*p + 113*p - 6840 = 0. Is p a multiple of 95?
True
Let j = -187 - -306. Suppose -6*m + j = m. Does 4 divide m?
False
Let z = -101 - 120. Let u = z + 320. Is u a multiple of 11?
True
Let y(a) be the third derivative of 13/24*a**4 - 1/60*a**5 + 6*a**2 + 0*a + 2/3*a**3 + 0. Is 14 a factor of y(10)?
False
Let s(p) = p**3 - 8*p**2 + 7*p - 5. Let l be s(7). Let q be (-1 - -2)/(l/(-515)). Suppose 9*t = 8*t + q. Is 23 a factor of t?
False
Let b = -119 - -191. Is 9 a factor of b?
True
Suppose 3*z - 10 = 113. Suppose 490 = z*u - 36*u. Does 11 divide u?
False
Suppose 8*i + 40 + 56 = 0. Let t = i + 84. Is t a multiple of 12?
True
Suppose m + u = -2*m + 412, 0 = -u + 4. Is 3 a factor of m?
False
Suppose -16 = -4*r, j = -5*r + 8*r + 280. Is 10 a factor of j?
False
Let q = 5 + -4. Let y be q*(10 - (3 + 0)). Suppose 0 = -2*s + y*s - 65. Is s a multiple of 6?
False
Let q(a) = a**2 + 21*a + 290. Does 4 divide q(-11)?
True
Suppose -121*q = -97*q - 43896. Does 113 divide q?
False
Suppose 3*n = 9, 4*n = 2*j - 623 - 517. Is j a multiple of 8?
True
Let a(r) = 4*r**2 - 7*r - 20. Is a(-5) a multiple of 5?
True
Let g = -268 + 425. Suppose -5*i = -g + 57. Does 5 divide i?
True
Suppose -4*s + 4 = h - 2361, -5*h = 15. Is s a multiple of 16?
True
Let y = -42 + 44. Suppose 0 = -y*d - 4*j + 96, -5*j - 5 = -0*j. Is d a multiple of 10?
True
Let j be 16/4 - (1 - -8). Let h = j - -9. Suppose -h*d + 168 = -152. Does 20 divide d?
True
Let j(i) = 18*i + 49. Is 58 a factor of j(16)?
False
Suppose -31 = -3*z - 16. Suppose 5*k = -3*f + 265, z = -f - 0. Does 5 divide k?
False
Suppose 172*w = 162*w + 6840. Does 12 divide w?
True
Suppose -14*q - 18648 = -51*q. Is q a multiple of 8?
True
Suppose -3*t + 1380 = 4*n, -2*n + t = -4*t - 690. Suppose 0 = -r - 4*l + n, -l + 566 + 414 = 3*r. Does 25 divide r?
True
Let y(g) = -106*g**3 + 10*g + 27. Is 16 a factor of y(-2)?
False
Let o = 410 - 375. Is o a multiple of 35?
True
Let x(f) = -f**2 - 12*f - 3. Let n be x(-8). Suppose n*g - 1080 = 11*g. Is g a multiple of 44?
False
Let v(h) = 5*h - 27. Let m be v(11). Let t = 77 + 6. Let g = t + m. Is 30 a factor of g?
False
Let l = 575 - 348. Let f = l + -137. Is 30 a factor of f?
True
Let i(j) = 18*j**3 + 3*j**2 - 4*j + 5. Let n = 87 - 85. Does 22 divide i(n)?
False
Let s(l) = 2*l**3 + 5*l**2 - l - 16. Let x be s(4). Suppose 3*t = -2*i + 637 - 74, x = t + i. Is t a multiple of 18?
False
Suppose 3*v = -5*o + 86 + 490, 5*o = 3*v - 546. Is v a multiple of 17?
True
Let x(a) = 43*a - 3. Is x(3) a multiple of 9?
True
Let o(g) = 4*g**3 + 2*g**2 - g - 1. Let b be o(2). Suppose 4*k - 1 + b = 2*l, 2*k + 2 = -l. Is l even?
True
Let f be (198/55)/((-1)/5). Let n be (-1)/2 - f/4. Suppose n*i + 0*q + 3*q = 196, -12 = 3*q. Does 14 divide i?
False
Let j(a) = 284*a**2 + 3*a + 5. Is 13 a factor of j(-1)?
True
Suppose 7*t - 1512 = 7161. Is t a multiple of 37?
False
Suppose 7*p = -32 - 241. Let h = 63 + p. Is 24 a factor of h?
True
Let w = -137 + 96. Let s = w + 41. Suppose 2*c - 170 = 4*j, -2*c + j - 6*j + 125 = s. Is c a multiple of 32?
False
Let x(p) = p**2 + p. Let u(i) = -9*i**2 - 1. Let s(q) = -q**2 - 8*q + 8. Let m be s(-9). Let g(z) = m*u(z) - 5*x(z). Is g(4) a multiple of 12?
False
Let v be (3/(-9) - 0)*3. Is 13 a factor of v/(-3) - 109/(-6)*10?
True
Let w = 234 - 10. Is w a multiple of 23?
False
Suppose -2*i = -383 - 235. Is 11 a factor of i?
False
Let g = 575 - 425. Is 10 a factor of g?
True
Let f = 42 + 19. Let l = 8 + f. Is 44 a factor of l?
False
Is 25 a factor of 175 + (-1 - 5/(-2))*2?
False
Let u(a) be the third derivative of a**8/10080 - a**7/1260 - 