)/((-18)/z). Is g/10 - 2/(-5) a multiple of 12?
True
Let r = 138 + -68. Is 7 a factor of r?
True
Suppose 3*h - 5*h - 2*j = -62, -2*h = -4*j - 74. Is 11 a factor of h?
True
Suppose -5 = 5*t, -2*w - w + 4*t = -4. Suppose -d = 2*f - 10 - 48, w = 2*d - 4*f - 92. Is d a multiple of 13?
True
Suppose 17 = -4*y - 15. Is 11 a factor of y/12 - 100/(-6)?
False
Let s(w) = 6*w - 4. Let y be s(-7). Let p = y - -90. Is p a multiple of 10?
False
Let u = 16 - 10. Does 3 divide u?
True
Let t = -8 + 6. Is 10 a factor of (-10)/(t/(-1 + 3))?
True
Let t(x) = -3*x + 2. Is t(-3) a multiple of 8?
False
Let h(t) = -4*t - 48. Does 9 divide h(-21)?
True
Let j be 36/10*(1 - -39). Suppose -4*s + m = 3*m - j, s - m = 30. Is s a multiple of 5?
False
Let g(c) be the first derivative of 23*c**2/2 - 3. Does 21 divide g(1)?
False
Suppose 8*a = 3*a - 145. Let w = 41 + a. Is 4 a factor of w?
True
Let s(a) = -a**2 + 15*a - 6. Is s(13) a multiple of 10?
True
Let v(k) = 6*k**2 - 3*k - 7. Does 13 divide v(-4)?
False
Suppose -m - 15 = -176. Is m a multiple of 23?
True
Let b(v) = -6*v**3 - v**2 + 4*v. Let m be b(-2). Suppose 0 = 5*c + 5*j - 60, m = -0*c + 4*c + j. Does 8 divide c?
True
Let x(y) = -4*y**3 - 2*y**2 - 2*y - 1. Let s be x(-1). Suppose -3*u + 2*k + 76 - 22 = 0, 0 = k - s. Does 10 divide u?
True
Suppose -2*t - 4*x - 26 = 0, 0 = t + 3*t + 3*x + 27. Let j be 2 + 0 - (t - -1). Suppose -3 - 9 = -j*d. Is 3 a factor of d?
True
Let t(h) be the second derivative of 16*h**4/3 + h**2/2 + h. Let b be t(-1). Suppose b = -d + 6*d. Does 7 divide d?
False
Let d(a) be the third derivative of a**6/120 - 7*a**5/60 + 3*a**4/8 - 2*a**3/3 - 3*a**2. Let b be d(6). Let w = b + -3. Is w a multiple of 4?
False
Let u be (-4)/(-2)*(2 + -4). Let f be ((-24)/(-15))/(u/(-10)). Suppose -7*a + f*a = -99. Is a a multiple of 11?
True
Is 6*228*8/36 a multiple of 38?
True
Let k(c) = 22*c**3 - 4*c**2 + 7*c + 2. Is 20 a factor of k(2)?
False
Let n be 2/9 + (-56)/(-72). Suppose q + 235 = 4*c, 2*q = -5 - n. Does 17 divide c?
False
Does 17 divide ((-30)/24*34)/((-2)/4)?
True
Suppose 0*s + 3*s - 22 = 5*u, -u = -1. Does 2 divide s?
False
Let m(k) = 2*k**2 - 7*k - 17. Is 46 a factor of m(13)?
True
Suppose 5*h - h - 3*v - 11 = 0, 4*h = 4*v + 12. Let n be h/6 + (-20)/(-12). Suppose n*o - 36 = -s - 0, 116 = 3*s + 4*o. Does 13 divide s?
False
Let r = 26 - 14. Is r a multiple of 3?
True
Let x be 60*2/8*2. Let k = x - 21. Is 9 a factor of k?
True
Let c be (-184)/(-44) + 2/(-11). Suppose 0 = 2*z, -3*x + c*z + 0*z = -66. Suppose -u - 6 = -x. Does 8 divide u?
True
Let s = 354 + -241. Let a = -54 + s. Suppose -a = -5*x + 4*u, x - 3*u = -3*x + 47. Does 5 divide x?
False
Let q be (1 - -13)/((-3)/9). Is q/(-24)*24/2 a multiple of 7?
True
Let a = -11 - 13. Is (-832)/a + (-2)/3 a multiple of 10?
False
Let v(o) = 2*o**2 - 1. Let t be v(1). Suppose -2*k + 9 = t. Suppose -2*m = -k*h + 76, 0 = -5*m + m + 8. Is 10 a factor of h?
True
Let w(p) = -119*p - 1. Suppose 5*b = -0*b - 5. Let g be w(b). Let j = g + -81. Is 11 a factor of j?
False
Let j = 29 - 20. Does 9 divide j?
True
Let l = 1 + 17. Let s(g) = g**2 - 9*g. Let u be s(8). Let j = l + u. Is j a multiple of 10?
True
Let j = 99 + -70. Is 10 a factor of j?
False
Let b be (-1)/((3 - 2)/70). Does 7 divide (-12)/(-15)*b/(-4)?
True
Let c(i) = -i**2 + 9*i + 4. Let k be c(9). Suppose k*h = 4 + 36. Is 7 a factor of (4/h)/(1/20)?
False
Let w(d) = 1 - 3*d + 5*d - 3. Let u be w(-6). Is 21 a factor of (-310)/(-7) + 4/u?
False
Does 19 divide 10*(-1)/(10/(-135))?
False
Let m(p) = -5*p + 3. Suppose 0*o + 3*o + 12 = 0. Let j be m(o). Suppose 0*h + j = h. Does 13 divide h?
False
Let w = -9 - -11. Does 4 divide 8/(w/(-4) + 1)?
True
Suppose 2*c - 111 = 5. Is 12 a factor of c?
False
Let y(r) = r**3 + 14*r**2 - 15*r - 20. Let z be y(-15). Let t be (-46 + (-2)/2)*1. Let u = z - t. Does 12 divide u?
False
Let x = 1 - -3. Is x*3*(-7)/(-2) a multiple of 11?
False
Suppose -m = -2, 0 = 3*l + m + 2*m - 3. Let o be 3 + (1 - 1) + l. Is 7 a factor of 8*o - 6/3?
True
Let d(v) be the third derivative of -v**4/12 - v**3/2 - v**2. Suppose 5*z - 18 = g, 0 = -4*g - z - 11 + 2. Is d(g) a multiple of 3?
True
Let j(d) = -2*d**3 - d**2 + 12*d - 4. Does 7 divide j(-4)?
False
Suppose -62 = -2*x + 62. Is 31 a factor of x?
True
Suppose -626 - 106 = -4*f. Is 36 a factor of f?
False
Let m = -7 + 9. Suppose 3*t - 88 = m*t. Suppose 7*k = 3*k + t. Is k a multiple of 15?
False
Let z = -6 - -13. Let w = 10 - z. Is 12 a factor of (0/w)/(-3) + 32?
False
Suppose -3*m = -4*w + 97, 0 = -4*m - 4*w - 89 - 3. Suppose -d = 5*t + 55, -5*d + 4*t - 83 = 163. Let r = m - d. Is r a multiple of 11?
False
Let d(t) = t**2 - 4. Let a be d(3). Suppose 0 = a*k - 48 - 137. Is k a multiple of 14?
False
Suppose 3*k + 6*f - 2*f = 127, -4*k + 206 = -2*f. Is 15 a factor of k?
False
Let k(n) = n**2 + 3*n + 4. Is k(-10) a multiple of 10?
False
Let b be (-110)/(-4)*36/30. Let j = b - 5. Does 14 divide j?
True
Is 7 a factor of 2*(-6)/20*-15?
False
Suppose -3*y + 135 = 2*y. Suppose 0 = x + 5*v - y, 4*v - 6 = 10. Is x a multiple of 2?
False
Let t be -3*12/(-9) + 0. Suppose 2*w - t = -28. Is 18 a factor of (-198)/w*1*2?
False
Let r = 74 + -34. Does 8 divide r?
True
Let m(i) = i**3 + 10*i**2 + 3*i - 30. Is m(-6) a multiple of 4?
True
Is 4/(-12) - 220/(-12) a multiple of 9?
True
Let v be (-6)/(-4)*12/(-18). Is -17*(v + 2)*-3 a multiple of 15?
False
Let d(u) = u**3 + 15*u**2 + 14*u + 9. Let i be d(-14). Is 11 a factor of 202/6 + (-6)/i?
True
Let a be (-2 - -2) + 1 - -131. Suppose -57 = -t - 0*w + 5*w, -2*t + w + a = 0. Is 18 a factor of t?
False
Suppose 2*f - 140 = 86. Is 28 a factor of f?
False
Suppose -3*g + 434 = 59. Is g a multiple of 25?
True
Suppose -3*p - 13 = 2*x, -5*p = -3*x - 2*p - 12. Let v be (1 - (-13)/x)*-5. Let i = -5 + v. Is 2 a factor of i?
False
Let m = -10 + -34. Let n = m + 82. Is n a multiple of 11?
False
Let o = 127 - -22. Does 28 divide o?
False
Let p(m) = -m**3 - 13*m**2 - 14*m + 6. Does 47 divide p(-13)?
True
Let i(p) = -2*p**3 - 2*p - 17. Is 27 a factor of i(-5)?
True
Suppose 2*x = -35 + 325. Does 28 divide x?
False
Suppose -i = -14 - 9. Let z = -12 + i. Is 10 a factor of z?
False
Suppose -62 = -4*g - 6. Let i be (-20)/3*(-21)/g. Is 753/15 + (-2)/i a multiple of 25?
True
Let l = 22 - 7. Suppose l = 2*j - 1. Is j even?
True
Let u(a) = -a**2 + a + 3. Let c be u(3). Is 7/21 - 101/c a multiple of 17?
True
Suppose i - 1 + 2 = -2*d, 0 = -2*d + 4*i + 14. Let c be d/(2/6*1). Suppose 5*w - 75 = -5*u - 0*w, -c*u - 5*w + 53 = 0. Does 4 divide u?
False
Let k(x) = x + 6. Let g be k(-6). Is 21 a factor of 50 + (g - (2 - 0))?
False
Let c be (-4)/(-2)*(-34)/1. Let r = -26 - c. Is r a multiple of 9?
False
Let l be (9/(-6))/(9/12). Is 13 a factor of l/(-3)*39/2?
True
Suppose 2*l - 26 = 68. Suppose -4*y - 22 = 5*n + l, 3*n - 3*y + 63 = 0. Let p = n + 33. Is 8 a factor of p?
True
Let t = 21 - 14. Suppose -t*i = -12*i. Suppose i = 3*p - 20 - 1. Is p a multiple of 7?
True
Suppose -11 = h - 2*h. Let i = h - 7. Suppose 3*g - i*g = -22. Is 22 a factor of g?
True
Let r(v) = 8*v + 5. Is r(4) a multiple of 21?
False
Let z = 207 - 141. Let b = -22 + z. Is 23 a factor of b?
False
Let k(m) = m**2 + 2*m + 3. Is 3 a factor of k(-2)?
True
Let n = 74 + -45. Does 10 divide n?
False
Suppose 5*q + 4*b = 2, 0 = 4*q - b - b - 12. Does 27 divide 4/q + -1 - -107?
True
Let s(g) = -3 + 62*g - 58*g + 2. Is s(12) a multiple of 8?
False
Let v(d) = d**3 + 8*d**2 + d + 4. Let b be v(-7). Let o = b - 26. Is 7 a factor of o?
False
Let j(d) = -2*d**2 - 8*d - 8. Let z(k) = 3*k - 3*k**2 + 4 + k + 4*k**2. Let h(w) = -6*j(w) - 11*z(w). Is 7 a factor of h(-7)?
False
Let v(l) = -l**3 - 9*l**2 - 9*l - 10. Let d be v(-8). Is 9 a factor of -4 + 13 + 0/d?
True
Suppose 41 = 2*q + 21. Does 5 divide q?
True
Let w = 43 + -31. Suppose -o = -5*o + w. Suppose 0 = o*d + s - 3*s - 25, d + 3*s - 1 = 0. Is d a multiple of 7?
True
Is 102 - (0/(-2) - 3) a multiple of 28?
False
Let z(o) = -o**3 + 9*o**2 + 7*o + 3. Let t be (-17)/(-2) - 17/(-34). Is z(t) a multiple of 11?
True
Suppose -73 = 3*k - 196. Does 13 divide k?
False
Suppose -3*f + 5*g + 20 = -21, 4*g = 2*f - 28. Let y(z) = z**3 + 4*z**2 - 6*z - 3. Let h be y(-5). Let m = f - h. Does 6 divide m?
False
Let f = 3 + -3. Suppose f = 6*h - 3*h - 18. Is 6 a factor