 - 4*m - 1. Let q be m/(-3) + 59/3. Suppose r - q = -1. Is 7 a factor of r?
False
Is ((-2)/(-3))/((-10)/(-45)) even?
False
Let d(g) = -g**3 - g**2 - 2*g. Let m be d(-2). Let x(f) = f**2 - 5*f + 2. Is x(m) a multiple of 26?
True
Let r be 1*3 + -4 + 5. Suppose -5*j - r*q = -0*q - 168, -2*q - 114 = -3*j. Is 18 a factor of j?
True
Let l(v) = 12*v - 37. Does 15 divide l(11)?
False
Suppose 0*r - r = -90. Is r a multiple of 18?
True
Let s be (-8)/12 + (-16)/(-6). Is 17 a factor of (s/(-2) - 0) + 27?
False
Let a be (1 + 3)/(-4) - -3. Suppose 5*x - 102 = 3*x + 2*k, 0 = 2*x + a*k - 102. Does 17 divide x?
True
Is 26 a factor of (-5)/(645/130 + -5)?
True
Let i = 5 - 0. Suppose i*g - 27 = 18. Does 23 divide 6/4*276/g?
True
Suppose -2*j - 3*x + 98 = 0, 6 = -0*x + 3*x. Is j a multiple of 23?
True
Let k(t) be the first derivative of t**4/4 - 11*t**3/3 + 6*t - 5. Is k(11) a multiple of 4?
False
Let k(l) = -3*l**2 - 6*l + 4. Let b(g) = -7 - 3*g**2 + 12*g + 5*g**2 + 5*g**2. Let j(y) = 2*b(y) + 5*k(y). Is 4 a factor of j(-6)?
False
Is 3 a factor of (200/(-32))/(2/(-16))?
False
Is 14 a factor of (-6 + 5)*111/(-3)?
False
Let c be 2/((0 + 3)/9). Suppose p + 3*p = 0. Suppose 0*t + t - c = p. Does 3 divide t?
True
Let i = -10 + 61. Is 17 a factor of i?
True
Let m(z) = 14*z - 28. Is m(10) a multiple of 27?
False
Let z(m) = m**3 + 9*m**2 + 6*m - 4. Let s be z(-6). Suppose -4*l + 248 = s. Does 14 divide l?
False
Let b = 193 + -125. Is 29 a factor of b?
False
Suppose 10*u - 20 = 6*u. Suppose 3*w + 7*z - u*z + 26 = 0, 4*w = -3*z - 36. Is 7 a factor of -30*((-8)/w)/(-2)?
False
Suppose 117 = -2*z - z. Is 3/(2 - z/(-21)) a multiple of 21?
True
Let r = 8 + 1. Let q = r - -3. Is q a multiple of 4?
True
Let t be 1*(1 - 8/(-4)). Suppose 3*n - 25 = -4*s, -31 = -t*n - 0*s - s. Is n a multiple of 11?
True
Let h = 3 + -4. Let r be h - -24 - 0/(-4). Suppose 3*n = r + 76. Is 9 a factor of n?
False
Suppose 5*z = 8*z - 153. Does 13 divide z?
False
Suppose -3*d - 3*m + 45 = 0, d - 21 = -2*d + 5*m. Is 4 a factor of d?
True
Suppose 5*f - 250 = 4*q, -4*f - 3*q + 7*q = -204. Is f a multiple of 23?
True
Let n = 10 - -2. Suppose 4*v - 6*h - n = -4*h, 2*v + 3*h = 22. Suppose -v*i + 22 = 2. Does 3 divide i?
False
Suppose 2*f = 2*d - 6, 4*d - 13 = f + 4*f. Suppose 232 = d*m + 2*m. Suppose 70 = 4*t - m. Is 21 a factor of t?
False
Let w(o) = 2*o**3 + 31*o**2 + 15*o - 5. Let m = -16 - -10. Let g(n) = -n**3 - 16*n**2 - 8*n + 2. Let x(p) = m*w(p) - 11*g(p). Is 12 a factor of x(-10)?
False
Is 28 a factor of (-1162)/(-42) + 1/3?
True
Let f(s) = 3*s**2 - 14*s + 10. Is f(9) a multiple of 23?
False
Let s be (2 - 56)*(-4)/8. Let q = s + -15. Is 12 a factor of q?
True
Suppose 2*b - 5*b = -21. Let j = b + -1. Is 20 a factor of j/4*106/3?
False
Let i = 225 + -141. Is 24 a factor of i?
False
Suppose 0 = 4*r - y - 43, 3*r + 3*y - 38 = -2. Suppose -2*z + r - 1 = 0. Suppose 0 = -z*q + 4*k + 25, 4*q + q - 3*k - 30 = 0. Is 6 a factor of q?
False
Does 25 divide ((-164)/5)/(9/(180/(-8)))?
False
Let c be (-10)/(-60) - (-23)/6. Is 12 a factor of ((-6)/4)/(c/(-128))?
True
Let v = 24 + -14. Does 18 divide 54/5*v/3?
True
Does 24 divide 2/13 - -2*22062/156?
False
Let a(g) = 12*g + 20. Is a(0) a multiple of 3?
False
Let t(c) = -8*c**2 + 2*c + 1. Let f(q) = q**2. Let y(h) = -14*f(h) - 2*t(h). Suppose 2*u + 26 = 5*l, 2*u - l = 3*l - 22. Does 15 divide y(u)?
False
Suppose -381 + 21 = -5*o. Is o a multiple of 11?
False
Let r = -128 + 183. Is 5 a factor of r?
True
Suppose -x = -5*x - 8. Does 6 divide (-162)/(-9) - (1 + x)?
False
Suppose 4*v - 17 = 15. Let y = v + -8. Suppose -5*m + y*m + 60 = 0. Does 12 divide m?
True
Let u = -3 + 38. Is u a multiple of 5?
True
Is (-20)/(-12)*(4 + -1) a multiple of 5?
True
Suppose 7*l = 12*l - 485. Is 16 a factor of l?
False
Is (9/6)/(9/300) a multiple of 14?
False
Let n = -9 + 11. Suppose l - 2 = 3*u + 6, -4*u + 66 = n*l. Does 8 divide l?
False
Let y(r) = r + 8. Let o(u) = u**2 - 2*u - 8. Let q be o(4). Is y(q) a multiple of 4?
True
Suppose -h = 2*h - 105. Let o(x) = -10*x - 1. Let c be o(-6). Let k = c - h. Does 13 divide k?
False
Suppose 2*l + 3 = -k + 13, -4*l - 4 = -4*k. Suppose k*h = h + 36. Does 6 divide h?
True
Suppose 6*y - 124 = 2*y. Let h = 16 + y. Does 12 divide h?
False
Does 10 divide (2 + 1)/(4/44)?
False
Let w = 94 + -25. Is 23 a factor of w?
True
Let z(q) = q - 7. Let y(k) = 2*k - 22. Let l(p) = -2*y(p) + 7*z(p). Let j be l(5). Let f = j + -4. Is f a multiple of 6?
True
Suppose -5*i - 44 - 21 = 0. Is 0 - 4/(4/i) a multiple of 6?
False
Suppose -d + w = -3, -2*w + 3*w = -4*d + 12. Suppose 3*a - 4*c = -33 - 26, 0 = -d*a - 3*c - 24. Let g = 19 + a. Is 3 a factor of g?
True
Let i(a) = -a**3 + 7*a**2 - 6*a + 4. Is 18 a factor of i(4)?
False
Let p = 53 + -25. Does 13 divide p?
False
Let z be -1 - (6/(-2) + -3). Suppose -9*s = -z*s - 76. Is 7 a factor of s?
False
Suppose -32 = 3*q + 4. Let u be (-1110)/8 + 3/q. Let o = -97 - u. Is o a multiple of 14?
True
Let z(h) be the second derivative of h**4/12 - h**2/2 - h. Is 8 a factor of z(5)?
True
Let m(d) = 5*d**2 - 8*d + 7. Is m(5) a multiple of 34?
False
Let d(p) = -p**3 - 9*p**2 + p - 1. Let s(z) = -3*z**2. Let n(m) = 2*d(m) - 7*s(m). Let c(k) = k**3 - 8*k**2 - 10*k + 7. Let t be c(9). Does 11 divide n(t)?
True
Let v = 2 - -3. Suppose -v*p = -7*p + 40. Is 10 a factor of p?
True
Let n = -680 - -970. Is 29 a factor of n?
True
Let y(i) = -i**3 - 9*i**2 + 6*i + 20. Is y(-10) a multiple of 10?
True
Suppose -5*t + 0*t = -10. Suppose -t*r + 0*r + 176 = 4*j, 4*r = -2*j + 100. Does 21 divide j?
True
Let q = 1 - -2. Suppose -q*s + 62 + 28 = 0. Does 15 divide s?
True
Let v(d) be the third derivative of -d**5/60 + 13*d**4/24 - d**3 - 8*d**2. Does 6 divide v(12)?
True
Let z(o) = o**2 + 5*o + 6. Let r be z(-4). Suppose 3*k - 244 - 62 = 0. Suppose -4*i = v - r, -v = -6*v + 3*i + k. Is v a multiple of 10?
False
Let w(z) = z + 5. Let a be w(-3). Let c(j) = 0*j + 2*j - a - 3*j. Does 2 divide c(-7)?
False
Suppose 0 = u - 5*z - 9 - 22, -5*u + 183 = 3*z. Does 9 divide u?
True
Suppose -x + 5 = -5*j, -x = -4*x + 5*j + 15. Suppose x*u + 150 = 5*s, -4*s - u + 28 = -3*s. Is 21 a factor of s?
False
Let t(d) = -d**3 - 11*d**2 + 5*d - 1. Let o(g) = -2*g**3 - 21*g**2 + 9*g - 2. Let s(q) = -3*o(q) + 5*t(q). Is s(-8) a multiple of 6?
False
Let z = 89 + -26. Does 7 divide z?
True
Does 11 divide 3/(-2)*616/(-42)?
True
Let d = -91 + 907. Is d/15 + (-4)/10 a multiple of 15?
False
Suppose h = 10 + 11. Let i = -7 + h. Does 14 divide i?
True
Let a be (32/(-20))/((-2)/(-5)). Suppose 0 + 4 = 3*n + 5*t, -20 = -4*n - 3*t. Let r = a + n. Is r a multiple of 4?
True
Let i = -74 + 287. Is i a multiple of 28?
False
Let t(c) = 3*c + 14. Is t(5) a multiple of 8?
False
Suppose 0 = -5*o + i + 44 + 228, -3*i = -4*o + 211. Is o a multiple of 14?
False
Let h = 359 - 166. Is h a multiple of 8?
False
Let v be (-1*1)/((-4)/16). Suppose -v*y = -0*y + 172. Let j = y + 83. Is j a multiple of 20?
True
Let z be (-3530)/(-90) - 4/18. Is (z - -5) + 3*-1 a multiple of 12?
False
Let x(k) = 2*k - 2. Let j be 0/1 + (-28)/(-1). Suppose -8*s + j = -4*s. Is x(s) a multiple of 9?
False
Suppose 14*o = 3*o + 176. Is o a multiple of 4?
True
Let q(n) be the first derivative of n**4/4 - 4*n**3/3 - 5*n**2/2 + 5*n + 1. Is 2 a factor of q(5)?
False
Let f be (-1)/3 - (-22)/3. Suppose -3*q = r - f, -5*r = -2*q - 2*r + 1. Suppose q*b + 2*s - 12 = 0, b - s = -0*b + 8. Is b a multiple of 4?
False
Let s = 139 - 44. Does 19 divide s?
True
Suppose -3*k = -2*k - 24. Is k a multiple of 8?
True
Let h be ((-12)/16)/(2/(-8)). Suppose -f + 33 = h. Suppose -l + f = 3*t, -l - 1 = -4*t - 3. Is l a multiple of 9?
True
Let u = 482 + -344. Does 29 divide u?
False
Let g be 2*1 + 10/(-5). Suppose -f + g*d + 3*d = 0, 4*d = 0. Suppose -3*l - l + 32 = f. Is 3 a factor of l?
False
Does 26 divide 48 + (-4 - -1) + 7?
True
Suppose -72 = -i - 5*l, 4*l + 8 = 6*l. Does 4 divide i?
True
Suppose 0 = 3*n + 20 - 68. Does 16 divide n?
True
Let s = -17 - -36. Is 14 a factor of s?
False
Let v(j) = -1 - 6 + 7 + 10*j. Does 3 divide v(1)?
False
Let q be 0*1/(2/2). Let j = q - -7. Does 4 divide j?
False
Let b(w) = -w**2 + 12*w + 8. Let n be (-6)/15 - 37/(-5). Is 16 a factor of b(n)?
False
Let j = 170 + -110. Is 20 a factor of j?
True
Suppose -2*d + 5*d - 96 =