309. Is y a multiple of 28?
False
Let z = -1503 + 2256. Is z a multiple of 36?
False
Suppose -v - 11040 = -21*v. Is v a multiple of 12?
True
Let o = 447 + -155. Does 29 divide o?
False
Let j(b) = 6*b + 18. Let a be ((-64)/48)/((-2)/9). Let s(h) = 4*h - 16. Let f be s(a). Does 22 divide j(f)?
True
Let n = 24 - 24. Suppose 0*t + t - 7 = n. Suppose t*p + 35 = 12*p. Is p a multiple of 7?
True
Suppose -4*o + 3768 = -3*k, -3*o - 6*k + 7*k = -2821. Is o a multiple of 12?
False
Suppose 4*u + 3*c - 96 = -0*c, 2*u - 66 = 3*c. Let a = 40 - u. Is 4 a factor of a?
False
Let l(z) be the first derivative of -z**2/2 + 7*z + 1. Let c be (11/(-3) - -2)/((-11)/(-33)). Does 3 divide l(c)?
True
Let b(v) = 132*v**2 + 4*v + 1. Let j be b(2). Let m = -276 + j. Is 13 a factor of m?
False
Let h(i) = 2*i**2 + 3*i - 3. Let q be h(1). Suppose 0 = t - x - 30, 0 = t + q*x - 21 - 0. Is 4 a factor of t?
False
Suppose 3*z - 11 = 22. Let b = 38 + z. Suppose 2*r + 3*x = 3*r - 11, 3*x = -2*r + b. Does 5 divide r?
True
Let v(c) = c**3 - 10*c**2 - 14*c - 1. Let h be v(12). Let z = -25 + 46. Suppose -z = -2*m + h. Does 14 divide m?
True
Suppose s - 43 = 2*t + 4, -4*s - 76 = 4*t. Let m = t + 48. Is 11 a factor of m?
False
Let p = 355 - 295. Is 30 a factor of p?
True
Let u = -72 + 118. Let s = u - 38. Is 8 a factor of s?
True
Let u = 849 - -229. Does 11 divide u?
True
Let z(d) = 5*d + 60. Is 15 a factor of z(22)?
False
Suppose -10 = -5*b, -r + 2*b = -0*r + 8. Does 3 divide (r/(-2) + -9)/(1/(-7))?
False
Suppose -5*s - 103 - 127 = 0. Let c = 67 + s. Is 6 a factor of c?
False
Let o be (-22)/(-8)*(-12)/(-1). Let p = 48 - o. Suppose 0 = -4*a + 2*k + 110, -4*k + p = 2*a - 55. Is a a multiple of 10?
False
Let j = -3 - -5. Let r(y) = 28*y + 6. Is r(j) a multiple of 8?
False
Let o(t) = t**2 - 5. Let v be 4/(-38) - 275/95. Let s be o(v). Is 6 a factor of (-26 - -11)*s/(-5)?
True
Suppose 0 = 10*l - 95 - 465. Does 6 divide l?
False
Let c be (-3)/12*0 - (0 + 0). Let f(b) = 4*b + 81. Is f(c) a multiple of 6?
False
Suppose -n + 0*r + r = 0, -n = -2*r - 2. Is 18 a factor of (-2)/4*(n + -70)?
True
Let y be ((-340)/8)/(-1)*2. Suppose 5*m - y = 55. Let k = 14 + m. Does 9 divide k?
False
Let g(i) = 17*i**3 + 4*i**2 - 2*i - 7. Let u be g(3). Let o = -7 - -10. Suppose -2*r + u = 4*t, -3*r - 293 = -o*t + 64. Is 24 a factor of t?
True
Is (-195)/20*5/((-30)/176) a multiple of 26?
True
Let t(i) = -2*i**2 - 29*i - 29. Is t(-11) a multiple of 12?
True
Suppose -133 = -19*p + 285. Is p a multiple of 3?
False
Suppose -5*j + 6 = -2*j. Suppose -4 = -h - j. Does 13 divide ((-42)/9 + h)*-6?
False
Let t = -1 - -4. Let s(x) = -2*x**2 - 26*x + 4. Let l be s(-11). Suppose l = t*d + d. Does 4 divide d?
True
Is 11 a factor of (-4)/18 + 14/((-504)/(-21068))?
False
Let j(h) = -161*h**3 - 11*h**2 - 24*h - 4. Does 13 divide j(-3)?
True
Let p be 17/((-10)/(-4) + 0 + -2). Let f(j) = 4*j**2. Let y be f(1). Suppose 2*o - y*m = -0*o + 8, o = -4*m + p. Does 7 divide o?
True
Let t(x) = -x**2 - 18*x + 8. Let m be -2 + -1*(-13)/(-1). Does 4 divide t(m)?
False
Let h = 165 - 115. Let m = 93 - h. Does 10 divide m?
False
Let l(b) = -2*b**3 + 2*b**2 - 14*b - 38. Does 7 divide l(-5)?
False
Let l = 2 + -1. Let j(h) = -3*h**2 - h. Let t be j(l). Is 1/t + (-1167)/(-12) a multiple of 29?
False
Let f = -221 + 496. Does 11 divide f?
True
Is ((-15)/(-2))/(54/18540) a multiple of 25?
True
Suppose -2*m = -d - m + 585, -2337 = -4*d + 5*m. Is d a multiple of 12?
True
Let p(r) = -r**3 + 12*r**2 + 8. Let o be p(8). Suppose 0 = 2*h - 3*j - 269, 2*j - o = -2*h - 0*j. Is h a multiple of 19?
True
Let n(q) be the second derivative of q**5/20 - q**4/6 + 2*q**3/3 - 3*q**2/2 + 10*q. Is n(4) a multiple of 5?
True
Let j be (16/(-3))/(2*3/(-18)). Does 14 divide 5/(-20) - (-14)/j*62?
False
Let k(n) be the third derivative of -n**6/120 + 3*n**5/20 + 5*n**4/12 - 3*n**3/2 - n**2. Does 9 divide k(9)?
True
Let g(l) = -5*l + 9. Let w be g(5). Let j = w - -1. Let n(u) = -2*u + 7. Is n(j) a multiple of 8?
False
Let r = 12 - 2. Suppose r = -2*x + 64. Is x a multiple of 9?
True
Suppose u + 5*u = 1416. Suppose -2*m - 2*m = v - u, -2*m + 140 = -5*v. Is 60 a factor of m?
True
Suppose 4*x - 27*t = -28*t + 4053, -3*t + 4047 = 4*x. Is x a multiple of 38?
False
Suppose v - 201 = -3*r, 0 = -2*v + 4*r + 667 - 235. Is 4 a factor of v?
False
Let c = -28 + 30. Let p be -4 - (84 - c/(-1)). Let j = p - -133. Is j a multiple of 8?
False
Let v(k) = 6*k**2 - 13*k + 19. Does 4 divide v(8)?
False
Let i(t) = -2*t. Suppose 2*a - v + 13 = 0, 4*a - 3*v = -a - 34. Let j be i(a). Suppose -2*y = -4*b + j + 116, b - 3*y = 39. Is b a multiple of 11?
False
Let d(p) = 5*p**2 + 3*p + 2. Let u be d(-1). Suppose u*q + 160 = -0*q. Let r = -29 - q. Is 3 a factor of r?
False
Suppose 0 = -17*s + 20135 - 6416. Does 47 divide s?
False
Suppose -2*g - 3*g - 3*h = -9306, 3*g - 5*h = 5570. Does 93 divide g?
True
Suppose 0*r = r + 4*f - 64, -f = 2. Is r a multiple of 6?
True
Let n(o) = -o**3 + 8*o**2 + 3. Let k(q) be the first derivative of -q**2 + 7*q + 4. Let r be k(0). Is n(r) a multiple of 12?
False
Let d(l) = 67*l + 1. Suppose 0 = -v + 4*z + 18, v = -v + z + 8. Does 45 divide d(v)?
True
Let o(t) = 8*t - 14. Let w be o(5). Suppose w = 4*c - 5*q, -5*q = -9 - 1. Does 3 divide c?
True
Let g be 2*40415/(-110) + 2/(-11). Is 30 a factor of (-1)/(-2) + (g/(-2))/5?
False
Let w = 17 - 14. Let k be 20 + -3 + (w - 3). Let m = k - 3. Is m a multiple of 14?
True
Suppose -5*l = -q - 24, -3*l - 2*l + 4 = 4*q. Let v(y) = -5 + l*y - 7*y - 7*y - y. Is v(-11) a multiple of 27?
False
Suppose 38*b = 36*b + 882. Is b a multiple of 9?
True
Let o = 8 - 8. Suppose -4*g + 8*g - 56 = o. Does 6 divide g?
False
Let m = -7 + 42. Let g = m + -23. Does 12 divide g?
True
Suppose 3*x + 45 - 429 = -4*f, 0 = 2*x - f - 256. Let s be 94/((5 - 3)*-1). Let m = x + s. Does 27 divide m?
True
Suppose 0 = 3*v - 7*v + 716. Suppose -6*b + 115 = -v. Does 3 divide b?
False
Let y(w) = -w**2 + 7*w - 3. Let f be y(7). Does 22 divide (8/10)/(f - 1894/(-630))?
False
Let n be (-39)/(-18) - 2/12. Suppose 3*t = 5*r - 69, n*t = 5*r - 2*r - 41. Is 10*-6*(-2)/r even?
True
Does 24 divide 189 + 1 + 46 + -44?
True
Suppose -2*l - x = 0, l - 4*x - 6 = -3*x. Let j(m) = 32*m + 6. Is 21 a factor of j(l)?
False
Let v = -143 - -238. Let q = v - 31. Is 10 a factor of q?
False
Let y = -5 + 7. Let f = 1 + y. Suppose 215 = f*o + 2*o. Is 15 a factor of o?
False
Let d(y) = -4*y**2 - 17*y + 1. Let v be d(-4). Suppose -n - 28 = -v*n. Does 2 divide n?
False
Suppose 38 = 3*t - 52. Suppose 0 = -4*a + 6*a + 548. Does 8 divide a/(-10) - 12/t?
False
Suppose -5*l + 145 = -3*a, -3*a - 2*l = -2*a + 30. Let i(s) = 2*s**3 - s**2 + 2*s - 15. Let t be i(0). Does 24 divide (54/t)/(6/a)?
True
Suppose 2*r = -3*c + 75, -4*c + 0*c + 156 = 4*r. Let n(a) = a**2 + 13*a + 6. Let v be n(-9). Let g = v + r. Is g a multiple of 6?
True
Suppose 2*b = 507 + 481. Suppose 6*i - b - 178 = 0. Does 14 divide i?
True
Suppose 5*o = 2*o. Suppose 8 = 2*j + s, -5*s - 20 + o = -2*j. Let n(l) = l**3 - 4*l**2 + 2*l - 5. Is n(j) a multiple of 15?
True
Is 3/(-2) - (-1479)/34 a multiple of 6?
True
Let t = 25 + -22. Suppose 4*z = t*y + 68 + 139, z - 4*y - 42 = 0. Is z a multiple of 8?
False
Let o be 12/(-10)*(-90)/4. Suppose -s + 2*s - o = 0. Suppose -3*q + 102 - s = 0. Is 5 a factor of q?
True
Let k(y) = -12*y + 4. Let s be k(-15). Suppose -5*v = 2*i - s, 6*v - 5*v + 4*i = 44. Does 6 divide v?
True
Let y be (12/(-18))/((-3)/9). Suppose 0 = y*c - 71 - 43. Is c a multiple of 12?
False
Is 191/(-4 + (-1)/(8/(-36))) a multiple of 16?
False
Let i = 58 - 59. Is 43 + -6 - (1 - -1 - i) a multiple of 3?
False
Is (2 - 4)*-1382*(2 - 1) a multiple of 100?
False
Suppose 3*y + 3*m - 6*m = 18, -2*y - 8 = 2*m. Does 6 divide (-3 - (y + 27))/(-1)?
False
Let d be (-12)/6 + (0 - -4). Let q = -17 - -17. Suppose d*a = -2*m - q*a + 72, 5*m + 4*a = 177. Does 10 divide m?
False
Let o(m) = 3*m + 1. Let y be o(1). Let l = 4 - y. Suppose l = -z - 5*r - 3 + 11, 0 = z - r - 26. Does 9 divide z?
False
Let f be (-76)/(-14) - 3/7. Is 10 a factor of (-4)/(-10) + 268/f?
False
Let c be 1/(-1 + 0/(-1)) + 20. Suppose c*a = 14*a + 600. Is a a multiple of 26?
False
Suppose 4*i = 49 + 7. Let g = i - 10. Is 27 a factor of (-30)/g*(-18)/5?
True
Suppose 3*g - 4*c = 1, -2*g -