- -64. Suppose 0 = 2*c - 7 - a. Suppose 1 = q + c, -70 = -w + q. Is w a multiple of 10?
False
Suppose -2*o + 0*b = 2*b - 310, 3*b - 618 = -4*o. Suppose w = -o + 670. Is w a multiple of 23?
False
Suppose 117602 + 82675 = 63*b. Is 17 a factor of b?
True
Suppose -5*a = 4*l + 148, 4*l - 15 = 5*a + 157. Let i = 100 - 48. Let h = a + i. Does 10 divide h?
True
Let s(p) = p**2 - 6*p - 7. Suppose 0 = -4*u + 17*u - 39. Suppose 4*x - 2 = 5*d, -2*d + 2*x = -u*d - 6. Is s(d) a multiple of 9?
True
Let t be -1 + (-6)/(-1) - -39. Is 43 a factor of 4844/10 + (t/(-10) - -4)?
False
Suppose 5*h - 13548 = -c, 9*h - 67740 = -5*c + 11*h. Does 223 divide c?
False
Let n(c) = 2*c**2 - 2*c - 28. Let o be n(5). Suppose 19*y - 734 = -o. Is y a multiple of 7?
False
Suppose 2*i - 5*c = -4*c + 24344, 0 = -2*c - 4. Does 100 divide i?
False
Suppose -5*a + 42815 = 7*r, 3*r - 5205 = -3*a + 13146. Is 4 a factor of r?
False
Let f be 4/(1 + (129/(-27) - -4)). Suppose 4*a - f = 5*y, -2*a = -0*a + 3*y - 20. Suppose 52 = 5*q + a. Does 3 divide q?
True
Let n = 17 - 19. Let k be n/2 + 2 + -1 + -30. Let a = 70 + k. Is 8 a factor of a?
True
Suppose -c - 1910 = 3*q, 0 = 4*q + 2*c + 3312 - 768. Let g = 1634 + q. Is g a multiple of 12?
True
Suppose 21261 = 2*k + q, -q = -21*k + 17*k + 42537. Is k a multiple of 217?
True
Suppose 16*t + 720 = 17*t. Suppose -5*k + d + 1188 = 0, -t = -3*k - 2*d - d. Is 24 a factor of k?
False
Suppose 156*k = -164*k + 304*k + 407968. Is k a multiple of 38?
True
Suppose 0 = -2*f - 4, 0 = 2*q - 6*f + 3*f - 14. Suppose 4*b - q*y = -4, 5*b - 4*y + 7 = 2*b. Suppose 5*m = -s + 42, -3*m = -s + b*s - 91. Does 7 divide s?
False
Let b(u) = -212*u**3 + 109*u**3 + 104*u**3 - 12*u**2 + 96 - 34*u. Is 8 a factor of b(15)?
False
Suppose 0*b - 6*b = 4*b. Suppose -k - 2*p = k - 392, -4*p = b. Is 14 a factor of k?
True
Let p(n) = -22*n + 10348. Is 157 a factor of p(-72)?
True
Is 22 a factor of 1093/(-2)*(3 - -3*25/(-15))?
False
Let o = -14 + 16. Suppose -o*v - 2238 = -3*p - 495, v + 1163 = 2*p. Does 11 divide p?
True
Let i = -2381 + 5227. Is 194 a factor of i?
False
Let m be (-3)/((-2)/(560/12)). Let h = -67 + m. Suppose -2*b - h*o + 73 = 0, -8 + 2 = 2*o. Is 14 a factor of b?
False
Let c(x) = 26*x**2 + 23*x - 120. Suppose 3*g - 4*p - 26 = 0, 0*p + 14 = 3*g + 2*p. Is 18 a factor of c(g)?
True
Let h(n) = -n**3 - n**2 + n - 3. Let w be h(-3). Suppose w*p - 13*p = 0. Is 21 a factor of (70 + p)*3/2?
True
Suppose -4*f + 40450 = 2*z, 250*z = 255*z + 5*f - 101095. Is z a multiple of 71?
False
Suppose 465*h + 28 = 466*h. Is 28 a factor of 5 + -5 + 87 + h/7?
False
Let r = -10 - -11. Let g be (-327)/(-15) + (1/5)/r. Suppose -g + 162 = 7*j. Does 4 divide j?
True
Suppose -8*n + 3162 = 9*n. Let a = n - -150. Is a a multiple of 21?
True
Suppose -4*c + 5*o + 202958 = 0, -o + 2 = 8. Does 44 divide c?
True
Suppose 0 = 2*y - t - 218, -4*y - 2*t = -5*t - 440. Let n = 10029 + -10070. Let g = n + y. Does 14 divide g?
False
Let i be (2/3)/((-30)/17865). Let b = i + 547. Does 25 divide b?
True
Let u be 2 + ((-4)/2 - 0 - -1). Is 3 a factor of u + -4 + (-10 - -131)?
False
Let w(c) = 28*c + 107. Let j be w(-28). Let g = -389 - j. Is 12 a factor of g?
True
Suppose c - 5 = 5*c + w, c - w = 5. Suppose -21*h + 1573 + 1388 = c. Does 9 divide h?
False
Suppose -4*g = -3*g - 3*j - 3, 2*g = 5*j + 7. Suppose 3*w = -3*y + g, -3*y + 8 + 13 = -2*w. Suppose n + 32 = 2*m + 4, y*m - n = 76. Is m a multiple of 9?
False
Is 98 a factor of (95 + -99 + -1 + -601)*-24?
False
Let s(x) = 161*x + 858. Is 11 a factor of s(33)?
True
Let z(r) = -52*r - 39. Let p(y) = -49*y - 38. Let w(k) = 7*p(k) - 6*z(k). Is w(-10) a multiple of 21?
False
Suppose -4 = m + m, -3*w + 9 = 3*m. Suppose -u - 4*u + 23 = -4*g, w*g + 10 = 0. Suppose u*r - 5*h + 16 - 70 = 0, -4*h = 0. Is 3 a factor of r?
True
Let n(y) = y**2 + 6*y - 73. Let s be n(-13). Suppose 2601 = -z + s*z. Does 21 divide z?
False
Is 7 a factor of (((-24)/(-10))/(-1))/(1152/(-429120))?
False
Let c(f) = -17 + 21*f - f**2 + 7 + 27. Is c(12) a multiple of 25?
True
Let x = 16740 + -4180. Is x a multiple of 157?
True
Suppose 34*u = 38*u + 32. Let l(c) = -c**3 - 7*c**2 + 11*c + 6. Let h be l(u). Let j(o) = o**3 + 19*o**2 + 12*o + 24. Is 12 a factor of j(h)?
True
Let b = 467 - 291. Let y = -126 + b. Suppose 3*l + 286 = 3*u - y, -5*l = 0. Is 28 a factor of u?
True
Let y(j) = 2*j**2 + 3*j + 1. Let d be y(3). Suppose 38*p - d*p - 750 = 0. Let c = -10 + p. Is c a multiple of 3?
False
Suppose -136 = -10*f + 2*f. Suppose 93 = 2*w - f. Let v = -19 + w. Is v a multiple of 14?
False
Suppose 18 = 39*a - 33*a. Is 27 a factor of ((-107850)/(-70))/a - 8/14?
True
Let x(a) = -a**2 + 11*a - 13. Suppose 54 = -0*m + 6*m. Let g be x(m). Does 18 divide -84*(g/(-2) - -1)?
True
Suppose -4*c = -4*b, -3*c + b - 2*b = -8. Suppose 5*q - c = q + o, -3*q + 2*o + 4 = 0. Suppose 0 = -f - q*f + 160. Does 10 divide f?
True
Suppose 23*f - 20*f - 15 = 0. Suppose -20 = c - f*c. Suppose -5*l + 8*l - p - 458 = 0, 752 = c*l + 4*p. Is 12 a factor of l?
False
Let y be 376/64 + (-1)/(-8). Suppose -y*p = -1462 - 1514. Is 65 a factor of p?
False
Let a be (-226)/(-3) - (-40)/(-30). Suppose 0 = -83*d + a*d + 1656. Does 8 divide d?
True
Let r(c) = -6*c**3 + c**2 + c - 1. Let i be r(-1). Suppose n - 2*z - 241 = 0, i*z - 482 = -2*n + 2*z. Does 14 divide n?
False
Suppose 5485 = -4*u + 21937. Is u a multiple of 52?
False
Let j be (8/(-32))/(4/(-208)). Suppose -16790 = -36*f + j*f. Is f a multiple of 56?
False
Let s(b) = 2397*b - 13868. Does 41 divide s(8)?
False
Suppose -29*c = -28*c - 92. Suppose 4*a - 428 = -c. Is 7 a factor of a?
True
Let u = -23 + 25. Let g = u - -10. Is 312/(9*2/g) a multiple of 52?
True
Suppose 7*c - 21612 = 76920. Is 36 a factor of c?
True
Let o(t) = -3*t**2 + 102*t + 32. Let y(r) = -r**2 + 17*r + 18. Let j be y(16). Is 2 a factor of o(j)?
True
Let b(u) = 26*u**2 + 10*u - 20. Let p be b(2). Let j = p + 149. Is 13 a factor of j?
False
Let c = 314 + -601. Let i = c - -498. Is 9 a factor of i?
False
Suppose 5*p - 5*q - 985 = 0, -13*q = -14*q + 4. Is p a multiple of 20?
False
Suppose -20*u + 19*u = 219. Is 30/(-105) + (-4)/(-14) - u a multiple of 73?
True
Suppose 19*x + 603 = 5144. Suppose -5*q + u = -705, -964 + x = -5*q + 5*u. Is 28 a factor of q?
True
Let h = -12 - -17. Suppose 0 = 5*m - 135 - 1135. Suppose 0 = -4*q + f + m, 2*q - 266 = -2*q - h*f. Is 16 a factor of q?
True
Let u = 39661 - 38134. Is u a multiple of 2?
False
Suppose 0 = -5*g - 2*f - 36, -f - 5 = 2*g + 9. Suppose 128*p - 62*p + 212 = 67*p. Let k = p - g. Does 44 divide k?
True
Let x = 21 + -5. Suppose -x = 3*a - 4. Does 13 divide 32 - (3 + a)/(-1)?
False
Suppose 2*q = h + 66, -59 + 226 = 5*q - 3*h. Suppose -20*p + q*p - 1353 = 0. Is 9 a factor of p?
False
Let w = -210 - -351. Suppose 10*b - w = 9*b. Is b a multiple of 20?
False
Suppose 19173 = -m + 5*m - 21899. Is m a multiple of 68?
True
Let y be (-340)/25 + 12/20. Let r(b) = -2*b**2 - 32*b + 2. Is r(y) a multiple of 20?
True
Let b(n) = -32*n - 65. Let t be b(-16). Suppose 5*i - 447 = -j, 0 = -2*j + j + 2*i + t. Is 17 a factor of j?
False
Suppose -4*f - f + 2*w + 36 = 0, -5*w = 15. Suppose -f*c + 14 = -10. Is (-3 - (7 + c))/((-2)/19) a multiple of 25?
False
Let q(s) = 52*s + 156. Let o be q(-8). Is (1 - 961)/(195/o) a multiple of 20?
True
Suppose 3*t + 1959 = 10056. Is 27 a factor of t?
False
Let y be 3/12 - 4/(64/260). Let o(l) = l**2 + 13*l - 36. Let p be o(y). Let t(w) = 4*w - 36. Is t(p) a multiple of 10?
False
Let f = 60 - 60. Let c = f - 3. Is (-9)/6*212/c a multiple of 20?
False
Suppose -513 = -29*v + 212. Suppose 2*y = -4*l + 364, -v*y + 536 = -22*y + 4*l. Does 5 divide y?
False
Suppose -43*x = 72*x - 603750. Does 5 divide x?
True
Let c(p) = -92*p**2 - 1090*p - 1. Is 7 a factor of c(-6)?
True
Let l(u) = -4. Let h(c) = 72*c + 90. Let g(y) = -h(y) + 6*l(y). Is 7 a factor of g(-8)?
True
Suppose -3*b + 699 = -3*s, 3*b = -0*s - 5*s - 1173. Let f = -129 - s. Is f a multiple of 7?
True
Is 4 a factor of ((-127)/254)/(2/(-564))?
False
Let b = 7175 - 5655. Is b a multiple of 19?
True
Suppose -75 = -4*p + 3*p. Let s be (-4)/(-30)*314 - (-10)/p. Suppose -38 = -i + s. Is 20 a factor of i?
True
Let a(j) = j**2 - j - 3. Suppose -24*r = -29*r - 25. Does 9 divide a(r)?
True
Suppose g = -3*j - 1558, -14 = -4*g -