e
Let o = -209 - -253. Is o a multiple of 2?
True
Suppose 400 = 5*x + 5*s, -5*x = s - 445 + 49. Suppose b - 5*n = x, b + 4*n - 95 = n. Does 36 divide b?
False
Let g = 186 + -82. Suppose g = 6*o - 178. Is o a multiple of 17?
False
Suppose 0 = -4*n + 2*y + 2, -4*y + 3 = 5*n + 7. Suppose n = -t - t + 54. Is 27 a factor of t?
True
Suppose 73*o - 120000 = 53*o. Is 20 a factor of o?
True
Let v = 2 - 0. Let w be (1 + (-8)/4)/(13/(-637)). Suppose 3 - w = -v*q. Is 11 a factor of q?
False
Let r be (-120)/(-28) + 8/(-28). Suppose r*n = n + 273. Does 7 divide n?
True
Let y(q) = 2*q**2 - 1 + 6 - 9*q - 1 + 8*q. Let x be y(-5). Does 17 divide (-10 - -8)*x/(-2)?
False
Let h(y) = -y**2 - 11 + 12 + 15 + 2*y**2 - 5*y. Let i be h(-13). Is i/14 - (-5)/35 a multiple of 6?
True
Let m = 57 + -57. Suppose 2*v - 176 = 4*g, 68 = -m*v + v + 3*g. Is 16 a factor of v?
True
Suppose 0 = 2*j - 3*o - 1979, 17*o - 21*o = 20. Does 34 divide j?
False
Suppose -209 = -3*i + 1264. Does 76 divide i?
False
Let m(x) = -31*x + 369. Is 46 a factor of m(3)?
True
Let a = 24 - 20. Let u(g) = 4*g - 1. Let n be u(1). Suppose -47 = -a*t + w, -4*w - 54 = -n*t - 7*w. Does 4 divide t?
False
Suppose l + 3 = 0, l - 3 = 3*o + 4*l. Suppose -7*a - 10 + 38 = 0. Suppose o*q - 25 = -2*t - 3*q, a*t + 3*q - 57 = 0. Is 3 a factor of t?
True
Let t(s) = 2*s**3 + 20*s**2 + 9*s + 15. Does 6 divide t(-9)?
True
Suppose 2*h - 8*h = 0. Suppose 5*g = -h*g - y + 269, -208 = -4*g + y. Suppose 3*q + 2*q - 15 = 0, 0 = -5*j + 4*q + g. Is j even?
False
Suppose v + 5*t - 254 = 0, -543 + 1305 = 3*v - t. Does 24 divide v?
False
Let o(s) = -2*s**2 - s + 1. Let b be o(0). Does 11 divide (-1 - b) + (-51)/(-1) + 3?
False
Let u(r) = 28*r - 1. Let p = 4 + 0. Let f be u(p). Suppose f = 4*m + 31. Is 10 a factor of m?
True
Does 18 divide (-3778)/(-7) - (-4)/14?
True
Suppose 4*x = -3*h + 61 + 71, 0 = 4*x - 3*h - 156. Suppose v + p - 17 = 4*p, 0 = -4*v - 4*p + x. Is v even?
False
Suppose -o - 4 = -2*o. Suppose 8*d = o*d + 240. Is 4 a factor of d?
True
Suppose 3 + 93 = -3*b. Let t = -16 - b. Is t a multiple of 8?
True
Is 15 a factor of ((-1108)/(-14) - 2)/((-10)/(-70))?
True
Does 71 divide (-2 + 3 + -2)/(3/(-4755))?
False
Let q = 1 + 3. Suppose -q*u - 20 = -3*r + 108, 124 = 4*r + 4*u. Suppose -z + 4*z = r. Does 4 divide z?
True
Let i be (14/4)/(7/14). Suppose 10*c = 8*c - 18. Is 4 a factor of (c/(-5))/(i/35)?
False
Suppose -37*q - 4005 = -46*q. Does 26 divide q?
False
Let u be (3 - 0)/(1/(-9)). Let l = -23 - u. Suppose 3*z = -3*f + 33, -l*f + z = -4*z - 53. Does 4 divide f?
True
Let r(c) = c**2 - 4*c - 8. Let d be r(-2). Suppose 0 = -3*y - 0*y + 12, 0 = d*h - 2*y - 736. Is 31 a factor of h?
True
Let u be 4 + -1 + 126*1. Let t = u + -91. Let d = t - 12. Is d a multiple of 13?
True
Is (-4954)/(-6) + (-18)/(-54) a multiple of 7?
True
Let d(c) be the second derivative of 7/6*c**3 + 0 + 3/2*c**2 - 3/20*c**5 - 8*c + 0*c**4. Does 9 divide d(-3)?
True
Is (((-6228)/15)/1)/(8/(-20)) a multiple of 24?
False
Let k = -262 - -494. Does 8 divide k?
True
Let c(h) = 2*h**2 - 6*h - 10. Let v = -11 + 11. Suppose 2*r + 6 = v, -2*r - 3*r - 22 = -z. Is c(z) a multiple of 13?
False
Let w(z) be the second derivative of 3*z**3/2 - z**2/2 + 7*z. Let r be w(4). Suppose 3*p - 82 = -4*k - 17, -3*p = -k + r. Does 7 divide k?
False
Suppose 12*a - 953 = 2683. Let n = -8 - -12. Suppose n*z = z + a. Is 34 a factor of z?
False
Suppose -4*s - m + 1778 = 0, -2*s - m = s - 1333. Is s a multiple of 21?
False
Is (87/(-2))/(5/(-4 - 26)) a multiple of 10?
False
Is 21 a factor of -3*(-4)/(-3) - 380/(-2)?
False
Let p be -4 + 2 + 268/2. Suppose -2*u = u + 4*o - 610, 0 = -u + o + 194. Suppose 0 = -5*d + p + u. Is d a multiple of 22?
True
Is 12 a factor of 3/(-2)*(-389 + -3 + -2)?
False
Let l(f) = f - 4. Let z(n) = 3*n - 9. Let o(t) = 5*l(t) - 2*z(t). Let s be o(-2). Suppose s = -3*c + 79 + 65. Is c a multiple of 24?
True
Suppose -5*n = -z + 3*z - 809, 4*n + 1202 = 3*z. Is 36 a factor of z?
False
Let m be (-173)/10*-2 + 48/120. Is 22 a factor of (1 + 0)*154*30/m?
True
Suppose -2*i - 3*i + 2*t - 15 = 0, 0 = 2*i + 5*t + 6. Does 3 divide (-11)/(-1) + 9 + -10 + i?
False
Suppose -15 + 45 = -3*f. Let n = 82 + f. Is 24 a factor of n?
True
Let p = 7 - 4. Suppose 2 = -2*d - 3*r - 2, -4*d + r = -20. Suppose 2*z - 22 = -n + p*z, z - 108 = -d*n. Does 26 divide n?
True
Suppose -2*f - 4*g = -332, 5*f - 854 = 3*g - g. Let n = f + -78. Is 23 a factor of n?
True
Let r = 14 + -53. Let g = -34 - r. Is 5 a factor of g?
True
Suppose -s = -11 + 6. Suppose 5*l - 2*l - s*u - 173 = 0, 0 = -2*l - u + 137. Is 11 a factor of l?
True
Suppose -f + 2 - 3 = 0. Let h(b) = -59*b**3 + 20*b**3 + 2*b - 13*b**3 + 1 - 14*b**3. Does 13 divide h(f)?
True
Let v = -7 + 7. Suppose -5*b + b + 8 = v. Is b + (-108)/(-1*4) a multiple of 10?
False
Suppose 2*c = 4*l + c - 16, c = -5*l + 29. Suppose l*h - 1220 = 10*h. Does 23 divide h/(-10)*(-55)/(-22)?
False
Suppose g - 5*m - 1770 = 0, -64*m + 68*m - 7128 = -4*g. Does 20 divide g?
True
Suppose b + 1 = 0, -2 = 2*u - 3*b - 9. Is 28/70*490/u a multiple of 14?
True
Suppose 5*i + 59 = -6. Suppose y - 3*b = -38, 0*y = 3*y - b + 122. Let q = i - y. Is q a multiple of 28?
True
Suppose 2*x - 690 = -4*g + 380, 2*x + 1058 = 4*g. Is g a multiple of 14?
True
Let o be 3/9*(-3)/1. Let u be o/(-2)*(60 + -4). Suppose 2*x + 0*x = u. Is 14 a factor of x?
True
Let b(f) be the second derivative of -3*f**2 + 6*f + 0 + 1/12*f**4 + 0*f**3. Does 14 divide b(-7)?
False
Let h(d) = -13*d**3 - 1 - 10*d**3 - d - d**2 - 20*d**3. Let b be (-4)/(-10) + 14/(-10). Does 21 divide h(b)?
True
Suppose -8*h + 3*h = -25. Suppose h*q = 2*c - 330, 0*c + 3*q = 5*c - 844. Suppose -5*i - f + c = -0*f, 0 = i + 2*f - 43. Does 11 divide i?
True
Let p be (-6)/(-2) + 216/18. Let f(r) = -3 + 5 - 1 + p*r - 5*r. Is f(1) a multiple of 11?
True
Let a(j) = -j**2 + 9*j - 10. Let b be a(8). Let h be (1 - -1)*(-103)/b. Suppose 4*x = 3*q + 13 + h, 3*q = 3*x - 90. Does 11 divide x?
False
Let i(g) = 16*g**2 - 1. Let u(b) = -16*b**2 - b + 1. Let t(o) = 3*i(o) + 2*u(o). Let w be t(-1). Suppose -1 = h - w. Is h a multiple of 3?
False
Suppose 3*c = 5*m - 225, 3*m - 72 = 3*c + 69. Let o be 28/21*m/4. Suppose -2 - o = -2*l. Does 4 divide l?
True
Suppose 4*j = -3*j + 252. Is 6 a factor of 4/(32/j)*8?
True
Let f = 19 + -44. Does 3 divide (-228)/(-15) + 5/f?
True
Let o(i) be the third derivative of i**5/6 + i**4/8 - 7*i**3/3 + 5*i**2. Is o(3) a multiple of 14?
False
Let u(k) = -2*k**2 - k. Let y be u(1). Let x = -9 + y. Does 11 divide x/(-8)*96/9?
False
Let d(p) = 4*p**2 + 3*p + 1. Let j be d(2). Suppose -y = 2*s - j, 2*y + 3*s = 52 - 9. Does 4 divide y?
False
Let z(w) = -5*w - 1. Let q be z(-1). Suppose -x + q*x = 9. Is 11 a factor of 11*3/x*5?
True
Let q(i) = 248*i**2 + i - 21. Is q(-5) a multiple of 48?
False
Suppose -9*y = -2*y - 2100. Is y a multiple of 30?
True
Let g(z) = 126*z**2 + 3*z - 3. Let p(n) = -n**3 + 10*n**2 + 12*n - 10. Let o be p(11). Is 9 a factor of g(o)?
True
Suppose 4*y + 48 = 4*q - 128, -5*q + 229 = -2*y. Does 7 divide q?
False
Is 22 a factor of 65440/35 - -1*(-12)/(-42)?
True
Suppose -100 = -r + 5*k, 4*r - 442 = -0*r - k. Suppose 5*t = 5*j + 370, 5*j + 38 + r = 2*t. Suppose t = -9*p + 11*p. Is 8 a factor of p?
False
Let v(x) = -13 + 0*x - 22 + 3*x - 16. Is v(21) a multiple of 2?
True
Suppose 2*o = -o + 18. Let r be 0 - -2 - (o + -7). Suppose 37 = 2*g - r*z, z + 44 = 4*g + 5*z. Is g a multiple of 6?
False
Let x(n) = 2*n + 6. Let i be x(2). Suppose j - i = 22. Does 8 divide j?
True
Suppose -5*h + 2364 = -4*c, 3*h + 10*c - 1456 = 3*c. Does 4 divide h?
True
Let m(j) = 2*j + 34. Let h be m(-15). Suppose 0*q = -q + h. Suppose q*a + 176 = 4*u, 2*u - 3*a = 35 + 53. Is 11 a factor of u?
True
Let j(l) = -57*l + 1. Let o be j(1). Let t = o - -96. Is 10 a factor of t?
True
Let a be 1/(-2)*868/(-7). Let p be ((-6)/4)/(12/(-56)). Does 3 divide a/p + 14/98?
True
Let k = 115 - 75. Is k a multiple of 8?
True
Let z(i) be the second derivative of -i**5/30 - 3*i**4/8 - i**3/3 + 5*i. Let p(n) be the second derivative of z(n). Is 23 a factor of p(-8)?
True
Let q be 4/(-1) + 7 + 39. Let t = -11 + q. Does 9 divide t + 1 - (3 - 7)?
True
Suppose -k + 4*v = -3, 0*v + v + 15 = 5*k. Let i = 43 + k. Is i a multiple of 6?
False
Let c(o) = o**2 + 31*o + 1