+ 0 = 2. Is 5 a factor of o?
False
Let t = -64 + 76. Suppose -278 - t = -10*j. Is j a multiple of 7?
False
Is 70 a factor of (-6 - 0) + (3 - (-10 - 243))?
False
Suppose -6 = 2*v - 4*v. Suppose -3*u + 36 = 2*b, -5*b + v*b = -5*u + 76. Suppose 13*w - u*w = -33. Is w a multiple of 11?
True
Suppose 87 + 207 = 2*g. Is 21 a factor of g?
True
Let n(j) be the second derivative of -j**4/12 - 3*j**3/2 - 7*j**2/2 - 11*j. Let l be n(-8). Is 6 a factor of 4/(l + -9)*-58?
False
Let k = 17 - 14. Suppose 0 = 7*w - 6*w - k. Suppose -121 = -5*z - 4*b, 3*b = -w*z - b + 71. Is 6 a factor of z?
False
Suppose 5*v - 428 = -2*p, -3*v - p = 3*p - 254. Suppose 2*b + 3*q - v = 0, 152 = 4*b - 0*q - 4*q. Is b a multiple of 3?
False
Suppose 22*f - 25*f = -114. Does 3 divide f?
False
Suppose 0 = -3*l + 7*l + 144. Let j = l - -62. Is j a multiple of 26?
True
Let o = 43 - 46. Let r(a) = -a**3 + 2*a - 3. Is r(o) a multiple of 6?
True
Let s(r) = 12*r**2 + 3 - 2*r**2 + 8*r**2 - r + 2*r**2. Does 15 divide s(2)?
False
Does 42 divide 16/(-80) - (-73505)/25?
True
Suppose -2*c + 74 = -28. Suppose -4*t - 13 = c. Is 31 a factor of (-432)/(-7) + t/(-56)?
True
Suppose -z = -2*j - 10, 4*j + j + 10 = -5*z. Suppose -2*n = -3*v + 3, -12 - 9 = -5*v - z*n. Suppose x + v = 26. Is 23 a factor of x?
True
Let p = 41 - 66. Let v be (0*1/2)/(-1). Let t = v - p. Is 5 a factor of t?
True
Let i = 0 - -5. Suppose 4*j = -0*j - 2*t + 18, 0 = -3*j + i*t + 46. Suppose -j = -k + 3. Is 3 a factor of k?
False
Let d(l) = -12*l + 29. Let z be d(2). Suppose 18 = i - z*f + 3*f, -85 = -5*i + 5*f. Does 16 divide i?
True
Let c = 187 - 414. Does 41 divide ((1 - -1)*c)/(43 + -45)?
False
Suppose -5*l + 4587 = 1182. Is 84 a factor of l?
False
Does 7 divide 308*-8*(-60)/96?
True
Let q = 8 + -3. Suppose 5*a = q + 20. Suppose b + 74 = a*w, 4*w - 2*w + 4*b = 34. Does 15 divide w?
True
Suppose 11*y - 663 = 1053. Is y a multiple of 6?
True
Let y(o) = 2*o**2 + 11*o - 6. Let g be y(-9). Let i = 89 - g. Is i a multiple of 7?
False
Let w(a) = a**2 - 15*a + 32. Is w(15) a multiple of 4?
True
Suppose -3*i + 9 + 3 = 0. Suppose -18 - 10 = -i*z. Suppose 2*w + 219 = z*w - 2*j, 4*w + 5*j - 195 = 0. Does 20 divide w?
False
Let d = -240 + 855. Does 42 divide d?
False
Suppose 0 = -p, 3*p = -4*s + 208 + 428. Is 3 a factor of s?
True
Suppose 0 = 9*q + 12*q - 3969. Does 27 divide q?
True
Let d(t) = t**3 + 6*t**2 - 4*t - 12. Let p(c) = -c**3 + 6*c**2 + 9*c - 8. Let l be p(7). Let n be d(l). Is 1/2 + n/8 a multiple of 31?
False
Suppose -55*t - 4984 = -83*t. Is 3 a factor of t?
False
Let k be (32/(-20))/(2/(-20)). Suppose 4*u + 0 - k = 0. Suppose -5*j - 4*x = -17, 3*j = 3*x + u + 17. Is 5 a factor of j?
True
Let h(a) = -a**3 - 8*a**2 - 11*a - 9. Let o be h(-7). Suppose -605 = -6*p + o. Is p a multiple of 26?
True
Let q(p) = -18*p + 26. Let w be q(5). Let m = 29 - w. Is 15 a factor of m?
False
Suppose 20*t + 695 = 25*t. Is t a multiple of 18?
False
Suppose 22*f - 27*f = -x + 84, -x + 102 = f. Is 8 a factor of x?
False
Let y(p) = p - 1. Let v(x) = -6*x - 34. Let j(d) = v(d) + 2*y(d). Is j(-15) a multiple of 23?
False
Let a(g) = 2*g - 15. Let m(p) = -p + 7. Let d(u) = 6*a(u) + 13*m(u). Let n be d(1). Let w(b) = -b**2 - b + 20. Is w(n) a multiple of 10?
True
Suppose 0 = -12*s + 11*s - 4*n + 353, 5*s + n - 1727 = 0. Does 3 divide s?
True
Suppose 26 = -7*j + 453. Is j a multiple of 7?
False
Suppose 2*c + 4*f = 3*c - 534, -5*c - 3*f + 2693 = 0. Suppose -c = -3*p + 2*m + 2*m, 0 = 3*p - m - 526. Does 29 divide p?
True
Let g(f) = 728*f**3 - 4*f**2 + 4*f - 2. Does 22 divide g(1)?
True
Let z(l) = 5*l - 5. Let n be z(-4). Let r be (-2)/5 + (-810)/n. Suppose -h - 3*d + 16 = -2*d, 0 = -h - 5*d + r. Does 12 divide h?
True
Suppose -q + 236 = 2*y, 5*q + 538 - 1653 = 3*y. Is q a multiple of 5?
False
Let i = 26 + -16. Let d = 4 + i. Suppose -2*y + d = 2*g - 42, -50 = -2*g + 4*y. Does 9 divide g?
True
Let r = 144 - 83. Let u = 87 - r. Is u a multiple of 3?
False
Let b = 87 + 93. Suppose -2 - 18 = -4*x, -x = 5*m - b. Is m a multiple of 5?
True
Let g(m) = m + 11. Let r be g(-9). Let t(a) = 4*a**2 - a - 3. Is t(r) a multiple of 6?
False
Let n = 15 - 6. Let b = n - 5. Suppose 0 = -4*o + 2*m + 104, 4*m + 33 + 79 = b*o. Does 12 divide o?
True
Suppose -10*b = 11 + 9. Does 12 divide ((-52)/13)/(b/24)?
True
Let f(l) = 311*l + 27. Is f(2) a multiple of 11?
True
Let a be (7/(-2))/(2 - (-10)/(-4)). Let j(c) = c + 4. Let s be j(-6). Does 32 divide 1726/14 + s/a?
False
Let c(q) = 2*q - 20. Let n be c(10). Let p = n - -91. Does 15 divide p?
False
Let f be 630/(-40) + (-2)/8. Let b(q) = -3*q**2 - 6*q + 1. Let u be b(-5). Is (u/8)/(4/f) a multiple of 12?
False
Let m(g) = -g**3 + 9*g**2 - 8*g + 18. Let n = 4 - 35. Let q = -23 - n. Is m(q) a multiple of 6?
True
Suppose -15*d + 840 = -840. Is 31 a factor of d?
False
Let m be 27 + 4/(-2) + 1. Let z be 33 + (-1 - 2)/(-3). Suppose -m = -3*v + z. Does 10 divide v?
True
Let u = 10 + -7. Suppose 2*n = -u*n + 435. Is 29 a factor of n?
True
Let r(x) = 12 + 12*x**2 + 4*x + 0*x - 2*x - x**3. Let d be r(11). Let p = -107 + d. Is p a multiple of 16?
True
Let v = 536 - 354. Is 13 a factor of v?
True
Let c(f) = -2*f**2 + 5*f + 7. Is c(3) a multiple of 4?
True
Suppose -4*p + 32 = z - 12, -2*p + 246 = 4*z. Let x = z + -36. Is x a multiple of 15?
False
Let u be 4020/25 + (-1)/(-5). Let n = u + -56. Suppose -8*w = 2*h - 3*w - n, 0 = -4*h - 5*w + 185. Is 10 a factor of h?
True
Suppose 2*k - 150 - 204 = -4*h, 0 = -3*h + 4*k + 238. Suppose h = 3*t - 106. Is t a multiple of 21?
False
Suppose x + 4 + 6 = -3*c, -3*x - c - 30 = 0. Let z = x - -12. Suppose 7 = z*k - 7. Is 6 a factor of k?
False
Suppose -5*p - 3 = -53. Let m = 15 - p. Suppose 2*h = m*h - 69. Is 19 a factor of h?
False
Let x be (-427)/(-5) + 18/(-45). Let j = -81 + x. Does 2 divide j?
True
Let m = 7 - 12. Let b(l) be the second derivative of -l**4/12 - 4*l**3/3 - 3*l**2 - 2*l. Does 9 divide b(m)?
True
Suppose 0 = -w - 4, -4*y + 5*w - 279 + 9283 = 0. Is y a multiple of 132?
False
Suppose m = 5*w - 24, -2*w + 0 + 12 = -m. Suppose -3*b = 0, w*x + x - 400 = 5*b. Does 10 divide x?
True
Let i(q) = 9 + 3 + q - 2*q + 1. Let s be i(11). Suppose 3*a - 2*w - 196 = s*w, 0 = 5*a + w - 296. Is 10 a factor of a?
True
Suppose -2*k = -2*v - 8 - 2, 8 = k + 2*v. Suppose -k*g = g - 1022. Is 34 a factor of g?
False
Let h(r) = -3*r**2 - 14*r - 3. Let w be h(-11). Let p = -143 - w. Is 17 a factor of p?
False
Let i(v) = -2*v**2 + 3*v + 7. Let t(m) = -m**2 + 2*m + 6. Let f(j) = 2*i(j) - 3*t(j). Let s be f(6). Is s/6*(-3)/2 a multiple of 4?
False
Suppose 2*u - 104 = -4*l, 44 = -27*u + 28*u + 4*l. Is u a multiple of 52?
False
Let z(x) be the third derivative of -7*x**4/24 + 5*x**3 + 2*x**2. Does 26 divide z(-18)?
True
Let s be ((-102)/36 + 3)/(3/198). Let g be -2 - (-25 - (2 + -4)). Let x = g - s. Does 3 divide x?
False
Is 4*(-185)/20*-3 a multiple of 88?
False
Let x = -102 - -108. Does 18 divide 2746/14 - x/42?
False
Suppose 0 = 5*c + 2*w - 96 - 170, 5*c = 5*w + 245. Let o = c - 21. Is 11 a factor of o?
False
Let t be (2/(-3))/(6/(-99)). Let i = -19 + t. Let m = 11 - i. Is 12 a factor of m?
False
Let o be 21/6 + (-2)/(-4). Let g(a) = -2*a**3 + 7*a**2 + 3*a + 4. Let v be g(-3). Suppose o*x - v = 72. Is x a multiple of 9?
False
Let o be 1*-1*(3 + -1). Let c(t) = -15*t + 14. Is c(o) a multiple of 4?
True
Let f = 435 - 144. Suppose -p - 2 = 0, 5*v = 2*v - 3*p + f. Does 31 divide v?
False
Let o(y) = 323*y - 340. Is 86 a factor of o(6)?
False
Suppose j + 2 = 0, -3*j + 82 = 2*g + 8. Suppose -g + 10 = -5*k. Suppose -d + 0 + k = 0. Does 6 divide d?
True
Let x = 1227 - 827. Is x a multiple of 25?
True
Is (-36)/(-60) - ((-1214)/10 - -2) a multiple of 15?
True
Suppose -4*f = -1129 - 491. Suppose -6*g + f = -135. Does 10 divide g?
True
Let l(j) = j + 11. Let q(a) = 4*a + 32. Let h(t) = 7*l(t) - 2*q(t). Let y be h(9). Suppose 17 = 3*p + 2*g, -2*g + g = y*p - 31. Is p a multiple of 8?
False
Let r = -201 + 308. Suppose -r = -3*w - 29. Suppose -4*v = -186 + w. Is 8 a factor of v?
True
Let o(j) = j**3 - 3*j**2 - 4. Suppose -2*v - 15 = -5*v. Let q be o(v). Suppose -6 = 2*x - q. Does 3 divide x?
False
Suppose -919 = -3*y - 5*x, 3*y - 4*x - 783 = 145. Let i = 477 - y. Is 14 a factor of i?
False
Let b be 3*14*(-75)/(-18). Suppose -5*w - b 