15, -3*l = 3*v - 183. Suppose -j + a + 5 = 0, -3*j - j - 4*a = -l. Is j a multiple of 5?
True
Let h = -2 + 2. Let j be -4*3/(-3) + h. Suppose -4*d = 4 - 20, -j*d + 102 = 2*p. Is 16 a factor of p?
False
Suppose -4*h + 4 = -2*h. Let k = h - -6. Is 4 a factor of k?
True
Let g = -8 - -2. Let v = 44 - g. Is v a multiple of 25?
True
Is 6 a factor of 3 - (1 + -4 - 47)?
False
Let d(s) = -110*s - 7. Does 32 divide d(-2)?
False
Is 73 - -2*(2 + 5/(-2)) a multiple of 9?
True
Let b(y) be the first derivative of 6*y**2 + 5. Is b(2) a multiple of 12?
True
Suppose 2*f - 27 = 5. Is 5 a factor of f?
False
Let m(x) = x + 24. Does 7 divide m(0)?
False
Let o = -5 + -13. Is 9 a factor of (-1)/((6/3)/o)?
True
Let r = 185 + -104. Is r a multiple of 9?
True
Let u(l) = -l**2 + 16*l + 8. Does 3 divide u(16)?
False
Suppose 0 = -4*g + 4*s - 68, -3*s = 2*g - 0*s + 14. Let z = -7 - g. Is 6 a factor of z?
True
Let l(q) = -6*q - 2. Let t be l(-5). Let r = t - 14. Is r a multiple of 7?
True
Suppose 0 = 5*i - 7 - 18. Let h(f) be the first derivative of -f**4/4 + 7*f**3/3 - 3*f**2 - 7*f + 3. Is h(i) a multiple of 6?
False
Let i(r) = 5*r - 1. Let l(c) be the first derivative of 15*c**2/2 - 4*c - 1. Let o(w) = -17*i(w) + 6*l(w). Does 13 divide o(9)?
False
Let y be (8 - 5)/((-6)/(-14)). Let v be ((-6)/9)/(4/(-18)). Suppose v*c = 2*c + y. Is 4 a factor of c?
False
Let b(m) = -5*m**3 + 4*m**3 + 7*m - 8*m - m**2 + 40. Let n be b(0). Suppose y - 4*q = n, -y - 15 + 58 = -5*q. Does 14 divide y?
True
Let i be (9/(-15) + 1)*-210. Let r = -54 - i. Is 15 a factor of r?
True
Suppose 99 = -4*c + 407. Is 11 a factor of c?
True
Let s = 22 - 17. Suppose 5*r - s*o - 85 = 0, 3*r = -r + 2*o + 68. Is 7 a factor of r?
False
Suppose 4*w - 470 = -w. Let o = 4 - 4. Suppose o = x + 3*h - h - 26, w = 3*x - 2*h. Is 15 a factor of x?
True
Is (10/15)/((-4)/(-450)) a multiple of 15?
True
Suppose -5*z = q - 12 - 35, 4*z - 2*q - 46 = 0. Is 2 a factor of z?
True
Suppose 52 = a + 5*y, a + 2*y + 207 = 4*a. Is 15 a factor of a?
False
Suppose 1 - 3 = i. Let r be (-330)/8 - i/8. Let v = r - -60. Does 8 divide v?
False
Suppose -3*r - 9 = 2*r - 3*v, -3*v - 6 = 0. Does 11 divide ((-8)/r)/(10/75)?
False
Suppose g = 6*g. Suppose g*c = 3*c - 45. Is c a multiple of 6?
False
Let x = -6 - -10. Suppose 157 + 3 = x*r. Is r a multiple of 13?
False
Let t(u) = -u**2 + 5*u + 13. Let h be t(11). Let c = -27 - h. Does 11 divide c?
False
Let w(r) = -3*r**3 - 3*r - 4. Let l be w(-3). Let q = 161 - l. Does 25 divide q?
True
Is 2 a factor of 16/2 - (5 - 5)?
True
Suppose 4*g + 0*g = 0. Suppose g = d - 6 - 6. Is d a multiple of 6?
True
Let z(j) = 4*j + 2*j + 1 + j. Is 15 a factor of z(2)?
True
Suppose -5*t - 641 + 82 = 3*o, 450 = -4*t - o. Let k = -75 - t. Does 19 divide k?
True
Suppose -3*o + 5*t = t - 2, -3*t = -3. Suppose -o*a + 0*a + q + 36 = 0, -a + 2*q + 24 = 0. Is a a multiple of 8?
True
Let b(h) = 7 - 2*h - h - 3*h. Let o(p) = p**2 - 6. Let g be o(0). Does 15 divide b(g)?
False
Let v be 6/9*-3 + 11. Let x = -5 + v. Suppose -x*j + 20 = j. Is j even?
True
Suppose 4*m - 35 - 321 = -4*w, -m + 179 = 2*w. Suppose 0*t + w = 3*t. Does 19 divide t?
False
Suppose 9*s = 4*s - 2070. Is s/(-8) - 9/12 a multiple of 17?
True
Is ((-2)/(-3))/((-16)/(-216)) a multiple of 6?
False
Let s = 114 + -69. Is 15 a factor of s?
True
Let g = 139 + -92. Does 25 divide g?
False
Let y(m) = m + 7. Let l be y(-7). Suppose l = 6*q - q + 35. Is (4 + q)*(-16)/6 a multiple of 7?
False
Suppose 270 = -0*b + 6*b. Is b a multiple of 45?
True
Suppose -3 = -5*r + 2. Let v be 2 - (-20 + 1)*r. Let u = v + -9. Is u a multiple of 12?
True
Suppose -u = -4*u + 243. Is u a multiple of 11?
False
Let f(i) = -4*i**3 + i**2 + 2*i + 4. Let h be f(-5). Suppose 4*j + r = -153 + h, -2 = r. Is j a multiple of 23?
True
Suppose 6*m - 9*m = -48. Is m a multiple of 4?
True
Let x be (-2 - -1)*(32 + -1). Let f = 2 - x. Is 16 a factor of f?
False
Let r(o) = 2*o**2 + 20*o - 13. Is 15 a factor of r(-14)?
False
Let l = 9 + -5. Suppose 0 = 2*p + l*j + 10, -j - 1 = -2*p + 4. Is (-8)/(p/1 - 2) a multiple of 8?
True
Suppose 0*j + 4*j - 60 = 0. Is 3 a factor of j?
True
Let i(p) = -p**2 + 18*p + 18. Is 6 a factor of i(18)?
True
Suppose 3*k = -2*k - 25. Let a = k - -101. Suppose -2*r = 2*r - a. Is r a multiple of 8?
True
Suppose -4*w + y = -126, -6*y = -2*w - 9*y + 56. Does 14 divide w?
False
Suppose 0 = 113*t - 110*t - 51. Is t a multiple of 3?
False
Let n(p) = -p - 1. Let c be n(-1). Let j(k) = -k**2 + k + 21. Does 12 divide j(c)?
False
Let j(i) = -12*i - 10. Is 14 a factor of j(-9)?
True
Let q(r) = -r. Let y be q(-5). Suppose -2*d + 6 = 2*m, 2*d - 27 = -0*m + y*m. Does 4 divide d?
False
Suppose 4*y - 4 = -0. Is 11 a factor of y/3 + (-344)/(-12)?
False
Does 44 divide 3/(-3) + -4*(-1 + -46)?
False
Does 41 divide 44*(12/(-40))/(12/(-310))?
False
Suppose 3*u = -u + 4*n + 1612, 4*n = -2*u + 824. Does 29 divide u?
True
Suppose -2*v = -q, 3*v = -0*v - 2*q. Suppose v*t - 20 = -t. Does 10 divide t?
True
Suppose -2*z + 3*z - 37 = 0. Is z a multiple of 13?
False
Let a be (2/3)/((-3)/(-9)). Suppose 0 = -a*s - 0*s + 182. Is s a multiple of 23?
False
Suppose 6*a - 4 = 4*a. Let l be (-4 + a)*20/(-8). Let g(d) = d**2 + 2*d - 2. Is g(l) a multiple of 24?
False
Let s(k) = 2*k + 2. Let j(q) = 3*q - 2. Let d be j(3). Does 8 divide s(d)?
True
Let x(z) = 3*z**2 + z - 5. Let f = 3 + 3. Let a be x(f). Suppose 5*w - v - a = 0, 4*w + 3*v = -v + 92. Is w a multiple of 11?
True
Let r(q) = -q**3 - 10*q**2 + 12*q + 14. Let h be r(-11). Suppose 97 = h*c - 104. Is 14 a factor of c?
False
Let c(o) = 4*o + 1. Suppose 1 = 5*v - 4. Let p be c(v). Suppose t = 2*m + 29, -2*m = p*t + m - 197. Does 15 divide t?
False
Let v(n) = -6*n**2 + 31*n - 25. Let t(b) = -b**2 + 6*b - 5. Let g(a) = 11*t(a) - 2*v(a). Is g(4) a multiple of 10?
False
Is 72*(-1)/4*-4 a multiple of 9?
True
Let o be 135/7 + 4/(-14). Suppose 7 = 3*t - 0*z - z, -5*t - 2*z + o = 0. Suppose -2*y = -t - 33. Is y a multiple of 7?
False
Suppose 3*w - 5*b - 663 = 0, -w + b + 219 = -0*w. Is 27 a factor of w?
True
Suppose 48 = 2*t + 3*d, -t = 6*d - 3*d - 30. Does 18 divide t?
True
Suppose 5*g = z + 5, 3*g - 4*g = 2*z - 45. Is 3 a factor of z?
False
Let l = -22 + 34. Suppose -b + l = 2*b. Suppose -b*m - 10 + 34 = 0. Does 4 divide m?
False
Let z(i) = i**3 - i**2 - i + 12. Let b be z(0). Is 18 a factor of b*(6/(-3) - -5)?
True
Suppose -8*d + 385 = -143. Is d a multiple of 37?
False
Suppose -12 = 5*j - 3*q, q = -3*j + 4*q - 12. Let b be j - 9 - (2 - 1). Let r = 28 + b. Is 9 a factor of r?
True
Let g = -16 + 68. Suppose -h - 20 = -3*x + 3*h, -g = -3*x - 4*h. Is 12 a factor of x?
True
Let k(t) = -7 - 3*t - 2*t + 6*t. Let l be k(8). Let j = l - -3. Is j even?
True
Let r be (-8)/(-20) - 796/(-10). Let l = -52 + r. Is l a multiple of 14?
True
Let t = 15 + -37. Let r = 46 + t. Is 12 a factor of r?
True
Let v be (0 - (-1 - -1))/2. Suppose 0*a - 3*a + 45 = v. Is a a multiple of 9?
False
Let d = -2 - -12. Is d a multiple of 10?
True
Let w(f) = -69*f - 6. Is 51 a factor of w(-6)?
True
Let v(t) = 11*t**2 + t. Suppose 0 = -3*z - 2*z + 25. Suppose 5*g = 3*k + 25, 0 = -g + z*k - 3 + 30. Does 23 divide v(g)?
True
Does 21 divide (9 + -7)*(-1 + 64)?
True
Let n = 29 - 2. Is 9 a factor of n?
True
Suppose 4*y = -y + 10. Suppose y*x - 4*x + 52 = t, 0 = -5*x + t + 144. Is 14 a factor of x?
True
Suppose 29 - 133 = 4*b. Let y = b + 42. Is 7 a factor of y?
False
Suppose -4*q - 299 = -5*q. Is q a multiple of 13?
True
Let a(g) = -g**3 - 8*g**2 - 6*g + 7. Let l be a(-7). Let c = 2 - l. Suppose -i = -c*i + 14. Does 7 divide i?
True
Suppose -5*t + 5 + 20 = -y, 5*y = -4*t + 20. Suppose 0 = t*m - 39 - 11. Suppose -m = -2*i, 4*u - 79 = 2*i + 27. Does 10 divide u?
False
Suppose -k + 2*k - 5 = 0. Suppose -k*y + 12 = -3. Suppose y*o + o - 104 = 0. Is o a multiple of 13?
True
Is (18 - 9) + 2/(-2) a multiple of 8?
True
Suppose 0 = -4*t + 6*t - 4*g - 46, 0 = g - 5. Does 11 divide t?
True
Let h = 89 - 25. Does 8 divide h?
True
Let i(s) = 6*s**2 - 6*s + 6. Let o be (1 - 1) + (-2 - -6). Let t be i(o). Suppose 2*j + 0*j = t. Is j a multiple of 15?
False
Let p(d) = -5*d**3 - d**2 + d. Let j be p(1). Let c = j + 7. Does 11 divide (c - (-78)/4)*2?
False
Let b(t) = -t**3 + t - 2. Let z be b(-2). Is (1 + (6 - 3))*z a multiple of 8?
T