 37*p - 11 + z - 6. Is 12 a factor of o(4)?
False
Suppose 5*z - 79991 = 3*c, 0 = -4*z - z + 4*c + 79998. Is z a multiple of 11?
True
Suppose -z - 4*v + v + 3 = 0, -2*z = 5*v - 5. Suppose -k - k - 41 = -3*r, z = -5*k - 20. Suppose -r*w + 1458 = 7*w. Is w a multiple of 9?
True
Suppose 1061 = -4*l - 491. Let h = l + 582. Is 14 a factor of h?
False
Is 9/(3402/776070) + 2/(-21) a multiple of 5?
False
Suppose 32 = -2*h + 3*u, 4*h - 2*u + 21 = -27. Let y(n) = -4*n - 33. Let v be y(h). Suppose -5*q + v*q = 314. Is 33 a factor of q?
False
Let z(s) = -3*s**3 - 6*s**2 - 5*s + 40. Is 170 a factor of z(-12)?
True
Let s(u) = u**3 - 22*u**2 - 601*u + 12. Is 134 a factor of s(-15)?
False
Let k(p) = 128*p + 5. Let a be k(1). Let b = a - 43. Is b a multiple of 26?
False
Does 112 divide ((-18)/(-51))/3 - 24124256/(-884)?
False
Let o = -763 + 767. Suppose -3*c = 2*g - 483, -71 = -o*c + 4*g + 573. Does 7 divide c?
True
Suppose 220*g - 6038 = -2*p + 215*g, 0 = 5*p + g - 15118. Does 54 divide p?
True
Let z(u) = 23*u + 8206. Is z(108) a multiple of 2?
True
Suppose -5*b - 5*y + 1090 = 0, -5*b + 715 + 371 = y. Suppose -b = -3*f - 187. Is f a multiple of 10?
True
Suppose 9047 + 697 = 6*w. Is 3 a factor of w?
False
Suppose 5*f = -5, 7*k - 142331 = 3*k - 5*f. Is k a multiple of 256?
True
Let c(t) = 18*t - 72. Let q be c(5). Is 101 a factor of ((-171)/q - -10) + 1210/4?
True
Let x be 1/((7/63)/((-8)/(-18))). Suppose 2*y - 730 = 3*p, -p = p + x. Is y a multiple of 19?
False
Let k be 6 - ((6 - 7) + 2/1). Suppose -3*m - 2*w = -m - 264, 0 = -k*m + 5*w + 710. Let z = m + -2. Is 15 a factor of z?
True
Let g(y) = y + 111. Let h be g(35). Let f = 161 - h. Is f a multiple of 5?
True
Let o(m) = -19*m - 4. Let p be o(-1). Does 19 divide ((-8)/p)/4 - (-27958)/210?
True
Let b(q) = 17*q**2 + 3*q + 9. Let k(d) = -18*d**2 - 3*d - 10. Let x(g) = 7*b(g) + 6*k(g). Let h be x(4). Suppose h - 1415 = -12*s. Is s a multiple of 34?
True
Let k(n) be the second derivative of -4*n**2 - 1/6*n**3 + 0 + 15*n. Is k(-14) a multiple of 2?
True
Let h(z) = 3*z**3 + 113*z**2 + 226*z + 88. Does 130 divide h(-23)?
False
Let j = -646 - -668. Is 21 a factor of (-4 + j)/(2 + 204/(-105))?
True
Let q(z) = -13*z - 3 - 5 - 1 + 3 - 9*z**2. Let p be q(-6). Let w = -167 - p. Does 12 divide w?
False
Let k be 1 + -8 + -4*(0 - -8). Suppose -3*u + 3*r + 246 = 0, -9 = -0*r + 3*r. Let h = k + u. Does 8 divide h?
True
Let y(o) = 13*o**3 + 20*o**2 - 45*o + 67. Is y(9) a multiple of 29?
True
Let l(m) = 2*m**2 - 23*m - 676. Is 114 a factor of l(62)?
True
Suppose -f + 251 = 75. Suppose 4*r - f = 3*p, 2*r - 4*p - 88 = p. Let v = r + -28. Is 4 a factor of v?
True
Let x(t) = 53*t**2 - 15*t + 40. Is 136 a factor of x(-18)?
False
Suppose 44430 - 365774 = -7*a - 25*a. Is a a multiple of 85?
False
Suppose -17*z - 12*z + 857 = -332. Is z a multiple of 2?
False
Let t = 62 + -43. Suppose 6 + t = 5*y. Suppose -y*r + 5*i = -360, 3*r - 2*r + i - 68 = 0. Does 7 divide r?
True
Let i = -197 - -207. Does 26 divide (134/i + -3)/(6/315)?
True
Let q = 49 - 52. Let n be 3/(-18)*q*-6. Does 2 divide (n - 1/(4/(-16)))*5?
False
Let h(q) = 309*q + 987. Does 17 divide h(11)?
True
Suppose -9 - 63 = -3*l. Let q be 0/(1*6/(-3)). Suppose -w - u = 3*u - l, q = 2*w + u - 76. Is w a multiple of 40?
True
Let z(l) = -l**3 + l**2 - l. Let t(g) = g**3 - 45*g**2 + 18*g + 4. Let b(q) = -t(q) - 5*z(q). Does 50 divide b(-6)?
True
Suppose -k = -5*m + 59394, 10*m = 5*k - 9*k + 118824. Is 14 a factor of m?
False
Let j(o) = -o**3 - 48*o**2 - 2*o + 118. Let p(k) = 3*k**2 - 36*k + 33. Let v be p(9). Is 14 a factor of j(v)?
False
Let s = -21 - -30. Suppose b - 2*v + s = 0, 5*v - 20 = 4*b + v. Is (29 - 30) + (0 - b) + 20 a multiple of 20?
True
Suppose 5*n - 63 = 27. Is 32 a factor of (135/n - 0)*(-256)/(-5)?
True
Let u be (-8)/(-10) - (-10336)/80. Suppose 0 = -r + 4*t + 50, 5*r - u - 74 = -3*t. Suppose -2*b + 58 = -r. Is b a multiple of 10?
True
Is 165/22 - 828/(-24) a multiple of 29?
False
Suppose 2 = 4*b - 3*b. Let x be -3 - (-1 + b)*37. Let m = x - -64. Does 5 divide m?
False
Suppose -2*i + 22 = k - 14, -4*k + 138 = 2*i. Is 24 a factor of (0 + 1)*17/(k/768)?
True
Suppose -7*a - 129*a = 107*a - 3467124. Does 164 divide a?
True
Suppose 347109 - 135461 = 21*r - 269525. Is 15 a factor of r?
False
Suppose -l = -x - 5, 0 = l + l - 5*x - 13. Is ((l/(-8))/(2/508))/(-1) a multiple of 9?
False
Is (-9 - -11 - 89)/((-3)/206) a multiple of 78?
False
Suppose 5*r - 4*r + 5*l - 220 = 0, -3*l + 708 = 3*r. Is (r/2)/(8/20 + 0) a multiple of 10?
True
Let d(z) = -21*z**2 - 7. Let a be d(2). Is ((-4)/(-14) + (-65)/a)*268 a multiple of 28?
False
Let s(z) = -z**3 - 13*z**2 - 20*z + 51. Let f(i) = 2*i - 18. Let k be f(3). Does 18 divide s(k)?
False
Suppose 1564 = 4*b - 3*y, 0 = -3*b + 4*b + 4*y - 391. Let h = 404 + b. Is 17 a factor of h?
False
Let d be 1/(-3)*4*12/(-8). Suppose -8*o + d*o + 630 = 0. Is o a multiple of 3?
True
Suppose 0*a + 59 = a - 4*c, 2*a - 4*c = 102. Let v be 12/(-27) + 110/(-198). Is 2 + 5/v + a a multiple of 8?
True
Let a be ((-22)/(-4) + -4)*-4. Let o(w) = w + 6. Let b be o(a). Suppose b = -4*s + 6 + 10, -131 = -c - 4*s. Is c a multiple of 19?
False
Let i = -5 - -26. Suppose -i = -4*a + 19. Suppose -a*c - 378 = -13*c. Does 14 divide c?
True
Suppose g - 5*f - 237 = 137, 5*g - 4*f - 1828 = 0. Does 13 divide g?
True
Let k(a) be the second derivative of 53*a**4/6 - 19*a**3/3 - 2*a**2 + 189*a. Is k(3) a multiple of 11?
True
Let h(r) = -r**3 - 5*r**2 + 7*r + 8. Let x be h(-6). Let k(g) = 5*g + 13*g + g**x - 8*g**2 + 6*g**2. Does 19 divide k(10)?
False
Suppose 0 = -84*o + 1053434 + 1150853 - 619711. Is 262 a factor of o?
True
Suppose 12*q + 276 = 18*q. Let g = 232 - q. Is 31 a factor of g?
True
Suppose -12 + 282 = 10*v. Suppose -v = -5*h + 53. Suppose -18*k = -h*k - 106. Is 9 a factor of k?
False
Let h(r) = -19*r + 532. Let t be h(28). Suppose t = 2*g + 5*f + 25 - 548, -2*f - 530 = -2*g. Does 24 divide g?
True
Let z(a) = 2*a**2 - 139*a - 2510. Is z(-82) a multiple of 32?
True
Let h(s) = 3899*s**2 - 1791*s + 7187. Is h(4) a multiple of 17?
True
Let y(q) = -15*q - 76. Let f be y(-5). Does 11 divide (-33)/6*(-8)/f*-6?
True
Suppose -50*k - 12*k - 359909 = -1479629. Is k a multiple of 12?
True
Suppose -18 = 2*u + 4*n, -15 = -5*u + 10*u - 5*n. Let t(c) = -2*c**3 + c**2 + 4*c + 16. Is t(u) a multiple of 11?
False
Suppose 19 = 7*y - 9. Suppose 28 = -m + y*w, -3*m + 5*w - 82 - 16 = 0. Let b = m + 116. Does 10 divide b?
True
Suppose 1 = -3*r - 4*b + 9*b, b + 3 = -r. Let d be r + 16/10 + 32/5. Suppose -d - 702 = -4*x. Does 27 divide x?
False
Does 17 divide 24 + -8 + 50325 + -21?
True
Suppose 0 = 4*a - 5*r - 73, a - 4 = 3*r + 9. Suppose -9*f = 2*f - a. Suppose -z + 3 = 0, -127 = -f*n - 4*z + 83. Does 11 divide n?
True
Let x(m) = -3309*m + 147. Is x(-1) a multiple of 12?
True
Let b(w) = -57*w + 60 - 53*w + 108*w. Is b(15) a multiple of 18?
False
Is (488 + -272)*((-26)/(-8) - 1) a multiple of 9?
True
Let h(c) = 26 + 3*c**3 - c**3 - c**3 + 14*c**2 - 16*c. Suppose -855 = -6*p + 63*p. Is 5 a factor of h(p)?
False
Let f be (0 + -224)/((-18)/36). Is (f/(-10))/((-8)/40) a multiple of 34?
False
Suppose 2*t = 5*l + 138171, 3*l = -t - 4334 + 73469. Is t a multiple of 31?
False
Let j = 43 + -31. Suppose 3*z - j = z. Suppose 50 + 22 = z*m. Does 6 divide m?
True
Let x(p) = 22*p**2 - 2*p + 8. Suppose -7 = 2*h + s + 3, 5*s + 17 = h. Let i be x(h). Let l = -117 + i. Does 19 divide l?
True
Let n be 0 - 1 - (188 - 8). Let f = 208 + n. Is f a multiple of 6?
False
Let h = 226 - 223. Let x(u) = -16*u + 60. Is x(h) a multiple of 3?
True
Let h be 2/(-2) - (1 - 5/1). Suppose -2*g = -a + 82, 5*a = h*a + g + 155. Let t = 307 - a. Is t a multiple of 21?
True
Suppose -4*o + 6972 = 17*o. Let l = o - 263. Is l a multiple of 3?
True
Suppose -5*a = -6*u + 3*u + 28, 0 = -5*a - 10. Is 6426/45 + u/5 a multiple of 6?
True
Let d = -325 - -429. Does 3 divide ((2 - d)/2)/(66 - 67)?
True
Suppose 0 = 22*o - 17*o - 1460. Suppose 64 = -a + o. Is a a multiple of 19?
True
Suppose 38*x - 41*x = -1527. Let t = -321 + x. Does 13 divide t?
False
Let a = -3153 - -6835. Suppose 0 = -x + 2*x. Suppose 5*c + 9*c - a = x. Does 35 divide c?
False
Let q be 4/(-14) - (-6 - 4101/21). Let c = q + 163. Does 26 divide c?
True
Let v(u) = -20*u + 20. Let 