 5*r - 33 = p*r. Suppose u - 40 = -r. Does 12 divide u?
False
Let q = 916 + -529. Does 27 divide q?
False
Let j(f) = -f**3 + f**2 + 5. Let u be j(0). Let w be 2*(-1)/2 + (-28)/4. Does 17 divide w + u - (-1 - 19)?
True
Suppose 0 = x - 4*r + 12, -2*r - 24 = 2*x + 2*r. Let s = 16 + x. Suppose -8*p - 4*z + 395 = -3*p, -3*p = -s*z - 237. Is 23 a factor of p?
False
Let i(q) = 39*q - 15. Let c be i(12). Let o = c - 267. Is o a multiple of 11?
False
Let c(u) = u**3 - 8*u**2 - 10*u + 13. Let n be c(9). Let v(g) = -g**3 + 5*g**2 - 2*g. Let z be v(n). Suppose 5*y = z*y - 81. Is y a multiple of 9?
True
Is 1784/10 + -6 + (-2)/5 a multiple of 4?
True
Suppose q - 1152 = -b + 1902, 4*b - 12261 = 5*q. Is b a multiple of 23?
True
Is (-19 - (-1 + -6)) + 3012 a multiple of 15?
True
Let x(h) = 3*h - 2*h**2 + 2*h**2 + 3*h**2 - 12 - 2*h**2. Is 10 a factor of x(8)?
False
Let x = 0 - -5. Suppose -4*a + 9*a - x = 0. Suppose -4*g + 7 = r, -g - 3*r - a = -0*r. Is g even?
True
Suppose -3*h = -1354 - 104. Is 32 a factor of h?
False
Suppose -18*j + 22*j = 3296. Is 22 a factor of j?
False
Let f(r) = r**2 - 3*r - 55. Let u be f(0). Is 21 a factor of ((-38)/5 + 1)/(11/u)?
False
Let t(r) = 22*r**2 + 2*r - 1. Let p be (-30)/(-7) + 4/(-14). Suppose 11*f - 7*f - p = 0. Is 5 a factor of t(f)?
False
Let r = 332 + -226. Suppose 2*x = 4*w + r, x - 3*w = 2*w + 68. Is 7 a factor of x?
False
Suppose -v + 12 = -3*x - 4*v, 8 = x - 2*v. Suppose x = 5*m + m - 306. Suppose -4*j - 4*f = -164, 0 = -j - 5*f + 2*f + m. Is j a multiple of 12?
True
Let q(v) = -8*v - 97. Is q(-18) a multiple of 36?
False
Let l = -132 - -1068. Is 8 a factor of l?
True
Let s be ((-12)/10)/((-8)/260). Let x = 46 - s. Is x even?
False
Suppose 5*r - 225 + 40 = 0. Does 26 divide r?
False
Let v = 18434 + -12964. Does 29 divide v?
False
Let g be (-1)/4 + 1085/20. Suppose u - g = -2*u. Is 29 a factor of 2/12 + 1041/u?
True
Let r(u) = 15*u**3 + 3*u**2 - u - 6. Is r(2) a multiple of 124?
True
Let d(q) be the third derivative of -q**5/60 + 2*q**4/3 + 8*q**3/3 - q**2. Let v be d(17). Is v + (-28 + 2)*-3 a multiple of 20?
False
Suppose -2*i = -1 - 5. Suppose 0 = -2*g + i*m - 22 + 74, -m + 36 = 2*g. Is 10 a factor of g - -1 - 0/(-1)?
False
Suppose -4*c = -3*c - 1. Let r be 2/(-4)*c*82. Let a = r - -60. Is a a multiple of 19?
True
Suppose 580 = 116*o - 96*o. Is o a multiple of 12?
False
Let l be (-1 + -2)*(-20)/30. Let o(p) = p**2 + 3*p - 10 - 4*p + l*p. Does 23 divide o(7)?
True
Let a(v) = -v**3 - 8*v**2 - 130*v - 20. Does 93 divide a(-14)?
True
Let g = 13 - 8. Let a be -2 + g + -1 + 0. Let i(o) = 9*o - 1. Does 17 divide i(a)?
True
Let a be 92/28 + 2*(-2)/14. Suppose -q + 3*l = -21, 0*l + 39 = a*q - 3*l. Does 3 divide q?
True
Let r(u) = -u**2 - 7*u - 3. Let s be r(-6). Suppose -5*v + 4*w + 6 = 3*w, -4*v + s*w = 4. Suppose -z + 22 = 2*h, 0 = -v*h - 2*z + 24 - 4. Is 4 a factor of h?
True
Let a be ((-196)/20 + 3)*-60. Suppose 9*c + a = 13*c. Does 21 divide c?
False
Let x be (2/(-5))/(8/20)*-1. Is 11 a factor of 9 + 56 - x*-4?
False
Let y(b) = -3*b - 18. Let f(d) = -5*d - 35. Let w(z) = -4*f(z) + 7*y(z). Does 5 divide w(-6)?
True
Let c(t) = -t**3 + 2*t**2 + 7*t - 6. Let k be c(4). Let l be 2*(-3)/6*k. Suppose -3 = y, -10 = -2*n + 4*y + l. Does 4 divide n?
True
Suppose 4*k + 3*t = 438, -4*t - 4 - 4 = 0. Is 13 a factor of k?
False
Let x(q) = -q**3 + 23*q**2 - 41*q - 9. Is x(14) a multiple of 62?
False
Suppose -9 + 7 = -m. Let r(l) be the second derivative of 3*l**5/10 - l**3/2 + l**2 - 2*l. Is 22 a factor of r(m)?
True
Let u(k) = -2*k**2 + 99*k + 160. Is 25 a factor of u(38)?
False
Is 12 a factor of (4 - 3)*258/2?
False
Let m = -14 - -205. Is 23 a factor of m?
False
Is 9711/21 + 56/98 a multiple of 13?
False
Let t(b) = -4*b**3 - 25*b**2 - 21*b + 24. Does 34 divide t(-10)?
True
Suppose 2*a + g = a + 1, -2*a = -3*g - 27. Let f = a - -27. Does 7 divide f?
False
Let m be -4 - (-4 + (-8)/(-4)). Is (2*(-11 - m))/(-2) a multiple of 3?
True
Let g = 929 + -482. Is g a multiple of 11?
False
Let i(u) = 12*u - 620. Does 4 divide i(60)?
True
Let i = 30 + -11. Suppose -5*a - 4*g + i = -144, -2*a = 5*g - 72. Is 5 a factor of a?
False
Let w(t) = -451*t - 1507. Is 33 a factor of w(-10)?
True
Let i(q) = q**3 - 4*q**2 + 3*q - 5. Let n be i(4). Is (24/(-3))/(n/(-14)) a multiple of 8?
True
Let a be 3/7 + (-27840)/(-112). Suppose 5*l - 1503 = -p, 2*p = -l + a + 57. Is l a multiple of 40?
False
Suppose -4*i + 3*o + 38 = 4, 0 = 2*i - 2*o - 16. Is i a multiple of 7?
False
Let h be 9/(-3) - (-12)/4. Suppose -4*f - 16 = h, 5*w + 4*f - f - 1113 = 0. Is 15 a factor of w?
True
Suppose 8*x = -0*x. Suppose x*r - 441 = -7*r. Is 4 a factor of r?
False
Let c(m) = m**3 + 7*m**2 + 6*m + 4. Let r(l) = -2*l**3 - 4*l**2 - 4*l - 3. Let q be r(-2). Suppose 3*u - q = -23. Is 4 a factor of c(u)?
True
Let d(j) = 602*j**3 + j**2 + 5*j - 5. Is d(1) a multiple of 11?
False
Let c(q) = 3*q**2 - 57*q - 88. Is c(26) a multiple of 27?
False
Suppose -9*v = 8*v - 442. Does 6 divide v?
False
Let g(m) = m**2 - m + 2. Let p be g(2). Suppose -p*t = -c + 144, -2*c + 3*t + 234 = -69. Is c a multiple of 26?
True
Let u(h) = -h - 1. Let k(q) = q**2 - q + 1. Let p(d) = k(d) - 5*u(d). Is p(-10) a multiple of 33?
True
Let o(t) = t**2 - 7*t - 7. Let c be 3/6*6 - -5. Let z be o(c). Let r(g) = 24*g. Is r(z) a multiple of 8?
True
Suppose 4*b - 703 - 905 = -4*d, 4*b - 3*d = 1587. Suppose b = 3*r - 294. Let q = r + -135. Is q a multiple of 24?
True
Suppose -5*b + 12 = f, -b + 0 = -4*f - 15. Let l be ((-50)/6)/(3/9). Does 23 divide b + -5 - l/1?
True
Suppose -5*g - 4 = -6*g. Suppose -608 = -8*v + g*v. Does 19 divide v?
True
Suppose 0*m + 16 = 4*m. Suppose 5*a + 15 = 0, m*u + 4*a - 120 = -0*u. Suppose 3*n + 8 - u = -i, 5*n = 3*i - 5. Does 7 divide i?
False
Let o(q) = q**3 - 13*q**2 - 25*q + 29. Let z be o(17). Suppose 0*c + 4*c = z. Is 19 a factor of c?
True
Let l(v) = -68*v. Let k be l(1). Let b = -47 - k. Is b a multiple of 6?
False
Let w(o) = -774*o. Let m be w(-3). Is (-4)/(-26) - m/(-117) a multiple of 15?
False
Let m = 784 - 589. Is 24 a factor of m?
False
Does 4 divide (6 - 190/25)*155*-2?
True
Let s(z) = z + 84. Let r be s(0). Suppose 7*h + r = 9*h. Does 14 divide h?
True
Suppose 960 = -14*o + 34*o. Is o a multiple of 6?
True
Suppose -5*i + 9*i + 4 = 0. Is 25 - (i - -1 - 1) a multiple of 21?
False
Suppose -4*c - 56 = 4*u - 6*u, 2*u + 49 = -3*c. Let x = c - -30. Is x a multiple of 3?
True
Is (-3276)/8*8/(-12) a multiple of 24?
False
Does 10 divide 22740/35 - (-30)/105?
True
Suppose 5*o = o + 8. Let g be -8*o/6*-15. Suppose -4*l + 3*b + 32 = 0, l - 5*b - g = -3*l. Is l a multiple of 4?
False
Let w be (-11 - -81)/(1/2). Let y(i) = i**2 + 10*i - 20. Let l be y(-14). Is (l/(-5))/((-21)/w) a multiple of 16?
True
Let i(r) = 851*r + 122. Does 41 divide i(4)?
True
Suppose -2231 = -3*y + 1240. Is 48 a factor of y?
False
Suppose 58*o = 4*b + 61*o - 2979, 5*o = 5. Does 18 divide b?
False
Suppose f - 5*o + 9 = -0*f, -4*o = 0. Let s = 11 + f. Is s a multiple of 2?
True
Let b(h) be the third derivative of 9*h**4/2 - h**3/2 - 12*h**2. Is 10 a factor of b(1)?
False
Let g(o) = -o**2 - 8*o + 8. Let i be g(-6). Let j = i - 12. Suppose -5*x - j*z + 3*z = -160, -2*z = 5*x - 169. Is x a multiple of 14?
False
Is -3956*((-4)/8)/(1 + 1) a multiple of 23?
True
Let q(h) = 3*h**3 + h**2 - 4*h + 3. Is q(2) a multiple of 5?
False
Suppose -2*n - 37 = 41. Is (n/(-7) - 3)*112/6 a multiple of 24?
True
Is 3 a factor of (-2056)/(-14) - 3*2/(-42)?
True
Suppose -3*j + 227 = 2*n, 4*n - 382 - 69 = -3*j. Is n a multiple of 14?
True
Let l = 14 + -23. Let i(d) = d**2 + 2*d - 6. Does 19 divide i(l)?
True
Suppose 0 = 5*c + c - 1386. Is c a multiple of 3?
True
Suppose -3576 = -101*a + 9049. Is a a multiple of 5?
True
Suppose 8 = 4*d - 2*d. Does 16 divide d/(-6)*(-3927)/34?
False
Suppose -2*c - 5 = 5*n, 0 = -2*c + 4*c + 3*n + 7. Let g = c - -9. Suppose z = -g*v + 62, 5*z = 3*v - 6*v + 38. Is v a multiple of 8?
True
Let t be -2*4/(-12)*12. Suppose 0 = t*g - 6*g - 370. Does 34 divide g?
False
Let x(f) = 19*f**2 - 2*f + 1. Let h(c) = -3*c - 10. Let l be h(-4). Suppose 3*k = -l*k + 5. Is x(k) a multiple of 9?
True
Suppose -3*f + 30 = 2*f. Let a(x) = x**2 + 8*x - 6. Let s be a(f). Suppose 2*c = 2*h + s, -5*c + 0*c + 3*h = -193. Does 16 divide c?
Fal