rue
Let r(y) = 283*y - 56. Let l be r(8). Suppose -3*j - p + l = 0, -4*j + 1744 = -5*p - 1181. Is 21 a factor of j?
True
Let x be 13 - (2 + -2)/3. Suppose -v - x = -2*b, -2*b - 4*v = -b + 16. Suppose 80 = 4*m + 2*y - 6*y, 80 = b*m + 5*y. Does 20 divide m?
True
Let i(q) be the second derivative of 17*q**3 - 20*q**2 + 25*q + 5. Is i(2) a multiple of 5?
False
Let s(m) = 57*m + 844. Does 17 divide s(18)?
True
Let j(z) = -3*z + 24. Let i be j(7). Let m = 122 - 120. Is (i - (2 + m)) + 28 a multiple of 3?
True
Suppose -21*k = -17*k - 20. Is 18 a factor of (1035/k)/(10 + -9)?
False
Suppose 30 - 123 = -x. Suppose 0*p = 3*c + 3*p + x, 0 = 3*p + 15. Let u = -15 - c. Is 2 a factor of u?
False
Let b = 14703 + -13915. Does 97 divide b?
False
Suppose -430 = -a - 3*n + 6, 0 = -5*n + 10. Does 20 divide a?
False
Is 45 a factor of ((-11)/(-110))/(16/10720)?
False
Let u = 550 + -546. Suppose 2*g - 386 = -u*h, -2*h + 932 = 5*g - 3*h. Is 17 a factor of g?
True
Is 6 a factor of 355*(-1)/2*28/105*-141?
False
Suppose -63 = -4*b - 0*u + u, -u - 29 = -2*b. Suppose -b*w = 19*w - 39744. Does 16 divide w?
True
Suppose 4*r = -3*z + 425, -5*r + 685 = -z + 149. Suppose -5*x = -2*q - 304, -4*x - q + 144 = -r. Let m = 107 + x. Is 13 a factor of m?
True
Let s be (-1 + (-299)/3)*(-3 + 9). Let v = 428 + s. Let f = v + 295. Is f a multiple of 17?
True
Is (-3)/3 + 48 + 6409 a multiple of 11?
False
Suppose -85*m + 87*m - 6012 = -8*y, -4*m + 4*y + 12124 = 0. Is 178 a factor of m?
True
Let n = -9 - -1. Let b(x) = 5*x**3 - 27*x**2 + 31. Let g(j) = -3*j**3 + 14*j**2 + j - 16. Let c(h) = -4*b(h) - 7*g(h). Is 43 a factor of c(n)?
True
Suppose -4 = -4*d, -5*d + 0*d = 2*m - 1. Let c(r) = 30*r**2 - 2*r - 4. Let x(q) = 91*q**2 - 7*q - 12. Let j(o) = -11*c(o) + 4*x(o). Is j(m) a multiple of 24?
True
Suppose -z + 3*v - 3 + 24 = 0, v = 4*z - 29. Let y(u) = 22*u + 17. Let i be y(z). Let l = -89 + i. Is 20 a factor of l?
True
Let t be -2*26/12*-3. Suppose -t*b = -16*b + 1473. Is 37 a factor of b?
False
Suppose -94 = 2*w + 4*y, 4*y = -3*w - 81 - 66. Let a = 56 + w. Suppose -a*o = 15, -3*p = 6*o - 4*o - 296. Does 17 divide p?
True
Suppose 10 = -5*w, 4*y + 2*w + 9775 - 2199 = 0. Let q = y - -2943. Does 21 divide q?
True
Let v = -88 + 102. Suppose v*a - 7764 = 762. Is a a multiple of 29?
True
Is 55 a factor of ((-5108)/(-5))/(-6*18/(-1620))?
False
Let r = -878 - -2477. Suppose 11*z = r + 183. Does 18 divide z?
True
Suppose -3*u + 3*f = 210, -u = 2*f - 6*f + 79. Let w = 79 + u. Does 4 divide (-232)/(-14) - 7/147*w?
True
Let x = 22600 + -22060. Is 12 a factor of x?
True
Suppose 44*x - 158*x + 3457392 = 0. Is 17 a factor of x?
True
Let p = -4921 + 6967. Suppose 0 = -6*u + p - 336. Does 49 divide u?
False
Let a(d) = 32*d**2 + 1303*d - 6. Is a(12) a multiple of 6?
True
Let b(c) = c**2 - 36*c + 1352. Is b(39) a multiple of 13?
True
Suppose -5861*x = -5854*x - 14322. Is x a multiple of 14?
False
Suppose 3673*r = 3671*r + 8. Let p = -68 - -47. Does 8 divide (0 + p/r)/(24/(-160))?
False
Suppose -4*m = 8, -5*p - 2*m + 3*m = -12. Suppose -40 = b - p*b. Let d = b - 20. Is 10 a factor of d?
True
Suppose -2*y + 13 = -11. Suppose -15 + 13 = c - s, -3*s = 4*c - 6. Suppose c*o = o - y. Does 3 divide o?
True
Suppose -3*y = -4*r + 127, -3*y - 4*r - 79 = 64. Let x be 223/2 - y/(-18). Let c = x + -73. Is c a multiple of 6?
True
Let t(j) = 182*j**2 + 23*j + 15. Is t(12) a multiple of 33?
True
Let u(w) = w + 19. Let a be u(-7). Let t(s) = -s**3 + 11*s**2 + 12*s + 17. Let j be t(a). Let y(r) = -r**2 + 30*r - 45. Is y(j) a multiple of 20?
False
Let v = -325 + 205. Is (v/18)/((-1)/54) a multiple of 24?
True
Does 44 divide (-2)/1 + (9369 - 15)?
False
Suppose 0 = 4*w - 2*b - 782, -3*w + 2*w + 178 = 3*b. Is 10 a factor of w - ((-3 - 2) + 8)?
True
Suppose 7 = 8*o - 1. Let a = o + -1. Suppose a = 6*f - 3*f - 150. Is 25 a factor of f?
True
Let p(s) = s**2 - 13*s + 19. Let d be p(8). Let g = 4 + d. Let c = g - -35. Is c a multiple of 17?
False
Suppose -2*v - 5*c + 32 = -4*c, v - c = 16. Let a(s) = 19*s**2 + 2*s - 4. Let o be a(4). Suppose v*q = 9*q + o. Is q a multiple of 18?
False
Suppose -5*g - 5*x - 6532 = -56117, 2*g = 6*x + 19842. Is 58 a factor of g?
True
Let z be 9/(-36) + 9/4. Let j(x) = -5 + 5 + 4*x**z + x + 2. Is j(-4) a multiple of 3?
False
Is 119 a factor of 1825956/270 + 3/((-15)/4)?
False
Suppose w - 77 = 16. Suppose -2*z = k - 334, -69 = -z + 2*k + w. Is 13 a factor of z?
False
Is 20 a factor of 1*1/((-11)/(-320485)*5)?
False
Let y(v) = v**3 + 2*v**2 - v + 1. Let k = -28 + 26. Let p be y(k). Is 18 a factor of 112/6*p - 2?
True
Let g = 31141 - 14865. Does 10 divide g?
False
Let n = -17367 - -22935. Is n a multiple of 25?
False
Let g = -80 - -120. Suppose -18*j - g = -8*j. Does 7 divide 144 - (-4 - 32/j)?
True
Does 26 divide (5 - -18247)*((-44)/(-8))/11?
True
Let d(g) = -2*g**2 - 2*g - 120. Let m be d(0). Let b = m - -148. Is 4 a factor of b?
True
Suppose 0 = 4*p - 16, -4*s = 5*p - p - 91564. Is s a multiple of 28?
False
Let p = 3709 + -3133. Is p a multiple of 19?
False
Let i(d) = 3*d**3 - 125*d**2 + 31*d + 141. Is 142 a factor of i(51)?
True
Let y(x) = 4*x**2 - x. Let j be y(1). Suppose 2*l + l + 5*f = 5390, -2*l + j*f + 3587 = 0. Does 44 divide 7/(70/l) - (-1)/2?
False
Let g(k) = 128*k**3 - k + 2. Suppose -s + 0*s = -1. Does 43 divide g(s)?
True
Let r be (1 - 5) + (-3 - -12). Suppose 5*y + 0*y = r*j + 730, 5*y - 3*j = 738. Is y a multiple of 5?
True
Let z(s) = 9*s**2 - 16*s - 153. Is z(23) a multiple of 25?
False
Suppose -16 = -0*m - 4*m, -m - 28 = -2*o. Suppose 20*l - o*l - 724 = 0. Suppose 36 = -5*p + l. Is 14 a factor of p?
False
Suppose 10*z - 14*z = 1632. Let v = 448 + z. Is 3 a factor of v?
False
Let o be 0*(-6 + (-102)/(-18)). Suppose 2*j + 5 = -5. Is o/(-2) - (-117 + 0/j) a multiple of 39?
True
Let n = -1717 - -3459. Is 67 a factor of n?
True
Let u be (-116725)/(-100) - (-2)/(-8) - 2. Suppose 45*n = u - 265. Does 18 divide n?
False
Let b = 81938 + -34027. Is b a multiple of 108?
False
Let c(p) = 5*p**3 - 5*p**2 + 2*p. Suppose 4*m - 25 = -5*f, m - 2*m - 5*f + 10 = 0. Suppose -4*r - m*r = -18. Is 7 a factor of c(r)?
False
Is (-40)/(-8)*806736/245 a multiple of 49?
True
Let p be 38 + (-9)/((-6)/2). Let t be (-1 + 6)*(-16)/10. Let v = t + p. Is 19 a factor of v?
False
Suppose q + 42 = 8*r - 4*r, -2*q - 4*r = 60. Suppose 3*a + 4*n = -0*a + 144, -3*a + 144 = -5*n. Let w = a + q. Does 6 divide w?
False
Is (-230)/138 - (-437450)/30 a multiple of 45?
True
Suppose -3*u = -5*d + 1294, -4*d = -17*u + 16*u - 1045. Does 22 divide d?
False
Suppose -13*w - 58029 = -16*w. Suppose -14*y = 15*y - w. Is 72 a factor of y?
False
Let g = -57 - -84. Let q = g - -53. Suppose -3*o + q = o. Is o a multiple of 3?
False
Suppose -5*n + 5*u = 4*u + 2, -3*n + 4*u - 8 = 0. Suppose n = 19*y - 5*y - 2772. Is y a multiple of 11?
True
Suppose -2*j = 15*j - 17187. Is j a multiple of 2?
False
Let q(l) = 66*l**2 + 197*l - 171. Is 90 a factor of q(-24)?
False
Suppose -20*i - 198*i = 366211 - 1924911. Does 143 divide i?
True
Suppose 12 = 2*f, -2635 = -5*t - f + 7646. Is 8 a factor of t?
False
Suppose -2*u = 4*n - 10, 5 + 1 = 2*u. Suppose n - 4 = -m. Is (-2 + 90/m)/2 a multiple of 5?
False
Let n(l) = -3447*l - 108. Does 60 divide n(-4)?
True
Suppose -3*g - 4*m = -55370 + 4914, -2*m + 33642 = 2*g. Does 47 divide g?
False
Suppose 2*q = -2*d, 3*d - 5*d + 4*q = -30. Is 70 a factor of 541 - (d/(-2) + 3)*-8?
False
Let u = 56955 - 15729. Is 46 a factor of u?
False
Suppose 4567 = 5*q - 4108. Let l = q + -953. Does 34 divide l?
True
Suppose 3*u - 9 = -18. Let t be (-1)/(u - 40/(-12)). Is 2/(15/(-335)*2/t) a multiple of 10?
False
Suppose -5*c + 83 = z - 38, c = -2*z + 260. Suppose -z*v = -138*v + 504. Is 6 a factor of v?
True
Suppose -32*y + 30*y = 5*k - 52274, 3*k - 31380 = 4*y. Is k a multiple of 26?
False
Suppose 934 = 2*i + 2*h - 1048, 5*h - 15 = 0. Is i a multiple of 82?
False
Let o be (0 - (-2)/(-8))/((-109)/(-264652)). Suppose -2*r = -6, 5*s - 3719 = s - 5*r. Let l = s + o. Is l a multiple of 29?
True
Let q = 14 + 1. Let x(h) = h**2 - 8*h - 26. Let o be x(q). Does 12 divide (-6)/(-24) - o/(-4)?
False
Let m(n) = -3*n + 28. Let i = -17 + 27. Let g be m(i). Is g + 2 - 9/(-1) a multiple of 9?
True
Suppose l + 20 = i - 96, -480 = -4*i - 4*l. Does 118 divid