. Suppose i + 80 = -3*d + 468, d + y*i = 140. Is 16 a factor of d?
True
Let w(u) = u + 14. Let f be w(-5). Suppose -31 = -f*y + 14. Suppose 200 = 5*p + y*i, 2*p + 3*i - 91 = -9. Does 11 divide p?
False
Suppose 35203 + 135783 = 47*u - 195379. Is 65 a factor of u?
False
Let s(q) = -2*q**3 - 11*q**2 + 7*q + 9. Let p be s(-6). Let k(c) = -3 - 12*c + 7*c**3 - 20*c**3 + 12*c**p - 9*c**2. Is 4 a factor of k(-8)?
False
Is 105 a factor of ((-6)/(-5))/((-358)/(-4604775))?
True
Let z = -191 - -279. Let w = 496 - z. Is 20 a factor of w?
False
Suppose -2 = v + 5*r, -4*v + 3*r = -9*v + 12. Suppose 4*o + v*d = 342, 6*o = 2*o - 2*d + 340. Does 14 divide o?
True
Suppose 630 = 42*q - 28*q. Is 16 a factor of 22660/25 - (-27)/q?
False
Let n(s) = 20*s - 169. Let z be n(9). Suppose -z*v + 16*v + 2*g - 206 = 0, 86 = 2*v - g. Is 9 a factor of v?
False
Let o be 989/161 + (-1)/7. Let f be 61 - (o + (-9)/(9/4)). Suppose 72 = 61*r - f*r. Is 9 a factor of r?
True
Let m(d) = 159*d**2 + 37*d + 212. Is m(-13) a multiple of 11?
False
Let s(w) = 3277*w - 748. Is s(2) a multiple of 15?
False
Suppose -2*z - 206 = 5*t, -10*t + 5*t = -4*z + 188. Does 21 divide -465*(216/t + 4)?
True
Let c = 5877 + 5313. Does 15 divide c?
True
Let w = 209 + -293. Let j be (-3828)/w + 6/14. Suppose -j = -2*z - u, -2*z = -z - 2*u - 28. Does 6 divide z?
True
Let m = -3479 + 1863. Let w = -1102 - m. Does 62 divide w?
False
Let k be (-5874)/363 + 2/11. Is 13 a factor of (4/k*4)/((-2)/78)?
True
Suppose 0 = 4*m - 12, -11*m = 5*g - 15*m - 88908. Is g a multiple of 104?
True
Let z(t) = -t**3 + 10*t**2 - t + 12. Let c be z(10). Suppose c*q - 4 = 0, 0 = -4*v + q - 0*q - 1826. Is 4 a factor of v/(-32) + (-1)/4?
False
Does 9 divide (164452/26)/1 - 11/143?
False
Let m = -3278 - -6312. Is m a multiple of 7?
False
Let q(c) = -c + 12. Let m be q(12). Suppose -5*l + 33 = 3*s - 2*l, 2*s + 4*l - 24 = m. Is 1 - (-5)/s*188 a multiple of 8?
False
Suppose -w + 19 = -5*f, 0*w + w + 8 = -4*f. Suppose -2*i + 1603 = 2*p + 153, -p = w. Is 9 a factor of i?
True
Let w(f) = -22*f + 10. Let c be w(8). Let b = 248 + c. Let o = 109 + b. Is 13 a factor of o?
False
Let j(l) = l**3 - 10*l**2 - 15*l. Let v be j(12). Suppose -s + v = s. Is 2 a factor of s?
True
Suppose c = -4*o - 59826 + 160220, c - 125492 = -5*o. Is 141 a factor of o?
True
Let c(p) = -1034*p + 695. Is 14 a factor of c(-21)?
False
Let g(d) = -2*d - 44. Let i be g(-23). Suppose 5*m + 0*u - 23 = i*u, -2 = -m + 3*u. Suppose m*o + 59 = 3*j - 2*j, 3*o + 65 = j. Does 24 divide j?
False
Let h = 14549 + -14337. Is 25 a factor of h?
False
Let p = 1858 - 706. Is p a multiple of 64?
True
Suppose -q = -g + 163, -3*q + 638 = 2*g + 2*g. Suppose 0 = 3*k - 4*c - 3, 9*c = -k + 10*c + 1. Suppose 6*f - k = g. Does 12 divide f?
False
Let v be (-1724)/(-12) - (-3)/9. Let w be (0/4 - -1) + 1. Suppose -k + 0*k = 5*i - 36, w*i = 4*k - v. Is k a multiple of 4?
True
Suppose 0 = 3479*q - 3507*q + 321216. Is 22 a factor of q?
False
Let a(j) = -133*j + 16585. Is 63 a factor of a(0)?
False
Let w(k) = -10*k - 44. Let v be w(-5). Suppose -3*p + 9 = -v*p, -3*r + 243 = -p. Is r a multiple of 40?
True
Suppose -212 = -4*h + 5*r, -2*r - 166 = -0*h - 3*h. Suppose -13*i - h = -695. Is 4 a factor of i?
False
Suppose -15 = 3*p - 6*p. Suppose 0 = 4*l - 20, p*l - 5 = -3*z + 4*l. Suppose r - 82 - 27 = -3*u, 3*r + 5*u - 315 = z. Does 20 divide r?
True
Let o(w) = w. Let k(q) = 38*q + 17. Let t(j) = k(j) - o(j). Is 11 a factor of t(4)?
True
Let m = 23662 - 16753. Does 22 divide m?
False
Let w = 1147 - 782. Suppose g + 2 = -u + 126, w = 3*g - 4*u. Is 2 a factor of g?
False
Suppose 2*m + 2134 = -5*l, m - 3*l + 6*l + 1065 = 0. Let y = 508 - m. Is y a multiple of 33?
False
Suppose -6*p - 27 = 33. Let t be 4 + -2*135/p. Suppose 7*o - 3*o = 5*l - 41, -4*l + 5*o = -t. Does 2 divide l?
False
Suppose -o + 5*m - 62 + 24 = 0, 5*o + 5*m + 130 = 0. Let a = 12 - o. Is a a multiple of 8?
True
Let v be 4/(((-12)/(-75))/((-2)/5)). Let m = 28 + v. Does 2 divide m?
True
Let r(m) = -15*m**3 + 3*m**2 + 2*m - 4. Let l be r(3). Let n = l + 758. Does 15 divide n?
False
Let k(f) = 1543*f - 936. Does 59 divide k(5)?
False
Suppose -853*j + 139968 = -847*j. Suppose 4*u - j = -23*u. Does 48 divide u?
True
Suppose -5*b + 2*i + 22 = 6, 5*b - 7 = -i. Suppose -2*s + b + 10 = 0. Does 7 divide (s/(-4))/(30/(-280))?
True
Suppose d - 95 = -5*k, 177 = 4*d - k - 140. Let g(t) = t + 15. Let c be g(-11). Suppose -c*x = 0, -5*x + x - d = -2*u. Is 20 a factor of u?
True
Let q(h) be the first derivative of 5*h**4/4 - h**3/3 + h**2/2 - 3*h - 88. Is 9 a factor of q(3)?
True
Let d(p) = 2 + 21*p + 51*p + 13*p - 4. Let l(j) = -j**2 + 4*j + 79. Let m be l(-7). Is d(m) a multiple of 14?
True
Suppose -u - 12443 = -3*n, n + 5*u = -1756 + 5941. Is 18 a factor of n?
False
Let l = -249 + 245. Let d(h) = -2*h**3 + h**2 - h - 1. Does 21 divide d(l)?
True
Let g(x) = -x**2 + 11. Let s be g(-5). Let v = s - -16. Let u(a) = 26*a + 2. Does 18 divide u(v)?
True
Suppose 375*d + 1540540 = 12820915. Does 30 divide d?
False
Does 2 divide 13570/22 - (-102)/561?
False
Suppose 0 = -3*z - 2*h + 19633, 2*z = z + 2*h + 6547. Is z a multiple of 8?
False
Let s(f) = -f**3 + 16*f**2 - 13*f + 8. Suppose -3*r - 24 = -63. Is s(r) a multiple of 28?
False
Suppose -12 - 63 = -25*u. Suppose -4*b + 12 = 0, -r + 4*b = -u*r + 58. Is r a multiple of 23?
True
Let f = 15 - 13. Let c be (f - (-2 + 5))*65. Let m = -44 - c. Is m a multiple of 17?
False
Let w(j) = -2*j**3 - 69*j**2 - 43*j + 95. Is w(-35) a multiple of 4?
False
Let o be 12/3 - 0 - (-1 - -2). Suppose 0 = z - o*z. Let p(d) = -d**2 - 2*d + 65. Does 13 divide p(z)?
True
Let b(k) = -35*k + 274. Let p(z) = 71*z - 547. Let m(w) = 5*b(w) + 2*p(w). Does 25 divide m(-9)?
False
Suppose 5*r + 20 = 0, 2*w + 6*r = 8*r + 8. Suppose 4*d + t = 397, -2*d - 2*t = -w*d - 206. Does 14 divide d?
True
Let c = 197 - 194. Is 21 a factor of (15/(-20))/(c/(3 - 423))?
True
Let p(i) = i**2 - i - 1. Let u be p(-4). Suppose -17*r = -u*r + 210. Suppose r = -13*b + 14*b. Is 15 a factor of b?
True
Let u(m) = 5*m**2 + 19*m + 11. Let y be u(-4). Suppose -t - y = -118. Is t a multiple of 17?
False
Suppose -n - 4*k - 12 = 28, -224 = 5*n - 4*k. Let t = n - -47. Suppose 2*l - 3*y - 5 = -8*y, t*l + 3*y - 30 = 0. Is l a multiple of 3?
True
Let z(w) = w**2 + 4*w + 2. Let k be z(-2). Let y be k/(-10) + 1/(-5). Suppose y*v = -2*v + 102. Is 11 a factor of v?
False
Suppose 4*m - 4*u - 89084 = 0, 11*u = 3*m + 16*u - 66749. Does 19 divide m?
False
Let s(q) = 77*q**3 - 7*q + 8. Let b be s(3). Let w = b + -1061. Does 15 divide w?
True
Suppose 265 = 3*f + 2*y, -3*f + 146 = 4*y - 123. Suppose -32 = -h + 5*m, -4*m = h - f + 37. Does 21 divide h?
True
Let f be -10*-42*(-10)/(-75). Let x = 216 - f. Is x a multiple of 7?
False
Let o(b) = 6*b**2 - 19*b - 26. Does 13 divide o(14)?
True
Suppose 0*n - n - k = -72, 4*k = n - 82. Suppose 0 = -310*u + 309*u + 289. Let a = u - n. Does 23 divide a?
False
Let i(v) = 58*v + 26. Suppose -510 = -4*x - 482. Does 9 divide i(x)?
True
Let z(k) = 538*k**2 - 19*k + 26. Is 10 a factor of z(2)?
True
Suppose 4*k - 124 = -j, 2*j - 507 = -2*j - 5*k. Let h = 188 + j. Is 67 a factor of h?
False
Suppose -1181511 = -155*u + 300134. Is u a multiple of 17?
False
Suppose 4*n - x - 3*x = 2256, 2*n - 1125 = 3*x. Suppose -2*p - 2835 = -5*g, 3*g - 2*g + p = n. Does 9 divide g?
True
Suppose b - 3*b = 14*b - 5680. Is 4 a factor of b?
False
Let v(f) = 120*f - 102. Let c be v(1). Suppose y = -y + 44. Suppose c*q + 36 = y*q. Is q a multiple of 4?
False
Let a be (-4)/10 + 13/(325/60). Let j(k) = k**2 + 4*k + 1. Let f be j(a). Suppose -2*p = -f*p + 242. Is p a multiple of 3?
False
Suppose -12 - 3 = -3*i. Suppose 4*w + 2 = -5*b + 112, w = i. Is 55 a factor of 988/3 - (-12)/b?
True
Suppose -3*l + 194410 = -i - 39, -324070 = -5*l + 4*i. Is l a multiple of 40?
False
Suppose -3*a + 9 = 0, -3*l + 6*l - 6 = -3*a. Let j be l/(-4) + (-135)/60. Is j/3*(-144 - 0) a multiple of 30?
False
Let u be (-72)/48*806/(-3). Let l = u - -133. Is 12 a factor of l?
False
Let h = -7023 - -8363. Does 15 divide h?
False
Let m(l) = 33*l**2 + 68*l - 336. Does 20 divide m(8)?
True
Let w = -2929 + 3309. Is 3 a factor of w?
False
Let q be 31/(-3) - 22/33. Let v(c) = -c**3 - c**2 + 4*c + 4. Let r be v(q). Suppose -3*t 