- q - 24, z*q - 96 = -4*l. Is 15 a factor of l?
False
Suppose 2*g - 5 = 5. Suppose -4*o - 24 = g*w, 5*o = w - 3*w - 13. Let s(p) = -p**2 - 5*p + 2. Is s(w) a multiple of 4?
False
Let c be 468/(-16) - (-2)/8. Suppose 0 = -2*b + z - 42, 4*b + 4*z - 17 = -101. Let o = b - c. Is o a multiple of 3?
False
Let h(o) = o + 11. Let j be h(-8). Suppose j*k = -k + 8. Suppose 172 - 32 = k*a. Is a a multiple of 24?
False
Let x be (6/15)/(1/(-5)). Is 2 a factor of (1/1)/(x/(-6))?
False
Let u(g) = 2*g**3 - 2*g. Let f be u(4). Is 9 a factor of (-1 - 0) + f/5?
False
Suppose 0 = -f + 2*f - 5. Suppose 5*n - f*y - 5 = 0, n - 18 = -4*y + 8. Does 17 divide 40/n*(-36)/(-8)?
False
Suppose -4*a = 9 + 7. Is 0 - 60/(a/2) a multiple of 15?
True
Suppose 0 = a + 2*s + 5, 0*a + 2*a = -2*s. Does 4 divide a?
False
Let a(v) = v**2 + 2*v - 3. Does 15 divide a(7)?
True
Suppose l + 4*l = 280. Let b = l - 28. Suppose -2*m + b = -0*m. Does 7 divide m?
True
Is 5763/34 - 3/2 a multiple of 21?
True
Suppose y + 343 = 4*r, -2*y = -3*r + 39 + 222. Is 10 a factor of r?
False
Let o(i) = i**3 - 6*i**2 + 2*i + 10. Let r be o(7). Suppose -4*c + 70 = -54. Suppose 0 = -4*g + r + c. Is g a multiple of 15?
False
Let i be 6/8 + 21/4. Suppose 3*g + 69 = i*g - 4*s, -4*g - 2*s = -114. Is g a multiple of 17?
False
Suppose 3*t - s - 8 = 1, 3*s - 1 = 2*t. Suppose -4*a + 3*m = -m - 508, -512 = -t*a + 3*m. Suppose -4*q + a = 3*i, 143 = 4*i - 0*q - q. Is i a multiple of 14?
False
Suppose -5*t = -z - 1309, -3*t = -8*t + 2*z + 1308. Does 16 divide t?
False
Suppose 0 = -x - 3*x + 20. Suppose -x = -n - 1. Suppose y = -4*b - 7, -n*y - 5*b + 4 + 1 = 0. Is y a multiple of 3?
False
Let n(g) = -g**2 - 5*g + 5. Let k be n(-5). Suppose -4*s - 16 = -k*s. Is 11 a factor of s?
False
Suppose -5*x = 4*r - 37, x + 4*r = 2*x - 17. Is 5 a factor of x?
False
Let p(a) = 10 - a + 0*a + 2*a + 0*a. Let u be p(-7). Suppose 0 = u*o + 8 - 26. Does 6 divide o?
True
Let w(f) = f**3 - 3*f**2 - 6*f + 4. Let q = -9 + 14. Is w(q) a multiple of 8?
True
Let k be 1228/14 + (-8)/(-28). Suppose k = 4*m + 24. Does 16 divide m?
True
Let c be ((-6)/4)/((-33)/154). Suppose 4*h - c*h = -93. Is h a multiple of 11?
False
Suppose 5*k - 2*f - 288 = 0, -133 - 96 = -4*k + 3*f. Does 10 divide k?
False
Let k(a) = -5*a - a + 3*a**2 - 2*a**2. Is k(7) a multiple of 3?
False
Suppose -2*m - 3*m = -10. Suppose s + m*s + 243 = 0. Is 12 a factor of (-1233)/s - 2/9?
False
Let u = -13 + 26. Suppose 0 = 5*v - 3*y - 149, -v + 2*y - u = -47. Is 7 a factor of v?
True
Let l(x) = x**2 + x. Suppose 0*k - 3*k = 0. Let o be l(k). Suppose o = -5*u + 3*u + 30. Is 13 a factor of u?
False
Let q(s) = -s + 91. Suppose 0 = 5*l - 5, 0*b - 5*l = -4*b - 5. Is q(b) a multiple of 25?
False
Let q(h) be the third derivative of h**5/60 + h**4/8 - 2*h**3/3 + 10*h**2. Let v = -14 - -8. Does 7 divide q(v)?
True
Suppose -74 = 3*n - 11. Let g = n - -41. Is 15 a factor of g?
False
Let r(w) = 3*w**3 - 14*w**2 + 6*w + 20. Is 20 a factor of r(6)?
True
Does 29 divide -58*(-6 - (3 + -3))?
True
Suppose 0 = -2*t - w, -w = t - 0 - 1. Let a(n) = 35*n**2 - 2*n - 1. Let s be a(t). Let o = s - 22. Is o a multiple of 6?
False
Let v be (26/10 + 1)*10. Suppose 2*b = f - 1 - 2, -b + 15 = 5*f. Suppose 0 = f*k + k - v. Does 4 divide k?
False
Let g(y) = -8*y**3 + 2*y**2 + y - 2. Let z be g(2). Let c = -40 - z. Let u = c + 5. Does 16 divide u?
False
Suppose 0 = 5*g + 5. Let b = g - -2. Does 19 divide (-108)/(-3) + (b - -1)?
True
Let i be 0*(-2)/4 - -69. Suppose 0 = -4*c + 4*b + 476, -c + 361 = 2*c + b. Suppose 2*g - 5*l - i = 0, -42 = -5*g + 2*l + c. Does 16 divide g?
True
Suppose -6*u + 4*u = -12. Does 16 divide 31 + (3 - u/3)?
True
Let b(a) = -14*a**2 - 6*a - 4. Let t be b(-4). Suppose 7*r + 34 = -22. Does 15 divide t/r - 1/(-2)?
False
Let i(d) be the second derivative of -d**4/12 - 4*d**3/3 - 2*d**2 - 4*d. Does 3 divide i(-6)?
False
Let w = -8 + 125. Does 10 divide w?
False
Suppose 5*a + l = 21, -5*l - 24 = -a + 1. Suppose a*x = 31 - 6. Is 4 a factor of x?
False
Suppose 5*g - 5*j - 30 = 0, g + 5*j = 3*g - 15. Suppose -108 = 2*w - g*w. Is w a multiple of 7?
False
Let q(d) = 3*d - 2. Let a(t) = t**2 + t. Let y be a(1). Does 4 divide q(y)?
True
Suppose 0 = -10*l + 1509 - 609. Does 12 divide l?
False
Suppose 0 = -4*d + 5*x - 53, -2*x + 7*x = -3*d + 4. Let r = d - -10. Does 3 divide r?
True
Suppose 0 = b - 6*b + 160. Is b a multiple of 4?
True
Let u(h) = h**3 + 18*h**2 - 5*h + 6. Is u(-18) a multiple of 6?
True
Is 6 a factor of 0 - (-96)/(2 + 2)?
True
Suppose -88 = 2*f - 568. Suppose 0 = -4*u + u + f. Let r = u - 43. Is r a multiple of 11?
False
Let k = -32 - -51. Is 6 a factor of k?
False
Suppose l + 3*k = 11, 5*l + 0*k + k - 27 = 0. Suppose -l*a + 93 = 18. Is a a multiple of 5?
True
Suppose -f = l - 0*f - 5, -3*l + 15 = -4*f. Is 18 a factor of (-54)/l*10/(-3)?
True
Let i(k) = k**2 - 7*k + 7. Does 15 divide i(8)?
True
Let h(z) = -12*z + z + 0 - 4 + 5. Does 11 divide h(-4)?
False
Let b(n) = -n**2 - 13*n - 12. Let z be ((-4)/12)/((-1)/6). Suppose -s - z*f - 12 = 0, 5*f = -s + f - 16. Does 14 divide b(s)?
True
Suppose 12 = 5*l - 48. Is l a multiple of 6?
True
Let n be ((-30)/(-9))/((-1)/(-18)). Suppose n = -6*j + 9*j. Does 10 divide j?
True
Suppose -3*r + s + 7 + 4 = 0, 0 = r - 4*s + 11. Suppose -36 = -r*v + 2*v - d, 0 = -2*v - 5*d + 24. Does 6 divide v?
True
Let v = 13 - 9. Suppose t = v*t + 18. Is 5 a factor of 1/t + 275/30?
False
Suppose -3*s = -0*j + 2*j - 107, 4*j - 5*s = 159. Is j a multiple of 20?
False
Let l = -78 - -115. Is l a multiple of 14?
False
Let o(r) = 12*r. Let a be o(5). Suppose -z + a = z. Is z a multiple of 17?
False
Let l(y) = -2*y**2 + 7*y - 5. Let j be l(4). Let q be 51/j*-3 - 2. Suppose -5*v + 30 = -q. Does 3 divide v?
True
Suppose -q - 55 = -4*q - 2*u, 5*u + 20 = 3*q. Let n = q - -14. Is 21 a factor of n?
False
Let d = 128 - 83. Is 15 a factor of d?
True
Let q(i) = -i**2 - 8*i + 5. Is 12 a factor of q(-7)?
True
Let p(s) be the third derivative of s**6/120 + s**5/30 - s**4/24 - s**3/3 + 2*s**2. Let c be p(-2). Suppose -4*a + 80 + 48 = c. Is a a multiple of 19?
False
Suppose -3 = -h, r - 19 = -5*h + 71. Let y = 29 - 61. Let w = y + r. Does 15 divide w?
False
Let i(q) = 2*q**2 - 5*q + 2. Let h be i(4). Is (-310)/(-4) + 7/h a multiple of 26?
True
Suppose 0*l + 20 = -2*l. Let d be l/(2*-1 + 1). Suppose 2*n + 10 = 2*j + 2*j, -j - 2*n + d = 0. Is j a multiple of 2?
True
Let u = -7 - -10. Suppose 0 = 4*z + 4*y - 20, -u*z = y - 3 - 22. Is 5 a factor of z?
True
Suppose 12*r = 1153 - 133. Is 17 a factor of r?
True
Suppose 4*i = -3*m + 21, -2*m = -2*i + 2*m + 16. Let o = 12 - i. Does 3 divide o?
True
Let l(v) = v**2 - v - 3. Let c be l(3). Suppose -c*i = -2*i. Suppose i = -0*o + 2*o - 62. Does 12 divide o?
False
Let m be -2 - (-3 - (2 + -3)). Does 10 divide (99/3 - m) + 2?
False
Suppose -4*d + 0*d + 6 = -g, -g + 2 = 0. Suppose 0 = -d*i + 64 - 4. Is 15 a factor of i?
True
Let l = 32 + 10. Let b = 14 + l. Suppose x + 58 = -3*o + 6*o, -4*x + b = 4*o. Is o a multiple of 18?
True
Let b(x) = 10*x - 34. Is b(9) a multiple of 28?
True
Let w be (-58)/8 - 2/(-8). Let h be (-1)/(-4) - w/4. Suppose -12 = -p - 2*b, h*p = -b + 5*b + 8. Does 4 divide p?
True
Let i be 4/(-22) + 4/22. Let u be i + (-24)/(-2) + 1. Suppose 2*f - u = 1. Is 4 a factor of f?
False
Is 33 a factor of (-8)/(-64) - (-5276)/32?
True
Is 9 a factor of (-2 - 1)*(-9)/(27/30)?
False
Is (-9)/12 + (-1015)/(-20) a multiple of 7?
False
Suppose 0 = 2*o + 2*o + 4. Suppose r - 3 = -0*r, -v + 5*r + 13 = 0. Let w = v + o. Is w a multiple of 18?
False
Suppose -3*a + 2 = -5*c + 4, 0 = 2*c - 2. Is a/3 - 544/(-24) a multiple of 12?
False
Let s = -3 - -6. Suppose 108 = 4*i - q, s*i - 3*q - 2*q - 64 = 0. Suppose 5*r - 2 - i = 0. Is 3 a factor of r?
True
Suppose 3*z - 10 = 182. Does 32 divide z?
True
Suppose 4*p - 240 = -p. Is 30 a factor of p?
False
Suppose -o = 2*o - 132. Is o a multiple of 11?
True
Let n = 72 - 42. Let k = -21 + n. Let s(o) = o**3 - 10*o**2 + 12*o - 8. Does 13 divide s(k)?
False
Let h(j) = -j**2 - 8*j - 1. Let l be h(-4). Let x be -1 + -1 - (7 - 0). Let d = l - x. Does 12 divide d?
True
Let t(f) = f**2 + 2*f - 2. Let s be t(-4). Let r(v) = 12*v + 1. Is 16 a factor of r(s)?
False
Let y(j) = -j + 1. Suppose 5*v + 2*d - 41 = 5*d, 2*v - 5*d - 24 = 0