 Let b be q(0). Is b/2 - (4 - 34) a multiple of 32?
True
Is 158 a factor of (3796 + 7 + -2 - 5) + (-24)/6?
True
Suppose -10*q + 49*q - 204672 = 0. Is 16 a factor of q?
True
Suppose -v + 0 = -3. Let j(z) = -5*z**2 - 4 - z**2 - 4*z**2 + 3*z**3 + 5*z + 6*z**2. Is 7 a factor of j(v)?
True
Let x = 34 + -29. Suppose 4*g - 2064 = 4*q, -3*g - 6*q + 1548 = -x*q. Is g a multiple of 10?
False
Suppose 4*n = 0, 0*n = 4*p + 3*n - 2132. Suppose -p = -5*o - 33. Is o a multiple of 3?
False
Let o be (-12)/(-18) + 6/(-9). Suppose -3*l + 6*b = 2*b - 3010, o = 2*l - 4*b - 2000. Is 48 a factor of l?
False
Let f(l) = -l**3 + 18*l**2 + 17*l + 41. Let v be f(19). Let m be 123 - (v - -1)*30/40. Let r = -56 + m. Does 16 divide r?
True
Let o(g) = g**3 + 16*g**2 + 77*g + 27. Let z be o(-22). Let s = -3207 - z. Is s a multiple of 33?
False
Suppose 0 = 241*q + 19*q - 3915340 - 8267480. Does 159 divide q?
False
Suppose -3*w = -6, 0 = n - w - 0*w - 1907. Suppose -n = -30*y + 551. Is 2 a factor of y?
True
Suppose 521 = 4*b - 963. Suppose m - b = -z - 93, m - 3*z - 270 = 0. Is m a multiple of 23?
True
Suppose -115*p - 33 = -116*p. Suppose -p*m + 30678 = -19317. Is m a multiple of 12?
False
Does 212 divide (-18)/27 - (-142116)/9?
False
Let s be ((-3)/6)/(4/(-72)) - -2. Suppose 59 = 4*t - 3*z, -2*z = -t - 5*z + s. Is t a multiple of 7?
True
Suppose 2*a - 423 = -a. Suppose -64*g + 651 = 5*b - 61*g, -5*g = -2*b + 279. Let f = a - b. Is 8 a factor of f?
False
Suppose -3*x = -9, 4*h - 3*h + 6 = 3*x. Suppose -h*b + 23 = 20. Is 7 a factor of (b - -14) + 1*(-12)/6?
False
Let v(w) = 2416*w + 1407. Is v(9) a multiple of 70?
False
Let f = 3519 + 1129. Is 14 a factor of f?
True
Let b be ((-9)/15)/((-6)/20). Suppose -3*n + 19 = -b*i, 0*n + 5 = -5*n. Let k(s) = -16*s + 3. Is k(i) a multiple of 19?
False
Let p be (-2)/3*3*(-5)/10. Let z be (p/(-1))/((-8)/104). Let s(k) = 2*k**2 - 23*k - 15. Is s(z) a multiple of 11?
False
Is 51 a factor of 36*17*(-3234)/(-441)?
True
Let d = 5576 - 3406. Is d a multiple of 21?
False
Let p(j) = -j**3 + 38*j**2 + 81*j - 74. Let m be p(40). Does 7 divide (m - -36) + 17 + -1?
False
Suppose -5*d = 2*d - 35. Suppose -2*u = 2*f - 5*u - 455, -5*f - d*u = -1150. Suppose -5*r = 4*a - 7*a + f, -4*a + 284 = 4*r. Is a a multiple of 12?
False
Suppose -4*o = 9*o - 234. Does 22 divide 572/o + (-24)/(-108)?
False
Let n(s) = 213*s**2 - 3*s - 4. Let w be n(2). Suppose -2*z - 23*g = -21*g - 422, 4*z + 2*g = w. Is z a multiple of 35?
True
Let j be 9/6*(-8)/(-6) - 1. Let n be (7/(-21))/(j/(-12)). Suppose -c + 150 = 4*m, -4*c + n*m = -m - 600. Is c a multiple of 10?
True
Let w = -49 + 52. Let i be 2/(w + (-764)/256). Suppose -3*a - i = -2*c + a, 5*c - a = 338. Is c a multiple of 17?
True
Let j(z) = -2*z**2 + 2*z + 10. Let a be j(-4). Let s = a - -34. Suppose -4*y + 158 = 2*i, -3*y - 257 - s = -4*i. Is 10 a factor of i?
False
Let v = 317 - 473. Let y = 51 - v. Let j = y + 103. Is 31 a factor of j?
True
Let b = 197 + -60. Let y = 667 + b. Is 40 a factor of y?
False
Suppose -20*d + 24561 + 30239 = 0. Suppose -3*g = w - 1645, 0*w = 5*g + 2*w - d. Is g a multiple of 22?
True
Let o(m) = m**2 + 4*m + 2. Let r be o(4). Let a be -15 + 12 - r/(-4 - -2). Suppose -2*t + a = 4*v - 68, v + 4 = 0. Does 7 divide t?
True
Let n(i) = 22*i**2 - 44*i - 192. Is 14 a factor of n(-15)?
True
Suppose -8 = -10*v - 98. Does 8 divide -4*-3*(-114)/v?
True
Let f = -194 - -199. Suppose -5*r = -2*i - 1144 - 127, 5*r = f*i + 1265. Is r a multiple of 32?
False
Let t(i) = -2*i - 2. Let s be t(1). Let m(x) = x**3 + 4*x**2 - x - 2. Let q be m(s). Suppose 2*w = -w - y + 10, 0 = 2*w + q*y. Is 2 a factor of w?
False
Let m be -1 - (-19)/5 - 24/30. Suppose m*i - 315 = -i. Does 24 divide i?
False
Let h(t) = -22 + 339*t - 326*t - 32. Is h(16) a multiple of 11?
True
Suppose 3*k - y + 4 = 0, 4*y - 2 = -3*k + k. Does 4 divide 0 + k*8*-5?
True
Suppose 1128*c = 1115*c + 290979. Is c a multiple of 27?
True
Is (-110887)/(-14) - (-2 + 3 + 1/(-2)) a multiple of 11?
True
Is 27 a factor of (-46 + 37)*-7*3*9?
True
Let p = -3208 + 5854. Does 7 divide p?
True
Is ((-4352)/640)/((-1)/125) a multiple of 5?
True
Let l = -371 + 363. Let q(z) be the third derivative of -z**4/24 + z**3/2 - 2*z**2. Is q(l) a multiple of 11?
True
Suppose 0 = 5*d - d - 5*t, -5*d + 4*t + 9 = 0. Suppose -a + 2*n = -3 - 53, 5*a - d*n - 290 = 0. Does 3 divide a?
True
Let i(g) = g**2 - 13*g + 10. Suppose 3*r - p + 4*p - 45 = 0, 0 = 2*r - p - 18. Let o be i(r). Is o*(1/2 - 1) a multiple of 5?
False
Let b(n) = -21 - 249*n - 224*n + 493*n + 196*n**2. Does 15 divide b(1)?
True
Suppose -53*z + 97864 = -148109. Is z a multiple of 2?
False
Let o(s) = 87*s + 48. Let q be o(9). Suppose q = 3*r - 4*g, r + g - 831 = -2*r. Does 14 divide r?
False
Let j be (5 - 3)/(2/3). Let h be (0 - (-2892)/10) + ((-216)/45)/(-6). Suppose 3*g + 288 + h = 5*y, 460 = 4*y - j*g. Is y a multiple of 14?
False
Suppose -5*m = -3*a + 1156 + 5985, 0 = -2*a + 4*m + 4762. Is a a multiple of 77?
False
Suppose 2*p = 2*c + 3848, -5*c = 1760*p - 1762*p + 3857. Is p even?
False
Suppose -5*b + 3*y = -3, 2*b - 1 = -2*y - 3. Suppose b = 3*o - 0. Suppose -5*t = o, t = -3*v - v + 504. Does 21 divide v?
True
Let n = -47 - -56. Suppose -n*w + 112 = -w. Suppose -13*s - 82 = -w*s. Does 19 divide s?
False
Suppose 51*m - 55*m = 0. Let v(s) = -s**2 - s + 3. Let p be v(m). Suppose 576 = 3*x + p*w, 0 = 2*x - 2*w + 6*w - 392. Is 47 a factor of x?
True
Suppose -8*p + 45 = p. Suppose p*z + 196 = -74. Let t = -16 - z. Does 8 divide t?
False
Let t = -3865 - -6999. Is 14 a factor of t?
False
Let f = 615 - 91. Let v = -49 + f. Is 25 a factor of v?
True
Let g = 13815 + -3888. Is 9 a factor of g?
True
Let c(z) = 319*z**2 - 252*z - 251. Is 10 a factor of c(-1)?
True
Let s = -81 + 5801. Does 20 divide s?
True
Let m = 845 - 1820. Does 13 divide (24/(-30))/(5/m)?
True
Let r(g) = -2*g**2 - 6*g - 45. Let s(x) = -x**2 - x. Suppose -7*p = -10*p - 9. Let h(n) = p*s(n) + r(n). Does 17 divide h(13)?
True
Suppose 10379 = 3*g + 5*w, -181*w + 176*w + 13837 = 4*g. Is 7 a factor of g?
True
Is (-403180)/(-420) + (3/3)/21 even?
True
Suppose -15*k - 36 = -17*k. Let v be k/(-2)*(-2 + (-4)/(-3)). Is 30 a factor of (-4 + (v - 1))*60?
True
Suppose 4*d = -3*h + 8*h + 7, -5*d = 3*h + 19. Let j be -6 + -31 + 4/d. Let n = 51 + j. Does 9 divide n?
False
Let c(p) = 70*p**2 - 90*p + 1. Let h be c(-6). Let o = h - 1521. Is 44 a factor of o?
True
Suppose 4*v - 3*w - 2 = 0, -6*v + v + 20 = 5*w. Suppose -4*q = -2*r - q - 14, 2*q - 12 = v*r. Is r/(170/175 - 1) a multiple of 35?
True
Suppose -358*a + 5*j = -360*a + 33679, 3*j + 16834 = a. Is 10 a factor of a?
False
Let v(b) = 114*b**2 - 70*b - 884. Is v(-9) a multiple of 212?
False
Does 76 divide ((-114)/4)/((-21)/336)?
True
Let d(w) = -51*w - 16 + 7*w**2 + 19*w + 28 + 30. Does 17 divide d(13)?
False
Let w(m) = -m**3 - m**2 + 2*m - 1. Let t be w(-2). Let q be t/((-4)/(9 - 1)). Suppose 2*j + 50 = f, 2*f + q*j - 93 = -j. Does 15 divide f?
False
Let o(h) be the third derivative of 4*h**3 - 26*h**2 + 0 - 1/60*h**5 + 0*h + 11/12*h**4. Is 17 a factor of o(19)?
False
Let c(m) = -6*m - 201. Let b be c(-34). Let y(j) = 72*j**2 + 11*j - 9. Does 42 divide y(b)?
True
Let b(n) = -12*n + 4*n - 58565 + 58571 + 2*n**3 - 3*n**3 + 11*n**2. Let y be 39/4 + (-5)/(-20). Is b(y) a multiple of 8?
False
Let f(b) = -36*b**3 - 5*b**2 + 21*b + 121. Is f(-4) a multiple of 19?
True
Let z be ((2032/6)/(-4))/(2/(-291)). Suppose 18*r = -1087 + z. Does 48 divide r?
True
Suppose 5*o + 13970 = d, o + 8 = 4. Is d a multiple of 30?
True
Suppose 4*w - 33 = -13. Suppose w*t + 384 = 2*m, -t - 2*m - 57 - 15 = 0. Let n = t - -268. Is n a multiple of 29?
False
Is (27/(-6))/(9/12 - 902/1200) a multiple of 50?
True
Is 48 a factor of (-54)/(-90) + 103752/30?
False
Let m(f) = 60*f + 103. Let i(p) = -59*p - 103. Let x(v) = -4*i(v) - 5*m(v). Does 19 divide x(-12)?
True
Let i(v) = 47*v + 277. Let h be i(-5). Is 228 + h/(-168) + 46/(-8) a multiple of 5?
False
Suppose -11*l - 46 = 9. Suppose -68 = -7*b + 5*b. Let n = b - l. Does 16 divide n?
False
Let x be (-21)/(-3)*3/6*6. Suppose 0 = -4*a + 65 - x. Suppose -8*q + a*q = 552. Is 18 a factor of q?
False
Suppose 4*b + 16*k = 21*k + 50, -3*b = 3*k - 24. Let v(t) = t**3 - 6*t**2 - t - 18. Does 62 divide v(b)?
True
Let t = 7