 2*p + 3*g - u = 0. Does 13 divide p?
False
Suppose 0 = -55*k + 17*k + 508592. Suppose 436 = -13*h + k. Is 6 a factor of h?
True
Suppose 43786 = 3*h + 5*z, 5*h + 2*z = -3*z + 72990. Suppose 48*x = 62*x - h. Is 26 a factor of x?
False
Let t(f) = -f + 1. Let a be t(-7). Let g(v) = -v**2 + 6*v + 18. Let k be g(a). Suppose 0 = -4*d + 3*n + 45, 8*d + k*n = 4*d + 70. Is d a multiple of 3?
True
Let z(b) = -b**2 - 31*b - 50. Let r = -90 - -62. Does 34 divide z(r)?
True
Suppose 0 = 5*y - 3*j - 6402 - 13650, 4*y + 5*j - 16049 = 0. Is y a multiple of 21?
True
Let s be 2/8 + (-2)/32*4. Suppose 3*i + q - 1188 = s, -4*i - 5*q + 1584 = -10*q. Is i a multiple of 44?
True
Is -8*((-303595)/40 - 12/(-32)) a multiple of 14?
False
Let k(p) = -20*p + 19. Let q = -68 - -70. Let z be (-1)/(q + 1/3 + -2). Is k(z) a multiple of 4?
False
Let o = -580 + -966. Let v = -391 - o. Is 62 a factor of v?
False
Is 15 a factor of -8 - (1 - -1 - 6460)?
True
Let d(f) = -6*f + 28. Suppose 0 = 5*k - 10, 4*k = -3*n + k. Let h be (-12)/(-72) - n/(-12). Is 14 a factor of d(h)?
True
Let i(u) be the second derivative of -18*u + 7/12*u**4 + 0 + 13/2*u**2 - 1/20*u**5 + 2/3*u**3. Is 7 a factor of i(6)?
False
Let l(g) = -4 + 2 - 1 - 15*g. Let h = -1424 + 1423. Is l(h) a multiple of 6?
True
Let p(d) be the first derivative of -d**4 - 11*d**3/3 + 5*d**2 + 23. Let m be p(9). Is 12 a factor of m/(-21) + (-1)/1?
False
Let n(r) = 1093*r + 734. Does 34 divide n(5)?
False
Suppose -3 = -5*v + b, 8*b = 5*v + 9*b + 3. Suppose 5*i = -2*z + 282 + 526, v = 4*i - z - 649. Is i a multiple of 9?
True
Suppose -9*k + 22513 = 3*h - 23111, 0 = 3*k - 5*h - 15220. Is k a multiple of 78?
True
Is (-60240)/360*(-2 + -4) a multiple of 4?
True
Suppose 884 = 7*j - 2658. Let x = j - 280. Is x a multiple of 34?
False
Let n = 3839 - 2339. Does 5 divide n?
True
Suppose -5*b = -4*r + 52, 2*b + b = -r - 4. Let s be (-4)/r*(-24)/(-2). Is 23 a factor of (6/(-4))/(s/460)?
True
Let o(f) = 565*f - 2761. Is o(6) a multiple of 9?
False
Suppose -5*j = -5*n - 1925, n + 4*j = -244 - 156. Let u = 601 + n. Is u a multiple of 25?
False
Suppose 20 = -5*y, 0 = f + 3*y - 3532 - 2676. Is 20 a factor of f?
True
Suppose 354 = -2*l - l. Let v = l - -330. Let m = v - 114. Does 24 divide m?
False
Suppose 13*f - 270 = -2*f. Suppose -f*u = -14*u + 100. Is 24 a factor of 10/u - 1191/(-15)?
False
Let t(m) = -3*m - 15. Let y be t(3). Let n(c) = -2*c**2 - 50*c + 15. Is n(y) a multiple of 21?
True
Let y = 49 + -176. Let j = 107 - y. Let f = j + -117. Is 13 a factor of f?
True
Suppose 20*y + 11*d - 16700 = 14*d, 835 = y + 5*d. Is y a multiple of 5?
True
Let f = 299 + -213. Let p = -265 + f. Let x = 317 + p. Is x a multiple of 23?
True
Let y be (-3)/((-15)/40) - 14. Let i(u) = 2*u**2 + 15*u + 51. Is i(y) even?
False
Let j be 18/108 + 449/6. Suppose j = -c + 6*c. Does 13 divide 28 + 2/((-10)/c)?
False
Is 1*(7690 + -5) + -7 a multiple of 34?
False
Let h(u) = 3*u**3 + u**2 - u - 1. Let o be h(2). Suppose -4*q + o = r - 0*q, 4*r + 2*q = 58. Is r a multiple of 13?
True
Suppose 0 = -3*i - 2*r + 11358, -272*r + 275*r + 18892 = 5*i. Is i a multiple of 31?
True
Suppose 138*u - 187*u - 283*u = -982720. Is 5 a factor of u?
True
Suppose 33*o = -45*o + 62790. Is 24 a factor of o?
False
Is 7 a factor of (-180024)/(-72) + (-3)/9 + 1?
False
Let s(y) be the second derivative of 0 - 23*y + 4*y**2 + 1/6*y**3 + 65/12*y**4. Is 21 a factor of s(-2)?
False
Suppose 50461 = 16*y - 332803. Is 203 a factor of y?
True
Let x be 4375/25 + 2 + -5. Let v = x - -24. Does 14 divide v?
True
Suppose -9*b = w - 4*b + 9, 0 = 4*w + 2*b. Is 44 a factor of 1 - (-354 - (w - 4))?
True
Suppose 0 = x - j - 4274, -14*j + 13*j = -5*x + 21354. Is 10 a factor of x?
True
Suppose 2*f = 5*u - 14972 - 29521, -4*f - 8877 = -u. Does 43 divide u?
True
Suppose 0 = 13*z + 6186 - 42112 + 1008. Is 47 a factor of z?
False
Let r(k) = -7*k**2 + 3*k + 8. Let a(t) = 3*t**2 - 2*t - 4. Let w(m) = -9*a(m) - 4*r(m). Let j be w(9). Let y = j - 46. Does 12 divide y?
False
Let b(g) = -83*g**3 - g**2 + 2. Let w(z) = -z**3 - 11*z**2 + z + 10. Let s(k) = k**3 - 7*k**2 - k - 4. Let d be s(7). Let a be w(d). Is 21 a factor of b(a)?
True
Let i(p) = 27*p - 193. Let t be i(31). Let s = -459 + t. Is s a multiple of 37?
True
Let l(s) = -s - 7. Let u be l(-6). Let v be (-2 - 4/(-2))/u. Suppose 5*b - 12 - 41 = -3*a, -2*b - 10 = v. Is a a multiple of 13?
True
Let i be (-17 + -2)*10*1. Suppose -186 = 4*s + 166. Let q = s - i. Does 15 divide q?
False
Let r(k) = -k**2 + 13*k - 6. Let x be r(9). Suppose 4*w + x = 10*w. Suppose w*v = -48 + 228. Does 9 divide v?
True
Suppose 0 = -2*p - 4*h + 42, -9*h + 12*h - 12 = 0. Let u(b) = -b**3 + 14*b**2 + 19*b - 12. Does 4 divide u(p)?
True
Let z = 61 - 56. Let u be -2*(z/(-2) + 0). Suppose -5*s + s + 3*t + 515 = 0, u*s - 643 = 3*t. Is 16 a factor of s?
True
Suppose -o = -2*o - 9*o. Suppose o*k - 13*k + 4498 = 0. Does 15 divide k?
False
Suppose 0 = -u + 5*n + 31, 2*n - 18 = -2*u + n. Let j be 42/(-231) + 13/u. Suppose -j = k - 121. Does 24 divide k?
True
Let n be (5 - 264) + (-6)/(-2). Let x(l) = l**3 - 13*l**2 + 19*l - 21. Let v be x(10). Let a = v - n. Does 25 divide a?
True
Let d be -2*23*6/(-12). Suppose 3*p + 8 = d. Suppose 0 = -3*s - 2*m + 456, s - p*m - 135 = -0*m. Is 10 a factor of s?
True
Let s = -81 - 52. Let t be -1 - (3/(-4) - s/28). Does 12 divide -4*t/30 + (-76)/(-3)?
False
Let w be ((-2710)/4 + 15/30)*-1. Does 79 divide (-23)/(-92) - w/(-8)*14?
True
Let c = -22488 + 25566. Is c a multiple of 56?
False
Let k(n) = 6*n**2 + n - 2. Let s be k(1). Suppose 4*q - 3*q - 694 = 4*f, 0 = 4*f + s*q + 682. Let g = -90 - f. Does 21 divide g?
False
Suppose 4496 = 4*f - 3*a, 161*a = -5*f + 157*a + 5620. Does 4 divide f?
True
Suppose 78*z - 254*z + 12240139 = 81*z. Does 97 divide z?
True
Let o = -1113 - -1857. Let m = o + -284. Does 5 divide m?
True
Let a be (((-75)/10)/(-15))/(1/48). Is 34 a factor of 3/a - (-8 + 82929/(-56))?
False
Let v(b) = 5*b**3 - 50*b**2 - 65*b + 299. Let f(i) = -i**3 + 10*i**2 + 13*i - 60. Let k(p) = -11*f(p) - 2*v(p). Is k(13) a multiple of 32?
False
Suppose 2*c = 4*c + q - 11, 4*c - 2*q - 10 = 0. Let a(d) = -30*d + 42 + 86*d - 39. Is 43 a factor of a(c)?
False
Does 15 divide (-4 - -10*(-315)/(-72))*100?
True
Let x = -20936 - -34320. Is x a multiple of 28?
True
Let s be 240/400 - (-73)/(-5). Let r(l) = 18*l. Let d be r(1). Let w = d + s. Is 4 a factor of w?
True
Suppose -22*d + 10660 = 606. Suppose 7*j - 761 = d. Does 29 divide j?
True
Let i be (((-74)/(-3))/2)/((-15)/(-360)). Let j = i - 75. Does 20 divide j?
False
Suppose 4*l - 70 = 2*x, 0*l = 4*x + l + 113. Let i = x - -33. Suppose i*r = 3*d - 247, 3 = -r + 2. Does 27 divide d?
True
Suppose -7*i + 2*i + 2*x = -3, -2*x - 8 = 0. Let n be (-3)/i*(-7)/7. Is 5 a factor of n - 2*2*-7?
True
Suppose -452 = -15*t + 193. Let v = t + -11. Does 15 divide v?
False
Let w(u) = -6*u**2 + u + 1. Let d be w(-1). Let q be 22/4 - (-6)/96*8. Is 1 - q/d*(-1 - -204) a multiple of 42?
False
Let b = 656 - 665. Does 41 divide -8 + 27/b + 1008?
False
Let z(q) = -10*q**2 + 2*q - 11. Let k be z(-5). Let t = k + 433. Is (-1 + 2)/(3 + (-483)/t) a multiple of 6?
True
Suppose 12*x = 9*x + 66. Let r be (-54 - 2)/(40/x + -2). Suppose -5*d - t = -385, -r = 3*d - 7*d - 3*t. Is d a multiple of 11?
True
Let c be 0 - 6/(3/((-6324)/8)). Let w = -549 + c. Does 76 divide w?
False
Let m(i) = -119*i**3 - 4*i**2 - 40*i - 4. Is 51 a factor of m(-5)?
False
Suppose 21*p - 24*p = 5*h - 25956, 0 = 2*p + 4*h - 17302. Is 9 a factor of p?
False
Suppose -3*z + 976*x + 8718 = 973*x, -5*z - x = -14542. Does 10 divide z?
False
Let d be (-22)/(-55)*(4 + 1). Suppose -2*c = 3*n - 2, -d*n + 0*n = 4*c - 12. Suppose 0 = -4*s + 8, 0 = -0*u + 4*u - c*s - 124. Is u a multiple of 7?
False
Let r(z) = -z**3 - 17*z**2 - 17*z - 14. Let m be r(-16). Suppose 5*o = 15, -m*f - 4 = 2*o - 6. Is 7 a factor of 49 + 2 + f + 2?
False
Let l(j) = -j - 12. Let b(c) = 2*c + 13. Let y(f) = -6*b(f) - 5*l(f). Let a be y(7). Let k = a - -118. Is k a multiple of 51?
True
Let s(w) = 139*w**2 - 16*w - 48. Let p be s(-4). Suppose -p = -28*j + 10836. Is j a multiple of 11?
False
Suppose 24*x = 195687 - 80130 + 179955. Does 6 divide x?
False
Let r = -18 - -21. Suppose r*d = k - 117, d + 4*d + 195 = -5*k. Let y = 67 + d