2 = 0. Is h a multiple of 4?
True
Let i = -7 + 5. Let j = i + 4. Let m(c) = 12*c - 2. Is m(j) a multiple of 6?
False
Let r(u) = -u**3 - 9*u**2 + 6*u + 5. Is 9 a factor of r(-10)?
True
Let j(o) = 47*o. Is j(1) a multiple of 19?
False
Suppose 0 = -3*c - 48 + 84. Is 2 a factor of c?
True
Suppose 16*y = 11*y + 10. Suppose -5*l = 2*x - 133, -l = -y*x - 2*l + 129. Is x a multiple of 16?
True
Let k(v) = -14*v + 3. Does 23 divide k(-4)?
False
Suppose -6*t + 2*t - 5*m = -164, -5*m + 92 = 2*t. Let c = t + -26. Let q = 12 + c. Is q a multiple of 11?
True
Let q be (-103)/(-2) + (-1)/(-2). Suppose 0*w + 2*w = q. Is w a multiple of 13?
True
Suppose u - 95 = 6*u. Let i = 37 + u. Is i a multiple of 18?
True
Let z(h) = -h**2 - 8*h - 3. Let a(n) = n**2 - 5*n - 5. Let x be a(5). Is z(x) a multiple of 6?
True
Let h = -16 + 20. Let r = -129 + -27. Is 13 a factor of h/(-6)*r/8?
True
Let j = -8 - -10. Suppose o = -3*u + 4*u + 57, 0 = 3*o + j*u - 161. Suppose 3*l = 4*i + 64, 3*l - o = -6*i + i. Is l a multiple of 20?
True
Suppose -65 = -4*h - q, -106 = -4*h + 2*q - 32. Suppose 15 + h = 4*x. Is 14 a factor of (-60)/(-2) - (-6 + x)?
True
Let w = 4 + -7. Is 19 a factor of -1 - (-44 + w/3)?
False
Let b = -501 - -781. Is b a multiple of 14?
True
Suppose 5*z - 13 = 7. Is 7 a factor of (2 - (z - 6)) + 3?
True
Let t = -178 + 382. Is t a multiple of 34?
True
Let t be (-6)/10 + (-90)/(-25). Let f be t/12 - (-38)/8. Suppose -j - f*b = 4*j - 40, -5*b = 2*j - 31. Does 2 divide j?
False
Let k(u) = u**3 - u**2 - u + 1. Let y be k(1). Suppose y = -3*v - 6 + 39. Is v a multiple of 6?
False
Let c = 1 + 8. Suppose 5*w = 5, 2*m + 3*w = -m + c. Does 5 divide (-2)/(-3)*(10 + m)?
False
Let x be ((-1)/3)/((-4)/(-204)). Let l = x + 29. Is l a multiple of 6?
True
Let o(n) = 11*n - 5. Let a be o(4). Let y = -28 + a. Does 11 divide y?
True
Let h be (-236)/(-16) + 2/8. Suppose 4*f - h = f. Is 2 a factor of f?
False
Suppose 0*h - 2*h - 16 = -q, 5*q - h = 125. Let j = q + -15. Does 4 divide j?
False
Is (4/8 + -1)/((-2)/364) a multiple of 6?
False
Is 21 a factor of 7984/38 - -4*(-1)/38?
True
Let r(s) = s - 11. Let k be (-2)/(-1*2/9). Let n be r(k). Does 12 divide ((-1)/n)/((-1)/(-60))?
False
Suppose -16*p + 176 = -496. Is 12 a factor of p?
False
Let t be ((-2)/(-4))/(1/8). Is 17 a factor of t/(-2) + (-384)/(-8)?
False
Let h = -1 + -1. Let v(b) = -b**3. Let g be v(h). Is (-5)/20 - (-98)/g a multiple of 6?
True
Let p = -59 - -87. Let s = p + -10. Is s a multiple of 9?
True
Let v = -844 - -464. Let x = -632 - v. Does 13 divide 1/2 - x/8?
False
Let g = 5 + -1. Suppose -3*a - 2*r = -45, 5*a + r - g*r - 94 = 0. Does 11 divide a?
False
Suppose w - 12 = -3*w - 2*s, -33 = -5*w + 2*s. Suppose -w*i + 34 = -4*i. Suppose 10 = -4*c + i. Is 6 a factor of c?
True
Let p(h) = 4*h - 9. Is p(6) a multiple of 2?
False
Let o = -26 - -50. Is 24 a factor of o?
True
Suppose -16 = -m - 3*l + 6*l, -m + 4*l + 20 = 0. Suppose 2*u - 2*r + 8 = 4*u, -5*r = -m*u - 2. Let w = 4 - u. Is w a multiple of 2?
True
Suppose 3*v - 266 = 142. Suppose -4*n - 3 - 5 = 0. Is v/22 + n/11 a multiple of 4?
False
Let b be 3/4 + (-66)/(-8). Suppose -5*f = -44 + b. Does 3 divide f?
False
Let d(x) = 60*x - 3. Is 10 a factor of d(1)?
False
Suppose -34 - 130 = 4*n. Let s = n - -58. Is s a multiple of 10?
False
Let p = 62 - -73. Does 27 divide p?
True
Let t(n) = -n**3 + 9*n**2 + 12*n - 3. Does 5 divide t(10)?
False
Let c(m) = -m**2 - 9*m + 3. Let a be c(-9). Suppose h - a*f = 6*h - 180, 4*h - 161 = f. Does 20 divide h?
False
Let y(i) = 1 + 2 + 3*i**2 - i**2 + 14*i - 3*i**2. Is y(12) a multiple of 9?
True
Suppose w - 84 = -2*u, -5*w - 2*u - 3*u = -410. Suppose 0 = 2*v - a - 35, 0 = 5*v + a - 25 - w. Does 5 divide v?
True
Suppose 2*l + 7 = -4*z - 15, -l - 5*z - 14 = 0. Let p = l + 13. Is p a multiple of 2?
True
Let m(h) = -34*h. Let o be m(1). Let k = -1 - o. Does 7 divide k?
False
Let l = 194 - 142. Does 4 divide l?
True
Let a(n) = -n**3 - 13*n**2 + 10*n + 24. Does 20 divide a(-14)?
True
Let p be ((-4)/(-10))/(8/80). Suppose z + 5*t = -37, 5*z + p*t = 3*t - 137. Let m = z - -47. Is m a multiple of 15?
False
Suppose 6 = 5*k - 3*k. Suppose 0 = k*t + 4*v - 60, 0 = 6*t - 4*t - 4*v - 60. Is 9 a factor of t?
False
Let c(z) be the first derivative of z**3/3 + z**2/2 + 2*z + 2. Let m be c(0). Is 12 a factor of ((-6)/(-8))/(m/88)?
False
Suppose 100 = 3*d + 2*d. Is 4 a factor of d?
True
Suppose 0 = -2*y + 2*x - 2, x + 0 - 3 = 0. Suppose 0 = -2*p + 3*b + 13, 7*p = y*p + 4*b + 22. Suppose -7*r + 95 = -p*r. Is r a multiple of 5?
False
Let p(u) = 34*u**3 + 0*u - 5*u**3 - 2*u + 2*u**2 + 1. Let v be p(1). Suppose 0 = -4*c + c + v. Is c a multiple of 10?
True
Let l(a) = a**2 + 2. Let f be l(2). Let t be -10 - 6/(f/2). Let j = t + 28. Is 12 a factor of j?
False
Let y(q) = q + q**2 - 1 + 9*q - 2 + 4. Is 6 a factor of y(-11)?
True
Suppose 0 = 5*h - 2*z - 180, 72 = -0*h + 2*h + 3*z. Let i = -2 - h. Is i/(-8)*(-3 + 7) a multiple of 13?
False
Let b be (24/9)/((-2)/60). Is 9 a factor of (-2)/(-6) + b/(-3)?
True
Let d = -9 + 51. Suppose -202 = -4*m + d. Is m a multiple of 23?
False
Is 397/2 - 2/4 a multiple of 10?
False
Does 7 divide (-1)/(-3)*6 - -19?
True
Let q be (1 - 0)/((-5)/(-10)). Suppose -q*f + 8*f = 72. Does 6 divide f?
True
Let b be (2/(-4))/(3/(-126)). Is (0 + 1)*b - -3 a multiple of 12?
True
Does 5 divide (110/(-33))/(2/(-21))?
True
Let o = -58 - -72. Does 8 divide o?
False
Let x(b) = 33*b + 4. Does 13 divide x(2)?
False
Suppose -4*j = l - 27, -j - 111 = -3*l + 2*j. Suppose -3*k + 0*k + 4*a + 40 = 0, -5*a - l = -3*k. Is k a multiple of 8?
False
Suppose 0 = -3*y + 2*s - s + 4, 4*y + 3*s - 14 = 0. Suppose -2*m + 31 = 2*h + 3*m, 4*h - 98 = y*m. Does 8 divide h?
False
Let l = 7 + -5. Suppose -44 = -0*y - 2*y + 4*k, -l*y - 3*k + 30 = 0. Does 18 divide y?
True
Let u(h) = h**3 + 4*h**2 + 5*h. Suppose -4*v - 4 = -2*v. Let j(z) = 5*z**3 + 19*z**2 + 25*z + 1. Let m(g) = v*j(g) + 11*u(g). Does 5 divide m(-4)?
True
Let c be (42/(-9))/((-2)/3). Suppose 2*z - 164 = -4*u, -3*z - c = 5. Is u a multiple of 15?
False
Suppose -4*m = 20 + 4. Suppose -3*w - 27 = 3*u - 6, 2*w + 12 = -4*u. Let h = m - w. Is 2 a factor of h?
True
Suppose 3*h = 4*h. Let m = h + 3. Is 2 a factor of m?
False
Let k(z) = -81*z**3 - 9*z**2 + 7*z + 2. Let y(o) = 40*o**3 + 4*o**2 - 3*o - 1. Let q(i) = -3*k(i) - 7*y(i). Does 10 divide q(-1)?
False
Suppose -3*r = -4*r + 321. Let q = r + -216. Let j = q + -56. Is 18 a factor of j?
False
Let i(q) = -q + 2. Let c be i(-3). Suppose 0 = c*r - 94 - 46. Is 11 a factor of r?
False
Suppose -5*t + 3*z = 17, 0 = -8*t + 4*t + 4*z - 20. Let o(v) = -60*v**3 + v**2 + v + 1. Does 15 divide o(t)?
False
Let p = 5 + -5. Let x = p - -2. Is (3/2 - x)*-32 a multiple of 8?
True
Suppose -2*j - j - 18 = 2*z, 5*j + 10 = 0. Is ((-6)/4)/(z/88) a multiple of 22?
True
Suppose -10 = -4*s + 22. Let j(g) = 6*g - 9. Is j(s) a multiple of 16?
False
Let h = -196 - -280. Does 28 divide h?
True
Let v(q) = -q**3 + q**2 + 119. Does 32 divide v(0)?
False
Is 3 a factor of ((-12)/(-42))/(1/14)?
False
Let z = -27 - -67. Is z a multiple of 20?
True
Suppose 3*v - 412 = -4*k, -212 = -2*k - 0*k - 3*v. Is 7 a factor of k/7 - 6/21?
True
Suppose k = -k + 138. Suppose 0*g - k = -2*j - g, -71 = -2*j + g. Does 7 divide j?
True
Suppose -4*k + 21 = -15. Let j = k - 13. Is 17 a factor of 3/(j/((-136)/3))?
True
Suppose 5*a - k = k + 414, -2*a = 3*k - 158. Is a a multiple of 17?
False
Let d(s) = 9*s - 23. Let z be d(7). Suppose -j - 1 + 5 = 0. Suppose z = 4*c + p - 2*p, -j*p = 16. Does 3 divide c?
True
Let u be ((-9)/12)/((-1)/4). Suppose 0*n - n = -u. Suppose -22 + n = -k. Is k a multiple of 10?
False
Suppose v = 0, a - 16 = -3*a - 2*v. Suppose d = 4*u - 4*d + a, 3*d = 2*u + 4. Suppose u = -2*k, -q + 4*k = 4*q - 83. Does 15 divide q?
True
Let c = -1 - -23. Let b = -12 + c. Does 7 divide b?
False
Let m(a) = -a**3 + 10*a**2 + a - 7. Is m(10) even?
False
Suppose -y + 0*d = -d - 2, 0 = -5*y - 3*d - 6. Suppose -2 = 2*f + 2, 3*f = 5*c - 406. Suppose y = 4*x + x - c. Is 16 a factor of x?
True
Let a = -14 - -18. Suppose -a*i = -3*i - 60. Is i a multiple of 20?
True
Suppose 3*p + 5*s = s + 31, -5*s = -20. Let v(k) = k**2 - 3*k - 4. Let x be v(p). Let r(c) = c**3 - 6*c**2 + 6*c + 4. Is r(x) a multiple of 17?
False
Let f = -41 - -