 = j - b - 3*b. Does 25 divide 9 + (-1764)/(-3) + 3*j?
True
Let x be -1*((0 - 0) + -436 + -11). Let m = 929 - x. Is m a multiple of 35?
False
Let a(t) = t**3 + 20*t**2 + 34. Let l be a(-20). Let s = 37 - l. Suppose -s*y - x - x + 893 = 0, 0 = y + x - 297. Is 13 a factor of y?
True
Is 2 - (-7 + (-3 - 676)) a multiple of 14?
False
Suppose 2 = c - 2*r, 9*r - 4*r - 13 = -2*c. Suppose w - 12 = -4*k - c*w, -2*w = 0. Suppose -k*f - 4*o + 0*o + 58 = 0, 5*o + 77 = 2*f. Is 13 a factor of f?
True
Let r = 130 - 127. Suppose 12 = n + 2*n. Suppose 5*g + n*u = r*u + 663, 0 = -u + 3. Is g a multiple of 26?
False
Suppose 0 = 10*c - 2*c - 40*c + 692544. Is c a multiple of 15?
False
Suppose -3*r + 6363 = -x, -r - 143*x + 2107 = -141*x. Does 35 divide r?
False
Suppose -19 - 5 = -3*m. Suppose 6 = -m*s - 106. Is (30/s - 3)*-7 a multiple of 18?
True
Let x be (168/10)/((-20)/150). Does 23 divide (96/36)/(2 - (-249)/x)?
False
Let z = 378 + -669. Let f = z - -312. Does 7 divide f?
True
Let c(i) = 3*i**2 + 42*i - 45. Is 4 a factor of c(-24)?
False
Let m = 8179 + -762. Is m a multiple of 20?
False
Let j(a) = 38*a**2 + 22*a + 174. Does 141 divide j(-6)?
True
Suppose -3*o - 66 = -3*y, -5*y + 171 = -4*o + 63. Let m = -17 + y. Suppose 2*x - 29 = m*z - 2*z, -5*z = 2*x - 59. Is 5 a factor of x?
False
Let o(k) = -32 - 21*k + 85 - 43. Is 8 a factor of o(-19)?
False
Let k(n) = -n**3 - 6*n**2 - 49*n - 513. Is 64 a factor of k(-17)?
False
Let p = -134 + 141. Is 22 a factor of p/((-7)/4) + (461 - -5)?
True
Let u(k) = 41*k + 97. Let i be u(-2). Suppose -i*l = -2*l - 2340. Is 17 a factor of l?
False
Let o be (336/15)/(3 - (-145)/(-50)). Suppose -2*i + 136 = -o. Is i a multiple of 8?
False
Let q = 2590 + -2398. Let z be -4*(19 + 2/(-2)). Let p = q + z. Is p a multiple of 20?
True
Does 114 divide 9 + 2/4 + (-27)/18 + 24430?
False
Let f = 157 + -133. Let n(o) = -f*o + 12*o - 2*o + 156. Is 37 a factor of n(0)?
False
Suppose -3*p + 5*b + 4323 = 0, -4*p + 8*b + 5764 = 12*b. Suppose 4*o - p = u, -3*o + 1601 = -3*u + 518. Is 9 a factor of o?
True
Suppose -5*z - 6715 = -4*y, -5*y - 43*z + 8404 = -39*z. Does 6 divide y?
True
Let l be (4 + (-6)/4)*18/15. Let d be 1/4 - 19/(-4) - l. Suppose -t + 20 = a, -d*t + 0*a - 5*a = -49. Is t a multiple of 4?
False
Let b(q) = -9*q**3 - 31*q**2 - 37*q - 67. Let a(x) = -16*x**3 - 63*x**2 - 73*x - 136. Let w(l) = 4*a(l) - 7*b(l). Is 12 a factor of w(-35)?
True
Let w = 642 + -1538. Does 4 divide (-62)/(-465) + w/(-30)?
False
Suppose 3*r = -0*r + 6. Let h be ((717/9)/(-1))/((-2)/6). Suppose -118 = -2*x + 2*i, r*i - 7*i - h = -4*x. Is 14 a factor of x?
True
Suppose 8*u - 3454 + 1302 = 0. Suppose -2375 = -13*b - u. Does 9 divide b?
True
Let n(d) be the second derivative of d**5/20 - 7*d**4/12 + 7*d**3/6 - 67*d**2/2 - 96*d. Is 29 a factor of n(10)?
False
Let d be 1040/(-312)*(-36)/(-10). Suppose -2*w + w + 2 = 0. Is ((-68)/d - 2)/(w/36) a multiple of 22?
True
Suppose 4*q - 4*i = 288, 3*q - 88 = i + 134. Suppose -3*l = q - 2391. Does 11 divide l?
False
Suppose 6*i - 464 = 2*i. Let r(w) = -77*w + 887. Let y be r(11). Let q = y + i. Does 23 divide q?
False
Let j(w) = -2*w - 30. Let i be j(0). Let p = i + 300. Is p a multiple of 25?
False
Suppose 0 = -7*u + 11*u - 1944. Suppose -u = -15*z + 21*z. Let o = -36 - z. Is 14 a factor of o?
False
Let s = 2245 + -1849. Is s a multiple of 4?
True
Let t be 1*(4/2 + -2). Suppose 3*h - 4*p + 1 = -1, -3*p + 12 = 3*h. Suppose -3*v + u + 158 = t, -214 = -4*v - h*u + 5*u. Is v a multiple of 13?
True
Suppose -3 = -j, 0 = -l + 4*j - 19. Let g(o) = 9*o**2 - 11*o + 28. Does 39 divide g(l)?
True
Suppose -47*p = 25*p - 58865 - 43015. Is 2 a factor of p?
False
Let n = 61 + -30. Let k = n - 27. Suppose 188 = 4*w - 2*s, k*s = 5*w + 2*s - 234. Does 7 divide w?
False
Let p be 0 - (11 - -1)*-1. Let i = p - 33. Does 15 divide 18*i/(-6) + 2?
False
Let l = 368 + -363. Suppose j - b + 749 = 2*j, -l*j = 4*b - 3744. Is 68 a factor of j?
True
Suppose -297*o - 1881 = -313*o + 75207. Does 26 divide o?
False
Suppose -3*w - 6 = -3*a, 62 = 4*a - 5*w + 58. Suppose -d + 1165 = 4*s, 0 = 3*d - 2*s - 3487 + a. Does 43 divide d?
True
Suppose 9*r + 889 - 9880 = 2349. Is r a multiple of 105?
True
Let k(s) be the third derivative of -s**5/60 - s**3/2 + 35*s**2. Let g be k(0). Does 37 divide 10*g/(-6) - -241?
False
Is 28 a factor of (-98076)/(-10) + 36/(-60) + (-3)/(-1)?
False
Let d = 15977 - 13535. Does 161 divide d?
False
Let s be 5 - ((-30)/(-6) - 3). Does 26 divide 1004 - -56 - s*1?
False
Suppose 0 = 5*q + 7*m - 2*m - 380, 3*q - 231 = -2*m. Let n = 177 - q. Is 14 a factor of n?
True
Suppose 0 = 4*n + 8, n = 5*l - 2476 - 2051. Suppose 5*o - l = 455. Suppose 3*b = o - 41. Is b a multiple of 8?
False
Suppose 106*v - 56*v = 55*v - 45120. Is 16 a factor of v?
True
Let i = 1296 + -192. Suppose 0*l + 3*l = 4*v - 868, -l + i = 5*v. Is v a multiple of 22?
True
Suppose -16*z - 4101 = -4*v - 13*z, 0 = 4*v - z - 4087. Is v even?
True
Suppose -q + 2992 = 3*r - 1613, -r - 18446 = -4*q. Is q a multiple of 53?
True
Suppose 4*g + 4231 = 3*w + 23289, -19064 = -4*g + 4*w. Is g a multiple of 169?
False
Suppose -u + 614 = u + c, -2*u - 3*c = -626. Is u a multiple of 34?
False
Let o = -16003 + 23741. Is 33 a factor of o?
False
Let q(w) = 25*w + 311. Let z be q(-12). Suppose -446 = 3*x - 1403. Suppose 0 = z*h - x. Is h a multiple of 25?
False
Suppose 0 = -4*n - 5*t + 113258, 179*n = 178*n - 4*t + 28309. Does 32 divide n?
False
Let d = -31645 + 37869. Is d a multiple of 15?
False
Let s = -156 + 230. Suppose 242 + 436 = 3*j. Let m = j - s. Does 25 divide m?
False
Is (-49779)/(-18) + 4/8 a multiple of 3?
True
Suppose -2*f - 6 = -3*f. Let r be (4/f)/((-12)/(-954)). Let o = r - -7. Is o a multiple of 15?
True
Let g(i) = i**2 - 35*i + 894. Does 16 divide g(-35)?
True
Let q(v) be the second derivative of -v**4/12 - 5*v**3/3 + 8*v**2 - 4246*v. Let d be (-1)/(2/14 - 0). Is q(d) a multiple of 5?
False
Let w = -93 + 128. Suppose -32*l + w*l = 12. Suppose 0*k = k - l*z - 196, 4*k = -3*z + 822. Is k a multiple of 12?
True
Suppose 84*r + 182*r + 637769 - 1931327 = 0. Is 87 a factor of r?
False
Let x = 1400 + -616. Is x even?
True
Suppose 23*u + 192 = 26*u. Does 8 divide -2*u/(3 - 20/6)?
True
Let t = 134 + -52. Let n(x) = 2*x**3 - 10*x**2 + 8*x - 5. Let o be n(6). Let v = o - t. Is v a multiple of 24?
False
Let v(c) = 142*c - 15. Let x be v(7). Let s = x - 580. Suppose -i - 5*f + s = 3*i, 3*i + 4*f = 298. Does 27 divide i?
False
Let q = -7734 + 12354. Does 42 divide q?
True
Let n be (-2)/(-10) + 1 + 12/(-10). Suppose n = -5*l + d + 3706, 7*d - 5*d = -2. Does 11 divide l?
False
Suppose 4*c = -4*x - 3 + 11, -3*c + 5*x + 38 = 0. Let f(m) = 3*m**3 - 5*m**2 - 9*m + 4. Is f(c) a multiple of 70?
False
Is 91 a factor of 22950/6 + (-1 - 8/4)?
True
Let s(d) be the second derivative of d**5/60 + 7*d**4/24 + 4*d**3 + 5*d**2 - 8*d. Let m(a) be the first derivative of s(a). Does 10 divide m(-9)?
False
Suppose 33*r - 31*r = 12. Suppose -3*s + 4*s = 32. Suppose r*u = -s + 272. Does 10 divide u?
True
Let g(p) = 8*p - 314. Let q be g(40). Let d be 0 + 0 + 2 + 0. Suppose -168 = -q*r + d*r. Is r a multiple of 14?
True
Suppose -2*n - 5*c - 7 + 44 = 0, 4*n + 4*c = 56. Suppose 12*l - n*l + 18 = 0. Does 4 divide (-84)/l*108/14?
True
Let w = 7 - 7. Let c(p) = -p**2 + 2*p + 39. Let b be c(w). Suppose -2*r = 29 - b. Does 5 divide r?
True
Suppose 3*l + 3*i = 10494, 198*i - 10 = 193*i. Is l a multiple of 38?
True
Suppose 0 = -m - 2*m - 5*q - 34, -4*m - 3*q - 60 = 0. Does 12 divide 3/(m/88)*(-3 + -15)?
True
Suppose -5*g - 3*p = -1229, -2*g - 4*p = p - 503. Suppose -3*h + g = 2*w, h - 4*w - 414 = -4*h. Is 10 a factor of h?
False
Suppose -6618 = 32*z - 102*z + 298582. Is z a multiple of 8?
True
Suppose -143208 = 16*l - 70*l. Is 13 a factor of l?
True
Suppose 0 = -4*i - 185*r + 187*r + 762, r = i - 189. Does 23 divide i?
False
Let i(a) = 3*a**2 - 6*a**2 - 11 + 14*a + 5*a**2. Let c be i(-8). Suppose 2*s = c*y + 99, -2*s + 4*y - 156 = -6*s. Is s a multiple of 8?
False
Let k be (-2850)/100*(-4)/3. Suppose -4*a - 20 = 0, -2*q - 3*q + 4*a = 10. Let h = k + q. Is h a multiple of 16?
True
Let t = 12 + 49. Suppose t + 23 = 4*c + p, -p = -4*c + 76. Does 4 divide c?
True
Let j(s) = 414*s + 6. Let w(d) = 206*d + 3. Let t(n) = 4*j(n) - 9*w(