s 30 divide m?
True
Let g(b) = -b**3 - 4*b**2 - 3*b + 4. Let l be g(-3). Suppose l*d = 248 - 72. Does 19 divide d?
False
Suppose -2*v - 2*v + 20 = 0. Suppose -4*j = -2*j - v*p - 21, -5*j = 3*p - 99. Is 6 a factor of j?
True
Let b be (-1)/((-3)/45)*1. Suppose 0 = -4*j, -5 = 5*n + 3*j - b. Is 12/2*n*1 a multiple of 6?
True
Suppose 0 = -j + 8*j - 196. Does 5 divide j?
False
Let o(u) be the first derivative of u**3/3 - 2*u**2 + 2. Let m be 6 - ((-4 - -2) + 2). Is o(m) a multiple of 6?
True
Suppose 5*f - 95 = -5*o, -2*f - 2*o = f - 52. Is f a multiple of 7?
True
Suppose -3*d = -4*l - 110, 2*d - 3*l = 2*l + 85. Does 5 divide d?
True
Let q(g) = -3*g + 2. Let f(o) = 4*o - 2. Let s(h) = 4*f(h) + 6*q(h). Is 5 a factor of s(-3)?
True
Suppose -5*f = -3*u - 2 + 10, 2*f + 7 = 5*u. Let r be 51 + u + -2 + 2. Let p = 76 - r. Is 11 a factor of p?
False
Let h = -56 - -34. Let d be (16/40)/(2/(-40)). Let y = d - h. Is 14 a factor of y?
True
Let u(r) = -r**2 - 9*r - 9. Let k be u(-8). Let v(b) = -14*b**3 - 2*b - 1. Is 11 a factor of v(k)?
False
Let h(f) = -3*f + 6. Let i = -12 + 23. Suppose -3*u = i + 7. Does 12 divide h(u)?
True
Let h(a) be the second derivative of a**3/6 + a. Suppose -5*l - z + 12 = -4, l + 5*z + 16 = 0. Is h(l) even?
True
Suppose -j + 5*j + 4*a = 36, -2*a = -2*j - 2. Suppose p - 3*d - 14 = 0, 2*p = 4*d + 32 + j. Does 13 divide p?
True
Let w(m) = m**2 + 7*m - 8. Let a be w(-8). Let r(h) = -3*h + a*h - 5*h. Does 3 divide r(-1)?
False
Let q be 1 - (9/3 + -3). Suppose -y = -4*x + q - 17, 2*x = -y + 10. Is y a multiple of 4?
True
Let z(c) = -2*c + c**2 + 1 + 0*c + 0*c + 10. Is z(0) even?
False
Suppose 4*g - 5*g = -5. Suppose 5*c = 2*u + 56, g*c - 4*u + 16 = 78. Let i = -6 + c. Is 4 a factor of i?
True
Let a(p) = -3*p - 3. Let y be a(-2). Let t(u) = 30*u**2 - u + 2. Let d be t(2). Does 7 divide d/9 + 2/y?
True
Suppose 2*n + 2*r - 196 = 0, 4*n - 12 = 2*r + 368. Is n a multiple of 4?
True
Let h = 362 - 247. Does 23 divide h?
True
Let m(z) = -z**2 + 23*z - 6. Is m(18) a multiple of 6?
True
Suppose -13 = -5*i + 17. Does 3 divide (-6)/(-18) - (-52)/i?
True
Suppose 2*d - 4*i = i + 65, 20 = d - 5*i. Is d a multiple of 9?
True
Suppose -5*c = -5*t + 5 + 5, -5*t = 5*c + 10. Suppose -x - 103 = -4*j, 44 = 2*j - t*x + 2*x. Is 7 a factor of j?
False
Let a be 1/2 - (-119)/14. Suppose f + 9 = 4*f. Suppose 0 = -f*t + a. Is t a multiple of 3?
True
Suppose -2*d - 2*y - 79 = 83, 0 = -2*d + y - 177. Is 7 a factor of 4/(-24) - d/12?
True
Suppose 2*a + 82 = 5*f, 2*a + 45 = -5*f - 37. Let w be 8/12 - (-196)/3. Let m = w + a. Does 11 divide m?
False
Let i(p) = p**2 - 3*p + 3. Let c be i(6). Is 133/c + (-1)/3 a multiple of 4?
False
Let u(w) = -w + 6. Let z be u(6). Suppose z = -9*q + 4*q - 1560. Is q/(-14) - (-2)/(-7) a multiple of 20?
False
Suppose 4*l = 300 + 212. Is l a multiple of 18?
False
Does 8 divide ((-6)/7)/((-12)/112)?
True
Let o(w) = 7*w - 3 + 9 - 3*w. Let d be o(-5). Let r = d + 34. Is r a multiple of 13?
False
Let q(f) = -4 + 0*f + 6*f - 4*f. Let r be q(5). Suppose 2*n = r + 54. Does 15 divide n?
True
Let b = -22 + 34. Is b a multiple of 4?
True
Suppose 3*q - 113 + 3 = -4*y, -q = -3*y + 76. Is y a multiple of 13?
True
Suppose -4*u + f + 19 = -79, 2 = -f. Does 4 divide u?
True
Suppose -6*o + 80 = -5*o. Suppose -3*q + q = -o. Is q a multiple of 20?
True
Let o = 29 + 57. Is o a multiple of 10?
False
Is ((-27)/(-8)*2)/((-15)/(-280)) a multiple of 9?
True
Is (-129)/(-6) + (-6)/4 a multiple of 10?
True
Suppose 0*k - 2*k + 14 = 0. Is 5 a factor of k?
False
Is 9 a factor of (43 + 3)*3/6?
False
Is 15 a factor of 83/((-5)/(5/(-1)))?
False
Let j be 3/((-2)/36*-3). Let r = 34 - j. Does 16 divide r?
True
Let u(l) = -3*l - 3. Let w be u(-2). Suppose 3*d + w = -m - 4, -4*m + 16 = d. Is m even?
False
Let b be 2 + (0/(-1))/(-1). Let m(u) = 3*u**2 + u - 1. Let h be m(b). Let q = h + 0. Does 11 divide q?
False
Does 11 divide 104/1 + (-2 - 2)/4?
False
Is 7 a factor of (-27)/(-1) + (-20)/(-10)?
False
Suppose -4*b + 3*r = -591, -5*b - r + 174 = -541. Is b a multiple of 18?
True
Let h be 7/(36/(-38) - -1). Is h/5 - (-4)/10 a multiple of 11?
False
Let l = 236 - 128. Is l a multiple of 26?
False
Suppose -3*f + 0*f = -3. Let p = 10 + f. Does 11 divide p?
True
Suppose 0 = -t - 5*r + 53, -3*t - 3*r = -118 + 7. Is t a multiple of 33?
True
Let i(g) = 8*g - 8. Is 11 a factor of i(5)?
False
Let r(o) = -o**2 + 7*o - 2. Let s be r(6). Suppose s*v - 30 = -v. Is v a multiple of 4?
False
Let m(q) = 27*q**2 + 2*q - 1. Let a = -4 - -5. Does 23 divide m(a)?
False
Let u = 249 + -141. Is u a multiple of 16?
False
Suppose -5*t = -t - 672. Is t a multiple of 7?
True
Suppose 0 = -n - 3*n - 64. Does 16 divide n/2*(-2 - 0)?
True
Let f(l) = -2*l + 1. Let c be f(-1). Suppose -c = 4*v - 63. Is 5 a factor of v?
True
Suppose 2*i + 5*r = 135, 0 = -i - 2*r - 3*r + 80. Does 5 divide ((-22)/i)/(2/(-90))?
False
Let o(y) = y**3 + 7*y**2 - 2*y + 4. Suppose 5*q = -3*c - 41, 3*q = -2*c + 6*q - 2. Does 6 divide o(c)?
True
Suppose -171 = -2*l - l. Is 19 a factor of l?
True
Let q = 3 - 3. Let n = q - -2. Suppose -2*b - n*b = -152. Is 19 a factor of b?
True
Let v be (-1 + -2)*4/3. Does 11 divide -1 - (3 + 11*v)?
False
Suppose 4*a + 50 = 202. Does 7 divide a?
False
Let g(y) = 6*y + 1. Does 4 divide g(2)?
False
Let q = -10 + 54. Is q a multiple of 11?
True
Let o = -8 - -12. Let t = 9 - o. Suppose -r - 2*p - 2 = 0, -t*p + 6 + 1 = 4*r. Is r a multiple of 3?
False
Let r = 22 + -32. Let g = 49 + r. Does 9 divide g?
False
Suppose a + 4*k = 5*k + 5, -a = -5*k - 1. Let x(i) = i + 4*i**2 - 9 - i**3 + 2*i**2 + 2*i. Is x(a) a multiple of 9?
True
Let j(k) = 18*k**2 + 2. Suppose -v = -a - 3, 5*a + 13 = -4*v + 4*a. Is j(v) a multiple of 24?
False
Let j(v) = -3*v**3 - 5*v**2 + v + 6. Is 6 a factor of j(-4)?
True
Suppose 2*a - 4*a = 3*b, -4*a = 5*b. Suppose b*s = -4*s + 204. Let q = s + -31. Is 10 a factor of q?
True
Let m be 5*6 + 3*-1. Suppose 3*j = -0*j + m. Does 3 divide j?
True
Suppose 4*o = -0*o + 48. Does 5 divide o?
False
Suppose -2*w + 95 = -83. Is w a multiple of 5?
False
Let h(w) = 8 + 16 + 2 + w. Is h(0) a multiple of 9?
False
Suppose -262 = -3*i - b, 0 = 3*i + 5*b - 87 - 191. Is i a multiple of 12?
False
Let q = 8 + -6. Is 9 a factor of ((-35)/(-14))/(q/28)?
False
Let s be (6/(-12))/(2/(-12)). Let g(a) = 13*a - 3. Is g(s) a multiple of 12?
True
Suppose 3*y + 404 = 7*y - q, 2*y - 204 = q. Suppose -y = -3*c + 2*d, c + 3*d - 26 - 22 = 0. Is c a multiple of 9?
True
Let h be 146/5 - (-4)/(-20). Suppose 7 = 2*b + h. Let z = b - -35. Is 20 a factor of z?
False
Let k = -21 + 12. Let t = k + 17. Is 4 a factor of t?
True
Let q = 3 + 41. Is q a multiple of 11?
True
Let h be (-2)/6 - 4/(-3). Suppose -3*c - h + 37 = 0. Does 12 divide c?
True
Is 13 a factor of 3*(429/9)/1?
True
Is 15 a factor of 117/1 + (0/1 - 0)?
False
Let o = 103 - -57. Is o a multiple of 16?
True
Let m(t) = 2*t - 21. Is 5 a factor of m(14)?
False
Let z(d) = 12*d**2 - 3*d. Is 15 a factor of z(-1)?
True
Is (-2)/9 + 4070/90 a multiple of 13?
False
Let c = -400 + 582. Suppose -10 = -2*j, 110 = -2*y + 5*j - 169. Let z = c + y. Does 24 divide z?
False
Suppose 45 = -2*z - z. Let s = 1 - z. Is s a multiple of 11?
False
Suppose -5*h - h + 108 = 0. Does 18 divide h?
True
Suppose 2 = 3*u - 10. Suppose -6 = u*g - g. Is 11 a factor of g/9 + (-155)/(-9)?
False
Suppose -2*c + 6 = 0, -3*c = 3*y - c + 36. Is 22 a factor of (-4)/y + (-152)/(-7)?
True
Suppose -3*g = 5*l - 92 - 96, 0 = -2*g + 4*l + 96. Is g a multiple of 7?
True
Let y be 3/15 + 24/5. Suppose -2*f - y*u + 1 = 0, 3 = -f + u - 0. Is 7 a factor of -1 + (47 + f)/3?
True
Let n(f) = -f - 4. Let o be n(-2). Does 15 divide (4 - -8)/(o/(-5))?
True
Let j(x) = -1 - 5 + 0 - 14*x. Let o be (-52)/14 - 2/7. Is 17 a factor of j(o)?
False
Suppose -2*z - 15 = -7*z. Suppose z*t - 4*t = -6. Is 6 a factor of t?
True
Let p(m) = m**3 - 7*m**2 + 7*m - 9. Let l be p(6). Let c = l - -6. Does 3 divide c?
True
Let n = -9 - -45. Suppose 5*t + y = 2*y + 15, -4*t = 4*y - n. Is 2 a factor of t?
True
Suppose 24 = -2*z - z. Let y = z - -13. Suppose -4*p - 2*g = -26, -y*p = g - 49 + 9. Does 9 divide p?
True
Let x be 2*2*(-46)/(-8). Suppose -28 = 4*m + 4*r, -m + 8*r + x = 3*r. Is -7*(0 - m/(-2)) a multiple of 7?
True
Let r = -10 - -10. Suppose h = -4*q + 55,