 x - -184. Does 12 divide f?
True
Let l(h) = -132*h + 48. Let c be l(-3). Suppose -63*w + c = -59*w. Is 19 a factor of w?
False
Suppose 12*g + 2*b + 7 = 7*g, 3 = -5*g - 3*b. Does 25 divide (526/(-3))/(g/(5 - -4))?
False
Suppose h = 6*h + 3*b + 315, h - 5*b = -91. Let y = h + 66. Suppose -5*a + 52 = -0*t - 4*t, y = 5*a - 3*t - 54. Is 6 a factor of a?
True
Suppose 3*c - 47 = 4*c. Let g = -43 - c. Suppose 3*r - 4*r - 5*p + 65 = 0, g*p = -r + 62. Does 10 divide r?
True
Suppose 229*s = -783247 + 2298998. Is 20 a factor of s?
False
Let n(c) = c**2 - 16*c - 4. Let q be n(0). Is 36 a factor of 328 - 0 - -1*(q + -1)?
False
Suppose 0 = 240*y - 76*y - 11593980. Is 95 a factor of y?
False
Suppose 2*m = -i + 520, 4*i - m - 512 - 1532 = 0. Let w = i + -69. Is w a multiple of 11?
False
Let t(d) = 5*d**2 + 4*d + 11. Let p be t(6). Suppose -4*i - 100 = -2*l, 2*i - 5*i - p = -5*l. Is 8 a factor of l?
True
Let r = 152 - 104. Suppose -36 + 12 = -4*x. Let b = x + r. Is b a multiple of 9?
True
Let k(m) = m**3 + 19*m**2 + 35*m + 23. Let x be k(-17). Is 41 a factor of -103*((-2)/(-2) + (x - 10))?
False
Suppose -3*u = 4*x - 121911, -13*u + 2*x = -17*u + 162538. Does 29 divide u?
False
Let n(x) = 2*x**2 - 13*x - 7. Let b be n(7). Let p(c) = b + 4*c - 2*c - 6 + 4*c. Does 7 divide p(8)?
True
Let u be -6*12/(-18) - (2 + -2). Suppose -263 = -3*z - u*s, -5*s + 262 = -16*z + 19*z. Is z a multiple of 10?
False
Let k = 24983 - 16331. Is k a multiple of 42?
True
Suppose 4*q + 3*g = 2*q - 513, 239 = -q + 2*g. Let d be (-14)/56 - q/4. Let c = -44 + d. Does 9 divide c?
True
Let k(g) = 54*g**3 + 1288*g**2 + 56*g + 26. Is k(-23) a multiple of 28?
True
Let i(k) = -260*k - 2. Let t be i(-3). Let f be (55 + 2)/(7 + t/(-112)). Suppose 28*n - f = 20*n. Is n a multiple of 15?
False
Let q(h) = 331*h + 4004. Is q(-7) a multiple of 24?
False
Suppose 0 = -2*o - 2*t + 4, 11*t = 6*t - 15. Suppose o*k - 413 = 2*k + 5*b, 0 = 5*b + 5. Is k a multiple of 34?
True
Let x(r) be the second derivative of r**4/12 + r**3/6 + 7*r**2/2 + 25*r. Let b be x(0). Is 3 a factor of 18/b + 57/133?
True
Suppose -a - 79 = -4*h, -5*h - 3*a + 36 = -67. Suppose 30*u = -h*u + 27600. Does 23 divide u?
True
Suppose 8*o - 54 = -o. Suppose -7*v + 2*v + o*v = 0. Suppose v = 6*m - 18 - 162. Is m a multiple of 15?
True
Is (-276846)/(-222) + 6/(-111) a multiple of 20?
False
Let r(o) = -o**2 + 6*o + 21. Let z be r(8). Suppose z*s - 4*v - 3910 = -9*v, 3*s = 5*v + 2378. Is s a multiple of 14?
False
Does 39 divide (-46 - 1073)/((-4)/624*4)?
True
Let t = 20740 - 19658. Is t a multiple of 5?
False
Let l be ((-6)/(-5))/((-21)/(-70)). Suppose l*z - 36 + 12 = 0. Is z a multiple of 2?
True
Let v(y) = 559*y**3 - 9*y**2 - 41*y + 150. Is v(4) a multiple of 50?
False
Let v(d) = 3*d + 3*d + 20 + d**2 - 8*d - 2*d**2. Let f be v(4). Let u(h) = -h**3 - 2*h**2 + 4*h + 10. Is 26 a factor of u(f)?
True
Let q(b) be the first derivative of -7*b**2 - 15*b - 75. Let k be (-2)/((-4)/3)*-4. Does 14 divide q(k)?
False
Let a(n) = 14*n**2 + 31*n - 1740. Is a(42) a multiple of 105?
False
Suppose -4*z - 40 = 15*j - 13*j, 0 = -3*j + 6. Is z + 11 + 93 + 0 a multiple of 2?
False
Suppose -137*z + 142*z = 0. Suppose s + 3*r - 1034 = z, 0 = -9*s + 4*s - 5*r + 5190. Does 65 divide s?
True
Let f = 35 - 47. Let d = -14 - f. Is 6 a factor of (-1170)/(-22) - d/(-11)?
False
Let p(v) = -v**2 + 11*v - 17. Let a be p(8). Let l(y) = -y**3 + 10*y**2 - 14*y + 2. Does 2 divide l(a)?
False
Let u(s) = -s**3 + 2*s**2 + 18*s + 14. Let l = -491 - -486. Is 9 a factor of u(l)?
True
Let p(x) = 4*x**2 + 19*x + 1. Let b be p(-9). Suppose 4 = 4*w, -9*f + 8*f - w + b = 0. Does 17 divide f?
True
Let h(j) = -j**2 + 18*j + 8. Let p be h(18). Suppose 3*g + 621 = p*d - 5*d, 3*d + 3*g = 597. Is 28 a factor of d?
False
Suppose -4*t = 2*a + 922, -1377 + 3652 = -5*a - 4*t. Let i = -406 - a. Does 15 divide i?
True
Is (2*(-2)/8)/((-15)/34470) a multiple of 10?
False
Suppose 10 - 13 = j. Is 10 a factor of (j + 0 - -5) + 298?
True
Suppose 3 - 4 = y + 4*z, -4*y + 2*z = 4. Is ((-8)/12)/(y/69*2) a multiple of 7?
False
Let a(f) = -2*f**3 + 5*f + 4*f + 0*f**3 + 6*f + 418 + 3*f**3. Does 14 divide a(0)?
False
Is (-2*(-105)/(-24))/(16/(-704)) a multiple of 18?
False
Let h = 489 + -489. Suppose 3*y - 18*y + 8640 = h. Is 32 a factor of y?
True
Suppose -3*x = -5*x. Let a = -3 - x. Is 12 a factor of -18*a*20/15?
True
Suppose -5*z + 0*z = 0. Suppose 2*i - 5*s = -z*i + 46, -2*s + 5 = i. Suppose i = c + 2. Is 10 a factor of c?
False
Let f(w) = 3*w**2 - 14*w + 27. Let s be f(-9). Let u = -376 + s. Is 10 a factor of u?
True
Suppose 4*t - 14644 + 43839 = 5*m, -m - 5*t = -5810. Is m a multiple of 33?
False
Let j = 21103 + 8448. Is j a multiple of 11?
False
Suppose 0 = -0*k + 3*k + 1128. Let m = 562 + k. Is 31 a factor of m?
True
Let m = -74 - -76. Let t(z) = -4*z + 8. Let x be t(m). Suppose s - 40 = -2*g, x*g = 2*g - 3*s - 48. Does 6 divide g?
False
Is 75 a factor of 3/1 + 293868/36?
False
Let c(h) = -49 - 17 - 16*h + 44*h**2 + 90. Is 21 a factor of c(2)?
True
Let v(g) = 5*g**2 - 3*g. Let w(y) = -9*y**2 + 7*y. Let q(s) = 7*v(s) + 4*w(s). Let a be q(8). Is 5/10*-175*a/10 a multiple of 14?
True
Suppose 5*m + 4*r = -1 - 24, 9 = -4*m - r. Let t be 198/18*(1 + (m - -233)). Suppose -7*x = -t + 925. Is x a multiple of 18?
True
Let n(i) = 42 + 12*i - 17*i + 7*i + 6*i. Is 13 a factor of n(0)?
False
Suppose -2*k = 5*j - 10473, -k - 2*j + 4949 + 289 = 0. Is 92 a factor of k?
True
Let u be 4/3*-3 + 7. Suppose -h + 1506 = u*c + h, 2*h = -5*c + 2514. Does 14 divide c?
True
Is 1849 + 252/(-7) + 23 a multiple of 12?
True
Let u(h) = 9*h**3 - h**2 - 4*h + 7. Let z be u(2). Let v = -58 + z. Let n(b) = 14*b - 34. Is 46 a factor of n(v)?
True
Let f = 20 - -55. Does 61 divide 41385/f + (-3)/(30/8)?
False
Suppose -y = -3*x + 55, -5*x + 0*x + 99 = 2*y. Suppose 7*j = 2 + x. Does 10 divide 4 - (-3)/j*45?
False
Let y(a) = -2*a**3 - 12*a**2 - 6 - 4*a - 24 + a**3 + 0. Let b(d) = -d**3 - 5*d**2 + 2*d - 2. Let i be b(-5). Does 14 divide y(i)?
False
Let w be 2/(-6) - (-3354)/18. Suppose -9*g - 57 = w. Let o = g + 57. Does 5 divide o?
True
Let g = 24406 - 17035. Is g a multiple of 41?
False
Let u(s) = 25*s - 11. Let f(o) = 25*o - 12. Let z(q) = 4*f(q) - 5*u(q). Let c(i) = -24*i + 8. Let h(j) = 5*c(j) - 6*z(j). Is 38 a factor of h(8)?
False
Let a(q) = q**2 + 39*q + 112. Let c be a(-3). Suppose c*d = 1448 + 196. Does 4 divide d?
False
Suppose 2*c - 103 = 3*u, 2*c = -5*u + 6*c - 171. Let t(l) = -19*l - 2. Is 20 a factor of t(u)?
False
Let b(r) be the first derivative of r**5/60 + 3*r**4/8 + 29*r**3/6 + 27*r**2/2 + 29. Let t(g) be the second derivative of b(g). Is 7 a factor of t(0)?
False
Let m = 9671 - 2380. Is 15 a factor of m?
False
Let m(n) = -44 - 67 - 11*n - 48*n + 148 + 153. Does 26 divide m(-8)?
False
Let p = -322 + 327. Suppose 319 = f - p*s, 6*s - 6 = 8*s. Does 38 divide f?
True
Suppose 0*d + 3*d = 48. Let w be d/((-8)/(-6)*6/188). Suppose 4*n - w = 5*f, 4*n - 5*f - 388 = -3*f. Is 11 a factor of n?
True
Let z(q) = 7*q**2 + 42*q - 16. Let d(o) = -57 - 6*o**2 + 24 + 48 - 41*o. Let b(w) = 6*d(w) + 5*z(w). Is 14 a factor of b(-17)?
False
Let l(b) = 87*b**3 + 7*b**2 + 6*b + 12. Let g be l(8). Suppose -35*d + g = 10962. Does 8 divide d?
False
Does 12 divide (-13)/(-325)*-5 - 19021/(-5)?
True
Let d(u) = -u**3 + 7*u**2 + 3*u - 3. Let c be d(7). Suppose -2*v + c = -4*s, s = 2*s - 5*v + 27. Is 7 a factor of s*122/4*-1?
False
Suppose -5*h - 4440 = -5*z, 999 = 5*z - h - 3465. Is z a multiple of 6?
True
Suppose -5*r + 19 = 4*s + 5, 5*r - 26 = -s. Let m(j) be the second derivative of j**4/12 + j**3/6 + 7*j. Is m(r) a multiple of 8?
False
Suppose -1880 = -4*s + 5*h, 52*h - 504 = -s + 49*h. Is s a multiple of 6?
True
Let q be (16 - 19)*(1 - (-1 - -1)). Is 25 a factor of q + (-1)/((-4)/160)?
False
Suppose -6*v + 16 - 4 = 0. Suppose 2*l + 0*j + 13 = -3*j, -5*l - v*j = 27. Does 8 divide (3/l + 1)/(7/140)?
True
Let c be (-5)/(-10)*2*40. Suppose -c*a = -34*a - 294. Is a even?
False
Let p(r) = -26*r - 195. Let j(z) = 6*z + 49. Let n(m) = 9*j(m) + 2*p(m). Is 5 a factor of n(9)?
False
Let c(d) be the second derivative of d**4/12 - 4*d**3/3 - 6*d**2 + d. Let v be c(9). Is 7 a factor of (-85 - 1)*v/6?
False
Let j be (2 - 31/3)*9/(-3). Suppose -5*a = j, 0*c - 4*a = c +