 - 120 = 0. Let a(p) = 2*p**2 - 3*p. Let x(v) = -3*v**2 + 4*v - 1. Let t(j) = -4*a(j) - 3*x(j). Is t(d) a multiple of 14?
True
Let g = 986 + -958. Is g a multiple of 4?
True
Suppose -b + 2*d + 9 = 0, -b = 5*d + 10 + 2. Suppose -8*k - 2*q = -b*k - 19, 0 = -4*k + 4*q + 4. Suppose k*j - 85 - 35 = 0. Does 10 divide j?
True
Is 23 a factor of 1/(6940/(-992) + 7)?
False
Suppose 0 = -4*q + 237 - 73. Let h be 1/(36/37 - 1). Let a = q - h. Is 23 a factor of a?
False
Let t(m) = -4 + 2*m - m - 2*m. Let y be t(-4). Let d(c) = 2*c + 10. Is 6 a factor of d(y)?
False
Is 12 a factor of (18/(-8))/((-48)/4864)?
True
Let q(v) = -v**2 + 6*v - 3. Let b be q(4). Suppose -5*u + 6*u - b = 0. Suppose 15 = -u*t, 0*z = -3*z - 2*t + 111. Does 6 divide z?
False
Let d(t) = 6*t**3 - t**2 + t. Let b be d(1). Let v be ((-22)/(-3))/(b/9). Let z = -1 + v. Is 7 a factor of z?
False
Suppose 5 = -h, -5*v + 7*v - 5*h - 1609 = 0. Is v a multiple of 8?
True
Let v(b) = b**3 + 3*b**2 - 6*b - 5. Let j be v(-4). Suppose -17 = -j*d + 10. Does 2 divide d?
False
Suppose 0 = f + 2*g - 11, -10 = -5*f + 3*g + 6. Suppose 3*t + 2*t - 42 = -4*r, 2*r + 54 = f*t. Does 10 divide t?
True
Let s be (-39)/(-3) + (1 - 3 - 0). Let b = 14 - s. Does 3 divide b?
True
Suppose 3 = 5*x - 7. Let c(z) = 14 + 4*z + 0*z + 6*z + z**2 + x*z. Does 4 divide c(-12)?
False
Suppose 0*s = 3*s + 3*g + 15, 5*s - g = 5. Suppose s = 14*k - 209 - 1877. Is k a multiple of 12?
False
Suppose -4*y + 5310 = 41*y. Is y a multiple of 3?
False
Let m be ((-717)/6 + 2)*2. Let x = -121 - m. Does 43 divide x?
False
Let p(a) = -a**2 + 12*a + 4. Let n be p(12). Suppose -3*v - 180 = -0*x - 2*x, x - 100 = n*v. Is x a multiple of 28?
True
Suppose g + 5*i + 26 = 0, 3*g = -3*i - 24 - 18. Let k(q) = -26*q - 40. Is 12 a factor of k(g)?
False
Let t = 1 - -6. Suppose 2*k - t = 77. Does 3 divide k/15 - (-2)/10?
True
Suppose -14*j + 8212 = -7958. Is 45 a factor of j?
False
Let x(v) be the first derivative of 1/2*v**2 + 2 + 3*v. Does 2 divide x(9)?
True
Let p = -153 + 744. Suppose 3*o + 293 = 2*k, o = 4*k - 0*o - p. Let b = -75 + k. Does 32 divide b?
False
Suppose 3*t - 342 = w, 3*t = 3*w - 4*w - 372. Let b = -163 - w. Does 18 divide b?
False
Let y be ((-764)/10)/(-2 - (-57)/30). Suppose -2*n + 3*n = -2*z + 151, z = -5*n + y. Is 17 a factor of n?
True
Let y be -1 - 6*3/(-6). Let q = 14 - y. Suppose -4*i - 18 = 2, 0 = a + 3*i + q. Does 3 divide a?
True
Let k = 441 - 85. Does 52 divide k?
False
Let f be -1 + 4 + -1 + -2. Suppose f = -2*z + 2*t + 192, t + 3*t = -2*z + 168. Is 23 a factor of z?
True
Let p = -25 - -30. Suppose p*g - 241 = 84. Let l = g + -33. Does 16 divide l?
True
Let y be -3 - (-7 - (-1 - -2)). Let s = 6 - y. Suppose n - s = 4. Does 5 divide n?
True
Let u = 238 + 127. Does 20 divide u?
False
Suppose -120 = -3*k - 4*r + 444, -4*r = 0. Suppose -j = -2*o + k, o - 4*j - 80 = -0*o. Is 8 a factor of o?
True
Let i be (-24)/(-10) - (-14)/(-35) - -3. Suppose 3*s - 19 = -4. Suppose -s*f - i*a + 570 = 0, 0 = 4*a - 13 - 7. Is f a multiple of 30?
False
Let o = -17 - -24. Is (-1)/(-7) + 118/o a multiple of 4?
False
Let t(n) be the third derivative of -37*n**4/8 - n**3/2 + 19*n**2. Is t(-1) a multiple of 27?
True
Let i = -91 - -142. Suppose 3*c - i = -3*f - 0*f, -4*c + 58 = 2*f. Is 10 a factor of c?
False
Let h = 6704 - 4571. Does 9 divide h?
True
Is 66 a factor of (-770)/(-2) + 20/4 + 6?
True
Suppose -2*x + t - 3*t = 154, 5*x - 2*t = -392. Let c = x - -110. Does 4 divide (-24)/c - 70/(-8)?
True
Suppose q + m = 1, m - 3 = -4*q - 2. Suppose q = -j + 2*j - 3. Suppose -140 = -2*u - j*u. Is 14 a factor of u?
True
Suppose 0*a = -6*a + 1206. Is 12 a factor of a?
False
Let a(k) = -17*k + 4. Let q(g) = -16*g + 4. Let h(l) = 3*a(l) - 2*q(l). Let j be h(-2). Let z = -26 + j. Does 16 divide z?
True
Let r(k) = -2*k**2 + 9*k + 3. Let n be r(5). Is 24 a factor of 3 + -1 + n - -51?
False
Suppose -13*n + 8 - 60 = 0. Let c = n + 196. Is c a multiple of 24?
True
Let o(f) = f. Let t be -18*((-21)/6 + 3). Let l be o(t). Is 4 a factor of 6/l - 10/(-3)?
True
Suppose -21 = -4*d + 5*y, 5*d + 3*y - 10 = 7. Let t(j) = 7*j - 1. Let x be t(d). Suppose 0 = 4*z + 5*r - 82, -5*r = 3*z - 37 - x. Does 9 divide z?
True
Let f be ((-6)/8)/((-9)/36). Suppose 2*l = -f*i + 92, 3*i = 5*i. Is l a multiple of 23?
True
Is 6/15 - (7 - 4852/20) a multiple of 16?
False
Suppose 10 + 2 = 6*g. Suppose 5 = -c + 5*s, 0*c - g*c + 5*s = 5. Suppose -3*t + 3 = -c*t, 3*t = y - 23. Is 26 a factor of y?
True
Let t(a) = -a**3 + a**2 + 2*a - 4. Let p be t(2). Is ((-2)/p)/((-3)/(-360)) a multiple of 8?
False
Let a(m) = -2*m**3 + 3*m**2 - 5*m - 2. Is 8 a factor of a(-4)?
False
Let m be (-22)/5 + 4 - 114/(-10). Suppose -m*g = -6*g - 400. Is 20 a factor of g?
True
Suppose 8 = -8*m + 6*m. Let c be -1 - (-2 + m + 2). Suppose 2*g - 24 = -3*k, 5*g - c*g = 0. Is k a multiple of 3?
False
Suppose -3 = -5*l + 17. Suppose -3*n = 5*r - 263, -l*n = -3*r - 118 - 281. Suppose -4*g + 324 = -n. Is g a multiple of 35?
True
Is (65 - (-6 - 1)) + -2 a multiple of 5?
True
Let w(n) be the second derivative of 5*n**3/6 - 3*n**2 + 4*n. Let d be (0 - 10 - 2)*-1. Does 14 divide w(d)?
False
Is ((-170)/(-15)*(-1 - 50))/(-1) a multiple of 84?
False
Suppose 0 = 2*t - 0*x - 3*x - 10, x = -2*t + 10. Suppose t*s + 0*s = 370. Does 23 divide s?
False
Suppose 17*f - 15*f = -3*g + 7227, -5*g + 5*f = -12045. Does 26 divide g?
False
Suppose 5*o + 4 = 14. Suppose o*x + x = -4*m + 145, -3*m = -x + 31. Is x a multiple of 6?
False
Let l(s) = s**3 + 6*s**2 + 3*s - 7. Let z be l(-5). Let b be (4 - -1) + (z - 6). Suppose -3*k + 235 = b*k. Is k a multiple of 20?
False
Let x = 391 - 139. Is x a multiple of 14?
True
Does 33 divide (734 + 3)*(13 + 80/(-8))?
True
Let s = -264 - -280. Is s a multiple of 8?
True
Let j be 1 + (-1 - -2 - 1). Let b(n) = 8*n**2 + 1. Let i be b(1). Suppose 5*f - j = i. Does 2 divide f?
True
Let h(d) be the third derivative of d**5/30 + 2*d**4/3 - 11*d**3/6 + 15*d**2. Is h(-12) a multiple of 11?
False
Suppose 0 = 8*m - 7*m - 5. Let g = -62 + 62. Suppose 5*w - 442 = -3*v, m*w + 566 = 4*v - g*v. Does 39 divide v?
False
Let f be ((-10)/(-4))/(8/16). Suppose -f*a + 102 + 525 = 2*n, -130 = -a - 5*n. Is 24 a factor of a?
False
Suppose 0 = -14*k + 22*k - 3344. Does 38 divide k?
True
Let r = 84 + 181. Is 7 a factor of r?
False
Let p = 412 - 160. Does 9 divide p?
True
Let i be 4*(-6)/(-8) - -2. Suppose -2*c + 107 = i*g - 177, 2*g - 2*c - 108 = 0. Let f = g + 22. Is f a multiple of 26?
True
Let o(g) = 105*g - 263. Is 19 a factor of o(13)?
True
Let o(q) = -3*q**2 + 9*q - 6. Let g be o(3). Let l(c) = -c**2 - 14*c + 12. Let b(n) = 5*n**2 + 71*n - 60. Let u(t) = 2*b(t) + 11*l(t). Is u(g) a multiple of 16?
True
Suppose 0*f - 4 = -2*f, 5*r + 4*f = 18. Suppose 6*z = r*z + 4, -5*i + 675 = 5*z. Is 27 a factor of i?
False
Let s(k) = 6*k**2 - 7 - 4 - 16*k - 1 + k**3 + 3. Is 11 a factor of s(-7)?
False
Let x be 4*4*(-4)/(-8). Suppose -x*h + 3*h - 25 = 0. Is 456/15 - (-2)/h a multiple of 15?
True
Let u(f) = 2*f**2 + 2*f + 4*f - 18 - f**2 + 14. Let d be u(-7). Is 5 a factor of -2 + 9/d + 13?
False
Suppose 0 = 5*i - j + 16, -i + 2*j + 3 = -1. Let m = i + 5. Is (m - 22)*20/(-60) even?
False
Is (-2 - 47)/(19/(-19)) even?
False
Let k(d) = -d**2 + 24*d - 53. Suppose 2*m = -2*s - 2*s + 20, 3*m - 3*s = 57. Is k(m) a multiple of 10?
False
Suppose h + 28 = 5*h. Is 3 a factor of (-1 + -2)/(h/(-14))?
True
Let i = 54 + -53. Suppose -4*f + 4 = -12. Is 18 a factor of i + (f - 26/(-2))?
True
Suppose 5*f + 25 = 0, -2*w - f - 6 = 7. Is (w*(-3)/24)/(2/284) a multiple of 9?
False
Let f be (6/(-4))/((330/(-280))/11). Is 7/((-49)/f) + -1 + 29 a multiple of 18?
False
Suppose 4*j = -5*p - 5, -2*p = j + 3 - 1. Is 13 a factor of ((-8)/4)/(p*3/156)?
True
Let w be 2*(1 + 14/4). Let m(a) = 3*a - 4*a - w + 3. Is m(-9) a multiple of 3?
True
Suppose -88 = 15*b - 1168. Suppose 5*h + 8 = -l, -3*h - 2*h - 15 = 0. Suppose -4*d = -l*d + b. Is d a multiple of 9?
False
Suppose 18 = k + q, -6*q + 20 = -2*q. Is 13 a factor of k?
True
Let y be (-2 - -3 - -3) + -2. Suppose -y*b - 15 = -5*z + 2, 0 = -3*z - 3. Let h(s) = s**2 + 4*s + 12. Does 23 divide h(b)?
False
Let r(o) = -o**2 - 7*o. Let t be r(-5). Let y = t + -8. Suppose -n - y*q + 1 = -63, -2*n - 3*q = -126. Does 11 divide n?
False
Suppose 4*s = 