 v a multiple of 5?
False
Suppose 0 = 57*s - 13020 + 1848. Is 4 a factor of s?
True
Let j = 132 + 123. Does 84 divide j?
False
Let n(r) = -21*r + 7. Let c be n(4). Let l = -23 - c. Is 8 a factor of l?
False
Let o(v) = 19*v - 179. Is o(13) a multiple of 17?
True
Suppose -6*q + 5*q = 35. Let l be (14/q)/((-2)/60). Is 7 a factor of (-173)/(-7) + l/42?
False
Suppose -8 = -4*h + 2*p, 4*p = -4*h + p + 8. Suppose -4*b - 114 = -h*s, -5*s + 3*b - 169 + 475 = 0. Does 11 divide s?
False
Suppose 5*b - 1264 = -4*g, -b = -3*b + 2*g + 520. Does 28 divide b?
False
Suppose 3*c + 5145 = 3*o, 7*c + 5180 = 3*o + 11*c. Is 8 a factor of o?
True
Let b(m) = 2*m**3 + 5*m**2 - 10*m + 10. Does 11 divide b(4)?
False
Suppose 9*h = 10*h - 433. Does 35 divide h?
False
Let b = -165 - -1062. Does 52 divide b?
False
Let l(m) = m**2 + 6 - 8*m - 6*m - 3*m. Let x be l(-12). Suppose 3*u = 4*k - x, -u = k + u - 94. Is 17 a factor of k?
False
Let h(s) = s**2 + 5*s + 3. Suppose 0 = d + 3*d + 36. Is 13 a factor of h(d)?
True
Suppose 66*d = 55*d + 4070. Does 9 divide d?
False
Let r be 3 - 3 - -1*4. Suppose r*b - 1954 = -g, 2*b + 5*g + 1454 = 5*b. Suppose b = 6*w - 88. Does 37 divide w?
False
Suppose 167*n - 168*n = -116. Is n a multiple of 21?
False
Does 3 divide 1*(-1082)/(-10) - (-1)/(-5)?
True
Let h(b) = -b**2 + 11*b - 22. Let w be h(8). Suppose -r - 144 = w*v - 5*v, 5*r = -2*v + 96. Does 24 divide v?
True
Let c(l) = -l**3 + l**2 - l + 18. Let v(y) = y - 2. Let n be v(2). Is c(n) a multiple of 9?
True
Let n = -2297 + 2302. Let r(b) = -6*b**3 - 3*b**2 - 5*b + 7. Let i be r(-5). Suppose n*v = 123 + i. Is 39 a factor of v?
False
Suppose 4*c + 129 = -o + 2*c, -o + 2*c - 121 = 0. Let z = o - -215. Is z a multiple of 18?
True
Let y = 2 + -3. Let a(g) = -g**3 - 6*g**2 - 2*g + 8. Let q be a(-5). Is 10 a factor of (3 - q)*(y + 4)?
True
Suppose -20 = 5*n, n - 906 = -u + 10. Is u a multiple of 20?
True
Let q = -62 + 206. Suppose -656 = 5*p + q. Let v = -114 - p. Is v a multiple of 23?
True
Let k = -94 + 293. Is 7 a factor of k?
False
Let h be (4 - 0)/(1 + -3). Is 3 a factor of ((-8)/16)/(h/12)?
True
Let q = -6 + 164. Suppose x + 67 = -4*l, 4*x - 2*x = -2*l - q. Let f = 129 + x. Does 23 divide f?
True
Let c be 2/(-3) + (-80)/(-30). Suppose -c*g + y = -6*g + 470, 3*g = -2*y + 350. Is g a multiple of 17?
False
Let c(b) = -6*b + 1. Let w be c(5). Let h = -11 - w. Is 14 a factor of h?
False
Let s = -310 - -904. Is 18 a factor of s?
True
Let y(r) = 14. Let v(k) = -k + 71. Let w(x) = 2*v(x) - 11*y(x). Let c be 0/2 + -9*1. Is w(c) even?
True
Let x(o) = o**2 + 17*o - 76. Is x(-23) a multiple of 7?
False
Suppose -8 = -8*t + 6*t. Suppose -5*s - 3*k + 849 = 0, t*s + s - 4*k = 828. Does 12 divide s?
True
Suppose 15 - 3 = -w. Let b(k) = 6 - k**2 - 1 - 2 - 11*k + 13. Does 2 divide b(w)?
True
Suppose 13*g = 21*g - 1824. Does 42 divide g?
False
Suppose 3*w = -7*w + 9020. Is 41 a factor of w?
True
Suppose 4*n = 6*n - 380. Is n a multiple of 10?
True
Let c = -1 - -4. Suppose 0 = -0*h + h - c. Suppose -11 = -h*x + 7. Is 6 a factor of x?
True
Let b(o) = -o**3 - 8*o**2 - 19*o - 8. Is b(-8) a multiple of 2?
True
Is 10 a factor of (2 + 1)*(-20)/(-15)*215?
True
Suppose -2*a = 3*a + m - 65, m = 5. Let p(b) = -4*b**2 + 13*b + 12. Let v be p(a). Does 17 divide v/(-16)*4/3?
True
Is 21/(2 + 5) + 67 a multiple of 10?
True
Let c(r) = 5*r**2 + r - 1. Let q be c(1). Suppose -q*u = -97 - 123. Suppose -y = -l - u, -3*y - l - 2*l = -126. Is y a multiple of 10?
False
Let p(b) = -20*b - 6 + b**2 + 22*b + 13*b + 1 - 3. Let g(x) = -2*x**2 - 6*x + 4. Let q be g(-5). Is 6 a factor of p(q)?
False
Suppose 3*h - h + 5*u = 35, -5 = -u. Let q = 10 - 6. Let c = h + q. Is c a multiple of 3?
True
Let x(p) = 10*p**2 - p. Let d be x(-1). Let s = 7 + d. Does 5 divide s?
False
Let l = 109 - -216. Is l a multiple of 30?
False
Let n(o) = -47*o + 38. Is 32 a factor of n(-7)?
False
Let o be 293/(-5) + (-30)/75. Let p = o + 117. Suppose 4*x - 198 = -2*t, t - p - 31 = 3*x. Does 36 divide t?
False
Let p = -58 - -60. Suppose p*k = -2*j + 5*j + 243, 5*k - j = 601. Is 15 a factor of k?
True
Let i = -4 - -7. Is 24 + (-3 - (i + -5))*0 a multiple of 8?
True
Let h(b) = 18 - 4*b**3 + 20*b**2 + 5*b**3 + 11*b - 7*b**2. Let l be h(-12). Suppose -2*d + 108 = 4*t, 0 = -4*d - 3*t + 191 + l. Is d a multiple of 14?
True
Let k(f) = 8*f**2 + f**3 - 2*f + 0*f - 5*f**3 - 1 - 2*f. Let p be k(3). Does 16 divide 0/1 - (1 + p)?
True
Let a(l) = 8 + 6 + 3*l + l**3 - 16 + 11*l**2. Is a(-10) a multiple of 34?
True
Suppose -5*m + d = -65, 39 = 2*m - 2*d + 5. Let n be (-28)/(-98)*7*1. Is (16/m)/(n/15) a multiple of 5?
True
Suppose 2*b = -102 + 46. Does 3 divide ((-21)/b)/((-1)/(-84))?
True
Suppose -4*k = -2*z + 340, -866 = 30*z - 35*z + 2*k. Does 29 divide z?
True
Suppose 0*u = -u. Suppose -4*v - 2*q - 26 = u, 6*v - q + 29 = v. Is 8 a factor of v/(-8) - (-58)/8?
True
Suppose n + 3 = 4*a - 7, -4 = -4*a - 2*n. Let h(m) = 4 + 0*m**2 - 2*m**a + 3*m**2 + 0*m**2 + 3*m. Is 9 a factor of h(-5)?
False
Suppose 0 = 10*l + 3*l - 2990. Does 17 divide l?
False
Suppose 2*a = 3*y + 981, 0 = 5*y - 2*y + 9. Is 81 a factor of a?
True
Suppose -300 = 214*s - 220*s. Is 50 a factor of s?
True
Let f = 3 - -1. Suppose f*m = 25 - 9. Does 5 divide 2 - 1/(m/(-84))?
False
Suppose 5*w + 2*s - 223 = -0*s, s = 4*w - 181. Suppose -5*t - 6 = c, 4*c + 0*t = 3*t + w. Let q(d) = 2*d**2 - 10*d + 14. Does 25 divide q(c)?
False
Suppose -5*y = 14*p - 12*p - 228, -5*y = -5*p + 605. Is p a multiple of 7?
True
Suppose l - 4*x + 0*x - 82 = 0, 4*l - 2*x = 286. Is 14 a factor of l?
True
Let y be (18/27)/((-2)/30). Let m(k) = 3*k + 8. Let g be m(y). Let z = g - -46. Is z a multiple of 5?
False
Let c(s) = -3*s**2 + 32*s - 8. Let b be c(13). Let x = b - -317. Is x a multiple of 30?
False
Suppose -3067 = -3*s - 2*b, 16 = 2*s - b - 2038. Is s a multiple of 41?
True
Let r be -1 + -3 + (4 - 1). Let c = r + 1. Suppose c = -4*z + 73 + 7. Does 5 divide z?
True
Let p(j) = -j**2 - 8*j - 24. Let b(w) = -1. Let z(s) = -5*b(s) - p(s). Is z(9) a multiple of 14?
True
Let i(g) = g - 11. Let x be i(-10). Let r be (-52)/(-14) - 6/x. Suppose -v = -r*v + 153. Is 17 a factor of v?
True
Let t(r) = -r**3 - r**2 - r - 1. Let x be t(-2). Suppose 3*k + 4*j + 3 = 25, -3*k - x*j = -20. Is 6 a factor of k?
False
Is 35 a factor of (-3125)/(-3 + -2) + -3 + 8?
True
Let i(y) = 26*y - 370. Is i(17) a multiple of 6?
True
Let n(o) = 40*o**2 + 3*o - 5. Let w be n(2). Let j = 187 - w. Is j a multiple of 3?
False
Let j = -18 - -27. Let i = 12 - j. Suppose -q + 61 = i*d, 2*q + d - 159 = -q. Is 13 a factor of q?
True
Let o be ((-24)/(-10))/(-6)*-730. Suppose -4*n - 3*m = -7*m - o, 3*n = -4*m + 219. Does 28 divide n?
False
Does 11 divide -4*(-3)/(-18)*(-3846)/4?
False
Let c(d) = d**2 + 16*d + 6. Let m be c(-16). Let k = 46 - m. Does 15 divide k?
False
Let f be (2 - -1)/(3/4). Suppose -f*i + 5*m + 32 = 5, -4*m - 24 = -4*i. Is 2 a factor of i?
False
Let s(d) = 25*d + 2. Let i be -3 - (-3)/((-6)/4). Let b be s(i). Let k = b - -213. Does 33 divide k?
False
Let a = 0 - 5. Let y(i) = -3*i**3 - 2*i**2 - 5*i + 2. Let p be y(a). Suppose 4*s - 282 = -b, -5*s = -0*s + b - p. Does 15 divide s?
False
Suppose 0 = 3*f + 2 - 8. Suppose 0 = -4*n - 5*q + 244, 0*n - 204 = -4*n + 5*q. Suppose -x = k + x - n, -2*k + f*x = -82. Is 12 a factor of k?
False
Let p be ((-8)/(-3))/(38/2679). Let b = p - 101. Is 24 a factor of b?
False
Let z be 16/10*(-1715)/(-14). Suppose 40 = -2*t + z. Let c = -55 + t. Is c a multiple of 12?
False
Let l = 180 - 177. Suppose 26 = 3*y - 3*k + 2*k, 5*y = k + 40. Suppose -4*j - v + 129 = 0, l*v - y + 49 = j. Is j a multiple of 11?
True
Suppose -3*b + 2*k - 1907 = 0, -6*b + 3*b = 3*k + 1932. Let a = b - -921. Suppose 3*v = -0*v + a. Is v a multiple of 26?
False
Is 0 + ((-2208)/(-56))/((-1)/(-7)) a multiple of 46?
True
Let l = -9 + 9. Suppose -z + 25 = 5*s, 4*s + 2*z = 21 - 1. Suppose l*g - 259 = -s*g - 3*m, 3*g + 2*m = 155. Is 16 a factor of g?
False
Let k(q) = -q**2 + q + 6. Let l be k(4). Let o(d) = -15*d + 8. Does 14 divide o(l)?
True
Let g(s) = -s**3 + 11*s**2 - 3*s - 2. Let x be g(6). Suppose -4*w - x = -9*w. Suppose -5*r + 78 = -3*k - w, -20 = -4*k. Is 25 a factor of r?
True
Let r = 278 + -247. Does 12 divide r?
False
Let k(j) = j**2 - 1. Let m(r) be the third