3794 + (-4)/(-14)?
True
Suppose d + 60 = -0*d. Suppose -110 = -f + 81. Let r = d + f. Is r a multiple of 25?
False
Suppose -20*b + 188109 = 76429. Is b a multiple of 16?
True
Let h = -6564 - -12499. Is 67 a factor of h?
False
Suppose t = -5*a + 64, 4*a + t = 4*t + 55. Suppose 4*y - 30 - 6 = 0. Let k = y + a. Does 11 divide k?
True
Suppose -2*u - u = 2*u. Suppose u = 3*s + 3, -s = -3*z + s + 11. Suppose -z*l + 61 + 137 = 0. Does 6 divide l?
True
Suppose j + 0 = 3, -7 = -o + 3*j. Let n(p) = -p**3 + 16*p**2 - 5*p + 6. Let z be n(o). Let a = 2 - z. Is 27 a factor of a?
False
Let h(x) = -2*x**3 - 48*x**2 - 38*x + 104. Does 24 divide h(-25)?
True
Let c(q) = 277*q**2 + 79*q + 257. Is 22 a factor of c(-3)?
False
Does 22 divide 14 - 7/(105/(-155220))?
True
Is -2 + (4106/(-1)*1)/(-5 + 3) a multiple of 7?
True
Suppose 11*w = -0*w - 5*w. Let u be (w - -2)*(-30)/(-4). Suppose -u*k + 1320 = -5*k. Is 15 a factor of k?
False
Let j = -36649 + 49222. Does 11 divide j?
True
Suppose 2*o = -3*q + 36744, 8*o - 55101 = 5*o + 3*q. Is o a multiple of 60?
False
Suppose 4*c - 12 = -x, -3*c - 4 + 19 = 0. Let i be 2/6*(-684)/x*2. Let t = i - 41. Is 4 a factor of t?
True
Let d = 2209 - 1169. Let g = -733 + d. Is 24 a factor of g?
False
Let c(m) = 14*m + 118. Let f be c(15). Let g = f - 265. Is 5 a factor of g?
False
Suppose 4*x = -5*h + 24, -16*x + 15*x + 27 = -4*h. Suppose x*l - 5346 = -16*l. Is 12 a factor of l?
False
Suppose -35169 = -t - 3*l, t - 9*l + 4*l - 35225 = 0. Does 45 divide t?
True
Suppose -2*d - 2 = -4*d - 2*p, 4*d - 4*p = 20. Let t be (12 - 6)/(d/2). Suppose -4*i + 3*r + 66 = 0, t*i = 2*i + 3*r + 36. Is 15 a factor of i?
True
Suppose 0 = 10*r - 2719 - 7121. Suppose -10*z = -14*z - 2*q + r, -z + 255 = -4*q. Does 11 divide z?
False
Is (-214)/963 + ((-47852)/18)/(-2) - 2 a multiple of 15?
False
Let g = -48 + 208. Let q = g + -128. Is q a multiple of 4?
True
Suppose 337 = 5*m - 3*m + f, -4*m = -5*f - 639. Suppose 359 = 5*g - m. Is g a multiple of 7?
True
Let l be 0/(2 - (-2 + 3)). Suppose -6 = -2*n, -x + l*n - 5*n + 210 = 0. Does 23 divide x?
False
Let n = 12 - 10. Let q = -2587 - -1726. Is q/(-6) - (6/4 - n) a multiple of 36?
True
Suppose -6*v + 29 + 1 = 0. Suppose -2*d + v*n = -895, 0*n - 1803 = -4*d - 3*n. Is d a multiple of 18?
True
Suppose 2*v + 638 - 1554 = 0. Suppose 2*q = -4*m + v, q - 165 = 5*m + 43. Is q a multiple of 21?
False
Let l = 135 - 131. Let v = l + 45. Is v a multiple of 22?
False
Let t = -5674 - -12014. Does 9 divide t?
False
Let g be -3*(9/(-6))/(-3)*2. Let t(r) = r + 5. Let u be t(g). Suppose -8*f = u*f - 310. Does 11 divide f?
False
Suppose -8*t = -236638 + 53150. Is 102 a factor of t?
False
Let q(f) = -f**2 + 23*f - 132. Let w be q(14). Is -6 - (w + -1390) - 4 a multiple of 66?
True
Suppose -85527 - 199998 = -25*y. Does 47 divide y?
True
Let f = 93 - 85. Suppose -f*h - 50 = -3*h. Is 12 a factor of ((-3)/(-6) + (-2015)/h)/2?
False
Let l(o) = o**3 - 4*o**2 + 28*o + 8. Let i be l(5). Suppose 2*v - i = -5*c + 1583, -3*c + v + 1058 = 0. Is c a multiple of 12?
False
Let w(y) = 3 - 6*y + 2 + 2 - 2*y. Let v = -57 + 52. Is 21 a factor of w(v)?
False
Suppose 129*n - 5594 = -2*a + 128*n, -a = -2*n - 2812. Is a a multiple of 28?
True
Suppose -5*k - 9 = -4. Is 16 a factor of (262 + (-4 - k))/(1/2)?
False
Let j(g) = 527*g - 1. Let z be j(-2). Let p = z - -1913. Is 78 a factor of p?
True
Let g be 4808 + ((-80)/25 - (-8)/(-10)). Suppose -16*b + g = 100. Is b a multiple of 49?
True
Let c(v) = -2*v**2 + 15*v - 4. Let j be c(7). Suppose -5*m - 2*y - 184 = 0, j = 4*y + 11. Let z = 107 - m. Is z a multiple of 13?
True
Is 7 a factor of ((-470 - 9) + (1 - 5)*1)/(-1)?
True
Let t(r) be the first derivative of 2*r**3/3 + 3*r**2 - 16*r + 4. Let g be t(-7). Let l = 52 - g. Is l a multiple of 3?
True
Suppose 41*u - 30*u + 3135 = 0. Does 2 divide ((-8)/(-4))/(2 - (-564)/u)?
False
Is (-40442)/(-10) + ((-792)/(-90) - 8) a multiple of 17?
False
Suppose 17*n = 12*n - 5*v + 58225, -n + 11639 = 3*v. Is 8 a factor of n?
True
Let x(i) = 2*i**3 - 2*i**2 - i + 3. Let d be -7 + 7 - 1*-3. Let j be x(d). Let t = -16 + j. Is 20 a factor of t?
True
Let z(i) = i**3 + 6*i**2 - 16*i + 2. Let m be z(-8). Suppose m*n - 2*c - 6 = 0, 3*c - 6 = -2*n + c. Does 22 divide (-524)/(-12) + 1/n?
True
Let q(k) = -2*k**3 - 24*k**2 + 73*k + 131. Is 38 a factor of q(-21)?
True
Let i(u) be the second derivative of -5*u**3/6 - 27*u**2/2 + 68*u. Let a be -13 - (-2)/(2 + 0). Is 9 a factor of i(a)?
False
Let p = 39 + 29. Suppose -5*v = p + 17. Is 23 a factor of (v/(-4))/(-3 + (-122)/(-40))?
False
Suppose 41088 = 28*x - 153988. Does 11 divide x?
False
Let v be (40/(-2))/(18 + -17). Let d be (-8)/v + 858/5. Suppose -2*t + d + 60 = 0. Is 29 a factor of t?
True
Suppose 19*q - 4*q = -4*q + 197505. Does 9 divide q?
True
Let o(k) = k**3 + 3*k**2 - 12*k + 2. Let r be o(-5). Let u be (34/8)/(r/(-240)). Does 17 divide (-4386)/u + (-3)/5?
True
Let u = -1640 + 4240. Suppose 0 = 36*c - 41*c + u. Suppose 130 = -5*d + c. Is 13 a factor of d?
True
Let c = 50022 + -34752. Is 15 a factor of c?
True
Suppose 5*i - 3*y + 1331 = -295, -1628 = 5*i - 4*y. Let q = i + 374. Is 23 a factor of q?
False
Suppose 4*y = -k + 522, -4*k - 4*y + 1931 + 169 = 0. Is 28 a factor of k?
False
Let z = -402 + 393. Is 0 + z + 12236/7 a multiple of 93?
False
Let n(l) = -l**3 + 14*l**2 - 17*l + 56. Let z be n(13). Suppose -o - 5*x + 8 + 73 = 0, 4*o - 372 = -z*x. Is 3 a factor of o?
True
Let h = -1 + 4. Suppose 2*b - 507 = -q, 0*b = b - h*q - 243. Is b a multiple of 4?
True
Suppose 5*v - l - 119 = 0, -5*l + 4*l = 4. Let o = v - -4. Does 41 divide (o - 8)/((-2)/(-6))?
False
Let c = -37 + 43. Suppose 10 = -2*u - 2*o, 0*u - c = 2*u + o. Does 15 divide (0 - (u - 1))/(11/374)?
False
Let q = -5914 - -16774. Does 10 divide q?
True
Let q(x) = 219*x - 1264. Does 85 divide q(21)?
False
Suppose 49192 = 4*f + h + 3293, -5*f - 4*h = -57360. Is f a multiple of 150?
False
Let i(h) = -h**3 + 19*h**2 - 18*h + 4. Let o be i(18). Let d(j) = 1 - 5*j + 4*j**2 + 2*j**2 + 2*j. Does 14 divide d(o)?
False
Let o = 471 + -369. Is 8 a factor of 1 + -14*o/(-12)?
True
Let l(k) = -53779*k**3 - 4*k**2 + 40*k + 45. Is l(-1) a multiple of 226?
False
Let t(y) = 900*y + 109. Is t(4) a multiple of 69?
False
Suppose 0 = -10*u + 7*u - 4*d + 56, 0 = -3*u - d + 68. Does 27 divide 32/(-3)*((-702)/u + 0)?
False
Let b(y) be the first derivative of -y**4/4 - 37*y**3/3 + 28*y**2 + 62*y + 49. Is 62 a factor of b(-39)?
False
Let d = -164 + 159. Is (-117)/d + 12/40*2 a multiple of 12?
True
Let f(j) = -8*j + 19. Let g be f(7). Let l = 33 + g. Let x(s) = -2*s**3 - 4*s**2 + 4*s - 4. Is x(l) a multiple of 5?
False
Suppose 2*n + 225 + 17 = 0. Let g = n + 248. Does 15 divide g?
False
Let y(o) = -6*o**3 - 14*o**2 - 32*o + 61. Is 38 a factor of y(-10)?
False
Let r = 625 - 652. Let v(z) = z**2 - 28*z + 58. Does 19 divide v(r)?
False
Let f be 22/(-55)*-40 - (3 - -2). Let o(c) = 12*c - 2 - 4 + 1. Is 21 a factor of o(f)?
False
Let b(y) = 4*y + 6*y**3 - 12*y**2 - 26 - 4*y**3 - 16*y. Is 4 a factor of b(8)?
False
Let u = 664 + -281. Does 47 divide u?
False
Let y(d) = 4*d**3 + 6*d**2 - 16*d + 4. Let n be 81 + (-11)/(-22) + (-5)/(-2). Let v = -81 + n. Is 6 a factor of y(v)?
False
Suppose 36*h + 98*h - 660715 = -71*h. Does 41 divide h?
False
Suppose -3 = -4*a + a, 0 = -3*f + 4*a + 8. Let j = 10 - f. Suppose -j*m = 4*m - 200. Does 10 divide m?
True
Let y(o) = 28*o - 26. Suppose 0 = 4*u + 2*w - 22, -u = -2*w - w - 23. Suppose 23*l + u = 25*l. Is y(l) a multiple of 14?
False
Let o(h) = -6*h**2 + 14*h + 1. Let l(p) = 5*p**2 - 15*p - 2. Let s(y) = -4*l(y) - 3*o(y). Let r be s(9). Suppose -1026 = -r*n - n. Is n a multiple of 19?
True
Let z(u) = 1. Let c(k) = -20*k + 2. Let l(t) = -c(t) - z(t). Is l(2) a multiple of 6?
False
Suppose -2600 - 10660 = -60*o. Suppose 3*a - 4*p = -0*a + 2, -4*a + p = -7. Suppose -5*j = -3*k + 349, 2*k + j - a*j - o = 0. Does 18 divide k?
True
Suppose -418*q = -4021682 + 2620681 - 3165231. Is 5 a factor of q?
False
Suppose -37*p + 38*p = 22. Let h(v) = 2*v**2 - 32*v + 84. Is h(p) a multiple of 7?
False
Suppose 3*f = -9*f + 72. Suppose 1 = f*u - 209. Is 10 a factor of u?
False
Suppose -12*g + 129*g = 711828. Does 37 divide g?
False
Suppose -3*x = 2*a - 5751, x - 3*a - 2*a - 1917 = 0. Let n 