 = 10*b + 595. Let j = b - -95. Let w(s) = s**3 - 10*s**2 - 2*s + 30. Is w(j) a multiple of 5?
True
Let x(b) = 16*b - 1. Let f = 190 + -185. Does 7 divide x(f)?
False
Let h(t) = -t - 7. Let a be h(-2). Let p(w) = 2*w**3 + 5*w**2 + 8*w - 6. Let b be p(a). Let g = -91 - b. Is 20 a factor of g?
True
Let u = -218 - -196. Is 122/(-671) - (1768/u)/2 a multiple of 8?
True
Let y(o) = -o**2 + 5*o + 8. Let w be y(5). Suppose -170 + 522 = w*a. Is 4 a factor of a?
True
Let u(d) = -2*d - 1. Let z be u(-2). Suppose z = 2*w - 273. Suppose -3*k = -3*p - 459, k = p - 5*p + w. Does 35 divide k?
False
Let w(l) = 376*l**2 - 160*l - 14. Does 38 divide w(7)?
True
Suppose 30*d - 29*d - 4*l = 36559, -4*d + 13*l + 146218 = 0. Does 64 divide d?
False
Is 20948 - (-23 + 7) - 2 a multiple of 55?
False
Suppose 3*p - 5*o - 3877 - 7546 = 0, -p = -3*o - 3817. Does 113 divide p?
False
Let k(h) = 16*h**2 + 42*h - 98. Is k(37) a multiple of 146?
True
Suppose 3*q + 388 = 2*r, -760 = -4*r - 0*r + 2*q. Suppose -3*c - 98 = 5*j, 4*j = 8*c - 3*c + r. Let b = c + 43. Does 4 divide b?
False
Let q = 142 + -40. Let n be (-1 + 14/8)/((-8)/(-608)). Let i = q - n. Is 9 a factor of i?
True
Suppose 0 = -27*l - 282063 + 1790229. Is l a multiple of 11?
True
Let b(t) = -t**3 + t**2 + 4*t + 14. Let j be 3*(-8)/6 - -44. Let r be j/12 + (-12)/9 - 5. Does 5 divide b(r)?
False
Let q be (2/1)/((28/(-8))/(-7)). Let j(x) = -2 + q + x**2 + 8*x + 8. Does 39 divide j(11)?
False
Let t(b) = 51*b**3 - 2*b**2 - 49*b + 103. Is t(2) a multiple of 45?
True
Suppose -7*z + 85 = -2*z. Suppose -k = -3*k + w - z, -2 = -2*w. Let m = k + 29. Does 3 divide m?
True
Suppose 8 = a + w, -4*a + 4*w + 6 = -2. Suppose a*b = -12 + 27. Suppose 8*f + b*f - 616 = 0. Is 14 a factor of f?
True
Suppose -a = -2*a - 87. Let t = -92 - -47. Let k = t - a. Does 19 divide k?
False
Let l be 680/110 + 4*(-4)/88. Suppose 0 = 4*j + d - 169, -4*d + 40 = j - l*d. Does 7 divide j?
True
Let z(d) = d**3 + d + 18. Let c be z(0). Let v be 328/7 + (-4)/(-28)*-6. Let o = v - c. Is 14 a factor of o?
True
Let f = -1274 + 1239. Suppose -5*x + 106 = -3*x. Let n = f + x. Is n a multiple of 7?
False
Let m = -17531 - -47795. Does 12 divide m?
True
Let q = -331 + 485. Suppose q*o - 149*o = 3100. Is 62 a factor of o?
True
Let o(k) = 11*k**2 - 34*k + 63. Does 3 divide o(-12)?
True
Let d(u) = 10*u - 118. Let z be d(12). Suppose -s = 5*r - 86, 5*s + 300 = -z*r + 753. Is 6 a factor of s?
False
Suppose -35*h + 37*h = 480. Let r = -202 + h. Is 10 a factor of r?
False
Let i = -93 - -215. Suppose -3*t - 44 + i = 0. Is 26 a factor of t?
True
Suppose 5*n - z + 4*z - 2484 = 0, 0 = 2*z - 6. Suppose -2*m = 3*d - n, 5*d - 744 = -7*m + 4*m. Is m a multiple of 27?
True
Let r(w) = -w**3 + 10*w**2 + 9*w - 7. Let k(m) = -6*m + m - 34 + m**2 + 61 - 4*m. Let a be k(6). Is 31 a factor of r(a)?
True
Let w be -4 + (-3 + -9)/(7 - 9). Let c be -2*(1 + 1)*-1. Suppose 4*z = -c, -w*q + z = -18 - 151. Does 21 divide q?
True
Let p(j) = j**2 + 33*j + 100. Let z be p(-30). Let u(q) = 5*q**2 - 45*q - 38. Does 12 divide u(z)?
True
Is 19 a factor of 3/4 + ((-44625)/(-84) - (0 + 0))?
True
Is 13 a factor of -20 - -26687 - -1*6?
False
Let s(g) = g**3 + 2*g**2 - 5*g - 1. Suppose -z - 4*r = -8, -z = z + 2*r - 10. Suppose -3*p - 12 = 0, -z*j - p + 5*p = -32. Is 15 a factor of s(j)?
True
Suppose -3*i = -n - 214, 4*n + 846 = 5*i - 3*i. Let v = 319 + n. Is v a multiple of 27?
True
Suppose -4*t = -2*i - 0*t - 492, 3*i + 2*t + 778 = 0. Let u = i + 329. Does 9 divide u?
False
Let h be 88 + 5 + -1 + (1 - 9). Let b = h + -81. Suppose -2*y + b*i + 261 = 0, 0 = -i - 2*i + 15. Is y a multiple of 46?
True
Let m = 13667 + -12947. Is 6 a factor of m?
True
Let c(b) = -1313*b - 4059. Is c(-7) a multiple of 4?
True
Let l = 527 + -523. Suppose -4 = -2*q + q, 0 = -l*s - 2*q + 608. Is s a multiple of 10?
True
Let i(g) = 1906*g - 2006. Is 28 a factor of i(4)?
False
Let r = -2056 + 28236. Does 34 divide r?
True
Let k(n) = n**2 + 9*n - 50. Let m = 317 + -339. Is k(m) a multiple of 25?
False
Let v = 12909 + -5057. Does 9 divide v?
False
Suppose -780 = -k - 3*s, -s - 908 = -3*k + 1432. Is k a multiple of 24?
False
Let b = 49 - 65. Let y = b - -15. Is 19 a factor of y/(-4) + (-1194)/(-24)?
False
Suppose -11*l + 156 = 15*l. Let f(w) be the second derivative of w**3 - 6*w**2 - 2*w. Is 8 a factor of f(l)?
True
Suppose 0 = 142*o - 139*o - 77010. Does 10 divide o?
True
Let u(t) = -23*t + 22. Let o be u(6). Let p = -79 - o. Let h = 55 - p. Is 3 a factor of h?
True
Let i = 248 + -228. Suppose i*k - 8*k = 696. Is 3 a factor of k?
False
Suppose 0*o - 474 = -4*a - 2*o, 4*o = -3*a + 358. Let m be (a/6)/(3/(-9)). Let z = 110 + m. Does 17 divide z?
True
Let z(i) be the third derivative of i**5/60 - i**4/8 + 37*i**3/6 - 104*i**2. Does 12 divide z(-23)?
False
Let w = 4137 - -4763. Is 49 a factor of w?
False
Let y = 4707 - 2339. Is 32 a factor of y?
True
Does 56 divide (-234 + 216)/(6*(-1)/1306)?
False
Let o be (2/6*-1)/(8/(-72)). Suppose 0 = -4*d - 3*w + 130 + 214, -w + 253 = o*d. Suppose 2*f + 328 = 4*u, 2*f - 3*f - d = -u. Does 9 divide u?
True
Let k(q) = q**3 - 3*q**2 + 8*q - 3. Let u be k(3). Let w be 3734/6 + (-7)/u. Suppose -2*p - m = -w, -2*p = -4*p + 5*m + 610. Is p a multiple of 53?
False
Let z = -142 + 140. Let v = 188 - z. Is v a multiple of 48?
False
Let h = -4299 - -7407. Does 14 divide h?
True
Suppose 0 = 23*t - 48*t + 113631 + 114894. Is 105 a factor of t?
False
Let k = 715 + -712. Let c be (-3)/((-4)/(4160/12)). Suppose -3*p + 181 + 73 = -m, k*p = -5*m + c. Is p a multiple of 34?
False
Suppose -29*u - 200540 = -154*u + 393210. Is 3 a factor of u?
False
Suppose -2*i = -5*t + 5508, -5*t + 0*t + 5480 = 5*i. Suppose 18*n - t = -4*n. Is 5 a factor of n?
True
Suppose -4*p - 31*r = -35*r - 63692, -2*p - 5*r = -31895. Is 94 a factor of p?
False
Suppose 3*r - 13878 = 2*a + 4302, -2*r + 12110 = -3*a. Is r a multiple of 68?
False
Suppose -296 = 3*j + 5*j. Let h = j + 203. Is 12 a factor of h?
False
Let a(f) = -7*f**2 + 2*f**2 - 2*f**2 - 6 + f**2 + 9*f**2 - 14*f. Is 47 a factor of a(-8)?
False
Suppose 4*k - 5*y + 64 = 0, -5*y - 14 + 1 = 3*k. Is 24 a factor of k/(165/(-100))*9*4?
True
Suppose -z + 12434 = b, -1002 = -b - 5*z + 11404. Is b a multiple of 17?
False
Let v be (3/6)/(3/1164*-2). Let t = -58 + v. Let f = t - -315. Does 27 divide f?
False
Let n = 9909 - 5395. Is 74 a factor of n?
True
Does 25 divide 173/(-5 + 60/8)*(-7 + 157)?
False
Let i(b) = b**2 + 3*b + 12. Let v be i(-6). Is 11 a factor of ((-3096)/v)/((-8)/120)?
False
Suppose 0 = -15*n - 639 + 2679. Does 33 divide (51/12 - (-4 + 0))*n?
True
Suppose -2*g + 0 - 5 = 3*s, 5*g = 2*s - 3. Let r(q) = -q - 7. Let p be r(-9). Is s + -1 + 36/p + -2 a multiple of 10?
False
Let b(i) = 73*i**2 + i + 29. Does 32 divide b(6)?
False
Suppose 0 = 28*k - 27*k - 27. Suppose -k*j = -66795 + 24378. Is 17 a factor of j?
False
Let o = -40237 - -65301. Does 36 divide o?
False
Suppose q - 14683 = -3*k, 5*k + 47*q - 49*q - 24490 = 0. Does 17 divide k?
True
Let i(a) = a**2 + 7*a + 19. Let u be i(-11). Let b = u - 69. Is 8 a factor of 27/(-81) - 50/b?
True
Suppose -12*i = -13*i - 5*b + 1796, -2*i = b - 3556. Is 6 a factor of i?
True
Let o(i) = 241*i - 1836. Does 18 divide o(23)?
False
Let h = -14131 + 22047. Is h a multiple of 11?
False
Does 66 divide 24/60 + 34/(-10) + 14325?
True
Suppose -11*v + 27262 = -6101. Is 8 a factor of v?
False
Let n(q) = 11*q**2 - 130*q - 17. Let g be n(12). Let a(z) = 28*z**2 - 4*z + 24. Does 76 divide a(g)?
True
Let j be 241 - -3*(-2 + 32/12). Suppose 0 = -3*q - 72 - j. Is 16 a factor of (84/15)/((-6)/q)?
False
Suppose 49*v - 45*v - 16 = 0. Suppose 4*x = -0 + 20. Suppose -v*n - 348 = -3*d, d = x*d - 5*n - 463. Is d a multiple of 28?
True
Suppose -132*a + 2158992 = 9*a. Is a a multiple of 33?
True
Let g be 1437/4 + 9/12 - 3. Let x = g + -347. Is 5 a factor of x?
True
Let v(u) = u**3 - 28*u**2 + 29*u + 38. Let d be v(33). Suppose d - 34055 = -21*r. Is r a multiple of 19?
False
Suppose -11*f + 3*f = 10*f - 109422. Is f even?
False
Suppose 2*s = 3*s - 2. Suppose 51 = s*k - 183. Suppose -46*z = -47*z + k. Does 39 divide z?
True
Suppose -4*j = 6*j - 9530. Let c = -747 + j. Does 2 divide c?
True
Let r = -11 - -18. Let g be (-2)/r - ((-232)/28 + -4). Is (-4)/(-24) + 562/g a multi