)/(b/(-4)). Suppose 2*q = z + 4, 3 = 2*z + 3*q - f. Is 2 a factor of z?
True
Suppose -17*s - 160 = -22*s. Suppose -6*b - 14 = -2*b + 2*k, -4*k = -2*b - s. Let v = b + 39. Is 8 a factor of v?
False
Let w(o) be the second derivative of o**4/3 - o**2 - 471*o. Let x = -8 - -6. Does 14 divide w(x)?
True
Let n(a) = 140*a**2 + 87*a + 174. Is 14 a factor of n(-2)?
True
Suppose r - 90*z = -92*z + 93, 0 = 2*z. Suppose -3*m + 12 = 0, -5*m = 2*x - 26 + 2. Suppose -5*p = -x - r. Does 5 divide p?
False
Suppose 18*s = 22*s - 20. Suppose -s*i - 6*i = -506. Does 2 divide i?
True
Let t(n) = -64*n + 1429. Is t(18) a multiple of 16?
False
Suppose k - 5*o = 2358, -12*k - 7152 = -15*k + 2*o. Is 6 a factor of k?
True
Let w(p) = -4*p**2 + 23*p + 12. Let g be w(5). Suppose g*u = 15622 + 7193. Is 36 a factor of u?
False
Let y = 11 - 31. Let w be (7/(56/y))/((-1)/(-10)). Is 10 a factor of (-8)/10 - 2020/w?
True
Let s be (11 - 12)/((-2)/10). Suppose 5*w = 5*i + 80, -i + 71 = s*w - 3*i. Let a(p) = 9*p - 67. Does 20 divide a(w)?
False
Let i be (10/(-15))/((-4)/10968). Suppose -85*h + i = -83*h. Does 35 divide h?
False
Let k(b) = b**3 + 21*b**2 + 19*b + 20. Let n be k(-20). Is 17 a factor of (44/2)/((n/(-92))/(-5))?
False
Let r = 89 + -30. Let w = r + -59. Suppose -x + 3*f = -w + 7, -25 = -5*x - 5*f. Is x even?
True
Does 78 divide ((11 + -8)/3)/(1/21871)?
False
Let h(i) = -3*i**2 - 4*i + 488. Let r = 559 + -559. Is h(r) a multiple of 37?
False
Let d(a) = -33*a**2 + 651*a - 48. Is 89 a factor of d(6)?
True
Let z(u) = u**3 + u**2 - u + 1. Let t(k) = -357*k**3 - k**2 - 3*k + 1. Let d(l) = -t(l) - 4*z(l). Let y be d(2). Is 20 a factor of 3/(-4) + y/28?
True
Let r = -162 + 168. Suppose -r*k = -28 - 194. Does 6 divide k?
False
Let o = 16369 + -4552. Is o a multiple of 13?
True
Let y = -8317 - -12412. Does 65 divide y?
True
Let x(m) be the first derivative of -7*m**2 - 117*m - 42. Does 22 divide x(-22)?
False
Suppose -4*o + 14 = 5*q, 2*q = -5*o - 0 - 8. Let s be ((-1)/(-2) - 1)*q. Let n(x) = -x**3 - 2*x**2 + 3. Does 12 divide n(s)?
True
Suppose -o = m - 2119, 10*o = -5*m + 11*o + 10619. Is 33 a factor of m?
False
Suppose -3*f - 2*z = -5470 - 1982, 0 = 5*z. Is 27 a factor of f?
True
Suppose 5*m + 11*q - 85122 = 9*q, 5*q + 34072 = 2*m. Is 56 a factor of m?
False
Let t be 7824/36 - (4/12 + -1). Is 14 a factor of (32 - 29) + 2*t/4?
True
Let l be 43 + (((-120)/(-4))/(-6) - -9). Suppose -45*x = -l*x + 2482. Is 73 a factor of x?
True
Suppose 5*r + 5*t = 0, 0*t + 15 = -5*t. Let s be (1 - (r + -1))/((-2)/(-4)). Is 11 a factor of s/(-3)*1326/52?
False
Suppose 4*t = 5*g + 23, 5*g - 13 = -5*t - 18. Suppose -2*p + 270 = 6*r - 4*r, r + 264 = t*p. Is p a multiple of 19?
True
Suppose 205 + 705 = 2*l. Does 35 divide l?
True
Suppose 0 = -3*n - 5*d - 82, -5*n + 4*d = -d + 110. Let i = 27 + n. Suppose 0*t - i*t + 219 = 0. Is t a multiple of 13?
False
Let v = -19716 - -40884. Is v a multiple of 54?
True
Let w(b) = 16550*b**2 + 29*b - 25. Is 31 a factor of w(1)?
True
Let v = 170339 + -93705. Does 10 divide v?
False
Let c be (-721*(-12)/18)/((-4)/(-6)). Suppose c - 1 = 2*b. Suppose 4*v = -w + b, 0 = -3*v - 8*w + 9*w + 263. Is 10 a factor of v?
False
Does 47 divide 2889 + (-1 - 12) + 16?
False
Let r be -45 + (-5)/(0 + 1). Let z(g) = -3*g**3 - 2*g**2 + 2*g - 2. Let d be z(2). Let o = d - r. Does 10 divide o?
True
Suppose 2*y - c - 54 + 17 = 0, 23 = y - 5*c. Suppose n - 2*j = 151, 17*j = y*j + 2. Does 10 divide n?
False
Let j = -447 - -488. Let h = j + -11. Does 11 divide h?
False
Suppose -6*f + 86 = -16. Suppose 2*b + 139 = g, -f = -4*b + 3. Suppose 4*t + 4*m = 148, 4*m + g = 5*t - 0*m. Does 8 divide t?
False
Let v(h) = h**3 - 9*h**2 - 9*h - 3. Let j be v(10). Suppose j*b = 876 + 5438. Does 13 divide b?
False
Let a(n) = 38*n + 48. Does 18 divide a(30)?
True
Suppose 158*a + 29372 + 10660 = 167*a. Does 278 divide a?
True
Let y be -1*(-174)/(-9)*3. Let m = y + 59. Is (((-55)/(-10))/11)/(m/626) a multiple of 23?
False
Suppose -13*s = -14*s + 176. Let f be s/55*(-3)/(6/(-80)). Suppose f = 4*a - 4*x, -4*a - 5*x + 173 = -0*a. Is a a multiple of 13?
False
Let f be 1*(-4 + 3)*218. Let r = f + 473. Does 21 divide r?
False
Let i(m) = m**3 + 5*m**2 + 6*m + 3. Let c be i(-3). Let d be (c/2)/(-1)*(-36)/27. Suppose 10 = l - d. Does 3 divide l?
True
Let y(x) be the third derivative of x**5/60 - x**4/24 - 15*x**3/2 + 59*x**2. Is 25 a factor of y(18)?
False
Suppose 2*q - 17170 = -15636. Is q a multiple of 2?
False
Suppose -3*h - 4*m = 8, -2*h = h + 5*m + 10. Suppose -2*f - x - 12 = -h*f, 0 = -3*f - 4*x - 8. Is 7 a factor of ((-10)/f)/((-3)/(-60))?
False
Let x be -1 + (2 - 1*(-5 + -10)). Does 6 divide 2/4 + -8 + 5208/x?
True
Suppose 0 = 15*u - 18*u + 2*t + 11366, 4*u + 3*t = 15149. Does 58 divide u?
False
Is 59 a factor of 3*(-2)/(-18) + 745416/324?
True
Suppose -4 = 2*x + b, -x + 2*b = 4*x + 1. Does 9 divide 23/((2 - x)/27)?
True
Let d(s) = 3*s**2 - 66*s**3 - 3*s + 0 + 67*s**3 + 4. Let b be d(-4). Suppose 5*u - u - 188 = b. Is 14 a factor of u?
False
Let n(a) = -42*a - 28. Let f = 240 + -248. Does 14 divide n(f)?
True
Let h = 61535 - 25298. Is 141 a factor of h?
True
Let w(j) = 130*j - 19. Let k(l) = 3*l - 6. Let t be k(3). Is 37 a factor of w(t)?
False
Suppose 0 = 2*l - 5*x - 2152, 5310 = 5*l + 6*x - x. Does 13 divide l?
True
Let q(t) = -t + 2. Let b be q(0). Suppose -b*c + 434 + 786 = 0. Is 49 a factor of c?
False
Suppose 132 = 3*l - l. Let v be l/18 - (-1)/6*-4. Suppose 4*h + 1 = y - v, 2*y = 2*h + 32. Does 20 divide y?
True
Let n(l) = 36*l. Let t = -128 + 141. Let h be n(t). Suppose 8*r + h = 10*r. Does 39 divide r?
True
Suppose -46*c = -31165 + 299. Is c a multiple of 61?
True
Let d = -202 + 207. Suppose 28 = 4*z + d*p - 0, -5*p = -2*z + 44. Is z even?
True
Let g(r) = -9*r - 8*r**2 + 10*r + 1 - r**3 + 7*r**2. Let h(f) = -33*f**3 - 3*f**2 + 6*f + 5. Let z(x) = -3*g(x) + h(x). Is 7 a factor of z(-1)?
False
Suppose -3*c + 10*k - 16*k = -2883, c = -4*k + 953. Does 2 divide c?
False
Suppose -5*i = -o - 285, -8*i + 10*i - 4*o - 114 = 0. Suppose i*u + y = 59*u - 905, -1363 = -3*u - 4*y. Is u a multiple of 30?
False
Let n(t) = 29*t**2 - 2*t - 2. Let d be n(-3). Suppose d + 59 = 2*r. Is 6 a factor of r?
True
Let i = -92 + 136. Suppose -w - 75 = -i. Let t = w + 85. Is t a multiple of 11?
False
Let c(f) = f**3 + 10*f**2 + 16*f + 11. Let t = -53 - -45. Let h be c(t). Suppose 2*r + 0*r = -4*l + 8, r - 5*l = h. Does 3 divide r?
True
Does 2 divide -2*2102*((-22)/55 + (-1)/10)?
True
Let m = -402 + 406. Suppose -7*d + 604 = -5*d - 2*o, m*d = -o + 1203. Is 9 a factor of d?
False
Let n(o) = 33*o**2 - 65*o - 713. Does 13 divide n(27)?
False
Let k(z) = -2*z**3 + 3*z**2 + 3*z. Let p be k(-2). Suppose 0 = -p*s + 10*s. Suppose -g - 2*b - 564 = -5*g, -4*g + b + 568 = s. Is 17 a factor of g?
False
Let g = -108 + 106. Let p be g + (-5)/(-3) - (-296)/24. Let u(s) = 10*s - 40. Is 25 a factor of u(p)?
False
Let q = -1683 + 800. Let v = q - -2436. Does 66 divide v?
False
Let z = 68019 - 41325. Does 9 divide z?
True
Let d = 60 + -85. Let o be 44/2*12/8. Let r = o - d. Does 34 divide r?
False
Suppose 0*a - 5*c - 50 = -3*a, -2*a - 3*c = -46. Let t = 50 + a. Does 3 divide t?
False
Let b(j) = -j - 1. Let l = -7 + 3. Let y be b(l). Suppose 0*o + 5*a + 28 = 3*o, -4*a = -y*o + 32. Is 7 a factor of o?
False
Let s(o) = -111*o**2 + 31. Let n be s(8). Does 27 divide n/(-44) + 1/4?
False
Let d(c) = 7*c**2 - 51*c - 26. Is 100 a factor of d(32)?
False
Let u be 2*((-217)/21)/(1/(-3)). Let g = u - -688. Is 44 a factor of g?
False
Suppose -9612 = 14136*a - 14148*a. Does 9 divide a?
True
Let v be (-182)/8 + 6/(-24). Let a = v - -30. Let l = 5 + a. Is l a multiple of 6?
True
Suppose 5*y + 2*z = 7139, 4*y - 5*z - 5719 = -4*z. Suppose -h = -0*s - 4*s + y, -4*s = -4*h - 1432. Is 9 a factor of s?
False
Suppose x = k - 1, -2*x + k - 8 = -3*k. Suppose -a = -0*a - x*r - 312, -2*a - 3*r = -624. Is 26 a factor of a?
True
Suppose 6 = -9*k + 42. Suppose 4*y - 2*f = 792, -k*f - 355 - 437 = -4*y. Is y a multiple of 22?
True
Let q = -539 - -567. Is 19 a factor of (q/(-126)*-1254)/(1/3)?
True
Let q(o) = -2*o**2 - 18*o - 15. Let m be q(-8). Suppose -17 = -f + 3*j, -f = j - 0*j - m. Suppose f*c = 3*u - 351 - 256, 2*u - 430 = -3*c. Does 36 divide u?
False
Let v(f) = -498*f - 1592.