
Suppose -2*w = -5*u - 5, w + 4*w + 3*u = -3. Let p be 4/8*w/1. Suppose 4*f - 25 - 671 = p. Does 29 divide f?
True
Suppose -464 = -149*h + 150*h. Let t = h - -524. Is t a multiple of 20?
True
Let d = -7503 + 8828. Does 5 divide d?
True
Let l(c) be the first derivative of -c**5/24 - 5*c**4/24 + 4*c**3/3 + 10. Let j(k) be the third derivative of l(k). Does 4 divide j(-5)?
True
Let m be (-5)/(-35)*0 + 395. Suppose 5*v + m = 3*r, 673 = 5*r - 0*r - v. Is 15 a factor of r?
True
Is (-38)/6*(156750/(-19))/11 a multiple of 50?
True
Let o(f) = 34*f + 19*f**2 - 122*f - 119*f - 6 + 3*f**2 + 3. Is o(11) a multiple of 14?
False
Suppose -711 = -29*o + 28*o. Suppose -6*h - o = -15*h. Suppose 4*v - h = 3*v. Does 15 divide v?
False
Suppose -2*d = 3*t - 8233 - 1499, -5*t + 16270 = -5*d. Is t a multiple of 58?
True
Is 627084/(-15)*(-295)/354 a multiple of 81?
False
Suppose 3*l + 4*p = 34, -40 = -5*l + l - 4*p. Let b be l/3 + (-3 - -12 - 2). Is 4 a factor of ((-80)/(-6))/(3/b)?
True
Let t(b) = 859*b - 1295. Does 3 divide t(5)?
True
Let d(n) = 2428*n**2 + 175*n - 367. Is d(2) a multiple of 196?
False
Let b = 6460 + -1511. Is b a multiple of 101?
True
Let g(a) = 23*a**3 - 5*a**2 + 25*a - 20. Does 6 divide g(6)?
False
Let j = 9 + -6. Suppose 4*z + 5*l + 7 = 0, 2*z = l + j*l + 16. Let m = z + 13. Is 5 a factor of m?
True
Suppose -3 = 5*b + h, 9*b = 5*b + 2*h - 8. Is 23 a factor of (568/16)/(b/(-2))?
False
Suppose 162 = -2*d - 4. Let u = -25 - d. Is u a multiple of 2?
True
Let p(t) = -2*t - 22. Let g be p(-11). Suppose 0 = 2*x - 5*h + 10, 2*h - 6 + 2 = g. Suppose -21*v + 22*v - 168 = x. Does 28 divide v?
True
Suppose 0 = -3*i - 4*z - 1204 + 7109, 0 = i + 2*z - 1965. Is i a multiple of 16?
False
Is -5*(253500/(-39) + 5/(-1)) a multiple of 25?
True
Let p be (-5 - 1)*(-3)/(45/(-20)). Does 26 divide 2/p + (4 - 2775/(-12))?
False
Is (-1 + 2)/(1768/1766 + -1) a multiple of 52?
False
Let o(f) = -f**3 + 9*f + 16. Let i be o(0). Suppose 4*t = 5*z - 140, i*z + 5*t - 121 = 13*z. Is z a multiple of 32?
True
Let s(p) = -p**2 - 10*p + 4. Let b be s(-9). Let a(f) = -2 - 21 - 10 + b + 21*f. Is 17 a factor of a(5)?
True
Suppose -149622 - 73398 = -14*g - 7*g. Does 60 divide g?
True
Suppose -2*i + 25863 = 2827. Is i a multiple of 88?
False
Suppose -21 = y + 5*j - 4*j, -145 = 5*y - 5*j. Suppose 387 = 6*n + 3*n. Let r = n + y. Is 9 a factor of r?
True
Is 20 a factor of (-50836)/(-18) + 26/(-117)?
False
Suppose 0 = -2*x - 4, 5*k = 3*x + 46. Suppose -2*c + 1045 = 3*c. Suppose 0 = -k*y + 975 + c. Is 47 a factor of y?
False
Suppose -4*p + 95 = -2*s - 225, 0 = -4*p - 2*s + 304. Suppose 2*w - 7*w + 4*y - 149 = 0, 3*y = -4*w - 144. Let c = p + w. Does 9 divide c?
True
Let s(i) = -10*i**2 + 36*i - 5. Let x(b) = 30*b**2 - 105*b + 16. Let l(r) = -7*s(r) - 2*x(r). Does 10 divide l(7)?
False
Suppose 15*z - 3*z + 13*z = 0. Is 95 - (3/6 - z)*-2 a multiple of 2?
True
Does 36 divide 6312 - (6 + ((-12)/(-18))/(1/3))?
False
Let g(x) = 3*x + 3. Let k be g(0). Suppose -m = 4*i - 355, m + 282 - 7 = k*i. Does 22 divide i?
False
Suppose -3*g = -3*o - 711, -1165 = 5*o + 3*g + 2*g. Let l be -5 - o/45 - 353/9. Is 8 a factor of 2 - 1 - l*(-1 + 2)?
True
Let o(r) = 62*r**3 - 7*r**2 + 42*r - 311. Is o(6) a multiple of 127?
True
Let p(l) = -l**3 + l**2 + 7*l + 285. Let d be p(0). Suppose -x + 3*v = -d, 3*x - 356 - 535 = -3*v. Is 21 a factor of x?
True
Does 15 divide 2055240/792 - 19/1?
False
Suppose -2*q + 1 + 7 = d, -q + 4*d = -4. Suppose o = 2*t - 177, -7*t = -q*o - 2*t - 705. Let z = 252 + o. Is 14 a factor of z?
False
Let r be 4/2 - 48/(-9)*-3. Let b be r/(-2)*3/42*4. Suppose -5*o = -5*q - 610, 2*o + 4*q = -b*o + 472. Is o a multiple of 21?
False
Suppose 247016 = 914*t - 886*t. Is 23 a factor of t?
False
Suppose -10 = -u - 9. Let t be 1*(156/(-12))/(u/(-182)). Is t/16 + 11/88 a multiple of 36?
False
Suppose 213 = 4*j + 49. Suppose -6405 + 23625 = j*u. Is u a multiple of 28?
True
Suppose -4*v + 18 = -10. Suppose -4*d - 25 = v. Does 17 divide d/3*459/(-12)?
True
Let x(g) = 3*g + 25. Let i be x(13). Let v = 105 + i. Is 19 a factor of v?
False
Suppose -6*c = -153 - 549. Let b = 119 - c. Suppose -4*j = 20, -l + 13 + 78 = -b*j. Is l a multiple of 9?
True
Let y be (-1)/(3/(-828) - 0). Let w = y - -114. Is w a multiple of 39?
True
Does 152 divide (-1 + 686)*((-14)/(-49))/(2/91)?
False
Let l = 15086 + -8034. Is l a multiple of 82?
True
Let x be (-4)/4*(-1 - -1). Suppose x = -17*c + 23*c - 450. Is 3 a factor of c?
True
Is 3441 + 1 - (-35)/((-665)/76) a multiple of 14?
False
Let g = 632 + -652. Is (3 + g/(-15))*(-1 + 28) a multiple of 10?
False
Let j(u) = -2092*u - 2324. Is 5 a factor of j(-7)?
True
Let c be 2*(4 + (-1)/2). Suppose 3*q - 826 = 4*w, -2*w - 1386 = -c*q + 2*q. Is q a multiple of 9?
False
Suppose -1051491 - 1083408 = -276*g + 2231421. Does 20 divide g?
True
Let x = 1164 - -2434. Is x a multiple of 29?
False
Let w(b) = -11 + 5*b**2 - 6*b**2 + 0*b**2 - 13*b. Let c be w(-5). Suppose -c*q = -24*q - 435. Is q a multiple of 16?
False
Let n(b) = -271*b**3 + b**2 + 8*b - 1. Let p be n(-2). Suppose -5*w = -c - 4*c + 2200, -5*c - 4*w + p = 0. Does 31 divide c?
False
Suppose 5*d - 5778 = -c + 13012, 0 = -3*d - 2*c + 11267. Suppose 0 = 11*l - d - 1334. Does 21 divide l?
False
Let v be 0*3/9 - -2. Suppose -3*x = -5*r + 163, -2*x = -v*r + 2*x + 54. Does 10 divide r?
False
Suppose 2*n - 874 = 374. Let z = n + -504. Is z a multiple of 10?
True
Is 13 + -1 + (-50138)/(-22) a multiple of 82?
False
Let h = -3249 - -13447. Is 99 a factor of h?
False
Suppose 0 = 3*d - a + 61 - 45, -5*a = d - 16. Is d/(-6) - (-8 + (-8512)/12) a multiple of 52?
False
Suppose 0 = -4*w + 3*h - 275 + 98, -5*h = 4*w + 185. Does 8 divide (72/w*1)/(1/(-480))?
True
Let o(f) = -2*f**2 + 56*f - 36. Let j be o(27). Suppose -26*h + j*h + 2776 = 0. Is h a multiple of 27?
False
Let j be ((-1)/(-2))/(-3 - 6292/(-2096)). Let w be 21/((-1)/(88/12)). Let y = j + w. Is y a multiple of 26?
False
Let v = 48377 + -33842. Is 32 a factor of v?
False
Let i = -228 - -243. Let j(k) = -1 - 2*k - 21 - 6*k - 3*k + k**2. Does 12 divide j(i)?
False
Let k(c) = 218*c**3 + 2*c**2 + 13*c - 7. Is 8 a factor of k(3)?
True
Let o(c) = -c**3 - 6*c**2 - 4*c + 6. Let j(a) = a**2 + 8*a - 8. Let x be j(-8). Let s be o(x). Is 21 a factor of (12 - 11) + s/2?
True
Suppose -50*v + 2*k = -48*v - 3200, -5*k = 5*v - 7990. Is 15 a factor of v?
False
Let c = 25236 - -22282. Is 23 a factor of c?
True
Let y(x) be the first derivative of -x**3 - 35*x**2 - 2*x - 22. Does 30 divide y(-14)?
True
Suppose 4*q + 528*i - 77168 = 527*i, q = i + 19292. Is q a multiple of 27?
False
Suppose 10*a = -3*c + 15*a + 34, c + 3*a = -12. Suppose -t - 340 = -c*t. Does 5 divide t?
True
Suppose -18*v + 17*v + 1446 = 2*d, 0 = v - d - 1455. Does 66 divide v*(-9)/(-2)*(-13)/(-117)?
True
Let h = 200 + -197. Is 6 a factor of (h/(-1))/(4 - 469/117)?
False
Suppose 2*m = 205 + 2149. Let g = 1674 - m. Suppose 57 = -4*h + g. Is h a multiple of 22?
True
Let r(k) = -200*k - 986. Is 113 a factor of r(-16)?
False
Suppose 0 = -5*n - 2*w + 3727 + 2124, -2*n = w - 2340. Suppose -371 + n = 16*t. Is 25 a factor of t?
True
Let w(n) = n**3 - 19*n**2 - 2*n + 39. Let a be w(19). Let h(x) = 36*x**2. Let v be h(a). Let g = v + -4. Is g a multiple of 3?
False
Let l(n) = -4*n**3 + 77*n**2 - 45*n - 79. Let w(a) = a**3 - 19*a**2 + 11*a + 20. Let y(d) = -2*l(d) - 9*w(d). Does 47 divide y(11)?
False
Let p = -9 + 12. Suppose p = 5*l - 12. Suppose 2*q - 108 = -3*b - 10, -l*b - q = -103. Does 9 divide b?
True
Let d be 2/7 - (-15)/21. Let w be (4 + d)/(-3 + 8 - 4). Suppose 10*t - w*t - 350 = 0. Is t a multiple of 10?
True
Let b = 2085 + 2556. Suppose -19*q - b = -40*q. Is 27 a factor of q?
False
Suppose 7106 = 4*n + n - 2*m, -3*m = 5*n - 7116. Let c = -814 + n. Is 76 a factor of c?
True
Suppose -6*s = 19 - 7. Let f be -3*s/6*(3 + 5). Is 6 a factor of (3 - (-908)/f) + 3/(-6)?
False
Let j(v) = -3*v**2 + 134*v - 332. Is 12 a factor of j(36)?
False
Let s(t) = 166*t - 2445. Is s(30) a multiple of 24?
False
Suppose -15 = -22*q + 27*q. Let k(n) = -35*n - 7. Let g be k(q). Suppose 3*p - 5*l - g = 0, 4 = p + 5*l - 2. Does 2 divide p?
True
Let k(g) = -g**2 + 2*g + 21. Let s be k(0). Is s/2*240/36*10 a multiple of 35?
True
Is 28 a factor of 7252/37 + 1/(-1) + 1?
True
Let