)?
False
Let g(d) = d**2 + 21*d + 30. Let y be g(-24). Let n = y + -54. Is 43 a factor of n?
False
Suppose 0 = 5*r + 2*o + 42 + 45, 71 = -4*r - 3*o. Is 5 a factor of 84 + r - (-1 - -1)?
False
Let r(p) = 128*p - 275. Let a be r(5). Let b = -227 + a. Is b a multiple of 6?
True
Is (13 - 54)/(4/(-12)) a multiple of 3?
True
Suppose 2321 = 10*u + 2241. Let g = -2 - -4. Suppose -2 - u = -h + 5*j, 43 = 3*h - g*j. Does 3 divide h?
True
Let a = -44 - -41. Let o be 8/16*(a + 1). Is 10 a factor of (-231)/(-15) + o - (-4)/(-10)?
False
Suppose 0 = -3*q - 2*q - 5. Let c be 1360/(-16) - -1*3*q. Let p = -13 - c. Does 33 divide p?
False
Does 24 divide (13 - 0) + (-76500)/(-17)?
False
Let n(t) = -t**2 + 377*t - 484. Does 37 divide n(149)?
False
Let m(y) = -261*y**3 + 2*y + 6 - 7 + 73*y**3 + 2*y**2 + 2. Is 7 a factor of m(-1)?
True
Let a(w) = -81*w + 48. Let p be a(-5). Let d = p - 173. Does 28 divide d?
True
Is 18 a factor of (-119883)/(-30) + (-51)/510?
True
Suppose 66*z = 76*z - 72600. Does 6 divide z?
True
Suppose -u = -0*u - 1, 0 = 4*w - 3*u - 297. Let s = -45 + w. Does 30 divide s?
True
Let z(h) = 6*h**2 - 64*h - 474. Is z(-34) a multiple of 108?
False
Let j(x) = -325*x - 111. Does 19 divide j(-5)?
False
Let k be (432/(-12))/(2/12). Let b = 24 - k. Does 30 divide b?
True
Suppose 0 = -28*x + 8*x - 20. Does 12 divide (154 - 3) + x + (20 - 14)?
True
Let x(t) = t**2 + t - 1. Let y(j) = j**3 + 17*j**2 - 6*j - 25. Let k(d) = 4*x(d) - y(d). Let a be k(-10). Let m = -218 - a. Is 23 a factor of m?
True
Suppose -1099 = -7*c + 7. Let h = 228 - c. Let l = -28 + h. Is 6 a factor of l?
True
Let z(j) be the third derivative of j**5/10 - 5*j**4/12 + 17*j**3/3 - 5*j**2 + 1. Is z(9) a multiple of 28?
False
Suppose 74 = 7*q + 60. Suppose q*o + 2550 = 7*o. Is o a multiple of 34?
True
Let o(n) = -n**3 + 14*n**2 - 10*n - 8. Let h be o(14). Let q be 2/((-10)/h*7/(-35)). Let s = q - -212. Does 8 divide s?
True
Let f be 304/28 - (-6)/(-7). Let y(v) = -9*v + v**2 + 3*v + 0*v. Does 8 divide y(f)?
True
Let r = 1289 + -555. Is r a multiple of 2?
True
Let m be ((-1)/3)/(2/(-60)). Let g be 10/(-25) - (-214)/m. Is 89/(-3)*g/(-5 - 2) a multiple of 11?
False
Let c(j) = 2196*j**2 + 20*j + 4. Is 10 a factor of c(-1)?
True
Let f(m) = -3245*m - 9193. Does 129 divide f(-12)?
False
Suppose -l - 67720 = -4*v, -v - 4064 = 3*l - 20994. Is v a multiple of 3?
False
Suppose -j - 3*p = -18 + 16, 4*p + 2 = j. Is 26 a factor of (-2 + -16)*(-13)/1*j?
True
Let y(h) = 6*h**3 + 10*h**2 + 65*h - 939. Is 11 a factor of y(12)?
True
Suppose -11*x + 10 = -9*x. Suppose r = 5*b - 0*b - 1799, -3*b - x*r + 1085 = 0. Does 60 divide b?
True
Suppose 845*a = 933*a + 42591 - 3225375. Does 132 divide a?
True
Suppose 4906800 = 422*v - 248*v. Is 30 a factor of v?
True
Let o be (378/(-24))/(2/104) - -4. Let p = 1190 + o. Is 15 a factor of p?
True
Suppose 585*z - 5090 = 583*z. Is z a multiple of 61?
False
Let z = 11288 + -6400. Is 53 a factor of z?
False
Suppose -5*j + 25770 = 34*f - 32*f, -2*f + 10308 = 2*j. Does 170 divide j?
False
Let m = -286 + 782. Let o = m - 363. Is o a multiple of 7?
True
Suppose 4*d = -2*q + 220, -d - 827 = 4*q - 1309. Does 28 divide q?
False
Suppose -2*h + 3*d + 2392 = 7177, -2*h - 4792 = 4*d. Let p = -1272 - h. Is p a multiple of 22?
True
Let u = 148 - 15. Let m = u - 135. Is 7 a factor of (m - (-189)/12) + (-15)/(-60)?
True
Suppose 0 = -w + 2*g - 4*g + 411, -3*w + 4*g + 1193 = 0. Let u = 477 - w. Is u a multiple of 8?
False
Let l(c) be the first derivative of -11*c**5/120 + 13*c**4/12 - 22*c**3/3 - 7. Let a(u) be the third derivative of l(u). Is a(-10) a multiple of 17?
True
Let w = 3632 - 1791. Does 7 divide w?
True
Let h(d) be the third derivative of d**6/120 + d**5/4 - 11*d**4/12 - 4*d**3 + d**2 + 6. Does 9 divide h(-16)?
True
Suppose 171 = -9*y + 81. Let n(g) = -16*g + 141. Does 12 divide n(y)?
False
Let p = -600 + 2498. Suppose 4*w = 2*y - 938, -16*y = -12*y + 3*w - p. Is 26 a factor of y?
False
Let p(j) = 4*j**2 - 2*j + 4. Let i be p(-4). Let a be 505/45 - (-2)/(-9). Let n = i + a. Does 11 divide n?
False
Let h = 282 - 189. Suppose 5*i = 172 + h. Let s = 66 - i. Is 2 a factor of s?
False
Let t = -187 + 291. Suppose -12*i + 1196 = t. Is i a multiple of 2?
False
Let i(w) = w**3 - 4*w**2 - 13*w + 50. Let z be i(3). Suppose 3*r - 3*h = 1368, 2*h = z*r - 3*r + 465. Is r a multiple of 30?
False
Let f = 1474 + 1521. Is 22 a factor of f?
False
Suppose -3*m - j + 2905 = 0, -3*m + 7*j + 2925 = 4*j. Let r = -255 + m. Is 65 a factor of r?
True
Let h(b) = -25*b - 5. Let n be 6/(1/(-18)*3). Let k be (2/6)/(6/n). Is 9 a factor of h(k)?
True
Let y(l) = -l + 5. Let g be y(5). Suppose g = -3*c + d + 15, c - 5*d = 5*c - 1. Suppose 0 = -c*f + 2*u + 1194, -4*u - 582 = -2*f - 6*u. Is 32 a factor of f?
False
Let x(g) = -115*g**3 - 11*g**2 + 23*g + 238. Is x(-6) a multiple of 59?
True
Let y be -4 - (0 + -12)*(-13)/(-26). Suppose -830 + 86 = -4*g. Suppose -k = -3*n - g, 2*k - 6*n + y*n = 374. Does 21 divide k?
True
Suppose -3*u - 170 = -5*a, 3*u + 24 = -a - 158. Let m = u + 70. Is 6 a factor of ((-2)/3)/(m/(-630))?
True
Let o be (36 + -34)/(1*2). Is (16/o - 0)*6 a multiple of 11?
False
Let b(q) = q**2 - q - 10. Let z be b(4). Suppose d - 2*v - z = -3, -2*v + 3 = d. Is 46 a factor of 160 + (-10)/5 + d?
False
Let z = 307 + -235. Is (-402 + z)/(-1 - (1 - 0)) a multiple of 12?
False
Suppose -246*d + 111575 = -1586436 + 320411. Is d a multiple of 175?
True
Let p(j) = 5*j + 64. Let a be p(-10). Suppose -3*l = -5*m - 1207, -9*l - 2025 = -a*l + 5*m. Is l a multiple of 62?
False
Let u(s) = -34*s**3 - 4*s**2 + 4*s - 4. Let a be u(-4). Suppose 9*t = a - 67. Suppose -7*b + 820 = t. Is 12 a factor of b?
False
Suppose 0 = -2*o + b - 38 - 52, -2*b - 121 = 3*o. Let v = -43 - o. Suppose h + 228 = 4*j - v*h, 208 = 4*j + 4*h. Is j a multiple of 8?
True
Suppose l - 995 = 987. Is l a multiple of 86?
False
Let k = 21562 - 10504. Is 38 a factor of k?
True
Let a(o) = o**3 - 8*o**2 - 18*o + 2. Let c be (-7163)/(-87) - 2/6. Let k = c + -72. Is a(k) a multiple of 4?
False
Let r be 29/(-9) - 16/(-72). Let h = 111 - 108. Does 31 divide h*(-128)/(-6) + r?
False
Let c(s) = -36481*s - 907. Is 11 a factor of c(-1)?
True
Let b(w) = -31*w + 1767. Is 10 a factor of b(47)?
True
Let v = 407 + -93. Suppose -g - 2*z + 75 = 0, -2*z = 4*g - z - v. Let j = 87 - g. Does 4 divide j?
True
Let v be (-24)/(-36) - 4/6 - -2. Suppose v*z + 2*z = 5*z. Suppose 3*g - 918 = -2*g + 3*r, -2*g + 3*r + 360 = z. Does 30 divide g?
False
Is (142800/480)/(1/2) a multiple of 14?
False
Let q(p) = 2*p + 24. Let n be q(-10). Suppose -5*x - 11 = -2*r, 3*r + 2*x - n = r. Is r/2*1600/24 a multiple of 25?
True
Let c(u) = 2*u**2 - 5*u - 10. Let m be c(4). Let o(h) = -14*h + 15*h**m - 15 + 3 - h**3 + 2*h**3. Is o(-5) a multiple of 28?
True
Suppose -5*f + 210221 = 4*k, f + 4*k - 9478 = 32579. Does 10 divide f?
False
Let a be 92/69*((-87)/2)/(-1). Suppose 0 = r + a + 7. Let b = r + 87. Does 6 divide b?
False
Let k be 2/3 + 9/27. Let c(p) = 33*p - 3*p + 2 - 8*p + 11*p. Is 35 a factor of c(k)?
True
Does 2 divide (61 - -196) + (1 - 1 - 1)?
True
Let u = 3233 - 2377. Does 107 divide u?
True
Is ((-219)/1971)/(2/(-24))*2886/4 a multiple of 13?
True
Suppose 157242 - 487002 = -60*v. Is 59 a factor of v?
False
Let v(o) = 10*o + 117. Let a be v(-9). Let n = a + -7. Is n a multiple of 2?
True
Suppose a + r - 3*r = -73, -2*r = -5*a - 325. Let g be (-28)/(a/(-270) + 1/(-3)). Suppose 6*d = -d + g. Is 6 a factor of d?
False
Suppose 44178 = 422*o - 416*o. Is o a multiple of 39?
False
Suppose -18*q + 99 = -15*q. Is 27 a factor of ((-3)/(-1) + -29)/((-2)/q)?
False
Let l = -6534 - -12638. Is 32 a factor of l?
False
Let d(c) = -c**2 + 12*c - 8. Let o be d(11). Suppose -o*y + 1338 - 43 = 2*h, 4*h - 2555 = y. Does 20 divide h?
True
Suppose 0 = -0*x + 7*x - 504. Suppose -t = -2*t + x. Suppose -7*z = -9*z + t. Does 10 divide z?
False
Let p = -75 + 79. Suppose 0 = 3*j + 5*v + 3, j - v - 23 = -p*j. Is ((-3)/j)/((-11)/1672) a multiple of 38?
True
Let a be 7/14 - 161/2. Let g = 72 + a. Let u = g + 34. Is u a multiple of 26?
True
Let p = -52 + 42. Is 10 a factor of (0 + p)/(-1 + 6/8)?
True
Let y = -1053 + 1071. Let f(g) = 2*g**3 - 35*g**2 - 16*g - 33. Does 3 divide f(y)?
True
Suppose -248 = 12*k - 11*k - 3*s, 5*s + 