s b(4) a multiple of 15?
False
Suppose 5*h = -6 - 4, 0 = -5*p + 5*h + 20. Suppose -z - 268 = -p*s + 4*z, -3*s = 4*z - 448. Is s a multiple of 39?
False
Suppose 868 = -5*y + 43. Let c be (1 - 3)/((-30)/y). Is 33 a factor of c/((20/4)/(-15))?
True
Let x = 52 - 48. Does 13 divide (-3 - 0) + (-1 - -36 - x)?
False
Suppose -5*q - n + 174 = 0, -116 = -4*q + 2*n + 26. Does 7 divide q?
True
Let d(b) = 7*b + 41. Is d(5) a multiple of 4?
True
Suppose 4*z - 34 + 162 = 0. Let x be ((-3)/(-6))/(((-20)/376)/(-5)). Let s = x + z. Is 5 a factor of s?
True
Suppose 7*i - 12*i = -190. Suppose -z + i = -4*a + 8*a, 4*a = 5*z - 142. Is 10 a factor of z?
True
Suppose -223 - 8 = -11*z. Suppose -z*y = -8*y - 1352. Is 16 a factor of y?
False
Let x = 1055 + -824. Does 2 divide x?
False
Suppose 3*h = -15, 5*h = 3*z - 4*z - 81. Is 10*7/(z/(-12)) a multiple of 3?
True
Suppose 4*g - 141 - 7 = 0. Let v be ((-6)/4)/((-3)/4). Suppose i - 6 = -a, -5*i + 0*a + g = -v*a. Does 2 divide i?
False
Suppose -2*z - 635 + 1895 = 0. Is z a multiple of 63?
True
Suppose 0 = 2*n + 27 - 31. Suppose v = -4*z + 78, -n*z - z + 2*v + 64 = 0. Is 4 a factor of z?
True
Let b(n) = -66*n + 60. Let z(s) = -13*s + 12. Let v(p) = -3*b(p) + 16*z(p). Does 21 divide v(-6)?
False
Let m(t) = 3*t**2 + 21*t + 8. Suppose 5*k = -4*d + d - 49, 4*d - 5*k = -7. Does 4 divide m(d)?
True
Let u(d) = 2*d**2 - 4. Let b(w) = w**3 - 11*w**2 - 13*w + 8. Let g be b(12). Is 4 a factor of u(g)?
True
Suppose -5*h + 0*a = -4*a - 30, 3*a = 0. Does 23 divide (-3 - -4)*-92*h/(-4)?
True
Suppose -8*b + 2375 = -3065. Does 40 divide b?
True
Let p(m) = -m**2 + 2. Let b be p(3). Let k(i) = 5*i**2 + 7*i + 1. Let z be k(b). Suppose -25 = -4*y + 5*v + 276, 3*y + 2*v = z. Does 18 divide y?
False
Does 79 divide 245*(6 - (-1 + 4))?
False
Suppose 2*p - 48 = 4*p. Let n = p + 12. Is (-88)/(-3)*n/(-8) a multiple of 14?
False
Is 4 a factor of 28/(-6)*324/(-24)?
False
Does 45 divide (2 - (-152)/(-20))/(8/(-580))?
False
Let f be (-1 - -2)*(-1 - -5). Suppose 1 = -f*d + 61. Suppose 0*j + c = -4*j + 75, -2*j + d = 5*c. Does 20 divide j?
True
Suppose -5*c = -3*i + 34, 4*c + 0*i + 4*i + 8 = 0. Suppose -99 = -110*p + 107*p. Let z = p + c. Does 7 divide z?
True
Is 37 a factor of 132/(((-16)/(-74))/4)?
True
Suppose 2*q = l + 297, 7*q = 6*q - 5*l + 165. Is q a multiple of 15?
True
Suppose 92 = 3*v + x - 3*x, -3*v + 96 = -3*x. Let r = -10 + v. Is 19 a factor of (-114)/4*(-24)/r?
True
Let x = 37 + -10. Suppose -6*z + 5*z = -3. Suppose z*c - 6*c + x = 0. Does 3 divide c?
True
Let a(s) = -s**2 + 16*s - 25. Let v be a(11). Is 4 a factor of -2 - ((-84)/v)/((-1)/(-5))?
True
Suppose -342 - 806 = -k - q, 0 = 4*k - 2*q - 4574. Is 8 a factor of k?
False
Suppose -34*b + 3192 = 23*b. Is b a multiple of 28?
True
Let d be (-12 - -11)/(2/14). Suppose 5 = 5*u - 0. Is 5 a factor of u*8 - d/(-7)?
False
Suppose 4*c + 7281 = 13*c. Is 71 a factor of c?
False
Let i(y) = y**2 - 3*y - 7. Let o be ((-2)/(-4))/((-3)/108). Let p = 28 + o. Does 21 divide i(p)?
True
Suppose 2*f = 3 + 1. Let h(j) = -2 + 3*j + 2*j**2 + 5 + 5*j**f - 6*j**2. Is h(5) a multiple of 12?
False
Suppose -3*c + 4*c + 2 = 0. Does 15 divide (6 - 2) + c*(-764)/8?
True
Let p = 11 - 10. Suppose -3*j + p = -5. Suppose y - j*y = -3. Is 3 a factor of y?
True
Let s(q) = q**2 + 15*q. Let g be s(10). Suppose 5*o - g = -5*n, 3*n - n = 4*o + 70. Is 4 a factor of n?
False
Suppose 0 = -5*y - 702 + 1287. Is y a multiple of 6?
False
Let v be 10*(-30)/(-36)*12/20. Suppose -5*s + 4*c = -c - 505, 4*s + v*c - 404 = 0. Is s a multiple of 9?
False
Let y be (-1 + -3 - -1) + -54. Let v = y + 99. Is v a multiple of 14?
True
Suppose 16*a - 18*a - 14 = 0. Is (a - -5)*-66 + 4 a multiple of 34?
True
Let n = -217 - -491. Is 46 a factor of n?
False
Let g(q) = -7*q - 62. Is g(-29) a multiple of 19?
False
Let c be (12/3 - 2)*2. Suppose -c*z - 3*o - 2 = -8, 3*z - 1 = -4*o. Suppose -3*p + 59 = y, -z*p = 2*y - 74 + 13. Is p a multiple of 10?
False
Suppose 0 = 2*k + z - 1070, 2*k - 137 = -3*z + 937. Suppose -5*w - 2*s = -2*w - 330, -5*w + k = -2*s. Does 27 divide w?
True
Suppose -a + 40 = -59. Suppose -3*i + 6*i - a = p, 5*p = i - 33. Is 16 a factor of i?
False
Let r = -11 + 540. Is 23 a factor of r?
True
Let g = -139 - -73. Let q = 27 - g. Is q a multiple of 28?
False
Is -1 - (-1 - (43 + -7)) a multiple of 6?
True
Suppose h + 88 - 76 = 0. Let u(o) = 3*o**2 + 15*o - 1. Is 49 a factor of u(h)?
False
Let o = -31 - -186. Suppose 8*n + o = 451. Is 17 a factor of n?
False
Let h(m) = -4*m - 1. Let l be h(-5). Suppose -8 = 4*u - 3*t, -3*u - 3*t = -2*t + l. Does 18 divide ((-45)/u)/(1/6)?
True
Suppose -9 = -4*y + 43. Suppose 7*v - 4*v - y = -2*d, -v - 1 = -2*d. Suppose -3*t = -5*a + t + 117, -51 = -v*a - 4*t. Does 7 divide a?
True
Let f be (61/2)/(1/2). Suppose 5*c - c + 3*w = f, 0 = 5*c + 3*w - 77. Suppose 2*m - 6 - c = 0. Is m even?
False
Let c(u) = u**2 + 16*u + 16. Let j be c(-14). Is (-2 + (-28)/j)*309 a multiple of 13?
False
Let h(i) be the second derivative of -i**6/360 + 13*i**5/120 - 3*i**4/8 + i**3/3 + i. Let c(n) be the second derivative of h(n). Does 27 divide c(9)?
True
Let f(y) = -y**3 + 10*y**2 + 11*y + 1. Let z be f(11). Suppose p - 2*i + 6*i + 18 = 0, 2*p + i = -z. Suppose -p*g = -79 - 75. Is g a multiple of 18?
False
Let m = -61 + -7. Let i be 21/35 - m/(-5). Let p(b) = -b**3 - 13*b**2 - b + 12. Is p(i) a multiple of 25?
True
Suppose -2*d - 5 = 3*d - 5*m, -m + 2 = 0. Suppose -g = -3 - d. Suppose -6 = -q - 2*r + 4, -3*q + 60 = -g*r. Does 8 divide q?
True
Let q = -57 - -99. Does 4 divide (q/15)/(-7) + 177/5?
False
Suppose z + 4*f - 10 + 5 = 0, 2*z + 2*f + 2 = 0. Let t(g) = -2*g**3 - 2*g**2 + 6*g - 3. Is t(z) a multiple of 4?
False
Let x be 1 + 462/5 + (-166)/415. Let s = x - 21. Is s a multiple of 9?
True
Let m(b) = 19*b**2 + b. Let u be m(1). Let d be (3 + -6)/(-3) - 15. Let y = d + u. Is y a multiple of 3?
True
Let f = 5 - 0. Suppose f*j + 21 = 5*u - 9, u = 2*j + 10. Suppose -u*a + 3 = -37. Is a a multiple of 10?
True
Let y = -9951 - -14002. Does 13 divide y?
False
Suppose -14 + 29 = v. Let p be ((-72)/45)/((-2)/v). Let s = 31 - p. Does 4 divide s?
False
Suppose -6590 - 17126 = -14*n. Does 14 divide n?
True
Suppose 1387*w + 280 = 1391*w. Is 7 a factor of w?
True
Suppose -s = 2*s - 9, -4*v = 2*s - 22. Let k be v + (2 - (-2 + 2)). Let z = 10 - k. Is z even?
True
Is 4 a factor of -1*(-972)/24*(-16)/(-3)?
True
Let a be ((-18)/(-12))/((-4)/40). Let m(v) = -v**3 - v**2 + 1. Let g(b) = -4*b**3 - 19*b**2 - 15*b - 15. Let d(q) = -g(q) + 3*m(q). Is 9 a factor of d(a)?
True
Let a(t) = -11*t**2 - t + 2. Let m be a(-2). Suppose 284 = -6*u + 2*u. Let s = m - u. Is 14 a factor of s?
False
Suppose 2822 + 6079 = 9*x. Does 23 divide x?
True
Suppose z - 5*a = 0, z + 6*a - a - 10 = 0. Suppose z*o + 44 - 249 = 0. Is 41 a factor of o?
True
Let n(u) = 2*u**3 + 6*u**2 - u - 15. Does 10 divide n(5)?
True
Let f be (2/11)/1 + 530/110. Let d = 77 - f. Is d a multiple of 4?
True
Let j = -12894 + 18381. Is 93 a factor of j?
True
Suppose -26*i - 3912 = -38*i. Is 41 a factor of i?
False
Suppose -16*h - 6*h + 6490 = 0. Is 57 a factor of h?
False
Let o be ((-18)/(-36))/((-2)/(-8)). Suppose -1 = 3*m + 5, 3*i = o*m + 208. Does 34 divide i?
True
Suppose 0 = 4*t - 3*t - 5*s - 40, -156 = -3*t + 3*s. Let p = t - 26. Is p a multiple of 29?
True
Suppose -52 = -3*l + 4*x, -3*l - x + 68 = 3*x. Suppose -3 + l = b. Suppose b + 27 = 2*g + t, 3*g - 64 = -t. Does 13 divide g?
False
Let q = -104 + 126. Is 3 a factor of q?
False
Suppose 4*r - 222 = 2*r. Suppose 4*p - r - 149 = -2*c, -p = 0. Is c a multiple of 31?
False
Let r(p) be the first derivative of 6 + 5/2*p**2 + 4*p. Is r(12) a multiple of 16?
True
Let f = 9 - 6. Suppose 3*p - f*l - 431 = p, -5*p + 2*l + 1083 = 0. Let o = -150 + p. Is o a multiple of 12?
False
Let j = 890 + -634. Is 16 a factor of j?
True
Suppose -5*y + 1545 = -12280. Is y a multiple of 34?
False
Let j = 73 - 73. Suppose -18*n + 856 + 1016 = j. Is 6 a factor of n?
False
Let t(q) = 2*q**3 - 5*q**2 + 13*q - 157. Is t(9) a multiple of 47?
False
Suppose 7*q - 7989 - 5871 = 0. Is q a multiple of 55?
True
Does 7 divide 161/16 - 81/1296?
False
Suppose -4*c - 1692 = -6*t + 4*t, -5*c = 2*t - 1656. Is 10 a factor of t?
False
Let h = 1014 - 894. Does 5 divide h?
True
Suppose 2