 Is 5 a factor of c?
True
Suppose -2*m = -4 + 6. Is m - (1 + 26*-2) a multiple of 25?
True
Let l = -50 + 130. Is 20 a factor of l?
True
Suppose -h - 15 = -4. Let y = h + 22. Let s = 19 - y. Does 6 divide s?
False
Suppose 16 = 5*v + 3*z, -8*z + 3*z + 10 = 0. Suppose -1 = -r - v*w - 10, -5*r - 5*w = 30. Is 3 a factor of r/2*-2*1?
True
Suppose -n + i + 42 = 0, -4*n + 50 = -3*n - 5*i. Is 20 a factor of n?
True
Let o = -22 + 13. Let w be (4/(-3))/2*o. Does 7 divide w/4*(-40)/(-3)?
False
Let z = 168 + -34. Is z a multiple of 12?
False
Suppose -d - 2*a = 0, 2*d = -5*a + 4*a. Does 19 divide (-1 + -18)*(-1 - d)?
True
Let x(s) = -16*s**3 - s**2 + s - 1. Let t be x(1). Let o = t - -26. Does 4 divide o?
False
Suppose 0 = 2*c - 7*c - 5*y + 25, 3*c + 2*y - 12 = 0. Suppose -2*u - c*u = 0. Is 8 a factor of u + 11 - -2 - -2?
False
Let d(p) = -p**2 + 3*p - 2. Let n be d(3). Let b = n + 2. Suppose -4*l + b*l + 168 = 0. Is l a multiple of 20?
False
Let h(c) = 24*c. Let s be h(2). Let o = s - 70. Let k = o + 32. Is 3 a factor of k?
False
Suppose 3*a + a = 8. Suppose -10*s + 70 = -5*s. Suppose -s - 12 = -a*q. Is q a multiple of 5?
False
Let o be 3/(-12) + (-1827)/(-12). Suppose -4*x - o = -4*m, 5*m = -2*x - 0*x + 197. Is 12 a factor of m?
False
Let v(g) = -20*g**3 + g. Suppose -10 = 4*t - 6. Is v(t) a multiple of 19?
True
Suppose m = -2*b + 131, -3*m - 2*b + 7*b = -338. Suppose -4*l = -5*a - 158 - 142, 20 = -5*a. Let f = m - l. Is 17 a factor of f?
True
Suppose -5*d + 70 = -4*t, 5*d - 2*t - 19 - 61 = 0. Is 10 a factor of d?
False
Let i = -4 - -4. Suppose -4*f - f + 25 = i. Suppose -f*d + 61 - 11 = 0. Is d a multiple of 6?
False
Suppose -5*s + 24 = q, 4*q + 2*s - 16 = 26. Is q a multiple of 3?
True
Let k(f) = -f. Let l be k(6). Let x(d) be the second derivative of d**4/12 + 7*d**3/6 + 9*d**2/2 - d. Is x(l) a multiple of 2?
False
Suppose 0 = 4*h + 3*l - 5, -2*l - 25 = 3*l. Let s be (56/(-5))/(2/(-10)). Suppose 0 = h*g - g - s. Is g a multiple of 14?
True
Is 2*(-2)/22 + (-5152)/(-22) a multiple of 24?
False
Let h(q) = 3*q + 10. Is 20 a factor of h(10)?
True
Let q(t) = -19*t - 9. Does 11 divide q(-4)?
False
Let c(z) = 46*z**2 + z + 1. Let i be c(-1). Suppose q = 17 + i. Is 19 a factor of q?
False
Let k be 44/6*6 - -2. Suppose -45 - 23 = 4*v + 4*m, 3*v + 4*m = -k. Let o = 33 + v. Does 6 divide o?
False
Let l(h) = -h**2 + h - 2. Let x be l(-2). Let s(o) = o**2 + 10*o + 12. Let v be s(x). Is 3 a factor of -3*(v/(-6) - 2)?
False
Suppose 3*v - 2*i = 200, -3*v + 274 = v + i. Does 17 divide v?
True
Suppose i + 15 = 110. Let h = 137 - i. Does 14 divide h?
True
Let z = -9 + -1. Let h be z/(-4)*12/10. Is -7*((-18)/(-14) - h) a multiple of 10?
False
Suppose -5*c - 18 = -2*g, -2*c - c - 6 = 0. Suppose -g*i + 140 = i. Is i a multiple of 8?
False
Let y be ((-8)/14)/(8/(-28)). Let n be (-10)/(-15)*9/y. Suppose w = n*k + 21, 2*w - 5*w + 4*k = -68. Is 11 a factor of w?
False
Suppose 6*z - 528 = -10*z. Is z even?
False
Suppose 0 = 2*r + 4*a - 98, -6*a = -5*r - 3*a + 232. Let f = -31 + r. Does 8 divide f?
True
Let g(b) = 32*b - 8. Is g(2) a multiple of 7?
True
Let a(k) = -k + 7. Let p be a(7). Suppose -5*o = 3*z - 118, p*o - 2*z = 2*o - 44. Does 13 divide o?
True
Let x(s) = s**2 - s - 6. Let z(c) = c**2 - 8*c - 4. Let n(r) = r**3 - 3*r**2 + 2*r + 3. Let v be n(3). Let p be z(v). Is x(p) a multiple of 10?
False
Let u(x) = x**3 + 5*x**2 - 4*x - 4. Let v be u(-6). Let z = -6 - v. Is z a multiple of 10?
True
Let z = 374 - 23. Is z a multiple of 27?
True
Suppose 61 = 7*y - 2. Is 2 a factor of y?
False
Let n be 4/(-20) + 18/15. Is (8/12)/(n/3) even?
True
Suppose 3*n - 2 + 6 = m, -5*n - 3*m - 30 = 0. Let r be (-9)/6*4/n. Suppose -7*l + 35 = -r*l. Does 3 divide l?
False
Is (-1)/(-6) - 1127/(-42) a multiple of 9?
True
Is 3/6*-3*68/(-6) a multiple of 15?
False
Suppose 2*r - 5*r = -117. Let m(f) = f**3 + 5*f**2 - 5*f - 6. Let c be m(-5). Let w = r - c. Does 13 divide w?
False
Suppose 4*b + 4*s - 272 = 0, -5*s = -5*b + 3*b + 164. Let m be b - (0 + 2 + 0). Suppose 7*l - m = 2*l. Is 9 a factor of l?
False
Let p = 2 + 0. Is p/(-8) - (-37)/4 a multiple of 6?
False
Let q = 4 - -1. Suppose 5*f = q*j + 15, 2*j + 3*f + 9 = 6*f. Suppose j = -4*y + 12. Is y even?
False
Let j(x) = x**2 + 13*x + 11. Is j(-15) a multiple of 6?
False
Suppose -4*r - 5*x + 128 = 0, -30 + 145 = 3*r - x. Suppose 0 = -3*h + r + 5. Is 7 a factor of h?
True
Let x(k) = -k**3 + 8*k**2 + 7*k - 10. Let s be x(8). Let a = s + -31. Does 6 divide a?
False
Suppose 60 = -d + 6*d. Is 3 a factor of d?
True
Suppose -7*c - 8 = -8*c. Is 2 a factor of c?
True
Suppose -5*q = -15, m - 6 = 3*q + 27. Is 21 a factor of m?
True
Suppose j + 6 = 1. Let f = -3 - j. Is f a multiple of 2?
True
Let s(y) = 15*y**2 - 15*y + 67. Let f(j) = -7*j**2 + 7*j - 34. Let z(i) = -13*f(i) - 6*s(i). Is 20 a factor of z(0)?
True
Let r = -3 - -23. Suppose y = -4*y + r. Suppose -w - y + 54 = 0. Does 15 divide w?
False
Let z(j) = j**2 + 12*j + 27. Is 24 a factor of z(-12)?
False
Let b(g) = 46*g**2 + 2*g + 2. Is b(-1) a multiple of 20?
False
Suppose 0 = -4*d + r + 15, 3*d - 4*r = -0*d - 5. Suppose 0 = d*c - 0*c - 115. Does 9 divide c?
False
Let a = 146 - 122. Is a a multiple of 24?
True
Suppose -6*i + 9*i = 0. Suppose f = -i*f + 11. Is 11 a factor of f?
True
Suppose 2*c = -3*u + 185, -4*c + 207 + 100 = 5*u. Is 12 a factor of u?
False
Suppose -2*p = p, 3*m = 2*p + 6. Let k be ((-2 + 2)*1)/m. Suppose r + k*b - 25 = -3*b, -3*r + 55 = -b. Is r a multiple of 17?
False
Let y(w) = w**3 - 6*w**2 + 4*w + 1. Let m be y(4). Is (0 + -60)*10/m a multiple of 26?
False
Let n be 6/12*(3 + 1). Let i be 6*(-3 + n)/(-2). Suppose 3*z + 2*z + 67 = i*f, 0 = f + 3*z - 41. Is 17 a factor of f?
False
Let p = 0 + -5. Let t(b) = b**3 + 5*b**2 - 2*b + 2. Let i be t(p). Let v = 7 + i. Does 11 divide v?
False
Let d = -21 + 35. Let y = d + -9. Does 3 divide y?
False
Let p(z) = -z**2 - 11*z. Let u be p(-11). Suppose a + 3*t - 25 = u, 0 = 4*a + t - 4*t - 55. Is a a multiple of 6?
False
Is 2/((-220)/(-72) + -3) a multiple of 15?
False
Let u(j) = 10*j**2 + 7*j**2 + 29 + j**3 + 4*j**2 + 18*j - 4*j**3. Let y(q) = -q**3 + 7*q**2 + 6*q + 10. Let g(h) = -6*u(h) + 17*y(h). Is g(8) a multiple of 12?
True
Let j(q) = -q - q + 3*q + 6*q**2. Does 3 divide j(-1)?
False
Let m(v) = 3*v + 2. Let g(j) = j**3 - 3*j**2 + 2*j - 2. Let x = -2 + 5. Let q be g(x). Is m(q) a multiple of 14?
True
Suppose o - 85 = -4*u, -330 = -5*o - 5*u + 20. Is o a multiple of 19?
False
Suppose 4*n - 2*q - 2*q - 368 = 0, n - 82 = -4*q. Is n a multiple of 30?
True
Let n(w) = 2*w**2 + 6*w - 5. Is 23 a factor of n(-7)?
False
Let r(t) = -10*t**2 + 3*t + 7. Let b(d) = 1. Let n(f) = 5*b(f) - r(f). Is n(-2) a multiple of 13?
False
Let t(s) = 4*s**2 + 18*s + 6. Is t(-6) a multiple of 12?
False
Let y = 5 + 49. Suppose -y = -3*q + 12. Is 4 a factor of q?
False
Let x(n) = 12*n - 9. Does 27 divide x(3)?
True
Let b(x) = -22*x - 3. Let n be b(-3). Is (-14)/n + (-1138)/(-18) a multiple of 21?
True
Let d(w) = -w**2 - 3*w + 1. Let f be d(-4). Let y(v) = -6*v - 5. Is y(f) a multiple of 3?
False
Suppose t - 7 = -0*t + 5*v, 3*v = -t + 31. Suppose w - 3*w = -t. Does 11 divide w?
True
Let s(j) = j**2 + j - 6. Is 11 a factor of s(-9)?
True
Let k(c) = -2*c + 10. Is k(-5) a multiple of 5?
True
Let s be (-3)/6*-2 + 7. Does 18 divide (23 - -2)*s/5?
False
Let a(f) = f**3 + 6*f**2 + 2*f - 2. Let v be a(-6). Is 12 a factor of ((-6)/(-3) - v)*3?
True
Suppose 4*w + 2*n - 6*n = 84, n = -w + 11. Does 5 divide w?
False
Suppose 146 + 148 = -2*i. Let w = -105 - i. Suppose 0 = -4*t + w + 42. Does 12 divide t?
False
Let z = 64 + -38. Let d = -18 + z. Is 4 a factor of d?
True
Let o be (0 - -6) + 0 + 2. Suppose -3*v + o*v = 110. Does 17 divide v?
False
Let q be -10*(-2)/(4/6). Does 4 divide (-168)/q*5/(-2)?
False
Let n(u) = u - 6. Let k be n(7). Is 17 a factor of 19 - ((-3 - -4) + k)?
True
Let d(c) = 2*c - 8. Let v be d(6). Suppose -5*a + 5*j = -55, 3*j + 34 = v*a - 10. Is a a multiple of 5?
False
Is 0 - 2*(1 + -14) a multiple of 13?
True
Let j = 82 - -80. Is 18 a factor of j?
True
Let h be -3*2/(-6)*3. Is -2 + (h/1 - -1) even?
True
Suppose -171 = 3*r - 471. Is r a multiple of 25?
True
Suppose 3*d = 4*d - 7. Is 3/((-6)/d)*-2 even?
False
Let r(o) = -o**3 + 10*o**2 - 11*o - 4. Is 3 a factor o