 -49. Suppose m = 2*m - 3. Suppose -86 = -z*p - 5*u, -5*u + 105 + 29 = m*p. Does 23 divide p?
False
Let c(i) = -i**2 + 32*i - 18. Let x be c(13). Suppose -5 = -3*v + 2*r, -6*r + r = -v - 20. Suppose 0 = v*q - 1 - x. Is 23 a factor of q?
True
Let o be (-2)/(-9) + 755/45. Suppose -5*b + 18 = -o. Does 7 divide b?
True
Let q be 3/(1/(-2 + 3)). Suppose 0 = q*o - 2*c - 63, 0*c - 5*c = 5*o - 80. Is 19 a factor of o?
True
Let n(i) = -3*i + 3. Let r be n(5). Let j = 37 - r. Does 16 divide j?
False
Let r = -7 + 11. Let z be r/10 + 129/15. Does 12 divide 3*11 + z + -6?
True
Let b be ((-2)/4)/(2/(-16)). Let f(y) = 3 - 4*y + 9*y - b. Does 11 divide f(3)?
False
Let n(v) = -v**3 - 4*v**2 - 3*v + 4. Does 16 divide n(-4)?
True
Let j = 12 - 10. Suppose -j*m - 59 + 0 = -5*k, -4*k + m = -46. Let v = k + -4. Is 7 a factor of v?
True
Is 0 + -14*(-14)/4 a multiple of 12?
False
Suppose 0 = 7*y - 3*y + 16. Let q = y - -25. Is q a multiple of 7?
True
Let b be (-2)/(-6)*4*9. Suppose 3*c = -0*c + b. Suppose 0 = -c*u - 3*r + 154 - 37, 3*u = -2*r + 87. Does 14 divide u?
False
Suppose 9 = f + b, 0 = -5*f + 4*b - 10 + 91. Suppose 3*l - 5*s = 16, 3*s = 3*l - 11 - f. Suppose 2 = -t + l. Is t a multiple of 10?
True
Let t(b) be the second derivative of b**5/4 + b**3/6 + b**2/2 + b. Does 13 divide t(2)?
False
Is 11 a factor of 32/24*222/4?
False
Suppose -3*i + 2*j - 4 = 0, i + 3*i - 18 = -2*j. Suppose i*z - 54 = 6. Does 15 divide z?
True
Suppose 0 = 3*g + 3*l - 0*l - 60, 2*l + 135 = 5*g. Does 8 divide g?
False
Let z(j) = -j**3 - j**2 + j. Let h be z(-2). Suppose -3*l = h*l - 75. Is 15 a factor of l?
True
Let u = -3 + 16. Let q = 23 + u. Is q a multiple of 18?
True
Suppose -3*w + 3*n - 12 = 0, 5*w + 0*w + n = 10. Suppose w = -2*x + 21. Is 5 a factor of x?
True
Let d(p) = -5*p + 2. Let k(l) = -4*l + 2. Let v(u) = 3*d(u) - 4*k(u). Let o be v(-2). Let s = o + 15. Does 11 divide s?
True
Suppose 3*x - 46 = 44. Suppose 2*j = j + x. Does 15 divide j?
True
Is 185*(4/18 - 16/(-90)) a multiple of 17?
False
Let t(b) = 1 - 2*b - 2 - 2 - 3. Let r = 16 - 25. Does 10 divide t(r)?
False
Suppose v - 3*l = 51 + 63, -4*l + 376 = 4*v. Is v a multiple of 6?
False
Is 17 a factor of (-17)/((-2)/(-32)*(-14 - -12))?
True
Let a(y) be the third derivative of -y**6/120 + y**5/15 + y**4/12 - 5*y**3/6 + 4*y**2. Is 3 a factor of a(4)?
True
Suppose 0 = l + 4*w - w - 7, 0 = -4*w - 8. Suppose s = 39 + l. Is s a multiple of 26?
True
Let t be 2/(-4) - 6/(-4). Let o be (t - 3)*180/(-8). Is (-10)/o + 56/9 a multiple of 3?
True
Let m(x) = 3*x**2 - 3*x + 2. Let n(j) = j**3 - 4*j**2 + 4*j. Let c be n(4). Suppose 0 = 2*u - 6*u + c. Does 19 divide m(u)?
True
Is 13 a factor of (28/42)/((-1)/(-51))?
False
Let o(z) = -z + 4. Let f be o(-3). Let p be 3*10/(-18)*3. Let w = f - p. Does 6 divide w?
True
Suppose 5*i - 711 = 2*z, -5*z + 582 = i + 3*i. Is 11 a factor of i?
True
Let w(t) = -t**3 + 6*t**2 + 3*t - 1. Let s be w(6). Suppose 0 = 2*q + 3*o - s, q + 2*o = -3 + 9. Is q a multiple of 6?
False
Let c be 2/(-3) + (-332)/(-12). Suppose -c = 5*o - 87. Is 4 a factor of o?
True
Is 7 a factor of ((-260)/(-50))/(1/(-20)*-2)?
False
Suppose 3*j + j - 8 = 0. Suppose -78 = -3*i + j*i. Is 1/(i/(-81) - -1) a multiple of 14?
False
Let a(x) = -20*x + 22. Does 13 divide a(-6)?
False
Let u = 3 + -3. Suppose 2*k - 2*s - 24 = u, 3*k + s - 6 = 34. Is k a multiple of 10?
False
Suppose 5*v - 4*s = 40, -5*s + 32 = 4*v - 2*s. Suppose u = 3*r + v + 17, -2*u = -r - 25. Does 10 divide u?
True
Let m(o) be the third derivative of -o**4/8 - o**3 + o**2. Let x(j) = j**2 - 8*j + 9. Let n be x(4). Is 14 a factor of m(n)?
False
Suppose q = -4*q - 20. Let c(s) = s**3 + 4*s**2 - 2*s - 5. Is c(q) a multiple of 3?
True
Let n = -66 + 31. Suppose 5*m + 86 = -39. Let z = m - n. Does 10 divide z?
True
Let n(o) be the second derivative of o**4/4 - o**3/2 - o**2/2 - o. Does 6 divide n(3)?
False
Suppose -15 = 3*h, 2*h = 3*v - 3*h - 91. Is 8 a factor of v?
False
Suppose 5*t + m = -0*m + 39, 0 = t + 4*m - 4. Suppose 2*y - t = -2. Suppose 3*u + 7*a - 1 = y*a, -3*u + 2*a + 31 = 0. Is 7 a factor of u?
True
Suppose 5*q + t - 252 = 0, 0 = -q + 2*q + 3*t - 42. Is q a multiple of 7?
False
Is -3 - -9*(-2)/(-2) a multiple of 3?
True
Suppose 71 = 4*x + 15. Is (150/(-35))/((-2)/x) a multiple of 14?
False
Suppose -q + 2*q - 16 = -4*n, 2*n = 4*q - 82. Suppose -2*s + q = 4*u, 2*u + 3*u - 25 = -4*s. Suppose -26 = u*b - 116. Is b a multiple of 9?
True
Let y = 18 - -9. Is 6 a factor of y?
False
Let g = -7 + 10. Suppose -x = 0, 2*p + g*p - x - 175 = 0. Is p + (-2 - -2*2) a multiple of 15?
False
Suppose 5*a + 171 = 2*o, a - 25 - 116 = -2*o. Suppose 25 = -2*x + o. Is 24 a factor of x?
True
Let g be ((-4)/14)/(1/(-7)). Suppose 0 = -g*z + b - 0*b + 56, 2 = b. Is 13 a factor of z?
False
Let y be 0 + (9/(-3) - -6). Suppose -46 = v - y*v. Is 16 a factor of v?
False
Let f = -1 - -1. Suppose f*d - 2*d + 10 = 0. Suppose -u + 58 = 2*r, 0 = 4*u - 3 - d. Is r a multiple of 13?
False
Let f(v) = 5*v**3 + 5*v**2 + 2*v + 4. Let q be f(4). Suppose q = 5*a + 77. Does 27 divide a?
False
Let r(x) = 6*x - 35. Is r(10) a multiple of 4?
False
Let m(t) = t**3 - 19*t**2 - 15*t + 5. Does 3 divide m(20)?
True
Let m(t) = t**3 + 9*t**2 + 15*t + 32. Does 5 divide m(-7)?
True
Suppose 2*j - 6 = -0*j. Suppose j*h = -0*h + 12. Suppose 0 = -5*u + 3*y + 68, h*y + 2 = 4*u - 54. Does 13 divide u?
True
Suppose 104 = 4*p - 0*p. Is (-1 - (-3)/2)*p a multiple of 8?
False
Suppose 0 = 3*b, 2*u + u - 18 = -5*b. Let d(v) = 7*v**2 + 7*v - 11*v**2 + 3*v**2 + 7. Is 13 a factor of d(u)?
True
Let a(g) = 7*g**3 + 2*g**2 - 2*g + 4. Let b(t) = t**3 + 1. Let x(m) = a(m) - 5*b(m). Is 19 a factor of x(2)?
True
Let w(k) = -7*k**3 + 2*k**2 + 2*k + 1. Let l be 4/6 - 8/3. Does 14 divide w(l)?
False
Let n = -17 + 15. Let i(j) = -4*j**3 + 3*j**2 + 2*j. Is i(n) a multiple of 20?
True
Is 5 a factor of (-3)/(-9) + (-74)/(-3)?
True
Let b = 5 + -4. Suppose -h + 11 - b = 0. Is 6 a factor of 16/(-6)*(-45)/h?
True
Let t be ((-84)/(-10))/(9/30). Suppose -v - 4 = 0, 0 = -3*s - s + 4*v + t. Is (-2)/s*(-20 - 1) a multiple of 6?
False
Is 4 a factor of 1/4 + 1/(12/213)?
False
Let x(v) = v**2 + 8*v + 4. Let n be x(6). Let l(y) = -y**2 - 6*y + 5. Let a be l(-6). Suppose a*i - n = i. Is 13 a factor of i?
False
Let i = -241 + 350. Let l(n) = -11*n + 6. Let p be l(-5). Let j = i - p. Does 24 divide j?
True
Let o be 12/(-10)*5/(-2). Suppose 0 = q + o*l + 3 + 1, 2*q + 8 = -3*l. Let v = 8 + q. Is 3 a factor of v?
False
Is 13 a factor of 24/(-16)*46*-1?
False
Suppose -3*j = 4*q + 4, 3*q - j - 10 = -0*q. Let u(x) = 4*x**2 - 3*x. Is 8 a factor of u(q)?
False
Suppose 3*f - 2*y + 25 = 0, 4*y + 13 = 5*f + 56. Is 21 + (-4 - f - 1) a multiple of 4?
False
Suppose -4*p + t - 3*t + 1176 = 0, -4*p = 3*t - 1172. Is 14 a factor of p?
False
Let h be 17/5 + 4/(-10). Let c(s) = 2*s - 4. Let w be c(h). Suppose 0 = -j + y + 53, 0*j - w*y - 58 = -j. Does 15 divide j?
False
Let v(a) = -a - 3. Let g be v(-6). Let s(p) = -4 + 16*p + 5 - g. Is 12 a factor of s(2)?
False
Let w be (-9)/(-18) + 10/4. Is (5*w)/((-7)/(-21)) a multiple of 15?
True
Let w = 217 - 154. Is 12 a factor of w?
False
Suppose 2*c - a - 285 = 0, -c + 6*c - 717 = a. Suppose -3*v + c = 12. Suppose -2*t - 5*j + v = -0*t, 0 = t + 4*j - 22. Is 11 a factor of t?
True
Suppose -3*l - 260 = -7*l. Does 10 divide l?
False
Does 15 divide (-3)/(3 - (-64)/(-20))?
True
Suppose 18*d = 3859 + 2549. Is d a multiple of 16?
False
Let i = -6 - -139. Is 13 a factor of i?
False
Let l(s) = s**3 - 4*s**2 - 3*s - 6. Let m be l(5). Suppose -m = -z - 0*z. Suppose -2*q + 0*d - 2*d + 38 = 0, -z*d = -5*q + 86. Is 9 a factor of q?
True
Suppose -2*z + 4*d + 56 = 0, -5*z + 3*d + 160 = -2*d. Suppose 2*f - 2*x - 2 = f, -2*x = f - 6. Suppose 4*w + 5*y - z = 0, 9*y + 36 = f*w + 4*y. Does 9 divide w?
True
Suppose 4 - 1 = -2*x - d, 5*x - 3*d = 9. Let l be (x + -4)/(7/(-336)). Suppose 0 = 4*q - 0*q - l. Does 16 divide q?
True
Let k = -8 + 11. Let f = 7 - k. Suppose -2*y = s - 28, -7*s + 122 = -2*s + f*y. Is s a multiple of 11?
True
Let g(c) = 2*c**2 - 2*c + 1. Let a be g(-2). Suppose 4*n - 23 - a = 0. Is 2 a factor of n?
False
Suppose 0*g = g - 1, 0 = -4*x + g + 7. Let q = x + -3. Does 3 divide 2/q*(3 - 7)?
False
Suppose 4*c + 2*w - 22 = 0, -2*w = -3*c + 4*c - 13. I