 -22*d = -33*d + x. Is 67 a factor of d?
True
Let j(z) = 93*z - 2. Suppose 45*t - 535 = 40*t. Let v = -106 + t. Is 7 a factor of j(v)?
True
Let x(p) = -33 - 2*p**2 + 12*p + 8*p - 26 + 47. Let m(f) = f**3 + 5*f**2 - 8*f - 4. Let a be m(-6). Is x(a) a multiple of 5?
True
Let t be (24/(-20))/((-1)/(-10)). Let s be (16/(-32))/(2/t). Suppose 5*q - 4*q - 39 = 3*b, 0 = b + s. Is 10 a factor of q?
True
Suppose -2*x + 2*j - 372 + 76 = 0, 0 = 4*x + 3*j + 627. Is 1/(1/(-5)) - x a multiple of 58?
False
Suppose -3*o - 185 = -8*o - 5*p, 2*p = -6. Let g(s) = 25 - o - s + 3*s. Does 2 divide g(15)?
False
Suppose -4006 = 23*p - 11941. Is 18 a factor of p?
False
Let n(r) be the first derivative of -27*r**2 - 8*r + 590. Suppose -l + 0 = 3. Is 11 a factor of n(l)?
True
Let i(z) = -3*z**2 + 31*z - 34. Is i(8) a multiple of 2?
True
Is 6 a factor of (-40)/(-48) + 3241/42?
True
Suppose 14*p - 10*p - 168 = 0. Let s = p - 31. Suppose 1 + 725 = s*z. Does 11 divide z?
True
Suppose -4*z + 4*f + 63 - 171 = 0, -z + 3*f = 21. Let a = 32 + z. Does 17 divide (-4)/(-14) + (-1364)/(-28) + a?
True
Let n = 504 - 506. Does 3 divide 8/n + 159 + -10?
False
Let v(c) = -c**3 + 16*c**2 - 16*c + 12. Let k be v(15). Let m be ((-2)/(-2) - 3)*(-4 - k). Suppose -5*n + 56 = -m*a, 3*a - a = 2*n - 20. Is 3 a factor of n?
True
Is 33 a factor of -7 + 1 - 2*(16 - 2401)?
False
Let h(o) be the first derivative of 9*o**4/2 - 2*o**3/3 + 3*o**2/2 - o - 17. Let f be h(2). Suppose 9*i - 516 = f. Does 11 divide i?
False
Suppose -24*t = -1842 - 7014. Suppose -t = -l - k, 0 = 2*l + 4*k - 129 - 611. Does 8 divide l?
True
Let y(a) be the first derivative of a**4/4 + 2*a**3 - 4*a**2 - 2*a + 1. Let p be y(-6). Suppose 3*n - b = -2*n + 119, -2*n + p = -2*b. Does 8 divide n?
True
Suppose 2 = -3*g + 6*h - 4*h, -3*g - h = -10. Suppose -4*r + 2*y = -2046, g*r - 1021 = -32*y + 31*y. Is 5 a factor of r?
False
Suppose z - 2*z = -3*d - 24, -2*d - 16 = z. Let i(m) = -9*m - 18. Let y be i(d). Let s = y - 40. Is s a multiple of 7?
True
Suppose 33238 = -99*i + 125110. Is 112 a factor of i?
False
Let m = -10320 + 19821. Is 15 a factor of m?
False
Suppose 3*d = 5*d - 16. Suppose 3*z - 2*o = -z + 12, 5*z = 5*o + 15. Let f = z + d. Is f a multiple of 11?
True
Suppose -4*i + 4 = -0*i, 5*i + 10 = 5*g. Suppose g*h - 12 = 0, 5*n - 482 = 2*h + 75. Let l = 168 - n. Does 5 divide l?
True
Suppose 5*a + h + 28 = -3*h, -5*h - 25 = 5*a. Let g(d) = -32*d + 24. Let z be g(a). Suppose 6*j - j - z = 0. Is j a multiple of 8?
True
Let f(b) = 9*b**2 + 13*b + 22. Let d be f(8). Let c = d + -152. Does 11 divide c?
True
Suppose 3*p = -5*b + 26845, -4*p + 5*p + 4*b - 8960 = 0. Is p a multiple of 12?
True
Let a(q) = -q**3 - 12*q**2 - 19*q + 21. Let u be a(-9). Let j = u - -121. Is j a multiple of 14?
True
Let o = 9764 - 1252. Is o a multiple of 28?
True
Suppose -47 = -3*s + h, -2*s - 4*h + 7 = -1. Let b(m) = m**3 - 14*m**2 + 3*m - 35. Let x be b(s). Is 7 a factor of (-2)/x - 1560/(-21)?
False
Suppose 29*n + 3577 - 6539 = 9218. Is n a multiple of 42?
True
Let z(q) = -q**3 - 5*q**2 - 8*q - 2. Let f be z(-3). Suppose 5*s - 25 = 0, 2*u - 4*u = f*s - 280. Is u a multiple of 26?
True
Suppose -18762 = -3*a - 4*f, -77*f + 18762 = 3*a - 79*f. Is a a multiple of 10?
False
Let u be -5*10/(-250) + 56/(-5). Let b(p) = p**3 + 11*p**2 - 9*p + 12. Does 37 divide b(u)?
True
Let q = -15645 - -25595. Is 38 a factor of q?
False
Let f be 592 + (28/(-63))/((-4)/18). Let m = f - 324. Is 6 a factor of m?
True
Suppose 5 = 5*r - 9*g + 10*g, 4*r - g = 13. Let a(b) = 34 - 22 - 20 + b + 4*b**3 - r*b - b**2. Is a(4) a multiple of 22?
False
Let o = -8 + -2. Let p = 15 + o. Suppose 4*x = -2*i + i + 101, p*x - i - 115 = 0. Is x a multiple of 17?
False
Let q(c) = -8*c - 15. Let m be q(3). Let j = -36 - m. Suppose -k + 5*b + 7 = 0, -2 = b - j*b. Is k a multiple of 12?
True
Suppose 88 = a + 79. Suppose 0*v + a*v = 7614. Suppose -6*m = -v - 162. Does 24 divide m?
True
Let u(y) = 23*y**2 + 11*y + 135. Does 39 divide u(-8)?
False
Let h(t) be the first derivative of -9 - 1/3*t**3 + 16*t + 8*t**2. Does 12 divide h(15)?
False
Suppose -636*b = -615*b - 232449. Does 8 divide b?
False
Let z(i) = 4*i**2 - 17*i - 77. Let r be (-12)/(-8)*-2 + -3 - 3. Is z(r) a multiple of 28?
False
Let f = 730 - 1315. Does 6 divide ((-13)/(f/(-72)))/(1/(-180))?
True
Let g be (((-15)/9)/5)/(3/18). Let m(z) = 92*z**2 - 3*z - 6. Is m(g) a multiple of 16?
True
Let u be (-8)/14 + (-5415)/(-105). Is (-3)/4 - u/(-4) a multiple of 6?
True
Does 63 divide (-28)/(-126) + (6/10 - (-408018)/270)?
True
Let b(q) be the second derivative of -7*q**6/72 - 7*q**4/12 + 21*q. Let l(g) be the third derivative of b(g). Is 14 a factor of l(-2)?
True
Suppose q - 14 = 19. Suppose 3*b - q + 3 = 0. Is b a multiple of 2?
True
Suppose 10*d = -3*y + 11*d + 1993, -2*d + 2674 = 4*y. Let s = 552 + y. Is 14 a factor of s?
True
Let p be (-4)/(-38) - ((-160048)/76 - -1). Suppose 2*o - 2107 = 3*i, -23*o + 21*o + p = -5*i. Does 20 divide o?
False
Let v(c) = -c + 6. Let u = 16 - 12. Let n be v(u). Suppose -o - 156 = -2*k - 5*o, 141 = n*k + o. Does 17 divide k?
True
Let s = 4757 - 4441. Is s a multiple of 9?
False
Suppose 87*x - 97139 - 134281 = 0. Does 35 divide x?
True
Suppose 265 - 85 = 5*l. Let y be (l/(-54))/((-2)/1182). Suppose -778 = -4*h - 0*h - 5*q, 0 = -2*h - 5*q + y. Is 34 a factor of h?
False
Suppose -5*t + 200 = 5*t. Suppose -40 - t = -15*q. Suppose -3*g = 4*x - 334, -q*g + 3*x - 6*x = -457. Is 31 a factor of g?
False
Let f(m) = 3*m - 86. Let y(i) = -2*i + 86. Let u(l) = -5*f(l) - 4*y(l). Is 5 a factor of u(-18)?
False
Let x(g) = 3*g**2 + g + 1. Let m be x(-1). Suppose 4*a + 157 = m*f, -2*a - 243 = -3*f - 2*f. Suppose 0 = -2*r + f + 19. Is r a multiple of 11?
True
Let n(q) be the third derivative of 0*q**4 + 7/15*q**6 + 1/60*q**5 + 0*q - 3*q**2 + 0 - 1/6*q**3. Is n(1) a multiple of 14?
True
Let t(c) = 9*c**2 + c. Let v be (0 - (-6)/18)/(2/18). Does 14 divide t(v)?
True
Suppose -2*y = -8*y + 30. Suppose 0 = -2*g - y*g + 2506. Let s = g - 99. Is s a multiple of 48?
False
Let g = -387 - -1314. Suppose 0 = -5*j + d + 2879, 5*d - g = -3*j + 778. Is 53 a factor of j?
False
Let p(u) = -u**2 - 19*u - 12. Let n be p(-18). Is 22 a factor of 45 - 6/(12 - n)?
True
Let f(d) be the second derivative of -16*d**3/3 + 14*d**2 + 24*d. Let c be f(-3). Suppose 2*w = c + 118. Is w a multiple of 8?
False
Suppose 6*m = 22*m - 32. Suppose -m*h = -15*h + 3432. Is 11 a factor of h?
True
Suppose n - 3*t - 25699 = 0, 4*n - 59633 = -5*t + 43180. Is n a multiple of 181?
True
Suppose -c + 4*b - 71 - 38 = 0, 4*b + 93 = -c. Let o = c + 141. Does 2 divide o?
True
Suppose 5*i + d + 2 = -2, 2*i = -d - 4. Let h(z) = -3*z**2 + 2*z - 108. Let x be h(i). Is ((-9000)/x)/((-4)/(-6)) a multiple of 25?
True
Let u = -73991 - -108841. Is 82 a factor of u?
True
Let a(o) = o**2 + 4*o. Let q be a(-3). Is (q - 138/(-30))*715 a multiple of 26?
True
Let z(o) = -10*o + 79 - 62 + 75 + 29. Is z(-7) a multiple of 58?
False
Suppose 14*h + 54 = 11*h. Is 899/3 - h/54 a multiple of 12?
True
Suppose 2*h - 14 = 5*u, 4*h - 2 = -5*u + 2*u. Suppose -n = j + h*j - 100, 4*n = 5*j + 417. Let o = n + -53. Does 10 divide o?
True
Let t be (-30)/(-9)*15/(-2). Let a(l) = -2064*l**3 - 14*l**2 - 61 + 3*l**2 - 14*l**2 - 10*l + 2063*l**3. Is 42 a factor of a(t)?
False
Suppose u - 5 = -4*u - i, 2*i = -4*u + 10. Suppose 11*b - 2*d = 13*b - 972, u = -5*b - 2*d + 2424. Is 22 a factor of b?
True
Let x be (-3)/((-27)/(-3))*(-4 - 2). Suppose 5*w - 576 - 110 = x*c, -139 = -w + c. Is w a multiple of 17?
True
Let o = -403 + 415. Suppose 261 = o*k - 519. Is k a multiple of 44?
False
Let z(u) = u**2 + 15*u + 14. Let k be z(-14). Suppose k = -20*t + 1347 + 6653. Is 12 a factor of t?
False
Let o = 55 - 101. Let l = o - -36. Does 6 divide l*((-13)/2 + -1)?
False
Suppose -4*w + 27 + 17 = 4*o, o = -3*w + 19. Suppose -6*p + o*p - 5 = 0. Suppose 4*y + 95 + 20 = p*q, -92 = -4*q + 5*y. Is q even?
False
Let p = 7190 + 6842. Is p a multiple of 10?
False
Suppose 2*x - 23296 = -b, -5*x + 23275 = 3723*b - 3722*b. Is 33 a factor of b?
False
Suppose -6*i + 27 = 3. Suppose -i*k = 2*k - 2322. Let g = -255 + k. Is 12 a factor of g?
True
Let b(t) = 1035*t + 3. Let q be b(0). Let y(s) = 36*s**2 + s - 1. Let n be y(-2). Does 4 divide 1/((q/n)/1)?