**3/3 + 6*r**2 - 15*r + 1. Is m(-14) a multiple of 13?
True
Suppose -o + 9 + 4 = 0. Is o a multiple of 10?
False
Let f(h) = 5*h**2 + h + 2. Let n be f(2). Suppose -4*l = -n + 96. Let c = l - -30. Does 12 divide c?
True
Suppose -4*s - 2*o = -3*o - 154, -3*s + 121 = 2*o. Is s a multiple of 13?
True
Suppose -9*x + 8*x = -155. Does 31 divide x?
True
Let l be 180 + -1 - (5 - 2). Does 14 divide (l/20)/((-6)/(-15))?
False
Let d = 2 + 0. Suppose -6*z + 60 = -d*z. Is 2/(-6) + 110/z a multiple of 4?
False
Suppose 252 = 3*r + 39. Let d = r - -1. Let j = -40 + d. Does 16 divide j?
True
Let k = 114 - 74. Does 20 divide k?
True
Suppose 2*s - 123 = 157. Is 19 a factor of s?
False
Let v(g) = -4*g**2 - 1. Let x be v(1). Let n be (x/(-5))/((-2)/(-10)). Suppose 17 - n = l. Is 12 a factor of l?
True
Suppose 0 = 3*j + n - 426, 0 = 2*j - 0*n + 5*n - 284. Is 24 a factor of j?
False
Let b = 2 + 5. Let h(x) = 2*x - 2. Let o(v) = 5*v - 7. Let q(i) = 7*h(i) - 2*o(i). Does 10 divide q(b)?
False
Let w(a) = -a**3 + 5*a**2 + a + 1. Is 22 a factor of w(3)?
True
Suppose 8*f = 14*f - 1824. Is 49 a factor of f?
False
Let z = 10 + -11. Is (6 - 1)/(2 + z) a multiple of 5?
True
Let m(p) = p - 1. Let c be m(10). Let u = 18 - c. Is u a multiple of 2?
False
Suppose -2*w + 154 = -0*w. Is 9 a factor of w?
False
Suppose -3*w + 5*m - 14 = -w, w = -5*m + 23. Suppose -w*a - 5*d + 33 = -0*a, -9 = -4*a + 5*d. Is a a multiple of 6?
True
Suppose 701 = 7*w - 356. Is 23 a factor of w?
False
Let a be ((-1)/(-2))/((-1)/(-190)). Suppose 5*r - 35 = a. Suppose -3*s + r = -2*s. Is 13 a factor of s?
True
Let g = 11 - 4. Suppose 4*y = -3*n - 2*n - 52, g = n - 5*y. Let d = n + 11. Does 2 divide d?
False
Let f(o) = -o**2 + 8*o + 3. Let s(b) = b - 1. Let y be s(4). Suppose 0 = 4*c + 4*z + 3 - 7, 4*z = -y*c - 2. Does 8 divide f(c)?
False
Suppose 100 = 5*h + 2*k, -85 = -2*h - 3*h + k. Is 18 a factor of (h/(-15))/((-3)/45)?
True
Suppose 0 = 2*v - 2, 2*c - 3*v - 12 = -c. Suppose -4*l = -5*h - 0*h + 30, c*h - 25 = 5*l. Suppose 3*f = 3*i - 30, -2*f + h = i + 2*f. Does 5 divide i?
True
Let h be (96/(-20))/(6/(-40)). Let a = 50 - h. Is 10 a factor of a?
False
Suppose 2*q + 32 = 2*s, 0 = s + q - 11 - 3. Is s a multiple of 3?
True
Suppose -4*h - 29 = -193. Is 7 a factor of h?
False
Let n be -3 + (-1 - 3 - -12). Suppose 4*h = 2*g - 8, -1 = -3*g - n*h - 0. Is g a multiple of 2?
True
Is (-2)/(-1) + -5 + 14 a multiple of 11?
True
Let n be (1 - 0)*-3 - -20. Let j = 66 - n. Is 12 a factor of j?
False
Suppose -2*k = 0, 3*k = 4*m + 4*k + 184. Is 23 a factor of 2*3/(-12)*m?
True
Suppose -h = -21 - 72. Is 31 a factor of h?
True
Let d(h) be the first derivative of h**2/2 + 1. Let a be d(2). Suppose -a*c + 12 = -0*c. Is c a multiple of 3?
True
Let u(n) = n**2 - 6*n + 4. Does 16 divide u(-5)?
False
Suppose -j = 3*p - 3*j, 0 = -3*p - 2*j + 12. Suppose -28 = -p*x + 20. Is x a multiple of 12?
True
Let g(d) = d**3 - 8*d**2 + 16*d + 13. Does 16 divide g(8)?
False
Let o(g) = -12*g - 6. Suppose 9 + 0 = -3*i. Let r = -7 - i. Is o(r) a multiple of 14?
True
Suppose -2*x = -4*i + 2*i - 44, 2*x - 38 = 4*i. Is 5 a factor of x?
True
Let t = -5 + 9. Suppose 0 = 5*q + 3*f - 198, t*f + 54 - 136 = -2*q. Is 22 a factor of q?
False
Is (-7)/((-1)/(-1))*36/(-7) a multiple of 23?
False
Let f = 166 + -49. Is 15 a factor of f?
False
Suppose 4*m - 99 - 1 = 0. Suppose 5*c = m, -25 + 6 = -4*l + 5*c. Does 11 divide l?
True
Let z = -4 + 15. Is z a multiple of 6?
False
Suppose -f + 1 = -3. Let b = f - 4. Suppose 144 = 4*n - b*n. Does 18 divide n?
True
Let m = 10 - 8. Is 13 a factor of 40 + m - (-2 + 5)?
True
Let a = -5 - 2. Let c = 1 - a. Is c a multiple of 4?
True
Let h = -29 + 43. Is h a multiple of 7?
True
Let p = 86 - 62. Does 6 divide p?
True
Let o = -7 + 4. Let l = o + 8. Suppose -l*m + 398 = 128. Is 27 a factor of m?
True
Let d(j) = j**3 + 5*j**2 - j - 3. Let y be d(-5). Suppose -14 - y = -4*c. Is c a multiple of 4?
True
Suppose p - 60 = -p. Let x = -56 + p. Let t = x + 44. Is 12 a factor of t?
False
Let h(o) = 3*o**2 - o - 2. Let y be h(2). Let a = 3 - y. Let s(w) = -w + 6. Is 11 a factor of s(a)?
True
Is 4 a factor of -2 + (3 + -5 - -8)?
True
Let l = -2 + 15. Is l a multiple of 13?
True
Let o(z) = -z**3 - 11*z**2 + 11*z - 6. Is o(-12) even?
True
Suppose 0 = n + 4*m - 48, n - 21 = m + 17. Is n a multiple of 10?
True
Let i = 251 - 108. Is 34 a factor of i?
False
Does 12 divide (-90)/(1 - 4)*(-18)/(-5)?
True
Suppose 10 = t + j, -2*j + 14 = 4*t - 20. Suppose i - t = 9. Is 8 a factor of i?
True
Suppose 0 + 2 = g - 2*f, -4*f + 4 = 2*g. Let b(c) = 2*c**2 + c**3 + 3*c**2 - 3*c**2 - 3 + 3*c. Is 7 a factor of b(g)?
False
Suppose -5*d - 3*x = -2*x - 840, 0 = 3*d + 4*x - 504. Does 14 divide d?
True
Does 22 divide 14/49 - 4000/(-14)?
True
Let z be ((-4)/(-8))/(3/744). Suppose 3*l - z + 40 = 0. Is 14 a factor of l?
True
Let r = -204 - -356. Let k = -86 + r. Is 11 a factor of k?
True
Suppose -15 = -4*h - h. Let l(k) = 2 - k**2 + k**h - k + 2 + 6*k**2. Does 9 divide l(-5)?
True
Let j be -1 - (0 + 2)*-1. Let t = 2 + j. Suppose t*l - 8 = -z, 7*z + 5*l - 28 = 4*z. Is 5 a factor of z?
False
Let d be ((-1)/2)/(1/(-12)). Let q be (-1)/(-2) - (-5)/2. Does 9 divide q/(-9) - (-146)/d?
False
Let p be -3 + -6*(-2)/4. Suppose -2*g + p*g = -3*a + 9, -5*a + 22 = -g. Suppose -g*h = -4*h + 18. Does 18 divide h?
True
Suppose 0 = -o + 5*n + 31, -6*n = -3*n. Is o a multiple of 10?
False
Suppose 0*l + 225 = -3*l. Suppose 2*m + 87 = -3*d, -3*d + 1 - 10 = 0. Let g = m - l. Is 15 a factor of g?
False
Let h(x) = 10*x**3 + x - 1. Let q be h(1). Let j(n) = n**3 + 2*n**2 - n + 1. Let z be j(-2). Suppose z*m - u = -0*u + q, 2*u - 10 = 0. Does 2 divide m?
False
Is 22 a factor of (-660)/(-8) + (-2)/4?
False
Let h(w) = 3*w**2 + 7*w + 2. Let a be h(-5). Is a/11 + 4/22 even?
True
Let z = 6 + -3. Suppose -z*t + 67 = 4*b + b, 0 = -2*t - 4*b + 48. Is t a multiple of 7?
True
Suppose 3*d - 262 = -5*c, 2*d + 174 = 4*d + 3*c. Does 14 divide d?
True
Suppose -2*w + 5*w - 801 = 0. Let i be 1 + (-11)/(22/12). Does 5 divide (-1)/i + w/15?
False
Let l(p) = 4*p**3 - p**2 + p - 1. Let y be l(1). Suppose 0*f = 2*s - f - 27, 4*s = y*f + 57. Does 8 divide (78/s)/(1/2)?
False
Is (-323)/(-57) + (-4)/6 a multiple of 2?
False
Let i be 4/10 + (-24)/10. Is 10 a factor of (6 - 0)/(i/(-13))?
False
Let u be 3/((-6)/(-62)) - 2. Let y = -17 + u. Is 8 a factor of y?
False
Let r = 0 + 5. Suppose 0 = 3*h - 6, 0*n - 4*h - r = -n. Does 13 divide n?
True
Suppose -4*q - 4 = 0, q = 2*h - 92 - 47. Is h a multiple of 23?
True
Let p(w) = -3*w**2 - 9*w - 4. Let n be p(-6). Let q = 72 + -108. Let c = q - n. Is c a multiple of 7?
False
Suppose -30 = -5*g + 5*y, -2*y = g + y - 18. Let z = g - -8. Is z a multiple of 7?
False
Suppose -25*y - 648 = -27*y. Is 11 a factor of y/15 + 4/10?
True
Let x be (-36)/(-15)*(-100)/(-15). Let p = 0 + x. Is 16 a factor of p?
True
Is 9 + -11 + (-2)/1 + 30 a multiple of 2?
True
Let x(g) = -g**2 - 1. Let z(n) = 7*n**2 + 6*n. Let h(t) = 6*x(t) + z(t). Does 17 divide h(-10)?
True
Let c be (0 - 4)/8*16. Let q = 44 + c. Is 9 a factor of q?
True
Suppose 4*l = 2 - 26. Does 16 divide ((-220)/l)/(18/27)?
False
Let k be 7/7 - (-2 - -1). Suppose -2*l = -k + 4. Does 18 divide l - 2 - (-42 + 3)?
True
Suppose -7*i - 66 = -10*i. Is 10 a factor of i?
False
Let v(l) = 4*l**3 - 2*l - 8. Is 4 a factor of v(3)?
False
Let h(l) = -2 + 0 + 4 + l + 0*l. Let f be h(-6). Let o(k) = k**2 - 2*k + 4. Does 14 divide o(f)?
True
Let p = 18 + 2. Is p a multiple of 4?
True
Suppose 2*g + 8 = -2*i, -5*g - 4*i - 19 = -4*g. Is 11 a factor of (-44)/((3/(-3))/g)?
True
Let q(a) = a + 1. Let b(i) = 5*i + 2. Let r(j) = b(j) + 3*q(j). Does 23 divide r(8)?
True
Suppose -s + 103 = 5*a, 4*s - 2*a - 185 - 293 = 0. Is s a multiple of 17?
False
Let l = 0 - -4. Suppose -2*a + l*a = 16. Is a a multiple of 5?
False
Let l(x) = -x**2 - 8*x. Let y be l(-8). Let u(g) = g**2 - g + 5. Let w be u(y). Suppose -3*r = -2*r - w*c + 14, 3*c = 15. Is 9 a factor of r?
False
Let c be (8/(-6))/(4/(-12)). Suppose 2*h = 3*h + r - 2, 17 = c*h - 5*r. Suppose 2*j + 13 = z, -2*z + h*j + 30 = 3*z. Is 2 a factor of z?
False
Suppose 0 = -4*a + 3*u + 7, -4*a + 6 = 2*u + 4. Is 0 - (284/(-4) - a) a multiple of 12?
True
Let i(k) = 3*k**3 - 2*k**2 + k. Let p be i(1). Suppose -107 - 17 = 