multiple of 7?
True
Suppose 3*j - 18 = -u, -4*u - 5*j = -100 + 35. Is u a multiple of 3?
True
Suppose 6*i - 184 = 68. Is (-607)/(-7) - (-12)/i a multiple of 29?
True
Let t be (3 - 3)/3 - 3. Let l = 5 + t. Let v(p) = p**3 + 2*p + 1. Is 5 a factor of v(l)?
False
Let q = -249 - -106. Let p = -94 - q. Is 18 a factor of p?
False
Let u be (4 - 1)/(3/(-10)). Let q(c) = -14*c**3 - c**2 + c. Let b be q(1). Let z = u - b. Is z a multiple of 2?
True
Suppose 2*i = -2*v + 128, -i + 4*i = 4*v + 199. Does 12 divide i?
False
Suppose v - 2*v - 17 = 0. Let y = -26 - v. Let q = y - -13. Is q even?
True
Let d be 182/8 + (-1)/(-4). Suppose 34 = 2*v + 5*b, 0 = -v - 3*b - 8 + d. Is v a multiple of 11?
False
Let n = 77 + 31. Does 12 divide n?
True
Let q(d) = d - 3. Let n be q(5). Suppose 2*h = z - 5, 4*z + h - n = 3*z. Suppose -z*b = -47 - 13. Does 10 divide b?
True
Let r(z) = z**3 + 9*z**2 + 9*z + 5. Let w be r(-8). Let f be (-4)/(-6) + 14/w. Let u = 11 + f. Is 7 a factor of u?
True
Let g(i) = -3*i - 1. Let b be g(-1). Suppose 3*c - b*c - 8 = -f, 3*c + 8 = 5*f. Does 4 divide c?
True
Let q(t) = t - 5. Let r be q(7). Is 5 a factor of r/5 - 228/(-30)?
False
Suppose 0 = -2*o + 2*g + 156, -g = -4*o + 4*g + 310. Does 22 divide o?
False
Let i = -30 + 51. Is 7 a factor of i?
True
Let p(m) = m**3 + m**2 - m + 1. Let u(n) = -n**3 + 0*n - 8 - 10*n - 12*n**2 + n. Let q(t) = -2*p(t) - u(t). Does 3 divide q(11)?
True
Let g(l) = -1 + 0*l - 3 + 6 + l. Let r be g(-4). Is 3 a factor of (r + -2 - -2) + 11?
True
Let g = -385 + 635. Is g a multiple of 25?
True
Is 11 a factor of 3 + 50/(-15) + 541/3?
False
Let g = -5 + 13. Let p = -10 - 0. Is 20 a factor of 8*p/g*-2?
True
Suppose i - 23 = -5*a, i + a = -4*i + 19. Let p be 20/6*21/2. Suppose n - 2*k = i*k + p, -65 = -5*n + 3*k. Does 10 divide n?
True
Suppose g = -h + 24, 96 = 5*g - 5*h + 2*h. Does 6 divide g?
False
Suppose z + 2 = 5. Let s(y) = 6*y - 2. Let x be s(6). Suppose g + 3*i = 16, -z*g = -6*g - 2*i + x. Is g a multiple of 5?
True
Suppose -4*r - 123 = 57. Let l(p) = -2*p**2 - p + 1. Let n be l(2). Is (-74)/n - (-10)/r a multiple of 8?
True
Suppose 2*h + 12 = 4*h. Suppose 12 = 3*v - 6*g + 3*g, -h = 3*v + 3*g. Does 3 divide v*12*5/10?
True
Let n(q) = -q**2 - 7*q - 5. Let s be n(-5). Suppose 0 = v + 4, 3*c + s*v - 150 = -2*c. Is c a multiple of 17?
True
Suppose 0 = 4*t - 71 + 27. Is 11 a factor of t?
True
Suppose 11*u - 20 = 6*u. Let x be (-2 + u)*5/2. Suppose -x*f + 48 = -77. Does 25 divide f?
True
Let d(x) = -3*x**2 - 5*x + 7. Let a(g) = g**2. Let p(k) = 4*a(k) + d(k). Let b be p(5). Is 8 a factor of (18/b)/(1/7)?
False
Suppose -2*i + 0*i + 14 = 0. Is 7 a factor of i?
True
Let z(a) be the first derivative of -2*a**4 + 3. Does 6 divide z(-1)?
False
Suppose 53 = -4*s + 149. Suppose 4*t + s = 6*t. Does 4 divide t?
True
Let d(o) = o**3 - o + 9. Let r be d(0). Is (26/4)/(r/36) a multiple of 4?
False
Suppose 0*l = l. Let s = 5 + l. Suppose 3*b - 32 + 2 = -4*o, -3*o = s*b - 61. Is 7 a factor of b?
True
Suppose 0*f = -3*f - 57. Suppose 2*z + 2*t - 4 = 60, 5*z - 3*t = 192. Let b = f + z. Is 13 a factor of b?
False
Let i be 22*(-1 - 6/(-3)). Does 9 divide 4/(-22) - (-378)/i?
False
Suppose 51 = 3*m + s - 500, s = 5. Does 68 divide m?
False
Let i(u) = u + 11. Is i(-4) a multiple of 3?
False
Let m(o) = -o**2 + 11*o + 9. Is m(10) a multiple of 2?
False
Suppose 3*l + 3 = -3. Let m(j) = -j - 6*j - j. Is 16 a factor of m(l)?
True
Let l = 1 + -13. Let o = 17 + l. Is 5 a factor of o?
True
Suppose w + 5*b - 23 = 0, -5*w - 8*b + 3*b + 35 = 0. Suppose 12 + 3 = 5*v - 2*s, -3 = -v + w*s. Is v even?
False
Let w(j) = 3*j**2 - 3*j - 2. Does 2 divide w(-1)?
True
Let c = 16 + 30. Let z = -19 + c. Suppose -3*q + 4*t = -z, q = -q - 2*t + 4. Does 5 divide q?
True
Suppose -a = -5*a. Suppose a = -p - 2*f + 6 + 7, -4*p - 3*f = -77. Is p a multiple of 13?
False
Suppose 3*t - t - 184 = 0. Suppose 5*r - 3*n + 4*n = 85, -4*n = -4*r + t. Is 9 a factor of r?
True
Let k(f) = -18*f**3 + f - 6. Is 39 a factor of k(-2)?
False
Let c(v) = v**2 + 5*v + 4. Let b be c(-4). Let h(p) = 6*p**3 + p - 1. Let m be h(1). Suppose -z + 3*i + 2 = b, -m + 22 = 4*i. Is 7 a factor of z?
True
Let r(h) = -4*h + 12. Let o = 9 + -19. Let a be r(o). Suppose 3*s + a = 4*l, 5*l + 4*s + 72 = 168. Is l a multiple of 16?
True
Let m(i) = i**3 + 4*i**2 + 5. Suppose -8 = 2*d - 0*d. Let c be m(d). Suppose 0 = 2*l + 2*g - 22, 0 = -c*l + g + 4*g + 55. Is l a multiple of 11?
True
Suppose -5*l + 3*r + 9 = 0, 4*l + 2*r = -0*l + 16. Suppose 4*f - 6*f + 1 = s, l*s + 5*f = 0. Let i(c) = -5*c + 5. Does 11 divide i(s)?
False
Let l = -4 + 6. Suppose 2*o + l*o = 0. Let x(w) = w**3 - w**2 + 23. Is x(o) a multiple of 12?
False
Let v be (-44)/(2 + -2 - 1). Suppose 18 = k - 3. Let x = v - k. Does 11 divide x?
False
Let b(s) = -s**2 - 6*s + 2. Suppose -2*q + 6 = -3*q. Let g be b(q). Suppose 2*o = x - 53, 242 = 4*x - 0*x - g*o. Is 24 a factor of x?
False
Let m(a) = -a**3 + 29. Let w be m(0). Let b = 47 - w. Let g = b + -9. Is 5 a factor of g?
False
Suppose -m + 5*m - 5*t - 334 = 0, t + 83 = m. Does 5 divide m?
False
Let m(c) = c**3 - 5*c**2 + 2. Let f be m(5). Does 10 divide 20/1 + -2 + f?
True
Let f = -36 - -56. Does 16 divide f?
False
Let z(c) = c**3 + c - 1. Let p be 4 - (2 + -4 + 4). Let t(a) = -a**3 - 7*a**2 - 8*a + 4. Let g(w) = p*z(w) + t(w). Is g(8) a multiple of 18?
True
Is 41 - (-1 + -1 + 0) a multiple of 12?
False
Suppose -u = -22 + 4. Let v = -2 + u. Is v a multiple of 8?
True
Let m be 5/((-10)/(-12)) + 1. Suppose -1 = 4*o - g, -5*o - m*g + 4 = -3*g. Is (o + (-14)/(-4))*4 a multiple of 7?
True
Suppose 0 = 2*h - 5*q + 4*q - 21, 2*h - 2*q - 26 = 0. Suppose -4*p + 8 = -h. Is p even?
True
Let m = 25 + -24. Does 17 divide ((-87 - -2)/m)/(-1)?
True
Let o be (-2)/(8/(-4))*45. Does 9 divide (-4)/(-10)*(o + 0)?
True
Let q = 192 + -95. Does 18 divide q?
False
Suppose -2*r = -4*m + 5*m, r = 5*m + 11. Let o = r - 1. Let c(g) = g**3 + g**2 - g + 20. Is c(o) a multiple of 10?
True
Suppose 0 = 2*g + 2*g + 4. Let i = 0 + g. Is 19*-1*(0 + i) a multiple of 8?
False
Does 12 divide 72/(2 + 2/(-2))?
True
Suppose -2*h + 2*v + 18 = 0, 2*v + 9 = h + 3*v. Let p(z) = -z**3 + 8*z**2 + 9*z + 5. Is 4 a factor of p(h)?
False
Suppose 2*u - u - 4 = 0. Suppose 6 = 2*h + 2. Suppose u*p - h*p - 180 = -5*v, 0 = 5*v - p - 180. Does 21 divide v?
False
Suppose 0 = -5*g + 5*o + 160, 4*o + 15 = g - 11. Suppose -k + 6 + g = 0. Is k a multiple of 24?
False
Let q(o) = 55*o**2 + 7*o - 6. Does 7 divide q(1)?
True
Let a(x) = -6*x. Let y(z) = z. Let i(m) = -2*a(m) - 15*y(m). Let f be i(2). Let b(d) = d**2 - d - 5. Does 12 divide b(f)?
False
Let c be (18/(-12))/((-6)/(-8)). Let t(g) = -31*g - 9. Let l(b) = -16*b - 4. Let k(u) = 5*l(u) - 2*t(u). Is k(c) a multiple of 18?
False
Suppose -2*n = 4*z + 2, -4*z = 5*n - 3*z + 41. Let g be ((-22)/(-11))/((-6)/(-249)). Is g/3 - n/27 a multiple of 14?
True
Let n(u) be the second derivative of u**6/144 - u**5/30 + u**4/6 - 2*u. Let t(i) be the third derivative of n(i). Is t(4) a multiple of 7?
False
Let x be 760/12 - (-6)/9. Let p be (-30)/4*x/(-24). Is (-9)/(-4) + (-5)/p a multiple of 2?
True
Suppose 138 = 4*q - 2*q. Let v be (-2)/(-1)*q/6. Suppose -v = -2*t + t. Is 10 a factor of t?
False
Let k = 41 + -29. Is k a multiple of 7?
False
Let q(m) = -m**2 + 9*m - 7. Let l(u) = -u**3 - u**2 + 5*u + 2. Let a be l(-3). Suppose -x + 21 = -3*y, 4*x - a*y - 28 = 21. Is 11 a factor of q(x)?
True
Let i = 5 - 2. Let l = i - 0. Is 2 a factor of l?
False
Let k(y) = -7*y**3 - y**2 + 4*y - 7. Is k(-3) a multiple of 23?
True
Let l(j) = -5 - 3 + 6*j + 2 - 3. Is l(9) a multiple of 15?
True
Let o = -4 - -72. Is o a multiple of 34?
True
Let p(x) = 1 + 3 + 3 + x**2 - 3*x. Does 17 divide p(5)?
True
Let b = -3 - -21. Does 9 divide (2/(4/b))/1?
True
Let j = 1 + 48. Does 7 divide j?
True
Let g(q) = -q**3 - q**2 - q. Let s be g(0). Let f be 1 + -1*(0 - 1). Suppose s*b + f*b - 37 = -3*d, 2*b - 2*d = 42. Is 10 a factor of b?
True
Suppose 0 = -5*l - t + 27, -2*t = -0*t + 6. Does 9 divide (l/(-15) + 0)*-30?
False
Let a(m) = m**2 - m - 1. Let c be a(3). Let i = c - -38. Let j = i - 9. Does 9 divide j?
False
Does 6 divide 2/(-2) + 4 - -14?
False
Suppose -7*q = -2*q - 130. Is q a multiple of 4?
False
Let i = -24 - -66. Does 11 divide i?
False
Suppose 