 11 = 0, 3*f = -4*a + 92. Does 4 divide a?
True
Suppose 19*w - 10933 = 1892. Is w a multiple of 27?
True
Let u be 258/12 + 2/4. Suppose 3 + u = 5*t. Suppose 3*s + 3*b - 108 = -b, 151 = t*s - 3*b. Does 16 divide s?
True
Suppose -180*v - 582 = -183*v. Does 51 divide v?
False
Let f(r) = r + 2. Suppose 10 = -n + 16. Let o be f(n). Let b = -6 + o. Is b even?
True
Let v be (81 - 25/(-5)) + 5. Let m = 221 - v. Is 5 a factor of m?
True
Let q = 141 + 4230. Is 93 a factor of q?
True
Let b(f) = -73*f - 19. Does 14 divide b(-3)?
False
Is 3/1 + (62 - 7) a multiple of 14?
False
Suppose -3*m + 42 = -6*m. Let q be (m + 0)*8/(-14). Suppose -3*x - 365 = -q*x. Does 14 divide x?
False
Let t be 717/6 + (-2)/(-4). Suppose -12*x + t = -10*x. Does 10 divide x?
True
Let g be ((-15)/9)/(10/(-12)). Suppose 5*a + 13 + 12 = 0, -5*j + 510 = -g*a. Is j a multiple of 25?
True
Let r(k) = 19*k + 114. Is r(7) a multiple of 19?
True
Let f = -6 - -8. Suppose 0 = -3*c + z + 57, -3*c + 93 = f*c - z. Does 6 divide c?
True
Let p = 25 - 45. Let z be (-1)/(12/p)*3. Suppose -s + 16 = h + s, -z*h - 2*s + 80 = 0. Does 6 divide h?
False
Let f be (1 + 0)/(-1)*-25. Let a = 31 - f. Suppose 89 = a*k - 2*k - s, 2*k - 5*s = 49. Does 11 divide k?
True
Let f = 12 - 12. Is f/(-1) - (7 - 2 - 206) a multiple of 35?
False
Let l(c) = c**2 + 6*c. Let s be l(-6). Suppose -2*p - 6*p + 1584 = s. Is 28 a factor of p?
False
Let z(c) = -32*c - 24. Is 13 a factor of z(-6)?
False
Suppose -5*v = -5*y - 120, 73 = 5*v + 2*y - 47. Does 6 divide v?
True
Let m be (5 - -1) + 9 + -9. Suppose 0 = -z + m*z - 4*k - 64, -2*k = 2*z - 22. Suppose -z = 2*f - 5*f. Is f even?
True
Let w = -5 - -6. Let p = 25 - w. Does 18 divide p?
False
Let m be -2 + (0 - (0 + -2)). Let x(q) = -q**2 - 2*q - 580. Let s be x(m). Does 9 divide (s/(-25))/((-6)/(-15))?
False
Let i = -2 - -2. Suppose i*p - 42 = -2*p. Suppose 105 = y + p. Does 28 divide y?
True
Let y = -3 + -7. Let g = y - -50. Let z = -4 + g. Does 9 divide z?
True
Suppose 6*j - 1760 = -10*j. Does 11 divide j?
True
Let l(k) = k**2 - k - 8. Let u be l(4). Let a(b) = 6*b**2 - b + 13. Does 21 divide a(u)?
True
Suppose 5*m = -155 - 10. Let g = 35 + m. Suppose 2*c - 76 = -x, -5*c + g*x + 212 - 13 = 0. Is 8 a factor of c?
False
Let g be ((-47)/(-2) - 5/10)/1. Is 2*-1*1 - (-24 - g) a multiple of 5?
True
Let l = -165 + 215. Is 25 a factor of l?
True
Let p(d) = 26*d**2 - 10*d + 8. Is 26 a factor of p(6)?
True
Suppose 4 = -r + 6, v = -2*r + 53. Is 49 a factor of v?
True
Does 10 divide 8/((-40)/(-3485)) + (-6)/(-2)?
True
Let t(a) be the second derivative of -1/4*a**4 + 5/6*a**3 + 0*a**2 - 5*a - 1/20*a**5 + 0. Is 10 a factor of t(-5)?
False
Let c(q) = q**3 - 6*q**2 + 3*q - 7. Let v be c(6). Suppose -3*k = 3*x - 105, 6*x - 172 = x - 2*k. Let d = x + v. Is d a multiple of 15?
True
Let t(k) = -3*k - 1. Let v be t(-1). Let j = 25 + -22. Suppose -3*f + 279 = -j*y, -5*f - 3*y + 415 = v*y. Is f a multiple of 11?
True
Suppose 10 = a + 4*a. Suppose 43 = 5*r - 2*j - 116, 2*j = -3*r + 89. Suppose r = a*w - w. Is 19 a factor of w?
False
Let n be 4/6 + (-6748)/(-21). Let j = n + -153. Is j a multiple of 12?
False
Let q(o) = -23*o - 46. Let z = 45 + -53. Is 6 a factor of q(z)?
True
Suppose -4*h = 4*z + 500 - 1744, 1247 = 4*h + z. Suppose 2*d - 5*d + h = 0. Suppose 2*i = -k + 50, 5*k - 3*k + 5*i = d. Is k a multiple of 14?
True
Let o = 131 - 75. Is (-4 + (-36)/(-16))/((-1)/o) a multiple of 29?
False
Is 9/15*18*4720/24 a multiple of 36?
True
Suppose 5*v = 3*j + 19, 3*j + 1 = 2*v - 3. Suppose 5*i - 39 + 7 = 2*w, 3*i - w - 20 = 0. Suppose -5*b - 4*c = -c - 20, j*b - 2*c = i. Does 3 divide b?
False
Is ((-462)/(-165))/(2/260) a multiple of 26?
True
Suppose 0 = n + 5*j - 19, -5*n - 4*j + 0*j + 116 = 0. Is (-14 + n)/((-1)/(2/(-4))) a multiple of 2?
False
Suppose -11*v + 3*v = -32. Is (4 - (-525)/6)/(2/v) a multiple of 11?
False
Let r(v) = -v - 9. Let i be r(-11). Suppose i*k - 92 = -5*g, 4*k - 5*g + 88 = 302. Let p = k - -29. Does 16 divide p?
True
Suppose 63*t - 54*t = 1035. Does 23 divide t?
True
Let s(u) = -u**3 - 2*u**2 + 9*u + 8. Let f be s(-5). Let i = 105 + f. Is 11 a factor of i?
True
Let g be 2/(4/(-12) + 1). Suppose -108 = g*j - 4*j. Let b = j - 28. Does 40 divide b?
True
Suppose 24*l - 13789 = 12155. Does 23 divide l?
True
Let w(g) = 18*g + 184. Is 22 a factor of w(13)?
True
Let z(a) be the second derivative of -a**5/10 - a**4/12 - 2*a**3/3 - a**2/2 + 2*a. Let o be z(-3). Suppose 46 = t + b, -b + 32 = 2*t - o. Is 14 a factor of t?
True
Let t(p) = p + 3. Let v be t(8). Let b = v - 7. Does 2 divide b?
True
Let y(i) = -i + 3. Let p be y(-7). Suppose -p*q = -6*q - 128. Suppose l + q - 178 = -5*b, 3*l = 3*b - 84. Is 29 a factor of b?
True
Suppose 0*w - 3*w + 9 = 0. Suppose 0 = 5*x - w*x. Suppose 309 = 3*p - x*p. Does 29 divide p?
False
Let c(q) = -39*q**3 - q**2 - q. Is c(-1) a multiple of 17?
False
Suppose -49 - 77 = -3*l. Is l even?
True
Suppose -654 + 5208 = 46*l. Is 33 a factor of l?
True
Let v be -1 - (-6 - 0) - 3. Let s(l) = 8*l - 3 + v*l - 2 - 7*l. Is 4 a factor of s(7)?
True
Suppose -2*c - 4*s + 4932 = 0, 4*c - 5*c + 4*s + 2478 = 0. Does 10 divide c?
True
Suppose g - 4 = -3*j + 2, 0 = 4*g - 5*j - 7. Suppose 0 = f - g*f - 10. Let l = f - -22. Does 5 divide l?
False
Suppose -2262 = 25*y - 6912. Is 18 a factor of y?
False
Let k be (-6)/27 - (-116)/36. Suppose 15 = -k*m, -3*f = -2*f - 5*m - 183. Is f a multiple of 9?
False
Let t(q) = -q + 9. Let s be t(4). Suppose s*i = 4*i + 5. Suppose 4*k - 70 = -i*x, -3*k = 3*x - 0 - 42. Is x a multiple of 14?
True
Suppose h - 20 = -h. Suppose 45 = -h*a + 13*a. Does 8 divide a?
False
Let h(a) = -2 - a + 14 + 6. Does 18 divide h(0)?
True
Let v(l) be the first derivative of 2*l**3/3 - 2*l**2 + 3*l + 9. Is v(-5) a multiple of 10?
False
Suppose 32 = 54*z - 50*z. Suppose -9*j = -z*j - 157. Is 38 a factor of j?
False
Let g(x) = x + 7. Let b be g(-3). Suppose 5*k = -4*q + 22, 0 = b*q - 1 - 11. Let s(l) = 4*l**3 + l**2 + 2. Is s(k) a multiple of 20?
False
Let r = -164 - -482. Is r a multiple of 35?
False
Suppose -346 = -10*y - 76. Let a = -24 + y. Is a a multiple of 3?
True
Suppose 19*u = 126 + 463. Is u even?
False
Suppose 0 = 12*m - 18*m + 510. Suppose 123 + m = n. Is n a multiple of 13?
True
Let r = 1194 - 685. Does 15 divide r?
False
Let s be 26/(-8)*-1*4. Let q be (18/30)/(((-6)/20)/(-1)). Let z = s + q. Is 3 a factor of z?
True
Let q(a) = -a**2 - 13*a - 2. Let n be q(-9). Let u = n - 10. Is u a multiple of 8?
True
Suppose -3*o - 4009 = -4*n, 0 = 2*n - 6*o + 5*o - 2003. Is n a multiple of 5?
True
Suppose -2*s - 2*s = -88. Let f = s - 52. Let m = f - -51. Is 21 a factor of m?
True
Let j(y) = -y**2 + 83*y - 150. Is 38 a factor of j(47)?
False
Suppose -5*g = -4*s + 550, -3*s - 550 = 5*g - 6*s. Is 3*-16*g/88 a multiple of 4?
True
Is (-38*(-4)/24)/((-6)/(-540)) a multiple of 38?
True
Let p(a) = 5*a + 8. Let o(j) = 5*j**2 + 1. Let y be o(1). Let h be p(y). Suppose c - h = 22. Is 20 a factor of c?
True
Suppose -5*a + 1142 = o, 0 = 11*o - 13*o + 2*a + 2272. Is 12 a factor of o?
False
Let u(i) = 179*i + 12. Is 12 a factor of u(0)?
True
Is 33 a factor of 30 - 30 - (2 + -1132)?
False
Suppose 10*k - 44 = -12*k. Suppose 4*l = k*s + 166, 4*l + 0*l - 151 = -3*s. Does 5 divide l?
True
Let j(h) = -6*h**2 + 64*h - 1. Let b(s) = s**2 - 13*s. Let f(y) = 11*b(y) + 2*j(y). Is 12 a factor of f(-5)?
True
Suppose 50 = 5*u - 5*l, u - 2*l - 5 - 10 = 0. Suppose -s + u*i = -84, -3*i - 36 = 2*s - 243. Is s a multiple of 16?
False
Let r = 1279 - 433. Does 47 divide r?
True
Suppose -6 = u - 2, 4*l - u - 12 = 0. Suppose 4*m - h - 12 = 0, -7*m + 4*m = -5*h - 26. Suppose 3*f + 15 = w + l*f, m*w - 31 = f. Is w a multiple of 4?
True
Suppose -w - 5*a + 12 = 27, 5*w - 6 = 2*a. Suppose w*n + 3*k = 5*n - 767, -2*k + 156 = n. Does 14 divide n?
True
Let h(v) = 24*v - 16. Let q be h(-5). Is ((-45)/30)/(3/q) a multiple of 9?
False
Let s(x) = -x**3 - x**2 + 7. Let z be s(0). Let m be z + -8 + 3*1. Suppose -3*j = -m*t - 2*t + 35, 2*j + 16 = 2*t. Does 11 divide t?
True
Is 8 a factor of 855 + -3 - (-6 - (-4)/2)?
True
Let z = 24 - 22. Suppose -z*d = 12 - 52. Is d a multiple of 3?
False
Suppose 82 = 2*l - 50. Let q = l + -26. Is q a multiple of 10?
True
Does 22 divide 86 - (-1 - -3 - (4 - 0))?
True
Let i = 104 + -99. Is