et j = 41 - a. Is 14 a factor of j?
True
Let o(i) = 10*i - 8. Does 29 divide o(14)?
False
Let z = -102 - -2733. Is 127 a factor of z?
False
Let o(u) = -u**2 + 5*u - 2. Let r be o(5). Let s(l) = 16*l**2 + l + 1. Is 15 a factor of s(r)?
False
Suppose 9258 = 15*r + 588. Is 31 a factor of r?
False
Let i(s) = -s**3 - 4*s**2 + 3*s - 6. Let q be i(-5). Suppose 2*b + 3*d = 3*b - 10, 5*b + q*d - 126 = 0. Does 11 divide b?
True
Suppose 0 = -3*u + 4*r + 29, -4*u + 49 = 7*r - 2*r. Let z(f) = -f + 8. Let t be z(u). Is 21*(-1 + t)/(-12) a multiple of 2?
False
Is (-3)/(-1) + 23/(207/7398) a multiple of 15?
True
Suppose -3*t + 760 = -t. Is t a multiple of 10?
True
Let l(p) = -3*p - 15. Let y be l(-9). Suppose -q + y = -5*s - 37, -q + 61 = s. Does 38 divide q?
False
Suppose 24*m - 12266 = -3986. Does 2 divide m?
False
Let q = 834 - 416. Is 23 a factor of q?
False
Suppose -413 = -3*k - 2*d, k - 2*d + 18 = 169. Is k a multiple of 28?
False
Let c = 8 - -172. Suppose c = 9*i - 72. Is 14 a factor of i?
True
Let w(v) = -v**3 - 9*v**2 + 8*v - 11. Let u = 8 - 2. Let l(f) = -3*f + 8. Let r be l(u). Is w(r) a multiple of 9?
True
Suppose 27*x - 28*x + 9 = 0. Suppose x*q - 32 = 850. Does 14 divide q?
True
Does 70 divide (-8397)/(-5) + (-84)/60 + 2?
True
Let u = -9 - -78. Let p = 104 - u. Does 7 divide p?
True
Let q(k) = 6*k**2 - 1. Let a be q(-1). Suppose -3*i - 3739 = 2*n, -n + a*i = -140 + 1977. Does 10 divide (n/57)/(2/(-3))?
False
Let w be (0 + 1 + 7)/2. Let f(h) = 4*h**2 - 3*h + w*h**3 - 1 + h**2 - 3*h**3 + 5*h. Is f(-4) a multiple of 7?
True
Let g(b) = -13*b + 14. Let h be g(-5). Suppose -13 + h = 2*i + o, 2*o = -i + 27. Is i a multiple of 6?
False
Suppose 3*j - 5*y = 2, -2*j + 0*j + 2 = -3*y. Suppose -j*c + 7 = w - 2, -5*c = 5. Does 2 divide w?
False
Let k = -214 - -413. Suppose 0*x = 3*x + h - k, 5*x - 5*h - 365 = 0. Is x a multiple of 13?
False
Let z be (-3)/(15/8)*10. Let m(g) = -g**2 - 4*g - 17. Let p be m(-6). Let s = z - p. Is s a multiple of 6?
False
Suppose 12022 + 3014 = 12*t. Does 7 divide t?
True
Suppose 5*h - 4260 = -3*w, 3*h - 4312 = -4*w + 1357. Is w a multiple of 5?
True
Let i be (-3335)/(-25) - (-4)/(-10). Let q = 10 - 87. Let a = i + q. Does 11 divide a?
False
Suppose -2*v = -u + 104, -4*v + 312 = 3*u - 9*v. Let t be 33/11 - 0/(-2). Suppose u = t*i - 40. Does 20 divide i?
False
Suppose 19 = -2*j + 11. Does 19 divide 5/((-30)/j) - 6816/(-36)?
True
Let y(l) = -10*l + 64. Let d be y(6). Suppose 0*b = 4*k - 4*b - 108, 0 = d*k + 2*b - 120. Is k even?
False
Let j(f) = 5*f**2 - 27*f + 170. Does 8 divide j(10)?
True
Let w(r) = 4*r + 51. Let i be w(-13). Does 40 divide 0*i/(-2) - -80?
True
Suppose -5*g - 207 - 210 = -2*m, -5*g + 5*m - 405 = 0. Let v = -70 - g. Is v a multiple of 15?
True
Let z = 890 - 532. Is 12 a factor of z?
False
Suppose 270 = x + 4*l + 69, -2*x + l + 420 = 0. Is 19 a factor of x?
True
Suppose 5*i - 12 = 4*n, -10*i + n = -8*i - 6. Is 4 a factor of i?
True
Is -2*((-25)/10)/1 - -219 a multiple of 16?
True
Let v(s) = -s**3 - 8*s**2 + s - 22. Let w be v(-10). Let d = 252 - w. Does 42 divide d?
True
Suppose 5*w - 5 - 30 = 5*f, 18 = 2*w - 3*f. Suppose 3*a - 57 = -w*k, -3*k - 12 = -a - 53. Does 16 divide 234/k + (-2)/(-5)?
True
Let j = 76 + -28. Let m = j - 24. Is 8 a factor of m?
True
Let p = 126 - 58. Does 34 divide p?
True
Let t be (-15)/(-18)*-2*-3. Suppose 4*u = 2*u - t*r + 142, 5*r - 284 = -4*u. Is 11 a factor of u?
False
Let u(z) = z**2 + 6*z + 5. Let w be u(-6). Let y be 3/(-2)*8/(-6). Suppose -y - w = -c. Is c a multiple of 7?
True
Suppose 4*a + 7 + 13 = 3*d, 5*a = -5*d + 10. Suppose 4*r = o + r - 1, -2*o + d*r + 4 = 0. Is (12/o)/((-6)/(-62)) a multiple of 8?
False
Suppose 3*q + 0*q = 4*w + 1995, 0 = -5*w. Is q a multiple of 35?
True
Let l = 627 - 314. Does 11 divide l?
False
Let z = 53 - 40. Suppose 0 = -0*p - z*p + 728. Is 9 a factor of p?
False
Suppose 3325 = 5*s - 7*v + 2*v, 667 = s - 3*v. Is s a multiple of 4?
True
Is 1995/8 + (-21)/56 a multiple of 25?
False
Suppose -12*i = -9*i + 156. Let g = i + 104. Does 13 divide g?
True
Let j(x) = -7*x + 21. Let g be j(-15). Let m = g + 135. Is m a multiple of 24?
False
Let n(g) = -g**3 + 7*g**2 + 3. Let l be n(7). Let a(w) = 24*w - 8. Let y be a(l). Let x = 112 - y. Does 6 divide x?
True
Suppose 17*l + 1221 = 35017. Does 14 divide l?
True
Let l(y) = -3*y - 28. Let m(u) = 8*u + 70. Let c(b) = -12*l(b) - 5*m(b). Is 6 a factor of c(-18)?
False
Let s = 9 - 8. Let j be s + -4 - (0 + -5). Suppose j*a - 3*a = -4, -5*d - 4*a = -316. Does 15 divide d?
True
Let y(u) be the first derivative of -3*u**2 + 10*u + 7. Is y(-5) a multiple of 3?
False
Let o(h) = 4*h**2 - 6. Let g be -1 + 6/4*(-210)/(-45). Does 30 divide o(g)?
False
Is 25 a factor of 1684/(14 - 12) + 11?
False
Let n(z) = 4*z**2 - 3*z + 3. Let w be n(1). Suppose w*q = 2*c + 364, -2*q = c - 3*c - 186. Does 15 divide q?
False
Suppose 4*c + 126 = 834. Suppose -3*t + 0*t + c = 0. Does 13 divide t?
False
Suppose -3*g = -35 - 10. Let t = g + -3. Let p = 0 + t. Is p a multiple of 5?
False
Suppose m = 4*l - 2*l - 395, 3*m + 793 = 4*l. Is 14 a factor of l?
True
Suppose -u = -4 - 1. Suppose 5*h + u = -2*o - 1, 0 = o + 5*h + 3. Let y = o + 45. Does 21 divide y?
True
Suppose 3*k - r = 4*r + 6, 4*k - r = 8. Suppose 3*x = -k*w + 89, 2*x = 3*w - 0*x - 101. Is w a multiple of 6?
False
Let f = 26 - 15. Suppose -3*t + f = -70. Suppose t = -b + 84. Does 19 divide b?
True
Suppose -11*a - 68 = -200. Is a a multiple of 6?
True
Let r be (-1 + -1)*(6 - 5). Suppose -7 = -5*q + 38. Let k = q + r. Is 7 a factor of k?
True
Let s = -78 - -80. Suppose -5*r + s + 3 = 0, r = 5*d - 114. Is 3 a factor of d?
False
Let h be (5 + -7)/(6/(-279)). Suppose w - 15 = h. Is w a multiple of 12?
True
Suppose -g - 5*l + 351 = -0*g, l = 4*g - 1341. Does 12 divide (4/8)/(2/g)?
True
Suppose y = 9*y - 3912. Is y a multiple of 26?
False
Let n = 381 + -251. Is 34 a factor of 12714/n + (-8)/10?
False
Suppose 2*z = 2 + 6. Suppose -z*f - 18 = -3*f + 2*k, 5*f + 2*k = -90. Is (50/20)/((-1)/f) a multiple of 15?
True
Suppose -5*s + 389 + 256 = 0. Suppose 822 = 11*z + s. Is z a multiple of 21?
True
Let f = 0 + -54. Let i = -31 - f. Does 8 divide i + 2*2/2?
False
Let j = 76 + 47. Suppose 4*d = 2*m + 140, -2*m = 3*d + m - j. Is 6 a factor of d?
False
Let y be (5 + -1 + -11)*2/(-2). Suppose y*o = 360 - 45. Is 15 a factor of o?
True
Suppose w - 4 = 2*r + 3*r, 3*r = 2*w - 15. Let k = 13 - w. Is (-6)/3*(-18)/k even?
False
Let q = -182 - -358. Is q a multiple of 5?
False
Suppose 5*l - 41 = -h, -2*h = -0*l + 2*l - 42. Suppose 144 = h*r - 14*r. Does 6 divide r?
True
Let r(w) = 815*w**2 - 7*w + 1. Is 50 a factor of r(1)?
False
Suppose 4*a - 521 = -5*c, -3*c + 417 = 3*a - 8*c. Let v = -107 + a. Is v a multiple of 10?
False
Let g(n) = -35*n - 317. Is g(-28) a multiple of 39?
True
Let q(g) = -199*g - 93. Is q(-5) a multiple of 41?
True
Suppose -2722 = -2*s - 1006. Is 33 a factor of s?
True
Let q(p) = 7*p**2 + 35*p + 237. Is q(-20) a multiple of 8?
False
Suppose -54 = -n + 154. Does 4 divide n?
True
Let f(m) = 2*m**2 + m + 3. Let z be f(-2). Suppose 2*w - z = -47. Let o = 28 + w. Is o a multiple of 9?
True
Let k be (-6)/3 - -61*(19 - 2). Suppose 14*n - k = -n. Is 38 a factor of n?
False
Let o = -18 - -15. Let y be (-40)/(-12) + 1/o. Suppose 0*a - y*a = -117. Does 13 divide a?
True
Let p = -3 + 24. Suppose -3*q - 3 = -p. Let u(a) = -a**3 + 10*a**2 - 8*a - 3. Is 22 a factor of u(q)?
False
Let k(s) = 2*s**3 - 16*s**2 + 8*s - 8. Let u(j) = -j**3 + 8*j**2 - 4*j + 4. Let a(g) = 3*k(g) + 7*u(g). Does 7 divide a(5)?
False
Let o(f) = -f**2 + 7*f + 20. Let n be o(6). Let m be 3 + -2 - (1 + -5). Suppose 3*b - n = 4*u, 2 = -3*b + 5*b + m*u. Does 6 divide b?
True
Suppose -2*u - 683 = -7*u + 2*b, 2*b + 143 = u. Is 2 a factor of u?
False
Let q = 4 + 1. Let r(x) = x. Let y be r(3). Suppose 288 = q*l - y*f, 56 + 176 = 4*l - 4*f. Does 35 divide l?
False
Let j = -43 - -341. Suppose 0 = 5*n + j + 602. Is n/(-70)*196/6 a multiple of 21?
True
Let r be (-4)/(40/(-215))*-2. Let o = 81 + r. Does 3 divide o?
False
Suppose -4*r + 556 = b, -2*b + 146 = -78*r + 79*r. Is 17 a factor of r?
False
Suppose -5*i - m - 1405 = -0*m, -i - 3*m - 281 = 0. Let p = -183 - i. Is 17 a factor of p?
False
Let l = 171 + -54. Let u = l + -75. Is u a multiple