 - 3369. Is 85 a factor of w?
True
Does 2 divide 4/16*6*(6 - -128)?
False
Let j = -3960 - -5766. Is j a multiple of 20?
False
Let y = 502 + -500. Suppose 0 = y*q + 2*i - 1794, -4*q = i - 3*i - 3606. Is q a multiple of 60?
True
Let x(h) be the first derivative of 3*h**4/4 - h**2 - 19. Let l be x(-2). Does 8 divide l/15 + 2 - (-118)/3?
True
Let q = -4 - -9. Suppose q*g + g - 204 = 0. Suppose 7*w - g = 785. Does 5 divide w?
False
Let t(q) = 19*q - 7*q + 7 + 7*q + 7. Let r be t(6). Suppose -6*p + r = -4*p. Is p a multiple of 15?
False
Let f(m) = m + 143. Let l be f(49). Let h = l - 164. Is h a multiple of 3?
False
Let t be 1 - 3 - (-6 + 8 - 581). Let j = -182 + t. Does 79 divide j?
True
Suppose -4*j + 28 = 0, 27*j - 218762 = -5*p + 26*j. Is p a multiple of 67?
True
Is (50 + -10)*(-168)/(-20) a multiple of 12?
True
Let i be ((-120)/(-54))/((-6)/(-27)). Suppose i*z = 26*z - 1840. Does 2 divide z?
False
Let y(a) = -a**3 + 4*a**2 + 9*a - 11. Let k be y(5). Let n be (-12)/k*(-6)/4. Suppose n*j = -42 + 438. Is j a multiple of 42?
False
Suppose 3*v = 5*g - 114844, -30158 = -2*g + 5*v + 15772. Is g a multiple of 15?
False
Let u(d) = 3*d**3 + 5*d**2 - 11*d + 2. Let b be u(6). Suppose 766*t = b*t + 1160. Is 58 a factor of t?
True
Suppose p + 2*b = 5*b - 4, -2*p + 8 = 2*b. Let l be ((-6)/9)/(p/6). Let o(h) = -94*h - 6. Is 14 a factor of o(l)?
True
Let c(a) = a. Let j(w) = 118*w - 102. Let f(s) = 3*c(s) - j(s). Is 36 a factor of f(-6)?
True
Let r = -13385 - -14046. Does 55 divide r?
False
Let z(d) = -d + 4. Let a be z(-1). Suppose a*k - 4*b - 1330 = b, k + 5*b - 290 = 0. Is 19 a factor of k?
False
Is 114/(-12)*2*-59 a multiple of 83?
False
Let q(j) = 16 + 14*j**2 - 167*j - 196*j + 313*j. Does 11 divide q(10)?
False
Let k be (-112)/18 + (-4)/(-18). Let d be -1 + -3*802/k. Suppose d - 92 = 4*l. Is 11 a factor of l?
True
Suppose -3*n + 5*p = -12570, 9221 = 4*n - 4*p - 7523. Is n a multiple of 11?
True
Let u = -849 + 900. Does 8 divide u/(-136) + 3779/16*2?
True
Suppose 3*k + 287 = 2*t, -4*k - k + 25 = 0. Suppose 317 = 26*m - t. Is 3 a factor of m?
True
Let i(k) = 5*k - 109. Let f be i(10). Let x = f + 675. Is x a multiple of 56?
True
Suppose 3*d = x - 1740, 2*d = 4*x + 7*d - 7028. Suppose 0 = 22*s - 6696 - x. Is s a multiple of 16?
True
Let d(l) = 26*l**2 - l - 11. Let s be d(-6). Suppose 26*c - 2865 - s = 0. Does 39 divide c?
False
Let g(f) = f**3 - 16*f**2 + 23*f + 74. Let r be g(14). Suppose 2*u + 0*p = -p + 2398, -p = r*u - 4798. Is 12 a factor of u?
True
Suppose 3*q - 9576 = -2*y, 6384 = 41*q - 39*q - y. Is 21 a factor of q?
True
Is 13174/12 + 10/1500*25 a multiple of 12?
False
Suppose -5*m + 116560 = 5*s, -33*m + 8 = -32*m. Does 147 divide s?
False
Suppose 26*c = -232298 + 865242. Does 34 divide c?
True
Suppose -17670 = -5*n + 4*w, 0 = -2*w + 7*w + 25. Suppose -6*h = 422 - n. Does 14 divide h?
True
Is 298 a factor of (2/(-5))/(-7 + (-7643690)/(-849300) - 2)?
True
Let x = 24781 - 2724. Does 6 divide x?
False
Let x be (-6)/(-15) + 46/10. Let a(f) = -2*f - 11*f + f - x. Is a(-5) a multiple of 19?
False
Suppose -c - 12 = -3*y, 2*y - 4*y + 5*c = 5. Suppose 2*r - 24 = 4*v, 4*r - 6*r + 24 = y*v. Is r a multiple of 12?
True
Suppose -4*k + 2*k + 6996 = -3*u, -u - 17464 = -5*k. Suppose 47*w - 51*w + k = 0. Is w a multiple of 9?
True
Let k be (-129)/(-4) + (-19)/76. Suppose -m - 9 = -5*p + 19, 5*m = -2*p - k. Is 29 a factor of (6/m)/((-2)/168)?
False
Suppose 2*g - 1252 = -x, 5*g + 510*x - 509*x = 3142. Is g a multiple of 5?
True
Suppose -4*p + 1 = -3, t + 2*p + 62 = 0. Let l = t + 49. Let u = l - -18. Is 2 a factor of u?
False
Let n(h) = 262*h**2 + 647*h + 4596. Does 15 divide n(-7)?
False
Is 7 a factor of (-5)/(-2)*(7 - (-11634)/30)?
True
Suppose 7 = -y + 7. Suppose 0 = -4*v - 0*v - 12, y = -m + 3*v + 193. Is m a multiple of 46?
True
Let y(u) = -u**2 + 7*u + 17. Suppose 0 = -5*p - 2*m + 7*m, -2 = p + m. Let j be 0/(-10)*1/p. Is y(j) even?
False
Let b = 225 + -225. Suppose b = -3*p + w + 230, p - 76 + 14 = 4*w. Is 39 a factor of p?
True
Let a(s) = 3*s + 27. Let i be a(-11). Let b be i + 3 - -5 - 2. Suppose 2*o + 5*x - 73 = b, -6*o + 2*x + 59 = -5*o. Does 6 divide o?
False
Let c(v) = -5*v - 20. Let g(m) = 6*m + 19. Let l(o) = -3*c(o) - 2*g(o). Let a be l(-8). Is ((-7)/a)/(-2 + (-13)/(-6)) a multiple of 4?
False
Let x(f) = 47*f + 70. Let u be x(-6). Let d = u + 305. Suppose p - 94 - d = 0. Is 11 a factor of p?
True
Let j = 1 - 7. Let g be (j + 4)/(8/(-68)). Suppose 0 = a - g - 27. Is 11 a factor of a?
True
Let r(x) = -x**2 - 45*x - 216. Is r(-8) a multiple of 10?
True
Suppose -41*x + 38*x = -4*w - 8, -4*w = 3*x - 16. Suppose x*b - b = 2112. Is b a multiple of 32?
True
Let b = -98 - -98. Suppose -2*x + k = x - 10, -x + 4*k + 7 = b. Suppose -y = 3*f - 59, -3*f - 100 = y - x*y. Is 10 a factor of y?
False
Suppose 0 = -237*p + 235*p + 10. Suppose -2*m + p*h = -m - 131, 5*h + 282 = 2*m. Is 2 a factor of m?
False
Let h be -3*(2 - (-3 - -4)). Let s(c) = 5*c + 20. Let t be s(h). Suppose 4*g = -t*u + 458, -7*u + 6*u + 5*g + 80 = 0. Does 13 divide u?
False
Suppose -4*s - 217 + 413 = 0. Suppose 625 = 2*w + s. Is 24 a factor of w?
True
Suppose -35*u + 30800 = 5*u. Is 11 a factor of u?
True
Suppose 0 = 17*c + 79*c - 189928 - 5432. Is 11 a factor of c?
True
Suppose 0 = -54*a + 12*a + 11550. Is 51 a factor of a?
False
Let f(q) = -18*q - 1. Let t be f(-1). Let v = 5 - t. Does 8 divide -112*((-2)/(v/(-15)) + 2)?
True
Suppose 227 - 251 = -6*u. Suppose -u*j + 4*i + 5412 = 0, 16*i = 3*j + 11*i - 4051. Is j a multiple of 23?
True
Does 82 divide 143638/99 - 2/54*-3?
False
Let b(h) = -2*h + 7. Let u be b(4). Let x be (((-3)/(-4))/u)/(2/8). Does 44 divide 4 + (0 + -2 - (-39 + x))?
True
Let v(r) = 5 - 2 + 4*r + r**3 - 1 - 4*r**2. Let s = -526 - -530. Is 18 a factor of v(s)?
True
Suppose 19*v + 24 = 25*v. Suppose 3*u = v*i + 24, 3*i + 6 = i. Suppose 5*w = -7*c + 2*c + 250, -u*c = 8. Is 13 a factor of w?
True
Let m(q) be the third derivative of -q**4/24 + 7*q**3/3 - 11*q**2. Let g be m(12). Let z(w) = 16*w**3 - w**2 - 2*w + 6. Is z(g) a multiple of 21?
True
Is 322/4*214996/826 a multiple of 23?
True
Suppose 5*h + 2*q - 13 = q, 2 = 2*h + 2*q. Suppose h + 1 = -4*o. Let z(x) = -10*x**3 + 3*x**2 - x - 2. Is z(o) a multiple of 12?
True
Is 24 a factor of ((-36)/45)/(1/(-29915))?
False
Let s(p) = -2*p**3 - 9*p**2 - 6*p + 13. Let r = 173 + -177. Is s(r) even?
False
Let p(f) = 14079*f + 96. Is p(1) a multiple of 7?
True
Let u(p) = p**3 - 13*p**2 + 26*p - 58. Let t be u(11). Is 40/280 - 11408/t a multiple of 60?
False
Suppose 0 = 5*p - 30, 4*f + 3*p = 6*f - 2128. Is f a multiple of 112?
False
Let q = 20036 - 17083. Is 73 a factor of q?
False
Let n(f) = -1042*f - 1614. Is 12 a factor of n(-3)?
True
Let s = 2066 + 20104. Does 21 divide s?
False
Suppose -j - 114 + 395 = 0. Let q = j - 155. Is q a multiple of 14?
True
Suppose 4*t - 4*o = 3*t + 22, t - 24 = 6*o. Is t a multiple of 8?
False
Let o be 1*(-6)/((-15)/5)*1. Suppose o*z + 9 = c - 1, 4*c - 4 = -z. Is 2 a factor of c?
True
Let s(c) = 1395*c**2 - 86*c + 267. Is s(3) a multiple of 144?
False
Let o(p) = -11*p**2 + 2*p + 12. Let a be o(7). Is 24 a factor of 108 + (a/108 - 1/4)?
False
Let b = 428 + -78. Let u = b + -83. Is 8 a factor of u?
False
Suppose -2*w = -5 + 31. Let l(o) = o**3 + 14*o**2 + 14*o + 11. Let d be l(w). Does 11 divide 174/((-8)/(-4) - d/(-4))?
False
Let y = -2535 + 19477. Is 23 a factor of y?
False
Let w be 216/(-135) - 33/(-5). Let s(r) = 12*r + 3. Let l(c) = -c. Let n(b) = -63*l(b) - 3*s(b). Is 18 a factor of n(w)?
True
Let f(i) = -94*i - 24. Let q(d) = d**2 + 5*d - 10. Let a be q(-6). Let h be f(a). Let w = h + -225. Is 9 a factor of w?
False
Let u(y) = y**2 + 16*y + 33. Let i be u(-2). Suppose -3*m + i*x = -1069, -m + 371 = -3*x + 5*x. Does 20 divide m?
False
Let u(w) = 194*w**3 - 3*w**2 + 42*w - 138. Does 6 divide u(4)?
False
Let v(u) = -20 - 18 + 7 + u**2 + 7*u. Is 15 a factor of v(-19)?
False
Suppose -5*q + 28 = -37. Suppose x + y - q + 1 = 0, 3*y = -4*x + 49. Suppose 3*b - x*b = -920. Is 7 a factor of b?
False
Let h = -43 + 46. Let b be 1/h + 170/30. Suppose -4*z - 212 = -b*z. Is z a multiple of 13?
False
Let g(m) = 6259*m - 7783. Is 27 a factor of g(4)?
True
Let d = 62 - -124. Suppose -1005 = -5*n - 7*l + 12*l, 0 = n + 4*l - 