60)?
True
Let d = 85 + -111. Let x = 2 - d. Is 5 a factor of x?
False
Let z = -30 - -30. Suppose z*b + 104 = 4*b - 4*p, -4*b - 5*p = -86. Is 8 a factor of b?
True
Let u = -32 + 34. Is ((-1)/u)/(2/(-132)) a multiple of 33?
True
Let t(q) = q + 10. Let s(v) = 2*v - 4. Let b be s(3). Suppose -3*g - 7*p + 3*p - 37 = 0, 0 = -5*g + b*p - 27. Is 2 a factor of t(g)?
False
Let t(f) = 5*f**3 - 2*f**2. Does 2 divide t(2)?
True
Suppose -16 = f + f. Is 23 a factor of f/24 + (-686)/(-6)?
False
Let j = -82 + 162. Is 10 a factor of j?
True
Suppose -4*u - s = -3297, u = -4*s - 407 + 1235. Is u a multiple of 31?
False
Let q(s) = -s**2 - 22*s + 5. Let z be q(-22). Suppose 2*k = 5*n + 232, -k + z*n + 121 = -0*n. Does 31 divide k?
False
Let c(l) = -l**2 - 3*l + 3. Let n be c(-3). Suppose 5*r = 5*p - 360, -5*p - r = -n*r - 351. Is 30 a factor of p?
False
Suppose -3*n - 157 = 221. Let z = n + 178. Is 26 a factor of z?
True
Let j = 118 - 118. Suppose 0 = 2*u - u - 2*x - 34, 5*u + 2*x - 134 = j. Is u a multiple of 7?
True
Let o = 972 + -125. Is 7 a factor of o?
True
Suppose 4*b = p + 3 + 92, 3*b + 4*p - 76 = 0. Let r = b + -6. Is r a multiple of 9?
True
Suppose -11*q = -37355 + 11351. Does 87 divide q?
False
Suppose 0 = h - 2*v - 4617, 0 = 3*h - 31*v + 33*v - 13811. Does 111 divide h?
False
Let w = 15 - -140. Let p = w - 13. Is 23 a factor of p?
False
Let f(o) = 149*o + 2 - 3 - 3 + 7. Is f(2) a multiple of 53?
False
Let x = 29 - -917. Is x a multiple of 13?
False
Let x(d) = 74*d**2 + d - 2. Let h = -17 - -18. Is x(h) a multiple of 21?
False
Let z be 297 - (-3)/3*(2 + 0). Let u = -149 + z. Is u a multiple of 50?
True
Suppose -4*k + 3*a + 2*a + 17 = 0, 0 = 5*k - 3*a - 5. Let m be 6/(-21) + (-72)/(-7). Let w = k + m. Is w a multiple of 4?
True
Let x(p) = 15*p - 19. Let s(z) = -8*z + 10. Let u(f) = -5*s(f) - 3*x(f). Let k(i) = -i + 1. Let c(o) = 2*k(o) - u(o). Does 8 divide c(7)?
True
Suppose -4*z - 3*w + 180 = 0, 3*w - 146 = -3*z - 8. Suppose 2*u + 8 = z. Let r = u - -18. Is 5 a factor of r?
True
Let v(o) = -5 - 5*o + o + 7 + 3*o. Is 4 a factor of v(-5)?
False
Let b = -212 - -146. Let g = b - -304. Is 17 a factor of g?
True
Let b = -79 - -51. Let p = 52 + b. Is p a multiple of 5?
False
Let o(g) = -2*g - 5. Let i be 4/(-18) + 538/(-9). Let a be ((-4)/10)/((-6)/i). Is o(a) even?
False
Does 24 divide ((-8433)/(-18) + 3)*(-1 + 3)?
False
Does 65 divide ((-132)/(-72) + (-2)/(-4))*129?
False
Suppose -2*p + 10 = 0, 4*r - p - 22 = 5. Let d(u) = -u - 4*u + r*u. Does 4 divide d(4)?
True
Let w(b) = -53*b + 2. Let j(t) = t**2 - 3*t + 1. Let q be j(1). Does 11 divide w(q)?
True
Let j = -32 - -34. Suppose 4*o + 82 = j*w, 3*o - 4*o = 3*w - 102. Is 35 a factor of w?
True
Let i be 3/12 - (-1035)/(-12). Let b be 2*(-15 + 2) + -3. Let x = b - i. Is 19 a factor of x?
True
Let c(a) = -5*a**2 - 4*a - 23. Let s(p) = 4*p**2 + 3*p + 24. Let z(k) = 3*c(k) + 4*s(k). Is 12 a factor of z(11)?
False
Suppose 20 = 5*b, -3*b + 3025 = 2*v - 221. Does 33 divide v?
True
Let b(f) = 3266*f - 1. Let u be b(1). Suppose 3*j = r - u, -3*j + r = -8*j - 5455. Does 20 divide (-16)/(-112) + j/(-14)?
False
Suppose 109 = -5*a + 2*z, 4*a + 4*z = -54 - 50. Let n = 154 + a. Suppose 4*j = -0*j - 5*t + n, 5*j - 210 = 3*t. Does 13 divide j?
True
Let s(g) = 2*g**3 + 8*g**2 - 19. Let t(h) = h**3 + 4*h**2 - 9. Let j(a) = 2*s(a) - 5*t(a). Is 16 a factor of j(-5)?
True
Suppose 8*y = 9*y - 171. Is 57 a factor of y?
True
Let l(i) = i**2 + 13*i - 5. Let r be l(-7). Let w be 4/(-18) + r/(-9). Suppose -w*y + 10*y = 50. Does 9 divide y?
False
Let a(x) = 35*x - 10. Let d(c) = c**3 - 3*c**2 - 2*c + 1. Let n be d(4). Suppose 0 = 4*y - 4*h - 20, -2*h + n = 2*y - 3*h. Is 33 a factor of a(y)?
False
Is 5 a factor of 2/(-13) + (31491/117 - 9)?
True
Does 18 divide -701*(0 - (-2)/((-8)/12))?
False
Let u(i) = -i**3 - 9*i**2 - 9*i - 7. Let p be u(-8). Is 4 a factor of ((-153)/34)/(7/(-4) + p)?
False
Let q(m) = m**3 - m + 70. Let f be q(0). Suppose y + 2*x - f = 4*x, 5*x = 0. Suppose 0*c - 4*n = -3*c + y, 65 = 3*c + n. Is c a multiple of 22?
True
Let a = 39 - 37. Suppose a*o + 4*b - 186 = 0, 4*o + 211 = -5*b + 595. Suppose 0 = -4*u + 115 + o. Is 9 a factor of u?
True
Let a(r) = -r**3 + 1. Let o(z) = -z**2 + 19*z - 15. Let g be o(18). Let l = g + -6. Is a(l) a multiple of 17?
False
Suppose 3*t - 11 = 5*q, -4*t - 19 = q + t. Let g be q - (2 - (4 - -16)). Suppose g*w = 10*w + 60. Is 4 a factor of w?
False
Let i(a) = -823*a + 305. Is 84 a factor of i(-4)?
False
Let l = 91 + 4619. Does 51 divide l?
False
Let x(r) = 13 + 19 + 12*r + r**2 - 28. Suppose 36 = -0*n - 3*n. Is x(n) a multiple of 3?
False
Let w(h) = 6*h**2 + 2*h + 1. Let a be w(4). Let j = -71 + a. Is j a multiple of 9?
False
Is (-7 - 18746/70)/((-1)/5) a multiple of 9?
False
Suppose 0 = 3*z - 4*n - 123, -8*n + 10*n = 2*z - 84. Is z a multiple of 11?
False
Suppose -480 = -3*k - 2*b + 178, -k + b = -211. Is k a multiple of 8?
True
Suppose 3*h = -3*h. Suppose h = -10*j + 4*j + 72. Is j a multiple of 8?
False
Let w be (-190)/4*(0 - -4). Let v = 74 - w. Suppose 0 = -0*f + 6*f - v. Does 17 divide f?
False
Let f(t) = t**3 - 4*t**2 + t + 9. Let s be f(4). Suppose -5*j = -5*w + 15, -4*w - 3 = -5*j - s. Suppose -j*q + 0*q + 30 = 0. Does 3 divide q?
True
Suppose -2*c + 0*l = 5*l + 6, -3*c + 16 = -5*l. Let w(j) = 8*j + 1. Let g be w(c). Let o = -8 + g. Is o a multiple of 3?
True
Let q be 5/((-5)/(-2)) - -41. Let l = -8 + q. Suppose 116 = 3*g - 2*a, 0*g + 3*a = -g + l. Is g a multiple of 33?
False
Suppose -5*n = 6 - 1, -4*c - n = -7. Suppose -c*w + 752 = 2*w. Is (-3)/(2 - 388/w) a multiple of 9?
False
Suppose 0 = 23*y - 21*y + 28. Is 5 a factor of 470/4*y/(-35)?
False
Let r = -62 + -45. Let s = -64 - r. Let i = s - -34. Is 11 a factor of i?
True
Suppose 8*q - 17 - 127 = 0. Is 3 a factor of q?
True
Let v(b) = -b**3 + 3*b**2 + 2*b - 1. Suppose -j = -4*j + 6. Does 3 divide v(j)?
False
Let r(p) = 181*p + 3. Let w be r(-1). Let o = -16 - w. Is 11 a factor of o?
False
Is (-3 + 1 + 240)*4*1 a multiple of 14?
True
Let d(w) = -w - 5. Let f be d(3). Let h(u) = 2*u**3 + 6*u**2 + 2*u - 8. Let p be h(f). Is p/(-22) - 2/11 a multiple of 15?
True
Let c(n) = -26*n**3 + 2*n**2 - 1. Let k be c(-1). Suppose 2*p + r = k, 23 = p - 4*r - 4. Suppose p = -3*x, -3*x - 159 - 16 = -4*t. Does 10 divide t?
True
Let d be (-20)/(-35) + 138/(-21). Let s(v) = v**3 + 8*v**2 + v + 4. Is s(d) a multiple of 14?
True
Let h(p) = p**2 - 6*p - 7. Let x be h(7). Suppose x = 14*j - 18*j + 36. Is 3 a factor of j?
True
Let w be 132/24 + (-1)/2. Does 14 divide (18 - w) + (-2)/(-2)?
True
Suppose 2*y - 5*a - 25 = 0, -3*y + 0*y = 2*a + 10. Let b be y - (-13 + (4 - 2)). Let q = b + 14. Is q a multiple of 25?
True
Is (-3 - -2)/(3/(-357)) a multiple of 13?
False
Suppose 83*c = 113*c - 24090. Is c a multiple of 8?
False
Let f(h) be the first derivative of 11*h**2/2 - 21*h - 24. Is 24 a factor of f(15)?
True
Does 16 divide ((-5)/3 - 1)*(-194 + -10)?
True
Let h be 3 - (0/(-2) + -2). Suppose -3*l = -0*m + m - 24, h*l - 26 = 3*m. Suppose l*r = 10*r - 24. Does 7 divide r?
False
Let h = -7 - -8. Suppose -o + 41 = -h. Let p = o - 30. Is p a multiple of 11?
False
Suppose 4*a = -4*t + 2*a - 50, -t = 4*a + 16. Let r = t + 16. Suppose 0*h + 3*z + 140 = 5*h, r*h + 5*z - 112 = 0. Is h a multiple of 20?
False
Let h = 9 - 19. Let b = h - -13. Suppose 0 = -b*m + 7*m - 16, 4*v = -4*m + 184. Is v a multiple of 21?
True
Suppose 5*j - 35 = -o, 0 = -2*j + 4*o - 1 - 7. Suppose -25 - 305 = -j*f. Does 5 divide f?
True
Suppose -2*p + 1694 = 4*o, -4*o + 5*p = -5*o + 446. Is 22 a factor of o?
False
Suppose 0 = -5*p - 3*w + 17334, -5*p + 17331 = -338*w + 340*w. Is p a multiple of 33?
True
Is 2 a factor of 1/3*-342*2/(-4)?
False
Let i(l) = -11*l + 11. Let w be i(1). Suppose -o - s + 39 = 0, -3*o + s + 139 - 34 = w. Is o a multiple of 15?
False
Let m be 5/(-40) - (-178)/16. Suppose m + 1 = 3*a - 3*d, -3*d + 9 = 4*a. Suppose a*f - 166 = 86. Does 14 divide f?
True
Is 16 a factor of ((-256)/(-16))/(6/57)?
False
Suppose 2*b = -3*o + 346, b = 3*o - b - 338. Does 16 divide (o/(-21))/((-2)/14)?
False
Let l(k) = -2*k**2 + 9 - 3*k - 12 - 4*k**3 + 0*k**2 + k**2. Is l(-2) a multiple of 31?
True
Let u(n) = 11*n - 28. Let l be u(3). Suppose 0 = l*s - 958 + 48. Is s a multiple of 18?
False
Let k(y