a?
True
Let x be 4/20*5 - 1. Suppose x = -16*y - 12 + 1452. Does 5 divide y?
True
Let a(q) = 16*q**3 - 9*q**2 - 9*q + 61. Is 73 a factor of a(6)?
True
Suppose -45*k + 96134 = 9644. Is k a multiple of 56?
False
Suppose 30*p - 105414 - 12075 = 379761. Does 67 divide p?
False
Let a(y) = 6*y - 38. Let r be a(7). Suppose 5*j - 1108 = -r*n, -3*n + 1111 = -j + 6*j. Is j a multiple of 14?
True
Let a(n) = -2*n**2 + 2*n + 7. Let z be a(0). Let x(u) = -7*u - 24 + 2*u + z. Does 18 divide x(-7)?
True
Let l be (-795)/(-1) + 2/2. Let q(h) = 6*h**2 + 49*h + 11. Let y be q(-8). Suppose -34 = y*o - l. Is 12 a factor of o?
False
Let k = -245 - -247. Suppose k*w = -58 + 214. Is 7 a factor of w?
False
Let n(a) = -3*a**3 - 104*a**2 + 132*a + 129. Is 49 a factor of n(-39)?
False
Suppose m + 197 = 676. Let f = m + -412. Is f a multiple of 4?
False
Suppose 1184 = 8*h + 3*m - 221, -4*m = 4. Does 4 divide h?
True
Suppose 3*c + 98638 = 4*g, -1245*c + 1250*c - 73935 = -3*g. Is 29 a factor of g?
False
Let r be -1 + (482/11 - (-4)/22). Suppose 3*x - r = -5*t, t + 25 = -2*x + 3*x. Suppose -x - 3 = -k. Does 8 divide k?
True
Let p = 250 - -4037. Is 21 a factor of p?
False
Let z be (-3)/(-2)*(-7 - -9). Suppose 5*t - t - 407 = 5*x, 2*t - z*x = 203. Suppose -39 = 3*b + 2*h - t, 5*b = -3*h + 107. Does 11 divide b?
True
Let w(g) = 32 + 45 + 36 + 30 - 82*g + 9. Does 74 divide w(-12)?
False
Let o be (3 - 7/3)*6. Suppose 96 = -o*z + z. Let u = -14 - z. Does 9 divide u?
True
Suppose -8 = -3*t + r - 3, 4*t + 5*r - 32 = 0. Let y be -2*t*(-3)/12*34. Suppose -3*k + 222 + y = 0. Is k a multiple of 32?
False
Suppose -112*x + 83802 + 443046 = 0. Does 14 divide x?
True
Suppose 5*a - 363 + 348 = 0. Suppose a*f - g = 276, 5*f - 4*f - 88 = -g. Is 13 a factor of f?
True
Suppose -5*q + 1393 = -q - y, 4*y + 1061 = 3*q. Suppose 5*z + 4*x = 2*x + q, -75 = -z + x. Does 3 divide z?
False
Let i(p) = -8*p**3 - 113*p**2 - 7*p + 27. Let f(x) = -10*x**3 - 112*x**2 - 8*x + 28. Let y(c) = -6*f(c) + 7*i(c). Is 9 a factor of y(30)?
True
Let r be (10/8)/(1/4). Suppose -l - 4 = r*b - 14, -4*b - 3*l = 3. Suppose -82 - 8 = -b*p. Is p a multiple of 15?
True
Suppose -11819 - 25394 = -5*k - 7*a, 37181 = 5*k - a. Is k a multiple of 67?
True
Let o(h) = 246*h**2 - 3*h - 12. Let p be o(-2). Let z = 1554 - p. Is z a multiple of 46?
False
Let w(v) be the second derivative of v**4/12 - 2*v**3 - 15*v**2/2 + 18*v. Let r be w(13). Is 6 a factor of r/(-6)*(-2 + 343 + 4)?
False
Let d(v) = -60*v + 2000. Is 15 a factor of d(23)?
False
Is 119 a factor of 7134 + 4 + 0 + 2?
True
Suppose 0 = -19*m + 75485 + 223955. Is 13 a factor of m?
False
Let z = 406 - -119. Let p = -888 - -543. Let q = p + z. Is q a multiple of 10?
True
Suppose 0 = w + t - 10, -8*w = -4*w + t - 25. Suppose -4*c - 2966 = -5*b, -8*b = -w*b + 4*c - 1786. Is b a multiple of 33?
True
Let o(k) be the third derivative of k**4/24 + 13*k**3/3 + 12*k**2. Let i be o(-24). Is 13 a factor of (52/8)/(i/52)?
True
Let u(r) = 50*r**2 + 3*r + 6. Let y = 73 - 69. Let s be u(y). Suppose -14*k - s = -2890. Does 25 divide k?
False
Suppose -3*v + 3*b = -138, -v = -3*v - 2*b + 76. Let w = 1447 - 1466. Let n = w + v. Is 3 a factor of n?
False
Let a = 1043 + -598. Suppose 5*k = 3*d + a, -3*k = -5*d - 227 - 40. Let m = -13 + k. Is 19 a factor of m?
True
Suppose 3*g = f + 1393, -149 = -g + 5*f + 306. Suppose 4*m + 4*r - 1632 = 0, 348 = 2*m + r - g. Does 27 divide m?
True
Let d(h) = -60*h - 8 - 35 + 9. Let f be (58 - 56)*2*1 - 9. Is d(f) a multiple of 33?
False
Let q = 327 + -322. Suppose 45*j + q*r - 422 = 43*j, 0 = 5*r + 10. Is j a multiple of 12?
True
Suppose 0 = 3*w - 4*u + 30, 3*w - w - u = -15. Is 59 + (w/3 - -8) a multiple of 13?
True
Suppose 334*n - 1275551 + 675710 - 967287 = 0. Is 17 a factor of n?
True
Suppose 83*f = -107*f + 657020. Does 91 divide f?
True
Suppose 15 + 5 = 3*f + 4*o, -4*o + 12 = f. Let a be -4*(-3)/f + -1 + -1. Is 13*a*(16 - 9) a multiple of 11?
False
Suppose -29098 - 732 = -19*x. Is 14 a factor of x?
False
Suppose 4*j - 22552 = -4*v, 2*j = -0*v + v + 11258. Is 11 a factor of j?
True
Suppose -2579 - 6603 = -4*n + 2*n. Is 62 a factor of n?
False
Suppose -4*c + 3*t = 21 - 2, -3*c + t = 13. Let j be 721/(-7) - c/(-2). Let x = j + 210. Is x a multiple of 10?
False
Let c be (-2 + 4)/6*6. Let y be (-8)/c - (-108 - 1). Suppose 3*t = 6*t - y. Is 4 a factor of t?
False
Suppose 198632 = 134*t - 106*t. Is 26 a factor of t?
False
Suppose 0 = -16*f + 10*f - 6. Is -1*(7 + f - 26) a multiple of 10?
True
Suppose 0 = n - 2*l - 2, 2*l = -n - l - 8. Let k be 0 + (6 - 4) + n + 6. Suppose 3*h = k*h - 132. Is h a multiple of 11?
True
Suppose -4*q = 5 - 13. Suppose 3*m = 7*i - q*i + 36, 4*i - 2*m = -28. Let y(s) = 4*s**2 + 9*s + 8. Is 7 a factor of y(i)?
True
Let h = 67 + -46. Let z be (-18)/(-12)*6 + 3. Let p = h - z. Is p a multiple of 2?
False
Suppose 58188*s + 16832 = 58192*s. Is s a multiple of 13?
False
Let f(x) = x**3 + 14*x**2 + 21*x - 28. Let q be f(-12). Suppose -q*u + 2072 = -4584. Is 26 a factor of u?
True
Let p(q) = 25*q**2 + 45*q - 1098. Is 18 a factor of p(24)?
True
Suppose d = 3*n - n + 25, 4*n + 25 = -3*d. Let x(m) = 4*m**2 - 3*m**2 + 0*m**2 - 10. Is x(n) a multiple of 18?
True
Let g = -1850 + 9019. Does 107 divide g?
True
Let n(v) = 6*v**2 + 6*v + 4. Let s be n(-1). Suppose -s*y = -4*q + 3028, 2*q - 691 - 826 = 5*y. Is 37 a factor of q?
False
Let w = 22644 + -8492. Is 22 a factor of w?
False
Let c(f) = 3*f**2 + 184*f + 1445. Does 15 divide c(-117)?
False
Let z(t) = -t**2 - 35*t + 72. Let y be z(-30). Suppose -4*o + 4*r = -228, 2*o + 2*r + 116 = y. Is 11 a factor of o?
True
Let i(r) = 7*r - 56. Let j be i(8). Let u(s) = s**3 + 5*s + 416. Does 16 divide u(j)?
True
Let x = -3 - -2. Let p be (x + -10 - 1)*20/12. Is p/6*(-372)/8 a multiple of 22?
False
Suppose -58*t + 211981 = -1189067. Is 44 a factor of t?
True
Suppose -35*n + 216210 + 20037 = -2*n. Is n a multiple of 65?
False
Suppose 0 = 60*l - 57*l + 4*m - 98106, -3*l + 98097 = m. Does 17 divide l?
False
Is 122 a factor of ((-24)/(18 - 12))/(2/(-366))?
True
Let n = -2573 + 3746. Does 23 divide n?
True
Suppose 2*o + 14 = -2*l, -24 = -0*o + 2*o - 3*l. Let c be ((-21)/o)/((-1)/(-18)*-2). Let t = -11 - c. Is t even?
True
Let h(v) = 320*v - 715. Let s(p) = -80*p + 179. Let y(m) = -2*h(m) - 9*s(m). Does 36 divide y(9)?
False
Suppose -v + 4*x + 8 = -10, 0 = -2*x - 8. Suppose 3*j = d + 996, v*j + 339 = 3*j + 2*d. Does 11 divide j?
False
Let s be (-46)/(-115) - 3*(-32)/10. Let w be (s + 2)*11/(-2). Let r = w + 122. Is r a multiple of 28?
True
Suppose -4*n = -12, -r + 5*n - 1 = 14. Suppose -m + 2*a - 7*a + 13 = r, 5 = m + a. Suppose -336 = -3*f + m*u, -3*u + 166 + 170 = 3*f. Is f a multiple of 14?
True
Let v(m) = 646*m - 2054. Is v(17) a multiple of 32?
True
Let g = -470 - -265. Let d = g - -330. Is d a multiple of 11?
False
Let g(s) = -76 - 69 + 128 + 135*s. Is 11 a factor of g(2)?
True
Suppose 54510 = 421*c - 375*c. Is 37 a factor of c?
False
Let b = 8819 - 4869. Is 158 a factor of b?
True
Let l(w) = -5*w + 148. Let y be l(0). Let f = -100 + y. Does 25 divide f?
False
Let m(x) = -7*x - 13. Let y be m(13). Let r = y + 240. Let q = r - 69. Is q a multiple of 26?
False
Suppose 2*b + 1207 = 97*y - 96*y, -2*b = 4*y - 4868. Is y a multiple of 81?
True
Let i = 25 + -27. Let o be (6/4)/(i*(-3)/216). Suppose -o = -4*b + 90. Is b a multiple of 5?
False
Let r be ((-3)/(-18)*3)/(3/318). Let u = -51 + r. Suppose u*m - 105 = a + 92, 209 = 2*m + 3*a. Does 29 divide m?
False
Let r(i) = 1483*i - 201. Is r(12) a multiple of 23?
True
Suppose -181116 = -167*k + 38*k. Does 117 divide k?
True
Suppose -2*u + 1918 = 4*l, -23*l + 22*l + 479 = u. Is 15 a factor of l?
True
Let z be -410*(-4)/(2 + 0). Let q = -344 + z. Is q a multiple of 17?
True
Let b(q) = 2*q**3 - 65*q**2 - 402*q - 198. Is 11 a factor of b(40)?
True
Let j be 42815/(-55) - 60/110. Let w = 153 - j. Is w a multiple of 12?
False
Suppose -4*l + 14*m = 11*m - 485, -4*m = -4*l + 484. Let b = l - 57. Does 5 divide b?
True
Suppose -4*g + 2*g - 25 = -3*t, -2*t = -5*g - 57. Is 8 a factor of 11 + 2 + g/((-11)/(-5))?
True
Let u(f) = 5*f + 2526. Does 34 divide u(-44)?
False
Let z be (-8)/(-18) + 34230/135. Let p = z + 299. Does 74 divide p?
False
Let f = -542 + 5078. Is f a multiple of 28?
True
Sup