of z(-1)?
True
Let t = 5 - -8. Suppose -t*k + 88 = -11*k. Does 11 divide k?
True
Let p(g) = -g. Let i(o) = -15. Let m(f) = -i(f) + 5*p(f). Suppose 2*c = 7*c - 2*k + 49, -2*k = 5*c + 61. Is 12 a factor of m(c)?
False
Let f = 3490 + -1510. Does 33 divide f?
True
Let o be (2 + (-105)/(-4))*36. Suppose 297 = -6*x + o. Does 30 divide x?
True
Suppose -7345 = -4*d - 5273. Is d a multiple of 37?
True
Suppose 5*f - 87 = -2*c, 4*f = -4*c + 8*c + 64. Does 6 divide f?
False
Suppose 15 = 5*q - 20. Is (-6)/21 + 296/q a multiple of 21?
True
Is 9 a factor of ((-10)/30)/(2/6) + 151?
False
Let v = -38 + 12. Let q = v - -34. Is (-4)/(q/(-98)) - -3 a multiple of 26?
True
Let g = 33 - -28. Suppose -3*s + 308 = 4*a - g, -5*a + 2*s + 444 = 0. Is 6 a factor of a?
True
Let c = -1959 + 3159. Is 100 a factor of c?
True
Let q = 52 - 74. Suppose -t - 4 = 3*h - 144, 0 = 5*h + 2*t - 235. Let v = q + h. Does 7 divide v?
False
Let a(d) be the second derivative of -d**3/6 + 4*d**2 - 4*d. Let l be a(-5). Let f = l + 13. Does 6 divide f?
False
Let d(y) = 1 + 3 + y - 1 - 2*y. Let g be d(0). Suppose r = 4, -2*t + 56 = -t + g*r. Is t a multiple of 17?
False
Let p(n) = -n - 6. Let k be p(-9). Does 16 divide (-4)/(-18) - (k - 676/36)?
True
Suppose -4*i = -2*g, 2*i = -g + 4 - 0. Let z(s) = 203*s - 1. Does 18 divide z(i)?
False
Let v be (-5)/(-5) + (-1 - 9). Let b be ((-15)/v)/(25/30). Does 6 divide 4 + 1/b*40?
True
Suppose -3*q + 2*k + 2224 = 0, 0 = -13*k + 15*k - 8. Does 24 divide q?
True
Suppose 4*i + 10*l = 9*l + 3948, -4*i + 4*l + 3968 = 0. Is 69 a factor of i?
False
Suppose -340 = -3*l - 16. Suppose -70 - l = -2*t + 4*n, -n = -3*t + 282. Does 34 divide t?
False
Let w(c) = -3*c**2 + 12*c. Let h(l) = -2*l**2 + 12*l. Let a(t) = 4*h(t) - 3*w(t). Let q be a(-12). Suppose q = -0*m - m - 2, 3*r + 5*m = 20. Is r even?
True
Suppose 0 = -6*i + 235 - 37. Is 12 a factor of (-348)/(-22) - (-6)/i?
False
Let i = -1358 + 2110. Is 16 a factor of i?
True
Suppose 3*g - 4*r = 247, 5*g - 642 = -2*r - 187. Suppose 6*i - 7 = g. Is 8 a factor of i?
True
Does 42 divide ((-3 - -2) + -13)/(2/(-96))?
True
Let z(k) = 2*k - 4. Let s be z(0). Is 23 a factor of (3 - (-14)/s)*-46?
True
Let p = 268 - 97. Suppose -p = -16*m + 13*m. Is 44 a factor of m?
False
Let q(j) = j**3 + 5*j**2 + 2*j + 16. Is 12 a factor of q(-4)?
True
Let w(y) = -3*y**3 - 12*y**2 + 7*y - 4. Let u(n) = -2*n**3 - 11*n**2 + 6*n - 3. Let l(x) = -4*u(x) + 3*w(x). Is l(4) a multiple of 13?
True
Let n(o) = o**2 - 30*o + 10. Is 10 a factor of n(-15)?
False
Let a be -1 + (-63)/(-49) + 12/7. Suppose -x - 5*n + 23 = -17, a*x - 4*n - 136 = 0. Is x a multiple of 6?
True
Suppose 3*r + 2*r + 46 = -3*v, 4*r + 32 = -2*v. Suppose 5*x - 10 = -30. Is 15 a factor of v/x + -6 - -48?
True
Let y = 8 + 8. Is y a multiple of 15?
False
Let c(i) = i**2 - 3*i - 1. Let r be c(4). Suppose 29 + 67 = r*l. Is 6 a factor of l?
False
Let n(x) = x - 1. Let q(h) = 3*h**2 + 5*h + 1. Let v(m) = 2*n(m) + q(m). Is v(-7) a multiple of 30?
False
Is (-1)/(9955/6640 + 6/(-4)) a multiple of 16?
True
Let z = -19 + -26. Suppose -14*u - 680 = 398. Let y = z - u. Does 8 divide y?
True
Suppose -216 - 90 = -3*a. Suppose -5*n - 2 = -a. Is 4 a factor of n?
True
Suppose 2*g = x - 78, -5*x + 618 = -g + 237. Let o be x*(13/4 - -2). Suppose 5*y - o = -54. Is 15 a factor of y?
False
Let k(y) = y**3 - 11*y**2 + y - 5. Let j be k(11). Let p(r) = -r. Let n(w) = 19*w - 4. Let l(z) = j*p(z) - n(z). Is 7 a factor of l(-1)?
False
Let f = 12 + -15. Let q be -3*-2*f/(-9). Suppose 3*s = q*k - 16, 4*k - s - 64 = -3*s. Is k a multiple of 3?
False
Suppose -42*i + 50 = -37*i. Does 6 divide i?
False
Suppose 0 = -5*c - 5*d + 945, 3*d - 759 = -4*c - 2*d. Suppose 0 = 3*i - 6*i + c. Is 5 a factor of i?
False
Let j be 4/14 + (-276)/(-14). Let k = -17 + j. Suppose w = k*b + 18, -2*w + 2*b + 22 = 2*w. Does 3 divide w?
True
Let n = -62 + 190. Is n a multiple of 43?
False
Suppose 0 = 127*u - 126*u - 372. Does 14 divide u?
False
Let r = 7 - 2. Suppose -32 = r*o - 9*o. Does 10 divide 122/o + (-2)/8?
False
Suppose -5*y + l = -378, 8*y - 13*y - l = -372. Is 3 a factor of y?
True
Does 17 divide 47 + 834 - 9/(-3)?
True
Suppose -u - 206 = -3*g, -4*g + 3*g = -5*u - 78. Suppose 0 = 2*b + y - 20 - 37, 3*b = 2*y + g. Is 13 a factor of b?
True
Suppose 4*h = -3*q - 1168, -3*h - 876 = 2*q + q. Let u = -140 - h. Does 38 divide u?
True
Let o(k) = k**3 - 8*k**2 + 2*k + 13. Does 8 divide o(8)?
False
Suppose 2*r - 8 = 4*x, -2*r + 5 = -x - 0. Let q(w) = 55*w**3 + 2*w + 1. Let b be q(x). Let m = b + 96. Is 20 a factor of m?
True
Suppose 0 = 5*t - 2*v + v - 320, 0 = 5*t + 3*v - 320. Is 52 a factor of t?
False
Let u(p) = 12*p**2 - 61*p + 312. Does 18 divide u(6)?
True
Is 12 a factor of (-16 + -7 - -5)*(-328)/12?
True
Let d(l) = -8*l + 5 + 0 - 8 + 5. Is 6 a factor of d(-1)?
False
Let r(g) = g - 2*g + 4*g + 8 - 4*g. Let k be r(4). Does 11 divide k/18 + (-1385)/(-45)?
False
Is 12 a factor of 0/((-2 - 3) + 4) + 138?
False
Suppose -5*i + 4*s - 23 = -262, 3*i - 3*s = 141. Let m = i - 22. Let t = 51 - m. Is 22 a factor of t?
True
Let d(p) = 8*p**2 - 2*p + 5. Does 114 divide d(21)?
False
Let y(g) = g**2 - 4*g - 2. Let h be 6/(-15) - (-81)/15. Let f be y(h). Suppose f*k - 272 = -k. Does 21 divide k?
False
Suppose 2*j = 5*z + 169, -5*z + 4*j - 117 = 56. Let a = z - -80. Suppose x = -4*n + 6*x + a, n = -3*x - 1. Is 4 a factor of n?
True
Suppose 4*c - 5*c + 4*b = -23, 0 = c - 3*b - 18. Suppose 3142 = -4*v - 2*z + z, -c*z = -3*v - 2364. Is 25 a factor of (-1)/4 - v/8?
False
Let b(z) = -z - 5. Let o be b(-4). Let s be (2 + -3)/(o/2). Suppose 3 + 0 = l, -s*n - 5*l = -201. Is 31 a factor of n?
True
Does 4 divide (-2)/(-7) - (1358/(-49) - 7)?
False
Suppose 0 = -5*k + k + 12. Suppose -3*i + 320 = 5*n, -2*n - k*i = -7*n + 290. Is n a multiple of 5?
False
Suppose -w = -349 + 51. Is w a multiple of 8?
False
Let z = -15 - -33. Let v = z - 18. Suppose -5*y + 374 - 42 = o, v = 5*y + 2*o - 334. Does 22 divide y?
True
Suppose -2 - 3 = m. Let r = -3 - m. Suppose 3 = -r*a + 7. Is a a multiple of 2?
True
Suppose -4*f - f + 293 = 3*o, 2*f = 4*o - 382. Let m = o - -32. Is m a multiple of 30?
False
Let p = 18 + 799. Is p a multiple of 43?
True
Let d = -27 + 29. Suppose t + 18 = d*t. Is t a multiple of 4?
False
Suppose -3*n - 13*n = -6080. Does 20 divide n?
True
Suppose -11 + 35 = 8*g. Suppose -4*w + 736 = g*x + 225, -2*w + 3*x = -269. Is 29 a factor of w?
False
Let d(m) = 9*m - 2. Suppose 23*q = 20*q. Let y be q + (0 - 3) + 7. Does 19 divide d(y)?
False
Is -1*50/75*(-777)/2 a multiple of 3?
False
Suppose -3*o = -o - 16. Let f be -1*(-4)/(o/82). Let x = 75 - f. Does 11 divide x?
False
Suppose -4*q - 6*h + 2*h + 1544 = 0, -h = -3*q + 1162. Is 12 a factor of q?
False
Is 5 a factor of -5*((-396)/15 + (-24)/(-6))?
False
Let f = 25 - 12. Suppose -5*i + 2*i - f = -h, 0 = 3*h - 4*i - 39. Is 6 a factor of h?
False
Suppose 7131 = 3*y + 30*w - 33*w, y - 3*w = 2373. Is 11 a factor of y?
False
Suppose 116 = p + z, -590 = -5*p - 7*z + 12*z. Is 39 a factor of p?
True
Let a(c) = 2*c**2 - 7*c. Let g be a(6). Suppose -s + 36 = -g. Is 22 a factor of s?
True
Suppose 0 = 4*r + r - 5, 5*t - 4*r = -339. Let j = t - -115. Is j a multiple of 16?
True
Let t(c) = c + 154. Does 17 divide t(19)?
False
Suppose i = -1 - 2. Does 11 divide 33*8/(-36)*i?
True
Let f(i) = -i**2 - 32*i + 73. Is f(-29) a multiple of 16?
True
Let c(l) = -15*l - 184. Is c(-18) a multiple of 43?
True
Suppose -124*f = -108*f - 880. Is 55 a factor of f?
True
Let z(o) = -1 + 10*o - 2*o - 2*o + 6*o. Is 2 a factor of z(2)?
False
Let z = -2 - 2. Let x = 62 + z. Suppose v + 23 = w, -3*w + 2*v + x + 16 = 0. Does 28 divide w?
True
Let p = -24 + 26. Is 48/(((-6)/(-3))/p) a multiple of 12?
True
Let f = 54 - 41. Suppose 88 = -9*w + f*w. Is w a multiple of 13?
False
Let u be (4 - -553) + 3 + (-6)/3. Suppose 9*i - u = 1062. Is 13 a factor of i?
False
Let b be (3 + -3)*(-1)/2. Suppose -2*a = a + d + 296, 5*a - 3*d + 512 = b. Let f = a + 144. Does 11 divide f?
True
Let l(u) = u + 22. Suppose w = 0, -3*a - 5*w + 68 = -7*a. Does 3 divide l(a)?
False
Let c(p) = -p**3 + 4*p**2 - 2*p + 4. Let y be c(4). Let w(z) = -14*z - 16. Is w(y) a multiple of 20?
True
Let n(d) = -d**3 - 14*d**2 - 12*d + 18. Let v be n(-13). Suppose 4*b = -v*l + 1, 0*b = -2*b + 2