- -2231. Does 29 divide s?
True
Let z = 193 - 190. Suppose 0 = z*l - 304 - 323. Is 20 a factor of l?
False
Suppose z - 654 = 3*y, -1245 - 55 = -2*z + 4*y. Suppose 5*h = -3*f + 5316, -2*h + 4*f = z - 2784. Does 82 divide h?
False
Suppose -5*y + 2*t - 3*t + 17 = 0, -4*y + 5*t + 2 = 0. Suppose -4*q = -3*x - 1074, y*q = -4*x + 7 + 811. Does 10 divide q?
True
Let c(q) = 69*q + 2254. Is c(72) a multiple of 23?
True
Let j(v) be the second derivative of v**6/48 - 5*v**5/24 + 17*v**4/6 - 33*v. Let r(k) be the third derivative of j(k). Is r(9) a multiple of 11?
True
Suppose -39998 + 1648 = -10*s. Is s a multiple of 59?
True
Let z be -24 - -26 - (-2 + 1). Suppose -z*a = 6, -6*y + 3596 = -2*y + 2*a. Is y a multiple of 25?
True
Suppose -5*t - 3*q + 573 = 0, -3*t + 299 = q - 44. Suppose 5*f - 2*f = t. Let j = f + -20. Is j a multiple of 12?
False
Let d = 9956 - 5547. Is 22 a factor of d?
False
Let j(y) = 7*y**2 - 26*y - 55. Let l be j(-4). Let x(h) = h**2 + h + 2. Let n be x(2). Suppose n*w = w + l. Is w a multiple of 20?
False
Let x(j) = 25*j + 7*j - 41*j + 43*j + 97. Does 31 divide x(9)?
True
Suppose -5*g + 16714 + 14764 = -3*t, 2*g - 12614 = 5*t. Does 6 divide g?
False
Suppose -43*c - 131235 = -56*c. Does 43 divide c?
False
Suppose 0 = -6697*b + 6726*b - 217355. Does 20 divide b?
False
Suppose 0 = 5*x + 4*n - 88596, -5*x = 2*n + 5015 - 93603. Does 43 divide x?
True
Suppose 25*m = 63*m - 62852. Is m a multiple of 7?
False
Let w(f) = -10*f - 26. Let h be w(-3). Suppose -h*g = -j - 16, -2 = g - 6. Suppose j = -5*d + 50 + 1060. Is d a multiple of 22?
False
Let f be (-2 + 367)*1 - -2. Suppose n = 4*r - f, -2*n + 242 = 2*r + 66. Is 13 a factor of r?
True
Let b = -210 + 208. Does 81 divide (-557)/3*((b - -1) + -2)?
False
Suppose 67*q - 239407 - 629082 = -21676. Does 128 divide q?
False
Suppose 91350 = 19*s + 23*s. Is 16 a factor of s?
False
Let a = 199 - 107. Let n = -115 + a. Let u = 52 + n. Is 6 a factor of u?
False
Suppose 0 = -30*l + 28*l + 10. Suppose 4*n + 4*a - 160 = 0, -5*n + 137 = -l*a - 33. Is (n + -3)*(-1 - -2) a multiple of 13?
False
Suppose -6330 = -3*s - 4*d, -1879 - 218 = -s + 3*d. Is 25 a factor of s?
False
Let p = -101 + 105. Is (p/(-36)*-3)/(10/90) even?
False
Let a = 8649 - 7886. Does 27 divide a?
False
Let r(m) be the second derivative of 4*m**3/3 + 71*m**2/2 + 6*m + 2. Is r(20) a multiple of 33?
True
Let f(s) = 2*s**3 - 8*s**2 - 11*s + 7. Let j be f(5). Suppose -864 = -8*z + j*z. Is z a multiple of 24?
True
Does 159 divide 7271 - (-41)/((-287)/(-28))?
False
Suppose -4*i = 0, -3*b + 1581 + 1029 = 5*i. Let o = -249 + b. Is o a multiple of 69?
True
Let g(k) = -111*k + 135. Is 25 a factor of g(-15)?
True
Let t = 3346 - -17558. Does 26 divide t?
True
Is 128128/196*(-70)/(-5) a multiple of 26?
True
Suppose -2*u + 230 = 222. Suppose x = 2*b + 909, 4*x - u*b = b + 3627. Is 50 a factor of x?
False
Let w(i) = 1. Let y(x) = x**2 + 2*x + 22. Let l(s) = 2*w(s) + y(s). Let j be (-342)/(-27) + 4/(-6). Is l(j) a multiple of 22?
False
Suppose 65 = -14*h + 27*h. Is 5 a factor of 6 + h/((-25)/(-510))?
False
Let i be (-46)/(-3)*3/1. Let p(f) = -f**2 - 29*f - 154. Let v be p(-7). Suppose 2*n = -v*n + i. Is 4 a factor of n?
False
Is ((-135)/(-9))/((-21)/(-1197)) a multiple of 5?
True
Let l be (-50)/15*9 - (4 + -3). Let h = 61 + l. Is 15 a factor of h?
True
Let z be 686/(((-6)/(-12))/(1/2)). Is 12 a factor of (z/(-8))/(-7) - 5/20?
True
Let c be 1*-6 + (6 - 9). Let p be (-1 - 6)/(-8 - c). Is 5 a factor of (-3)/(p/(175/3))?
True
Let b = 744 + -623. Suppose -3 = -3*o, -4*y + 397 = -2*o - b. Is 26 a factor of y?
True
Let r be (84/(-16) + 0)*-8. Suppose -g - r = -3*p, 0*p + p - 5*g - 14 = 0. Let n = p - -14. Does 7 divide n?
True
Let x(n) = 228*n**2 - 2*n + 2. Let r be x(1). Suppose -3*t = 5*l - 797, -8*t = 5*l - 11*t - 803. Suppose -232*i + l = -r*i. Is i a multiple of 20?
True
Suppose 0 = m - 4*l + 5, 6*l - 2*l - 11 = -m. Suppose m*w - 636 = 5*w. Let n = -219 - w. Does 9 divide n?
True
Let i be (5/2)/(31/(-62)). Let j be i/1*(21 - 19). Is (-844)/j + (-8)/20 a multiple of 21?
True
Let v be (24 - 6)*(-4)/(-6). Let y(h) = h**2 + 4*h + 15. Let m be y(v). Suppose -m = -2*l + t, 4*l - t = 300 + 115. Does 26 divide l?
True
Suppose 2*h - 269 = 4*f + 3*h, -h - 71 = f. Is 3 a factor of (f/(-12))/(9/108)?
True
Let c be (-43 - -2) + (-6)/2. Let q = c + 50. Suppose q*u - 324 = 4*u. Is 27 a factor of u?
True
Suppose 103*z - 31790 = 248106 - 5298. Is z a multiple of 6?
False
Suppose l = 5*j - 57, -2*l - 30 = -2*j - j. Suppose -j*g = -7087 - 437. Is g a multiple of 14?
False
Is (-122075)/(-22) + 160/(-440) - (-2)/4 a multiple of 19?
False
Let s be ((-18)/(-15))/(-3 + 26/10). Let h be 31/s + 6/108*6. Let x = h - -18. Does 2 divide x?
True
Is 3 a factor of 48/(-240) + 4241/5?
False
Let w = 118 + -116. Suppose w*j - 16*j = -2814. Is j a multiple of 13?
False
Suppose 16*d + 7505 - 57169 = 0. Does 22 divide d?
False
Let a be (-3)/4 + 34/(-8). Let y(t) = -t**3 - 6*t**2 - t - 2. Let w be y(a). Let c = 70 - w. Is c a multiple of 23?
True
Suppose 7*a - 12*a - 4*n + 3951 = 0, -2*a - 3*n + 1579 = 0. Let z = a + -706. Is z a multiple of 2?
False
Let p(t) = t**2 - 8*t - 1. Let w(b) = -b**2 + 9*b + 2. Let n(k) = 5*p(k) + 4*w(k). Suppose -u + 6 + 0 = 0. Does 3 divide n(u)?
True
Let k be 4 + (-30)/(-18) - 6/9. Suppose 0 = 2*l - k*r - 1555, -26*r = -22*r - 12. Is l a multiple of 87?
False
Let f be 1*(0 - 4) + 84. Suppose 4*n - f = -4*i + 3*i, -2*i = 3*n - 175. Is i a multiple of 10?
False
Let u = -972 - -2046. Let l = u + -632. Is 17 a factor of l?
True
Suppose 0 = -4*h + 3*h + 1. Is (h - 113)*(-624)/192 a multiple of 52?
True
Let h(v) = -4*v**3 + 4*v**2 - 14*v - 3. Let w(q) = q**3 + q**2 + q - 1. Let x(t) = -h(t) - 3*w(t). Is x(4) a multiple of 2?
True
Let i(p) = -20*p - 29. Let u be (-1 + 8)*(18/(-21) + 0). Let x be i(u). Let h = x - -9. Does 16 divide h?
False
Does 131 divide -18 + 851/46 + 102178/4?
True
Let w = -147 + 135. Let g(c) = c**3 + 11*c**2 - 42*c - 8. Is g(w) a multiple of 11?
True
Let d(v) = -v**3 - 5*v**2 + 25*v. Suppose 2*j = 2*q - 12, 4*j + 5*q + 52 = 2*q. Is d(j) a multiple of 49?
False
Let d(n) = -4*n + 90. Let p be d(7). Suppose -3*w + p = -184. Does 20 divide w?
False
Suppose -26*b + 27*b = -7. Let y = b - 42. Is 11 a factor of (0/1)/(-1) - (-5 + y)?
False
Let s = -49 + 51. Suppose -12 = s*k + k, 0 = -4*p - 5*k + 108. Suppose p*c = 35*c - 120. Is 20 a factor of c?
True
Let u be 2*(-2 - (-42)/12). Suppose -2*q = u*g + 98 - 646, 5*g = -2*q + 916. Is 9 a factor of g?
False
Let d be 20705/4 + ((-5)/(-1))/(-20). Suppose -4*b - 1300 + d = 0. Is b a multiple of 21?
False
Let m be 327 + 1 - (-4 - -1). Let v = 48 - 25. Suppose 0 = 6*s - m - v. Is s a multiple of 14?
False
Suppose 7*d + 57 = 4*d. Let o = d + 21. Is (-4)/o + 830/10 a multiple of 10?
False
Let d be 4 + 4/12*3*-2. Suppose d*j = -5*b + 5*j + 870, b = 3*j + 186. Is 18 a factor of b?
False
Let a = -141 + 140. Does 38 divide (a + 0)*(-763 + 32)?
False
Let d = 2218 + -1224. Is d a multiple of 14?
True
Suppose -168 = -k - 5*q + 189, 5*q - 5 = 0. Is 32 a factor of k?
True
Let s(m) = 2*m**2 + 2. Let v(p) = 4*p**2 + 55*p - 30. Let d(q) = -3*s(q) + v(q). Does 4 divide d(24)?
True
Let v = 16422 + -13475. Is 2 a factor of v?
False
Let w be (20 + -16)*((-5)/(-2))/(-5). Let x(y) = -178*y + 19. Is 15 a factor of x(w)?
True
Let x be ((-2)/2)/((-4)/(-4276)). Let t be x/(-17) - 12/(-102). Is t + 15 + (-3 - -1) a multiple of 38?
True
Let l = -88 + 50. Let y = -2384 - -2432. Let m = y + l. Is m a multiple of 5?
True
Suppose -12*m + 9166 + 54590 = 0. Is 77 a factor of m?
True
Let h(d) be the first derivative of -97*d**2/2 - 4*d - 25. Is 24 a factor of h(-1)?
False
Let a(c) = 537*c**2 - 102*c + 467. Is a(7) a multiple of 290?
False
Suppose 0 = 13*v - 16*v - 492. Let h = v + 237. Let u = h - 0. Is 33 a factor of u?
False
Let o(f) be the second derivative of -f**5/20 - 25*f**4/12 - 23*f**3/6 + 85*f**2/2 + 2*f - 22. Is 22 a factor of o(-25)?
True
Let t be -3*(-278)/(-18)*3. Let u(i) = -8*i**3 + 3*i**2 - 3*i + 2. Let c be u(3). Let o = t - c. Is 22 a factor of o?
False
Let k(q) = 4*q + 4. Let h = -20 - -18. Let u be k(h). Let x(c) = -c**3 - c**2 - 4*c + 4. Does 9 divide x(u)?
False
Let l = -2291 + 3253. Let u = 655 + l. Does 21 divide u?
True
