 divide z?
True
Let j = 185 + -293. Is 3 a factor of ((-11)/((-66)/j))/(2/(-3))?
True
Is 0 - (5/(-10) - -1)*-422 a multiple of 81?
False
Suppose 4*f - 2*u - 330 = 3450, 4*f - 3786 = 5*u. Is 59 a factor of f?
True
Is 26 a factor of (-2 - 414)*(2 - 5)?
True
Let s(g) = g - 5. Let i be s(5). Let r(b) = b**3 - 3*b - 6 + b + i*b**3 + 2 + 5*b**2. Is 6 a factor of r(-5)?
True
Let b be 970/4*(-20)/25. Let g = -58 - b. Let m = g - 82. Does 21 divide m?
False
Let c(o) = o**3 + 4*o**2 + 4*o + 4. Let i be c(-4). Does 17 divide 1 + 169 + 4/i*0?
True
Let w(x) = x**3 + 10*x**2 - 16*x + 98. Does 3 divide w(-11)?
True
Let x(a) = 9*a + 4. Let f(l) = 19*l + 8. Let q(t) = 4*f(t) - 7*x(t). Is 14 a factor of q(6)?
False
Let v(l) = -2*l**3 + 40*l**2 + 5*l + 82. Is 7 a factor of v(20)?
True
Suppose 78 = 5*t - 1722. Is t a multiple of 10?
True
Is 7 - ((-17 - -10) + -2829) a multiple of 15?
False
Let i be (-2)/(-4) - (-2)/(-4). Suppose 0*a - 3*a + 33 = i. Let p = 7 + a. Does 18 divide p?
True
Suppose -10*l + 12*l = 0. Let x = -24 + 3. Let k = l - x. Is 7 a factor of k?
True
Let w(d) = d + 2. Let z(s) = -s**2 + 14*s + 11. Let r be z(14). Does 5 divide w(r)?
False
Let d = -76 - -78. Let y = 3 + 9. Let f = y - d. Is f a multiple of 6?
False
Suppose -460 - 496 = -2*x. Is x a multiple of 9?
False
Is 12 a factor of -3*(13 + -11)*-394*1?
True
Let a(x) = 25*x**3 - x**2 - x + 2. Let s(f) = 3*f**2 - f**2 - 1 + 3 - 3*f**2. Let h be s(1). Is a(h) a multiple of 5?
True
Let i = 60 - 54. Does 46 divide (-282)/(-6)*(i + -1)?
False
Let h be ((-14)/21)/(4/(-852)). Let z = h - 72. Does 10 divide z?
True
Let p be 2 - (1*3/(-3) + -2). Suppose 2*l + 171 = 3*l - 2*q, -4*l = -p*q - 678. Is 21 a factor of l?
False
Let f = 418 + -227. Is 22 a factor of f?
False
Is -280*((-95)/70 + (-2)/14) a multiple of 35?
True
Suppose 2*t - 2479 = 3*v, v - 1650 = 3*v - 2*t. Let n = 555 + v. Is n/(-18) + (-14)/63 a multiple of 3?
True
Let n(b) = -b**3 - b**2 - 4*b - 10. Let f be n(6). Let r be f/5*75/15. Let w = r - -421. Does 36 divide w?
False
Let h be 6/8*(-1 - 3). Let j = h - -77. Is 30 a factor of j?
False
Let g(l) = -4*l + 17. Let b be g(4). Is 33 a factor of 0/4 + 116*b?
False
Let q(r) = r**2 + 14*r + 10. Let j(z) = -2*z**2 - 15*z - 9. Let c(b) = 2*j(b) + 3*q(b). Let l = -6 - -16. Is c(l) a multiple of 23?
False
Is ((-116)/(-8) + (-2)/2)*6 a multiple of 13?
False
Let o(w) = -5*w - 26. Does 20 divide o(-45)?
False
Suppose 2*t - 3*t - 41 = 0. Let c = 98 + t. Is c a multiple of 11?
False
Let z(f) = -5*f + 1. Let k = 18 + -25. Let p be z(k). Suppose 2*r - 3*j + 7*j = p, r - 30 = 2*j. Is 6 a factor of r?
True
Let v be ((-12)/(-7) - 8/(-28)) + 3. Suppose 2*o = 4*o - 2, v*o = 5*z - 160. Is 18 a factor of z?
False
Let r(j) be the second derivative of 17*j**4/12 + j**3/6 - j**2 + 8*j. Let o = -1 + 2. Is r(o) a multiple of 8?
True
Suppose -196 + 51 = 5*s. Let z = -9 - s. Is 5 a factor of z?
True
Let o(l) = l**3 - 14*l**2 - 25*l + 20. Is o(19) a multiple of 135?
True
Let y be 3 + 0 - 1*3. Suppose -3*i + 9 = -y*i. Suppose 0 = i*g + g - 20. Is g even?
False
Suppose -499 = -4*c + 21. Does 10 divide c?
True
Suppose -g + v - 2 = 0, 7*v = 4*g + 2*v + 13. Suppose -118 = -g*l + 74. Is l a multiple of 8?
True
Suppose 5*f + 35 = 10*f. Suppose 468 = f*n - n. Does 13 divide n?
True
Let l(z) = -22*z**3 - z**2 + 7*z + 2. Is l(-3) a multiple of 30?
False
Let j(p) be the first derivative of 13*p**2/2 - 2. Let c(o) = o**3 - 10*o**2 + o - 9. Let l be c(10). Does 13 divide j(l)?
True
Let i(z) = -2*z**3 - 3*z**2 - 3*z - 3. Let c be i(-2). Suppose 11 = c*g - 10. Is 2 a factor of g?
False
Let n(s) = 0*s + 4 - 10 - 3*s - 2*s. Let o be n(-3). Let r(l) = 2*l - 6. Does 4 divide r(o)?
True
Suppose 4*c - 267 = -91. Let p be (22/c)/(2/(-184)). Let y = 76 + p. Is y a multiple of 6?
True
Let f(o) = o**3 - 10*o**2 - 15*o + 4. Does 105 divide f(12)?
False
Suppose 12*t - 4788 - 672 = 0. Is t a multiple of 65?
True
Let p(m) = -m - 9. Let c be p(-12). Let n(f) = f**3 + 2*f**2 - 3*f + 3. Is 13 a factor of n(c)?
True
Let w(m) = -m**3 + 9*m**2 + 10*m + 7. Let v be w(10). Let k(q) = -q**2 + 6*q + 10. Let c be k(v). Is 2 a factor of ((-4)/(-16))/(c/84)?
False
Let x(m) = -2*m - 4. Let h be x(-4). Suppose -k = -h*k + 435. Suppose -2*n = -3*y + 100, 5*n = -5*y + 4*n + k. Is 10 a factor of y?
True
Suppose -4*l + 32 = o, -5*o - 6*l = -3*l - 194. Suppose 0 = j + j - o. Let m = -13 + j. Is m a multiple of 2?
False
Let r(z) = z - 2. Let a be r(0). Let c be a/8 + 498/8. Suppose -7*k + 2*k = -4*u + c, 0 = 5*u + k - 92. Is 5 a factor of u?
False
Suppose -10*o + 1273 - 393 = 0. Is 8 a factor of o?
True
Let t(b) = b + 1. Let a(m) = -6*m. Let g(l) = a(l) - t(l). Let j be g(1). Does 2 divide j/(-6)*(-15)/(-10)?
True
Suppose -45 = -6*d - 195. Let t = d + 53. Is 14 a factor of t?
True
Let w = 3273 - 1279. Does 28 divide w?
False
Let i = 254 - 181. Let h = 1 + i. Is 37 a factor of h?
True
Let y(n) = 59*n - 60. Does 55 divide y(15)?
True
Suppose -8*t = -9*t - 20. Let k = 17 - t. Does 10 divide k?
False
Let s = -12 + 4. Is s/28 + 88/14 even?
True
Let q(c) = 31*c**2 - 7*c + 10. Let u = 100 + -98. Is q(u) a multiple of 12?
True
Let y(r) = -567*r + 9. Is y(-1) a multiple of 8?
True
Suppose 2*v + v = 15. Let r = v + 0. Let f(g) = -g**3 + 6*g**2 - 2*g - 1. Is f(r) a multiple of 7?
True
Let x(h) = -33*h - 449. Is 128 a factor of x(-33)?
True
Let v be -2 + 3 + (11 - 8). Suppose 4*z - 2*x - 97 - 45 = 0, 5*x + 139 = v*z. Does 18 divide z?
True
Let l(s) = -3*s**2 - 15*s + 1. Let v(n) = -2*n**2 - 8*n. Let z(o) = 3*l(o) - 5*v(o). Let q be z(4). Does 18 divide -108*(q + (-2)/(-4))?
True
Let v be (0 - 15/(-5)) + 30/3. Let l = v + 0. Is l a multiple of 2?
False
Let p = 11 + -14. Let a be 17 + p/(0 - 1). Suppose a - 2 = u. Does 9 divide u?
True
Suppose 5*f - 3 = 7. Suppose -q = 7 - f. Does 17 divide (-747)/(-45) + (-2)/q?
True
Suppose b - 15 = -0. Suppose u - 109 = l, l = 6*l + b. Is 23 a factor of u?
False
Let s = 1862 + -1205. Does 24 divide s?
False
Let k(l) = -4*l + 21. Let z be k(7). Let p(u) = -2*u**3 - 11*u**2 + 7*u. Is p(z) a multiple of 11?
False
Let t(j) = j + 15. Let o be t(-2). Suppose -8*v + o*v = 675. Does 51 divide v?
False
Let v(s) = s**3 + 4*s**2 - s - 1. Let m = 17 + -23. Let a = 4 + m. Is 9 a factor of v(a)?
True
Let u(s) = -104*s - 1418. Is 57 a factor of u(-28)?
False
Let f = -6 - -66. Let g = 105 - f. Does 15 divide g?
True
Suppose 236 = 2*a - 76. Is a a multiple of 12?
True
Let w be (33/12)/(26/8 + -3). Suppose 756 = w*b - 740. Does 20 divide b?
False
Let q(j) = 60*j - 222. Is q(5) a multiple of 10?
False
Suppose -3*h - 5*p + 1703 = 0, 4*h + 20*p = 18*p + 2294. Is 24 a factor of h?
True
Let d(r) = r**3 + 11*r**2 - 15*r - 24. Is d(-10) a multiple of 22?
False
Let v(l) = -36*l + 43*l - 13 + 21*l - 20. Is v(6) a multiple of 9?
True
Let v = 1360 + -714. Is 21 a factor of v?
False
Let s be 3 + 67 + 5 + -1. Suppose -3*k - 2*l = -s, 4*l = -2*k - k + 70. Does 26 divide k?
True
Suppose 0 = -4*g + 3*g + 40. Is 8 a factor of ((-48)/(-10))/(6/g)?
True
Let r = 3403 + -1945. Is 6 a factor of r?
True
Suppose -4*o = -h + 94, 0 = 2*h + 9*o - 7*o - 198. Is 14 a factor of h?
True
Suppose -4*f + 13 = -3*d + 4*d, -4*f = 3*d - 15. Suppose -k = f*b - 22, -3*k + 2*b + 27 = -2*b. Is k a multiple of 13?
True
Suppose 3 = -j + m + 22, 4*m + 12 = 0. Let r(b) = b**2 - 8*b - 22. Is r(j) a multiple of 38?
False
Is 17 a factor of 16276/10 - 153/255?
False
Suppose 0 = -x + 214 - 24. Suppose 16*h = 6*h + x. Does 12 divide h?
False
Let y = 1731 - -305. Does 14 divide y?
False
Suppose -416 = -14*s - 80. Is 7 a factor of s?
False
Suppose 5*s + 2433 = -3*p, 4*s + s + 5*p + 2435 = 0. Let f = s + 706. Does 37 divide f?
False
Suppose 3*d - 8*d = -1185. Suppose 4*j + 3*q = d, 0*q + 2*q = 5*j - 302. Is j a multiple of 20?
True
Suppose -7*t = -146 - 1170. Is 14 a factor of t?
False
Let p(f) = -9*f - 1. Is 10 a factor of p(-33)?
False
Suppose 14*g - 846 = -3*m + 17*g, 5*m - g = 1430. Is m even?
False
Let b be (0 - -4)*1 + -2. Let q = b - -1. Suppose -33 = -2*d + q*j, 5*d + j = 3*j + 55. Does 9 divide d?
True
Suppose -3205 = -2*q + 575. Is q a multiple of 30?
True
Does 5 divide (-3*(-1)/4)/(42/18536)?
False
Suppose -10*k - 266 = -12*k. Suppose -z + k = -81. Suppose -2*n = 5*i - 358, 4*i - i + 2*n - z = 0. Doe