1. Does 17 divide t?
True
Let m = -89 - -51. Let s = -23 - m. Does 4 divide s?
False
Suppose 0 = k - 5*k + 20. Suppose i - 6 = -k. Suppose -4*h + 84 = 4*y, 4*y = h + y - i. Does 12 divide h?
False
Suppose -5 = -2*s + 211. Does 19 divide s?
False
Suppose -3*m = -5*c - 10, -c - 17 = -3*m - 3*c. Suppose m + 7 = 3*v, k - 31 = -5*v. Is 11 a factor of k?
True
Does 12 divide 55 + (0 - -1)*1?
False
Let i(m) = -m - 5. Let p be i(-10). Suppose -2*j - 4*c + 26 = 0, p*j + 3*c - 16 = 35. Does 9 divide j?
True
Suppose -z + y = -179, -73 - 103 = -z + 4*y. Is 18 a factor of z?
True
Suppose 5*f = -2*u - u + 21, -2*f = 6. Does 4 divide u?
True
Let c(r) = r**2 + 7*r - 1. Let o = 17 - 25. Let j be c(o). Suppose -2*m - 120 = -j*m. Does 14 divide m?
False
Let j = -37 + 73. Let k = j + -22. Does 7 divide k?
True
Let s be ((-85)/15)/(2/(-12)). Suppose -x - x = s. Let b = -8 - x. Is b a multiple of 9?
True
Is 121/2 + (-21)/(-14) a multiple of 19?
False
Let n = -27 + 15. Let g be n/(-10)*(-50)/(-4). Is (6/g)/(2/150) a multiple of 20?
False
Does 16 divide (195/26)/((-3)/(-32))?
True
Let c(t) = -2*t + 22. Is c(-5) a multiple of 5?
False
Suppose -2*x = 5*w - 46, -17 - 4 = -3*w + x. Suppose 3*r = -4*q + w + 18, 2*q = 5*r. Suppose -q*j + 75 = -0*j. Is 9 a factor of j?
False
Suppose 0 = q - 2*m - 5, 3*q - 4*q = 2*m - 1. Suppose q*v - 2*x - 6 = 0, 2*x = 5*x - 9. Suppose 0 = -v*z + 21 - 1. Is z a multiple of 2?
False
Let w = 121 - 40. Is 9 a factor of w?
True
Let q(t) = 3 + 3*t + 2*t + 3*t - 5*t. Is q(5) a multiple of 9?
True
Let a(n) = -n**3 + n**2 + n + 1. Let d be a(0). Is d/(84/80 - 1) a multiple of 11?
False
Suppose 4*z + 4*j = 584, 151 + 133 = 2*z + 4*j. Does 6 divide z?
True
Suppose 5*o + 11 = -4*z, 3*z - 8 = z + 2*o. Is z*3*102/9 a multiple of 9?
False
Suppose 4*q - 38 = 170. Is q a multiple of 13?
True
Let s = 14 - -2. Is s a multiple of 8?
True
Let h(w) be the third derivative of w**5/60 + w**4/4 + 4*w**2. Does 9 divide h(-9)?
True
Suppose 30*f = 19*f + 1320. Does 6 divide f?
True
Let n = 63 + -44. Is 7 a factor of n?
False
Let y(k) = 11*k - 19. Is 15 a factor of y(14)?
True
Let y = 38 + -4. Is 33 a factor of y?
False
Suppose -4*h - 5 = 11, 4*r - 32 = -3*h. Is 4 a factor of r?
False
Let h be (-3)/(-2)*1*2. Let w(s) = 11*s - 7*s**2 + 4*s**h - 3*s**3 - 3*s. Is 11 a factor of w(6)?
False
Suppose 0 = 2*d - 3*w + 35, 4*d + d + w = -45. Let u be 60/(-9) - 2/6. Let x = u - d. Is x a multiple of 2?
False
Let x(o) be the first derivative of 2*o**3/3 - 9*o**2/2 + 12*o - 1. Does 17 divide x(5)?
True
Suppose -26 - 19 = -5*k. Suppose a = -2*a + k. Suppose -a*s + 16 + 14 = 0. Does 10 divide s?
True
Suppose -2*g + 5*g - 54 = 0. Does 9 divide g?
True
Suppose -r - b + 5*b = -6, -4*b - 14 = -5*r. Suppose -3*g + 75 = r*g. Is g a multiple of 14?
False
Does 7 divide 197*1 + (-5 - (-5 + 1))?
True
Let k(y) be the third derivative of -y**5/60 + 7*y**4/12 - 2*y**3 - 3*y**2. Suppose 4*g - 24 = 3*p + 17, 29 = 4*g + p. Does 18 divide k(g)?
True
Suppose 0 = -3*p - d + 322, -97 - 222 = -3*p + 2*d. Is 19 a factor of p?
False
Suppose 2*r + 8 = 4*g - 0*r, 16 = -g + 5*r. Suppose -2*n - b = 35 - 101, -8 = -g*b. Does 16 divide n?
True
Suppose -5*i = b - 17, 3*i + 5 = 14. Suppose -b*k + 126 = -0*k. Is 11 a factor of k?
False
Suppose -1371 = -5*w - 3*z, w + 0*z = 3*z + 285. Is (-1)/3 + w/18 a multiple of 15?
True
Suppose 4 = 5*o + 3*i - 10, -i = 2*o - 5. Suppose 15 = v + o. Is 9 a factor of v?
False
Let l = -300 - -443. Is 28 a factor of l?
False
Let l(r) = -3*r - 4*r + 2*r**3 - 6 + 5*r**2 - r**3. Let g be l(-7). Let b = g + 80. Does 17 divide b?
False
Let b be 3 + -3 - (-9)/3. Suppose 3*l + m + 9 = 2*m, -l + 7 = b*m. Does 12 divide 96/l*(-15)/20?
True
Let s be -6*2/(12/9). Let x(k) = -k**3 - 9*k**2 - 4*k + 4. Is 20 a factor of x(s)?
True
Let s(n) be the second derivative of -n**5/20 - 7*n**4/12 - 5*n**3/6 + 4*n**2 + 3*n. Let x be s(-6). Suppose 0 = -x*f + 4*f - 78. Is f a multiple of 16?
False
Let h(p) = p - 3. Let l be h(6). Let j = l - 0. Suppose o - 108 = -j*o. Does 10 divide o?
False
Suppose -5 = -4*a + 91. Suppose c + a = 2*c. Is c a multiple of 7?
False
Let b = -4 + 7. Suppose 11 = -b*c + 110. Does 11 divide c?
True
Let r(s) = s**2 + 5*s - 1. Let h be r(-6). Let l(z) = z**2 - z. Let t be l(-5). Suppose 0 = 5*o - h, -2*n + 0*n + 4*o + t = 0. Does 8 divide n?
False
Suppose 0*x - 25 = -2*x - s, -5*s = 4*x - 65. Does 6 divide x?
False
Let m be 9*-1 - (4 - 7). Does 9 divide (-110)/m - 1/3?
True
Let x be (1 + 0)*(-2 + 5). Suppose -x*v + 42 = -v. Is 10 a factor of v?
False
Suppose -3*z - k = -499, k + 1283 = 5*z + 446. Does 36 divide z?
False
Suppose 50 = 5*n + 5*z, 10 = 3*n - 0*n - z. Suppose n*h - 3*h - 70 = 0. Does 7 divide h?
True
Let t(r) = 6*r**3 - 7*r**2 - 2*r + 5. Let o(l) = -7*l**3 + 6*l**2 + 2*l - 4. Let z(u) = 6*o(u) + 5*t(u). Let b = 2 - 3. Does 6 divide z(b)?
True
Suppose -23 = -3*r - 5. Suppose j = -4*b + 158, 3*b + r*j - 112 = 2*j. Is b a multiple of 14?
False
Let k(u) = 4*u + 1. Let z be k(1). Suppose -4*b - 7 = 9. Let p = z - b. Is 9 a factor of p?
True
Let r be 4/12 + (-856)/(-6). Suppose -3*h = 41 - r. Does 18 divide h?
False
Suppose -5*g - 118 = -23. Let h = 10 + g. Let v = h - -14. Is 5 a factor of v?
True
Let t(z) = -z**3 + 2*z**2 - 6*z - 12. Let v(f) = f**3 - f**2 + 7*f + 13. Let o(n) = 6*t(n) + 5*v(n). Is 23 a factor of o(6)?
True
Let j(y) = y + 5. Let d be j(0). Suppose d*u - 93 = 2*u. Is u a multiple of 7?
False
Let s(z) = -3*z - 1. Let o(j) = 1 + 1 - j - j. Let r be o(4). Is s(r) a multiple of 8?
False
Does 17 divide -1*6*34/(-6)?
True
Suppose -5*c - 2*t = -5*t - 3, t = c + 1. Suppose -4*i + 8 = -0*i. Suppose -i*a + a = 2*f - 25, 3*f + c*a - 39 = 0. Is 6 a factor of f?
True
Let a = 187 - 54. Does 19 divide a?
True
Let t(v) = 2*v**2 - 7*v - 6. Does 12 divide t(6)?
True
Let l = 30 - -6. Let c = l + -22. Let w = 24 - c. Does 7 divide w?
False
Suppose -4*f - 404 = -4*z, -8*z + 3*f = -3*z - 513. Does 46 divide z?
False
Suppose 30 = 5*x - g + 6*g, 33 = 4*x - 5*g. Suppose 0 = -x*l + 2*l - 5*h, 5*h = 20. Does 6 divide ((-6)/l)/((-1)/(-4))?
True
Let o(k) = k**2 - k - 3. Let a be o(4). Suppose -2*c - 1 - a = 0. Does 5 divide (12/c)/(9/(-30))?
False
Suppose c + c - 8 = 0. Let i = c + 1. Suppose 5*t = -i*j - 0*j + 40, 0 = -3*t - 5*j + 16. Is 6 a factor of t?
True
Let s = -2 + -2. Let m = s - -19. Is m + -4 + 2 + 1 a multiple of 7?
True
Suppose 35 + 138 = a. Does 31 divide a?
False
Suppose 4*n = -4*o + 232, -o = 4*n + 4*o - 236. Is 9 a factor of n?
True
Suppose 5*f - 4*v = 384, -2*f + 328 = 2*f + 2*v. Is f a multiple of 8?
True
Suppose -10*p - 603 = -3303. Does 45 divide p?
True
Suppose 3*u - 128 = -5*j, 0 = -5*j + u - 5*u + 124. Does 6 divide j?
False
Let m(g) = 34*g**2 - g + 1. Is 14 a factor of m(1)?
False
Suppose 3*u = i - 10, -95 = 3*i - 7*i + u. Is i a multiple of 10?
False
Suppose x + 3*x = 532. Suppose -5*y + 3*b + x = -2, y - 55 = -5*b. Is y a multiple of 16?
False
Suppose 26 = q + 2. Is 6 a factor of q?
True
Suppose -4*p = -12, -2 - 16 = -3*d - 2*p. Suppose -3*r = 2*k + 36, d*k - 10 = r + 2. Let s = 0 - r. Is s a multiple of 12?
True
Suppose -2*d = -2*m - 0*m + 12, 4*m = -3*d + 3. Let r = d + 6. Suppose 4*f - 9 = 3*f + r*x, -4*x - 20 = -2*f. Is 12 a factor of f?
True
Let c = -1 - 0. Let l be 0 - (-1 + 113*c). Suppose -3*d + 142 = 2*d + 3*z, 0 = -4*d - 2*z + l. Is 11 a factor of d?
False
Let n(d) = -d**3 - 6*d**2 - 5*d + 6. Let b be n(-5). Suppose b*g - 5 = g. Is 6 a factor of 0 + -1 + g - -12?
True
Is 14 a factor of 1132/24 - (-2)/(-12)?
False
Let p(y) = 4*y**2 - y + 4. Let r = 3 + -1. Let o = r + 1. Is 14 a factor of p(o)?
False
Let y = 102 + -85. Does 2 divide y?
False
Let w be 4/8*(11 + -1). Suppose 0 = w*f - 2*b - 7 - 1, -3*b + 11 = 4*f. Suppose f*s + 128 = 6*s. Is s a multiple of 11?
False
Let j(r) = 2*r + 45. Does 5 divide j(0)?
True
Let d(u) = -u - 12. Let t be d(-9). Does 9 divide 375/18 + t/(-18)?
False
Let v(y) = 6 + 0 + y + 0 - 5. Let p be v(-1). Suppose -2*m + w + 28 = p, 0 = 3*m - 4*w + 16 - 68. Is m a multiple of 9?
False
Let f be (-6)/(-3) + 17 - -2. Suppose -3*v + 0*v = f. Does 3 divide 2/(-2) + (0 - v)?
True
Suppose 0 = -0*u + u - 6. Is 5 a factor of 432/44 + u/33?
True
Is (1 + -3)*(-184)/16 a multiple of 4?
False
Let l(c) = 2*c + c - 3 + 3*c. Let v = 1 - -3.