 = -5*y - 4*o - o + 35, 3*y - 17 = -2*o. Suppose -5*m = 4*q - 2, 4*q - 3*m = 21 - y. Suppose -24 = q*d - 5*d. Is d a multiple of 12?
True
Let p = -65 + 70. Suppose -p*g - 43 = -118. Is g a multiple of 12?
False
Suppose 13536 = 42*c - 24*c. Is c a multiple of 4?
True
Suppose 10*z - 171 = 7*z. Let u = 22 - z. Does 12 divide (-855)/u + 6/(-14)?
True
Let f = -7 + 8. Let a = f + -1. Suppose -4*u - 7 = q - 2*q, a = 2*q + 4*u - 62. Is q a multiple of 17?
False
Suppose 0 = 4*j + 7 - 19. Does 10 divide 1/j + (-640)/(-24)?
False
Suppose 6 = -3*g + 6*g - y, -g + 5*y - 12 = 0. Is (22/g)/(1/3) a multiple of 9?
False
Let n be (-50)/4 - 21/14. Is (0 + -30)*35/n a multiple of 12?
False
Suppose -35*m + 42*m = 315. Let p = 35 + m. Does 4 divide p?
True
Let g = -254 + 834. Is 20 a factor of g?
True
Let y(x) = -x**3 + 484. Let w be y(0). Suppose -w = -4*z + 3*t + 113, 0 = 3*t - 3. Is 15 a factor of z?
True
Suppose -5*k + 5232 = 3*k. Does 4 divide k/33 + (-1)/(44/(-8))?
True
Let j be 3/(-12)*-4*53. Let m = j + -41. Is 6 a factor of m?
True
Suppose 11*k - 16 = 7*k, -3*k + 4092 = a. Is a a multiple of 136?
True
Let y(u) = -u**3 + 14*u**2 - 11*u + 16. Let i be y(13). Let x = 16 + -9. Suppose -x*v + i = -4*v. Is 12 a factor of v?
False
Let o = 69 + 3. Suppose -o = -2*a + 8*a. Does 4 divide 111*(-4)/a + -4?
False
Let k = 366 - 186. Is k a multiple of 9?
True
Suppose -2*j + 6 = -3*v + 2*v, -12 = -4*j + 4*v. Let h be (-8)/(3/(-18) - 10/84). Suppose j*w - w = h. Is w a multiple of 7?
True
Let q(d) = -33*d - 1. Let p(x) = -65*x - 3. Let l(k) = 2*p(k) - 5*q(k). Is 9 a factor of l(2)?
False
Let o = -11 - -14. Let g be -1 + o + 4 - 2. Let i(d) = -d**3 + 5*d**2 - 2. Is i(g) a multiple of 14?
True
Suppose -y + l = 4*l + 16, 0 = -3*l + 9. Let n(x) = x**2 + 22*x - 26. Is n(y) a multiple of 26?
False
Let w(y) = 13*y + 19. Let c be w(-6). Let f = -19 - c. Is f a multiple of 13?
False
Let d(q) = -2*q - 3. Let x be d(-2). Let k(j) = 78*j**2 - 2*j + 1. Let g be k(x). Suppose 5*o - 28 = g. Is o a multiple of 6?
False
Does 64 divide (7 + -1)/((-40)/16)*-160?
True
Let r be 1*(-1 - 11)/(-4). Suppose 5*f - 155 = -5*b, r*b - 3*f + 11 = 92. Is b a multiple of 12?
False
Let f(u) be the second derivative of 2*u + 0 + 2*u**2 - 1/6*u**3. Is f(-8) a multiple of 6?
True
Let s(b) = -b**2 + 3*b - 2. Let a be s(-5). Let o = -42 + a. Let m = -38 - o. Is 25 a factor of m?
False
Suppose 5*l + 218 = 8*l - 2*v, -2*l + 124 = 4*v. Is l a multiple of 14?
True
Is 10 a factor of 249/5 + (-52)/(-260)?
True
Suppose -10*t - 64 = -174. Let c(j) = 2*j**2 - j - 30. Does 13 divide c(t)?
False
Let a be 36/24*176/3. Suppose -3*i + 128 - 5 = -4*h, -170 = -5*i - 5*h. Suppose 0 = -5*s + a + i. Is s a multiple of 5?
True
Let i(w) = 12*w - 36. Let n be i(6). Suppose 31*t + 290 = n*t. Does 8 divide t?
False
Let f = -26 + 31. Let v be (-3 + 2)/(f - 4). Does 4 divide 18 + (0 - -3)*v?
False
Suppose 4*x = 4, -5*h + 4 = 5*x - 11. Suppose -3*j = 4*n - 239, -n - 2*j = -2*n + 57. Suppose 0 = -5*g - 7*d + 2*d + 90, -h*d = -3*g + n. Is g a multiple of 7?
False
Suppose -91*r = -81*r - 360. Is r a multiple of 26?
False
Is 1 + (4/8*156 - 2) a multiple of 7?
True
Let q(u) be the first derivative of -u**3/3 - 13*u**2 - 24*u + 17. Is q(-18) a multiple of 10?
True
Let g = 291 - 233. Is g a multiple of 58?
True
Suppose -3*w + 6 = -15. Let g = 20 + -20. Suppose -6*m + w*m - 56 = g. Is 11 a factor of m?
False
Let o(t) = -3*t + 15 + 14 + 6*t. Does 49 divide o(23)?
True
Let q be 3 + -3 - (3 + -30). Let v = q + -12. Is v a multiple of 5?
True
Suppose 2*z + 7*k = 4*k + 325, 0 = z - k - 160. Suppose -2*x - 1 = -z. Is 15 a factor of x?
False
Suppose 4*i - 2736 = -2*a, -4*i + 6*i - 8 = 0. Does 16 divide a?
True
Suppose 98*v + f - 6234 = 95*v, 4*v = -4*f + 8320. Is 67 a factor of v?
True
Let i = -83 + 74. Does 30 divide (-69 - -9)*i/2?
True
Is (62/4 - -6)*26 a multiple of 63?
False
Suppose -150*i + 158*i - 5936 = 0. Is 9 a factor of i?
False
Let y be ((-6)/9)/(4/6). Let u be y + 2 - (-12)/4. Suppose 11 = 5*p - 4*b - 7, 0 = 2*b + u. Does 2 divide p?
True
Let a be (-30)/(-5) - (-2 + 3). Suppose a*c - 65 = 105. Suppose 0*x = 2*x - c. Is 6 a factor of x?
False
Let z(g) = 2*g**2 + 10*g + 88. Does 13 divide z(-18)?
False
Is 16 a factor of (-21)/24*-418 - (-3)/(-4)?
False
Let f = 112 - 62. Suppose -d - 156 = -4*p, -p + 2*d + f = -d. Is 15 a factor of p?
False
Let n = -202 - -225. Let z(i) = -i**3 - 3*i**2 + 2*i + 8. Let d be z(-6). Suppose 3*t = -n + d. Is t a multiple of 6?
False
Let p(g) = 4*g**2 + 5*g + 92. Is 37 a factor of p(16)?
False
Suppose 6 = -2*s, -14 + 0 = -5*r + 3*s. Let g be (0 - r)/(8/(-56)). Suppose 3*m + 176 = g*m. Is 24 a factor of m?
False
Suppose 50*r - 47*r + 12 = 0. Let l(c) = c**3 + 4*c**2 - 4*c - 1. Does 3 divide l(r)?
True
Suppose -20 = 3*n - 7*n. Suppose n*a = -3*f + 160, 2 = 5*a + f - 148. Is a*(-4)/(0 - 4) a multiple of 11?
False
Let s = 74 - 71. Is (-968)/(-24) - 1/s a multiple of 14?
False
Suppose -5*v + 6*v = 49. Is 6*5/10 + 2*v a multiple of 16?
False
Let l(y) = 3*y**2 + 15*y + 2. Let q(s) = -2*s**2 - 14*s - 1. Let n(h) = -3*l(h) - 4*q(h). Let c be n(5). Suppose -2*m + 6 + c = 0. Is 6 a factor of m?
False
Is 22 a factor of 248/(-6)*429/(-13)?
True
Let j be ((-17)/(-4) - 4)*8. Suppose j*d = d + 48. Does 15 divide d?
False
Suppose 0 = 17*h + 14*h - 23932. Is h a multiple of 25?
False
Let s(i) = 11*i**2 - 24*i - 260. Is 13 a factor of s(-12)?
True
Suppose 0 = 2*v + 2*l - 120, 0 = -11*v + 12*v - 5*l - 30. Is 10 a factor of v?
False
Let y = -49 + 44. Is 1 - 36/y - (-7)/(-35) even?
True
Let g(x) = 6*x - 45. Is 17 a factor of g(16)?
True
Let g(m) = 14*m - 24. Let s(l) = -30*l + 47. Let d(v) = 5*g(v) + 2*s(v). Is d(19) a multiple of 29?
False
Let p be 8*1/5*-5. Let o be 9/(-6)*p/3. Suppose 0 = -o*t + 3*t + 39. Does 18 divide t?
False
Let t(q) = 36*q - 1. Let w(h) = -36*h + 1. Let r(m) = 3*t(m) + 2*w(m). Is 18 a factor of r(4)?
False
Let g be -24*((-10)/4 + 0). Suppose -2*r + 29 = -k - 77, -r + g = 3*k. Is ((-4)/(-12))/(2/r) a multiple of 3?
True
Does 18 divide 6/27 + (-6 - 3500/(-45))?
True
Let m(x) = -8*x**3 - x**2 + 5. Let n(h) = -8*h**3 - 2*h**2 + h + 5. Let t(c) = -5*m(c) + 4*n(c). Let z be t(2). Let k = 140 - z. Does 17 divide k?
True
Let z = 101 - -12. Suppose 5*a = -j + z + 134, -j - 53 = -a. Is a a multiple of 25?
True
Let u = 0 + 4. Let x be -2 - (-3 - (-4)/u). Let n = 6 - x. Is 3 a factor of n?
True
Let s(f) = f + 9. Let n be s(-11). Let y be n/8 + 9/4. Suppose -7*x = -y*x - 2*g - 408, -5*g = 3*x - 251. Does 19 divide x?
False
Let g = 20 - 297. Let t = g - -457. Is t a multiple of 18?
True
Is -1*(-4)/(-16) - (-2290)/8 a multiple of 6?
False
Let i = 656 + 191. Does 77 divide i?
True
Let n be 12/10*10/4. Suppose -12 = m + n*m, 4*m = -x + 60. Is 8 a factor of x?
True
Let y(z) = 28*z + 108. Does 26 divide y(-2)?
True
Suppose 0 = 4*t + 76 - 300. Suppose 0*d = 4*d - t. Let n = d - 8. Is n a multiple of 3?
True
Does 68 divide 2455 + 245/(-42) + (-15)/(-18)?
False
Let h be 4 + (-2 - -5 - 2). Suppose -h*v - 3*b + 160 = 2*b, -3 = -3*b. Suppose 0 = -4*f - v + 135. Does 9 divide f?
False
Let l = -53 + 56. Suppose 360 = l*z + 6*z. Is z a multiple of 8?
True
Let s(d) = 86*d + 318. Is 19 a factor of s(10)?
True
Does 6 divide 39/(-65) + 738/30?
True
Let k = -6 + 11. Suppose -k = 4*z + z. Let d = z - -6. Does 5 divide d?
True
Let j = -2 - 0. Let f be (j - (-1 + 0))*-12. Is 3 a factor of 106/22 + f/66?
False
Let h be (-5)/(-15) + 109/(-3) + 2. Let t = 47 - h. Is 14 a factor of t?
False
Let c(s) = -s**3 - s + 36. Let t be c(0). Suppose 15*z + t = 17*z. Is z a multiple of 6?
True
Let f(g) = 30*g + 2. Let s be f(2). Let l(r) = 7*r + 8. Let p be l(-6). Let k = s + p. Is 14 a factor of k?
True
Let y be (-4 - -5 - 6)*-1. Suppose -y = 3*j + 4. Let r = 15 + j. Does 12 divide r?
True
Suppose 0 = -0*a - a + 43. Let m = 70 - 65. Suppose 3*t = m*r - r + a, -4*t + 5*r + 56 = 0. Does 6 divide t?
False
Let j(x) = -x**2 - 16*x + 6. Let t be j(-13). Suppose -108*v = -113*v + t. Does 7 divide v?
False
Suppose -3*q - 5 = 13. Let x(g) = 5*g**2 + 5*g + 15. Is 33 a factor of x(q)?
True
Suppose -5*j + 2875 = 2*t, 0 = -4*t + 10*j - 6*j + 5764. Is 15 a factor of t?
True
Let n be (-16)/(-3)*(-45)/(-12). Let u be (-451)/(-88) + (-1)/8. Suppose -4*m + n = 2*c, 4*c -