ppose -12*i - x - 8023 = -14*i, -4*i = 3*x - 16041. Is i a multiple of 63?
False
Let w = 16 + -13. Suppose -460 = m + w*m. Let q = m + 227. Is q a multiple of 28?
True
Suppose -568 = -2*g - 4*p, 370 = 5*g + p - 1059. Suppose -88 - g = -2*n. Does 17 divide n?
True
Let x(i) = -2*i**3 + 24*i**2 + 154*i + 23. Is x(14) a multiple of 75?
False
Let x(w) = 7*w - 26. Let n be x(4). Suppose 462 = q + n*q. Is 43 a factor of (q - -1)*9/15?
False
Let s = 21392 + -7309. Is 121 a factor of s?
False
Is (-404646)/(-39) + 126/273 a multiple of 249?
False
Suppose 0 = -3*n + 27651 - 2766. Suppose 0 = -5*l + 5*b - n, 3*l = -4*b - 0*b - 4956. Is 16 a factor of ((-1)/(-1))/(6/l*-3)?
False
Let b(n) = -n**2 - 4*n + 35. Let j be b(4). Suppose 2*s + x - 2004 = 0, j*x + 2612 = 2*s + 592. Is 19 a factor of s?
False
Suppose -3*y = -8*y - 6*l + 353091, 3*y + 5*l - 211849 = 0. Does 26 divide y?
False
Let y(l) = 1189*l**2 - 251*l + 250. Is y(1) even?
True
Let d = 67 - 91. Let z = -22 - d. Suppose z*q + n = 191, -107 = -q + 2*n + 1. Does 14 divide q?
True
Suppose 80*d - 77*d - w = 18464, 3*w + 18474 = 3*d. Does 21 divide d?
True
Suppose -3*h = 5*d + 50, 2*h = -d - 2 - 8. Is 310 + (3 - 2) + d + 5 a multiple of 51?
True
Let h be 1/((-14)/120954) + 36/(-84). Is 10 a factor of h/(-56) - (-3 - 23/(-7))?
False
Suppose f - 304 = n - 17, -4*f = 3*n + 868. Let m = n - -193. Let k = 167 + m. Does 6 divide k?
True
Suppose -17563 = -622*n + 609*n. Is n a multiple of 7?
True
Suppose -678 = 5*d - 2788. Suppose -6*y + 208 + d = 0. Let n = 157 - y. Is n a multiple of 13?
True
Suppose 2*i + 3*i = 3*i. Suppose -13*u = -i - 0. Suppose 179 = 2*w + 4*r - 253, 5*w + 2*r - 1048 = u. Does 52 divide w?
True
Let g(m) = 5 - 4 + 29*m**2 - m - 23*m**2. Suppose -2 + 4 = h. Does 23 divide g(h)?
True
Suppose 6*i + 819 = -3*i. Let c be 283*-6*2/(-12). Let u = i + c. Is u a multiple of 48?
True
Suppose 8697 = m + 696 - 14490. Is 189 a factor of m?
True
Does 3 divide ((-3668236)/65)/(-11) + 4/(-10)?
True
Let m(x) be the second derivative of 7*x**4/12 + x**3 - 7*x**2/2 + 11*x. Let i be m(-5). Let z = 4 + i. Is z a multiple of 37?
False
Let r(c) = -2*c**2 - 9*c - 4. Let q be r(-3). Suppose 3*s - 7*s - 32 = -2*o, q*s + 46 = 3*o. Does 12 divide o?
True
Is 464 - 5 - (4 + 0 + -6 + 3) a multiple of 16?
False
Let x(b) = 25*b**2 + 30*b + 70. Is x(-7) a multiple of 5?
True
Let j = 1972 + 1252. Is 52 a factor of j?
True
Let r(g) = -51*g + 87. Let p(k) = -156*k + 262. Let i(t) = -5*p(t) + 14*r(t). Does 35 divide i(12)?
True
Let q be (-5133)/(-24) + 1/8. Suppose 3*s = 2*b + 42 + q, 410 = 5*s + 5*b. Suppose 4*w = 4*h + s, 2*h - 54 = -0*w - 2*w. Is 6 a factor of w?
True
Let o = 20 - 8. Suppose o*r - 5655 = -579. Is 17 a factor of r?
False
Suppose 3*b = 4*d + 614, 1004 = 5*b - 5*d + 8*d. Suppose -b = -2*c - 136. Is c a multiple of 13?
False
Let a = -11720 + 20768. Is a a multiple of 24?
True
Is (-24 - 3484/(-65))/((-2)/(-40)) a multiple of 4?
True
Let x(y) = 7*y**2 - 21*y + 189. Is x(27) a multiple of 2?
False
Let u(w) = 7*w + 46. Let d be u(-8). Is 5/d*(4 - (470 + 4)) even?
False
Let m(b) = b**3 + 28*b**2 + 29*b + 55. Let z be m(-27). Does 6 divide 52 - (0 + (1 - (z + -4)))?
True
Let n(w) = 219*w - 3459. Does 35 divide n(67)?
False
Let k = -101 + 160. Let n = 1227 - 1253. Let y = n + k. Is 11 a factor of y?
True
Let n = 30 + 29. Let s = n - 69. Let c = s + 93. Does 10 divide c?
False
Suppose -x + 4*m + 21 = 2*m, -141 = -5*x - 2*m. Suppose -x = 8*d - 123. Is 2 a factor of d?
True
Let a(x) = -4 + 10 - 388*x - 7 + 1 - 20. Does 63 divide a(-2)?
True
Suppose z = 5*m + 78, 3*z + 4*m + 0*m = 139. Suppose 6*i - 989 = -z. Is i a multiple of 13?
True
Suppose -2*n + 22 = 2*w, 5*w - 41 = -2*n + 5. Let i be 2/3 + w/6. Suppose 0 = 3*p + 3*f - 93, -p + 4*p = i*f + 88. Is p a multiple of 10?
True
Is 8/(-6)*(941412/8)/(-19) + 2 a multiple of 111?
False
Suppose -4*i + 23 = 3*a, -4*a + 18 = -3*i + 4. Suppose u + 1 = -2, 0 = -a*g - 4*u + 1038. Is 10 a factor of g?
True
Let q = 38 - 40. Let v be (-2)/(-8)*q*-6. Is 5*-4*(2 + v)/(-5) a multiple of 20?
True
Suppose 0 = 4*h - 4*u - 1279 - 3505, -h + 1172 = -5*u. Does 5 divide h?
False
Let a(o) = o**3 - 12*o**2. Let k be a(12). Is 9 a factor of ((-176)/(-33))/((-1)/(-3) - k)?
False
Suppose 0 = 4*w + 2*v - 234, 3*w = 3*v + 22 + 176. Suppose 5*m + 2*p - 282 = 0, -5*p + w = m - 0*m. Is 14 a factor of m?
True
Suppose 4*k + 0*i + 3*i = -675, 2*k - 4*i = -354. Let b = k + 351. Is b a multiple of 20?
True
Suppose -5*x = 4*k + k + 55, -2*x + k = 13. Let o be (-6)/x - (-3)/(-12)*-13. Suppose 4*m - 277 = -3*y, -o*y + 51 = m - 2. Is 44 a factor of m?
False
Let h(n) = 8*n + 30. Let q be h(-6). Does 15 divide 1066/18 + 4/q?
False
Let s(w) = -3*w**3 - 8*w**2 - 12*w - 113. Does 12 divide s(-14)?
False
Let d = -14818 + 16213. Is 29 a factor of d?
False
Suppose 5*g + 16*f = 20*f + 195848, -3*g + 117485 = f. Is 63 a factor of g?
False
Suppose 6*z - 14 - 16 = 0. Suppose -2*w + z*s + 1275 = 0, -6 = 5*s + 9. Is 90 a factor of w?
True
Suppose 3*o - 2 = -s + 2, o = -5*s - 8. Let c be 2/(-10)*((-1064)/7 - -7). Is (c - o) + (1 - (-1 - 1)) a multiple of 3?
True
Let g be 26/2 - 18/24*4. Suppose 8*c - g*c + b + 473 = 0, 4*b + 1190 = 5*c. Is 39 a factor of c?
True
Let r = -49 - -47. Let q be (-1 + 5)*(-1)/2. Is 20 a factor of (-161)/r + q + 11/22?
False
Suppose 120*d + 155403 = 997803. Is d a multiple of 45?
True
Suppose 71*s - 101057 + 25411 = 58615. Is 2 a factor of s?
False
Is (12*1/(-10)*-97)/((-24)/(-3200)) a multiple of 16?
True
Let c be (-6)/2 - -5 - (-5 - -2). Suppose -4*j + 1194 = c*k, 6*k - k - 893 = -3*j. Does 43 divide j?
True
Suppose 13*k - 18*k + 100 = 0. Suppose 0*b + 4*b - 4*m = 64, 2*b = -m + k. Is 4 a factor of b?
True
Let x(v) = -2*v + 2. Let z be x(-1). Let s be (0 - z/(-5))*5. Suppose 0 = -h - s*i + 38, 5*h - 5*i + 25 - 290 = 0. Does 10 divide h?
True
Let j = 38172 + -24206. Is j a multiple of 190?
False
Let u(k) = -11*k**3 - 29*k**2 + 5*k - 35. Let q(f) = -5*f**3 - 14*f**2 + 2*f - 17. Let n(w) = 5*q(w) - 2*u(w). Is n(-5) a multiple of 20?
True
Suppose 2*q - 79 = 2*b + 63, -2*q + 5*b + 130 = 0. Suppose 0 = -73*y + q*y - 8. Suppose y*g + 0*g = 444. Is 16 a factor of g?
False
Let n(t) = -461*t + 863. Is 58 a factor of n(-75)?
True
Let g = 91 + -120. Let z = 34 - g. Is 24 a factor of z?
False
Let x(l) = l**2 - l - 4. Let q be x(-2). Suppose h - q*g = 1 - 8, h - 5 = -2*g. Is 8 a factor of h/((2/(-10))/(42/6))?
False
Suppose -12810*a + 8824 = -12806*a. Does 8 divide a?
False
Suppose 4*g + 2*i + 7 = 3*i, -3*g + i - 4 = 0. Is -2 - (-16 + g*8/6) a multiple of 8?
False
Let v(h) = -1938*h + 3567. Is 18 a factor of v(-11)?
False
Let x = 21 - 21. Suppose -3*o + o + 10 = x. Suppose -5*g + 4*g = -5*l + 145, -o*l = 2*g - 145. Is l a multiple of 15?
False
Let c(p) = p**2 - 2*p + 33. Let v be c(-9). Suppose v = -2*a - 2*d, a = -a - 5*d - 120. Let o = a + 95. Is o a multiple of 7?
False
Let n = -3090 - -6094. Let m = n + -1244. Does 80 divide m?
True
Suppose 0 = 161*c - 156*c - 470. Suppose 46 = y - c. Is y a multiple of 28?
True
Suppose 30 = 196*g - 190*g. Suppose -4*f = 3*b - 725, -86 = g*f - b - 978. Is f a multiple of 9?
False
Is 36 a factor of 6800/3 - 136/(-102)?
True
Let m(k) = 376*k + 11701. Is 100 a factor of m(50)?
False
Let x = 3042 - 2013. Does 20 divide x?
False
Suppose -3*v - 6624 = -3*w, 2*w = 3*w + 3*v - 2208. Is w a multiple of 96?
True
Let m(s) = 4*s**2 - 18*s + 21. Suppose -19 + 31 = 4*h. Suppose 33 = 5*d + h. Does 15 divide m(d)?
False
Is 2 a factor of 2 + (-20)/7 - (-2983684)/2324?
False
Is -2 + 5 + -2 + 723 a multiple of 5?
False
Suppose y = 3*l - 20589, 13722 = 2*l - 256*y + 254*y. Does 46 divide l?
False
Let n(a) = -5*a + 91. Let d be n(20). Does 20 divide (-1543 + 4)/d*3?
False
Let t be 3*1 + (16 - 21). Does 9 divide (-2241)/(-18) + (-1)/t?
False
Let r(v) = 34*v**3 + 11*v**2 - 61*v + 308. Does 56 divide r(6)?
False
Let x be (-4)/9 + (-35544)/216. Let m = 205 + x. Is m a multiple of 5?
True
Suppose 23 = 6*q - 31. Suppose q*k = 6*k + 9. Suppose -k*f + 7*f - s = 600, 0 = 3*s + 12. Is f a multiple of 29?
False
Let c(p) be the second derivative of p**4/4 + 38*p**3/3 + 37*p**2 - 141*p. Is c(-32) a multiple of 73?
False
Let y(a) be the first derivative of a**4/4 - 3*a**3 + a**2 - 3*a + 30. Let k be y(5).