h - 3*h = 4. Suppose 0 = -0*x - h*x + 72. Is x a multiple of 12?
True
Let c = 0 + 1. Let z be (1 - c) + 0 + -3. Is 51/((-9)/z) + 0 a multiple of 16?
False
Let n = 0 + 8. Suppose 0 = -i - 3*h + 5*h + n, 4*i = h + 11. Does 10 divide 78/4 - (-1)/i?
True
Let h be 133/(-4) + (-3)/(-12). Let g = h - -158. Suppose 4*u + 4*o = 64, -5*u + 4*o + g = -0*o. Is u a multiple of 7?
True
Let o = 101 - 59. Suppose -2*m + 0*y - 3*y + 23 = 0, -2*y + o = 3*m. Does 8 divide m?
True
Let d be 2/(-8) + (-63)/(-12). Suppose -5*y + h + 19 = 0, 5*y - 25 = -0*y - d*h. Is y even?
True
Suppose -2*b - 270 = -11*b. Is b a multiple of 15?
True
Suppose -5*i = 0, -5*g - 5*i - 24 - 16 = 0. Let y be (-324)/g + (-1)/(-2). Suppose -5*o - 1 = -y. Is o a multiple of 7?
False
Let q(z) = z. Let v be q(6). Let o be 21*(-4)/v*-4. Suppose -3*d = -4*i - o, 0 = d - 5*d - i + 43. Is d a multiple of 12?
True
Suppose 5*t - 3*s = -45, -4*t - 15 + 1 = 2*s. Let y be t/(-9) - 52/(-12). Suppose 47 + 13 = y*h. Does 7 divide h?
False
Let b be -4*3*(-15)/(-36). Let d = -2 - b. Is 16 a factor of 0 + (50 - 2)/d?
True
Suppose 186 = -3*k + 471. Is k a multiple of 19?
True
Let c = 49 - -61. Is 22 a factor of c?
True
Is 443/7 - 22/77 a multiple of 21?
True
Suppose 2 = -p - u, -5 - 5 = -p + 2*u. Let h = 24 - -21. Suppose -4*v = p*i - 70, -i - 14 = -2*v - h. Does 12 divide i?
False
Let q(w) be the second derivative of -w**3/6 + 5*w**2/2 - w. Let k be 4 - 1 - 0 - 3. Is 5 a factor of q(k)?
True
Suppose 4*f - 20 = -2*y - 6, 2*f - 4*y = -8. Does 7 divide 2/(f + 63/(-33))?
False
Suppose -4*t - 6 = -22. Suppose -6*a + 124 = -a - t*i, -3*i + 152 = 5*a. Is a a multiple of 14?
True
Let u = 4 - 1. Suppose 5*z - 2 - 2 = u*w, -5*z = -10. Is (-3)/(-1) + -1 + w a multiple of 4?
True
Suppose -13 = 2*f - 0*f + 5*z, 2*z + 10 = 0. Let q be (-2)/f + 362/(-3). Does 17 divide q/(-7) + (-2)/7?
True
Suppose -x - 49 = -2*q - q, q + 5*x = -5. Is q a multiple of 3?
True
Let b = -69 + 222. Does 17 divide b?
True
Suppose -2*b + 23 = 5*g - 14, -2*g + 38 = -5*b. Suppose 6*z + 39 = g*z. Does 4 divide z?
False
Let t = -18 + 29. Suppose -1 = -w + t. Does 8 divide w?
False
Let t = -47 - -71. Is 8 a factor of t?
True
Does 19 divide (1/(-2))/(2/(-268))?
False
Suppose 47 = 2*u + 15. Is u a multiple of 16?
True
Does 3 divide 2/(-6) - (2 + (-38)/6)?
False
Let d(c) = 8*c**2 - 3*c + 2. Is 13 a factor of d(3)?
True
Let l be 2/(-1 - (-9)/6). Suppose 34 = d + 7*y - 2*y, -2*y + 44 = 2*d. Suppose -l*a - q = -109, -q - d = -a - 4*q. Is 14 a factor of a?
True
Let y(j) = 2*j - 2. Suppose -2*h = -1 - 5. Let x be y(h). Suppose 3*m + x = 4*m. Is 4 a factor of m?
True
Suppose 0 = -3*l + 4*l. Suppose l = 2*h - 3*h. Suppose 5*c - 4*b - 30 = -b, h = 2*b. Does 6 divide c?
True
Suppose 5*d - 8*d - 33 = 0. Let u = d + 45. Suppose -5*r + u + 1 = 0. Is 7 a factor of r?
True
Let m(x) = -x**3 - 4*x**2 - 4*x. Let w(c) = -2*c - 12 + 2*c**2 - 7*c - 3*c**2. Let f be w(-8). Is m(f) a multiple of 16?
True
Does 3 divide 2*(-4 - 3/(-1)) - -29?
True
Let t be (-6)/(-8) - (-3)/12. Is t*(4 + 63) - 3 a multiple of 21?
False
Let h(l) = l**3 - l**2 - 5*l + 2. Let x be h(3). Suppose -z = -x*z + 76. Is 14 a factor of z?
False
Let o(d) = -d**3 + 9*d**2 + 10*d + 5. Does 2 divide o(10)?
False
Let b(u) = u**3 + 3*u**2 - 4*u - 4. Let q be b(-4). Let n be 460/8 + 2/q. Suppose -2*t + 2*m + 16 = 0, -4*t = 5*m - 4*m - n. Is t a multiple of 13?
True
Let i be (-1)/((-1)/1)*-2. Is 8 a factor of (i + 0)*300/(-24)?
False
Suppose x + v - 127 = 0, -4*x + x = -5*v - 397. Suppose 2*p - x = -p. Is p a multiple of 27?
False
Is (-6)/(-1) - (-3 - 1) a multiple of 4?
False
Let h = 50 - 24. Does 13 divide h?
True
Is 49 a factor of (-225)/(-3) - (-2 + 2 - 1)?
False
Suppose 5*i = 3*n - n - 63, 0 = -i - 2*n - 3. Let f be (2 + 72)/(1 + 2 + -1). Let a = i + f. Does 13 divide a?
True
Suppose 0 = 9*i - 10*i + 23. Is i a multiple of 8?
False
Let u = -5 + 10. Suppose -5*t = 4*l - 255, -u*l + 3*t + t + 288 = 0. Does 20 divide l?
True
Let z(a) = -a**2 + 12*a - 7. Let u be z(12). Is (15 - u)*1/2 a multiple of 11?
True
Let y(l) = -2*l - 8. Suppose 0 = 2*a - a + 5*c + 6, -5*a + 3*c - 30 = 0. Let b be y(a). Is 19 a factor of (6/b)/(12/304)?
True
Let i be 2/(-3) - 4/(-6). Suppose -p = 3*c + 5, i = -4*p + 4*c - c - 20. Is 16 a factor of -46*(p/2 - -2)?
False
Let x = 27 + -6. Let u be (7/x)/((-1)/(-21)). Let n(z) = z**3 - 5*z**2 - 6*z - 6. Is 25 a factor of n(u)?
True
Let g = -18 + 28. Does 2 divide g?
True
Let v(h) = 3*h**2 - 2*h - 1. Is v(6) a multiple of 19?
True
Let m(l) be the first derivative of 3*l**2 - 9*l - 1. Does 23 divide m(9)?
False
Suppose 4*z = -4*h + 8, -h - 3*h + 5*z = -8. Suppose 6 = 2*b - 2*g, -b = -h*b - 5*g + 9. Suppose i + b = 8. Is i even?
True
Suppose -12*b = -18*b + 168. Does 14 divide b?
True
Suppose -2*p + 96 = 4*p. Is p a multiple of 10?
False
Let r be (-12)/(-10)*30/9. Let p(g) = -3 - 1 + 8*g + 0. Does 23 divide p(r)?
False
Suppose -5*w = -3*w - 156. Let h = w + -40. Does 20 divide h?
False
Let q(l) = -l**2 + 13*l + 15. Let d be q(12). Let k = -5 + d. Does 11 divide k?
True
Suppose -4*h = 13 + 43. Let q = h + 23. Is 3 a factor of q?
True
Let k be (-140)/(-15) + 1/(-3). Let f = k - -1. Does 5 divide f?
True
Let u(i) = -28*i - 29. Is u(-8) a multiple of 39?
True
Let r(c) = -17*c - 1. Let l be r(2). Suppose 4*d - 6*d = 16. Let f = d - l. Does 10 divide f?
False
Let h = 24 + 6. Is h a multiple of 8?
False
Let u be ((-58)/4)/(2/(-4)). Let n = 59 - u. Is 11 a factor of n?
False
Let x(y) = 3*y**2 - 6*y + 2*y**2 - 2 - 4*y**2. Let c(l) = 4*l. Let a be c(2). Is 6 a factor of x(a)?
False
Suppose 11 = d - 3*c, -3*d = -3*c + 5*c. Let q(g) = -2*g**2 - 7 + g - g**3 - g**2 + g**2 - 2*g**d. Is q(-5) a multiple of 13?
True
Let s(n) = n**3 + 3*n**2 - 4*n + 1. Let o be s(-3). Let b = o - 3. Let k = b - -15. Does 10 divide k?
False
Let r be (3 - -5 - 1) + -2. Suppose 3*u + j = -65 + 205, 0 = 5*u - r*j - 220. Does 23 divide u?
True
Let p be 0/(-1) + (-4)/(-2). Suppose -5*o = -2*o + 4*k - 36, 2*o = p*k + 24. Is 9 a factor of o?
False
Let b(f) = -4*f**2 - f + 3. Let w(o) = 5*o**2 + o - 2. Let k be (-24)/9*(-6)/4. Let g(y) = k*w(y) + 3*b(y). Is 6 a factor of g(-1)?
False
Let m(j) = -j**3 + 4*j**2 + 2*j - 6. Let o be m(4). Suppose -o*w + 8 - 2 = 0. Is 2 a factor of w?
False
Let y(z) = 50*z**2 + 1. Suppose 10*q - 7*q = 3. Is y(q) a multiple of 25?
False
Let q(b) = 7*b**2 - b - 5. Let d be (-2)/3 - (-28)/6. Let z be q(d). Suppose -3*s = -z + 13. Is s a multiple of 13?
False
Let z = 56 + -44. Is z a multiple of 4?
True
Let y = -1 + 4. Suppose -12 = -3*h - 2*v, y*h + 5*v + 3 = 15. Suppose -h*c - 48 = -7*c. Is c a multiple of 8?
True
Let i(r) = -51*r + 11. Let p be i(-6). Let w = -185 + p. Is 34 a factor of w?
False
Does 6 divide (-12)/(-66) + 130/11?
True
Let g = -285 - -453. Is g a multiple of 24?
True
Let z(c) = 4*c - 3*c + 38 + 0*c. Let v be z(0). Let t = -23 + v. Is 8 a factor of t?
False
Suppose -2*a - 2 = -3*a. Is (-374)/(-18) - a/(-9) a multiple of 7?
True
Let l = 15 + -12. Let c = 10 - 5. Let x = c + l. Is 4 a factor of x?
True
Let o(r) = -r**2 + 4*r - 3. Let w be o(3). Is 30/15 + w + 5 a multiple of 7?
True
Let c(h) = 4*h**2 - 6*h + 6. Let q(o) = -7*o**2 + 11*o - 12. Let b(k) = 5*c(k) + 3*q(k). Let r be b(7). Let n = r + 50. Does 14 divide n?
False
Let z be 4/(-14) + 480/(-84). Let x(h) = h**3 + 7*h**2 + 6*h + 2. Is x(z) a multiple of 2?
True
Suppose 0*w - 4*y = 4*w - 8, 0 = 3*w - 5*y - 22. Is 10*(w/5 - 0) a multiple of 8?
True
Let a be (18/3 + -2)*1. Suppose i = -a*z + 17, -z + 3*i + 7 = -7. Is z a multiple of 5?
True
Suppose w = -4*w + 35. Is w a multiple of 7?
True
Suppose -2*o = -3*i + 126, -i + 4*o = 8*o - 28. Let d be ((-5)/(-2))/(1/i). Suppose -d = -2*m - 0*m. Is m a multiple of 18?
False
Suppose 130 - 18 = y. Is y a multiple of 27?
False
Suppose 5*y = -2*t + 154, -3*t - 2*t - 4*y + 368 = 0. Is t a multiple of 24?
True
Suppose 3*c = 9 + 3. Let l(g) = 2*g - 10. Let m be l(6). Suppose -c*y - 3*z = -21, z = y + m*z - 4. Is 6 a factor of y?
False
Is 1678/10 - 9/(-45) a multiple of 6?
True
Let d = -4 + 6. Is d/(-1)*(6 - 16) a multiple of 7?
False
Suppose -4*h + 7*h = 12. Suppose -h*p + 2*j - 85 = -215, -80 = -3*p - 2*j. Does 19 divide p?
False
Suppose -5*n + 87 = -3*f, 2 = f + 4*n + 14. Let l = 76 + f. Let t = l -