ppose -4*l - 56 + 248 = 0. Let w = 73 - -17. Let a = l + w. Is 35 a factor of a?
False
Let b(a) = 2*a**2 + 4*a - 142. Is b(-12) a multiple of 49?
True
Let u(s) be the second derivative of 2*s**3 + 2*s**2 + 2*s. Suppose -12 = -0*h - 3*h. Is u(h) a multiple of 15?
False
Suppose 0 = 3*l - 10*l + 483. Let g = 206 - l. Is g a multiple of 14?
False
Suppose -8515 = -28*w + 7585. Is 25 a factor of w?
True
Let b(j) = -2*j + 15. Let s be b(9). Is (6/(-8))/(s/60) a multiple of 15?
True
Let t(z) = -z + 4. Let i be t(-5). Suppose i*l - 4*l = -y + 22, -3*y + 4*l = 10. Suppose 0 = o + 2 + 1, 0 = -4*h + y*o + 198. Is 24 a factor of h?
True
Let s = -722 + 1017. Does 16 divide s?
False
Let h = 2514 - 1746. Does 19 divide h?
False
Suppose -2*r + 246 = 5*d + r, 0 = -r + 2. Let m = d + -20. Is 3 a factor of 3/2*m/3?
False
Suppose 3*g + 44 = -4*b, -g = b + 3 + 10. Let c = g - -12. Suppose -j + c*j - 23 = -2*i, -2*j + 3*i = 2. Does 2 divide j?
False
Suppose -5*s + 4 = -3*s. Suppose 5*h - 2*g - 130 = 0, -s*h + 3*h - 5*g - 26 = 0. Does 13 divide h?
True
Let b = 1022 + -717. Does 36 divide b?
False
Let c be 143 + (0 - -1) - 0. Suppose -2*i - 3*s + 79 = -86, -2*i + 164 = 4*s. Let x = c - i. Is x a multiple of 18?
False
Suppose 9*w + 1193 = 7124. Does 79 divide w?
False
Let o = 5 - 2. Let z be 3/o - -1 - 4. Is 4 a factor of (15/12)/(z/(-8))?
False
Let v be 3 - (1 - 21*-1). Let k = 13 + v. Does 21 divide (-218)/k + 2/3?
False
Let d(o) = -o**2 + 2*o + 21. Let x be d(11). Does 13 divide (x/(-5))/(2/10)?
True
Is 7780/70 - 48/(-56) a multiple of 21?
False
Let x(h) = 4*h**3 - 4*h**2 - 3*h - 4. Let p(g) = g**3 - g. Let c(n) = 5*p(n) - x(n). Does 6 divide c(-4)?
True
Let o = 92 + 129. Let b = o - 125. Is b a multiple of 12?
True
Suppose 5*k - 2*q - 4294 = 0, q - 2734 - 709 = -4*k. Does 43 divide k?
True
Suppose 0 = 3*u - c - 146, -u + 2*c + 42 = -0*u. Suppose -5*t = -0*t - u. Suppose -15*p + 165 = -t*p. Is p a multiple of 9?
False
Suppose -3*k = -0*k. Suppose k = -5*g - i + 260, 0*i = -3*g - 4*i + 156. Does 13 divide g?
True
Let s(y) = 3*y + 14*y - 23*y + 72. Does 29 divide s(-17)?
True
Let w = 601 + -597. Suppose -t + 70 = 4*o - 25, 2*t - 176 = -o. Does 17 divide (t - (-4)/w) + -3?
True
Is -64*(2 - 330/12) a multiple of 136?
True
Let c(x) = -8*x**2 + 29*x**2 + 4 + x - 4*x**2. Suppose 5*p = 5*b - 10, 3*b + 18 = -3*p - 0*p. Does 23 divide c(b)?
False
Let x be (-6 - 0)*22/(-33). Suppose -x*d = -4*m - 160, 4*d - 170 = m + m. Is d a multiple of 9?
True
Suppose 3*m + 477 = -48. Let s = m + 116. Let x = 103 + s. Does 11 divide x?
True
Suppose 70 = -0*q - 7*q. Let m(b) = 8 + b**3 - 2*b + 5*b**2 - 8*b + 4*b**2. Does 5 divide m(q)?
False
Is (-16)/(-4) - (-120 - 11) a multiple of 5?
True
Let t(i) = i**2 + 284. Let d be 1*(-2 + 2)*1. Let g be t(d). Suppose -5*f = -f - g. Is f a multiple of 13?
False
Is 19 a factor of 29247/81 + 14/(-189)?
True
Let i = 11 + -23. Let d(r) be the first derivative of r**3/3 + 6*r**2 + 13*r - 6. Is 13 a factor of d(i)?
True
Let m be (-3 - 10/(-5))/1. Is (-29)/m*7/7 a multiple of 10?
False
Suppose 24414 = 16*q - 10114. Is 41 a factor of q?
False
Suppose 10413 = 14*y - 3545. Does 84 divide y?
False
Let k(d) = 16*d**2 + d + 4. Let f(z) = -48*z**2 - 3*z - 12. Suppose -2*m + 58 = -4*x, x - m + 46 = -2*x. Let t(s) = x*k(s) - 6*f(s). Is 31 a factor of t(-3)?
False
Let z(q) = -q**2 - 4*q - 2. Let p be z(-3). Suppose 0 = -4*a + 5*u + 4, 4*u - 17 = -p. Let f(t) = t**2 + t. Does 21 divide f(a)?
True
Is 63 a factor of (-2)/((-2)/((-432)/(-1) + -5))?
False
Is 88 a factor of (-1056)/28*(4 - 18)?
True
Let w(s) = -2*s + 7*s - 4*s - 38*s**3. Is 5 a factor of w(-1)?
False
Suppose -4*d = -3*k - 0*d + 27, 6 = -2*d. Suppose -k*r = -247 - 848. Does 24 divide r?
False
Suppose 1 = 2*b - 3. Let u be ((-15)/(-12))/(b/8). Suppose 3*z + 2*l - 44 = 3*l, -u*z = 4*l - 96. Is 8 a factor of z?
True
Suppose -1284 = 12*a - 15204. Is 40 a factor of a?
True
Suppose 6*x - 39 = -2*o + 3*x, -4*o + x = -71. Suppose o*f - 22*f = -584. Does 46 divide f?
False
Suppose -5*n - 19 = 2*b, -11 = -5*b + 2*n + 14. Suppose 0 = 2*d + 4*a - 128, 5*d = -4*a + b*a + 302. Is d a multiple of 6?
True
Let h(u) = 844*u**2 + u + 1. Let a be h(-1). Suppose -2*n + 476 = 4*b - 372, 4*b - a = -4*n. Let j = b + -129. Does 25 divide j?
False
Let n = -14 - -9. Let y be 6020/(-50) - 2/n. Does 20 divide 4/3*y/(-4)?
True
Let w = -2068 + 2347. Is 9 a factor of w?
True
Suppose -3*f - 508 = -8*f + 2*b, 5*f - 480 = -5*b. Does 7 divide f?
False
Suppose 12*y + 91 = 19*y. Suppose 4*z - 340 = -y*z. Is z a multiple of 4?
True
Let u = 38 - 36. Suppose 0 = 4*x - h - 430, h = -u*x - x + 319. Is 24 a factor of x?
False
Let f(y) = -5*y**2 + 2*y + 21. Let h be f(5). Let a = -42 - h. Does 4 divide a?
True
Is 10/(4/201*87/58) a multiple of 2?
False
Let i(t) = 49*t**3 + t**2 + 3*t - 3. Let w be i(1). Suppose -2*f + 4*v + 108 = 0, 3*f - 3*v - 109 = w. Is 4 a factor of f?
True
Suppose 18*g = 13*g + 90. Does 9 divide g?
True
Let w be 9*-3*2/(-18) + -238. Let u = w + 379. Is 18 a factor of u?
True
Does 13 divide (364/35)/(2/15)?
True
Let a(b) = -b**3 + 9*b**2 + 5*b. Let q(z) = 3*z**3 - 27*z**2 - 15*z. Let h(i) = -11*a(i) - 4*q(i). Does 5 divide h(9)?
True
Let y = 417 + -97. Is y a multiple of 32?
True
Suppose -1210 = 4*q - 3786. Is q a multiple of 46?
True
Is (12/8)/(12*5/3880) a multiple of 13?
False
Let u(s) = s**2 + s - 4. Let y be 88/(-24) - 1/3. Let k be u(y). Suppose -16 - k = -3*x. Is 4 a factor of x?
True
Let r(m) = -2*m**2 - 26*m + 15. Let o be r(12). Let n = -369 - o. Is 9 a factor of n?
True
Let y(p) = p**3 + 7*p**2 - 5*p - 8. Let v be y(-7). Suppose -v*g + 27 = -24*g. Is g a multiple of 9?
True
Suppose 42*u = 47*u - 9405. Is 57 a factor of u?
True
Let n(j) = 17 - j + 3 + 9. Suppose 4*a = 2*a. Does 7 divide n(a)?
False
Let j = 1066 + -348. Is 38 a factor of j?
False
Suppose 131*a - 1227 = 128*a. Is a a multiple of 50?
False
Suppose 4*x = d + 745, -2*x + 16*d - 18*d + 360 = 0. Is 15 a factor of x?
False
Let k = 224 - 122. Is k a multiple of 28?
False
Let z(i) = -i**2 + 2*i + 25. Suppose 0 = -5*t + 4*t + 16. Let n be 4/t - (-1)/(-4). Is 13 a factor of z(n)?
False
Let j = -548 - -2032. Is j a multiple of 15?
False
Suppose -5*t = -2*a + 31 + 13, -2*a + 4*t + 44 = 0. Is a even?
True
Suppose 3*o + 3*a = 24, 2*o - 4*o + a = -1. Is 101/o + (-5)/(-15) a multiple of 18?
False
Suppose 5*b - 1028 = 692. Suppose a - 22 - 64 = 4*y, -4*a = -3*y - b. Is a a multiple of 13?
False
Suppose -6643 = -5*y + 4*j + 828, -5*y + 7478 = 3*j. Is y a multiple of 65?
True
Let x(a) = -a**2 - 19*a - 71. Is 3 a factor of x(-12)?
False
Suppose -1599 = -2*t - 3*b, t = -5*b - 179 + 996. Is t a multiple of 44?
True
Let n(m) = 75*m**3 + 1. Let w be n(1). Let u = -46 + w. Suppose -u = -4*p + p. Is 6 a factor of p?
False
Let t(r) = -10*r - 11. Let c be 1 + 7 + (-2 - -1). Let p = -12 + c. Is t(p) a multiple of 13?
True
Let a = -7 + 25. Let y = -19 + a. Is 5 + -1 - 51/y a multiple of 11?
True
Let z = 1323 - 51. Is z a multiple of 12?
True
Let d be ((-1)/3)/((-4)/(-996)). Is d/(-3) - (-2)/(-3) a multiple of 6?
False
Let i(d) = d - 2. Let t be i(4). Let z = -7 + 13. Does 4 divide (-2)/z*(t - 14)?
True
Suppose r = 4*r + 5*x - 160, 0 = 4*r - 5*x - 155. Is r a multiple of 3?
True
Suppose -4*r + 200 = 3*a + 2*a, -a - 2*r = -34. Suppose -a = -l + 49. Suppose 0 = -5*p + 27 + l. Is p a multiple of 24?
True
Suppose -2*f - f + 1616 = i, -4*f + 2168 = 4*i. Is f a multiple of 9?
False
Let g = 82 - 46. Let q = g - 51. Let w = q + 32. Is 5 a factor of w?
False
Is 6 + (-5)/(25/30) + 414 a multiple of 4?
False
Suppose v = 2*v + r - 3390, 0 = 3*v + 4*r - 10172. Is 44 a factor of v?
True
Let b = 3 - 1. Suppose b*h - t - 70 = 0, -h = 2*h - 3*t - 108. Let u = 5 + h. Does 13 divide u?
True
Let n = 1507 + -1113. Is 34 a factor of n?
False
Let w be (-8 + 3)/(-5) - -3. Is 20 a factor of (784/(-24))/(w/(-18))?
False
Let q be (3 - 1) + (6/3)/2. Suppose 0 = q*l - 205 - 107. Does 9 divide l?
False
Let v be -1*-4*1/(-4). Is 6 a factor of (300/45)/(v/(-3))?
False
Let m(u) = -8*u**3 - 5*u**2 + 6*u + 9. Let g be m(-4). Suppose 11*y = g + 683. Is y a multiple of 13?
False
Suppose 2*j = -2*j + 28. Let m(r) = 7*r - 7. Let v(g) = 14*g - 15. Let n(x) = j*m(x) - 3*v(x). Does 9 divide n(4)?
False
Let h(s) = s**2 - 10*