2 - 3. Suppose 3*a + 7 = -5*r, a - 5*a - 13 = 3*r. Is 7 a factor of (4*x)/(r/(-5))?
False
Let h(i) = 2*i**2 - 8*i + 8. Let q be (-7)/(-1) - 2/1. Is h(q) a multiple of 6?
True
Suppose -2*t + 30 = 3*t. Let w(d) = -d + 6. Let v be w(t). Suppose v = -4*q - 14 + 6, 5*a - 2*q - 54 = 0. Is a a multiple of 10?
True
Let r = 1 - 1. Suppose -3*f + 12 = -r*f. Suppose 114 + 30 = f*z. Is z a multiple of 13?
False
Suppose 2*c = 3*c. Suppose c - 5 = 5*x. Let v = 5 + x. Is 3 a factor of v?
False
Let a = -108 + 279. Is a a multiple of 20?
False
Suppose 0*g - 3*g = -246. Let y = 119 - g. Let x = 67 - y. Is x a multiple of 10?
True
Let m = -19 - -20. Let i = m + 50. Does 17 divide i?
True
Let j(p) = 13*p + 3. Is 15 a factor of j(9)?
True
Let q(u) = 15*u**3 + 2*u**2 - 2*u + 1. Let y(t) = -t + 5. Let p be y(4). Let f be q(p). Suppose -4*a - 2*i = -f, -a - 5*i + 2 = -4*i. Is 3 a factor of a?
True
Suppose -3*x = -6*x + 69. Let d = 1 + x. Is 12 a factor of d?
True
Let a(o) be the third derivative of -o**4/8 - o**3 - o**2. Let k(q) = 2*q + 7. Let h(x) = 3*a(x) + 4*k(x). Does 10 divide h(0)?
True
Let n be (-1 + -2)*21/9. Let g(i) = -i**3 + 3*i**2 - 2*i + 1. Let y be g(3). Let c = y - n. Is c a multiple of 2?
True
Let n = 2 + 3. Suppose m - n*m = -80. Is 10 a factor of m?
True
Let y = -12 + 17. Suppose 0 = 2*q + 10, y*z - q = q + 65. Does 11 divide z?
True
Let n(g) = -10*g - 1. Let d be n(-1). Is 2/d + (-1446)/(-54) a multiple of 16?
False
Suppose 5*s + 336 = s. Does 10 divide s/70*100/(-6)?
True
Let i = 9 - 5. Let y(d) = d**3 + 6*d**2 - 3*d - 6. Let c be y(-6). Let v = c - i. Is 3 a factor of v?
False
Suppose 4*t + 4*u = -84, -5*t - 4*u = -3*u + 85. Let a be t/(-3) - (-4)/(-12). Let m = 9 - a. Is m a multiple of 4?
True
Let i = -15 - -8. Let m = i + 9. Suppose -m*h + 4*h - 34 = 0. Does 12 divide h?
False
Let r = 15 + 29. Is 22 a factor of r?
True
Suppose 275 = 8*q - 13*q. Let k = -10 - q. Does 15 divide k?
True
Does 21 divide 92 + 9 - (-1 + 1)?
False
Suppose 0*o = o + y - 6, -4*o + 25 = 5*y. Suppose 98 = o*a - 4*i, -a + 2*i + 13 = -i. Does 22 divide a?
True
Suppose 2*s - 66 = 5*w, 3*w - 118 = -4*s + 6*w. Is 5 a factor of (-3)/(-9) + s/6?
True
Let t(s) = 4*s - 16. Is t(12) a multiple of 16?
True
Let q be (21 + -1 + 3)*1. Suppose 133 = 4*m - q. Suppose -m = -4*r - 3. Is r a multiple of 8?
False
Let x(w) = w**2 + w - 1. Let z be x(2). Suppose -10 = i + 4*b, -z*i = 2*b - 1 - 21. Let k = i + -3. Is k a multiple of 3?
True
Let p be 1/4 + 36/(-16). Let l be (1/p)/(4/(-16)). Suppose z = -0*z + 4*a + l, -4*z = -4*a - 44. Is z a multiple of 14?
True
Suppose 4*y + 0*q - 103 = -q, 0 = -y + 2*q + 19. Is y a multiple of 25?
True
Suppose 2*u + 3*x - x - 256 = 0, 0 = -5*x - 5. Let n = 92 - 15. Let k = u - n. Is 24 a factor of k?
False
Is (-12)/(-7)*(-3)/(-6)*14 a multiple of 12?
True
Suppose 51 = 2*p + 3*h, 23 = p + 3*h - 2*h. Is p a multiple of 13?
False
Suppose -16 = -2*p - 2*p. Suppose 0 = t - p*t + 189. Does 21 divide t?
True
Suppose 5*f - 2*z + 5*z = 15, z = -f + 3. Let w(s) = -2 - 2*s - 4 + 7*s + 4*s**2 - s**f. Does 7 divide w(4)?
True
Is 21 a factor of (-2)/4 - (-204)/8?
False
Suppose 42*v - 30 = 37*v. Is v a multiple of 3?
True
Suppose -4*l + 0*l + 48 = 0. Is 12 a factor of l?
True
Is 1 + 111 + 2 + -4 a multiple of 18?
False
Let s(b) be the second derivative of b**4/12 - 5*b**3/6 - 2*b**2 + 10*b. Does 23 divide s(-4)?
False
Let p(v) = v**3 + 9*v**2 + v - 5. Let i be p(-8). Let q = -25 + i. Suppose 4*o + o - 61 = -4*l, 2*o = 2*l - q. Is 7 a factor of l?
True
Let a(f) = 32*f. Does 35 divide a(4)?
False
Suppose 2*x - 22 = 2*d, 2*x + x = 2*d + 24. Let z be d/(-5) + (-3)/(-15). Suppose 2*r - 26 = -z. Is 6 a factor of r?
True
Let v = 12 - 6. Suppose -b - 10 = -v*b. Suppose a + 80 = 5*a + j, -3*a + b*j + 60 = 0. Does 10 divide a?
True
Let u(z) = -2*z. Let g be u(-2). Suppose x - g*x = 0. Is 18 a factor of 3*56/6 + x?
False
Let t(r) = 8*r - 6. Does 18 divide t(3)?
True
Let z(g) = g**3 - 12*g**2 - 18*g + 16. Is z(14) a multiple of 12?
True
Let h = 198 + -109. Is h a multiple of 14?
False
Let j(h) = h**2 - 2*h - 1. Let p = 5 + -13. Let n = p + 3. Is j(n) a multiple of 12?
False
Let d = 0 - -4. Let z(g) = -3*g - 4. Let v be z(d). Does 3 divide v/10*(-5)/1?
False
Suppose -2*f + 0*k + 4*k = -12, 5*f = 4*k + 18. Suppose -4*c = 2*i - 116, f*i + 3*c - 88 = 23. Suppose -4*j - 4*w = -0*j - i, 44 = 5*j + w. Is 6 a factor of j?
False
Suppose 5*x + 4 = -2*y, -2*y = -4*x + 4 - 0. Let r(p) = -3*p**3 - 2*p**2 + 2*p + 2. Is r(y) a multiple of 7?
True
Suppose 0 = -4*b + 81 + 67. Does 11 divide b?
False
Suppose 19 + 53 = d. Does 12 divide d?
True
Let i(q) = q**2 + q + 26. Is i(0) a multiple of 13?
True
Suppose 4*p + 3*u = 372, -p - 4*u + 38 = -42. Does 16 divide p?
True
Let o = -35 + 55. Let k(c) = c + 5. Let h be k(-5). Suppose -2*q + h*q + o = 0. Does 5 divide q?
True
Suppose -3*a = -2*a + 2*b - 20, -b = -3*a + 74. Is 4 a factor of a?
True
Is (-934)/(-8) - (22/8 + -2) a multiple of 29?
True
Let f(l) = -l**3 + l**2 + l + 48. Does 24 divide f(0)?
True
Suppose 6*c - 120 = c. Is c a multiple of 6?
True
Let a = 5 - 1. Let r = a + -6. Does 6 divide -1 + 12 + r/(-2)?
True
Let g = 0 - 2. Let m be g/(-4) - (-2)/(-4). Let u = m - -6. Is 3 a factor of u?
True
Let a = 75 + -55. Is a a multiple of 17?
False
Suppose 0 = -5*p + 2*p + 18. Is p*3/6 - 1 a multiple of 2?
True
Is (68/(-14))/((-18)/126) even?
True
Is (-27)/3*26/(-6) a multiple of 8?
False
Does 6 divide 27 - 5 - (-8)/2?
False
Let k(y) = 18*y - 4. Is 8 a factor of k(2)?
True
Suppose k - h - 5 = 12, 2*k + 3*h = 9. Is k a multiple of 12?
True
Suppose 0 = 4*c + 2*q - 20, 2*c + 15 = 5*c - q. Suppose 8 = c*u - u. Suppose -80 = u*h - 6*h. Does 7 divide h?
False
Let m = -17 + 10. Let g = m - -36. Does 9 divide g?
False
Suppose -2*c - 32 = 5*q, -4*q = 3*c + 21 + 13. Let r be (c*1)/(3/(-9)). Suppose 0 = h - r + 5. Does 6 divide h?
False
Let z(c) = -c**2 - c - 1. Let j(n) = -15*n**2 - 4*n - 5. Let q(p) = -j(p) + 5*z(p). Let h be (-12)/18*(-6)/4. Is q(h) a multiple of 5?
False
Suppose 2*t + 69 = 5*o, 6*o + 2*t = 4*o + 36. Is 15 a factor of o?
True
Suppose -3*l + g + 609 = 0, 2*l - 208 - 203 = -g. Is 51 a factor of l?
True
Let m(a) be the second derivative of a**6/180 + a**5/40 - a**4/24 + a**3/2 - 3*a. Let x(g) be the second derivative of m(g). Does 16 divide x(-5)?
False
Let w = 6 + 0. Is 6 a factor of w?
True
Is 9 a factor of (0 + (2 - 204))*(-3)/6?
False
Is 2146/8 - (-4 - (-17)/4) a multiple of 19?
False
Suppose 0 = -7*c + 3*c - 20. Let d = 10 + c. Is d even?
False
Does 6 divide (-2)/(20/(-15)) + 9/2?
True
Suppose 0 = -q + 4*p + 20, -4*q - p = -3*p - 24. Suppose q*i - 132 = -4*r, 3*r - 5*r = i - 61. Is r a multiple of 14?
True
Let m(q) = 2*q**2. Let u(t) = -4*t**2 + t - 1. Let x(b) = -3*m(b) - 2*u(b). Does 10 divide x(3)?
False
Suppose -11*v + 450 = -6*v. Is 25 a factor of v?
False
Is (-1)/((6/(-50))/3) a multiple of 5?
True
Suppose 2*a - 5*k = -3*a + 450, 0 = 4*a + 2*k - 330. Does 9 divide a?
False
Suppose 0 = -0*c + 4*c. Suppose b - 3 = -c*b. Suppose -b*p - 24 = -4*p. Does 12 divide p?
True
Let k be 1/((5/21)/(-5)). Let y = 69 + k. Suppose 2*z - 5*j = 63, -2*j - y = z - 3*z. Is z a multiple of 11?
False
Suppose s = 4 + 7. Suppose -s = -4*v + 1, 0 = 3*c + 2*v - 126. Is 10 a factor of c?
True
Let g(x) = -x**3 - x + 31. Suppose 0 = 8*d - 3*d - 5. Let y = -1 + d. Is g(y) a multiple of 15?
False
Is 23 a factor of (-4)/14 - 648/(-14)?
True
Let b = 11 - -55. Is 26 a factor of b?
False
Is 6 a factor of 9/15 - (-234)/10?
True
Let t(h) = -3*h**3 - h**2 - h - 2. Is 5 a factor of t(-2)?
True
Let t(h) = h**3 - 6*h**2 - 10*h + 10. Let p = 1 - -6. Let w be t(p). Let z = -1 - w. Does 8 divide z?
False
Suppose 6*b - 220 = 2*b - z, -5*b + 2*z + 262 = 0. Does 18 divide b?
True
Suppose 4*f = 5*f. Suppose f*j = -3*j + 162. Is 16 a factor of j?
False
Let v(n) = -n**2 - 7*n - 6. Let b be v(-5). Suppose -2*g - 22 = 4*i - 0*i, -3*g = b*i + 27. Is ((-52)/6)/(i/9) a multiple of 13?
True
Let j = -7 + 11. Suppose 0 = -i + j*l + 20, -2*i + 40 = -0*i + 5*l. Suppose -i = -8*f + 3*f. Is f a multiple of 3?
False
Let s(t) = -19*t + 6. Is 22 a factor of s(-4)?
False
Let x = -5 + 5. Suppose -4*f - 19 + 91 = x. Does 9 divide f?
True
Suppose s - 28 = -4*n, 2*s + 4 = 3*n - 17. Suppose n*d - 2*d - 4