
Let w(z) = -12*z + 10. Let n = 38 - 46. Let k be w(n). Suppose k = 18*c - 236. Is c a multiple of 4?
False
Let h(m) = 5*m**2 - 10*m - 2. Let w(z) = 9*z**2 - 20*z - 5. Let y(q) = 11*h(q) - 6*w(q). Let l be y(-7). Let s = 49 + l. Is 9 a factor of s?
True
Let h = 8 + -11. Does 4 divide (-9)/h - (-3 + -294)?
True
Let m be -843 - (-2*(-6 + 5))/1. Let h = m - -1485. Is h a multiple of 39?
False
Suppose -4*r - 5*s = -2866 + 855, -3*r + 1491 = -2*s. Let y = r + -353. Suppose 6*v - 106 = y. Is v a multiple of 8?
False
Suppose -3*w - 9068 - 5204 = -7*w. Does 50 divide w?
False
Let u(i) = 29*i**2 - 30*i - 614. Is u(-15) a multiple of 10?
False
Let b = -37 + 41. Let h(s) = 9*s**2 - s - 14. Let f be h(b). Let w = 143 + f. Is 14 a factor of w?
False
Does 59 divide (-8)/6 - ((-33049)/(-2))/((-27)/18)?
False
Let c = 551 + -224. Is c a multiple of 19?
False
Let w = -1506 + 2171. Let a = w + -632. Is 3 a factor of a?
True
Is 20 a factor of (27 - 31)/((-4)/(-1546)*(-4)/32)?
False
Suppose 2*f - 2*t = 88852, -758*f + 44438 = -757*f - 3*t. Does 20 divide f?
True
Is 119 a factor of ((-5)/20*22)/((-4)/32664*3)?
False
Let o = -15 - -23. Suppose 2*f - v - 415 = 0, -2*v = 3*f + 426 - 1073. Suppose -o*u = -53 - f. Is u even?
False
Let k(q) = q**2 + 7*q + 5. Let x be k(-7). Suppose -2*l + x*l = 15, -5*b - 2*l = -45. Suppose -b*h + 68 = -5*h. Is 12 a factor of h?
False
Let y be (-14)/(-4)*(-140)/(-49). Suppose 14*q - y*q - 1240 = 0. Is q a multiple of 42?
False
Suppose 2*m + 143 = 147. Suppose 272 = m*h - 944. Is 32 a factor of h?
True
Suppose -2*z + 6*z = 8112. Let k = -1434 + z. Is 40 a factor of k?
False
Suppose 4*m + 11*h = 13*h - 498, 4*h = 3*m + 371. Let s = 6 - 4. Is 28 a factor of ((-32)/s)/(3 + m/40)?
False
Suppose 23*d = 3*d + 2340. Suppose 132*w - 9540 = d*w. Does 8 divide w?
False
Let g be (-2 - 19)*(-2)/6. Does 28 divide ((-1)/((-5)/53))/(g/35)?
False
Suppose -4*c - 2*r = -13 - 5, 4*c = -r + 19. Suppose 824 = c*j - 3*j + 4*g, 5*j = -5*g + 2050. Does 6 divide j?
True
Suppose -2885382 = -53*v - 80*v + 52*v. Is 42 a factor of v?
False
Suppose 3*d - 3456 = d - 3*o, 4*d - 6912 = -4*o. Is d a multiple of 96?
True
Let b = 121 - -103. Let d = b + 106. Is d a multiple of 10?
True
Let g(f) = -2*f**3 + 13*f**2 + 40*f - 209. Is 39 a factor of g(6)?
False
Suppose 49*n - 51*n = -4. Suppose n*b - 1365 = -11*b. Does 21 divide b?
True
Let h(y) = -4797*y - 9007. Does 61 divide h(-7)?
False
Is 23453 + -54 + 17 + 14/(-4)*2 a multiple of 15?
False
Let o = 11931 - 6303. Does 8 divide o?
False
Suppose 2*x - 5*j = -x + 107, 4*x = 2*j + 124. Suppose -30*f = -x*f - 7. Does 14 divide (f/((-28)/5))/((-2)/336)?
True
Let w(y) = 335*y + 355. Is w(7) a multiple of 25?
True
Suppose 0 = -4*k - 3*x + 16716, -1729 = -4*k + 2*x + 15007. Does 41 divide k?
True
Suppose -202*l + 553813 = -89*l. Is 13 a factor of l?
True
Suppose 5*s + 24 = 49. Suppose -3*z = -4*w + 17 + 18, w + s = -2*z. Suppose 4*h - w*o - 310 = 0, 5*h - 379 = -0*o + 2*o. Is h a multiple of 17?
False
Let k be 99/(-18)*-41 - (-2)/(-4). Suppose 2*i = k - 93. Is i a multiple of 33?
True
Suppose -142*t + 1259 + 28845 = 0. Does 19 divide t?
False
Suppose 8*i + 76 = 92. Is 18 a factor of (-10 + (-224)/(-10))/(i/5)?
False
Suppose 0 = 13*m - 10*m + 5*o + 18, 3*m - 9 = 4*o. Let n be (-1)/(4/24*-2). Is 22 a factor of (165/(-9) + m)*(n + -6)?
False
Suppose 0 = -2*z - 4*z + 8*z, 0 = 2*o - 3*z - 1120. Is o a multiple of 76?
False
Let w(h) = 2*h**2 + 275. Is 58 a factor of w(19)?
False
Let q(x) = -x**3 + 19*x**2 - 14*x - 67. Let l be q(18). Suppose -3633 = -l*c - 793. Is 8 a factor of c?
True
Suppose 7*q - 20 = -6. Let x be 74/(-5) - 2/20*q. Is 10 a factor of -4*10/((-1)/(x/(-12)))?
True
Let y = -4431 + 10526. Is 28 a factor of y?
False
Let t = -8 + 36. Suppose -4*w = -2*a + 32, -2*w + 5*a = a + t. Does 39 divide 34/w*(9 + -30)?
False
Let f = 8075 + -5345. Is 26 a factor of f?
True
Let g(s) = -s**3 - 69*s**2 - 132*s - 52. Is 188 a factor of g(-72)?
True
Let v = 153 + -93. Suppose -b = -v - 119. Let x = b - 104. Is x a multiple of 14?
False
Suppose -2 = -t, -4*p - 26*t + 28*t + 380 = 0. Does 3 divide p?
True
Suppose 3*j = j + 4, v - j = 15. Let p = -402 - -438. Suppose q - v = p. Does 19 divide q?
False
Let y(l) = -4*l + 10. Let n be y(4). Let b = -5 + n. Is (-5 - b)*(-42)/(-9) a multiple of 14?
True
Suppose -d + 18 = 4*h, -3*h = 5*d - 12 - 10. Does 6 divide -5*(-2096)/40 + d?
True
Let o(b) = b**2 - 12*b + 20. Let y be o(11). Suppose -16 = -5*g + y. Does 31 divide g/(45/(-6))*(-279)/6?
True
Let u = 834 - -4646. Is 40 a factor of u?
True
Suppose -3*p = -u - 3203203, -4*p + 3*u - 5*u = -4270954. Does 68 divide -2*(-1)/7 - p/(-1428)?
True
Suppose 8940 = 3*n + 3*t, -4*t - 54 = -70. Suppose 9*z - 4*o + n = 14*z, z = -3*o + 604. Does 7 divide z?
False
Let j = -41021 - -41667. Is j a multiple of 323?
True
Let f = -16 + 26. Let y be 2*2*f/(-8). Let d(z) = -13*z + 18. Is d(y) a multiple of 15?
False
Suppose 17*x - 412 = -82*x + 65918. Is 22 a factor of x?
False
Let l(k) = -2*k**2 - 46*k + 103. Let o be l(-25). Suppose -3*q = -o*m - 1842, 620 = q - 10*m + 6*m. Does 32 divide q?
False
Suppose s = 2*s + 5*t + 17, -t = -2*s + 10. Suppose -s*r - 2*r + 35 = 2*v, 30 = v + 5*r. Suppose -l = 3*c + 2*l - 60, 0 = 2*c + v*l - 37. Is 2 a factor of c?
False
Suppose -3*k + 208 = 28. Suppose -7*v + k = -4*v. Suppose -796 - v = -4*g + 4*o, g - 2*o = 201. Does 21 divide g?
False
Let w = -28 + 33. Suppose -2*k + 3*h + 1338 = 0, -w*k - 5*h = -0*k - 3295. Is 17 a factor of k?
True
Let l(i) = 5*i**2 + 37*i + 7. Let g be l(-7). Is 6 a factor of -123*(-9 - g) + 1?
False
Suppose 2*u - 2 = f + 4, 4*u - 14 = 3*f. Let d be 1/(f/(4/(-1))). Suppose 5*v + 6*q - 298 = 4*q, 0 = d*v + q - 119. Does 20 divide v?
True
Let j = -153 + 98. Is j/(-1 + (-2)/(-4)) a multiple of 13?
False
Let w(x) = 6386 + 56*x - 6389 + 90*x. Is w(2) a multiple of 18?
False
Let w = 9590 - 8152. Is 10 a factor of w?
False
Let r = -15540 - -32028. Does 61 divide r?
False
Let s(l) be the second derivative of l**5/20 - l**3 - 9*l**2/2 + 148*l - 2. Does 63 divide s(9)?
False
Suppose 5*y - 33 = 12. Suppose -v = 2*j - 75, 2*j + 9 = -j. Suppose v = 3*c + y. Is c a multiple of 6?
True
Let b be (-9)/(-3) + (4 - -1). Suppose -b*j + 4*j = -16. Suppose 0*n + 5*g + 25 = n, 5*g + 130 = j*n. Is n a multiple of 5?
True
Suppose 2*o + 110 = -3*k, -115 = -0*k + 3*k + o. Let z = k + 47. Does 7 divide z?
True
Suppose -23*f + 128216 + 469379 = -111265. Does 33 divide f?
False
Let f = 3 + 8. Suppose f*w + 60 = 14*w. Is 39 a factor of (-8)/w + 572/5?
False
Let o(x) = -20*x - 11. Let q(g) = 5*g**2 + 34*g - 4. Let c be q(-7). Suppose s = -3, 3*s + 27 = -c*z - s. Does 20 divide o(z)?
False
Let v = -3105 - -6207. Is 22 a factor of v?
True
Let g be 3*(5 - 14/3)*4. Suppose -g*w + 8 = 0, 2*n + 114 = 4*n + 5*w. Is n a multiple of 17?
False
Suppose 0 = -4*k, -3*y - 163404 = -k + 3*k. Is y/(-126) + 2/(-7) a multiple of 24?
True
Suppose 2*b + b - p = 128, 2*b = 4*p + 92. Let o be (-114)/3 + 30 + -20. Is 29 a factor of (500/(-6))/(o/b)?
False
Suppose -8435 = -17*d + 11608. Is 9 a factor of d?
True
Suppose -18 = -2*c - 5*u, -4*c = 4*u - 2*u - 20. Suppose c*r - 603 = 4*l + 29, -2*l - r = 316. Let j = l + 394. Is j a multiple of 22?
False
Suppose -8*q - 4007 = -4*r - 7*q, -3006 = -3*r + q. Does 11 divide r?
True
Suppose -13*m + 51022 = 4*a - 3*m, 3*a = -m + 38221. Is 22 a factor of a?
True
Let n(s) = -32*s + 2403. Is n(20) a multiple of 6?
False
Is 88/(-12)*-219*(-1 - -9) a multiple of 8?
True
Let r(g) = 28*g**2 - 77*g - 19. Is 2 a factor of r(8)?
False
Let d = 609 - 613. Is 63 a factor of (-3028)/(-6) + d/6?
True
Suppose -6*x + 275 = 35. Let w = x + -41. Is 6 a factor of 18*3*(w + 2)?
True
Let p(i) be the second derivative of 79*i**4/12 + i**3/2 + 5*i**2/2 + 53*i. Is p(-1) a multiple of 10?
False
Suppose -147652 = -61*z + 121968. Is z a multiple of 17?
True
Suppose 12*o - 10*o = -4*b + 9082, 5*o - 2257 = -b. Is b a multiple of 16?
True
Let h be (-756)/(-1) - (-1 - (5 - 7)). Suppose -25*l = -30*l + h. Is 18 a factor of l?
False
Suppose -175100 = -15*w + 808360. Does 148 divide w?
True
Suppose 6*v = 2005 + 1061. Suppose -3*q + v = y + 82, 4*q = y + 572. Does 13 divide q?
True
Suppose i - 4*x - 1612 = 0, 0 = 130*i - 133*i + x + 4803. Is 4 a factor of