s 13 a factor of x?
True
Let l = 10 + 6. Suppose -5*x + 5*q = -3*x - 42, 3*q - 110 = -4*x. Let z = x - l. Does 10 divide z?
True
Suppose -3*a + 5*a = -4, 0 = -z - 3*a - 5. Suppose 3*k - 62 - z = 0. Is k a multiple of 7?
True
Let k = -4 + 7. Suppose 2*b + 4*y = 68, -k*b + y + 58 = -9. Is b a multiple of 8?
True
Is 14 a factor of ((-21)/(-28))/(1/132)?
False
Is 209 - (16/(-6) - -2)*-6 a multiple of 26?
False
Let k(r) = -r + 27. Let m(v) = 7. Let a(z) = 2*k(z) - 9*m(z). Let q be a(-7). Suppose -q*y + 56 = -4. Is y a multiple of 5?
False
Let c(j) = 12*j. Is 6 a factor of c(3)?
True
Suppose w = -3*b + 11, -b - 2*b = 5*w - 19. Suppose 5*u - 3*u + 8 = 0, -o - 4 = b*u. Is 4 a factor of o?
True
Let o = -8 + 6. Let g = o - -11. Does 3 divide g?
True
Let j = -12 + 15. Suppose 171 = -j*t + 6*t. Is 19 a factor of t?
True
Let j(g) = 2*g + 73. Is j(21) a multiple of 8?
False
Suppose -6 = -0*v - 2*v. Suppose -2*i + 3 = -v. Suppose -42 = -i*l - 0*l. Is 14 a factor of l?
True
Let l = -2 - 0. Let t be (1/l)/(1/14). Let o(f) = f**3 + 7*f**2 - f + 6. Is o(t) a multiple of 8?
False
Let v(s) = -2*s. Let h be v(-2). Suppose 0 = -h*u - 111 - 9. Let d = u - -80. Does 17 divide d?
False
Suppose -3*p + 585 = -p + 3*n, -5*p + 1475 = 5*n. Is 12 a factor of p?
True
Let f(a) = a**3 - 2*a**2 - a - 1. Let w be f(3). Let b(j) = -j**3 + 5*j**2 + 3*j + 2. Let c be b(w). Let m = 50 - c. Is 12 a factor of m?
False
Suppose f - 5 = 3. Let x = f + 19. Is x a multiple of 7?
False
Let a(t) = t**2 + t - 4. Let n = 0 + -4. Is 4 a factor of a(n)?
True
Let i(m) = -m**2 - 6*m + 2. Let g be i(-6). Suppose -3 - 3 = 2*h + 4*l, h + 4*l = -9. Suppose -o + g*r = -25, -4*o + 46 = -2*o - h*r. Does 17 divide o?
True
Let o(a) = 4*a - 11 + 4*a - 4*a - a. Let d be 6 - -1 - (-4)/2. Does 8 divide o(d)?
True
Suppose o - b - 4 = -2*b, -8 = 4*o - 2*b. Suppose 5*y - y - 40 = o. Is y a multiple of 10?
True
Let u(x) = x - 8. Let v be u(11). Suppose v*i = -2*i. Let k = 9 + i. Is 9 a factor of k?
True
Suppose 5*i - 96 - 39 = 0. Does 7 divide i?
False
Suppose v - 13 = 5*z, -5*v + 134 = 3*z - 5*z. Does 16 divide v?
False
Let b = -37 - -53. Does 3 divide b?
False
Suppose -5*c + 2*g = -21, -23 = -4*c + g - 8. Let n(v) = v**2 - 3 + 3*v + 6*v - c*v. Is 4 a factor of n(-7)?
True
Let c(k) = 2*k. Let a be c(-5). Let x be (12/a)/(9/(-30)). Suppose -243 = -4*p - 3*j + x*j, 5*j + 223 = 4*p. Is p a multiple of 27?
False
Let i(u) = 2*u**2 + u. Does 2 divide i(1)?
False
Suppose 3*g + 3*q - 51 = 5*g, 5*q + 45 = -g. Let t = 42 + g. Is 4 a factor of t?
True
Does 14 divide 3 - (-9 + (0 - 2))?
True
Let m(u) = 17*u + 15. Does 25 divide m(5)?
True
Let f be 1/4 - 184/(-32). Suppose -5*l + 14 = -f. Suppose 0 = l*u - v - 92, u - 2*v - 2 = -7*v. Does 12 divide u?
False
Suppose 2*o = 2*v + 72, 2*o - 2*v + 42 = 3*o. Is o a multiple of 19?
True
Let h = -1 - -1. Suppose -4*i - 4 + 16 = h. Is 9 a factor of 26/i - 5/(-15)?
True
Let o = 46 - -26. Is 15 a factor of o?
False
Let k = 10 + -7. Suppose k*h + 54 = f + 8*h, -2*f + 3*h + 43 = 0. Is 12 a factor of f?
False
Let r = -141 - -225. Does 14 divide r?
True
Suppose 0 = -4*r - p + 18, 4*r - 25 + 3 = p. Suppose r*k = 131 + 89. Is 22 a factor of k?
True
Suppose 0 = 5*s - 2*q - 145, 0*q + 145 = 5*s + 2*q. Does 9 divide s?
False
Let l(g) = g**3 + 10*g**2 + g + 2. Let s be l(-10). Is 7 a factor of (-29)/(-4) + 2/s?
True
Suppose 9*g - 4 = 8*g. Suppose -31 - 49 = -g*c. Is 10 a factor of c?
True
Let s be 1*16 + 3 + -1. Suppose i = -0*i + 8. Suppose h - s = i. Is 10 a factor of h?
False
Suppose 3*u + 56 = 7*u. Does 2 divide u?
True
Let m(b) = 5*b**2 + 2*b + 9*b + 2*b**2 - b**3 + 5. Let p be m(8). Suppose 3*z + z = 5*n + 86, -z + 5*n = -p. Is z a multiple of 19?
True
Let m be (8 - (1 + 2)) + -3. Suppose -3*p - 81 = -m*z, 0*z - 99 = -2*z - 3*p. Is z a multiple of 20?
False
Let y(w) = 3*w**2 - 6 + 2*w - 2*w**2 + 0*w**2. Suppose -7 = -b - k, -5*b + 3*k = -18 - 9. Is y(b) a multiple of 17?
False
Let h(i) = -i**3 - 4*i**2 - 4*i + 1. Let p be h(-3). Suppose 12 = p*j - 36. Let n = -6 + j. Does 3 divide n?
True
Suppose -a + 18 - 8 = 0. Does 11 divide 22*(a/4 + -2)?
True
Suppose -1 = -k - 5. Is k/(-10)*10*4 a multiple of 16?
True
Let k(v) = v - 3. Let a be k(8). Suppose 2*t = -5*o + 363, -3*o + 0*t + a*t + 224 = 0. Is o a multiple of 12?
False
Suppose -z - 3*u + 68 = 0, 3*z = 3*u - u + 160. Is 14 a factor of z?
True
Let l be ((2 - 1) + -18)/1. Let a = l - -2. Let d = a + 29. Is d a multiple of 7?
True
Suppose -j = -5*j. Suppose -4*c + 96 = -3*b, j = -b - 1 + 5. Is c a multiple of 18?
False
Let a(q) = q**2 - 3*q + 6. Let x = -9 - -16. Does 17 divide a(x)?
True
Let i be 1/(-1 - (1 - 1)). Is 7 + 3 + 2 + i a multiple of 5?
False
Let z = 6 + -4. Suppose -z*r + 6 + 0 = -4*y, -4*y + 5 = -r. Is r a multiple of 7?
False
Does 20 divide 2518/18 - 7/(-63)?
True
Let o = 39 + 28. Let m = o + -40. Is 9 a factor of m?
True
Let d(p) = -p**2 + 4*p**2 - 14*p + 10*p + 3. Does 9 divide d(3)?
True
Let x be (-10)/(-2) + (2 - 3). Suppose 5*g - x*s = -10, -2*s = g - 6*g. Suppose 2*t = 4*r + 48, g*t + 6*r = r + 84. Does 17 divide t?
False
Suppose 5*i - 404 = -b - 3*b, 4*i + 2*b - 328 = 0. Is 11 a factor of i?
False
Let k(s) = -s - 2. Let b be k(-5). Suppose -j + 71 = b*o, 0*j - 76 = -3*o - 2*j. Suppose 3*f - 53 - o = 0. Is 7 a factor of f?
False
Let x(s) = -3*s**2 - s + 1. Let i be x(1). Does 9 divide 27*(3/i + 2)?
True
Suppose -3*w - 4 = -w, 4*w = 3*q + 52. Let p be q/(-2)*(-14)/(-7). Suppose p = 5*s - s. Is s even?
False
Suppose 3*x - 3*n + 12 = 0, -2*n + 27 = 2*x + 3*n. Suppose 8 = -4*g, 2*g - x = -s - g. Does 3 divide s?
False
Suppose -2*a - 7 - 5 = 2*i, 0 = -2*a - 10. Let r be 2 - ((i - -1) + 1). Suppose 3 = 2*v - r. Is v even?
True
Let v(b) be the first derivative of b**3/3 + 7*b**2/2 + 8*b + 2. Let c be v(-6). Is c/5 - 148/(-5) a multiple of 15?
True
Let q = 326 - 638. Let h = -142 - q. Suppose 0*u - 5*u + h = 0. Is u a multiple of 17?
True
Suppose -10 - 45 = -3*x - 4*h, -3*x + 65 = -h. Is 7 a factor of x?
True
Does 10 divide (1/2)/(3/246)?
False
Suppose -z + 3*z - 272 = 0. Does 25 divide z?
False
Suppose 5*z + 6 = -5*f - 4, -5*z - f - 2 = 0. Suppose 0 = -4*t + 8, 0 = -z*c + 3*c - 2*t - 95. Is 11 a factor of c?
True
Suppose 0 = 3*l + 5*k - 54, 0*k - 3*k = 4*l - 72. Is 18 a factor of l?
True
Let d = -18 + 58. Does 20 divide d?
True
Let p be 16/6*(-9)/6. Does 23 divide 2 + -2*42/p?
True
Let j be (9/4)/((-3)/(-8)). Let a(c) = 2*c**2 - 9*c + 8. Is 13 a factor of a(j)?
True
Let y(h) = h**3 - h - 28. Let j be y(0). Suppose 0 = -0*g - 2*g - 4. Is 14 a factor of g/(-2*(-1)/j)?
True
Suppose 95 = 2*v + 5*m, v - 3*m = -v + 135. Is 15 a factor of v?
True
Let r(c) = -c**3 - 2*c + 25. Does 11 divide r(0)?
False
Does 13 divide (211176/88)/7 - 4/(-22)?
False
Let a(o) = 2*o - 2. Let c be a(2). Suppose -c*u = -5*u + 72. Is u a multiple of 6?
True
Suppose 5*t - 5*w = -205, 2 = w - 3. Let d = t + 56. Suppose k - s - d = 3, -s = k - 13. Is 16 a factor of k?
False
Let j = -4 - -4. Suppose z + 3*z - 168 = j. Is 21 a factor of z?
True
Let b = 3 + 3. Let k(l) = l**3 - 5*l**2 + 6*l - 8. Does 11 divide k(b)?
False
Let v(f) = 2*f**3 + 3*f - 5. Let j be v(2). Let n be (-13 - -1)/(2/(-3)). Let l = n + j. Is l a multiple of 12?
False
Let m(j) = 4 - 3*j**3 + 2*j**3 + 2 + 5*j. Is m(-4) a multiple of 13?
False
Let z be -2 + 4 + (0 - 0). Let o be -1*z*30/(-4). Suppose l - o = 2*i, -l + 5*i + 54 = 3*l. Does 6 divide l?
False
Let m(s) = 4*s + 2. Is m(1) a multiple of 3?
True
Let f(l) = -l**2 + 4*l - 1. Let u be f(2). Suppose -87 - 63 = -u*s. Does 14 divide s?
False
Let t be -8 - -2 - -3 - 1. Let j(v) = v**3 + 5*v**2 - 3*v - 2. Is j(t) a multiple of 11?
False
Let z(j) = 57*j**2 - 20*j. Let x(t) = -19*t**2 + 7*t. Let q(w) = 17*x(w) + 6*z(w). Does 6 divide q(1)?
True
Let n = 2 - 10. Let i = 2 + n. Is (-122)/i + 5/(-15) a multiple of 13?
False
Suppose -5*k + 2*p = -p - 124, -3*p + 136 = 5*k. Let v = -16 + k. Does 5 divide v?
True
Suppose -200 = -2*x - 2*u, -5*u - 11 = 9. Let f be 238/26 + (-16)/x. Let b = f - -4. Is 13 a factor of b?
True
Let t(h) = -h**2 + 10*h + 11. Let i(r) = r**2 - 9*r - 10. Let y(p) = 6*i(p) + 5*t(p). Does 9 divide y(8)?
True
Suppose 572 = 4*o - 3*m, 0 = -0*o - 2*o + 2*m + 288. Does 14 divide o?
True
Suppose 4*v - n = -0*v - 9, 0 = 3*v - 5*n + 28.