 = -150*g + 455. Is 7 a factor of f(-20)?
False
Let b = -49 + 48. Does 24 divide (b/(-10))/(8/(-11980))*-4?
False
Does 42 divide (-5)/(-35)*(241 + 4)/7 - -35332?
False
Let s = 758 + -753. Suppose -3*z + 0*z = 3*u - 675, 675 = 3*z + s*u. Is 75 a factor of z?
True
Suppose 14 = -17*s + 82. Suppose -3*n + 2262 = 4*x - 635, 2881 = 3*n - s*x. Does 7 divide n?
False
Suppose 4*w - 1970 = -5*r, -5*r = -4*w - 2106 + 136. Suppose -2*y - r = -5*a, a + a = 3*y + 162. Is 8 a factor of 1*2*a/4?
False
Let n be 57/(-76) - 22/(-8). Let s be (-38)/(-9) - (-4)/(-18). Suppose -n*a = -4*h + 100, 0 = h - s*a - 0*a - 18. Does 13 divide h?
True
Let v be -4 - (-280)/6*3. Suppose 278 = 3*g - v. Let x = 198 - g. Is 12 a factor of x?
True
Let v(w) = -484*w**2 + 6*w - 7. Let a be v(1). Let f = -467 - a. Is 2 a factor of f?
True
Let u = -19 + -16. Let d = u - -70. Is (-7)/1*(-250)/d a multiple of 18?
False
Suppose 2*l - l - 11 = -5*j, j - 2*l = 0. Suppose -v = -j*v - 17. Is 0 - 0/3 - (v + -5) a multiple of 11?
True
Let o(q) be the third derivative of -12*q**2 - 1/120*q**6 + 1/60*q**5 + 5/6*q**3 + 0 + 0*q + 1/6*q**4. Is 7 a factor of o(-2)?
False
Let v be -4 - (73 + 0 - -3). Let a = -72 - v. Let b(n) = n**3 - 3*n**2 - 9*n - 14. Does 18 divide b(a)?
True
Let z(v) = -13*v - 17. Let k be z(-13). Let m be (-1505)/(-5) + -2 + -3. Let f = m - k. Is 20 a factor of f?
False
Let n(g) = 9*g**2 + 33*g. Let f be -5*(-2)/(-5) + -3. Does 8 divide n(f)?
False
Let d(o) be the second derivative of 25/2*o**2 - 1/20*o**5 - 8*o + 0 - o**4 + 1/3*o**3. Does 12 divide d(-13)?
True
Suppose -7*o + 2472 = -4*o. Let h = -537 + o. Suppose h = 4*n - 289. Does 9 divide n?
True
Suppose -16*n + 21 = -11. Suppose -5*j + 708 = 4*u, -4*j = -j + n*u - 426. Does 18 divide j?
True
Let l = 4068 + -2133. Is 49 a factor of (-56)/70*l/(-6)?
False
Let t(k) = -k**3 - 8*k**2 - 12*k + 6. Let x be t(-6). Suppose 0 = u + 5*v - 22, -v = 2*u - u - x. Is (u - 4/(4/15))*-2 a multiple of 26?
True
Suppose 3*h - 25 + 1 = 0. Let k(b) = -43*b + h - 2 + 11*b. Is k(-2) a multiple of 14?
True
Let r(y) = -26*y**3 - 2*y**2 - 9*y - 47. Does 61 divide r(-6)?
True
Let a(u) = u**2 - u + 36. Is a(-14) a multiple of 7?
False
Let n(c) = 14*c - 169. Let t(v) = 4*v**2 + 24*v + 25. Let f be t(-6). Is 13 a factor of n(f)?
False
Suppose 2756 = h + 4*c - 21, 5*h = -c + 13923. Suppose 1732 - 613 = 2*q + 3*p, -5*q + h = 5*p. Suppose -q = -84*x + 81*x. Is 14 a factor of x?
False
Let c be (-4 + 4)*(-3)/(-3). Suppose o + 2*r - 15 = c, -6*o + 80 = -3*o - r. Is 5 a factor of o?
True
Let p(b) = 3*b + 8. Let a be p(-2). Suppose -2408 = -3*g - 0*l - a*l, -l = -3*g + 2405. Is g a multiple of 14?
False
Let a = -4998 - -8481. Does 13 divide a?
False
Let r be -170*(15/(-6) + 3). Let n(c) = -c**2 - 26*c - 120. Let p be n(-9). Let u = p - r. Does 37 divide u?
False
Let x = 44022 - 30414. Does 252 divide x?
True
Does 27 divide -1*(3 + -9) + (-7 - (-6916 + 3))?
True
Let h be ((-6)/15)/(14/35). Let i be 6/(h + 31/28). Let n = 21 + i. Is n a multiple of 11?
True
Suppose -3*i + 10855 = -4*u, -7*u + 14444 = 4*i - 5*u. Is i a multiple of 17?
False
Let t(i) = 52*i - 100*i - 2 + 306*i**2 + 44*i. Is t(-1) a multiple of 23?
False
Let y = -1670 - -2245. Is 4 a factor of y?
False
Suppose -3*v + 344 + 31 = -4*w, 2*w - 3*v + 189 = 0. Does 14 divide (-44 + 2)/(w/62)?
True
Let l(t) = t**2 - 118*t + 543. Does 13 divide l(176)?
True
Let c(p) be the second derivative of -6*p**3 - 3*p**2/2 + 17*p - 2. Let v(r) = -3*r**2 - r + 1. Let s be v(1). Is c(s) a multiple of 15?
True
Suppose 0 = -3*r + 6, 3*y - 3*r - 6364 - 7190 = 0. Is y a multiple of 4?
True
Let h = -8140 - -19331. Is h a multiple of 8?
False
Let u(g) = 62*g - 802. Let n be u(13). Let h = 134 - 66. Suppose 2*z - z - 58 = -n*t, -2*z + 4*t + h = 0. Is 14 a factor of z?
True
Let j(h) = -143*h**3 - h**2 - 6*h - 3. Let p be j(-2). Let g = -601 + p. Does 10 divide g?
False
Let j = 22906 - 15610. Is j a multiple of 19?
True
Let u be 120*((-282)/(-70) - (-48)/(-112)). Let l = u - 351. Is l a multiple of 9?
True
Let g be ((-116)/6)/((-1)/(-3)). Let i = g - -58. Does 4 divide i + (-7)/(-49) - (-34)/7?
False
Let m(g) = 2*g**2 - 4*g + 60. Let w(n) = -3*n**2 + 9*n - 122. Let t(j) = 5*m(j) + 3*w(j). Is t(14) a multiple of 42?
False
Suppose -2*x + 0 + 4 = 0. Suppose -x*u = -6*u - 20, -5*a - 2*u + 395 = 0. Is 6 a factor of a?
False
Let a(r) = r - 83. Let u be a(-22). Let l = u + 61. Is 38 a factor of -4 - (6/(3 + 0) + l)?
True
Suppose -4*o - 1 = -3*g + 631, 2*g - 421 = 3*o. Suppose -8*b + 148 = -g. Is 8 a factor of b?
False
Let d(k) = 25*k**2 - 70*k**2 + 3*k**2 + 2*k**3 + 33*k + 12*k**2 - 18. Is 26 a factor of d(14)?
True
Let r(h) = 2*h**2 + 28*h - 38. Let q(k) = k**2 + 13*k + 10. Let o be q(-10). Let i be r(o). Let w = i - 107. Is 19 a factor of w?
True
Suppose 29*w - 113 = 293. Suppose 371 = w*r - 889. Is 30 a factor of r?
True
Is 49 a factor of (-950)/855 - 167798/(-18)?
False
Let f be ((-1605)/4)/(49/(-196)). Let v = f - 674. Does 12 divide v?
False
Let q = 5262 - 412. Is 194 a factor of q?
True
Let g be ((-90)/12)/(-15)*(94 - -4). Let t(q) = 120*q - 1. Let k be t(2). Suppose -2*u + g + k = 0. Does 19 divide u?
False
Suppose -p - n - 33 = 0, -5*p - 159 = -p - 5*n. Suppose -204 = 14*g + 90. Is 6 a factor of (-7)/(g/p)*(-50)/15?
False
Let b be 27/36 - (-170)/8. Let a be (-4)/10 + b/5. Suppose 0 = -a*f + 427 + 13. Does 22 divide f?
True
Let s(c) = 1435*c - 5. Let r(q) = 2*q**3 - 26*q**2 + 46*q - 21. Let w be r(11). Is 13 a factor of s(w)?
True
Let s(v) = v**3 + 69*v**2 - 216*v + 380. Is s(-71) a multiple of 34?
False
Let q(b) = -57*b**3 + b**2 + 26*b + 52. Does 138 divide q(-3)?
False
Let y be 2/(-5) - 4/(-10). Suppose 224 = 21*k - 7*k. Suppose y = k*o - 0*o - 1344. Does 28 divide o?
True
Let u = -25 + 27. Suppose -q + 5*b = 27, 0 = q - u*b + 5 + 7. Let k(v) = -23*v**3 - 3*v**2. Does 43 divide k(q)?
True
Is 12 a factor of 18/(432/858306) + 35/(-20)?
False
Let j be (-12)/(-30) + 346/10. Let h = 42 - j. Let a(o) = 2*o**2 + 12*o + 2. Is 17 a factor of a(h)?
False
Let k(a) = 2*a**2 + 26*a + 65. Let c be k(-10). Suppose c*s = v - 1066, -2*s + s = -3*v + 3212. Is 50 a factor of v?
False
Let r(v) = -6*v**3 - 43*v**2 + 67*v + 147. Let z(s) = s**3 - s**2 - s - 1. Let q(c) = -r(c) - 5*z(c). Is 15 a factor of q(-49)?
True
Let w be (2/4)/(7/3486). Let r = w + -17. Suppose -r + 64 = -c - 4*q, 0 = 4*q + 8. Does 22 divide c?
True
Suppose -8936 = -z + 3*s, -z + 4882 + 4059 = 2*s. Is z a multiple of 13?
False
Suppose 5*v - 8*v = -g + 5, -5*g + 25 = -2*v. Suppose -624 = -v*f - 2*f. Is f a multiple of 6?
True
Suppose -27*v + 454 = -5. Let d(y) = y**3 - 18*y**2 + 35*y - 30. Is 40 a factor of d(v)?
False
Let o(j) = 22 - 7*j**2 - 5*j - 6 - j**3 + 14*j**2. Does 3 divide o(5)?
False
Let j(z) = z + 5. Let u be j(0). Suppose -5*w - 315 = -5*v, 0 = 15*w - 17*w. Suppose 2*s + k = v, -u*k + 99 = 3*s + 15. Is s a multiple of 8?
False
Suppose -52*l = -50*l - 48. Suppose m - l - 6 = 0. Let w = 49 - m. Is w even?
False
Let i = -13509 + 18762. Is 51 a factor of i?
True
Suppose 5*x - 8*t + 9*t = 6252, x - 1258 = -4*t. Let s = x - -430. Is 28 a factor of s?
True
Let d(w) = 112*w**3 - 3*w**2 - w + 2. Let z be ((-993)/21)/1 - 16/(-56). Let y = z - -48. Is 11 a factor of d(y)?
True
Let i = 149 + -144. Suppose 61*n + 3 = 60*n, i*s - 520 = 5*n. Is s a multiple of 19?
False
Suppose 56259 + 72012 = 17*b - 4*b. Is b a multiple of 23?
True
Is 93 a factor of ((-2871)/22)/(6/(-248))?
True
Let l(m) = -9*m - 18. Let g be l(-4). Let b be 16*(-3)/g*45/(-12). Is -1*90*(-4)/24*b a multiple of 25?
True
Let x = 49456 + -25222. Is x a multiple of 42?
True
Let s be 4*(-3)/(-12) + 3. Suppose s*x = 64 - 0. Is 3 a factor of x?
False
Is (45/(-27)*90/(-8))/(20/21120) a multiple of 55?
True
Suppose 4*q - 5*o + 30412 = -0*q, 0 = q + 4*o + 7582. Let w = q - -18196. Is 4/(-18) - (6 - w/63) a multiple of 13?
False
Suppose 115729 + 86811 = 152*o - 57*o. Is o a multiple of 10?
False
Let c be (-7)/21 + 1904/(-21). Let s = 233 - 132. Let r = c + s. Is 5 a factor of r?
True
Suppose 5*u + 11*c - 15*c - 44772 = 0, 9 = -3*c. Is 12 a factor of u?
True
Let w(c) = 29*c - 489. Is 110 a factor of w(51)?
True
Suppose -11990 = -2*w + 9*a - 7*a, w - 2*a = 5990. Is w a multiple of 24?
True
Let q(h) = 257*h**2 + h - 2.