True
Suppose 16 = 2*d + 2*d. Suppose 3*g = d*y + 114, -3*y - 6 = 3. Does 13 divide g?
False
Let k(r) = -r**3 - 6*r**2 - 4*r + 7. Let g be k(-5). Suppose 5*o - b - 108 = 0, 0*o - 4*o - g*b + 92 = 0. Does 16 divide o?
False
Let b(g) = 1 + 2 + 2 + 6*g + 5. Is 23 a factor of b(4)?
False
Suppose -3*s = -r - 6*s + 40, -132 = -5*r + 2*s. Is 8 a factor of r?
False
Let r(d) = -6*d**3 + 1. Let b be r(-1). Suppose 0 = -b*u + 3*u + 168. Is 21 a factor of u?
True
Is 6 a factor of (1 - 0)*-1*-17?
False
Let z(a) = -6*a - 8. Suppose 2*f = -2 - 8. Does 11 divide z(f)?
True
Let j(i) = 2*i**2 + 6*i + 6. Is 2 a factor of j(-4)?
True
Suppose 0 = 3*p + 2*p + j - 13, -2*j - 4 = 0. Suppose 7 = -i + 4*c - 4, 3 = -p*i - 3*c. Does 15 divide i/(-15) - (-387)/15?
False
Is 28 a factor of 3/(18/1065)*24/30?
False
Let k = 213 + -142. Let w be 1*(0 - k*-1). Suppose 5*v - 98 = 3*d, 3*v - 3*d - w = -11. Does 7 divide v?
False
Let r be -2*1 + -80 + 4. Let t = r + 122. Suppose 5*x + 8 = -v, x - t = -v - 3*v. Is 6 a factor of v?
True
Suppose q - 162 = -3*y, 0 = -4*q + 6*y - 4*y + 676. Does 17 divide q?
False
Let w be (-14)/91 - (-18854)/26. Let c be w/10 + 2/(-4). Suppose 3*i = -0*i + c. Is i a multiple of 16?
False
Suppose -6*a + 1271 = 5. Does 6 divide a?
False
Let q(r) = -2*r**3 - 7*r**2 + 6*r - 6. Is q(-6) a multiple of 14?
False
Let h be 3*(2 - 22/6). Let d = -1 - h. Suppose -i + 6*i - d*o - 104 = 0, -3*o + 17 = i. Is i a multiple of 10?
True
Let s(t) = t**3 - 9*t**2 + 9*t + 8. Suppose b = -b - 10. Let i be 8*-1*(b - -4). Is 5 a factor of s(i)?
False
Suppose 3*a - 9 = -4*r - 52, -3*a - 33 = 3*r. Let x(i) = i**2 + 5*i - 14. Does 9 divide x(r)?
True
Let t = 266 - 119. Suppose -t = -5*a - 57. Does 18 divide a?
True
Does 22 divide (-66)/((-4)/12*3)?
True
Let k = 0 + 0. Suppose 0 = -2*n - 2*w + 18, k*w - w = -n - 1. Does 3 divide n?
False
Let t(b) = b**2 - 5*b + 5. Let m be t(4). Is 14 a factor of (-670)/(-30) - m/3?
False
Let c = 3 - 2. Suppose 16 = -5*v + c. Does 5 divide (v/2)/((-15)/100)?
True
Suppose 5*x - 128 = x. Is 12/(-3) - x/(-2) a multiple of 12?
True
Does 15 divide 8/(-20) - 227/(-5)?
True
Let t be (4/10)/((-6)/(-75)). Suppose 4*p - 2*u - 301 = 35, -t*u = -5*p + 420. Is 19 a factor of p?
False
Suppose 5*f = -m + 25, 2*f - 4*f = -4*m - 10. Suppose -x - 67 = -4*x - 4*b, -2*x - b + 53 = m. Is x a multiple of 13?
False
Let r(y) = -6*y**2 + 8*y + 4. Let i be r(-5). Is i/(-8) + 6/8 a multiple of 9?
False
Suppose -10 = 3*z - 8*z. Let q be ((-3)/z)/(12/(-32)). Is ((-6)/q)/((-2)/36) a multiple of 9?
True
Suppose 5*h - h = -y, 18 = 2*h + 5*y. Let p be (3 - 1)*h/(-2). Suppose p = 3*z - 20. Is z a multiple of 7?
True
Does 5 divide 116/10 + (6/(-15))/(-1)?
False
Suppose 206 = 4*r + 50. Is r a multiple of 13?
True
Let x(s) = s**3 + 6*s**2 + 2. Let b be x(-6). Suppose j + 56 = -4*l + 191, -b*j + 72 = 2*l. Is l a multiple of 16?
False
Suppose -2*a + 115 = 3*a. Does 23 divide a?
True
Is 3*(28/12 - 0) a multiple of 7?
True
Let v = 17 + -17. Let d be ((-12)/4)/(3/(-14)). Let a = v + d. Does 14 divide a?
True
Suppose 4*k - 18 = -x, -34 - 4 = -3*x + 4*k. Does 3 divide x?
False
Let z(m) = 4 + 7*m + m**3 + 3 - 4 + 7*m**2. Let g be z(-6). Let v = 11 + g. Is v a multiple of 4?
True
Let u(b) = b**3 - 4*b + 2. Let z be 4/(-16) + (-2)/(-8). Suppose z*w = 4*w - 8, -2*t - 3*w = -12. Is u(t) a multiple of 11?
False
Suppose 3*q = -3*q + 312. Is q a multiple of 26?
True
Let f be -2 - (0 - 1) - -8. Suppose -3*d + 4*d = -f. Is 3 a factor of (0 - d)/(5 + -4)?
False
Is 3 a factor of (1 - 0) + (16 - 2)?
True
Let a be 4/(-18) - 4/(-18). Suppose 3*t + a = 9, -5*w = -5*t - 155. Does 13 divide w?
False
Let c be (-2)/(-7) + 3482/14. Let v = c - 145. Suppose 4*o = 124 + v. Is 20 a factor of o?
False
Does 26 divide (-2 - (-110)/4)*2?
False
Let q be (-2 + 8)/(3/4). Let u = -16 + q. Let a = u + 15. Is a a multiple of 7?
True
Suppose 0 = 2*y - 114 - 506. Let t be (2/4)/(5/y). Suppose -4*q - 5*c + 9 = 0, -4*q + t = -3*c - 2. Does 6 divide q?
True
Let p = 352 - 181. Suppose -9 = -5*c + p. Is 12 a factor of c?
True
Suppose 0 = -5*v + 3*o + 2*o + 70, -4*o = -4. Is 14 a factor of v?
False
Let h be (2 - 1)/(-1) + -10. Let o be 1/3 - (-728)/21. Let a = h + o. Does 12 divide a?
True
Let r = -5 - -8. Suppose 0*n - 2*m - 7 = -r*n, -3*n - 5*m = -35. Is 10 a factor of (4/n)/((-1)/(-20))?
False
Let l(h) = -6*h**3 + 1 - 52*h**3 - 2*h**2 - 31*h**3. Let y be l(-1). Suppose -4*j + 5*i = -3*j - 22, -4*j + i = -y. Does 11 divide j?
True
Let p be -1*(1/(-1) + -18). Suppose 3*v = -14 - 4. Let o = p + v. Is o a multiple of 5?
False
Suppose -2*t = -55 - 73. Does 11 divide t?
False
Suppose -x - 2*x - 108 = -4*z, 60 = 2*z - 3*x. Is z a multiple of 24?
True
Suppose -s - 6 + 8 = 0. Suppose g - 78 = -s*g. Is g a multiple of 13?
True
Suppose 0 = 5*n + 21 - 1. Is 25/4 - 3/n a multiple of 4?
False
Let t = -16 - -15. Let y(z) = 70*z**2 + 3*z + 2. Is 14 a factor of y(t)?
False
Let v(r) = -r**2 + 9*r - 1. Let s be v(9). Is (5 - 1) + (-18)/s a multiple of 11?
True
Let q(j) = 4 - 1 - 2 + 3*j**2 + 3*j. Is q(-3) a multiple of 19?
True
Let a(l) = l - 25. Let p(n) be the second derivative of n**3/3 - 25*n**2 - n. Let h(u) = -5*a(u) + 2*p(u). Does 11 divide h(0)?
False
Suppose 0 = 2*k + 10, 0 = j + 5*k + 9. Does 7 divide j?
False
Suppose z - 18 = 12. Does 23 divide z?
False
Suppose -21 = -v + 4*v + b, 3*b - 21 = 5*v. Let c(k) = -k - 1. Let l be c(v). Suppose -5*w + 52 = 4*m - w, w - 53 = -l*m. Is 5 a factor of m?
True
Does 4 divide (12/27)/(-2) + 736/72?
False
Let l = 8 + -4. Suppose 2*a = -2*c + 5*c + l, 5*a - 31 = -3*c. Suppose -4*k + 2*i = -0*i - 36, -c*i + 9 = k. Is 4 a factor of k?
False
Is 13 a factor of (-1 - 98 - 1)*(2 - 3)?
False
Does 27 divide -6*(1 + -7)*(-30)/(-4)?
True
Suppose -2*v - 11 = -3*o, 7 = o + 2*o + 2*v. Suppose -3*z = -5*z + o*l - 17, -l + 7 = -2*z. Is (0 - z)*(1 - -2) a multiple of 3?
True
Suppose -4*y + 1 + 15 = 0, -4*m - 72 = -3*y. Let t = 3 - m. Is 8 a factor of t?
False
Suppose -790 + 210 = -2*s. Let u = s - 132. Suppose 0 = 5*k + n - 202, 0*k = 4*k - n - u. Does 14 divide k?
False
Suppose 0 = -4*y + 114 + 210. Suppose 3*w - 22 - y = 5*q, 4*w = -3*q + 89. Is w a multiple of 13?
True
Suppose 0 = c - 2*v + 4 + 1, 0 = -2*c - 3*v + 25. Suppose 0*m - c*m + 5 = 0. Is (2/m)/2 - -4 a multiple of 4?
False
Suppose 3*s - 3*q - 171 = 0, -3*s - s + q = -237. Let f = 86 - s. Does 14 divide f?
False
Let p(s) = 21*s + 2*s**2 - 5 - 4*s - 5. Is 16 a factor of p(-12)?
False
Suppose 3*s + 44 = 5*s. Does 4 divide s?
False
Let s be 134/8 + (-3)/(-12). Let r be s + (2 - 2) + -2. Let i = r - -9. Is i a multiple of 10?
False
Let s be 29 - (-1)/(-1)*1. Suppose s - 168 = -5*f. Suppose w = f - 3. Is 25 a factor of w?
True
Let i(x) = -x**3 + x - 31. Let p be i(0). Let a = 291 - 199. Let b = p + a. Is b a multiple of 25?
False
Suppose 3*q + 39 = 183. Is 16 a factor of q?
True
Let a(t) = 5*t - 5. Suppose h - 4*p + 13 = -8, 3*p = 15. Let n = h + 7. Is 19 a factor of a(n)?
False
Let b(x) be the third derivative of -x**7/1260 - x**6/120 - x**5/30 + x**2. Let q(j) be the third derivative of b(j). Is q(-6) a multiple of 9?
True
Let v = 566 + -116. Suppose -5*m = m - v. Is m a multiple of 15?
True
Let a(t) = -2*t**3 - 20*t**2 - 10*t + 5. Is a(-10) a multiple of 21?
True
Let a be 3 + (2 + -3)*-3. Is 5 a factor of 2/a + 44/3?
True
Suppose 3*g - 3*k + k = 4, 2*k - 8 = -3*g. Is (-805)/(-63) - g/(-9) a multiple of 13?
True
Let h(m) = 0*m**2 - 93 + 8*m**2 + 2*m + 92. Is h(-2) a multiple of 14?
False
Suppose -4*n - 147 = 153. Let k = n + 175. Is 10 a factor of k/3 - 2/6?
False
Let k be 1/(1/((-2)/2)). Let x(q) = 24*q**2 - q. Is x(k) a multiple of 7?
False
Let z(n) = 15*n + 7. Let v be z(-3). Let a = 60 + v. Does 14 divide a?
False
Suppose 24 + 24 = 4*m. Does 6 divide m?
True
Suppose 2*k + 124 = -4*p, -5*p = -10*p - 4*k - 158. Does 19 divide (-58)/(-3) - (-10)/p?
True
Let i(c) be the third derivative of -c**5/60 + c**4/4 - c**3/3 - 4*c**2. Does 6 divide i(4)?
True
Let j(q) = 3*q**3 - 3*q**2 - q + 2. Let w(x) = -3*x - 1. Let g be w(-2). Suppose -4*r - 6 = -5*p, 2*p + 11 = 5*p + g*r. Is j(p) a multiple of 12?
True
Let v = 71 - 51. Does 10 divide v?
True
Let g(a) = 2*a**3 + 3*a - 2. Let r = -21 - -23. Is 15 a factor of g(r)?
False
Let n(z) = -z**3 - 8*z**2 - 7*z + 2. Let