*2 + 5. Let x be d(0). Let v = x + 31. Does 12 divide v?
True
Let a(w) = 25*w - 41. Is a(16) a multiple of 11?
False
Let l(v) = 2*v - 8*v - 43 + 10*v + 9*v. Let b(p) = -7*p + 21. Let h(j) = -9*b(j) - 4*l(j). Is 42 a factor of h(13)?
True
Does 11 divide -1 + 2/(-4) + 1420/8?
True
Let w(r) be the first derivative of r**3/3 + 3*r**2/2 - 2. Let b be w(-3). Suppose b*o + 2*o - 28 = 0. Is o a multiple of 5?
False
Let i be (-8)/((-3)/2 + 1). Suppose 0 = -3*g - 4*m + 78, 0 = 5*g - 2*m - 23 - 133. Let v = g - i. Does 7 divide v?
True
Let w be 3 - 3*2/6. Let n be (208/(-6))/w*-6. Suppose 6*h + n = 10*h. Does 5 divide h?
False
Suppose 110*n + 329 = 117*n. Does 3 divide n?
False
Suppose -4*d + 0*d = -8. Suppose 7 = -d*t + 2*n - 19, 5*n - 15 = 0. Is 35 a factor of 724/10 + (-6)/t?
False
Let w = 2 - 14. Let j = 33 + w. Does 12 divide j?
False
Suppose -500 - 49 = -3*u + 3*c, 4*u = 2*c + 730. Suppose -u = -8*p + 482. Is 9 a factor of p?
False
Suppose 14*j - 5*j = 0. Suppose -c - 4 + 42 = j. Is c a multiple of 8?
False
Suppose -7*n + 1984 = 388. Does 12 divide n?
True
Let n(u) = 2 + 56*u**2 + 2*u - 18*u**2 + 42*u**2. Is 16 a factor of n(-1)?
True
Let t(u) = u**3 - 12*u**2 + 11. Let h be 7/2*(-24)/(-7). Let r be t(h). Is (-31)/(-1) + r + -9 a multiple of 24?
False
Is 2*((-2)/(-16) + 39411/232) a multiple of 34?
True
Let w = -102 - -95. Is -2 + (-3 - -3) - (w + -25) a multiple of 9?
False
Suppose 9 = o - 4*l - 4, 0 = 5*l + 10. Suppose -5*b = -0*r - o*r + 1175, 4*b = 5*r - 1178. Does 53 divide r?
False
Is 17 a factor of (-10)/(-2) + 640 + 5 + -5?
False
Let a = -630 + 883. Is a a multiple of 15?
False
Let f = 17 - 15. Suppose f*b + 398 = 6*b + 2*o, 5*b - o = 487. Does 28 divide b?
False
Let j = 7 + -6. Let w be (6/(-4))/(j/2). Let g(z) = -8*z + 4. Does 13 divide g(w)?
False
Let u = 64 - -59. Does 3 divide u?
True
Let c(p) = 3*p**2 + 11*p - 8. Let u be c(-8). Suppose 12*t - 8*t = u. Is 10 a factor of t?
False
Let v be (-4)/(-16) + 1486/8. Let j = -89 + v. Suppose 63 = 4*z - j. Is z a multiple of 20?
True
Let x = -10 + 9. Let q(c) = -131*c**3 + c**2 - 5*c - 5. Does 34 divide q(x)?
False
Suppose -3*y + 3*r = 12, -6*r + 4 = -y - 2*r. Let g be (68 + 0)*(-5)/y. Suppose -6 = 3*m - 5*x - g, 0 = -4*m + x + 77. Does 6 divide m?
True
Suppose 37 = 2*o + 481. Let m be (o/15)/((-1)/(-5)). Let b = -14 - m. Is b a multiple of 15?
True
Let g be (-78)/(-18) - (-4)/6. Is (-57)/(-1)*g/15 a multiple of 19?
True
Let j(t) = -16*t**2 - 5*t + 2. Let c(s) = -15*s**2 - 4*s + 2. Let z(b) = -3*c(b) + 2*j(b). Let a be z(2). Suppose 2*h - 4*h = -a. Does 8 divide h?
False
Let x(l) = -2*l - 7. Let c be x(4). Does 3 divide (189/c - -3)/(3/(-10))?
False
Let s be 1204/7 + ((-2)/1)/(-2). Let t = s + 22. Is 13 a factor of t?
True
Let a(u) = 14*u. Let b be a(1). Let w(r) = r**3 - 12*r**2 - 15*r - 17. Let p be w(b). Let q = 231 - p. Is q a multiple of 33?
True
Suppose -2*f = 3*i - 95, 3*f - 17 = -i + 6*f. Suppose i*w = 22*w + 343. Is 10 a factor of w?
False
Let b = 4 + -1. Let c be b/(((-9)/(-5))/3). Suppose c*a = -4*l + 35 + 63, -5*a - 2*l + 94 = 0. Does 10 divide a?
False
Let k = 311 - 187. Let t be (-2)/5 + k/10. Let m = -9 + t. Is 3 a factor of m?
True
Suppose 0 = 6*i - i - 3290. Is i a multiple of 14?
True
Let g(a) = a + 10. Let l be g(-6). Suppose 6*v - 3*j = v + 411, -3*v - l*j + 264 = 0. Is 21 a factor of v?
True
Suppose -2*v - 3*v + 35 = 5*p, 2*v - 2 = 0. Let g(s) = 2*s - 7. Let c be g(p). Suppose -3*r - 139 = -4*q - 7, c*r + 140 = 4*q. Does 14 divide q?
False
Let u(v) = -47*v - 8. Let n(p) = 2*p - 32. Let a be n(14). Does 15 divide u(a)?
True
Let j = 262 - 266. Let k(z) = -z + 8 + 2*z + 3. Is k(j) a multiple of 6?
False
Suppose 2*l = 8*l - 6234. Suppose 5*x = 161 + l. Is 12 a factor of x?
True
Suppose 0 = 5*n + 15, -n + 489 = 5*d + n. Let o be -4*(4 - (-255)/(-12)). Suppose o + d = 3*u. Is 13 a factor of u?
False
Suppose -3*a - 37 = 59. Let y(p) = 8*p**3 - p**2 - 2*p + 2. Let w be y(2). Let r = w + a. Is r a multiple of 13?
True
Let i(z) = -2*z**2 + 25*z - 24. Let r(t) = t + 1. Let v(j) = -i(j) - r(j). Is 28 a factor of v(17)?
False
Let y be 909/(-27) + (-1)/3. Let m = y + 159. Does 17 divide m?
False
Does 7 divide ((-10)/(-12)*-82)/(1/(-15))?
False
Suppose -28*i = -36*i + 1056. Does 4 divide i?
True
Let w(s) = -s**2 - 2*s**3 + 2*s**2 + s + s**3 + 0*s**2. Let u(i) = 5*i**3 - 12*i**2 - 9*i - 9. Let p(l) = u(l) + 6*w(l). Is 3 a factor of p(-6)?
True
Suppose 406 = y + 156. Suppose 5*v + 2*f = y, -134 - 16 = -3*v - 3*f. Is ((-12)/5)/((-4)/v) a multiple of 10?
True
Suppose 12852 = 7*v + 5*v. Is v a multiple of 21?
True
Does 22 divide (3462 - (-2 - -3)) + (-14 - -7)?
True
Let t(z) = z**3 - 5*z**2 + 8*z - 5. Let a be 3/(-1) - 32/(-4). Let v be t(a). Suppose -o - 5*m + 1 = -2*o, 5*o - v = 5*m. Does 3 divide o?
True
Let q(d) be the first derivative of -d**4/4 + 13*d**3/3 + 5*d**2/2 - 29*d + 7. Is q(13) a multiple of 20?
False
Suppose -12 = 4*f, 0 = 3*n + 4*f + 4 - 1. Let v be (1 - 48/n)*-1. Suppose -4*w + 71 = v. Is 5 a factor of w?
False
Let l be -6*(-4)/18 - 4/(-6). Let g(a) = -a**2 - 9*a + 4. Let p be g(-6). Suppose -3*w + l*z + 20 = 0, -3*z - p = -5*w + 13. Is 6 a factor of w?
False
Let g(w) = -9 - 5*w + 0*w + w - w. Does 5 divide g(-7)?
False
Let x(i) = 111*i + 2. Let k be x(1). Suppose k = w - 14. Is 17 a factor of w?
False
Let s be (8 + -12 - 66/3) + 0. Does 30 divide (-5704)/(-38) + s/247?
True
Suppose -4*i - 4*v = -700, 0 = -i + 2*v + 138 + 49. Is i a multiple of 17?
False
Suppose 2*y - 28 = 5*r, 3*r + r + 4 = -3*y. Suppose 0 + 8 = y*n. Suppose 3*l - n*l = 48. Is 16 a factor of l?
True
Let g = 910 + -769. Is 4 a factor of g?
False
Let p(y) = y**3 - 6*y**2 - 26*y - 12. Let a be p(12). Suppose 4*m = 5*x - 576, 5*x + m + 4*m - a = 0. Does 28 divide x?
True
Let w = -9 - -13. Let c be (1/w)/(8/32). Is 13 a factor of 1 + 1 + c - -10?
True
Let w(r) = -3*r**2 + 11*r + 302. Is w(0) a multiple of 91?
False
Let w(j) = 2*j - 17. Let a be w(7). Let k be 1 - (a - 2/(-2)). Suppose -k*q - 2*q = -25. Is q a multiple of 5?
True
Let i = 56 - -19. Let g = -29 + i. Is 6 a factor of g?
False
Let c = 2087 + -1032. Is c a multiple of 54?
False
Does 3 divide (-12)/26 + (-53823)/(-429)?
False
Suppose -3*w + 13 = -11. Let u(h) = -h**2 + 8*h + 5. Let q be u(w). Is 3 a factor of (q - 1)*(-105)/(-60)?
False
Suppose -5*s = -s - 8. Let u be -21*(5 + 2/s). Let w = u - -188. Is 20 a factor of w?
False
Suppose 0*u + 3*v + 15 = 3*u, -2*v - 13 = -3*u. Let h(s) = -u*s + 3*s + 6 + 8 + s. Is 9 a factor of h(13)?
True
Let u(b) = -b**3 - 7*b**2 + 7*b - 19. Let r be u(-8). Let d(z) = -13*z + 47. Is 19 a factor of d(r)?
True
Is 6 a factor of -29*(1 + -2)/(10/150)?
False
Let f be (-582)/21 + (38/14 - 3). Let p = f + 31. Is p a multiple of 3?
True
Let s = 313 + -262. Is s a multiple of 17?
True
Let c(f) = f**2 - 10*f + 11. Let x be c(9). Suppose 0*n - 3*n = -x*g + 39, 4*g - 4*n = 68. Does 3 divide g?
True
Suppose -4*x + 8 = -3*q, x + 2*x + q - 6 = 0. Suppose -4*d - 148 = -4*t + 108, 3*d + 128 = x*t. Is t a multiple of 8?
True
Let b = 5382 - 2022. Is 15 a factor of b?
True
Suppose -2204 = -5*l + 2*m, 5*l = -6*m + m + 2190. Suppose 6*k + l = -2*k. Let y = 175 + k. Does 33 divide y?
False
Let k(j) = -j**3 - 6*j**2 - 3*j + 7. Let t be k(-5). Let w(x) = 2*x**3 + 3*x**2 + x - 4. Let s be w(t). Is 15 a factor of (s/5)/((-1)/5)?
False
Suppose 0 = -2*t - 3*p + 465, 0 = -2*t - 6*p + p + 463. Let w be t/4*20/6. Does 3 divide 6/(-21) - w/(-21)?
True
Let w = 3507 - 2403. Is w a multiple of 12?
True
Suppose -2*s + 5*v = 2 + 2, -v + 5 = s. Suppose -4*h = -8*h + 20. Suppose -s*o - 500 = -5*i + o, 500 = h*i - o. Does 25 divide i?
True
Let g = -57 - -64. Is g a multiple of 7?
True
Let h(p) be the first derivative of -23*p**4 + p**3/3 - p**2/2 - 2*p - 32. Is h(-1) a multiple of 31?
False
Let b be (-8)/(-28) + 26/7. Let n be -7*-9*4/21. Let c = b + n. Is c a multiple of 4?
True
Suppose 0 = 2*i + 9 + 7. Let a be (-5 - -8)*(-8)/3. Does 3 divide (a - -1)*(i - -7)?
False
Let k(g) be the third derivative of 13*g**5/20 - g**4/8 - 2*g**3/3 - 25*g**2. Does 7 divide k(-1)?
False
Let a(o) = o**3 + 10*o**2 + 9*o - 6. Let k be a(-9). Let r be ((-101)/k)/(5/30). Suppose 3*v - r = 49. Does 15 divide v?
False
Let h = -115 + 101. Does 14 divide (h/4)/7*(-1 + -37)?
Fals