*r - 10 = 2*o, 4*r + 0*o - o = 11. Is r a multiple of 2?
False
Suppose 6*r = 25 + 71. Suppose -2*b - 4 = -r. Does 3 divide b?
True
Suppose 5*r = s + 830, -3*r + 510 = -0*r - 3*s. Is 10 a factor of r?
False
Suppose 0 = -g + 7 + 18. Is g a multiple of 5?
True
Let m be (2 + -2)*2/(-6). Let i(d) = d + 69. Is 23 a factor of i(m)?
True
Let r(x) = -x**3 - x**2 + 2*x - 1. Let i be r(1). Let p(t) = -2*t**2 - 4*t + 5. Let n be p(-4). Let q = i - n. Is q a multiple of 10?
True
Let l(f) = -f**3 - 7*f**2 + 9*f + 4. Let u be l(-8). Let m = u - -22. Is m a multiple of 6?
True
Let k = 13 - 8. Suppose -f + 3*v + 5 = v, -k*v = -25. Is 5 a factor of f?
True
Suppose 3*b + 21 = 99. Does 13 divide b?
True
Does 28 divide (105/3)/(1*(-3)/(-12))?
True
Let w be (-8)/(2 - (2 - -2)). Suppose -j - w*j = -45. Is 9 a factor of j?
True
Suppose -2*r - 26 = -3*q, -2*q - 28 - 11 = 3*r. Let s = r - -33. Suppose -4 = -2*p + s. Is p a multiple of 6?
True
Does 6 divide (-13)/((-92)/(-24) - 4)?
True
Let k = -69 + 98. Let m = k + -19. Is m a multiple of 10?
True
Let l(n) = -3*n**2 - 14*n + 2. Let t(p) = -p**2 - 5*p + 1. Let m(z) = -3*l(z) + 8*t(z). Let x be m(-2). Suppose -x*v + 3*v - 14 = 0. Is v a multiple of 12?
False
Let i = -112 + 203. Does 38 divide i?
False
Is 30 a factor of 8/44 + 3956/22?
True
Let p(c) = c**3 + 13*c**2 - 15*c + 17. Does 4 divide p(-14)?
False
Let m(h) = h**3 - 3*h**2 - 2*h - 4. Let q be m(4). Let y(v) = v**2 + 12*v + 15. Let u be y(-12). Suppose q + 21 = 4*p + x, -x - u = -4*p. Is 3 a factor of p?
False
Let g = -5 - -7. Suppose g*m - 73 = 5. Does 11 divide m?
False
Let x be (-3 + (-18)/8)*-4. Suppose -n = -4*i + 15, 3*n + 5*i + x = 61. Suppose n*p = 4*p + 21. Is p a multiple of 21?
True
Is 152*(-4)/16*-2 a multiple of 25?
False
Let t be -4 + 6 - (-5 + 2). Suppose -2*o - o = -3*l - 6, t*l = 3*o + 2. Is o a multiple of 6?
True
Let l(b) = -2*b - 8. Let f be l(-6). Let h(a) = -3*a - 14. Let u be h(-6). Suppose g - 59 = -f*d, 26 = u*d - 4*g - 18. Is d a multiple of 7?
True
Let v = 76 + 10. Suppose 0*f - 4*f + 94 = 5*y, 0 = -3*y + 5*f + v. Is (2 - 0)*y/2 a multiple of 22?
True
Let p(x) = 3*x**2 - 11*x + 2. Does 13 divide p(5)?
False
Suppose -3*q + 334 = -5*a, -q - 3*q + 434 = -a. Is 18 a factor of q?
True
Let o(b) = -82*b**2 + 1. Let y be o(1). Let l = y + 136. Is l a multiple of 20?
False
Let h(d) = 5*d**2 - 6. Let g(n) = -n**2 + n + 1. Let c(u) = 4*g(u) + h(u). Is c(-5) even?
False
Let h = 3 - 5. Let l be h/8 - (-545)/4. Is l/10 - 6/(-15) a multiple of 12?
False
Suppose 0 = h + j - 21, 3*h - 8*h - 3*j + 115 = 0. Is (0 - 1) + h/2 a multiple of 9?
False
Is 3 a factor of 7/((-14)/(-8)) + (-4 - -3)?
True
Let n = -50 - -35. Let y = 8 + 2. Does 11 divide (-324)/n - (-4)/y?
True
Let p(b) = 6*b**2 - 6*b. Does 18 divide p(-3)?
True
Let i = 35 - 54. Does 14 divide (-1 + i)/(-6 + 5)?
False
Let z be (3/(-2))/((-3)/32). Suppose -b + z = -f + 6, 28 = 3*b - 2*f. Is 4 a factor of b?
True
Is 2 a factor of -4 + 4 + (-1 - -6)?
False
Let p(z) = -z**3 - 6*z**2 + 11*z. Let h be ((-4)/8)/(1/16). Is 16 a factor of p(h)?
False
Let k = 90 + -45. Is 15 a factor of k?
True
Let k(s) = -s + 42. Let m = -4 - -4. Suppose m = -2*z - 2*z. Does 21 divide k(z)?
True
Let s = 7 + -4. Suppose -s*m = -8*m. Does 12 divide m/5 - (-33)/1?
False
Let b(s) = s + 6. Let r be b(-4). Suppose -3*y + 3*g = -y - 15, -r*g = -5*y + 21. Suppose 3*h - 30 = -y*j, -j + 3*h = -3 + 1. Is j a multiple of 4?
True
Let a be ((-141)/(-4))/((-6)/(-16)). Let y be 0/(4/2) + a. Suppose -5*l - 2*i = -y, -l = -2*l - 2*i + 14. Is l a multiple of 7?
False
Let h(p) = -75*p. Is h(-4) a multiple of 20?
True
Let k(x) = -x**3 + 7*x**2 - 5*x - 4. Let a be k(6). Suppose a*l = h - 0*l - 7, -2*l + 38 = 2*h. Let w = -7 + h. Does 6 divide w?
False
Let l(b) = 39*b**2 + 3*b. Let z be l(-2). Let t be z/(-9)*6/(-5). Suppose -t = -f - f. Does 5 divide f?
True
Is (-6)/(1 + -3) - -136 a multiple of 34?
False
Let d(c) = -4*c**2 - 11*c - 10. Let b be d(-9). Let t = -87 - b. Suppose 0 = 5*i - t + 48. Does 10 divide i?
True
Let g = 60 + 18. Suppose -5*r - 3*d + g = -d, -5*d - 69 = -4*r. Is 16 a factor of r?
True
Let v(d) = 24*d - 22. Is 13 a factor of v(5)?
False
Suppose i - 10 - 2 = 0. Suppose -m - 3*m = -i. Suppose -4*q + 15 = p, -p = -0*p - m. Is q a multiple of 2?
False
Let x(l) = -2*l**2 - 24*l + 6. Is 3 a factor of x(-11)?
False
Suppose -4*j = -89 - 123. Is j a multiple of 16?
False
Suppose 5*p - 148 = p. Suppose 39 = -5*h + 574. Suppose -x - d = -p, -3*x + 0*x - 4*d = -h. Is 17 a factor of x?
False
Suppose 0*n - n + 168 = 0. Let y be (3/2)/(7/n). Let p = y + -20. Is p a multiple of 14?
False
Suppose -b - 110 = -6*b. Is b a multiple of 11?
True
Does 8 divide ((-58)/(-87))/((-2)/(-387))?
False
Let a(q) = q - 3. Let t be a(5). Suppose -t*p = -27 - 11. Does 19 divide p?
True
Let f = -14 + 24. Suppose -r + 33 = f. Let l = r - 14. Does 8 divide l?
False
Suppose -25*s + 16*s + 747 = 0. Does 15 divide s?
False
Suppose 0*z = -3*z. Suppose 20 = -z*r + 4*r + j, 0 = -2*r + 5*j + 10. Does 4 divide r?
False
Let r(q) be the second derivative of -q**4/12 + q**3/2 + q**2 - q. Let y be r(4). Does 5 divide (-2)/4*y*14?
False
Let k(t) = -t**3 + 15*t**2 - 15*t + 26. Is 12 a factor of k(14)?
True
Let i(a) = -8*a - 12. Is 40 a factor of i(-12)?
False
Let k(b) = b**3 + 7*b**2 + b + 10. Suppose -3*q - 3*j + 6 = 15, -q + 5 = 3*j. Is k(q) a multiple of 2?
False
Let k = -89 - -141. Is k a multiple of 19?
False
Suppose 0*o + 3*o - 51 = 0. Suppose -3*h - 2*t = -13, -4*t - 5 + o = 4*h. Is 16 a factor of (-4)/14 + 226/h?
True
Let n(i) = i**3 - 8*i**2 + 8*i + 10. Let d be n(7). Suppose -r - d = 2*q, 4*r + 32 = -4*q - 12. Is 11 a factor of 14/1*q/(-7)?
False
Suppose -4*c - 164 = -4*y, -43 = -y + 6*c - 3*c. Let g = y + -22. Is 11 a factor of g?
False
Suppose 23 = 3*c - 40. Is 6 a factor of c?
False
Suppose c = -4*c + 15. Suppose -i = -c*i + 28. Suppose -126 - i = -5*w. Is w a multiple of 14?
True
Let o be (2 + 16 - 3)*3. Suppose a - o = 12. Let w = a + -34. Is w a multiple of 18?
False
Is 9 a factor of (3 + 5/(125/(-85)))*-745?
False
Suppose -66 = 5*w - 3*t + t, 5*w + 72 = 4*t. Is 8 a factor of ((-4)/w)/((-2)/(-138))?
False
Let u(r) = r**2 - 2*r - 2. Suppose -2*x - d = -x, 8 = -2*d. Is 2 a factor of u(x)?
True
Let z(p) = 100*p**2 + p - 1. Does 10 divide z(1)?
True
Suppose -5*u + 2*h = -412 - 147, 2*u - 211 = 5*h. Suppose 2*n = -21 + u. Does 15 divide n?
False
Let o = -9 + 11. Suppose 0 = 4*p - p + o*f - 122, -19 = -p - 5*f. Is 22 a factor of p?
True
Let h(g) = g**2 + 3*g + 21. Is 15 a factor of h(11)?
False
Suppose -2*v + 0*v = -10. Suppose 10*x - 75 = v*x. Does 15 divide x?
True
Suppose 41 = -3*l - 5*t, 5*l + 18 = t - 13. Let q be 3*(-4)/(-6)*l. Is 63/q*-6*1 a multiple of 9?
True
Let q = 85 + -60. Is 5 a factor of q?
True
Let b(a) = -10*a**3 + a**2 + 2*a. Let k be b(-2). Suppose -4*f + 6*f = k. Suppose 109 = 5*v - 2*n + f, -4*v = 5*n - 75. Does 8 divide v?
False
Let b = 264 + -151. Does 12 divide b?
False
Let o(v) = 2*v + 0*v - 5*v - 3 + 0*v. Does 9 divide o(-8)?
False
Let y(i) = -i**3 - 2*i - 68. Let v be y(0). Let b be 456/(-10) + 2/(-5). Let h = b - v. Is 11 a factor of h?
True
Let v(q) = q**3 + 8*q**2 + 8*q + 6. Let k be v(-7). Is -6 + 23 - 1/k a multiple of 5?
False
Is 10/((-1)/(-6)*1) a multiple of 10?
True
Let s(t) = 52*t**2 - 1. Does 17 divide s(1)?
True
Suppose w - 5*w + 512 = 0. Does 44 divide w?
False
Let d be 2 + (-1 - (-262 + 1)). Suppose 4*n - x = 220, -n - 4*n + d = 2*x. Does 17 divide n?
False
Suppose 70*b - 71*b = -116. Does 58 divide b?
True
Let l(d) = -d**3 - 10*d**2 + 11*d + 1. Let u be l(-11). Does 13 divide 3/u - (10 + -42)?
False
Does 2 divide 427/49 - 6/(-21)?
False
Suppose -24 = -3*v - v. Suppose -4*n + v = -2. Suppose 0*d + 211 = 4*l - 3*d, -3*l + n*d = -157. Is l a multiple of 13?
False
Suppose 5*s = 5*q - 352 - 593, -924 = -5*q - 2*s. Let n be 2/(-11) + q/(-66). Is 3 a factor of (-42)/n*(-1)/(-2)?
False
Let l be (2 - 4) + 0 - -2. Let z(f) = f**2 + f + 24. Is 11 a factor of z(l)?
False
Let t(n) = -4*n - 6. Let h be t(-5). Let v = -9 + h. Suppose 0 = 3*u + v*r - 48, 0 = u + r - 6*r - 16. Is 12 a factor of u?
False
Let c(v) = -v**2 - 4*v + 4. Let h be c(-4). Suppose 4*i - 3*i - h = 0. Suppose -17 = -f - f + m, i*f - 31 = 3*m. Does 10 divide f?
True
Sup