**2 - 6*f - 3. Suppose 0 = -5*u - 14 - 6. Let h be r(u). Is 7 a factor of ((-54)/15)/((-1)/h)?
False
Let f = -2 - 4. Let z = f + 6. Suppose z = 4*g + 12, 0*g - 2*g = o - 23. Is 13 a factor of o?
False
Is (-16)/(-72) + 1614/27 a multiple of 10?
True
Suppose -b - 16 = -116. Is 20 a factor of b?
True
Suppose 70 = -3*h - 14. Let y = 62 + h. Is 17 a factor of y?
True
Is 4 a factor of 4 - 13/((-13)/30)?
False
Let r(j) = 2*j**3 + 3*j**2 + 3*j + 1. Let m be r(-2). Does 14 divide (-249)/m + (-2)/(-6)?
True
Let z(b) = -b. Let x be -1*1/(1/6). Let p be z(x). Let v(y) = -y**3 + 7*y**2 - 7*y + 9. Does 3 divide v(p)?
True
Suppose 2*k + 15 = 7*k. Suppose -5*d = 3*l - 31, -4*l + 17 = 2*d - 1. Suppose -s + 2 = -d*h, k*s = -0*s + 3*h + 42. Is s a multiple of 6?
False
Let p = 20 - 48. Let j = 45 + p. Does 9 divide j?
False
Suppose 4*r = -3*b + 194, 2*r + 3*b = 6*b + 88. Does 9 divide r?
False
Is 3 + 6 + -3 + 110 a multiple of 28?
False
Let a be (-10)/2*(-1 - 0). Let n = 7 - -5. Is 222/a - n/30 a multiple of 22?
True
Let w = -26 + 72. Does 12 divide w?
False
Suppose -y - 2*h = 4*y - 27, 10 = y + 5*h. Suppose 125 = 4*x + m, -y*x - 2*m = 2*m - 148. Is (19/(-4))/((-8)/x) a multiple of 6?
False
Suppose -5*z - 451 = 2*d - 6*d, -4*z + 20 = 0. Is 13 a factor of d?
False
Suppose 0 = -z - 3*z + n + 450, -108 = -z - 2*n. Is 8 a factor of z?
True
Let w be 45/(-3)*(-2)/6. Suppose 3*m - 8*m = w. Is m - 0 - -3 - 0 a multiple of 2?
True
Is 2/(-5) + (25728/(-40))/(-8) a multiple of 45?
False
Suppose 3*k + 0*k = -18. Let z(y) = -y**3 - 5*y**2 + y + 4. Is 13 a factor of z(k)?
False
Let u(b) = -52*b + 2. Is u(-1) a multiple of 18?
True
Suppose 0*g + 4*m = 3*g - 354, 5*g - 5*m = 595. Let i = 6 + 7. Suppose 0 = -5*s + g + i. Is 10 a factor of s?
False
Let o(m) = 13*m + 2. Let f be o(1). Suppose 77 = 4*r + y, 3*y + 2*y + f = 0. Does 10 divide r?
True
Suppose 3*y + 19 = -2. Does 6 divide y*(22/(-14) - 1)?
True
Suppose 0 = -6*j + j - 15. Is ((-25)/(-1) - -1) + j a multiple of 23?
True
Let r be 1/((-22)/23 - -1). Let f be 3 - (1 + 0 - -2). Suppose f = 5*a - r - 57. Does 8 divide a?
True
Suppose -3*d - 2*b + 728 = -0*b, 0 = 3*b + 6. Does 46 divide d?
False
Suppose 2 + 2 = 2*n, -4*v - 3*n = -126. Is v a multiple of 10?
True
Let v be (-70)/(-30) + 4/6. Suppose 2*t - v*t = -36. Is 9 a factor of t?
True
Let y(g) = -g - 20. Let a be y(0). Let k = a + 41. Does 7 divide k?
True
Let y be 6/(0 - -2) + 2. Let i(u) = u + y*u**2 - 4*u**2 + 1 + 5*u**2. Is 17 a factor of i(2)?
False
Let r be 2/(1 - 0)*-2. Let q(v) = -v**2 - 8*v - 2. Let f(m) = m**2 + 9*m + 1. Let d(l) = -4*f(l) - 5*q(l). Is 5 a factor of d(r)?
False
Suppose r - 11 = -3. Let v be ((-75)/12)/((-2)/r). Suppose -v - 24 = -3*g - 4*d, 4*g - 61 = -d. Is g a multiple of 15?
True
Suppose 110 = 2*r + 14. Let d = r + -33. Does 15 divide d?
True
Is ((-8)/5)/(3/(-135)) a multiple of 34?
False
Let k be 4/12 + (-2)/6. Suppose -5*j + 200 = -k*j. Is 20 a factor of j?
True
Let y(m) = m**3 - 5*m**2 - 3*m - 2. Is y(6) a multiple of 12?
False
Let w = -8 - -12. Suppose w*x = x + 6. Suppose 0 = -x*r - 24 + 88. Is r a multiple of 16?
True
Does 17 divide ((-1)/3)/(7/(-1281))?
False
Suppose 0 = 3*l + 2*z - 38, -4*l - 1 + 33 = -2*z. Is l a multiple of 9?
False
Let q = -102 + 116. Is q a multiple of 14?
True
Let h(l) = 35*l**2 - 2*l + 8. Let p(i) = -23*i**2 + i - 5. Let a(n) = -5*h(n) - 8*p(n). Is 10 a factor of a(2)?
True
Let v = 4 - 2. Let z = v - -2. Does 4 divide z?
True
Let s be ((-12)/(-16))/((-6)/(-16)). Let i be ((-2)/s)/(2/(-8)). Suppose 4*n + 4*k = 28, -i*k - k = -2*n + 35. Does 6 divide n?
False
Let w = -11 - -116. Is w a multiple of 21?
True
Let w(d) = 7*d. Let y be w(8). Suppose 3*q - 4*c = y, -3*q + 4*c - 4 = -5*q. Is q a multiple of 10?
False
Let x = 133 + -79. Does 18 divide x?
True
Suppose -4*n - 13 = -181. Does 6 divide n?
True
Suppose 4*f - 19 = q, -2*q + 3 = f + 5. Does 16 divide 2*(-6)/f + 51?
True
Suppose 2*p + 2*u = 8, -3*p - 2*p - 2*u = -17. Suppose 4*d - p*d = -6. Does 4 divide (2/(-3))/(1/d)?
True
Let j(h) = h**2 + 24*h + 32. Is 10 a factor of j(-24)?
False
Let v(x) = 3*x - 1. Let m be v(2). Suppose 5*r - 195 = -5*g, -4*r + 2*r + 81 = m*g. Does 13 divide r?
False
Suppose 3*j = 3*z + 58 + 35, 0 = 5*j - 2*z - 152. Is 7 a factor of j?
False
Suppose -42 = -2*q + 2*s, -2*q = 2*q - 3*s - 79. Suppose 3*c + 8 = 5*g, q + 0 = 4*c. Does 11 divide 42/g + (-1)/(-2)?
True
Let a = -4 - -102. Is a a multiple of 14?
True
Suppose 3*f - u - 12 = 0, 2*f + 2*u = -u + 8. Suppose 4*z = 4*a - 44 + 180, 0 = -f*z - 2*a + 148. Is 12 a factor of z?
True
Let g(z) = 17*z + 1. Is 19 a factor of g(2)?
False
Let x = -23 + 39. Does 10 divide x?
False
Let w(r) = 3*r**3 + r**2 - 1. Let b be w(1). Suppose -9 = -2*i - b. Suppose j + 22 = i*j. Is j a multiple of 3?
False
Suppose 3*j - 16 = q, j - 5*q + q = 20. Suppose -2*i = j*l - 28, -9 - 11 = -2*l - 4*i. Let z(h) = h**3 - 6*h**2 + 2*h + 6. Is z(l) a multiple of 6?
True
Let m = -5 - -7. Suppose 5*v = r + 1, 4*r + 3 - 17 = m*v. Is (38/v)/(-2 - -4) a multiple of 7?
False
Suppose c + 39 + 13 = 0. Let r = -21 - c. Does 9 divide r?
False
Let v be (-32)/5 + 4/10. Is ((-10)/v - 1)*24 a multiple of 16?
True
Let z(w) = w**2 + 4*w + 1. Let t be z(-3). Does 17 divide t/(-7) + (-3400)/(-56)?
False
Let k(a) = a**3 + 4*a**2 - 2*a + 4. Suppose -n = -2*f + 5, 2 - 1 = f - n. Suppose -f*d + 36 = -5*l, 3*l = -2*d - d. Is k(l) a multiple of 5?
False
Let h(o) = o - 3. Let z be h(5). Suppose z*y + 3*y = 20. Is 3 a factor of y?
False
Let q = -8 + 14. Let c(h) = h + q - 5*h + 0*h. Is 13 a factor of c(-5)?
True
Suppose z = 5*f - 140, -4*f + 5*z + 112 = 3*z. Is 7 a factor of f?
True
Let p = 48 + 124. Does 20 divide p?
False
Let o(c) = -c**2 - 6*c + 9. Let g be o(-7). Does 13 divide g*(-3)/(-6)*37?
False
Suppose -3*i - 15 = 2*i, 2*h - 5*i = 525. Suppose h - 87 = 4*b. Is 19 a factor of b?
False
Let b = -5 - -5. Suppose -v = -b*v. Does 2 divide (-1)/((-3)/18 - v)?
True
Let v = -45 + 95. Does 25 divide v?
True
Let f be 1 + 2 - (-38 - -7). Let a = f + 4. Is a a multiple of 18?
False
Let n(g) = g**3 + 5*g**2 + g + 1. Let d = 15 - 25. Let j = d - -6. Is n(j) a multiple of 13?
True
Let m(h) = h**3 - 5*h**2 + h - 14. Is m(6) a multiple of 28?
True
Let d(u) be the second derivative of u**3/6 - 5*u**2/2 + 3*u. Let s be d(8). Suppose y + s*y = 112. Is 13 a factor of y?
False
Let x be 1/(1/3)*-10. Let j be (6/10)/((-2)/x). Let o = j - -19. Does 14 divide o?
True
Let b(h) be the second derivative of 13/2*h**2 - 3/2*h**3 + 0 + 3/4*h**4 - 2*h + 1/20*h**5. Is 2 a factor of b(-10)?
False
Suppose 0*i = i + 47. Let n = 66 + i. Is 19 a factor of n?
True
Let d be (-2)/(-11) + (-634)/(-22). Let r = d + -1. Does 14 divide r?
True
Suppose 0 = -2*k - 2*i + 88, 6*i = 3*i + 15. Is 4 a factor of k?
False
Let r(y) = -y**2 + 12*y. Does 7 divide r(10)?
False
Let h = 81 - 49. Is h a multiple of 6?
False
Let u(z) = 2*z**2 + 13*z - 14. Let s be u(-10). Suppose -5*d + 69 = -s. Does 12 divide d?
False
Is 3 a factor of -4 + (-4 - -11) - 3*-1?
True
Let g(p) = -p**3 + 2*p**2 + p + 2. Does 11 divide g(-3)?
True
Suppose 1 + 2 = g. Suppose -3*p - 129 + 41 = -2*o, -2*o = g*p - 100. Is 12 a factor of o?
False
Suppose w + 148 = 3*w. Does 6 divide w?
False
Does 18 divide (-2)/4*432/(-3 + 1)?
True
Let t = 117 + -79. Suppose -19 = -0*u - u - 4*n, -5*n + t = 2*u. Suppose 0 = -3*r + 5 + u. Does 5 divide r?
False
Let t(y) = -y**3 + 5*y**2 - 4*y + 3. Let m be 2 - (0 - (2 + 0)). Does 3 divide t(m)?
True
Let k(p) = -p**3 + 11*p**2 - p - 9. Let h(q) = 2*q**3 - 21*q**2 + q + 19. Let m(r) = 3*h(r) + 5*k(r). Does 17 divide m(9)?
False
Let m(x) = 2*x**2 - 12*x + 13. Does 16 divide m(11)?
False
Let n = 38 - 34. Does 4 divide n?
True
Is 34 a factor of ((-5)/(-5))/(1/(-338)*-2)?
False
Let b(y) = 23*y**2 - 2*y - 2. Is b(2) a multiple of 24?
False
Let s(a) = -2*a**3 - a**2 + 1. Let m be s(-2). Let z = 27 - m. Is z a multiple of 5?
False
Let u be 3 - -1 - (2 + -2). Suppose s = 2*s - u. Suppose -16 + 72 = s*j. Does 7 divide j?
True
Suppose -146 = -4*g + 30. Suppose 0 = -2*f - 2*f + 8. Suppose 4*j - 5*q = -21 + 73, -2*q = f*j - g. Does 9 divide j?
True
Let w = 59 - 39. Is w a multiple of 5?
True
Let z be 40/30*(-3)/2. Does 9 divide 5*2*(-5)/z?
False
Suppose 3*j - 4*m = 40, 2*m + 0 = -2. Is 3 a factor of j?
True
