e a(r)?
True
Let m(j) = 33*j - 1. Let x be m(5). Suppose 0*v - x = -2*v. Suppose 3*u - v = -0*h - 2*h, -4*u = 8. Is 22 a factor of h?
True
Suppose 0 = -3*i + 5*i. Suppose -3*v + i*v = 240. Let c = -45 - v. Is c a multiple of 17?
False
Suppose -3*l + 25 = 5*z, 2*l + 5*z - 55 = -3*l. Suppose w - 5*j - 21 - 12 = 0, l = w + j. Is 50/(-4)*w/(-15) a multiple of 15?
True
Let u(f) = f**2 - 11*f + 14. Let k(z) = -2*z**2 + 11*z - 15. Let p(t) = 2*k(t) + 3*u(t). Let c be p(-12). Suppose 0 = 4*l - c*l - 40. Is l a multiple of 4?
False
Let m(p) = p**2 + p - 31. Let r be m(8). Let d = -26 + 9. Let u = d + r. Is u a multiple of 8?
True
Let x(t) = t**2 - 8*t - 3. Let h be x(9). Suppose 3*i = w - 66, 3*w = h*i - 2*i + 188. Is w a multiple of 17?
False
Let a be 2331/14 + (-2)/(-4). Let n = 279 - a. Suppose 3*h = r + 154, 3*h + 4*r = h + n. Is 13 a factor of h?
True
Let x(p) = p**2 + p. Let n be x(0). Suppose n = -4*i + 6*i + 26. Let g = -3 - i. Is g a multiple of 10?
True
Suppose -5*p + 13 = -o + 135, 4*p = -2*o + 202. Suppose 5*i + o = 3*r, r - 4*i = -2*r + 103. Does 23 divide r?
False
Let t be ((-2)/(-7))/(6/42). Is 2 a factor of (t - 2) + 3 - 1?
True
Let k(s) = s**3 - 1. Let a be k(1). Let x(q) = 7 - 8 - 35*q + a. Does 17 divide x(-1)?
True
Let h be 22/6 + 10/30 + -9. Does 23 divide -2*(-4)/(-8)*(-97 - h)?
True
Suppose -2*f + 0*f = 1500. Let a = f - -1162. Is 23 a factor of a*-4*2/(-32)?
False
Let v(x) = 2*x**2 + 26*x + 3. Let o be v(-13). Suppose -q = -o*a - 3*q + 179, -4*q + 181 = 3*a. Is 6 a factor of a?
False
Let j(y) be the third derivative of 8*y**5/15 - y**4/6 - y**3/3 + 18*y**2. Is 23 a factor of j(-2)?
False
Let m = 199 + -176. Does 4 divide m?
False
Is 7 a factor of ((-24)/(-5))/(-4)*35/(-3)?
True
Let c(f) = -f**2 - 9*f - 6. Let b be c(-6). Let t(l) = 4*l**3 - 2*l. Let v be t(2). Does 8 divide (b/(-8))/((-2)/v)?
False
Let h(g) = -g - 48. Let u be h(-10). Is u*3*6/(-18) a multiple of 38?
True
Suppose -2*j + 800 = -m + 3237, -4*m + 9760 = -2*j. Does 20 divide m?
False
Let v be 1046/10 + (-15)/25. Let i be 9/1 - (-12)/(-4). Suppose i*q - 2*q = v. Is q a multiple of 14?
False
Suppose 4*x + 2*d - 9209 = 467, -5*d + 12095 = 5*x. Is 41 a factor of x?
True
Suppose 0 = 2*a - 3*a - 5*q + 1927, -5*a = -4*q - 9664. Does 14 divide a?
True
Let u(n) = 10 - n + 8*n + n**2 - 2*n. Let z(j) = j**3 - 14*j**2 + 14*j - 17. Let t be z(13). Is u(t) a multiple of 2?
True
Is 9 a factor of ((-387)/4)/((-40)/160)?
True
Suppose 492283 + 9203 = 159*b. Does 48 divide b?
False
Suppose 0 = -2*r + r + 98. Let o(d) = -d**3 - 5*d - 14. Let s be o(-2). Suppose -s*b - r + 378 = 0. Is b a multiple of 31?
False
Let h = -20 - -26. Suppose 5*a = 4*w - 2, w + 2*a + 11 = h*w. Does 2 divide w?
False
Let a be ((-896)/(-12) + 0)*18. Does 7 divide 2/15 - a/(-45)?
False
Is 4 a factor of -1*((8 - 115) + (3 - 0))?
True
Let h(v) = v**2 + 12*v + 8. Let y be h(-11). Let i be 2/(-4)*(3 + y). Suppose i*p + 156 = 2*p. Does 20 divide p?
False
Let c be ((-2)/(-2) - 2) + 2. Let f(i) = 2*i + 23. Let k be f(13). Is 12 a factor of (0 + k - 0) + c?
False
Suppose -w = -3*w + 102. Let j be w*(-2 + (-10)/(-6)). Let p = 39 - j. Is 17 a factor of p?
False
Let q(d) = -d**2 + 8*d - 7. Let x be q(10). Let s = -8 - -2. Is 15 a factor of (-178)/s - 9/x?
True
Suppose 0 = -51*q + 121724 + 4246. Does 38 divide q?
True
Let d = -827 + 1805. Is 5 a factor of d?
False
Let l be (21/14)/((-6)/(-128)). Let h = -23 + l. Does 3 divide h?
True
Let n(z) = 5*z**3 + 5*z - 3. Let y be n(2). Suppose -3*m + y = -7. Does 6 divide m?
True
Let k(m) = 279*m + 7. Is 13 a factor of k(1)?
True
Let o(m) = m**3 - m**2 - 1. Let q be o(2). Suppose 0 = 2*x - 5*t - 3, t - 1 = 0. Suppose x*c + 4*w = 200, -246 = -8*c + q*c - 3*w. Is c a multiple of 20?
False
Is ((-10)/30)/((-2)/1596) a multiple of 8?
False
Let v = 128 + -59. Is v + 0 - (-21 + 23) a multiple of 14?
False
Let t = -10 - -12. Suppose -t*a = -4*a - 68. Let l = a + 52. Does 6 divide l?
True
Let t(l) = -l**3 - 5*l**2 - l + 9. Let i be t(-5). Let b = i - -1. Does 5 divide b?
True
Suppose 0 = -5*a - 4*t + 907 + 1173, 4*a = -5*t + 1664. Is 52 a factor of a?
True
Is 80/1 - (-16 - -24) a multiple of 18?
True
Let l(o) = o**3 - 8*o**2 - 11*o + 5. Let v be l(8). Suppose 0 = -2*d - 3*g - 301, -312 = 2*d - g - 23. Let m = v - d. Is m a multiple of 21?
True
Let u(o) = -o**3 - 10*o**2 - 8*o + 13. Let g be u(-9). Suppose -8 = 5*s + 7, -g*q + 411 = 3*s. Is q a multiple of 15?
True
Let v be (4 - 43)/(-3) + -3. Suppose -d + 22 = -v. Is 22 a factor of d?
False
Let s(t) = -t**3 + 11*t**2 - 9*t - 16. Let q be s(10). Is 19 a factor of -13*q/9*15?
False
Let t = 42 - 14. Suppose 0 = 2*j - 26 - t. Is j a multiple of 6?
False
Let k = 11 - 0. Let s = k + -10. Is 25 - 1 - s/1 a multiple of 14?
False
Let t(h) = -h**3 + 19*h**2 - 10*h + 34. Is t(9) a multiple of 13?
True
Let l be 9/(-3) - 114 - 0. Let n = -77 - l. Is n a multiple of 15?
False
Suppose 7*m = 2072 + 3248. Is 5 a factor of m?
True
Suppose 0 = 6*g - 257 + 29. Suppose -11*r + g = -10*r. Is 7 a factor of r?
False
Let v = 83 - 111. Does 27 divide -4 - 22*v/8 - -3?
False
Let t(c) = -c**2 - 5*c + 2. Let l be t(-5). Let g be ((-164)/(-6))/(l/9). Suppose -g = -3*k - 3*z, -2*z = -4*k - 44 + 214. Is 9 a factor of k?
False
Let n = -397 + 587. Is n a multiple of 38?
True
Suppose -54 = f - 3*f. Suppose 0 = 26*t - f*t + 49. Does 10 divide t?
False
Is 9 a factor of 3026/16 - (231/56 + -4)?
True
Does 3 divide (-8 - 344/(-40)) + 72/5?
True
Let p(n) = -8*n**3 - 2*n**2 + n + 2. Let k(y) = -y**3 + 2*y**2 + 8*y + 2. Let g be k(4). Suppose -2*b + 6 = -2*j, -b - 3*b = g*j. Does 14 divide p(j)?
True
Let r be (-30)/75*(-10)/4. Suppose -5*v - x = 10, 4*v + 4*x + r + 7 = 0. Is 17 a factor of (v - -4)*19 + -4?
True
Suppose 0 = -3*m + 43 - 28. Suppose 3*y = -m*u + 660, 5*u - y - 850 = -210. Does 31 divide u?
False
Suppose -3*v = -0*v. Suppose -21*t + 11*t + 1850 = v. Does 30 divide t?
False
Does 4 divide -2 + (-271)/(-1) - (-20 - -24)?
False
Suppose 29*l - 39*l = -2460. Is l a multiple of 36?
False
Let a be (-34)/(-187) - 334/22. Let h = -35 - -22. Let g = h - a. Does 2 divide g?
True
Does 14 divide -3*21/(-7) - -5?
True
Suppose -5*h = -79 + 9. Let f(x) = x**2 - 14*x + 4. Let j be f(h). Suppose y - j = 40. Does 14 divide y?
False
Let z(h) = 18*h**2 + 31*h + 67. Is z(-11) a multiple of 68?
True
Let z = 165 - 152. Is z a multiple of 2?
False
Suppose -5*m + 21 = 6. Suppose 3*v = 12, 24 = -a + 4*a + m*v. Is a/22 - (-317)/11 a multiple of 14?
False
Suppose 0 = -0*x + 4*x - 12. Suppose -5*c - 71 = 4*l, -x*l + 27 + 21 = -3*c. Let r = 75 + c. Is 20 a factor of r?
True
Let k = 444 - 189. Let b = -146 + k. Is 19 a factor of b?
False
Suppose -3*k = s - 8, -11 = -2*k + 3*s + 2*s. Let u(r) = r - 6. Let y be u(k). Is (y - -11)*(-35)/(-4) a multiple of 28?
False
Suppose s = 6*s - 4*z - 129, 4*z + 100 = 4*s. Is 5 a factor of s?
False
Let o(b) = -6*b**3 - 1 + 13*b**3 + 5*b**2 - 8*b - 6*b**3. Let r be o(-6). Suppose -4*h + 2*i + 1 = -r, 2*i = 8. Is 2 a factor of h?
False
Is 51 a factor of 2396*(-4 + 81/18)?
False
Is 6 a factor of (234/(-10))/((-14)/140)?
True
Suppose 0 = -2*i - 5*h + 14, 18 = 5*i + 4*h. Suppose -2*v - 92 = -c - i*c, 4*c - 5*v - 125 = 0. Let t = 74 - c. Is t a multiple of 11?
True
Let t = 25 - 27. Is (-2 - (-11)/4)/(t/(-32)) a multiple of 6?
True
Suppose 0 = 4*b + 45 - 237. Does 25 divide (3 - 2) + 1 + b?
True
Suppose 22*v - 285 = 17*v. Suppose v + 12 = 3*g. Is 5 a factor of g?
False
Let c(s) = 147*s**2 + 13*s - 14. Is 12 a factor of c(2)?
True
Let m(y) = y**2 + 13*y + 11. Let d be m(-13). Suppose 5*q + 354 = d*q. Is 7 a factor of q?
False
Suppose -6 = -4*j + 2. Suppose j*i - 10 + 0 = -p, 0 = -p - 3*i + 15. Suppose p = -6*t + 164 + 112. Is 11 a factor of t?
False
Suppose -5*z = 3*b + 486, 162 = -b + z + 3*z. Let r = b - -348. Does 22 divide r?
False
Suppose -3*j + 27 = d, -2*j - d = 3*j - 45. Suppose 3*i - j = -0*i. Let r = 5 + i. Does 5 divide r?
False
Let k = 35 - -191. Let b = k - 114. Does 14 divide b?
True
Suppose -217 + 55 = -6*k. Does 3 divide k?
True
Suppose 109 + 1 = -5*c. Let n be 130/(-11) - c/(-121). Let m = n + 22. Does 5 divide m?
True
Let f(x) = 12*x + 34. Let d be f(3). Let r = -61 + d. Does 9 divide r?
True
Let g(f) be the second derivative of 4*f - 4*f**2 + 5/6*f**3 