 = -3*w - 1. Let v be a(-1). Suppose -g + v*g = m - 29, 4*m - 109 = -3*g. Is m a multiple of 14?
True
Let s(b) = 12*b**2 + 4*b + 7. Let o(u) = 13*u**2 + 5*u + 8. Let x(y) = -4*o(y) + 5*s(y). Does 25 divide x(3)?
True
Let k(p) = p**3 + 3*p**2 - p. Let v be -3 - -1 - (1 - 0). Let h be k(v). Suppose -h*f = -23 - 28. Does 6 divide f?
False
Let d(w) = 19*w**2 - w**3 + 2*w**3 - 30*w**2 + w + 10. Is d(11) a multiple of 7?
True
Let z = -213 - -423. Does 30 divide z?
True
Suppose -3*g - 124 = g. Suppose 3*n + 61 = 7. Let y = n - g. Is y a multiple of 13?
True
Does 25 divide (1 + 2)/3 + 428/4?
False
Let z = -32 + 73. Is 12 a factor of z?
False
Is 9 a factor of 3/(-30)*100/(-8)*60?
False
Suppose 0 = 2*s + 3*n - 27, -5*s + n = -36 - 23. Suppose o = -o + s. Suppose -3*f + o*f - 30 = 0. Is f a multiple of 4?
False
Let c be (2/(-6) - -1)*-3. Let f be (c/6)/((-6)/90). Suppose -48 + 247 = f*a + 2*m, 5*m - 190 = -5*a. Is a a multiple of 15?
False
Let n be 5 + -2 + 0 + 2. Suppose -4*d + 40 = b, -d + 10 = -n*b - 0*b. Does 3 divide d?
False
Suppose -36 = -0*p - 3*p. Suppose 5*m + 3*u - 31 = m, p = m + 5*u. Is m a multiple of 7?
True
Is (-4744)/(-30) + (-24)/180 a multiple of 16?
False
Suppose -2*x + 31 = -83. Is 4 a factor of x?
False
Suppose -2*h - 2*h = 0. Let f be (3 + -2)*(30 + h). Let b = f + -16. Does 7 divide b?
True
Suppose -4*h + 251 - 23 = 0. Does 19 divide h?
True
Let t = 10 + 37. Is t a multiple of 21?
False
Suppose 2*b - 135 = 45. Suppose 3*q + 3 = b. Is q a multiple of 11?
False
Suppose -b - 2*b + 381 = 4*j, -3*j + 635 = 5*b. Does 13 divide b?
False
Suppose -138 = 3*m + 93. Let k = 113 + m. Is 12 a factor of k?
True
Suppose -3*a = 4*b - 5, 2*a + 3*a - 4*b = 19. Suppose -33 = -a*l + 84. Is 13 a factor of l?
True
Suppose -d + 4 = -0. Suppose 0 = -4*q - 3*l + 5, 0*q - 25 = -q + d*l. Does 5 divide q?
True
Let j = 11 - 8. Is j even?
False
Let q(v) = -v**3 - 4*v**2 + 5*v + 2. Let y be q(-5). Let o = y - 1. Suppose -w + 9 = o. Does 3 divide w?
False
Suppose 0 = -s + 3*s - 16. Let w(m) = 5*m**2 + 4*m - 4. Let q(y) = -4*y**2 - 4*y + 4. Let l(t) = 6*q(t) + 5*w(t). Is 12 a factor of l(s)?
True
Let k(q) = q**2 + 8*q - 3. Let y be k(5). Let v = -30 + y. Does 6 divide v?
False
Let z = 12 - 4. Suppose -z*s = -3*s - 35. Is 7 a factor of s?
True
Let j(z) = 42*z - 22. Is j(6) a multiple of 10?
True
Suppose -12*t + 1681 - 241 = 0. Is 12 a factor of t?
True
Let h(l) be the first derivative of -l**3/3 + 5*l**2/2 - 1. Let g be h(4). Let r = 6 - g. Is r even?
True
Suppose 0 = 3*d - x - 16, -5*d + 24 + 6 = -5*x. Suppose 452 = 4*c - a, 0*c - d*a + 204 = 2*c. Suppose -4*b = -c + 40. Is 7 a factor of b?
False
Let h(l) = 7*l**2 + 4*l + 2. Let u be h(-2). Let n = -10 + u. Does 12 divide n?
True
Suppose 0*u = -17*u + 476. Does 28 divide u?
True
Let x(r) = 2*r**3 + 2*r**2 + r + 2. Suppose -y - 3*g = 17, 2*g + 6 = -4. Let n be x(y). Is (-6 - -2)*10/n a multiple of 4?
False
Let o = 162 - 98. Is 16 a factor of o?
True
Suppose -t = -r + 29, r - 2*r + 35 = -3*t. Is 11 a factor of r?
False
Let t(h) = -h**3 - 6*h**2 - 6*h - 12. Is t(-7) a multiple of 7?
False
Suppose 0 = 2*m - 0 - 12. Suppose -m - 9 = -5*f. Is 3 a factor of (4 + -13)*(-1)/f?
True
Suppose -7*c + 3*c + 4 = 0. Suppose -20 = -3*p + c. Is p a multiple of 5?
False
Suppose 2*f + 0*f = 3*b - 9, -f = 0. Let k(g) = -11*g + 13. Let j be k(-4). Suppose 51 = b*r - j. Does 12 divide r?
True
Let h(f) = -34*f + 6. Let i be h(3). Does 8 divide i/12*5*-1?
True
Let d = -9 + 12. Suppose -c + 38 = d. Is 16 a factor of c?
False
Let u(x) = -31*x - 2. Does 15 divide u(-2)?
True
Is 12 a factor of (-795 + -1)*((-78)/(-24))/(-13)?
False
Suppose 5*k + 84 - 344 = 0. Is k a multiple of 26?
True
Let q(f) be the third derivative of f**5/30 + f**4/12 + f**3 - 10*f**2. Is q(3) a multiple of 6?
True
Let h(z) = -12*z + 1. Let q(v) = 10*v. Let c(g) = -3*h(g) - 4*q(g). Suppose -5*d + 0*i - 21 = i, -5 = 2*d - 3*i. Does 4 divide c(d)?
False
Suppose -5 = -4*y - 9. Let d(g) = -70*g + 2. Is d(y) a multiple of 24?
True
Let b = -19 - -4. Let h = b + 25. Is 5 a factor of h?
True
Let j(p) be the first derivative of -5*p**4/2 + 2*p**2 - 3*p - 2. Let q be j(2). Let k = -37 - q. Is k a multiple of 14?
False
Suppose 10 = -2*c + 28. Let h = 11 + c. Is h a multiple of 10?
True
Let m(f) = f**2 + 2*f - 2. Let h = -4 - 0. Let c be m(h). Suppose 3*r = c*r - 78. Does 13 divide r?
True
Let x = 510 - 270. Does 12 divide x?
True
Let w = 4 - 7. Let o be (-102)/(-9) - w/(-9). Let h = -3 + o. Is 4 a factor of h?
True
Let s(t) = 15*t**2 + 6*t + 18. Does 17 divide s(-3)?
False
Let l(z) = -z**3 + 19*z**2 - 13*z - 19. Is l(18) a multiple of 15?
False
Let b be (2/5)/((-4)/(-80)). Let i = b + 2. Is 11 a factor of 23 - 1 - i/5?
False
Let t = 65 + -21. Is 22 a factor of t?
True
Let k = 9 + -5. Suppose 5*x + 168 = 4*p + x, -5*x = k*p - 141. Is p a multiple of 13?
True
Suppose h = -0*h. Suppose 5*p = 3*m - 7, 11 = 5*m - m - 5*p. Suppose h = -0*b - m*b + 48. Does 12 divide b?
True
Suppose -5*l = 2*n - 8, -5*n + 0*l = -3*l - 51. Is n a multiple of 2?
False
Suppose -2*a - 188 = -6*a. Is a a multiple of 13?
False
Suppose 0 = 3*v - v - 10. Let f be v + 0*(-3)/(-3). Suppose -30 = 2*h - 7*h + f*s, -3*s + 42 = 3*h. Is h a multiple of 5?
True
Let d = -6 + 16. Let z(t) = -d + 10 + t + 28*t**2. Is 17 a factor of z(1)?
False
Let b = 117 + 19. Does 34 divide b?
True
Let m = -31 + 43. Let x = m - 4. Suppose -h = -j - 39, 3*h = -x*j + 3*j + 157. Is 14 a factor of h?
False
Does 3 divide (-33)/55*(0 - -2 - 7)?
True
Suppose 0 = 4*k - 3*q + 6 + 7, 2*q - 10 = 4*k. Let h = 7 - k. Is 8 a factor of h?
True
Suppose 2*g - b = 80 + 40, 2*g - 108 = -5*b. Let h = g + -29. Is h a multiple of 13?
False
Let w(v) = 4*v**3 - v**2 + v - 1. Let m be w(2). Let u be -2 - (m + 2)/1. Does 4 divide (u/9)/(1/(-3))?
False
Let y(q) be the second derivative of 0 + q**2 - 2/3*q**3 - q + 1/12*q**4. Is y(6) a multiple of 6?
False
Let w(j) = 9 + 2 + j - 10. Is w(10) a multiple of 5?
False
Let b(w) = -4*w - 1. Let i be b(-2). Let g(s) = -s**3 + 6*s**2 + 8*s + 7. Is g(i) a multiple of 9?
False
Suppose 0*g - 2*g + 34 = 0. Let l = -5 + g. Suppose -3*f = f - l. Is f even?
False
Let w be 0 - (-2 + (0 - 38)). Suppose 24*l - 104 = 28*l. Let q = w + l. Is q a multiple of 4?
False
Suppose 0 = 2*w + 3*w - 80. Is 12 a factor of w?
False
Suppose k - 5*c + 7 = 0, -1 = 2*c - 11. Is 3 a factor of k?
True
Let n = 104 - 7. Does 9 divide n?
False
Let y = -205 - -317. Does 13 divide y?
False
Let a be (0 - -16) + 0/1. Suppose -6*m + a = -2*m. Is 3 a factor of m?
False
Let c(s) = s**3 + 2*s**2 - 7*s + 4. Let p be c(4). Is (-3)/(-2)*p/2 a multiple of 25?
False
Suppose 4*b - 102 = 146. Suppose 0 = 4*r - 0*r - 2*z - b, -3*z = -r + 28. Suppose r = j - p, 2 - 16 = -3*j - 2*p. Is 4 a factor of j?
True
Suppose 5*r = 3*r + 8. Let o be r/18 + (-306)/(-81). Is 11 a factor of (152/4)/(o/2)?
False
Let g = 44 - 31. Suppose -3*s + g = 4*d, -s - 4*d + 9 - 2 = 0. Suppose 6 = 3*y + s*o, -3*y + 1 = o + 3*o. Is y a multiple of 7?
True
Does 15 divide ((-12)/(-10))/((-14)/(-1050))?
True
Let s = -14 - -49. Suppose 5*t + 8 = -d, s = 3*d + t + 3. Is 5 a factor of d?
False
Suppose -5*c = -j - 20, 0 = -5*c - 0*j - 3*j. Suppose 0 = -r - 4*m + 70, 178 = c*r + m + 3*m. Is 27 a factor of r?
True
Suppose 0 = -0*n - 4*n - 260. Let v = -91 - n. Let x = 41 + v. Is x a multiple of 9?
False
Let a be ((-16)/12)/((-1)/18). Is (a/30)/(4/10) even?
True
Suppose 3*l - 4*v = 10, -l - 4*v - 3 = v. Let d = 4 - l. Suppose -2*o + 60 = -z + 3*z, 0 = d*z + 4*o - 68. Is 15 a factor of z?
False
Suppose 17 = -2*y + 153. Is y a multiple of 15?
False
Let d(g) = -2*g**3 + 10*g**2 - 4*g + 4. Let k(u) = -3*u**3 + 11*u**2 - 3*u + 4. Let j(o) = 4*d(o) - 3*k(o). Let z be j(-8). Is 100/12 + z/(-6) a multiple of 9?
True
Suppose -4*b = -9*b + 50. Let a(m) = 4*m - 11. Let g be a(b). Let j = g - 21. Is j a multiple of 6?
False
Let s = -4 - -13. Suppose 4*i - 44 = 2*u, 0*i + u + s = i. Is 13 a factor of i?
True
Let y = 32 + -4. Is y a multiple of 7?
True
Is 33 a factor of 22/((-30)/(-9) - 3)?
True
Let y(v) = 6*v**2 - 4*v + 1. Let w(n) = -5*n**2 + 3*n. Let i(d) = 5*w(d) + 4*y(d). Let x be i(0). Suppose -195 + 11 = -x*p. Does 19 divide p?
False
Does 10 divide 1/2 + 632/16?
True
Suppose 0 = -a - 0 + 4. Is 22 a factor of 9/(-