*q + h, -q + h = -4. Is q a multiple of 3?
True
Suppose -g + 4*f + 59 = -78, -381 = -3*g - 3*f. Suppose 24*x - 21*x - g = 0. Does 37 divide x?
False
Let o be 140/63 + (-2)/9. Suppose -o*m = p - 4*p - 15, -3 = -3*p. Suppose -z + 0*z = -m. Is 5 a factor of z?
False
Suppose g + 2*g = -f + 18, -5*f - 5*g = -130. Is 5 a factor of (f/(-4))/((-39)/130)?
True
Let o = 60 + -57. Suppose o*q - 10*q + 294 = 0. Is 3 a factor of q?
True
Suppose 0 = -u - 4*u - 2775. Is (2/6)/((-5)/u) a multiple of 31?
False
Let l = 35 + -19. Let z(d) = -d**2 + 14*d - 5. Let m be z(13). Does 5 divide (5/2)/(m/l)?
True
Let z(w) = w + 6. Let t be z(-6). Let l = t + -6. Let p = -3 - l. Is p even?
False
Does 54 divide (318/(-10))/((-3)/270)?
True
Let x be 5/(-10)*(-3 + 0 + 3). Suppose -w + 16 + 13 = x. Does 3 divide w?
False
Let k = 160 + -324. Let m = -3 - k. Is 23 a factor of m?
True
Does 10 divide 203 - 7/(42/6)?
False
Let a(q) = q - 6. Let o be a(-6). Let t = o - -12. Is 10 a factor of (t + -2 + -15)/(-1)?
False
Let n(p) be the first derivative of -p**4/4 - 16*p**3/3 - 9*p**2 - 21*p - 7. Does 8 divide n(-15)?
True
Does 46 divide 460*(-6 - (-231)/35)?
True
Let v = -77 - -123. Does 7 divide (-4)/(-4)*v - -3?
True
Let t(g) = g**3 - 26*g**2 + 35*g - 170. Does 10 divide t(25)?
True
Let d be 48/(-56)*((-7)/2)/1. Suppose 8 = -5*n + 3*n, d*c - 4*n = 139. Is 8 a factor of c?
False
Suppose 3*z - 40 = h, 4*z = 4*h + 18 + 38. Suppose -2*u = -2, -31*u + 28*u = -3*x + 99. Let t = x + z. Is 27 a factor of t?
False
Let w = 23 + 11. Let f = 61 - w. Let c = f - 16. Is c a multiple of 2?
False
Suppose -6*p - 34 = 2. Is 4*(1 + p/8)*87 a multiple of 29?
True
Let c = -88 - -147. Let m = -62 + 31. Let d = m + c. Does 20 divide d?
False
Suppose 1 - 123 = -2*p - m, -132 = -2*p + 4*m. Is 3 a factor of p?
False
Suppose 3*u - 11 = 2*g, 4*u = -0*u - 4. Is 30 a factor of g/((-35)/164) - (-3)/15?
False
Let u be (-30)/20 - 5/(-2). Let k(c) = 8*c**3 - c**2 + 1. Let m be k(u). Suppose -9*g + m*g = -60. Does 10 divide g?
True
Suppose -4*d + 2*t + 2*t + 32 = 0, 19 = -2*d - 5*t. Suppose -d*n = 5*a - 234, 2*a - 140 = -a - 2*n. Is 12 a factor of a?
True
Does 27 divide (-26)/(-4)*(-11 + 49)?
False
Let g(k) = k**3 + 8*k**2 - 6*k + 11. Let u be g(-9). Let c be 5 + -1 + (u - -14). Suppose -319 = -5*t - p, -7*p + 2*p + 123 = c*t. Does 16 divide t?
True
Let i be (-3 + 6)*4/4. Suppose 5*y - h = 616, 8*y - i*h - 126 = 7*y. Is 7 a factor of y?
False
Let t = -70 - -75. Is 2 a factor of t?
False
Let z(s) = -s**3 + 7*s**2 + 3*s. Let q be z(6). Suppose 3*a + 0*a - q = 0. Does 9 divide a?
True
Suppose 80*j = 83*j - 462. Is j a multiple of 14?
True
Let n be (130 - 0) + (-1)/((-4)/8). Suppose -12*o + 14*o = n. Is o a multiple of 6?
True
Suppose -2*b + 164 = -4*j + 8*j, -5*b + 422 = -2*j. Is 42 a factor of b?
True
Let m be 4/(-1)*2/(-4). Suppose -s = m*f - 4 - 17, -3*s + 5*f = -8. Is 8 a factor of s?
False
Let z = -768 + 808. Is z a multiple of 20?
True
Let y = -127 + 91. Let q be (-8)/(-6)*y/8. Is 16 a factor of 6/(-36) + (-97)/q?
True
Let x be 8*((-69)/(-6) - 3). Let f be 0*(-4 + 0)/(-4). Suppose f = -4*p + x - 0. Is p a multiple of 5?
False
Suppose -3*p - 5*o + 535 = 0, -p + o + 0*o + 165 = 0. Is 17 a factor of p?
True
Suppose 8*u - 3*u = 110. Let r be -1 + (1 - 1) + u. Is 8 a factor of (-2)/7 - (-825)/r?
False
Suppose 4*f - 15 = -5*q, 2*q = 4*f - 27 + 5. Let s be (0/3 - -2)*q. Is 3 a factor of (63/14)/((-1)/s)?
True
Is 11 a factor of 1287/6*3/27*6?
True
Is (-36)/(-45) - (10698/(-15) + 0) a multiple of 10?
False
Let o(f) = 111*f + 1. Let a(x) = 444*x + 3. Let i(m) = 4*a(m) - 15*o(m). Let u be i(-1). Does 21 divide u*(4 + 52/(-12))?
False
Let c(h) be the first derivative of h**2/2 + 3*h - 6. Let a be c(3). Suppose -4*g + 40 = -2*m + a, 4*m - 31 = -3*g. Does 3 divide g?
True
Suppose 18*k - 32*k = -6244. Is 30 a factor of k?
False
Suppose 0 = -3*n + 7*n - 4*u + 4, 0 = 4*n - u + 10. Is 8 a factor of n - (3/6 - (-165)/(-6))?
True
Let w(m) = m**3 + 6*m**2 + 2*m + 2. Let g(b) = 8*b**2 + 2 + 5*b - 3*b**2 + 0 - b**3. Let c be g(6). Does 26 divide w(c)?
True
Is 22 a factor of ((-269)/(-2))/((-7)/(-14))?
False
Does 8 divide ((-64)/(-48))/((-2)/(-24))?
True
Let a be 4/14 - (-1538)/7. Suppose -4*i + 0*i = -8. Suppose 2*v - a = -i*v. Does 11 divide v?
True
Let f = 929 - 659. Is 26 a factor of f?
False
Let q(k) = -k**3 - 10*k**2 + 11*k + 16. Let u be q(-11). Let c(f) = -f**2 + 18*f + 16. Is c(u) a multiple of 12?
True
Suppose 8*k = 3*k + 35. Let y(v) = v**2 - 14*v + 17. Let a be y(14). Suppose 0 = -k*u + 192 - a. Does 15 divide u?
False
Suppose 5*y = 5*p - 0*p + 75, -4*p = -y + 27. Is 11 a factor of y?
True
Let k(s) = -75*s - 60. Is 69 a factor of k(-10)?
True
Let q = 430 - 227. Suppose -q + 8 = -3*l. Does 14 divide l?
False
Let o be (2 - (-15)/(-4))/((-15)/1320). Let z = o + -94. Is 10 a factor of z?
True
Suppose -334 = m - 4*m + 5*v, -3*m + 320 = 2*v. Does 27 divide m?
True
Is (6 - 10)/(-3 - 175/(-65)) a multiple of 10?
False
Let i(h) = -h - 2. Let u be i(-7). Let a be ((-8)/(-10))/((-2)/(-300)). Suppose 10 = -u*k + a. Is k a multiple of 11?
True
Suppose -9 - 2 = 3*h - a, -a + 15 = -5*h. Let s(k) = -3*k + 8. Is 14 a factor of s(h)?
True
Let p(c) = 3*c + 7. Suppose 3*t - 25 = 5*f + 21, 2*f + 2*t + 12 = 0. Let r be p(f). Let x = 56 + r. Is 13 a factor of x?
True
Suppose 5*g + 7*l - 5*l = 10183, -4058 = -2*g + 3*l. Is g a multiple of 25?
False
Let h be 1*6/(-3) - -25. Suppose -3*o + 0*f - h = -f, -8 = -4*f. Is o/21 + (-133)/(-3) a multiple of 11?
True
Let x(w) = 4 - 2 + 0 + 2*w. Is x(8) a multiple of 7?
False
Suppose 4*r - 19 = 1. Suppose 7*l - 262 = r*l. Does 32 divide l?
False
Suppose -2*b = -3*i - 2, 0*b + 16 = 4*b. Suppose 0 = 2*p - x, -2 = -3*p + 6*p - i*x. Suppose w + 3*z = 12, p - 6 = -4*z. Does 9 divide w?
True
Let n = 21 - 21. Suppose -18*k + 4574 + 1240 = n. Is 19 a factor of k?
True
Let m(v) = -3*v - 6. Let z be m(-7). Suppose 6*j - 3*j = z. Suppose 2*h - u - 140 = 3*u, 2*h - 104 = -j*u. Is 31 a factor of h?
True
Let k = -210 - -575. Does 15 divide k?
False
Suppose 0 = -0*t - 2*t - 2, 5*v + t - 54 = 0. Suppose 2*m - v = -u, u = 5*m + 6 + 5. Is u a multiple of 11?
True
Let z(k) = 6*k**2 + 36*k - 51. Is 9 a factor of z(-10)?
True
Suppose 24 = 3*b + 4*s, -b = -s - 2*s + 5. Let m = 301 - 297. Suppose m*h - 34 = 3*h + n, -n - b = 0. Is h a multiple of 15?
True
Let j(q) = 0*q**2 + q**2 + 0*q**2 + 17 + 22*q. Is j(-23) a multiple of 8?
True
Let l(a) = -7*a + 9. Let b(m) = 20*m - 27. Let h(n) = -6*b(n) - 17*l(n). Let z be h(9). Suppose -2*d + 9 + 23 = z. Is d a multiple of 4?
True
Let b(q) = -9*q - 70. Let o(j) = -4*j - 33. Let u(x) = 6*b(x) - 13*o(x). Suppose -3*l - 7 = -2*d + d, -4*d = -5*l. Is 19 a factor of u(d)?
True
Is 5 a factor of (-5)/(-4 - 59/(-15))?
True
Suppose 4*y - u - 654 = -6*u, 2*y - 5*u = 312. Is y a multiple of 3?
False
Let v be 5/25 + (-1)/5. Suppose -2*k + z + 309 = v, -5*z + 735 = 5*k - 60. Is 12 a factor of k?
True
Let o be (-10)/(-5) - 7*-51. Suppose o = 7*v + 114. Does 10 divide v?
False
Let f(x) = 13 - 30*x**3 + 0*x + x - 15. Let q be f(2). Is (6/(-5))/(18/q) a multiple of 10?
False
Let k(a) = a**2 - 4*a - 18. Let m be k(7). Is (0 + -1)*(151/(-1) - m) a multiple of 14?
True
Let r(k) = -73*k**3 + 3*k**2 + 6*k + 14. Does 13 divide r(-2)?
True
Let x(y) = 2*y + 2. Let i be x(-5). Let n be -1 - 2/(i/148). Let t = n - 18. Does 9 divide t?
True
Let n = 2 + 1. Let m be -5*n*4/(-30). Suppose 4 = m*h - 0. Is 2 a factor of h?
True
Suppose -2*f + 338 = -0*f + 4*i, i = 4*f - 640. Is f a multiple of 7?
True
Let r(o) = -o + 264. Is 10 a factor of r(23)?
False
Let j = -106 + 420. Does 14 divide j?
False
Let i(u) = 4 - 4 + 7*u + 3*u**3 - u**3 + 2*u**2 - 4. Let m be i(5). Suppose 5*v = p + m, -v + 3*p + p + 70 = 0. Does 23 divide v?
False
Suppose -5*a - 2*q + 49 = 0, 3*q = 9 - 3. Suppose 0 = 6*u - a*u + 384. Let n = u - 65. Is n a multiple of 23?
False
Let t(j) be the second derivative of -j**4/12 - j**3/6 + 2*j. Let y be t(0). Suppose -v + 3*q = -61, -10 = -y*q + 2*q. Is v a multiple of 11?
False
Let x(h) = 2*h**2 - 18*h + 278. Is 50 a factor of x(15)?
False
Suppose 3*o - 68 = -2*f + 283, 5*f = -4*o + 475. Suppose 2*q = 5*t - q - 192, 3*t - 2*q - o = 0. Is 5 a factor of t?
False
Let b = -33 + 51. Suppose 22*l - b*l = 508. Is l 