2*x. Let s(g) = -g**2 + 5. Let i be s(x). Suppose -p + i*p - 52 = -q, -2*p + 44 = 5*q. Is p a multiple of 5?
False
Suppose -75 = 8*k - 3*k. Let b be (k/10)/((-1)/2). Suppose -48 = -3*a + b*p, -2*a + 27 = -p + 4*p. Is a a multiple of 15?
True
Let l(s) = -5*s + 4. Let o be l(-8). Does 16 divide (-1 + 2 - 4) + o?
False
Let a = 18 - 9. Is 13 a factor of (a/(-6))/((-3)/108)?
False
Let d = 393 + -276. Is 39 a factor of d?
True
Suppose -3*w + 18 = -0*w. Suppose m + 75 = w*m. Does 10 divide m?
False
Let z = 21 + -7. Does 13 divide z?
False
Let o(g) = 13*g**2 + 2*g - 1. Let u be o(1). Let l = -25 + 26. Suppose -l + u = y. Does 13 divide y?
True
Suppose -m + 117 = -3*t, t = -3*m + 510 - 139. Does 41 divide m?
True
Let n(d) = 2*d**2 - 26*d + 8. Is n(15) a multiple of 34?
True
Suppose 5*w + 2*y - 9 = 0, -4*w + 2*y = w - 21. Suppose -4*n - i + 129 = 2*i, w*n - 5*i - 133 = 0. Is 12 a factor of n?
True
Suppose -2*k + 5*k - 225 = 0. Let x = k + -18. Is 19 a factor of x?
True
Let y = -91 + 157. Is 11 a factor of y?
True
Suppose g = -2*u + 2 + 2, -3*g = 5*u - 12. Suppose u*o + 132 = -4*o. Does 16 divide 4 + -5 - 1*o?
True
Let w(p) = p. Let s be w(6). Let r be 11/2 - (-3)/s. Suppose 4*j - r - 10 = 0. Is j even?
True
Let l be 3 + 3*(-6)/(-9). Suppose 0 = 5*s - 4*n - 83, -l*s - 2*n + 4*n = -79. Does 7 divide s?
False
Let d(p) = p**3 - 6*p**2 - 6*p - 5. Let i be d(7). Suppose i*j - 52 = -0*j. Is 13 a factor of j?
True
Suppose -5*r - 3 = 2*s - 0*r, -r = s. Suppose -5 = -3*x - a - 2, 15 = -5*a. Does 8 divide x*s*(-11)/(-2)?
False
Let s be 2/4 - (-20)/8. Suppose 13 = m - b - 13, 0 = -5*m - s*b + 146. Does 19 divide m?
False
Let x(f) = f**3 - 4*f - 2. Is x(4) a multiple of 16?
False
Let h = 10 - 9. Is 3/h + 11 + -4 a multiple of 6?
False
Suppose 5*g = -d - 2*d + 102, 51 = d - 4*g. Does 13 divide d?
True
Suppose 4*k = 3*q - 0*k - 157, 0 = 4*q + k - 241. Is 30 a factor of q?
False
Suppose 2 + 3 = -5*h. Let v be (-7)/(h + 8/10). Let n = 54 - v. Is n a multiple of 10?
False
Let p(g) = -g**3 + 7*g**2 - 3*g - 3. Let o be p(6). Let x be (0 + 6/o)*5. Suppose x*h - 8 = 22. Is 14 a factor of h?
False
Suppose -1 = -4*d + 3. Suppose 5*f - 3*w = -2*w - 14, d = -w. Is 4 a factor of 1*-8*f/6?
True
Let m = 6 + 28. Suppose 5*x + m = 119. Does 11 divide x?
False
Suppose 0 = 5*a - 5*w - 5, 0*a = 3*a + 3*w - 9. Suppose -a*o + 0*o = -54. Is 22 a factor of o?
False
Suppose -4*b = 3*o + o - 40, b + 5 = 2*o. Suppose 2*k + 10 = 5*x - 3*k, -b*k + 10 = 0. Suppose -5*n + 3*n = -2, -j - x*n = -30. Is 10 a factor of j?
False
Let h(n) = -n**2 - 2*n + 12. Let f be h(0). Let d = f - 6. Does 3 divide d?
True
Suppose -2*u + 23 + 81 = 0. Is u a multiple of 15?
False
Suppose -b - 2*b = 2*h - 111, 9 = -3*b. Does 15 divide h?
True
Let d = 5 + -2. Suppose d*b = -h + 3, -h - 2*b = -0*h - 8. Is 9 a factor of h?
True
Let y be (2*-1)/((-5)/40). Suppose 0*l = -l - 3*i + 36, y = 4*i. Is l a multiple of 4?
True
Let h(l) = l**3 - 2*l - 1. Let b be h(2). Suppose -1 = -b*d + 5. Suppose 5*p - 2*n - 73 = 0, -d*n + 61 = 5*p - n. Does 4 divide p?
False
Let c(n) = -4*n**2 - 16*n - 3. Let m(i) = i**2 + 5*i + 1. Let o(l) = -2*c(l) - 7*m(l). Let r be o(4). Does 5 divide r*5*(-4)/(-6)?
True
Suppose 0*s + 8 = 4*s. Suppose s*k + 2*k - 44 = 0. Is 4 a factor of k?
False
Let a = 111 - 60. Suppose 0 = -5*z - w + 49, 6*z - a = z + w. Is z a multiple of 10?
True
Suppose -69 = -2*o - 3. Does 15 divide o?
False
Let j(v) = -v**3 + 5*v**2 + 5*v + 2. Let z be j(6). Is 58/7 + z/14 a multiple of 8?
True
Suppose 5*g - 15 = 0, 0 = 4*i - 2*g - 166 - 36. Suppose i = a + a. Is a a multiple of 13?
True
Let w(o) be the first derivative of o**4/4 + o**3/3 + 55*o + 5. Does 11 divide w(0)?
True
Does 33 divide (98 - (-20)/4)*1?
False
Suppose 0 = 4*b - 4*g - 12, -b + 36 = b + 4*g. Let j be 2 + -5 + b*1. Suppose -3*a + 57 = a + j*u, -3 = -a + u. Is 5 a factor of a?
False
Suppose -7*v + 9*v = 6. Suppose -h + n = -15 - v, 2*h - 3*n = 39. Is 5 a factor of h?
True
Does 14 divide (36/(-3))/3 + 26?
False
Let m = 8 - -27. Let c = m - 25. Suppose p - c = 1. Is p a multiple of 11?
True
Let r(d) = -2*d**3 + 2*d + 2*d**3 - 3 + d**2 + 4*d**3 - 3*d**2. Let p be r(2). Suppose -152 = -3*c + 2*t, p + 43 = c - 5*t. Does 24 divide c?
True
Suppose 0 = -4*u - 0*u + 28. Let y be (u - 0)*6/(-6). Let c = y - -23. Does 7 divide c?
False
Suppose -3*v + 4*v = -4*s + 124, 4*s = -3*v + 364. Does 18 divide v?
False
Suppose -5*x + 6 = q - 20, 2*q = -5*x + 57. Suppose o - 74 = q. Does 26 divide o?
False
Let u be (1029/6)/(-7)*-2. Suppose n - u = z + 3*z, 5*n - z = 321. Is n a multiple of 20?
False
Let q(p) = -13*p - 7. Let o be q(-11). Let s = 196 - o. Is 26 a factor of s?
False
Suppose -4*o - o = -5*g + 85, 39 = 2*g - 3*o. Is (8/g)/(4/30) even?
False
Let z = -22 + 174. Is 19 a factor of z?
True
Let k(n) = n**2 - 8*n + 4. Let f be k(8). Suppose f*g = 2*z + 42, -g + 48 = 3*g + 4*z. Does 11 divide g?
True
Let z(q) = 2*q**3 - 2*q**2 + 2*q - 4. Let g be (-4)/18 + 58/18. Does 19 divide z(g)?
True
Suppose 2*m = k - 177, -2*k + 2*m = 5*m - 375. Let o = 275 - k. Suppose -4*g + o = -5*x, -g + x = 2*x - 14. Is g a multiple of 9?
True
Let m be (-12)/(-5) + 4/(-10). Let a be -6*(3 + -2)/(3/(-6)). Suppose 0*j = -m*j + a. Is 6 a factor of j?
True
Let j(u) = 2*u + 4. Let b be 122/14 + 10/35. Is 6 a factor of j(b)?
False
Let g(f) = 3*f - 8. Suppose -2*n - 40 = -6*n. Is g(n) a multiple of 11?
True
Let v = -13 + 92. Let w = v + 9. Does 18 divide w?
False
Let c(r) = -2*r + 427. Does 17 divide c(0)?
False
Suppose -2*m - 2*w - 12 = 0, 4*m - m + 4*w + 22 = 0. Let g be m/(-8) - 1281/(-12). Suppose 4*b - 114 = -3*x, b = -4*x + 45 + g. Does 13 divide x?
False
Is 15 a factor of ((-87)/(-6)*2)/1?
False
Let g be -2*(1 + (-10)/4). Suppose 3*k = -2*k. Does 11 divide 11/g*(3 + k)?
True
Let l be ((-9)/6)/(6/16). Let x = -3 + l. Let m = x - -11. Is 3 a factor of m?
False
Suppose k - 4*l - 39 = 0, -2*k = -l - 2*l - 98. Let w = k - 39. Is 11 a factor of w?
False
Let p(v) = -8*v + 5 - 6 - v - 1. Is p(-2) a multiple of 16?
True
Let y(q) = 2*q**2 - 6*q - 9. Let u(v) = 2*v**2 - 5*v - 8. Let d(f) = 7*u(f) - 6*y(f). Is 9 a factor of d(-3)?
False
Let w(k) = k**3 + 8*k**2 - 3*k + 5. Let l be w(-7). Suppose 6*n = 3*n - l. Let b = n - -41. Is b a multiple of 9?
False
Suppose -4*q = -5*h - 54, 3*q + 2*h - 56 = -2*h. Suppose 4*x - q = -4. Is x even?
False
Does 4 divide (-80)/(-3)*48/40?
True
Suppose -2*t - 70 = -w - t, 0 = 3*w + 5*t - 226. Is w a multiple of 12?
True
Let w(j) = 23*j**3 + j**2 - j + 1. Does 21 divide w(1)?
False
Suppose -2*f + 124 = 2*f. Is f a multiple of 9?
False
Suppose 527 = 5*l - 448. Is l a multiple of 25?
False
Let s = 420 + -247. Suppose -253 = -3*q + 2*h - 3*h, -2*q + s = 5*h. Suppose 2*l = 5*l - q. Does 24 divide l?
False
Suppose 4*f + l - 236 = -0*l, 5*f - 5*l - 320 = 0. Is f a multiple of 10?
True
Suppose 4*j - 6 - 2 = 0. Suppose 0 = -g - j*m + 33, 6*g - g = -m + 156. Does 13 divide g?
False
Let z(q) = q**2 + 5*q - 2. Let p be z(-5). Does 16 divide -3 + -70*1/p?
True
Suppose -3*m - y + 328 = 0, -544 = -5*m - 0*y + y. Is 14 a factor of m?
False
Let i = 41 - 21. Is i a multiple of 5?
True
Suppose -13 = -5*j + 47. Suppose 3*b - 48 = j. Does 15 divide b?
False
Let i(m) = -87*m + 5. Does 38 divide i(-3)?
True
Suppose 7 = -5*z + 32. Suppose -z*x + 2 = -138. Does 13 divide x?
False
Let t(r) = 5*r**2 + 4*r - 11. Let l(v) = -11*v**2 - 9*v + 23. Let a(f) = 4*l(f) + 9*t(f). Is a(7) a multiple of 11?
False
Suppose 0 = -4*o + 5*q - 7, 0 = -2*o - 2*q + 10 - 0. Suppose 0 = -4*n - s + 66, -o*s = 3*n - 0*n - 52. Is n a multiple of 16?
True
Let a = -49 - -59. Is a a multiple of 2?
True
Let b = 39 + 43. Is 5 a factor of b?
False
Let c(t) = -10*t. Let s be (10/8)/(1/4). Let a be ((-5)/s)/(1/3). Is c(a) a multiple of 13?
False
Suppose -4*a + 35 = 3*m, -5*m + 3*a + 3 = -7. Let b = m + 16. Does 5 divide b?
False
Let t(z) = -z**3 - 4*z**2 - 2*z + 2. Let m be t(-2). Does 12 divide (32/6)/(m/(-9))?
True
Let w = 43 + -20. Is 4 a factor of w?
False
Let p(n) = -n + 8. Let c be p(-6). Suppose 4*l + 6 = c. Suppose 13 + 31 = l*h. Is 22 a factor of h?
True
Suppose 3*r + 259 + 92 = 0. Let q = r + 192. Does 17 divide q?
False
Suppose -89 = -6*y + 271. Is 15 a factor of y?
True
Is (1 - 2)*-25 + 4 a multiple of 3?
False
Let s(r) be th