 Is s a multiple of 8?
False
Let s be (-3)/(-12) + 9/(-4). Is 6 a factor of 24*-3*s/12?
True
Suppose p - 181 = -5. Is p a multiple of 8?
True
Let w be (-1)/(3/45*3). Let y be (16/(-10))/((-1)/w). Let i = y + 35. Is 9 a factor of i?
True
Let f(w) = -w**2 + 6*w - 5. Let k be f(4). Suppose 5 = -5*l + 15. Suppose -c + l*u + k = u, 7 = 4*c - 5*u. Does 5 divide c?
False
Suppose -k + 10*i = 5*i - 94, k = -2*i + 73. Does 16 divide k?
False
Let b = 6 - -44. Is 10 a factor of b?
True
Let h(q) = 4*q**2 - 9*q - 42. Is 17 a factor of h(-7)?
False
Let r(s) = -2*s**3. Let a be r(-1). Suppose -2*q = -a*l + 6, 3*l - 19 = 5*q - 0*l. Let w = 9 + q. Does 3 divide w?
False
Suppose -2*s + p + p = -70, -2*p = -5*s + 178. Does 12 divide s?
True
Suppose -3*g = -4*x + 62, 5*x + 0*g - 62 = -4*g. Suppose 0 = 5*c - x - 241. Suppose 5*s = y + c, -6 = -s - 0*s - 4*y. Is s a multiple of 7?
False
Is 7 a factor of (15/3)/(7/119)?
False
Let g = 21 - 13. Suppose -3*u = 3*j - 33, -3*j = -5*u + g - 1. Is 6 a factor of j?
True
Suppose -423 = -5*n - 4*d + 3*d, 4*d + 8 = 0. Suppose -o + 167 = -2*a + 6*a, -2*a - o + n = 0. Does 15 divide a?
False
Suppose 0 = -5*m + 296 - 1036. Is 12 a factor of m/(-6) - (-9)/27?
False
Let t be (-4)/(-3)*(-15)/(-10). Suppose -t*o - o = -48. Is 16 a factor of o?
True
Let s(i) = 5*i + 59. Is s(17) a multiple of 48?
True
Let x = 106 + -49. Suppose 42 = 3*s - x. Does 11 divide s?
True
Let g(z) = 22*z - 9. Let h be g(12). Let a = h + -179. Is a a multiple of 34?
False
Suppose -138*r = -137*r - 23. Is r a multiple of 2?
False
Let v be 1/3 + 111/(-9). Let u = v - -31. Is 19 a factor of u?
True
Let s(m) = m**3 + 2*m**2 + 2*m + 1. Let q be s(-1). Suppose q = -k + 4 + 3. Is 5 a factor of k?
False
Let l(u) = 4*u**3 + 2*u**2 - 4. Does 18 divide l(2)?
True
Let y = -3 - -7. Suppose 0 = -3*h + p + p + 23, y*h - 25 = -3*p. Let f(q) = q + 4. Is f(h) a multiple of 11?
True
Let y be 0 - (3/(-3) - -2). Let h be 3 - -1 - (y - -1). Suppose h*p - 8 = -3*g + 54, -2*p + 76 = 4*g. Is 9 a factor of g?
True
Suppose 0 = 4*p - 498 - 314. Is 29 a factor of p?
True
Suppose -v = -2*s + v - 18, 8 = 2*v. Let h be (1 - 0)*(-5)/s. Suppose 5 + h = n. Is 6 a factor of n?
True
Let r = 123 + -94. Is r a multiple of 16?
False
Let k(g) = 2*g**2 - g + 1. Let w be k(1). Suppose 4*o = w*r - 16, -4*r - 1 = 5*o + 6. Is 16 a factor of (o + 2)/((-3)/129)?
False
Let m(a) = -2*a - 2. Let c = 5 - 7. Let u be m(c). Suppose 0 = -s - u + 18. Is s a multiple of 10?
False
Let x(i) = -8*i + i**2 + 4 - 3*i + 3*i. Let o be -2 - (-2)/(2/11). Is 13 a factor of x(o)?
True
Let p(x) = x**3 - 1 + 1 - 4*x**2 + 4. Let v be p(4). Suppose -q + 3 = -v. Is q a multiple of 7?
True
Does 9 divide 1*2*(-29)/(-2)?
False
Let n be (-6)/4 - 11/(-2). Is (n/(-12))/(2/(-60)) a multiple of 5?
True
Let v = -8 + 34. Suppose -t - t = -v. Is 5 a factor of (1 - 2)/((-1)/t)?
False
Suppose 0 = 3*t - 1 - 5, b = -4*t + 12. Suppose -2*z + b*z = -4. Is 8 a factor of (-12)/z - (-6 - -3)?
False
Let a(u) = -u**3 + 22*u**2 - 2*u + 51. Is a(22) a multiple of 5?
False
Does 22 divide (69 - (1 - -3)) + 1?
True
Let v(a) = 8*a**2 - 6*a + 2. Let r be v(5). Suppose 3*i + r = 5*k, -k - 3*i = 3*k - 116. Is 14 a factor of -1 + 0 + k + 0?
False
Let l = 15 - 17. Let k(u) = 4*u**2 + u + 1. Is k(l) a multiple of 5?
True
Let l(r) = -r**3 + 5*r**2. Let w be (-47)/(-9) + 4/(-18). Let a be l(w). Suppose -4*u + 120 = -a*u. Is 15 a factor of u?
True
Suppose 257 = 3*a + 2*u - 369, -3*u = -3*a + 621. Is 26 a factor of a?
True
Let k = -61 - -160. Let z = -59 + k. Is z a multiple of 20?
True
Let f(g) = -9*g + 5. Let q(z) = 46*z - 25. Let o(h) = -11*f(h) - 2*q(h). Is 4 a factor of o(2)?
False
Let w be (-16)/10*(-40)/2. Suppose 2*s + l + 16 = 4*s, 4*s = -5*l + w. Does 4 divide s?
True
Let v be (2 + 3)*270/25. Suppose -5*a = -4*z + v, 0 = 3*z + a + a - 29. Is z a multiple of 11?
True
Let z(p) = -2*p - 2. Let d be z(5). Let n = d - -67. Is n a multiple of 14?
False
Let m(s) = 2*s**3 + s + 1. Is 9 a factor of m(3)?
False
Let t(y) = -y**3 + 2*y + 1. Is t(-2) a multiple of 3?
False
Let a(t) = -t**2 - 11*t - 9. Let u be a(-9). Suppose 2*r - 33 + u = 0. Does 12 divide r?
True
Let x(r) be the second derivative of r**4/4 + r**3/2 + 5*r**2/2 - 2*r. Is x(-4) a multiple of 16?
False
Let r be (-16 - -1)*(2 + -9). Suppose -2*q = -r - 55. Does 20 divide q?
True
Let t = 69 + -35. Is t a multiple of 5?
False
Is ((-1768)/85)/((-2)/10) a multiple of 13?
True
Let s = -4 - -13. Let h = s - -1. Is h a multiple of 10?
True
Let s(l) = 9*l - 10. Let d be s(-6). Let r = d - -91. Is 13 a factor of r?
False
Suppose -52 = -2*h + 32. Is h a multiple of 10?
False
Let r be 822/54 + 2/(-9). Suppose r = 2*w + 3*w. Suppose w*a = -1 + 73. Is a a multiple of 12?
True
Let k(x) = -x**3 + 2*x**2 + 2*x + 1. Let l be k(3). Let s be 8/(-6)*-39 + l. Let u = -34 + s. Does 12 divide u?
False
Suppose 5 = w + g + 12, 0 = 4*w - 5*g - 17. Let i = -3 - -2. Is 10 a factor of 2/w - i*21?
True
Suppose -5*c = -3*x + 10, x - 10 = -c + 6*c. Suppose j = -3*r + 7*r - 11, 1 = 5*r + 3*j. Is 41 + x + -1 + r a multiple of 14?
True
Does 4 divide ((-4)/34 - 27493/(-323)) + 3?
True
Let z = 125 + -87. Suppose z = 3*m - 7. Is 11 a factor of m?
False
Let d = 49 - 8. Does 2 divide d?
False
Let p = -14 - -9. Is (-153)/(-5) - 2/p a multiple of 8?
False
Let n be ((-6)/4)/((-6)/16). Let x be (21/(-14))/((-3)/4). Suppose x*g - 2 = -0*g + n*m, 0 = -5*g + 5*m + 30. Does 5 divide g?
False
Let q = -22 - -57. Suppose -120 = -2*v - f, 3*v + 3*f = 6*f + 180. Let y = v - q. Is y a multiple of 9?
False
Let k = -8 + 19. Let m = k - 7. Suppose -28 = -m*y + 92. Is 15 a factor of y?
True
Suppose -2*t + 5*t - 20 = -4*b, 5*t - 16 = 2*b. Suppose 56 = b*l - 2. Is 20 a factor of l?
False
Let b(t) = 2*t**2 - 2*t + 12. Does 20 divide b(-6)?
False
Suppose 3*c = 4*f - 186, 0 = -4*f + c + 4*c + 190. Is f a multiple of 15?
True
Suppose y + 2*w - 609 = -2*y, 5*w = 5*y - 990. Does 11 divide y?
False
Suppose 0 = -3*q - 2*q + 15. Suppose -a = -5*t + 105, -5*a + 0*a - 65 = -2*t. Suppose 5*g = -q*j + 68, g + 0*g - t = -j. Is j a multiple of 10?
False
Let f(m) = -129*m. Is f(-1) a multiple of 15?
False
Suppose 0 = 4*x - 599 - 561. Is 38 a factor of x?
False
Let k(g) = 6*g + 6. Let f = 1 + 6. Suppose -f = -4*v + 17. Is 21 a factor of k(v)?
True
Let m be ((-12)/4 - 0) + 24. Suppose 0 = -5*q + m + 29. Is q a multiple of 10?
True
Suppose 3*z + 46 = -s + 293, -3*s = 15. Suppose -b - 16 = -5*b, -4*h + z = -5*b. Does 13 divide h?
True
Let b(p) = 2*p**2 + p - 1. Let a be b(-2). Let x = a - -35. Does 20 divide x?
True
Let g(t) = t**2 + 2*t + 3. Let c be g(-3). Let h = c - 6. Suppose -2*d + 44 = -h*d. Does 13 divide d?
False
Suppose 0 = -2*t - 0*t + 4. Let l = 14 - 10. Suppose 5*q + 116 = l*p, -3*p - q = t*q - 60. Does 15 divide p?
False
Let u = 3 - 0. Suppose 4*g = u*t + t + 64, 0 = 5*g + 5*t - 130. Is 21 a factor of g?
True
Suppose a + 2*a = -33. Let q(p) be the third derivative of -p**4/8 + 5*p**3/2 + p**2. Is q(a) a multiple of 18?
False
Suppose 0 = 2*x + 4, -5*d - x + 340 = -148. Is 5 a factor of d?
False
Let m(s) = s**3 + 5*s**2 + 3*s - 4. Let n be m(-4). Suppose 3*l - 4*l + 3*h = 0, n = -4*l - 2*h. Suppose w - 32 = -l*w. Is 16 a factor of w?
True
Let j = 238 - 10. Is 12 a factor of j?
True
Suppose 3*w + 3*q - 15 = 0, -2*w + 0*w - q = -6. Is 19 a factor of 6 + -6 - -39*w?
False
Suppose -5*s + 2 + 3 = 0. Suppose 0 = -2*p + 110 + 4. Suppose 5*r = -2*m + p, s = -5*r + m + 70. Is 11 a factor of r?
False
Suppose 3811 = 17*a + 751. Is 18 a factor of a?
True
Suppose k = -k. Let w(u) = -u**2 - u + 12. Is w(k) a multiple of 12?
True
Let r = -3 - -7. Suppose -1 = -3*w + r*a, -5*w + 8 + 5 = -a. Suppose -4*m - 3*h = -98, 0 = m - w*h - 6 - 26. Does 9 divide m?
False
Suppose -6*f = -25 + 7. Suppose -5*j - 44 = -f*i, 0 = -2*i + 6*i + 3*j - 49. Is i a multiple of 13?
True
Let h = 156 + -77. Does 4 divide h?
False
Let y(d) = -d - 6. Let x be y(-8). Suppose x*u - u = 0. Suppose u = m + 2*f - 42, -2*f + 41 = m + f. Is 15 a factor of m?
False
Let r be -4 + 6 - (112 - 1). Let b = -71 - r. Does 15 divide b?
False
Let k(p) be the third derivative of 0 + 1/6*p**3 - 2*p**2 - 9/8*p**4 + 0*p. Is 14 a factor of k(-1)?
True
Does 3 divide -4*(792/(-160) + (-8)/10)?
False
Let y = -170 + 275. Is 18 a factor of 