 30 divide q?
False
Let p = 1314 - 695. Is 18 a factor of p?
False
Suppose 2*h - 8 = 0, -4*t + 9*t - 20 = 5*h. Suppose -t = -20*p + 16*p. Let d(r) = 17*r**2 + r + 1. Does 41 divide d(p)?
False
Let v(x) = x**2 + x + 8. Let t be v(0). Let b = -2 + t. Suppose -4*g - 119 = 3*a - b*a, -2*a - 5*g = -110. Does 15 divide a?
True
Suppose -c = -2*l, 3*l - 5*l = -3*c + 4. Let w be (l - -3) + (-8 - -11). Does 15 divide 1 - (1 + -8)*w?
False
Let m(f) = 7*f - 55. Is 15 a factor of m(25)?
True
Suppose 3*s = 11 - 44. Let n = 11 + s. Suppose n = -5*b - 25, 3*c + 5 = 2*c - 5*b. Is 7 a factor of c?
False
Let y(b) = -b + 3. Suppose -3*u = -7*u. Let g be y(u). Suppose g*w = w + 36. Is w a multiple of 4?
False
Suppose 35*m - 97*m = -16306. Does 2 divide m?
False
Suppose 2*f = 7 + 1. Suppose 1056 = 4*a - 0*a. Suppose -a = -f*b - 0*b. Is b a multiple of 14?
False
Let k(j) be the second derivative of 2*j**3/3 + 103*j**2/2 + 10*j. Is 15 a factor of k(0)?
False
Let v(i) be the third derivative of -i**6/5 - i**5/15 - i**4/4 - i**3/3 - 5*i**2. Is v(-2) a multiple of 31?
True
Suppose 3*q + 3*h + 15 = 6*q, 0 = q + 5*h - 17. Suppose 10*u = q*u - 159. Let r = 61 - u. Does 28 divide r?
False
Suppose 15*q + 3*q = 108. Suppose -802 = -q*p + 500. Is 9 a factor of p?
False
Let x(k) = k**2 + 3*k. Let g be x(-4). Suppose -g + 43 = 3*f. Is 7 a factor of f*-2*(-2)/4?
False
Let f = 29 - -153. Is f a multiple of 26?
True
Let u(r) be the second derivative of -r**5/20 + 19*r**4/12 + 14*r**3/3 + 11*r**2 + r. Is 26 a factor of u(20)?
True
Let r(p) = -103*p + 59. Is r(-22) a multiple of 25?
True
Suppose 180 = -4*n + 7*n. Let s = n + -38. Is s a multiple of 9?
False
Suppose 112 = 5*a - 708. Is a a multiple of 41?
True
Let y(r) = 2*r**3 - 8*r**2 - 10*r - 4. Let t(w) = w**3 - w + 1. Let f(s) = 3*t(s) - y(s). Is 3 a factor of f(-7)?
False
Let k = -7 - -9. Suppose 0*j = k*j + 3*b - 216, 4*j - 5*b = 388. Is 17 a factor of j?
True
Let x(d) be the first derivative of -d**3/3 + 4*d**2 - 9*d - 6. Let v be x(6). Suppose v*f + 20 = 5*f. Is 5 a factor of f?
True
Suppose -5*b - 6*o = -0*b - 16391, 9837 = 3*b + 3*o. Does 49 divide b?
True
Suppose -4*i = -3*c + 6, 0*c - 2*i = c - 2. Suppose -2*u = -y - 28, -2*y + 23 = u + c*y. Is 15 a factor of u?
True
Let a(u) = -u. Let o be 120/(-56) + 2/14. Let z be a(o). Suppose z*y + 4*k = y + 25, 3*y + 5*k - 61 = 0. Is y a multiple of 4?
False
Let k(r) = 4*r - 4. Let t(a) = -3*a + 4. Let s(c) = 2*k(c) + 3*t(c). Let g be s(0). Let v = g - -3. Is v a multiple of 2?
False
Suppose -a = -3*a + 4. Let t(l) = 23*l**3 - 2*l + 1. Let j be t(1). Let q = j - a. Is 5 a factor of q?
True
Let a(k) = k + 1. Let z(w) = 5*w + 216. Let n(g) = -6*a(g) + z(g). Is 21 a factor of n(0)?
True
Suppose 0*n - 2*n = -i - 740, -3*n - 5*i = -1097. Is 11 a factor of n?
False
Suppose -1 = -3*f + 2. Let u be (3/f)/((-18)/(-672)). Let j = u - 59. Is j a multiple of 9?
False
Let b(d) = d + 20. Let c be b(-11). Let l = 7 - c. Let j = 9 + l. Does 4 divide j?
False
Let h be 30/6 - (3 - 0). Suppose 0 = -5*u - 4*r + 30, 7*u - 2*u - h*r - 30 = 0. Is u a multiple of 3?
True
Let i(l) = -13*l**2 + 7*l**3 + 17 + 9*l**3 + 8*l - 17*l**3. Is i(-14) a multiple of 18?
False
Is 9201/15 - (-8)/(-20) a multiple of 64?
False
Let v(c) = -4*c - 6. Let k be v(-3). Let s = 21 - k. Suppose -4*g + 20 = -g + 5*o, -3*o = s. Is g a multiple of 8?
False
Let x = 1191 + -586. Is 20 a factor of x?
False
Suppose -6*b + 89 + 139 = 0. Suppose 3*o - 23 = z + b, 19 = o + z. Suppose v + 7*r = 2*r + 67, -4*r + o = 0. Is v a multiple of 11?
False
Let f = -34 - -32. Let g = -16 - f. Let l = g - -30. Is l a multiple of 4?
True
Let x(p) = 15*p**2 - 5*p + 1. Let o be x(-4). Suppose 0 = 16*l + 46 - 142. Suppose -5*j - 3*g + o = 0, -g = 2*j - l*g - 123. Does 15 divide j?
False
Suppose 5 + 0 = l. Suppose -l*d + 233 = 58. Does 23 divide d?
False
Let a(z) = z**3 - z**2 + 2*z - 2. Let s be a(1). Suppose s = 3*m - 3 + 9. Let l(d) = -2*d**3 + 3*d**2 + 2*d - 1. Does 10 divide l(m)?
False
Let f = 4 - -3. Does 43 divide (126 - -3)*f/((-21)/(-2))?
True
Suppose -3*z + 240 = -q - 2*q, 5*q = -3*z - 368. Let h = q + 53. Is (-2 + -2)*h/4 a multiple of 7?
False
Suppose 3*t - 21 = 5*x + 6*t, -8 = 4*t. Let k(r) = -r - 1. Let v be k(x). Suppose -v*f + 26 = 2*h, -5*f + 0 = -4*h - 29. Does 3 divide f?
True
Suppose 3*o = -0*o + 3*y - 444, 4*o - 5*y = -597. Let d be ((-1)/2)/((-3)/(-24)). Is 4 a factor of d/(-26) + (-2266)/o?
True
Suppose 56 = -7*x + 3*x. Suppose 38*l - 2355 = 571. Let r = x + l. Is r a multiple of 21?
True
Suppose 4*t - 3*t = 182. Suppose -t + 54 = -y. Does 32 divide y?
True
Suppose 31*b + 11*b - 6468 = 0. Does 4 divide b?
False
Let v = 58 + -45. Suppose 4*x = 337 - v. Is 14 a factor of x?
False
Is 175 + (4 + -3 - (-4 - -5)) even?
False
Let j(u) = -16*u - 18. Is 2 a factor of j(-3)?
True
Let s be (-2 + 1)*(1 + 0). Let h(p) = 1 + p + 4*p**2 + 3*p**2 - 5*p**2 + p - 28*p**3. Does 8 divide h(s)?
False
Let h = -6166 - -11459. Is h a multiple of 79?
True
Let w(n) = 3*n**3 - 3*n**2 + 4*n + 38. Is w(4) a multiple of 9?
True
Let x be (-3267)/6*(-2 + (-6)/(-9)). Suppose -7*b + x = 131. Is b a multiple of 17?
True
Suppose -5*a + 630 = 60. Is 2 a factor of a?
True
Let j = -106 - -361. Is 50 a factor of j?
False
Let z = -72 + 81. Is 12 a factor of 7*3/(z/(-24)*-4)?
False
Let c = -100 + 255. Suppose -4*r + c + 101 = 0. Is 16 a factor of r?
True
Let t be (0 - 0)/(1 + -2). Suppose t*q - 1092 = -7*q. Is 26 a factor of q?
True
Let h(y) = -y**2 + 4*y - 3. Let v be h(2). Suppose -4*q = 4*d - 28, 2*d + 2*q - 5*q + v = 0. Does 4 divide d?
True
Let n be 9/6*4/(-3). Let r(j) = -j - 2. Let b(l) = 1. Let x(a) = 3*b(a) + r(a). Is x(n) even?
False
Suppose -4*g = -2*l + 848, -5*l = -g + 2*g + 234. Let h = -118 - g. Is h a multiple of 39?
False
Does 32 divide (8 - -278 - -4) + -6?
False
Suppose 18*r = 3*r + 3435. Is r a multiple of 12?
False
Let s(o) = -10*o - 4. Suppose 5*r + 5 = -0. Let y be r/(-4) - 66/8. Does 24 divide s(y)?
False
Let y = -118 - -118. Suppose -4*i + 4*x + 1356 = -y*x, 0 = -2*x + 10. Does 54 divide i?
False
Let m(r) = 10*r - 14. Let c(i) = -i - 11. Let d be c(-16). Does 9 divide m(d)?
True
Let n = 12 + -12. Let u(c) = 9 + 1 + 23 + c. Is u(n) a multiple of 11?
True
Let x = -567 - -982. Suppose x = -5*g + 10*g. Suppose 3*z = 5*n + g, 2*n = -3*z - n + 51. Does 7 divide z?
True
Let v = 2171 + -403. Is 17 a factor of v?
True
Suppose 186 + 30 = -8*h. Let l = h - -32. Is l even?
False
Let d(k) = k**3 - 9*k**2 - 2*k - 7. Does 2 divide d(12)?
False
Let t(b) = 3*b**2 - 13*b + 10. Let a(q) = q**2 - q. Let s(v) = 6*a(v) - t(v). Is 22 a factor of s(4)?
True
Suppose -4 = -4*a + 248. Let c = a - 3. Does 15 divide c?
True
Let k(r) = -r**3 + 13*r**2 + 17. Suppose 3*p - 9 = -3. Suppose -p*o - 13 = -3*o. Is k(o) a multiple of 12?
False
Suppose -17*z + 16*z = 33. Let x = z + 78. Let c = 66 - x. Is c a multiple of 8?
False
Is (-3810)/(-9) - (-8)/(-6) - 4 a multiple of 4?
False
Let c = 182 + 72. Is c a multiple of 38?
False
Let b(g) = 2*g**3 - 10*g**2 - 9*g. Let q be b(8). Suppose 648 = 4*c - q. Does 20 divide c?
True
Suppose -5*u - 4*b + 2378 = 0, 543 = u + 2*b + 71. Is 18 a factor of u?
False
Suppose 0 = y - 21 - 28. Let o = 74 - y. Does 25 divide o?
True
Suppose -785*h = -781*h - 960. Is 16 a factor of h?
True
Suppose -3*w + 7 + 43 = 2*t, -5*t = 10. Is 2 a factor of w?
True
Let i(z) = 878*z**2 - 25*z + 27. Is 55 a factor of i(1)?
True
Suppose 3*a = 9, 4*a + 0*a - 99 = -f. Let b be (6 + -2)/(-1) + 0. Let h = b + f. Is h a multiple of 32?
False
Suppose -4*f = -9*f - 20. Does 15 divide ((-2)/(-4))/(f/(-472))?
False
Suppose 2*w - j - 49 = -19, j = 3*w - 47. Is 13 a factor of w?
False
Let f = 915 + -651. Is f a multiple of 23?
False
Let q(w) be the second derivative of w**4 - 6*w**2 - 20*w. Is 24 a factor of q(-3)?
True
Let y be ((-12)/3 + 3)*-2. Suppose 3*p = 2*h + 337, -p = 4*p - y*h - 563. Is 8 a factor of p?
False
Suppose -u = 4*k - 0 + 3, -k = -2*u + 12. Let d be 90 - (k - 0/2). Let t = d - 37. Is t a multiple of 22?
False
Suppose 0 = -5*l + 3426 - 456. Is 11 a factor of l?
True
Let z(d) be the third derivative of -25*d**4/24 + d**3/6 - 3*d**2. Let q be z(2). Let c = q - -85. Does 9 divide c?
True
Let h(k) be the third derivative of 1/60*k**5 + 1/24*k**4 - 5*k**2 - 11/24*k**6