2 a factor of 22*(d/(-20) - b/8)?
True
Suppose 0 = -5*v - 27 - 33. Let i be v/(-7) - 2 - 8/(-28). Is 3*12/9 + i a multiple of 4?
True
Let x(l) = 41060*l + 428. Does 8 divide x(1)?
True
Suppose -9*q + 107 + 2557 = 0. Let u = q + -216. Does 5 divide u?
True
Let m(i) = -12799*i - 156. Is m(-1) a multiple of 9?
False
Let u(v) = 5*v - 21. Let p be u(5). Suppose 97 = p*j - 4*n + 33, -5*j = -n - 80. Let w = -9 + j. Does 7 divide w?
True
Let w(q) = 102*q**2 - q + 1. Let z be w(-1). Let u = 106 - z. Suppose u*d = -2*d + 36. Does 9 divide d?
True
Suppose i - 5*i = -5*i. Let w be (26/3 - i)/((-7)/147). Is (-5512)/w + -1*4/14 a multiple of 15?
True
Suppose 2*f - 2*i - 2000 = -i, -f + 5*i + 1000 = 0. Suppose 285 = -11*u + f. Does 11 divide u?
False
Let n = 3893 + 77. Does 102 divide n?
False
Suppose 47 = 4*g - z, 5*z + 48 = g + 2*g. Suppose -6*m + 3*c - 54 = -7*m, 3*m + 3*c - 174 = 0. Let o = m + g. Is o a multiple of 15?
False
Let d = 7208 + 1083. Is 60 a factor of d?
False
Suppose -3*i = -6*i - 129. Let o = i + 47. Suppose 0 = -2*w + o*b + 572, 5*w - 58 = -3*b + 1424. Does 45 divide w?
False
Let y(l) = -4641*l - 386. Is 56 a factor of y(-1)?
False
Let p(a) = -1700*a + 344. Is 8 a factor of p(-2)?
True
Let b(g) = 3*g**2 - 4. Let x be 5/(-10)*-2 - 3. Let l = -7 - x. Does 11 divide b(l)?
False
Suppose -24*s - 4*s = -86856. Does 22 divide s?
True
Let p(i) = -1935*i**3 + 91*i + 181. Is p(-2) a multiple of 23?
True
Let i be (1*-80)/(2/(-20)). Suppose -3*r - 5*r + i = 0. Does 10 divide r?
True
Let p be 6/8*(-3 + 251). Suppose j - p = 205. Is j a multiple of 23?
True
Suppose -36*l - 41*l + 78176 = -73*l. Is 28 a factor of l?
True
Suppose 4*o = 12, 4*z - 12*o - 46958 = -14*o. Is 16 a factor of z?
False
Let s(a) = -4*a**2 - 12*a + 446. Is s(-12) a multiple of 7?
True
Let h(c) = -30*c + 17. Let q be h(-12). Let t be (-8)/8 - (1 + 191). Let o = t + q. Is 46 a factor of o?
True
Let h = 12455 - 5794. Is 26 a factor of h?
False
Let p = -219 + 418. Suppose 4 = -13*t + 11*t, -1190 = -3*w + 4*t. Let n = w - p. Is n a multiple of 15?
True
Let f(s) = 3*s**2 - 32*s - 87. Let b(k) = 2*k**2 - 17*k - 43. Let h(m) = 10*b(m) - 6*f(m). Is 6 a factor of h(-9)?
False
Let b = 110 + -109. Is (126/14 + -7)/(b/77) a multiple of 20?
False
Let l(i) be the first derivative of i**2/2 + 17*i + 148. Let m(b) = b**2 + 4*b + 1. Let t be m(-5). Does 23 divide l(t)?
True
Let r(h) = 118*h + 108. Let g be r(-23). Let i = -1717 - g. Is 16 a factor of i?
False
Suppose -303*w = -834*w + 14012028. Is 34 a factor of w?
False
Let r be (-2 + 0)*(-5124)/56. Suppose 185*x = r*x + 1894. Does 14 divide x?
False
Suppose 0 = 90*d + 25*d + 91*d - 1394002. Is 32 a factor of d?
False
Let a be (-2)/(1 + -3)*6. Suppose 14*u = a*u + 3544. Let m = -261 + u. Is m a multiple of 14?
True
Suppose 0 = 10*o - 3545 - 1175. Is 10 a factor of o?
False
Is (-896)/(-3)*(((-525)/(-10) - 4) + -8) a multiple of 12?
True
Let a(b) = 56*b**2 - 63*b - 13. Is 13 a factor of a(13)?
True
Let p = 43 - 40. Suppose 5*d - o = -42, -4*o + 3*o = p. Let u = 12 - d. Is 4 a factor of u?
False
Suppose 4*i - 76 - 132 = 0. Let f = 279 - 193. Suppose -3*l - 4*d + 6 = -f, 2*d + i = 2*l. Is l a multiple of 7?
True
Let o be 5 + 201/1 + -6. Suppose -642*a - o = -647*a. Is a even?
True
Let k = -32 + 40. Suppose 3 = 3*i - 3*z - 0, 2*z + k = 5*i. Let n(u) = 4*u**3 - 3*u**2 + 5*u - 3. Does 7 divide n(i)?
False
Let c be (2/4)/(-9*(-12)/1728). Let h(j) be the third derivative of -j**6/120 + 3*j**5/20 - j**4/6 + 3*j**3 - 2*j**2. Is 32 a factor of h(c)?
False
Let f = 23989 + -16439. Is f a multiple of 84?
False
Suppose 3*h + 7891 - 61666 = -v, -35901 = -2*h + 5*v. Is 166 a factor of h?
True
Suppose 10*f - 4 = 9*f. Let i(y) = 3*y**3 - 7*y**2 - 7*y + 5. Let g be i(f). Let z = g + -28. Does 29 divide z?
True
Let x = -392 + 742. Let f = x - -27. Does 19 divide f?
False
Let q(j) = 120*j**2 + 75*j + 535. Does 5 divide q(13)?
True
Let h be 1010/(-3)*(-513)/95. Suppose -2*u = -1080 - h. Is u a multiple of 33?
False
Let n be 4 - 1 - (-2722)/6*3. Let w = -650 + n. Suppose -13*d + w = -6*d. Does 7 divide d?
False
Let p(o) = -2*o**3 - 10*o**2 + 6*o + 43. Let c be p(-6). Suppose 3*j = 35 + c. Is 5 a factor of j?
False
Suppose 85*i - 4568 = 81*i + 12728. Does 23 divide i?
True
Let n = -7944 - -11464. Is n a multiple of 16?
True
Suppose -160 = -4*g - 2*i - 2612, 4*g + 3*i = -2450. Let m be 4/8*(g + 2)/(-2). Suppose 5*y - 4*k - 272 = 0, -3*y = -0*y + k - m. Does 13 divide y?
True
Let z = -28109 + 29241. Is z even?
True
Suppose 2*r = -4 + 8. Let m be (5 - (r + 5))*10/(-4). Is 224/5 + 4/100*m a multiple of 8?
False
Let i = 39913 - 18598. Does 147 divide i?
True
Let m be 5602/18 + 42/(-189). Suppose 852 = 2*h + 4*o + 240, -o = h - m. Is h a multiple of 19?
False
Let u(v) = v - v**2 + 0*v + 9*v**2 + v**2 - 2. Let h be u(1). Let n = h - -4. Is n a multiple of 12?
True
Let h(k) = -k**2 + 20*k + 99. Let f be h(0). Let v = 526 - f. Does 61 divide v?
True
Let b(h) = -h**2 + 28*h - 121. Let i = 210 - 193. Is b(i) a multiple of 34?
False
Suppose -4*t - 4*v = 24, 2*t + 5*v + 14 + 7 = 0. Let k be -4 - -1*(t + 5). Is (1/3)/(k/(-126)) a multiple of 21?
True
Suppose -81*x + 21 = -88*x. Let j(b) = -3*b**3 + b**2 + b + 1. Does 9 divide j(x)?
False
Suppose 703 = -3*f + 2*f + 5*w, 2058 = -3*f - 2*w. Let h = 1205 + f. Does 37 divide h?
False
Let b be (-3 - 15/(-6))*10. Is b - (-2 + 2 - 251) a multiple of 31?
False
Let w(i) be the first derivative of i + 34. Let j(a) = a + 15. Let g(k) = j(k) + 5*w(k). Is 11 a factor of g(13)?
True
Suppose 0 = -2*w - w - 3, 656 = -2*v - 4*w. Let m = v + 368. Does 7 divide m?
True
Suppose -3*y - 9*m + 16373 = -14*m, 4*m = -4*y + 21788. Is 12 a factor of y?
False
Suppose 3*v - 3*m - 3 = 0, 5*m = -3*v + 3*m + 23. Suppose 2*s = -7*a + 5*a + 2762, -v*a = -s - 6899. Does 30 divide a?
True
Let h(a) = a**2 + 29*a - 174. Let r be h(-47). Suppose 0 = v - 2*n - 677, v - 8*n + 7*n - r = 0. Is v a multiple of 6?
False
Does 35 divide (-79632)/(-49) + -14 + 16/(-14)?
True
Let o = 4597 - 3653. Does 118 divide o?
True
Let a(c) = -7 + 5 - c**3 + 661*c**2 - 646*c**2 - 3*c + 4*c. Let w(d) = d**3 + 7*d**2 - 9*d + 7. Let f be w(-8). Is a(f) a multiple of 4?
False
Suppose -k - 64 = q + k, -k - 212 = 3*q. Let s = q - -74. Suppose s*c - 5*w = 293, c + 3*c - 577 = w. Does 13 divide c?
False
Let f = 685 - 685. Suppose f = 3*p - 3*q - 1632, 2*p + 0*p - 1082 = -q. Does 15 divide p?
False
Let z be 33/(-22) - 2/(-4) - 4. Let l be (z/(-4))/(2/(-8)). Does 17 divide (-1 - 9)/l + 66?
True
Let a(m) = -m**3 + 20*m**2 + m - 7. Let s = -225 - -245. Is 4 a factor of a(s)?
False
Let j be ((-6)/(-1))/((-952)/(-236) - 4). Let s = j + -67. Let g = -92 + s. Is g a multiple of 9?
True
Let x be 1/(-4) + (-51)/(-12). Suppose -5 = -x*h + 443. Suppose 0*c + 2*c + 4 = 0, -4*c = 4*a - h. Is 6 a factor of a?
True
Let a(x) = 35*x + 56. Let v be 5*(0/(-8) - -1). Is 2 a factor of a(v)?
False
Let z(x) = x**3 + 2*x**2 - 2*x + 1. Let q(l) = l**3 + 18*l**2 + 16*l - 20. Let o be q(-17). Let y be z(o). Does 9 divide (-1209)/(-27) + y/(-9)?
True
Let x(a) = 3*a**2 + 40*a + 129. Is x(-16) a multiple of 8?
False
Suppose -32*d + 31*d = 2*p - 4176, -2*d = -4*p + 8376. Is 133 a factor of p?
False
Let m(n) = 2*n**2 - 4*n + 5. Let y be m(2). Suppose 5*u - 80 = -y*o, -3*o + 0*u + 5*u = -88. Suppose -1 = -a, 2*a + o = 2*g - 3. Does 13 divide g?
True
Let x = -7156 + 13876. Is x a multiple of 6?
True
Suppose -3*c = 0, 12*h + 2*c = 9*h + 21125 + 5905. Does 34 divide h?
True
Suppose 5*h = -2*u - 2*u + 3063, u + 5*h - 747 = 0. Suppose y - 383 = -4*p + 2*p, 4*y = 4*p - u. Is p a multiple of 8?
True
Suppose -24*w + 23845 + 923 = 0. Let s = w + -456. Is s a multiple of 24?
True
Let o(b) = -60484*b + 2*b**2 - 93 + 13 + 60473*b. Does 4 divide o(-5)?
False
Let s = -16 - -14. Is (3*(-1 + 2) + -407)*s a multiple of 61?
False
Let q(d) = 11*d**2 - 24*d + 26. Is q(8) a multiple of 34?
False
Let l(p) = 2*p - 161. Let o(m) = m**2 - 7*m + 10. Let q be o(5). Let j be l(q). Let b = 348 + j. Does 17 divide b?
True
Let c be 24/40 - (-12)/5. Suppose 3*j + c*j + 6 = 0. Does 7 divide ((-273)/(-26))/(j/(-2))?
True
Does 114 divide ((9264/28)/1)/((-38)/(-2527))?
True
Suppose -2*i + 4*b + 157 + 28639 = 0, i - 3*b = 14407. Does 5 divide i?
True
Let z(c) = -c**3 - c