38 = g, u*g - c*g + x + 36 = 0. Does 17 divide g?
True
Let i(j) = -j + 3. Let y be (-9)/(225/10) - 32/(-5). Let z be i(y). Does 15 divide 11/(44/608) + 1 + z?
True
Let b be (16/(-14))/(7/(-98)*2). Suppose -21*k = -b*k - 3211. Does 91 divide k?
False
Let g be -4*(8 + 740/(-80)). Suppose 2*d = -5*k + 6 - 1, 0 = d - k + 1. Suppose -15 = -0*j + 3*j, d = 3*b - g*j - 760. Is b a multiple of 21?
False
Suppose 2*c = -98 - 22. Let j be (-232)/c - (-10)/75. Suppose 3*s - 1540 = -j*s. Is s a multiple of 22?
True
Suppose 10*p = 14*p + 4. Let b(z) = z**2 + 17*z + 24. Let f be b(-15). Does 4 divide p/(-2) - 75/f?
False
Let c(g) = 2*g**3 + 2*g**2 + 3*g. Let t be c(-1). Is 2*t/(-12)*2*71 a multiple of 6?
False
Let c(v) = v**3 - 5*v**2 - 411*v + 9. Is 15 a factor of c(25)?
False
Suppose 32 = -b + 2*b. Let c = -31 + b. Suppose -27 = -d + c. Is 28 a factor of d?
True
Let y be (3/((-15)/4))/((-342)/(-855)). Is 18 a factor of -3*(-413)/(-42)*y?
False
Let k(i) = -96 + 190 - 32*i + 202. Is 18 a factor of k(-7)?
False
Does 11 divide (96 - -25)*(1 - -2 - (2 - 0))?
True
Let j = -34 - -50. Let p = j - 16. Let k(s) = -3*s + 115. Does 24 divide k(p)?
False
Let j = 329 - 329. Suppose -a + 460 = -5*w, 908 = 2*a - j*a - 4*w. Does 10 divide a?
True
Is (-228)/((-13440)/(-6741) - 2) a multiple of 38?
True
Let c = -14267 - -21695. Does 27 divide c?
False
Let c be -24*-3*6/27. Let s(o) = -33*o - 14 - c + 34. Is 17 a factor of s(-2)?
False
Suppose -5*d = 16*a - 17*a - 1, 2*d + 2 = 0. Does 12 divide (-7)/((-49)/5334) - a?
True
Let l = 6576 + -4480. Suppose l = 9*w - 1252. Is 12 a factor of w?
True
Let k be 0/(1/4*1*4). Suppose -2 = -5*x + s, k*x - x = -s + 2. Is x/(7/(-14)) - -1*88 a multiple of 7?
False
Let x(b) = -4*b + b**3 - 1 + b - 3 - 7 + 7*b**2. Is x(-6) a multiple of 20?
False
Suppose 4*q - 9 - 2 = u, 18 = -2*u + 4*q. Let y(m) = m - 39. Let j(v) = -14*v + 248. Let f(t) = j(t) + 6*y(t). Is f(u) a multiple of 14?
True
Suppose f = -k - 23, 5*k + 101 = 5*f - 24. Let m be (k + 27)*(0 + -1). Is 10 a factor of m + 6 + -5 - -226?
False
Suppose 0*a - 8*a - 16 = 0. Let z be (4 - a)*(-2)/(-4). Suppose -z*k = -4*x + 197, 0 = -x + 3*k + 2*k + 28. Is 7 a factor of x?
False
Suppose 3*w + 0*w + 12 = 0, 0 = -2*t + 3*w + 80. Let x = t + -31. Is 10 a factor of -2 + 0 + (-5 + 140 - x)?
True
Let q = 129 - 120. Suppose q*n = 8*n + 92. Does 23 divide n?
True
Suppose -323*g + 37390 + 18277 = -437231. Does 7 divide g?
True
Let a(l) = 5*l**3 + 37*l**2 + 11*l + 24. Is 3 a factor of a(-7)?
True
Does 125 divide (21/(-3) - 0)*(5 + -6) - -10618?
True
Let w(k) = -k**3 + 106*k**2 - 281*k - 514. Does 170 divide w(100)?
False
Let i = -103 - -110. Suppose i*p + 16*p - 1288 = 0. Is 10 a factor of p?
False
Let k = -4006 + 15031. Is k a multiple of 158?
False
Suppose 0 = -4*f - 3*d + d + 34, -5*d + 29 = 3*f. Suppose -3*z - 1180 = -f*z. Is z a multiple of 19?
False
Let l be -1*(-2)/(-1) - (7 - 11). Suppose 0 = 2*c - 2, 0 = -5*j + l*c + 189 + 309. Is j a multiple of 10?
True
Let h(j) = -859*j**3 + 7*j**2 + 6*j - 3. Does 15 divide h(-3)?
True
Let p(i) = -33*i + 3. Let b be p(-2). Let v = -164 + b. Let n = v + 170. Is 25 a factor of n?
True
Let m be (-3)/2*64/(-24). Suppose -3711 = -m*s + 5*b, 0*b - 2789 = -3*s - 2*b. Does 34 divide s?
False
Let d(u) = 3*u - 24. Suppose -24 = -3*o + c, -5*o - 3*c = -6*o + 8. Let n be d(o). Suppose 44*k - 47*k + 42 = n. Is 4 a factor of k?
False
Let l be (-9)/(-1) + (0 - 3) + -3. Let j(g) = 16*g**3 + 5*g**2 - 6*g + 5. Let u be j(l). Suppose 4*p = -3*t + 275, 0*p + u = 5*t + p. Does 31 divide t?
True
Suppose 17319 = 2*g - 12*f + 11*f, f - 5 = 0. Does 221 divide g?
False
Let y be (3 - 6) + (-1020)/(-3). Suppose 5*n - y = 4*n. Suppose -5*f = 3*j - n, 3*f + 3*j + 6 - 207 = 0. Is f a multiple of 17?
True
Let h = -74 - -3719. Is 27 a factor of h?
True
Let f(c) = 4*c - 97. Let n be f(25). Suppose p - 911 = -3*y, n*y - 6 = 5*y. Is 61 a factor of p?
False
Let t(m) = m**2 - 16*m - 25. Let w(r) = -2*r**3 + r**2 + 9*r + 17. Let a be w(-2). Is 16 a factor of t(a)?
True
Suppose 149*f = -118*f + 2077 + 1394. Does 13 divide f?
True
Let j(f) = -2*f**3 + 7*f**2 + 16*f - 12. Let q be j(-7). Suppose q*n + 466 = 907*n. Is n a multiple of 16?
False
Suppose 5*l - n = 46576, -2*l + 19564 = n + 935. Is l a multiple of 11?
False
Let r = 261 - 257. Is (9 - -2)*(-38)/r*-2 a multiple of 19?
True
Does 17 divide 33 - 19 - 0 - -2298?
True
Let t = -39 - -44. Suppose 1491 = 3*l - i, 0 = t*l + 4*i - 1119 - 1349. Does 31 divide l?
True
Let r = -276 + 3228. Is 72 a factor of r?
True
Let j be (11 - -11) + (3 - 7). Suppose -j*m + 14*m = -1760. Is m a multiple of 68?
False
Is -3 - (9 + -7708*(-10)/(-20)) a multiple of 3?
False
Is ((-401)/6*-4)/(0 - 16/(-2232)) a multiple of 31?
True
Is 85 a factor of ((-77040)/(-100) + 10)/(4/10)?
False
Let r = 2 + -167. Let m = r + 196. Does 2 divide m?
False
Suppose -s + 13 - 62 = 4*q, 5*q + 4*s = -64. Let u be (-4)/q - 30/9*7. Let l = u + 263. Is 10 a factor of l?
True
Let j be (0 - 8/(-10))/(48/(-120)). Let t be (3 - j/(-4))*2. Suppose -2*s + 106 = 2*a - 6*s, t = 5*s. Is 5 a factor of a?
True
Let t(p) = -164*p - 19. Let l be t(-1). Let r = -40 + l. Is 15 a factor of r?
True
Suppose -95*d + 1220 = 3*d - 12990. Suppose -2*k = 2*k - 40. Suppose 5*x + k = d. Is x a multiple of 5?
False
Suppose f - 3 = -l + 5*f, 4*l = 2*f - 16. Let a(b) = -9*b**3 - 6*b**2 + 4*b + 10. Let m be a(l). Let u = m - 680. Is u a multiple of 13?
False
Let z = 1538 + -1375. Is z a multiple of 2?
False
Let x = 240 + 202. Let o = x - 221. Is 13 a factor of o?
True
Let f(r) = -r**3 - 3*r**2 - 5*r - 8. Let q be f(-3). Suppose 448 = z + q*z. Is 2 a factor of z?
True
Suppose 0 = 2105*z - 2111*z + 18. Is 74 a factor of z/(-4) + 15/((-360)/(-40866))?
True
Suppose -791*t + 40654 = 7*s - 786*t, -3*s + 17430 = t. Does 4 divide s?
True
Let n = -26333 + 40093. Does 5 divide n?
True
Let b(d) = -d**3 - 7*d**2 - 2*d + 41. Let u be b(-6). Suppose -9*l + u = -1. Let n(f) = 41*f + 3. Is 22 a factor of n(l)?
False
Let h = 118 - 197. Suppose -3*z + 21 = 0, -65*w + 4*z - 504 = -61*w. Let g = h - w. Is 8 a factor of g?
True
Let m = 768 + -764. Suppose 0 = 2*i - m*w + 268 - 788, 0 = i + 3*w - 240. Does 18 divide i?
True
Let r(h) = h**2 - 28*h + 91. Is 20 a factor of r(56)?
False
Suppose 5*i = -5*l + 1025, 217 = l - 0*l - 2*i. Suppose g + l = 4*h - 46, -3*g = 9. Is h a multiple of 9?
True
Suppose 46*y - 60*y + 56 = 0. Suppose 0*a = -5*a + y*i + 4894, -5*i = -a + 983. Is 12 a factor of a?
False
Let l(s) = -s**2 + 14*s - 46. Let o be (-3 - -4)/((-3)/(-21)). Let z be l(o). Suppose 2*q + z*q - 345 = 2*v, 5*v = 2*q - 138. Is q a multiple of 12?
False
Suppose -u = -1, 0 = g + 4*g - 3*u - 62. Suppose -g*w - 20*w + 60819 = 0. Is 73 a factor of w?
False
Suppose 14*t = 141 + 83. Let f = 84 + t. Is f a multiple of 10?
True
Suppose 12*w - 1104 = -4*w. Suppose 0 = w*z - 66*z - 171. Is 2 a factor of z?
False
Suppose -2*b = -2*y + 9576, -3*y + 4*b - 23940 = -8*y. Suppose 9*a + 3*a - y = 0. Is a a multiple of 19?
True
Suppose 5783 = -18*c + 2003. Does 6 divide 9/(c/72 - -3)?
True
Let i(q) = -q**3 - 76*q**2 + 7*q + 423. Is 156 a factor of i(-78)?
False
Let s(a) = 2*a**3 - 2*a**2 - 18*a + 22. Suppose -u = -15*u + 112. Is s(u) a multiple of 20?
False
Suppose 32*t - 28*t + 144 = 0. Let s(g) = g**3 + 35*g**2 - 44*g + 57. Is 67 a factor of s(t)?
False
Suppose 120*i - 208112 = 648688. Is 20 a factor of i?
True
Let y = 165 - 51. Suppose l = y + 46. Does 32 divide l?
True
Let f = -4719 - -7065. Is f a multiple of 23?
True
Let g(x) = 783*x - 7110. Does 14 divide g(40)?
False
Suppose -2*k + 10 = 5*x, k - 5 = -x - 2*x. Let o = 82 - 78. Suppose -2*b = -6*r + k*r + 20, -5*b - 68 = -o*r. Does 6 divide r?
True
Let p = 46882 + -21409. Is p a multiple of 11?
False
Let v(o) = 27*o**2 - o + 30. Is 42 a factor of v(-6)?
True
Suppose 282*h + 2896526 = 10656320. Is 35 a factor of h?
False
Is 22 a factor of 2/(-15) - 1023056/(-645)?
False
Let j(v) = 13*v + 672. Let w be j(-56). Let l(f) = -f**3 + 2*f**2 + 2*f + 1. Let k be l(-3). Let x = k - w. Does 8 divide x?
True
Let z be (-10)/(-5)*(-15)/(-6). Suppose -z*d - 8 = -2*b + b, b + 5*d - 8 = 0. Suppose -b*v = -126 - 266. Does 9 divide v?
False
Let b(t) = -t**3 - 3*t**2 + 58*t + 59. Is 12 a factor of b(-14)?
False
Let c(z) be t