4*y = -x - 2*x + 162, -4*y = 2*x - 108. Suppose -x = -t*a - a + 2*m, a - 4*m - 44 = 0. Is a a multiple of 8?
True
Let b = 241 + -112. Suppose -b*t = -125*t - 256. Is t a multiple of 3?
False
Suppose -7*t + 1018 = -284. Suppose p - t = 54. Is 24 a factor of p?
True
Suppose -5*n - 9222 - 13746 = -34*n. Is n a multiple of 12?
True
Let n(b) = b**2 + 3*b. Let y be n(-8). Suppose 12*r - 406 = 5*r. Let g = r - y. Does 4 divide g?
False
Suppose 7977 + 62016 = 3*g - 3*v, 3*v - 3 = 0. Is 20 a factor of g?
False
Let u be (-7)/(-21) - (50/(-3) + -2). Let g be (18 - u)*(-8 + 0). Let n = g - -7. Is 2 a factor of n?
False
Suppose -5*p - 162 + 39 = a, 3*a = -p - 19. Is (p + -6)/(2/(-6)) a multiple of 28?
False
Let c = 2812 + 2627. Is c a multiple of 21?
True
Let n(j) = 22*j + 28. Let x be n(-11). Let i = x + 364. Does 10 divide i?
True
Suppose 5*n = k - 2557, -5*k + 10*n + 12785 = 13*n. Is 3 a factor of k?
False
Let p = 47 - 44. Suppose 10*v = 1368 + 952. Suppose p*t = 3, -2*d = 3*d - 3*t - v. Does 23 divide d?
False
Let l(h) = 3*h - 25. Let q be l(12). Suppose i = -4*i - 5*m + 35, 5*m - q = 3*i. Suppose 0 = 2*k - 4*k + 10, i*g - 77 = 2*k. Is g a multiple of 10?
False
Let x be (-2)/(-6) - (-154)/(-3). Suppose g + 3*d - 74 = 0, 5*g + 0*d = 4*d + 427. Let h = g + x. Does 8 divide h?
True
Let k(u) be the first derivative of -u**4/4 + 10*u**3/3 - 4*u**2 + 5*u - 75. Is 29 a factor of k(8)?
False
Let i = 838 + -804. Suppose -3*b = -i*b + 17050. Is b a multiple of 10?
True
Let j(f) be the second derivative of f**4/12 - 17*f**3/6 + 2*f - 51. Is 6 a factor of j(20)?
True
Suppose -28*d = -66*d + 22762. Let t = d - 457. Is 4 a factor of t?
False
Is 13*(-1)/((18 + -7)/(-57871)) a multiple of 240?
False
Suppose 26*q - 30*q = 2252. Let t be q/(-11) - (100/(-55) - -2). Let o = -40 + t. Is o a multiple of 2?
False
Suppose 11*o - 104 = -27. Suppose j - o = -4. Suppose -j*r = 23 - 269. Does 23 divide r?
False
Let s = -22 + 30. Suppose -6*u - 2*u = -s. Let z = 30 + u. Does 31 divide z?
True
Let x = -104 + 148. Let m = 53 - x. Suppose -l - m*l = -870. Is l a multiple of 21?
False
Let t(b) = 2*b**3 + 3*b**2 - 3*b + 2. Let f be t(1). Does 39 divide ((-3)/f)/(15/(-1980))?
False
Let m(t) = t**2 + 24*t + 24. Let s be m(-24). Suppose -s*f - 80 = -25*f. Suppose -3*b = -5*b + f. Is b a multiple of 10?
True
Suppose -276*r + 278*r + 2*i = 45322, -i + 113281 = 5*r. Is r a multiple of 34?
False
Let n(p) be the first derivative of p**3/3 + 3*p**2/2 - 5*p - 15. Is 5 a factor of n(-10)?
True
Let q(i) = i**3 - 11*i**2 + 2. Let d be q(11). Let b = d - -4. Let c(j) = 5*j - 17. Is c(b) a multiple of 5?
False
Let k be -5 + 6 + 3 + -12. Let y(b) = -b**3 + b**2 + 30*b - 23. Is y(k) a multiple of 5?
False
Let m = 4581 + -3657. Is m a multiple of 84?
True
Let s(p) = -5*p**3 - 4*p**2 - 8*p - 1. Let b(j) = -9*j**3 - 9*j**2 - 17*j - 2. Let n(x) = 4*b(x) - 7*s(x). Let q be n(-6). Is q*(4 + -3 + -1) - -23 even?
False
Suppose -176*w + 4 = -194*w + 9238. Is 107 a factor of w?
False
Let k(q) = 2*q + 7. Let l be k(11). Suppose 2*d = 35 - l, -5*d = 4*h - 2159. Does 83 divide h?
False
Let n(k) = 1028*k + 394. Is 14 a factor of n(9)?
True
Suppose 0 = 18*j - 27*j + 504. Suppose -j = 5*g - 1856. Is g a multiple of 20?
True
Suppose -4*i - 2*c + 214 = 0, -72*i + 67*i = 2*c - 267. Let f(l) = -l**2 + 50*l + 361. Does 2 divide f(i)?
True
Let r(x) = x**2 - 9*x + 2. Let j be r(9). Let s(g) = 2*g**2 + g - 6. Let f be s(j). Let b = f - -35. Is b a multiple of 13?
True
Let w be (4*-1)/(1 - 3). Suppose 0 = -3*b + 2*x + 512, -w*b + 4*x + 212 = -140. Suppose p + 2*i = 4*p - 147, 0 = -3*p - 5*i + b. Is p a multiple of 16?
False
Suppose -a - 26*a + 1053 = 0. Let c(o) = 2*o**2 - 73*o - 57. Does 39 divide c(a)?
False
Suppose -4816*t = -4729*t - 2610087. Does 10 divide t?
False
Suppose -3*h + 167 + 4 = 0. Suppose 2*g - 3*o = -2*o + 87, g = 5*o + h. Does 21 divide g?
True
Let h = 43 + -40. Suppose -3*i + s - 301 = h*s, 0 = 2*i + 3*s + 204. Let t = i - -135. Is t a multiple of 4?
True
Let c(z) = -33 + 1735*z**2 + 4*z - 1730*z**2 + 7*z. Let j(k) = -4*k**2 - 11*k + 32. Let r(f) = -2*c(f) - 3*j(f). Does 21 divide r(-13)?
False
Let t(j) = 5*j**2 + 33*j - 127. Let s(b) = -6*b**2 - 33*b + 127. Let y(w) = -6*s(w) - 7*t(w). Is y(37) a multiple of 11?
True
Suppose 5*s - 25 = 0, 3*m - 20*s - 13439 = -24*s. Is 7 a factor of m?
True
Let m = 187 - 110. Suppose -75*f = -m*f + 82. Is f a multiple of 7?
False
Is (4961837/1351)/((-3)/(-42)) a multiple of 25?
False
Is 23 a factor of ((-909)/(-18) - 13)/(15/2630)?
False
Suppose 0 = z + 66 - 89. Let l = z - 23. Suppose -7*y + y + 240 = l. Is y a multiple of 40?
True
Let s(l) = 3*l**2 + 61*l + 1050. Does 72 divide s(-33)?
True
Is 4 a factor of 12/8*(-6)/54*-12*7982?
True
Suppose y = 3*i - y + 23, -y = 4*i + 38. Let c(m) = m**3 + 7*m**2 + m**2 + m + m + 5*m**2 - 3*m**2 - 18. Is c(i) a multiple of 11?
False
Suppose -2*g + 360 = -g. Suppose 2*f + 2*f - 20 = 0. Suppose 480 = 4*l - f*i + 2*i, -2*i = 3*l - g. Is 27 a factor of l?
False
Suppose 42 = u - 2*d + d, 57 = u + 2*d. Let s be (-8)/(-60) - (-1 - u/(-15)). Does 7 divide 17 + 2 + (0 - s)?
True
Let y be (0/2)/((-11)/11). Let m(f) = -f**3 - f**2 + 2*f + 46. Is 3 a factor of m(y)?
False
Suppose -4*m - 5*w - 513 = 0, m + 15*w = 13*w - 126. Does 6 divide 1*m/(-10)*10?
True
Let z(b) = -4 + 2 - 2 + 53*b. Let k(x) = x**2 + 7*x - 76. Let w be k(-13). Does 34 divide z(w)?
True
Suppose 0 = -264*f + 260*f + 40960. Is f a multiple of 30?
False
Suppose 0 = -252*z + 263*z - 44. Suppose -4*v + 344 = 4*x, 0 = z*v + 5*x - 3*x - 346. Does 5 divide v?
False
Let j(m) = -1. Let g(b) = b**3 + 9*b**2 + 4*b - 23. Let n(a) = -g(a) + 5*j(a). Suppose -26 = 14*t + 100. Does 13 divide n(t)?
False
Let q = 19322 + -12552. Is 10 a factor of q?
True
Suppose 0 = -2*g + 3*b - 8*b + 141, 3*b = 9. Let s be (-18)/g*(1 - 15). Suppose m - 245 = -s*m. Does 7 divide m?
True
Let b(a) = 2*a**2 + 12*a - 12. Let p be b(-4). Let z(s) = -8*s + 116. Is 34 a factor of z(p)?
True
Let v be 1*609/28 - 1/(-4). Suppose f - 10672 = -v*f. Does 15 divide f?
False
Suppose 109*f = 89086 + 23511. Is 27 a factor of f?
False
Suppose 3*b - 42901 = r, -4*r + 6 = 10. Suppose 62*c = 42*c + b. Does 18 divide c?
False
Suppose t - 33 = -5*k + 1, -5*k + 5*t = -10. Is 172 - (k/10)/(6/30) a multiple of 7?
False
Let k(a) = 19*a**3 + 18*a**2 + 4*a + 54. Is 62 a factor of k(7)?
False
Let k(d) = 173*d**2 + 94*d + 576. Does 13 divide k(-6)?
True
Let f = 785 - -54. Let v = f - 422. Does 11 divide v?
False
Let d(n) = -n**2 + 9*n - 14. Let h be d(5). Let a be (9/(-18))/((h/(-3))/1096). Let t = -102 + a. Is t a multiple of 32?
False
Suppose 10*w + 312 + 118 = 0. Let o = w + 100. Is 57 a factor of o?
True
Let u(g) = -28*g + 71. Let w be u(7). Let z = 337 + w. Is 14 a factor of z?
False
Suppose 0 = -3*q + 5*t + 3105, -5*t = 7*q - 5*q - 2120. Is q a multiple of 5?
True
Let o be 1 + -1 + 4/1. Suppose 0 = 4*u - 4*r + 16, -4*r + 1 = -5*u + o*u. Is 28 a factor of ((-148)/u)/((-42)/15 - -3)?
False
Let a = -516 + 1118. Suppose -101*s + 94*s + a = 0. Is s a multiple of 48?
False
Let l be ((-28)/(-4) - -24) + (-2 - 1). Suppose 33*u + 20 = l*u. Does 10 divide (-128)/(-2) - u*1?
False
Let c(a) = 13*a - 3. Let r(p) = -p + 1. Let t(z) = -c(z) - 4*r(z). Suppose -5*i = 8*b - 4*b - 10, i + 7 = b. Is 17 a factor of t(i)?
True
Let y(u) = 5*u + 160. Let a be y(-32). Suppose 4*z - 4*g = 8*z - 3016, 2*z + 4*g - 1498 = a. Is z a multiple of 46?
False
Let u = 52 - 47. Suppose -2*i + u*i - 21 = 0. Let p(r) = -2*r**2 + 16*r + 1. Is p(i) a multiple of 2?
False
Suppose 0*x = 23*x - 92. Suppose 0 = -x*s + 22*s - 12186. Is s a multiple of 65?
False
Let l = -52 + 55. Suppose -5*s - l*f + 855 = 0, 3*f + 489 = 4*s - s. Is 28 a factor of s?
True
Suppose 165 = -5*q - 10. Is 25 a factor of 497/5 + (-21)/q?
True
Suppose -2*b = -4*p - 17920, 2*p = -541*b + 538*b + 26912. Is b a multiple of 118?
True
Let o(z) = -z**2 - z + 543. Let v be -6 + 1 - (-10 + 1 - -4). Does 13 divide o(v)?
False
Let a = 360 + -360. Suppose 6*f - 2636 - 316 = a. Does 32 divide f?
False
Suppose -1537 = -8*o + 4303. Suppose -20*m + o = -15*m. Does 25 divide m?
False
Is 92 a factor of (-3)/((-54)/(-4)) - 40074/(-27)?
False
Let f be 2/(2*(-2)/(-2)). Let l be 4/(f*(-5)/10). Does 37 divide l + 43 + (1 - 