e m(-1)?
False
Let m = -14 + 47. Let f = 29 - -32. Let u = f - m. Does 14 divide u?
True
Suppose -4 = -l + 7. Let i(s) = s**3 - 11*s**2 + 4*s - 14. Does 15 divide i(l)?
True
Let k = -6 + 8. Suppose -3*b + j - 4*j + 90 = 0, -110 = -4*b - k*j. Does 8 divide b?
False
Let h(l) = l**2 + l + 103. Let z be h(0). Suppose -z + 24 = -4*n - p, 2*n = 2*p + 42. Does 18 divide n?
False
Suppose -s + 62 = -78. Is 7 a factor of s?
True
Let z be ((-3)/(-9))/(1/30). Let g(y) = y**3 - 10*y**2 + 2*y + 6. Is g(z) a multiple of 26?
True
Let a = 163 - 111. Is 12 a factor of a?
False
Suppose 3*t - 14 + 2 = 0. Suppose 0 = -u - 5*w + 10 + 10, 12 = -t*u + 3*w. Does 14 divide u + (-87)/(-1 - 2)?
False
Suppose 0 = 6*z - z - 10. Suppose y + z*r - 11 - 3 = 0, -63 = -3*y + r. Is 10 a factor of y?
True
Does 23 divide (-1980)/(-38) + (-2)/19?
False
Suppose -5*y + 248 = -152. Is 26 a factor of (-6 - 0)/3 + y?
True
Suppose q - 4 = 6. Let v(t) = -t**3 + 10*t**2 + 2. Let s be v(q). Suppose -5*z = 5*i - 150, -2*z + 60 = -i - s*i. Does 15 divide z?
True
Let r = 738 + -489. Is r a multiple of 35?
False
Let z(d) = 0*d - 2*d + 4*d. Is 8 a factor of z(4)?
True
Let j be 6/9 - (-69)/(-9). Is 14 a factor of 4/1*j/(-2)?
True
Let u(x) = -2 + 0*x + x + 0*x. Is u(6) a multiple of 4?
True
Let x = 36 - -40. Is 13 a factor of x?
False
Let o be (1 - -7)/(1 - 0). Let l = o - -9. Let d = l - 3. Is d a multiple of 7?
True
Suppose -90 = -8*m + 3*m. Is m a multiple of 18?
True
Let x = -26 - -11. Let r(k) = 39*k. Let o be r(1). Let b = o + x. Is 24 a factor of b?
True
Let r = -281 + 485. Is 51 a factor of r?
True
Let k = 643 - 356. Is k a multiple of 23?
False
Let a(n) = n**2 - 2*n**2 + 2*n**2 - 6*n. Let m be a(9). Suppose i + 2*i - m = 0. Is 9 a factor of i?
True
Is 2 a factor of ((-18)/4)/(8/(-32))?
True
Suppose 13*i = 16*i - 66. Is 11 a factor of i?
True
Suppose -11 = -v - 2. Is (-12)/54 - (-20)/v even?
True
Suppose 0 = -5*f - 0 + 45. Is 9 a factor of f?
True
Let u be (-49)/(-1)*(4 - 3). Let w = -9 + u. Is w a multiple of 20?
True
Let n be (-2)/8 - 455/(-28). Suppose -5*a + a + n = 0. Suppose 0 = -9*h + a*h + 180. Is 12 a factor of h?
True
Let y = 10 - 7. Suppose 5*v = 5*u + 45, 7 = y*v + 4*u + 1. Suppose 2*t = 5*b + v*t - 10, 3*b + 5*t + 7 = 0. Does 3 divide b?
True
Let m(i) = 9*i**2 - i + 4. Let q be m(-3). Suppose 0*x = 4*p + x - 88, 4*p - 3*x - q = 0. Let o = p - -1. Does 17 divide o?
False
Suppose 5*g - 149 = -x, 2*g - 4*x + 30 = 94. Is g even?
True
Let n be 0 + 12*(-2)/(-3). Suppose -3*c + n*c - 25 = 0. Suppose v + 3*v - 5*p = 47, 43 = v + c*p. Is 9 a factor of v?
True
Let d be 6 + -3 + 1 + -1. Suppose -2*k - d*k + 257 = -2*c, -k - 4*c + 47 = 0. Is k a multiple of 9?
False
Suppose -4*g = -j - 1 + 37, j = -5*g + 72. Is 16 a factor of j?
False
Let b = 19 - 10. Suppose 3*x + 0*x = b. Suppose 11 = 3*z + m, 3*z + x*m - 19 = -2*m. Is z a multiple of 2?
False
Suppose 11 = 5*v - l, -4*v + 3 + 25 = 4*l. Suppose 0 = 4*w + 5 + v. Is (-10)/(0 - (-1)/w) a multiple of 8?
False
Let c be ((-3)/(-9))/((-1)/(-15)). Suppose -4*d + c*f = 17, 3*d - 3*f + 5 = -2*d. Does 4 divide d + (-1 + -1 - -9)?
False
Let l = 4 + 31. Is 10 a factor of l?
False
Suppose -4*i + 2*i - 6 = 2*v, -i + 2*v - 12 = 0. Let s be (-23)/2 + i/(-4). Let w = 20 - s. Does 15 divide w?
True
Suppose 2*r = 2*n + 118, -73 = -4*r + 2*n + 159. Does 24 divide r?
False
Suppose -142 = t - 4*t + 4*f, 3*f - 114 = -3*t. Does 21 divide t?
True
Let n(o) = o**3 + 5*o**2 + o + 11. Does 3 divide n(-5)?
True
Let i(l) be the third derivative of 3*l**4/8 - l**3/2 - l**2. Let h be i(2). Suppose t + t = 2*s, h = 3*t. Is s a multiple of 5?
True
Suppose -16 = -f + 5*u + 5, 3*u = 2*f - 28. Suppose 2*y - f - 63 = 0. Is y a multiple of 12?
False
Let o(q) = -q - 4. Let s be o(-5). Let c = s + 3. Suppose 0 = -c*l + 50 + 58. Is 13 a factor of l?
False
Let z = 0 + 2. Suppose 3*l + 4*c = 26, -l - 34 = -4*l - z*c. Is 9 a factor of l?
False
Suppose -4*v - 248 = -5*d - 3*v, 2*d = 5*v + 90. Let z = d - 27. Does 23 divide z?
True
Suppose 5*l - 590 = 3*l. Is l a multiple of 22?
False
Let t = 3 + 11. Suppose n - 30 = 3*j, -4*j - t = -n - 5*j. Does 12 divide n?
False
Let y = -5 + 10. Let f = y - 2. Is 5 a factor of (1 + 2)/f*5?
True
Suppose 5*w + 3*b = 2*b + 63, -b - 45 = -4*w. Does 26 divide 13/(38/w + -3)?
True
Let c(g) = -2*g**3 + 3*g**2 - g - 3. Let n(l) = -2*l**3 + 4*l**2 - l - 4. Let h(u) = -3*c(u) + 2*n(u). Let r be h(-1). Let p = r + 7. Is p a multiple of 4?
True
Suppose 2*y + 4*a = -7 - 3, y - 19 = 4*a. Suppose 0 = 3*d - 4*h - 26, -5*h = 8*d - y*d - 55. Is d a multiple of 5?
True
Suppose z - 6*z = m, 3*z - 12 = -3*m. Let l = z + 32. Is l a multiple of 13?
False
Suppose 0 = 2*n + 2, -3*n = -3*b - 0*n + 417. Does 28 divide b?
False
Suppose -5*t = -4*t. Suppose 0 = -4*g + 3*b + 99, t = -7*g + 2*g - 3*b + 117. Is g a multiple of 12?
True
Let w be -3 - (-7 - (-4 + 2)). Suppose 3 = 2*d - 5. Suppose 0 = -d*f + h - 3*h + 30, -4*f + w*h = -34. Does 4 divide f?
True
Is 11 a factor of 2 + 96 - 0/(-1)?
False
Let k = 8 + -11. Let p be 3/(-2)*(k + 1). Suppose -p = 3*n - 105. Is n a multiple of 17?
True
Let g be (-227)/(-3) + (-1)/(-3). Suppose -4*y + 4*f + g = 8, -5*y - f = -85. Suppose -2*x + 3 = -y. Is x a multiple of 10?
True
Let m(h) = 2 + 5*h**2 + 59*h**3 + 3 - 60*h**3. Is 3 a factor of m(5)?
False
Suppose -3*f + 236 = -a, 5*f + a + 84 = 472. Is 22 a factor of f?
False
Suppose 3*v = 7*v - 32. Does 4 divide v?
True
Let r(l) = 5*l. Let a be r(1). Suppose -35 = 3*x + 4*h - 151, 3*x - 98 = a*h. Is x a multiple of 18?
True
Let s(p) = -p**3 - p**2 + 6*p + 12. Is s(-6) a multiple of 26?
True
Suppose 0 = a - 4 - 16. Is 8 a factor of a?
False
Suppose 28 = z + 5*f + 4, z - 3*f = -8. Suppose -z*j - 45 = -173. Is 16 a factor of j?
True
Suppose -2*a = 4*g - 81 - 83, 0 = -2*g - 10. Is a a multiple of 19?
False
Let k be (15/6)/((-4)/(-8)). Let d = 4 + k. Is 2 a factor of d?
False
Let w(m) be the second derivative of -m**4/12 + 3*m**3/2 + m**2 + 3*m. Is 8 a factor of w(7)?
True
Suppose 2*q = f + 95, -3*f - 16 = 3*q - 172. Is q a multiple of 10?
False
Suppose 4*b - 3*g = 571, -b = b + 3*g - 299. Does 30 divide b?
False
Let d(y) = y - 4. Is d(12) even?
True
Let m = 203 - 93. Suppose 25 = o + j, 0 = -4*o - 3*j + m - 5. Is o a multiple of 11?
False
Let t(k) = -8*k + 8. Is t(-4) a multiple of 20?
True
Suppose 4*w - 2*g - 30 = 0, g + 10 = 3*w + 2*g. Suppose 4*l + 9 = a + 3*l, 0 = -w*a + l + 33. Is 6 a factor of a?
True
Suppose 4*l = -5*u - 38, 2*l = 3*u - 0*l + 14. Let w = 12 - u. Does 9 divide w?
True
Is 1038/18 + 4/(-6) a multiple of 19?
True
Let c be 13/78 + 398/(-12). Let q = -22 - c. Is q a multiple of 3?
False
Let z = 0 + 0. Is 13 a factor of (23 + 4)/(1 - z)?
False
Suppose -3*l = 4*f - 140, -273 + 80 = -4*l + f. Is l a multiple of 12?
True
Suppose 3*u - 2*u = 48. Is u a multiple of 22?
False
Let v(i) = -18*i + 2. Let n(g) = 12*g - 1. Let p(h) = -7*n(h) - 5*v(h). Does 10 divide p(6)?
False
Is (-28)/(-14) - 5*-1 a multiple of 2?
False
Is 168/(-15)*(-5)/2 a multiple of 28?
True
Suppose -1 = -n, 2*p = -0*p - 4*n + 274. Is p a multiple of 12?
False
Suppose 5*g - 10 - 10 = 0. Suppose -g*o - 3*k = -2*k - 28, -k + 10 = o. Is 2 a factor of o?
True
Let t = 36 + -45. Let g(i) = -4*i + 2*i - 12 + 2. Is g(t) a multiple of 3?
False
Let w = 16 + -8. Suppose 220 = 13*a - w*a. Is a a multiple of 11?
True
Let p = -6 + 8. Let a = p + -1. Is (a + (-1)/(-5))*5 a multiple of 6?
True
Suppose -5*i + 16 = -i. Suppose 0 = i*j - 165 - 15. Is j a multiple of 15?
True
Let r(h) = -h**2 + 4*h + 4. Let p be r(4). Suppose 4*d + 7 + 1 = 0. Does 7 divide (-60)/(-8) + d/p?
True
Suppose -3*p = 9 + 9. Let l = -1 - p. Is l a multiple of 4?
False
Let z be 54/3*4/6. Let h = z - 8. Is 2 a factor of h?
True
Let t = 15 + -11. Let f = 42 - t. Is f a multiple of 13?
False
Suppose -3*w + 5*w = 3*q + 25, 37 = -4*q - w. Let o = q + 26. Is o a multiple of 17?
True
Let t(d) = -d**2 + 5*d + 1. Let s be t(4). Suppose s*x - i + 2*i - 5 = 0, -5*x - 15 = 5*i. Suppose 14 = v + x. Is v a multiple of 6?
True
Suppose 2*y = -0*m + 4*m - 26, -5*m = y - 50. Does 9 divide m?
True
Let f = -53 + 98. Is f a multiple of 9?
True
Let j(i) = -i**2 + 8*i - 4. Let x be j(7). Suppose w = -x*w. Suppose -40 = -3*t - c - 4*c, w = -2*t - 5*c + 20. Does 10 divide t?
True
Le