- 2*q(s). Let z be w(6). Suppose -2*x + 109 = -z. Is 8 a factor of x?
True
Let a be (-50)/(-20)*6/(-5). Let u(o) = -64*o + 142. Is u(a) a multiple of 4?
False
Is 1 + -4 + (-17)/((-102)/5556) a multiple of 31?
False
Suppose 2*g - p - 6393 = 0, 2*g + 2*p - 6393 = -3. Is 34 a factor of g?
True
Suppose -4*t - 5*m + 38 = -7*m, 31 = 2*t - 5*m. Suppose 5*f = 9*a - t*a + 4993, -8 = -4*a. Is f a multiple of 23?
False
Let w = 3 - -2. Suppose -7 - 5 = -6*t. Suppose -4*s + 246 = t*a, w*s - 431 - 199 = -5*a. Is 20 a factor of a?
False
Let y be 180*((-24)/(-9) - 1) - 0. Let w = -220 + y. Is w a multiple of 20?
True
Let x be 0/(-1) + -2 + 7. Suppose 0 = 2*u - 3*a - x, -3*a - 9 = -3*u - 0*a. Suppose -i - 154 = -u*m + 81, 255 = 4*m + 3*i. Is 12 a factor of m?
True
Let z(g) = -107*g**3 - 22*g**2 - 5*g. Does 123 divide z(-3)?
True
Let t(g) = 106*g - 1143. Is 51 a factor of t(18)?
True
Let w = 3065 - -3453. Does 100 divide w?
False
Let w(t) = -t**3 + 31*t**2 - t + 58. Suppose 0 = -4*v + 64 + 56. Is 29 a factor of w(v)?
True
Suppose 0 = -13*f - 10*f - 69. Let d(k) = 23*k**2 - 8*k - 14. Is d(f) a multiple of 31?
True
Suppose 5*i + 35*r - 71304 = 34*r, 5*r = -2*i + 28517. Is i a multiple of 6?
False
Let k(f) = -835*f + 1342. Is k(-7) a multiple of 4?
False
Suppose 341*w - 5311885 - 612649 = 0. Is 217 a factor of w?
False
Suppose 0 = 2*c - 2, -3*f + 5*c + 79708 = -17967. Is 110 a factor of f?
True
Let l(f) = 2*f - 3. Let a be l(3). Suppose -a*t + 145 = 3*y - 17, -108 = -2*y + 5*t. Is y a multiple of 4?
False
Let f be (-1)/(-3) - (2/(-3) - -1). Suppose f = 6*i - i + 4*l - 500, l = 0. Is i a multiple of 5?
True
Let j be 12/(5 - (4 - (-5)/2)). Is 8 a factor of -6 - (j - (412 + 0))?
False
Let b be 5/((-25)/2590)*1. Let p be b/(-4) + 6/(-4). Let t = 220 - p. Is 19 a factor of t?
False
Let m = 194 + -199. Is 112 - m*20/(-25) a multiple of 36?
True
Does 6 divide 2*(-8864)/24*(-6)/(-4)*-12?
True
Suppose 0 = m + 2*h + 3*h - 16, -2*h = -2*m - 16. Is 11 a factor of ((-198)/(-18))/(m/(-44))?
True
Let a(h) = 5*h**3 - 16*h**2 + 26*h - 7. Let l = 75 - 70. Is a(l) a multiple of 24?
False
Suppose 4*p = 2*n, -p + 4 = -n - 1. Does 6 divide (-4)/n - 3706/(-85)?
False
Let y(p) be the third derivative of p**5/60 + 17*p**4/24 - 83*p**3/6 + 34*p**2. Is y(-35) a multiple of 15?
False
Let j = 786 - 540. Suppose 4*z - 1938 = j. Is 13 a factor of z?
True
Let w(s) = s**2 - 3*s + 5. Let j be w(0). Suppose -q = -k - j*q + 188, 3*q - 396 = -2*k. Is 12 a factor of k?
True
Let w = 175 + -245. Let l be -3 - ((-252)/w)/(4/(-10)). Is 16 a factor of 9/4*232/l?
False
Suppose -3562500 - 3490220 = -245*x - 2204415. Does 36 divide x?
False
Let p = -1271 - -2573. Suppose -p = -26*w + 674. Is w a multiple of 10?
False
Let x(i) be the third derivative of 0 + 11/24*i**4 - 25*i**2 + 1/60*i**5 + 0*i - 1/2*i**3. Is x(-16) a multiple of 16?
False
Suppose -4*j - u = 2*u - 760, 0 = -4*j - u + 760. Suppose j + 31 = -s. Let b = 45 - s. Does 39 divide b?
False
Let i be (-7 + 17)/(-5)*-2. Let j(t) = 5*t + 13. Does 4 divide j(i)?
False
Let u(k) = -28 + 4*k**2 - 6 - 11*k + 16*k - 6*k - 6*k. Does 4 divide u(10)?
True
Suppose 96 = -2*w + 3*p, 59*p - 57*p + 602 = -11*w. Let a be 130/(-4)*(-3 + 1). Let o = a + w. Is o even?
False
Let u(y) = 29*y + 17. Let t(l) = -7*l - 4. Let o(b) = -9*t(b) - 2*u(b). Let i be o(-1). Is i + 41 + 0/(12/4) a multiple of 13?
False
Let s(v) = 7*v**2 - 1. Suppose 5 = 4*n + 1. Let q be s(n). Suppose -95 = -q*k - 29. Is 2 a factor of k?
False
Let v(p) be the third derivative of -959*p**4/24 + 19*p**3/6 - 123*p**2 - 1. Is v(-1) a multiple of 26?
False
Let o = -3306 - -7706. Does 110 divide o?
True
Suppose -5*p = 3*t - 89, 77 = 5*p - 4*t + 3*t. Suppose -2*n + 40 = -42. Let s = n + p. Is s a multiple of 31?
False
Let a = 931 - 2057. Let o = -70 - a. Is 48 a factor of o?
True
Let r = 5 - -57. Let v = 1114 + -1109. Suppose 172 = v*s + u, -2*s - u = -r - 8. Does 17 divide s?
True
Let b be 12/(-30) + 126/15. Let x(y) = 10*y**2 + 18*y + 20. Is 67 a factor of x(b)?
True
Let k = -662 - 13. Let u = 945 + k. Is u a multiple of 45?
True
Let g = -34 - -50. Suppose -24 = g*d - 14*d. Is (-1240)/d*(-15)/(-10) a multiple of 31?
True
Suppose 39 = -8*r + 3*r - 4*d, 0 = 2*r + 4*d + 18. Let t be (42/(-9))/r*(-18)/(-4). Suppose t*h = 5*h + 10, h + 135 = 5*k. Is 7 a factor of k?
False
Let r(g) = -g**2 - 23*g + 6. Let s = -13 + -10. Let v be r(s). Is 5 a factor of (-9)/(-6)*4*v?
False
Let a(g) = 6*g + 122. Let x be a(-20). Suppose 2921 = 4*v + 3*j, -4*j + 1409 + 59 = x*v. Is 14 a factor of v?
True
Suppose 6*x + 13*x = -3*x + 14014. Is 13 a factor of x?
True
Let w(n) = 388*n + 3526. Is w(28) a multiple of 10?
True
Suppose -11*r - b = -95042, 23*b = 21*b + 4. Is 9 a factor of r?
True
Suppose f = -69 - 129. Let x = f + 230. Is 6 a factor of x?
False
Let i = 126 - -611. Suppose -r + 0*s + 1 = 3*s, 5*r + 5*s - 35 = 0. Suppose -r*z - 17 + i = 0. Does 13 divide z?
False
Suppose 3*y = 7 + 2. Suppose n = -2*j + y, 0 = 2*n + j + 4*j - 6. Does 16 divide 388/6 + (20/6 - n)?
False
Suppose -x - 4840 = -y, 40*y - 35*y - 24207 = -2*x. Is 19 a factor of y?
False
Let q(k) = -k**3 - 9*k**2 + 10*k + 6. Let o be q(-10). Does 15 divide (-500)/(-30)*2*4*o?
False
Suppose 4*b - k + 1 = 0, 0*b + b - 4*k = 11. Does 38 divide b + 4 + (5 - -331)?
False
Let y(x) = -38*x + 85 + 79 + 10*x. Does 37 divide y(-10)?
True
Suppose -10*r + 2*r - 4544 = 0. Let d = 1112 + r. Does 16 divide d?
True
Let u be 4/18 - 2428/(-9). Let v be 0 + (1/(-2))/(84/(-1512)). Suppose -4*c - u = -v*c - 3*l, -4*l + 94 = 2*c. Is c a multiple of 19?
True
Let d = -308 + 392. Suppose 3*z + d = 3*a, 37*a + 2*z = 41*a - 102. Does 23 divide a?
True
Is 6 a factor of 24*(252/24 + (0 + 5 - 0))?
True
Let l(p) = 8*p**2 - p + 8. Let f = 66 - -2. Let j = 65 - f. Is l(j) a multiple of 6?
False
Let u(b) = -b**3 - 52*b**2 - 218*b - 4. Is u(-56) a multiple of 22?
False
Let q be (-2 - (-2)/4)*-46. Let b = -940 + 961. Let h = q - b. Is h a multiple of 4?
True
Suppose 3*v + 17157 = 2*j, 74*v = 4*j + 69*v - 34307. Does 42 divide j?
True
Suppose -a - 29 = 5*s + 47, 2*s + 16 = -4*a. Let b = s - -28. Is (76/(-6))/((-8)/b) a multiple of 19?
True
Suppose -6*v + 4*g = -v - 1528, -g = 2. Is (-38)/(-16) + (-114)/v a multiple of 2?
True
Let w(q) = q**2 - 6*q - 7. Let r = -7 - -21. Let m be w(r). Suppose -2*g = -2*u + 62, -5*g - 22 = 2*u - m. Is 21 a factor of u?
False
Let z(h) = h**3 + 8*h**2 + 4*h + 2. Let o be z(-4). Let b = 96 - o. Suppose b = x + 11. Does 7 divide x?
True
Is (1/(116/(-145)))/(0 + (-2)/2688) a multiple of 20?
True
Let c(r) = -r**3 + 4*r**2 - 3. Let q be c(4). Let n be 5*3 + q + 4. Suppose n*b + 192 = 19*b. Is 10 a factor of b?
False
Let z(l) = l**3 + 8*l**2 - 14*l + 11. Let c(y) = 9*y**3 - 5*y**2 - y. Let x be c(-2). Let n be (-2 - -1)/((-10)/x). Is 8 a factor of z(n)?
True
Suppose -4*p + 8 = -2*s, -5*s = 4*p - 17 - 5. Suppose 2085 = 5*u - w + 4*w, -s*u = -5*w - 865. Does 15 divide u?
True
Let b be 3 + (-11 - (1 + 2)). Let w = -3 - b. Does 9 divide (90/w)/(2/8)?
True
Suppose 63*b + 31222 = 99136. Does 165 divide b?
False
Suppose 4354 = -30*q - 3056. Let v = 670 + q. Is v a multiple of 9?
True
Let h(n) = 3*n**2 + 50*n - 15. Let q(j) = 5*j**2 + 51*j - 14. Let p(m) = 2*h(m) - 3*q(m). Let a(y) be the first derivative of p(y). Is 30 a factor of a(-14)?
False
Suppose -6 = -3*q + 9. Suppose 2*s - 4*w - 95 - 219 = 0, 5*s - q*w = 785. Is 5 a factor of s?
False
Let j be (4 - 5)/((-4)/28). Suppose -6 = -j*l + 22. Suppose 0 = l*h - 613 - 95. Is 44 a factor of h?
False
Let b(q) be the first derivative of q**3/3 - 33*q + 5. Let u be b(-6). Suppose -u*g - o + 391 = 4*o, o = 3*g - 361. Does 23 divide g?
False
Suppose 3*s = -m + 4983, 4*m - 1433*s + 1434*s = 19965. Does 12 divide m?
True
Let l = 58 - 0. Suppose -510 = l*p - 63*p. Suppose 4*x + k = 240, 3*x - p = -4*k + 78. Is 15 a factor of x?
True
Suppose 5*k - 3*p - 2517 = 0, 7*k - 8*k - 2*p = -493. Does 3 divide k?
True
Let k(x) = x**3 + 3*x**2 - 4*x - 13. Let q be k(5). Let v = q + -152. Does 5 divide v?
True
Let h(n) = 23*n - 182. Let q be h(8). Let x = -8 + 0. Does 44 divide (x/q - -224) + -1?
False
Suppose 0 = -2*w - 5*s + 37858, -3*w + 78*s = 77*s - 56736. Is 98 a factor of w?
True
Suppose -3*t + 5*j = -6408, -5*j + 1245 = t - 851. Is t a multiple of