e
Suppose -14*s + 6030 = -12632. Let x = s + -944. Is 19 a factor of x?
False
Suppose -92*s + 97*s = u - 259, 1108 = 4*u + 4*s. Does 11 divide u?
False
Let g(a) = -4*a**3 - 3*a**2 - 4*a + 6. Suppose -5*t = 4*p + 6, t = -5*p - 9 - 9. Let y be (-1 + t + 0)/(40/(-120)). Is g(y) a multiple of 33?
True
Suppose 0 = -3*i + 10 + 29. Let x(u) be the first derivative of u**4/4 - 4*u**3 - 5*u**2 + 16*u - 573. Is x(i) a multiple of 9?
False
Suppose -101*t = -99*t - 574. Is 7 a factor of t?
True
Suppose 4*k = -2*s, 8*k - 12*k - s - 4 = 0. Let r be (k*2/(-8))/((-70)/(-1260)). Let j(i) = 2*i - 3. Does 5 divide j(r)?
True
Let i(z) = -3*z + 8. Let b be i(-4). Suppose -2*v + b = 3*v. Suppose 0 = v*w - 7*w + 291. Does 22 divide w?
False
Let f = -186 + 182. Is (-10327)/(-46) - (-6)/f a multiple of 15?
False
Let c(f) = 5*f**3 - 185*f**2 + 12*f + 39. Is 7 a factor of c(37)?
True
Let d = -51597 + 72638. Is 183 a factor of d?
False
Let v(c) = 4*c**2 + 7*c + 21. Let n be v(-7). Suppose 10*w - n = 14*w. Let o = -36 - w. Does 4 divide o?
False
Let k(d) = d**2 - 4*d - 5. Let g be k(5). Suppose g = 6*p - 22 + 4. Suppose -5*u - v + 280 = -563, -503 = -p*u - 2*v. Is 20 a factor of u?
False
Suppose 8*a - 818 = 4*a - f, -3*a + 618 = 3*f. Suppose -z + a + 316 = s, -s = 5*z - 512. Is 44 a factor of s?
False
Let i(u) = -u + 12. Suppose 5*t - 2*t - 26 = -4*v, -51 = -5*t + v. Let f be i(t). Is f - (222/(-18) - 2/3) a multiple of 8?
False
Is (218/(-4))/(2/((-138)/(-9)*-6)) even?
False
Let w(j) = 7*j**2 + 43*j + 9. Let h be w(-6). Suppose -840 = -h*n - 0*m - 3*m, 1120 = 4*n + m. Does 28 divide n?
True
Suppose -12*q = -6*q + 8*q - 10500. Is q a multiple of 3?
True
Let d(n) = 23*n - 20. Let l(f) = -f**2 + f - 1. Let y(p) = -p**2 - 10*p - 17. Let t be y(-8). Let x(j) = t*l(j) + d(j). Is x(-25) a multiple of 7?
True
Suppose 0*j = -j + 268. Let o = 169 + -329. Let q = o + j. Does 17 divide q?
False
Let b(d) be the first derivative of -d**4/4 + 19*d**3/3 + 23*d**2/2 - 16*d - 97. Is 58 a factor of b(18)?
False
Suppose -102 = 2*m - 124. Suppose m*v + 599 = 4493. Does 14 divide v?
False
Let g(z) = 19*z**3 + 8*z**2 - 7*z + 58. Is 2 a factor of g(6)?
True
Let g(s) = -2*s**2 - 13. Let c be g(4). Is 32 a factor of 36/(-14)*1680/c?
True
Let x be 70*4 - (-2)/(-1). Suppose 3*g = 4*k + x, 2*k = -4*g + k + 396. Let p = g - -17. Does 23 divide p?
True
Suppose 4*r - 2*r + n = 6, 2*r - n - 2 = 0. Suppose 0*m + 106 = -r*m. Let q = -31 - m. Does 22 divide q?
True
Let q(u) = 28*u**3 + 4*u**2 + 14*u + 28. Let l(p) = 28*p**3 + 5*p**2 + 15*p + 29. Let b(y) = 3*l(y) - 4*q(y). Is 31 a factor of b(-2)?
True
Suppose -21*g = -27*g + 18. Suppose -5 = 5*v + 3*l, -4*l - 21 = -3*v - l. Suppose 0 = g*n - v*f - 26, 4*n - 6*n = -2*f - 20. Is n a multiple of 3?
True
Let l(d) = -83*d - 59. Let o be l(4). Let a = o - -405. Is a even?
True
Let r be (-68)/18 - 14/63. Let f be (-2)/(r/8*-4). Let l(c) = 51*c**2 - c - 2. Is l(f) a multiple of 41?
False
Let w(o) = o**3 - 20*o**2 + 16*o - 120. Is 73 a factor of w(21)?
True
Let z(x) = 83*x + 22. Let p be z(6). Suppose -b + g + 2*g + 259 = 0, 2*b - 4*g - p = 0. Let u = 400 - b. Does 24 divide u?
False
Let v = -28 + 42. Suppose -10 - 32 = -v*n. Suppose -x + c = -131, -122 + 674 = 4*x + n*c. Is 27 a factor of x?
True
Let s be (-12)/32 - (-75)/8. Suppose 1104 = s*f - 426. Is f a multiple of 10?
True
Is 3672*((-18)/15)/((-63)/140) a multiple of 24?
True
Suppose 4*f - l - 16547 = 0, 3*f - 2*l = 1196 + 11208. Does 8 divide f?
False
Is 68 a factor of ((-2)/43 - 1587000/(-6450))/((-3)/(-33))?
False
Let d = -3799 + 10807. Is 24 a factor of d?
True
Is 3 + (11063 - -18) + 20 a multiple of 9?
False
Suppose 94*n - 98*n = -4*s + 40372, 3*s - 30293 = -4*n. Is 15 a factor of s?
True
Suppose -2*g - 4*g - 22422 = 0. Let v be (-15)/(-10) + g/(-2). Suppose 14*s - v = -3*s. Is s a multiple of 10?
True
Suppose 17778 = 13*y - 19415. Is y a multiple of 69?
False
Let p be 4/6 - (-26911)/(-51). Let x = p + 688. Does 2 divide x?
False
Let q = 6556 - -6209. Is (q/60)/((-2)/(-8)) - 2 a multiple of 32?
False
Let l(h) = 964*h - 478. Is 11 a factor of l(10)?
False
Let d = -255 - -575. Let x = -238 + d. Is 9 a factor of x?
False
Let s = -18 - -21. Suppose -n + 4*q = -18, 5*n - 46 = s*q + 10. Is 14 a factor of (-1498)/(-35) - (-2)/n?
False
Let j(r) = -8*r + 19. Let i(h) = 12*h - 28. Let y(u) = -5*i(u) - 8*j(u). Let a be y(4). Suppose 1031 = a*v - l, -v - 3*l + 259 = -2*l. Does 43 divide v?
True
Is 0 + (-1 - -3 - (-24 - 8654)) a multiple of 140?
True
Let y be ((-5)/10 + 5)*4/9. Suppose g = y*s + 466, 5*s - 950 = -0*g - 2*g. Does 43 divide g?
False
Does 21 divide (486/(-36))/(-5 - ((-60855)/2436)/5)?
True
Let l = -35843 - -71455. Is 307 a factor of l?
True
Let a be ((-44)/(-33))/(8/6). Is a - (-63 - 2) - 4 a multiple of 2?
True
Let z(k) = -2*k**3 + 70*k**2 + 10*k - 66. Does 3 divide z(34)?
True
Let u(w) = 25*w**2 - 13*w**2 - 14*w**2 + w**3 - 3*w. Is 8 a factor of u(7)?
True
Let r = -158 + 150. Is 17 a factor of (-20263)/(-92) + (-6)/r?
True
Suppose 0 = 38*a + 31*a + 10*a - 514843. Does 19 divide a?
True
Let b(f) = 520*f**2 + 1082*f - 6485. Is 61 a factor of b(6)?
True
Let n = 13041 + 2408. Does 95 divide n?
False
Is 37 a factor of (-28)/(-6) - 308/(-231) - -10169?
True
Suppose 0 = 3*t - 9 - 3. Let v(u) = 4*u + 1. Let q be v(t). Suppose -2*o - q = -21. Is o a multiple of 2?
True
Suppose -18 = 7*a - 88. Suppose 10 = -2*v, -v - a = -3*p + 4. Suppose -2*q - 9 = -5*t, t + p*q + 3 = 5*t. Does 2 divide t?
False
Let h = 45 + -13. Suppose h*x + 264 = 34*x. Is 20 a factor of (x/7)/(10/70)?
False
Suppose -3*h = 3*v - 2721, 2*h = 5*v + 3*h - 4551. Suppose -4*r + 1245 = 2*s - v, -s + 1057 = -5*r. Is 67 a factor of s?
True
Suppose 20029 = 2*v + 3*i - 4082, 36163 = 3*v + i. Suppose -v = -14*l + 6454. Is l a multiple of 94?
False
Suppose 2*x + 4*a = 20, -3*x - 5*a - 8 = -35. Suppose 2*v + 4*g - 8 = 0, -2*v - 5*g - x = -3*v. Suppose 4*k + v*k = 192. Is 7 a factor of k?
False
Let c(m) = -22*m - 14. Let p(b) = -21*b - 15. Let i(r) = -r**2 + 14*r + 3. Let y be i(14). Let z(s) = y*p(s) - 2*c(s). Does 26 divide z(-5)?
True
Suppose 2228 = 4*c + h, 3*h + 2802 = -39*c + 44*c. Is c a multiple of 3?
True
Let q = 845 - 501. Let w = q - -41. Does 66 divide w?
False
Let f(j) = -21*j**2 + j + 519. Is f(0) a multiple of 22?
False
Let g(t) = 3137*t**2 + 53*t + 52. Is 8 a factor of g(-1)?
True
Let l(j) = j**3 + 9*j**2 + 11*j + 18. Let m be l(-8). Is 20 a factor of -4 - m - (-2 + -16*16)?
True
Let p(h) = -148*h**2 + h. Let x be p(2). Let q = x - -875. Does 11 divide q?
False
Let u(w) = 14*w - 72. Suppose -32*x = -36*x + 64. Is 4 a factor of u(x)?
True
Is ((-4809)/2)/(5/(3100/(-30))) a multiple of 41?
False
Let a(q) = -199*q + 40. Let j(t) = t**3 + 8*t**2 + 17*t + 65. Let v be j(-7). Is 31 a factor of a(v)?
False
Is 28 a factor of ((-7)/2)/((-77)/25410)?
False
Let b = 31 - 29. Suppose -5*k + 20 = 0, 3*s + 3*k - 2731 = b*k. Suppose 7*r = s - 13. Does 21 divide r?
False
Suppose 8*t - 6*t + 18 = 4*v, -4*t + 41 = 3*v. Let a be v + -12 + (-8)/(-1). Suppose 2*o - 2*b = -a*o + 120, 0 = o + 5*b - 24. Is 14 a factor of o?
False
Let u be 161/(-46) - (-79814)/4. Is 10 a factor of (-1*(-2)/(-6))/((-35)/u)?
True
Let x(j) = j**3 - 82*j**2 + 4*j - 52. Is 4 a factor of x(82)?
True
Is 16*48/(-9)*207/(-6) a multiple of 5?
False
Suppose 4*d + o - 55 = 0, -2*d = 3*o + 2*o - 5. Suppose -3*h - 2*h + d = 0. Suppose f - 264 = -h*z, -4*z - 5*f + 511 - 148 = 0. Is z a multiple of 14?
False
Let h(x) = 7*x - 64. Let a be h(36). Let w = -41 + a. Is 10 a factor of w?
False
Suppose 4*g = -g + 10. Suppose -y - 840 = -g*y. Suppose -5*x + 5*p + y = 0, -x + p = 3*x - 660. Is 34 a factor of x?
False
Suppose -2*b - 40669 = -5*n, -1211 + 17471 = 2*n + 3*b. Is 30 a factor of n?
False
Let k = -47 + 83. Suppose 42*y - k*y - 546 = 0. Does 7 divide y?
True
Let u(g) = -5*g + 50. Let i be u(10). Suppose 2*j = k + 80 + 105, 5*k + 25 = i. Is 5 a factor of j?
True
Is 108 a factor of 6 - ((-2)/4)/(((-72)/(-57968))/9)?
False
Let n be (-12)/1*(-188)/(-4)*-1. Suppose n = s + 4*s + 2*v, -222 = -2*s + v. Is 14 a factor of s?
True
Let v(h) = -h**3 + 4*h**2 - 3*h + 10. Let u be v(-8). Let g = -382 + u. Does 28 divide g?
True
Let i = 2928 + 1132. Is i a multiple of 14?
True
Suppose -6*c + 2204 = -10. Let