 13 = 18. Is g a multiple of 3?
False
Let o = -61 - -153. Suppose -2*x = -0*x - o. Suppose -39 = -5*s + x. Is s a multiple of 6?
False
Let n be ((-2)/4)/(1/(-118)). Let b = n - 101. Let m = 59 + b. Does 9 divide m?
False
Does 20 divide 16/96 - 473/(-6)?
False
Let w be (-1 + 1 - -2) + -10. Let d be (w/(-3))/(6/9). Let z(s) = -s**2 + 5*s + 3. Is z(d) a multiple of 7?
True
Let d = 29 - 34. Let t(l) = 3*l**2 + 4*l + 5. Is 10 a factor of t(d)?
True
Let f(q) = -9*q**3 + q**2 + 2*q + 1. Let h(p) = 2*p - 3*p - 3*p**2 - 4*p - 1 + 4*p**2. Let g be h(5). Is 9 a factor of f(g)?
True
Let p = -7 - -5. Is 8 a factor of p*1*31/(-2)?
False
Let c = 71 + -15. Is 17 a factor of c?
False
Suppose 2*m + 5*b = 85, 5*b - 2*b = 4*m - 157. Is m a multiple of 8?
True
Suppose -5*f + 0*f + 10 = 0. Suppose u = f*u - 67. Does 20 divide u?
False
Let z = 4 + 10. Is 8 a factor of z?
False
Let d = -2 + 58. Is 15 a factor of d?
False
Let t = 17 - 5. Let q = -8 - -9. Is 8 a factor of t/(9/6*q)?
True
Let w(m) = -4*m**3 - m**2 - m - 2. Is w(-2) a multiple of 12?
False
Let a(u) = u**2 - u + 8. Let j be a(0). Let z(q) = 2*q**2 - 11*q + 10. Let l be z(j). Suppose 3*c + s = l, 40 = 2*c - 4*s - 12. Is 9 a factor of c?
True
Let g be (21/(-2))/(-3)*-2. Let x = g - -15. Is x a multiple of 7?
False
Let u(p) = -p**2 - 13*p - 11. Let h be u(-9). Suppose -x + h = 2. Is 20 a factor of x?
False
Let p(j) = -1. Let r(c) = -19*c**2 + 3. Let f(m) = -4*p(m) - r(m). Is f(1) a multiple of 10?
True
Suppose 14 = -2*u + 126. Let s = u + -30. Let v = 8 + s. Does 17 divide v?
True
Suppose 4*l - 11 = 1. Suppose 96 = -h + l*h. Is 24 a factor of h?
True
Let j(d) = d**3 + 7*d**2 - 5*d - 1. Does 14 divide j(-6)?
False
Is 13 a factor of (19/3 - (-5 - -7))*51?
True
Let h be -5*4/(-10) + 0. Does 8 divide (-3)/(4 + h)*-48?
True
Let l(m) = -m**2 + 8*m + 20. Is l(8) a multiple of 4?
True
Let j(h) = 3*h - 3. Let p be j(2). Suppose 4*a = 2*r + a - p, r + 31 = -5*a. Let x(k) = k**2 + 3*k - 4. Does 5 divide x(r)?
False
Let q(z) = -z**2 + 2*z + 3. Let h be q(4). Let a be 88/20 - (-2)/h. Suppose 0 = -4*b + a + 8. Does 3 divide b?
True
Is 7 a factor of (-36)/10*(-490)/21?
True
Let f = 27 - 3. Suppose -3 = -o, -2*o + 5*o + f = w. Is 12 a factor of w?
False
Suppose -5*n + 4*p + 1 + 4 = 0, -n + 5*p = -1. Let b = 9 - n. Is b a multiple of 4?
True
Is 8 a factor of (-157)/(-5) + (24/(-20))/3?
False
Let j(g) = -g**2 + 29. Suppose k + 2*u = -k, 4*u = -5*k. Let y be j(k). Suppose 3*d - 2*m - y = 2*d, 5*d - 2*m = 137. Is 9 a factor of d?
True
Let l(z) = 10*z + 18. Is l(4) a multiple of 29?
True
Suppose -5 - 13 = -3*k. Let o = k + 3. Does 3 divide o?
True
Suppose 0 = 2*m - 58 - 6. Is 4 a factor of m?
True
Let f = 3 + -1. Let s(j) = -f*j - 2*j - 3*j - 3. Is s(-3) a multiple of 15?
False
Suppose 99 = 4*q - 2*t + 7*t, 0 = -5*q - 2*t + 111. Suppose 13 = 2*k - q. Suppose 0 = -2*w + k + 23. Does 13 divide w?
False
Let i = -11 + 29. Suppose 0 = -5*r - 10, 2*m + r = -r + i. Is 7 a factor of m?
False
Suppose 0 = -3*t - 0*t - 81. Let h be (-3)/(t/12)*12. Let x = h + -2. Is x a multiple of 14?
True
Is 7 a factor of (1 - -4)*(-42)/(-5)?
True
Suppose -6 = -3*l - 0. Suppose -86 = -4*t + 2*b, 5*t - 50 = l*b + 55. Does 4 divide t?
False
Let g(q) = -7*q**2 + 4*q**2 + 4*q**3 + 4*q**3 - 2*q**3. Is 12 a factor of g(2)?
True
Suppose 4*a + 0*m = 3*m + 5, -2 = -a + m. Does 14 divide (a - -23) + (0 - -3)?
False
Suppose -2*w = -4*p - 226 + 2, 3*p = -4*w + 492. Does 20 divide w?
True
Suppose -5*h = -9 - 1. Suppose -3*a - h = -17. Suppose 6 + 39 = a*i. Is 4 a factor of i?
False
Suppose -4*j + 154 + 82 = 0. Suppose j = -t - 219. Is t/(-8) + (-1)/(-4) a multiple of 12?
False
Let f(c) = -2*c**2 + 35*c - 6. Is f(16) a multiple of 15?
False
Let m(g) = -g**3 + 5*g**2 - 4*g + 3. Let j = 5 - 1. Let q be m(j). Suppose -39 = -2*s - 5*l, -6*s + q*s - 2*l + 42 = 0. Is 6 a factor of s?
True
Let l(z) = 2*z - 4. Let q = 6 + -3. Let j be l(q). Suppose j*f - 75 = -3*f. Is 7 a factor of f?
False
Let n be 11 + 3/(-3 + 4). Suppose -5*c = 2*p - 1, -3*p + 10*c + n = 5*c. Suppose 7*f - p*f = 16. Is 3 a factor of f?
False
Let q be (-8)/(-44) - 93/(-33). Suppose q*z - 153 = -0*z. Is 17 a factor of z?
True
Let g(c) = 20*c. Let m be g(6). Suppose 3*a = -a + m. Is 13 a factor of a?
False
Suppose -3*r - 4*y = -12, -1 = 2*r + 3*y - 9. Suppose r*i = -0*i + 276. Does 21 divide i?
False
Let u be (-1)/(1 - (-6)/(-4)). Is 19 a factor of 2 + -3 - u - -60?
True
Let p be 6*3*2/3. Let f = p + -4. Let l = 19 - f. Does 5 divide l?
False
Suppose -r - 14 = -2*r. Let p = r - 5. Does 9 divide p?
True
Let k be 0/(3/1) + 0. Let d be k + 5 + (-4)/2. Suppose -d*g + 45 = 5*p, -4*p = -p - 5*g - 61. Does 6 divide p?
True
Let i = 23 + -11. Does 3 divide i?
True
Let c(w) = 2*w**2 + 13*w - 15. Is 20 a factor of c(-11)?
False
Suppose -y = 3*u - 139, -2*y = -u + 2*y + 29. Is 13 a factor of u?
False
Let j(x) = -x**3 + 10*x**2 + 3*x - 11. Does 12 divide j(10)?
False
Let b = 25 - 6. Is b a multiple of 3?
False
Suppose -117 = -f + 2*k, -3*k - 580 = -5*f + 2*k. Does 14 divide f?
False
Is (2 - (3 + 34/(-10)))*15 a multiple of 9?
True
Let j(r) = -10 - 6*r - r**2 + 6*r. Let y be j(0). Does 12 divide y/(0 - (-3)/(-6))?
False
Let n(i) = i**2 + i - 2. Let r be n(-2). Suppose 0 = -r*g + 2*g - 218. Let u = -62 + g. Is 23 a factor of u?
False
Let m(k) = k**2 + k + 2. Let h be m(-2). Suppose 3*g - 28 = -g. Suppose -h*i - 15 = -g*i. Does 5 divide i?
True
Suppose 0 = 2*b + b + 3. Let z(d) = -2*d. Let i be z(b). Suppose -i*c + 6 = -12. Is c a multiple of 3?
True
Let o(l) = l**3 + 6*l**2 + 3*l - 7. Let w be o(-5). Suppose -w*s + 5*s = 14. Is s a multiple of 6?
False
Suppose -3*g = 4*q - 5*q - 178, 2*g + 5*q = 96. Does 29 divide g?
True
Suppose 0 = -34*w + 35*w - 9. Is w a multiple of 2?
False
Let z(l) = l**2 + 6*l + 4. Let p be z(-9). Suppose 0 = p*i - 32*i + 34. Does 5 divide i?
False
Let i = 48 - 32. Suppose 3*a - i = 5*l, l + 76 = 5*a + 5*l. Is a a multiple of 6?
True
Suppose 0 = -8*s + 5*s + 3. Is 7 a factor of 3*s/3*7?
True
Let x(q) = q**3 + q. Let g be x(0). Let t be 2 - (g + 6/(-3)). Suppose 3*z + 0*z + t*c = 8, -4*c = -z + 24. Does 3 divide z?
False
Let c be 11*3 - (-2 - 1). Suppose c = 5*s - 14. Is s a multiple of 4?
False
Let u be 1 + 0 + (-5)/(-5). Suppose u*d + 4 = 0, d + 70 + 40 = -3*w. Does 16 divide 4/(3*(-3)/w)?
True
Let l = -30 + 44. Suppose -u = x - 22, -x + 0*u + l = 5*u. Is 12 a factor of x?
True
Suppose -y + 2*y + 5*n + 43 = 0, 0 = y - 5*n + 73. Let v = y + 115. Does 22 divide v?
False
Let a = -216 + 316. Does 25 divide a?
True
Let d(q) = -q + 7. Let p be d(7). Suppose -64 = -4*v - p*v. Does 9 divide v?
False
Let u = -98 + 150. Is 4 a factor of u?
True
Let h(m) = 21*m**2 - 2*m - 4. Is h(-2) a multiple of 14?
True
Let t(n) = n + 2. Let b(u) = 2*u + 1. Let l(d) = -3*b(d) + 2*t(d). Let z be l(-1). Suppose -2*y - 2*y = z*c - 37, 0 = -5*c - 15. Is 13 a factor of y?
True
Suppose 5*j = 6*j - 3. Suppose -j*c = -4*z - 10 + 74, -z + 4*c = -29. Is 9 a factor of z?
False
Suppose 1 = -2*u + 5. Let v(x) = x**3 - 4*x + 3. Let j be v(u). Suppose -j*i - 2*t = -59, 5*i - t + 3 = 84. Does 10 divide i?
False
Suppose 25 + 83 = 3*d. Does 12 divide d?
True
Suppose 3*y - 15 = 3*n, -4*y - 3*n + 2 + 4 = 0. Suppose d - 4 = 0, q + 4*d - 2*d = 138. Suppose q = y*z + 2*z. Is z a multiple of 10?
False
Is 35 a factor of ((-4)/16)/((-3)/2532)?
False
Let k = 2 - -9. Suppose -2*x + 8 = -4*x. Let f = k - x. Is 15 a factor of f?
True
Suppose 0 = 5*h - 10, 0 = -4*x + 4*h - 5*h + 610. Is x a multiple of 34?
False
Let w = 50 + -17. Does 11 divide w?
True
Let x be (-18)/(-6) - 1*9. Let k be (x/(-9))/(2/9). Suppose y = o + 23, 0*o + 39 = k*y + 3*o. Is 5 a factor of y?
False
Let t(c) = 17*c**2 - 2*c - 1. Let g be t(2). Suppose -3*o = -g - 39. Is 17 a factor of o?
True
Is 9 a factor of 0 - (1 + -15 - 1)?
False
Let d(a) = a**2 - 5*a + 4. Let f be d(5). Suppose 2*y + 76 = 2*k - 0*y, -5*k + f*y = -187. Suppose r - 1 = 1, 0 = 3*c + r - k. Is c a multiple of 4?
False
Let m(n) = 15*n**2 - 7*n + 9. Does 31 divide m(3)?
False
Is (146/(-8))/((-75)/(-20) + -4) a multiple of 19?
False
Is 27 - (-3 - 0/(-2)) a multiple of 5?
True
Let l = 17 + -15. Let p(j) = j**2 + 3*j - 3. Is p(l) a multiple of 2?
False
Let q = 20 + -16. Suppose 3*x - 11 = q. Is x a multiple of 3?
Fa