) - 4*g(w). Let l be d(-13). Suppose -l - 322 = -5*j. Is j a multiple of 13?
False
Does 9 divide (-13)/(-3) - 80260/(-15)?
True
Let i = -2625 - -3571. Does 3 divide i?
False
Suppose 4*w + 14 = 30. Suppose 2*z - 8 = 4*h, 0*z + w*z = 4*h + 20. Suppose 5*s + 35 = 7*c - z*c, 4*s - 126 = -2*c. Is 10 a factor of c?
False
Let u = 2184 - 562. Is 9 a factor of u?
False
Suppose -18*r + 23*r = 30, 2*m - 428 = -2*r. Is 13 a factor of m?
True
Let v = -11427 + 12727. Does 100 divide v?
True
Let d(g) = 2*g + 39. Let u be d(-18). Let n(r) = -4*r**2 + r - 3. Let x(w) = 4*w**2 - w + 2. Let o(h) = u*x(h) + 2*n(h). Does 21 divide o(-5)?
True
Let d(l) be the first derivative of -671*l**4/4 + 8*l**3/3 + 3*l**2 - l - 147. Is d(-1) a multiple of 12?
True
Let g(m) = 374*m - 304. Let i(a) = 249*a - 203. Let o(k) = -5*g(k) + 8*i(k). Is 22 a factor of o(5)?
True
Let d be 528/(-16) - (0 - -1)/(-1). Let p = -105 + d. Let f = 247 + p. Is f a multiple of 18?
False
Let c(h) = -4545*h - 1165. Does 88 divide c(-5)?
True
Let d = 91328 + -65192. Is 44 a factor of d?
True
Let s(i) = 4*i - 13. Let n be s(4). Let g be (-15)/20 + n/4. Suppose g = 4*w + 3*v - 168, -w - 3*w + 168 = v. Is 6 a factor of w?
True
Let x be 0 - ((-16)/4 + 8). Let y = x - -612. Does 16 divide y?
True
Let s = 5 + -2. Suppose 5*q + 257 - 60 = -k, 0 = -s*k - 6. Let z = -15 - q. Does 12 divide z?
True
Let g be ((-6)/(-4))/(30/(-80))*-1. Let s be 266/g + 13/26. Suppose -5*t + s = -13. Is t a multiple of 8?
True
Let o(z) = -112*z + 924. Is 89 a factor of o(-18)?
False
Suppose 58 = 5*l - 2*a, -3*a + 4*a = 2*l - 23. Suppose f + 4*r = -2*f + l, -f - 4*r = -4. Suppose -5*p - 32 = -f*x + 37, 3*x - 45 = -3*p. Does 4 divide x?
True
Suppose -13*m = -17*m - 5*u - 595, 3*m + 449 = -u. Let n = m - -233. Is n a multiple of 8?
False
Suppose 0 = -713*s + 724*s - 1716. Let d = 130 + s. Is 61 a factor of d?
False
Let s(p) = 15*p - 18. Let m be s(4). Suppose 306 = 24*c + m. Is 7 a factor of c?
False
Suppose -8*p - 8 = -48. Let u be 2/p + (-15)/50*-2. Does 4 divide (-7 + u)*(-6)/4?
False
Suppose -4*j = 3*x - 209371, -29*j = -25*j - 5*x - 209363. Is j a multiple of 31?
False
Suppose 4 = -2*z + 26. Suppose -64 = -z*g + 178. Is g a multiple of 9?
False
Let n = -3366 + 4111. Is n even?
False
Suppose -6*j + 22328 = -j - 3*w, 5*j - 22324 = 4*w. Is j a multiple of 13?
False
Suppose z - 3*z = 0, 2*z - 10 = -5*r. Let i(d) = 12*d + 36. Is i(r) a multiple of 6?
True
Let h(b) be the first derivative of b**5/60 + 7*b**4/12 + 11*b**2 - 15. Let r(g) be the second derivative of h(g). Is r(8) a multiple of 16?
True
Let n(y) be the first derivative of y**2/2 + 99*y + 6. Let p be n(0). Suppose 3*c - p = -0*c + 3*h, 5*h = 4*c - 135. Does 5 divide c?
True
Let j = -28 - -44. Let p be (-1 + j)/((-39)/(-6) - 5). Suppose p - 74 = -2*o. Is 10 a factor of o?
False
Suppose 0 = -3*z + 2*z - h - 78, -2*z = -5*h + 135. Let b = z - -80. Suppose -1 = b*i - 256. Does 6 divide i?
False
Is 51 a factor of (-27 - 570934/(-78)) + 10/(-6) + 2?
True
Suppose -16*j + 2986 = -198. Let v = j - 185. Is v a multiple of 7?
True
Let g be (-20)/8*((-6)/5 - 0). Suppose -g*z + 42 = 2*q - 33, -5*z = 3*q - 113. Let f = q + -22. Is f a multiple of 3?
False
Let h = -1040 - -4784. Is h a multiple of 22?
False
Let a be 5*(-3)/2*48/(-72). Suppose a*k - 4*b - 1171 = -58, 2*k - 465 = -5*b. Is k a multiple of 15?
True
Let y(h) be the third derivative of h**5/20 - 3*h**4/8 - 17*h**3/3 - 813*h**2. Let z(t) = t**3 + 6*t**2 + 7*t + 4. Let d be z(-5). Is y(d) a multiple of 32?
True
Let b(u) = -7*u**2 + 690*u - 30. Is 21 a factor of b(73)?
False
Suppose 4*z = v - 1172, 13*v - 15*v - 3*z = -2355. Is v a multiple of 24?
True
Suppose -2*c = -3*c + 9. Suppose -c = -5*v + 6. Suppose -7 = 3*l - k - 17, 5*k = v*l + 10. Does 4 divide l?
False
Suppose 33*o - 1970 - 2353 = 0. Let r = 205 + o. Is 22 a factor of r?
False
Is (11/(-21) - 18/126)*-3300 a multiple of 22?
True
Let d(j) = 39*j**2 - 44*j - 23. Is 11 a factor of d(-12)?
False
Suppose -2 = -0*w + 2*w. Let b be w*102/(-18) - 4/6. Suppose -b*l - 5*o = -345, 2*o + o = l - 73. Is l a multiple of 35?
True
Suppose -267036 = 1545*s - 1622*s. Does 12 divide s?
True
Let m = -7 - -13. Suppose 5*f + 5*q + 10 = 0, -13*q - 90 = 30*f - 33*f. Suppose -m*k = -2*k - f*c - 156, 0 = 5*k - c - 183. Is 4 a factor of k?
True
Let c be 30/195 - (-120)/65. Suppose 4*m = -2*a + 2068, c*m - 1405 = 2*a - 371. Is 26 a factor of m?
False
Let x(r) = -r**2 + 40*r - 37. Let p be x(39). Is (6 + -7 + p)*259 a multiple of 39?
False
Let m be (-32 - -1700)/(6/4). Suppose m = 7*s - 169. Is 12 a factor of s?
False
Let m(p) = -143*p**3 + 2*p + 6. Let k(w) = 427*w**3 - 6*w - 17. Let z(u) = -4*k(u) - 11*m(u). Is z(-1) a multiple of 4?
False
Suppose p + 2*p = 2*z + 1044, 0 = -p + z + 348. Suppose 344*q = p*q - 2792. Does 15 divide q?
False
Let b(r) be the third derivative of 79*r**5/40 - r**4/8 - 4*r**3 - 12*r**2. Let p(o) be the first derivative of b(o). Does 39 divide p(1)?
True
Let r(v) = 329*v**2 - 3*v - 65. Is 8 a factor of r(4)?
False
Suppose 13*s + 365 = 391. Suppose -690 = -s*d + 6*v, 5 = -v - 0. Is 5 a factor of d?
True
Let p be (-336)/(-15) + (-6)/15. Let q = p + -7. Suppose 5*a = q*a - 900. Is a a multiple of 15?
True
Let m(z) be the second derivative of -z**5/20 - z**4/3 - 5*z**3/2 - z**2 + 10*z + 7. Is 88 a factor of m(-12)?
False
Suppose 0 = 47*m - 91785 - 120044. Is 11 a factor of m?
False
Let t(i) = i**2 + 5*i + 35. Let y(u) = -5*u - 18. Let m be y(-7). Let c be t(m). Suppose v + 91 = n - 0*n, c = 4*n + 5*v. Is 16 a factor of n?
True
Let x(o) = -o**2 + 23*o - 5. Let t = -44 + 46. Let y be t + (1 + (-20)/8)*-8. Is 21 a factor of x(y)?
False
Let r = 490 + -512. Is (165/(-6) - -2)*r/3 a multiple of 2?
False
Suppose 4*z = 3*d + 4975 + 14009, -4*d = -4*z + 18988. Is z a multiple of 9?
True
Let s be 7/((-70)/(-275))*-2. Let y = -4 - s. Is y a multiple of 28?
False
Suppose -4*q - 2*q - 108 = 0. Does 13 divide (-21 - q)*(458/(-6) - 0)?
False
Suppose 4*v = -5*r - v - 130, -3*r - 5*v - 72 = 0. Suppose -9*b + 900 = 9*b. Let g = b + r. Does 21 divide g?
True
Suppose q + 3*z - 636 = 617, -2 = -z. Suppose 2*u + 1032 = d, 2*d - 820 = 5*u + q. Is d a multiple of 13?
False
Is 393016/364 - 4/(-14) a multiple of 3?
True
Let u(n) = -4 + 8 + 8*n + 17. Let o be u(9). Suppose o = 3*b - 117. Is 14 a factor of b?
True
Let h be -5*(-177)/15 + (-12)/3. Suppose -58*n = -h*n - 39. Is n a multiple of 3?
False
Suppose -5*y - 3 = 2*b, 4*b - 7*y = -2*y - 51. Is 11*(42/(-9))/(6/b) a multiple of 6?
False
Let t(j) = 297*j**2 - 7*j + 32. Let z be t(3). Suppose -s = c + s - 670, -4*c - 4*s = -z. Is c a multiple of 12?
True
Let u(o) = -o**3 + 3*o - 5. Let g be u(-3). Let h(d) = d**3 - 12*d**2 - 9*d + 18. Let f be h(g). Does 40 divide (-362)/(-3) + (f/15)/(-7)?
True
Suppose -11*v + 13*v = -5*f - 4155, -4*f + 3*v - 3301 = 0. Let j = 1263 + f. Is j a multiple of 7?
True
Let f(k) = 305*k + 34. Let u be f(3). Suppose 0 = -4*l + 12, l + 92 = v - u. Is v a multiple of 36?
True
Let q = 5 + -5. Suppose q = -7*s + 631 + 2316. Is s a multiple of 13?
False
Let l(d) = -320*d + 2718. Does 18 divide l(-4)?
False
Let n be (-1 - -2)/(10/30). Suppose n = -3*k - 0, k + 1 = -5*l. Suppose -u + 216 = 2*h, 0 = h - l*u - 4*u - 99. Is 22 a factor of h?
False
Let y(o) = o**2 - 4. Let t be y(-2). Suppose 7*r - 1349 - 1990 = t. Is r a multiple of 53?
True
Let a(m) = 610*m - 1027. Is a(12) a multiple of 29?
True
Suppose 59384 - 525398 = -95*s + 224066. Does 16 divide s?
True
Let y = -13 - -15. Let n(r) = -3*r**3 - 6*r**2 + 4*r**y + 0*r**3 + 7*r + 11. Is n(-3) a multiple of 16?
False
Suppose 4*t = 2*i + 2540, 0 = 2*t - 0*i + 5*i - 1246. Suppose -t + 3531 = 7*d. Is 9 a factor of d?
True
Let b be -15*5/(-45) + 3/9. Suppose -3*y + 170 = -3*q - 295, 0 = b*y + 2*q - 314. Is 12 a factor of y?
True
Suppose -4*m + 4*v + 21000 = 0, 5*v = -66*m + 65*m + 5250. Is m a multiple of 50?
True
Suppose -5*a - 30 = -4*s, 3*a + 29 - 11 = 3*s. Let n(j) = 9*j**2 - 9*j - 21. Does 21 divide n(a)?
True
Suppose -216*p = -219*p + 4*d + 23023, -5*d + 10 = 0. Is 78 a factor of p?
False
Suppose 0 = 2*k + 2*k + 2*i - 16, 0 = 2*k - 5*i + 16. Suppose 3*l - 3*x + 0*x = 759, 1004 = 4*l - k*x. Is 22 a factor of l?
False
Suppose 2*z - 5*a = 724, -a - 9 = -7. Suppose -3*x + 15 = 0