+ 3*o - 3. Let q be i(3). Suppose -2*x = x - q. Is 7 a factor of x?
False
Let y(h) = 4*h**3 + 2*h**2 - 2*h - 1. Let z(k) = k**3 - 3*k**2 + 3*k. Let t be z(2). Is y(t) a multiple of 6?
False
Let w(q) = -q - 6. Let n be w(-8). Suppose o + n*o = 2*d - 129, 5*d - 291 = -3*o. Suppose 2*t = -2*t + d. Does 7 divide t?
False
Let g(r) be the third derivative of -r**4/24 + r**3 - 2*r**2. Let w = 0 + -9. Is g(w) a multiple of 15?
True
Let o = -2 - -5. Does 16 divide o + (2 - -46) - -1?
False
Let g = 13 + -31. Does 15 divide -6*(2 + g/4)?
True
Suppose -6 = 2*q - 2*r - 2, 4*q - r - 4 = 0. Suppose q*o + 3*g - 1 = 0, -4*o + 31 = o - 2*g. Suppose -2*l = -o*m - 117 + 30, -l = 2*m - 48. Is 15 a factor of l?
False
Suppose 11 = -f + 35. Does 15 divide f?
False
Let z(a) = a + 37. Is z(9) a multiple of 23?
True
Let t = -297 - -501. Is 17 a factor of t?
True
Suppose -l = 4*j - 60, -3*j + 204 = 5*l - 7*j. Is 11 a factor of l?
True
Let b(l) = -3*l - 5*l - 6*l. Let c be b(-2). Suppose -2*k - 14 = -2*j + 26, j = -k + c. Does 21 divide j?
False
Let s be (-1036)/(-20) - 1/(-5). Suppose 2*p + 0*g - 4*g = s, p + 3*g = 21. Is 24 a factor of p?
True
Let c(d) = -10*d. Does 7 divide c(-2)?
False
Let q(d) = 5*d**2 - 10*d - 13. Is 28 a factor of q(6)?
False
Let q(h) be the first derivative of -h**4/4 - h**3 - 5*h**2/2 + 6. Does 6 divide q(-3)?
False
Let s = -10 + 12. Suppose 27 = -s*i + 119. Does 14 divide i?
False
Let v(f) = 5*f**2 - 5*f**2 - 8 + 2*f**2 + 5*f. Does 16 divide v(-6)?
False
Is 40 a factor of (1 - -16)*5 + -4?
False
Let x = 3 - -2. Suppose x*o - 149 = -4*a + 139, -a + 170 = 3*o. Is o a multiple of 28?
True
Suppose -r = r - 4. Let q be 6/27 + (-32)/(-18). Suppose -r*a = -v - 34, 0*a + 3*v + 34 = q*a. Does 6 divide a?
False
Let v be (-3 - -1)*(1 - 2). Is 17 a factor of (-1)/(-2) + 101/v?
True
Let z = 0 - -55. Is 11 a factor of z?
True
Suppose 3*m = 5*m - 40. Does 5 divide m?
True
Suppose 0*i + 2*o = 5*i - 127, -5*i = -3*o - 123. Suppose -i = -16*k + 13*k. Does 2 divide k?
False
Suppose -3*h + 2 = -2*g - 13, -2*g = 6. Is 2 a factor of 2*(9 - h)/3?
True
Let r(n) = 2*n + 11. Is r(0) even?
False
Let q(z) = -7*z. Let o(g) = 6*g. Let n(m) = 4*o(m) + 3*q(m). Let x be n(-3). Let s(w) = -w + 8. Does 7 divide s(x)?
False
Let w = 4 + 25. Let o = 47 - w. Is o a multiple of 9?
True
Suppose 3*q + 19 - 4 = 0, -4*o + 3*q - 1 = 0. Is (-2)/o - (-76)/8 a multiple of 10?
True
Suppose 4*z = -8 + 168. Is 4 a factor of z?
True
Suppose -3*f = 0, -6*o + 3*o - 3*f + 6 = 0. Suppose o*z + q - 1 - 32 = 0, -2*z + 28 = -4*q. Is z a multiple of 8?
True
Let o(u) = -30*u + 43. Is 11 a factor of o(-5)?
False
Let k = 6 + 42. Is 16 a factor of k?
True
Suppose -4*m = 35 - 15. Let a = -3 - m. Suppose a*q + 2*j - 17 = 7, -5*j = -20. Is 3 a factor of q?
False
Suppose -164 + 12 = -4*h. Is 17 a factor of h?
False
Suppose 10 = 2*c, 3*z + c = 2*z + 1. Let f(g) = -3*g + 5. Is 17 a factor of f(z)?
True
Let a(f) = f**3 - 8*f**2 + 10*f - 6. Is a(7) a multiple of 15?
True
Let n = 19 + -12. Is n a multiple of 7?
True
Let s(b) = b**2 + 2. Let u be s(-2). Let n(y) = y. Does 6 divide n(u)?
True
Suppose 3*c - 3 = 0, 5*v + c - 258 = 3*c. Let m be ((-3)/2)/(3/v). Let n = -18 - m. Is 3 a factor of n?
False
Let g(z) = 2*z - 5. Let c be g(5). Suppose -11 = c*j + 4. Let h(d) = -2*d + 3. Does 9 divide h(j)?
True
Does 28 divide (-105)/((-7)/4 - -1)?
True
Let v(m) = -m**3 - 2*m**2 - m - 2. Let q be v(-2). Suppose -2*s + 4 = -q. Is 2 a factor of s?
True
Suppose 3*k = -k + 40. Let w(h) = 2*h - 1. Let q be w(k). Suppose 3*f - 15 = 0, -f = n + 2*f - q. Is 4 a factor of n?
True
Suppose 525 = 27*u - 22*u. Is u a multiple of 48?
False
Is 4 a factor of ((-2)/6)/((-8)/144)?
False
Suppose 3*o - 73 = -0*o - 2*p, -2*p - 62 = -2*o. Suppose 0 = -h - 2*t + 34, -5*h = -5*t + o - 242. Does 20 divide h?
True
Let y(v) = -3*v + 3. Let p be y(-4). Let f = 25 - p. Does 5 divide f?
True
Let l = -14 - -57. Let v = l + 7. Is 9 a factor of (6 + -2)*v/8?
False
Let o(s) = -s**2 + 3*s + 3. Let v be o(3). Suppose 0 = 5*d + 3*b - 39, -v + 29 = 2*d - 4*b. Is 9 a factor of d?
True
Let k be ((-21)/6)/((-2)/16). Is 17 a factor of (-7)/(k/32 + -1)?
False
Suppose r = -0*r + 42. Let m be -3*2/((-12)/(-50)). Let b = r + m. Is 12 a factor of b?
False
Let f be 46/3*3 + -1. Suppose 0 = -5*u - 3*o + 315, 3*u - 93 = 4*o + 96. Let h = u - f. Is h a multiple of 9?
True
Let c(g) = g. Is 4 a factor of c(8)?
True
Let u(w) = -w + 11. Does 2 divide u(-5)?
True
Let m = -4 + 3. Let b = -1 - m. Suppose b = t - 3 - 7. Is 5 a factor of t?
True
Let h = 8 + -13. Let k be 2/h*(162 - 2). Does 21 divide -3 - 0 - (k - 2)?
True
Let n(w) = w + 3 + 7 - 5 + 6. Let o be n(-9). Suppose o*u - 3*f = 56, 0 = -5*u + 3*f - 4*f + 106. Does 7 divide u?
False
Let y(x) be the third derivative of x**6/120 + x**5/60 + 2*x**3/3 - 3*x**2. Let t be y(0). Suppose -3*m - 5 = -t*m. Is m a multiple of 5?
True
Let w be (30/(-9) + 2)*3. Let o be -1*4*(-3)/w. Is 5 a factor of -2 - 1/(o/39)?
False
Let w = -208 + 406. Does 18 divide w?
True
Let a(f) = 10*f - 39. Does 72 divide a(13)?
False
Suppose i = 2*n - 55, -72 = -4*n - 2*i + 42. Is 23 a factor of n?
False
Is -3 - (0 - (65 - -3)) a multiple of 13?
True
Let o = -7 - -31. Suppose -4*r - s + 12 = 0, 3*r = 2*s + s + o. Is 3 a factor of 216/22 - r/(-22)?
False
Let z(a) = 9*a - 1. Suppose g + g = 4*c - 146, 2*c + g = 83. Let s be c/9 + (-2)/(-3). Does 22 divide z(s)?
True
Suppose -5*k = -k - 3*s - 308, 3*s = k - 68. Is k a multiple of 20?
True
Suppose -12*c + 21 = -9*c. Is 2 a factor of c?
False
Suppose 5*o = 5, q - 39 = -3*o - 7. Suppose -5*n + 161 = -q. Is 13 a factor of n?
False
Suppose 4*p - 2*p = 138. Is p a multiple of 17?
False
Suppose 0 = 4*l - 52 + 4. Suppose -2*k + 30 = l. Is k a multiple of 7?
False
Suppose -7 = 5*d + 3. Let i be 3 - (-2)/(4/d). Does 4 divide i/(-9) - (-148)/18?
True
Let n(k) = 2*k**2 + k. Let o be n(1). Let w(h) = 6*h. Let f be w(o). Suppose 2*v + 5*s - 12 = 0, -3*v = 4*s - 3*s - f. Is v a multiple of 4?
False
Let q = 112 + -76. Is 6 a factor of q?
True
Is -1 + (-4 - -2) + 120 a multiple of 39?
True
Let s be 4/(-18) + (-518)/(-63). Is 15 a factor of -1 + 62*4/s?
True
Is 18 a factor of (-1012)/(-14) - (-4)/(-14)?
True
Let n = 56 - 36. Is 10 a factor of n?
True
Let j = 31 - -59. Is j a multiple of 19?
False
Let g(m) = -19*m - 3. Let i be g(-3). Suppose 5*v - i = 3*v. Is 9 a factor of v?
True
Let p(x) = -x**3 - 1. Let v = -5 + 3. Let r(u) = -3*u**3 + u**2 - 2*u - 4. Let q(n) = v*p(n) + r(n). Does 12 divide q(-2)?
False
Let h = -2 - 1. Is 19 a factor of (-10)/h*(-5 + 23)?
False
Let u(b) be the first derivative of -b**4 - b**2 - 4 - 2*b - 1/3*b**3. Is u(-2) a multiple of 10?
True
Let y = 14 - -13. Let k = -9 + y. Is 9 a factor of k?
True
Suppose 2*b - 23 = 5*w, b + 3*b - 5*w - 31 = 0. Suppose 4 + b = 2*z. Suppose 74 - 18 = z*v. Is v a multiple of 7?
True
Let w(t) = t**2 - 3*t + 2. Let i be w(6). Let m = -14 + i. Is 4*(-1)/(-2) + m a multiple of 8?
True
Suppose 37 = y + 13. Suppose -4*k + k + y = 0. Does 4 divide k?
True
Let u = 93 - 83. Is u a multiple of 3?
False
Let k(z) = -z**2 + 9*z + 10. Let j be k(10). Suppose f - 32 = -j*f. Suppose 3*q - f = q. Is 8 a factor of q?
True
Let n(v) = v**3 - 6*v**2 + v - 3. Is 2 a factor of n(6)?
False
Suppose -5*i = -6*i + 28. Suppose -3*q = -q - i. Does 7 divide q?
True
Let l(a) = 10*a + 2. Is l(7) a multiple of 6?
True
Let g(p) = 2*p - 2. Let q be g(2). Let w(s) = -3*s + 6 + 2*s - 4*s**2 + s**3 - q*s. Is w(5) a multiple of 16?
True
Let g(a) = 42*a**3 + 2*a - 1. Let o be g(1). Suppose -2*h + 3 + o = 0. Is 6 a factor of h?
False
Suppose 23 = -x + 2*x. Does 6 divide x?
False
Suppose r + 12 = 51. Does 8 divide r?
False
Let u = -4 - -7. Suppose -4*q + 2 = -u*q. Suppose -4*f + 160 = -4*x, -4*x + 74 = q*f - 0*x. Is 21 a factor of f?
False
Suppose 4*i + 5*g - 23 = 0, 2*i + 13 = 4*i + 3*g. Suppose h = 5*u + 75, -4 = -i*u - 2. Does 23 divide h?
False
Suppose 2*w - 30 = 34. Is 32 a factor of w?
True
Suppose a - 7*t + 2*t = 9, 5*t + 3 = 2*a. Let n(x) = x**3 + 5*x**2 - 5*x + 8. Does 2 divide n(a)?
True
Does 6 divide (-5)/10*(-624)/2?
True
Let l = -7 - 24. Let z = 73 + l. Suppose z = 5*c + m, -3*c + 0*m + 28 = 2*m. Is c a multiple of 8?
True
Suppose 29 = -4*y + q, -4*y + 5*q = y + 55. Let p = 8 + y. Suppose -28 = -4*d 