- -376. Is 11 a factor of w?
True
Let h(l) = -1313*l - 9204. Is h(-16) a multiple of 19?
False
Let v = 54 - 141. Let z = 255 + v. Does 21 divide z?
True
Let h be -21*(21/9 + -3)*-6. Let v = 332 - h. Suppose -v = -0*q - 13*q. Does 7 divide q?
False
Suppose m - 4*f = 1591, 6*m + 9*f = 12*f + 9462. Does 53 divide m?
False
Let w(y) = 12*y + 72. Let x be w(14). Is ((-60)/(-16))/((-5)/(x/(-9))) a multiple of 20?
True
Let x = -730 - -514. Let m = 728 + x. Is m a multiple of 16?
True
Let l be (-2 + 16/(-10))*(-102 + 27). Is 54 a factor of l + 1 + -2 + 2?
False
Let h(m) = 3*m**2 + 36*m + 8. Let q be h(-12). Suppose 0 = -w + q*w - 28. Is 3 a factor of w?
False
Let l(h) be the first derivative of -3 + 19*h + 3/2*h**2. Does 18 divide l(5)?
False
Let h(u) = -360*u + 486. Is h(-11) a multiple of 26?
True
Suppose -2*d = -3*d + b + 6, 8 = -4*b. Let c(j) be the third derivative of 5*j**4/12 - 5*j**3/3 - 108*j**2. Is 15 a factor of c(d)?
True
Let v be 264/18 + (-3)/(-9). Suppose 4*w = 9*w - 2*y - 6, -5*y - v = 4*w. Suppose -m + 24 = -w. Is 6 a factor of m?
True
Suppose 158 = 5*u - 4*y, u - y - 16 = 16. Is 6 a factor of (3/(u/2284))/(16/40)?
False
Suppose -5*k + 10*h + 3285 = 11*h, -3*h = 0. Suppose 5*t + k = -l + 3*l, -5*t = l - 351. Is 16 a factor of l?
True
Let b = 5214 - 3714. Is b a multiple of 55?
False
Is 473/(7*11/(-539)*(-7)/22) a multiple of 11?
True
Suppose -4*o - 2*n = -10848, -139*n + 134*n = -3*o + 8123. Is 22 a factor of o?
False
Suppose 5*h + 4*w = -432, 0*h + 99 = -h - 5*w. Let f = h - -84. Suppose -4*p = 4*a - 188, 2*p + f*a + 4*a - 84 = 0. Does 13 divide p?
True
Suppose 182301 + 3290935 = 92*n - 675596. Is 74 a factor of n?
False
Suppose -2113 = -4*c + t, 0*c - 5*t - 514 = -c. Suppose 5*w - 671 = -5*d + c, 2*w - 489 = d. Is 27 a factor of w?
True
Let y(f) = -84*f + 120. Let j be y(-11). Suppose -4*m + t + j = -3*t, 0 = -t - 5. Does 9 divide m?
False
Let g = 11716 - 7498. Is 7 a factor of g?
False
Suppose 8*n = -147 - 197. Let d = n + 74. Suppose -k = -147 + d. Is 29 a factor of k?
True
Let r = 49 + -47. Suppose 0 = -4*k - 20, -r*b - k = -3*b + 10. Suppose 0 = 5*q - 2*j - 97 - 93, 2*q - 97 = b*j. Does 3 divide q?
True
Suppose 775 - 10455 = -40*z. Does 2 divide z?
True
Suppose -23 = -31*r + 70. Suppose 2*m - 2*z - 719 = z, r*m - 1106 = -z. Is 6 a factor of m?
False
Let z = -9 - -47. Suppose -10 = 4*a + 5*p - 79, 3*a = -p + z. Suppose 300 = 16*h - a*h. Does 16 divide h?
False
Let p(r) = 3*r**2 - 4*r - 2. Let m be p(5). Suppose -18*u + 13*u - 235 = 0. Let d = u + m. Does 6 divide d?
True
Let v(l) = l**3 - 11*l**2 + 13*l - 28. Let m be v(10). Let d(g) = -g + 12. Let o be d(9). Is 46 - (1 + (o - m)) a multiple of 11?
True
Let q = -119 + 110. Let y(c) = 2*c**2 + 3*c - 3. Is y(q) a multiple of 11?
True
Suppose 120 = i + 9*i. Suppose -m = 3*m + i. Is 10 a factor of m - -11 - ((-4)/(-2) - 4)?
True
Let k = 48 - 268. Let a = k - -535. Does 36 divide a?
False
Suppose -7*v - 5*f = -11*v - 13, -9 = 2*v - 3*f. Suppose -v*g - 3192 = -15*g. Does 42 divide g?
False
Let u(q) = 159*q**2 - 80*q + 606. Is 80 a factor of u(10)?
False
Suppose -159*j + 426258 = -40*j. Is 90 a factor of j?
False
Suppose -w + 5*o + 2405 = 0, 7*o = 10*o - 12. Is w a multiple of 25?
True
Suppose -y = 6*y. Suppose -3*w - k - 4 + 338 = 0, -5*w - k + 556 = y. Suppose -5*g + 449 = 3*s, -w = -2*g + 3*s + 56. Is 14 a factor of g?
False
Let p(s) = 2*s**2 + 13*s + 3. Let i be p(-6). Let v be (-1*(5 - 2))/i. Does 8 divide 6/(v/((-40)/(-6)))?
True
Let n(g) = g**3 - 21*g**2 - 63*g - 59. Suppose -2*y - 42 = -2*a, 4*y - 20 = -3*a + 64. Does 8 divide n(a)?
False
Let z = -307 - -439. Suppose 9*j - 192 = z. Is 6 a factor of j?
True
Let b(s) = s**3 - 23*s**2 + 12*s - 103. Let y be b(23). Let k = y + 116. Does 32 divide k?
False
Suppose -c - 7 = -8*c. Suppose -44 = -5*l + c. Suppose 13*i - l*i = 64. Does 6 divide i?
False
Suppose -3*j - 27 = -2*i, 4*j = 5*i - 23 - 27. Let q be 1 + i + (-4 - 0). Suppose x = a + 8, q*a - 4*a = 2*x - 16. Is 4 a factor of x?
True
Let q(r) = 2*r**2 + 21*r + 12. Let a = 31 - 41. Let i be q(a). Is 7 a factor of i + (2 + -3)*(-56)/4?
False
Let o(f) = 10*f**2 + 20*f - 5. Let v(u) = u**2 + u - 1. Suppose 2*g + 8 = 2*d, 0 = 3*g - 2*d + 5 + 4. Let t(j) = g*o(j) + 15*v(j). Is t(5) a multiple of 15?
True
Is ((0 - 1) + 0)*(-635830)/146 a multiple of 65?
True
Let z = -28 - -29. Let m = 1 - z. Suppose m = 4*q + 3*s - 555, -2*q + 5*q - 420 = -3*s. Is q a multiple of 15?
True
Let g = 223 - 189. Suppose -g*q + 3289 = -23*q. Does 13 divide q?
True
Let r(s) = s**2 + 68*s - 1026. Is 11 a factor of r(16)?
False
Suppose -3*n = 24, 9496 = -3*j + 6*n + 61717. Is j a multiple of 122?
False
Suppose -2*m - 2*v = -1474, -2*m - 4*v + 1478 = -0*v. Let d = 915 - m. Does 30 divide d?
True
Let p be (1 + -1 + 1)*1302/(-42). Let s = 65 + p. Is s a multiple of 23?
False
Let f(t) = -3*t + 28. Let i(b) = -b**2 + b - 1. Let x(c) = -f(c) - 3*i(c). Let d be x(6). Let a = 182 - d. Is 18 a factor of a?
False
Suppose 0 = -22*n - 16 - 1744. Suppose -3*f - 7 - 38 = 0. Is (1 + 53/4)/(f/n) a multiple of 19?
True
Suppose -4*s = -2100 - 22600. Suppose -3*w - 2*w = -s. Suppose w = -d + 6*d. Is d a multiple of 19?
True
Let f(x) be the first derivative of -x**7/840 + x**6/36 - x**5/12 - 19*x**4/24 - 6*x**3 + 43. Let s(l) be the third derivative of f(l). Is 21 a factor of s(8)?
False
Suppose 0 = 9*z - 334 + 91. Suppose -w - 23*o + z*o = -534, -4*o = -3*w + 1602. Is 19 a factor of w?
False
Suppose -36 - 38 = -2*d. Let c = 43 - d. Is (-2270)/(-30) + (-4)/c a multiple of 15?
True
Suppose -2*y = -r + y - 10, -3*r - 3*y + 18 = 0. Suppose -3*u + q = -173, -r*q - 27 = 3*u - 185. Does 56 divide u?
True
Suppose -5*w + 20 = -25. Suppose 0 = 2*o + o + w. Is 32 a factor of (-918)/(-12) - o/6?
False
Let v(j) = j**2 - 11*j + 18. Let h be v(9). Suppose h = k - r - 27, -k + 2*k - 11 = -3*r. Suppose -k = -x + 57. Does 36 divide x?
False
Suppose -13820 = 11*y - 19925. Is 185 a factor of y?
True
Suppose -x + 16845 = -881*n + 880*n, 2*x + 2*n - 33666 = 0. Is 9 a factor of x?
True
Let z = 452 - 141. Let h = 1595 - z. Is h a multiple of 107?
True
Suppose 3*x = 6, -4*g - 6*x + 5914 = -7*x. Suppose -g + 4459 = 10*f. Is f a multiple of 22?
False
Let z = 163 - 152. Suppose 3*u = t - 35, -z*t + 12*t = -5*u + 51. Does 14 divide t?
False
Suppose 2267 = -27*l + 28*l - 2*q, 0 = -l + 4*q + 2257. Is 99 a factor of l?
True
Suppose -z = 4*z + 5*p + 1220, p = -3*z - 732. Let q = -151 - z. Let n = q - 11. Does 17 divide n?
False
Let z(g) be the third derivative of g**5/20 + 3*g**4/4 - 32*g**3/3 - 2*g**2 + 16*g. Is 8 a factor of z(10)?
True
Let m(y) = y**3 - 21*y**2 - 78*y - 4. Is m(25) a multiple of 9?
False
Suppose 19*j + 6601 = 6*j + 51919. Does 6 divide j?
True
Suppose -8*y + 289 = -143. Suppose 4*x - 5*x + 30 = b, 2*x + 4*b = y. Does 2 divide x?
False
Let z(v) = -33*v - 1345. Is 28 a factor of z(-73)?
True
Let a = 39195 - -3849. Does 102 divide a?
True
Let d be (-36)/252 + ((-198)/(-7))/2. Suppose 5550 = d*u - 2024. Is 12 a factor of u?
False
Suppose 4*w = -3*r + 8, -5*w + w = r. Suppose 0 = -s + 5*f + 12, s - f = f + 6. Suppose -s*l - 494 = -4*p, r*p - 4*l = 7*p - 376. Does 31 divide p?
True
Suppose -4*t - t + 3*z = -7, -1 = 5*t - z. Suppose 0 = -2*u + 71 - 11. Does 29 divide ((-348)/u)/(t/10)?
True
Let a be (7 + 8/3)/(1/57). Let x = 1031 - a. Does 32 divide x?
True
Suppose 1533325 = 78*v + 384775. Is v a multiple of 78?
False
Suppose 206*r - 32*r - 193140 = 0. Is r a multiple of 22?
False
Let m = 54 + -49. Suppose v - 966 = -m*v. Suppose -214 = -3*y + v. Does 8 divide y?
False
Let z(j) = 86*j + 7. Let l be z(2). Let m = 191 - l. Does 4 divide m?
True
Let n(h) be the second derivative of 7*h**4/12 - 29*h**2/2 - 11*h. Suppose 0 = -22*j + 18*j + 20. Does 15 divide n(j)?
False
Let a(j) = -3*j - 27. Let q = 70 - 80. Let h be a(q). Suppose -h*t - d + 20 = 0, 0 = -0*d - 3*d - 12. Is t a multiple of 5?
False
Is (-85189)/26*4*8/(-16) a multiple of 20?
False
Let b(s) = -s**3 + 18*s**2 + 11*s - 1. Is 4 a factor of b(15)?
False
Let m = 53 + -45. Suppose 4*l = 3*h + 392, 0 = 2*l - m - 2. Let u = h + 269. Is u a multiple of 20?
False
Suppose -51*q - 10*q = 5*q - 6204. Let w be 2 - -31 - (-3 + 2). Let h = q - w. Is h a multiple of 5?
True
Let m be (-2 + 18/10)/((-2)/50)