h = r - -5. Is 9 a factor of h?
False
Is 20 a factor of (4 + -1125 - 9)*(-2 - 8)?
True
Let d = 87 - -77. Let v = d + -152. Does 5 divide v?
False
Let s = 17 - 12. Suppose 0 = -2*y + 2*p - 6*p + 90, -4*p + 213 = s*y. Let k = 156 - y. Is 24 a factor of k?
False
Let g(y) = 5 - 35*y + 3 + 10*y. Let j be g(5). Let w = 205 + j. Is 15 a factor of w?
False
Suppose 59*h + 3735 + 5442 = 220*h. Let x be 79/3 + (-2)/(-3). Suppose -h = -f + x. Is f a multiple of 42?
True
Let c be -1 + 9 + (5 - 6). Let f(h) = -19 - 612360*h - 9*h**2 + h**3 + h**3 + 612355*h. Is 29 a factor of f(c)?
False
Suppose 8536 = 27*a + 23*a - 12114. Is a a multiple of 67?
False
Let c(k) = -k**3 + k**2 + 2*k + 5. Let q be c(0). Suppose q*l - 2 = 4*l. Suppose -24 = -l*a + 8. Does 6 divide a?
False
Suppose 3*t + 30 = 4*r, 9 = -2*t - 5*r + 4*r. Is 12 a factor of (-23 - -173) + t/(-2)?
False
Let t(r) = -3*r**3 + 12*r**2 + 89*r + 54. Is t(-6) a multiple of 25?
True
Let d = -978 - -1169. Is d a multiple of 2?
False
Suppose 6093057 + 4196773 = 155*q. Is 18 a factor of q?
False
Let s(n) = n**3 - 18*n**2 + 19*n. Let y be s(18). Let f = y - 333. Is 4 a factor of f?
False
Let q be (42/147)/((-2)/(-28)). Let v be q/16 + (-1)/((-4)/475). Suppose -o + 5*f + v = 0, -2*o + 272 = f + 34. Is 24 a factor of o?
False
Is 33 a factor of ((-148)/14 + (-128)/(-16))*-616?
True
Suppose 0 = 6*x - 0*u + 4*u - 9062, -4*x + 4*u + 6048 = 0. Does 25 divide x?
False
Let w(l) = -2*l**2 + 37*l + 19. Let o be w(27). Is o/(-8) + 5 + 4/(-1) a multiple of 19?
False
Let j = 334 - 329. Suppose -v = 3*v + 2*u - 658, u + 812 = j*v. Is 19 a factor of v?
False
Let v be 2121/14*(-2)/3. Let w = 151 + v. Suppose -2*t - w - 26 = -2*q, 0 = -2*t + 4. Does 13 divide q?
False
Let l(s) = -514*s**3 - 3*s**2 - 2*s. Suppose 0*p = 5*p + o + 1, -2*p = 5*o - 18. Is l(p) a multiple of 20?
False
Suppose 3*z - 28 = 3*l - 25, -3*l = -5*z + 7. Let k be (-39)/(-12) - (-2)/(-8). Suppose 3*b + k = 0, -3*b - 89 = -t + z. Is 14 a factor of t?
False
Is 19 a factor of 18 - 4 - 2354*-1?
False
Is (-2 + 3)/(39046/(-9762) + (41 - 37)) a multiple of 25?
False
Suppose 9 = 5*h + 23*v - 26*v, -5*h + 2*v + 6 = 0. Suppose -2*a + 0*a + 468 = 0. Suppose -14*j + 20*j - a = h. Is 3 a factor of j?
True
Suppose -5*s + 350 = -5*l, -5*s + 85 = 4*l - 229. Does 47 divide -67 + s + 1398/2?
False
Let p = -56 + 43. Let i(f) = -2*f**2 - 20*f + 14. Let g be i(p). Let y = g + 118. Is 27 a factor of y?
True
Suppose -4*f + 9 = -s, 0*f - 3 = 3*f - 4*s. Suppose n + 2*n = -f*c + 198, -2*n + 128 = c. Suppose -o + 2*o + n = 3*y, -y + 25 = 4*o. Is y a multiple of 7?
True
Suppose -4*m + 39864 = -4*c, -20*c + 4 = -19*c. Is m a multiple of 103?
False
Let l = 52 - 34. Suppose -5*z = -7*z - 4, l = -f - 5*z. Is 4 a factor of 2*1/(f/(-100))?
False
Suppose -2*h - 58 = -68. Suppose -14*v + 456 = h*v. Does 2 divide v?
True
Suppose -14*g - 53111 - 140789 = 0. Is g/(-20) + 7 - 5/(-2) a multiple of 40?
False
Let l = 45571 + -10921. Does 231 divide l?
True
Let f be -677 - (4/(-10) - 364/140). Does 36 divide 5 - ((3 - 8) + f)?
True
Let q(o) be the second derivative of o**4/4 + 13*o**3/6 - 2*o**2 - 250*o. Is q(-7) a multiple of 15?
False
Let g(m) = -3*m**2 - 2*m - 3. Let a(q) = 10*q**2 + 7*q + 10. Let x = 70 - 77. Let j(p) = x*g(p) - 2*a(p). Is j(7) a multiple of 16?
False
Let m = 1737 + -1073. Suppose -18*q + m + 5276 = 0. Does 36 divide q?
False
Let w be 2 - 1*(-3 + 13). Let n be (1 + -1 + 6)/(w/(-724)). Suppose 7*f = 738 + n. Is f a multiple of 29?
False
Let h = 9834 - -2896. Is h a multiple of 86?
False
Let t = 5711 - -1626. Is t a multiple of 7?
False
Suppose 0 = 10*q - 498 - 182. Suppose -q*i + 4774 = -61*i. Does 62 divide i?
True
Suppose -3*q + 9292 = 2*b, 3*b + 3289 + 2884 = 2*q. Is q a multiple of 6?
False
Suppose l = -0 - 0. Suppose 3*r + 5*k + l*k - 499 = 0, -4*r - 5*k + 667 = 0. Does 42 divide r?
True
Let n(h) = -7*h - 171. Let d be n(-29). Is ((-720)/5)/(-8)*d/6 a multiple of 16?
True
Let c = -56 + 91. Suppose 3*s + 4*s - c = 0. Suppose -s*v = -3*z - 155, 5*v - z = -3*z + 130. Does 14 divide v?
True
Let o = 22092 - 10914. Is o a multiple of 15?
False
Is 41 a factor of (793 + -1791)*1*-8?
False
Suppose 3*p + 0*g - 5*g - 281 = 0, -372 = -4*p + 4*g. Suppose 84 = -16*n - p. Is 4 a factor of (11/(n/(-28)))/2?
False
Let p(o) = 1. Let t(c) = -148*c - 122. Let j(f) = -2*p(f) + t(f). Does 14 divide j(-5)?
True
Let u be (20/6)/(8/72). Is 13 a factor of -32 + u - (-535 - 0) - 0?
True
Let c(d) = -13*d + d**2 + 16 + 18 - 36. Let r(g) = 3*g - 12. Let o be r(9). Is c(o) a multiple of 5?
False
Suppose -j = -2, -914*q + 917*q - 27178 = j. Does 20 divide q?
True
Let a = 19251 - 18684. Does 27 divide a?
True
Let v be 5*24/(-4)*(-35)/(-50). Is (-1000)/(-35) - (-12)/v a multiple of 7?
True
Let m be ((1375/10)/(-11))/((-1)/10). Let h = m - -137. Is h a multiple of 15?
False
Suppose 34*g - 44 + 164 = 37*g. Suppose 2*k = 2*m - 2, -2*k = -0*m - 4*m + 12. Suppose q - k*h = 143 - g, 2*q - 178 = h. Does 12 divide q?
False
Suppose 65*t - 10206 = 62*t. Is t a multiple of 81?
True
Suppose 0 = 12*m - 2478 - 6282. Is m a multiple of 10?
True
Let t = -30674 + 60199. Does 143 divide t?
False
Let l(f) = f**3 + 20*f**2 - 20*f + 29. Suppose 7*w - 154 = 140. Suppose -5*o - 65 - 40 = -i, -2*i = 2*o + w. Is 5 a factor of l(o)?
False
Suppose 368*q = 647015 + 5958585. Is q a multiple of 30?
False
Let k(x) = -4*x - 2. Let j be (-1)/((9/21)/3). Let l be k(j). Let s = 59 - l. Does 4 divide s?
False
Let u be 2/(-9) - 1264/(-18). Let k = 47 + -46. Does 7 divide (u/(-4))/(k/(-2))?
True
Suppose 7*d = 4*d - 1998. Let c be (-1 + 3)/(34/(-68)). Does 24 divide d*((-65)/15 - c)?
False
Suppose -5*c = 4*s - 61, 2*s - 35*c = -39*c + 38. Suppose 3*d = -a + 253, 5*d + s*a - 14*a = 415. Is 7 a factor of d?
True
Does 90 divide (1071/378)/((-1)/(-32))*267?
False
Suppose 2*t - 31 = 5*v - 101, -3*v + t + 42 = 0. Suppose v*w - 621 - 947 = 0. Is 14 a factor of w?
True
Suppose 3*i - 135 = 8*i. Let r = i - -32. Suppose -399 = -4*h + r*y - 4*y, 0 = h - 3*y - 97. Is h a multiple of 20?
True
Let b(v) = -v**2 + 1. Let x(s) = -s**2 - 13*s - 4. Let r(a) = -5*b(a) - x(a). Let l be ((-46)/6)/((-4)/(-3)) - (-56)/(-224). Is r(l) a multiple of 36?
False
Let t = -239 + 241. Suppose r = -3*k + 449, 2*k - 302 = -0*r - t*r. Is k a multiple of 34?
False
Let v(f) = 13*f - 2. Let o be (-10)/(-45) + (-183)/(-27). Suppose -o = c - 9. Is v(c) a multiple of 6?
True
Let u = 89 - 70. Let w = 4 - u. Does 12 divide ((-132)/w)/(2/30)?
True
Let x(w) = 27*w**3 + 4*w**2 - 2*w + 7. Let m be x(3). Suppose -2*p + 2*r = -267 - 511, 2*p - m = -r. Does 10 divide p?
False
Suppose -2*y - 9928 = -3*d, -9*d - 5*y = -5*d - 13268. Is 144 a factor of d?
True
Is 188 a factor of (912/14)/((2/(-3290))/((-21)/70))?
True
Suppose -3*y - 10 = -5*p, -5*p + 10 = -6*y + y. Suppose -5*o + p*o = 108. Is 35 a factor of (122/(-3))/(o/54)?
False
Suppose 5*o = v + 150718, -5*v - 65372 + 5094 = -2*o. Is o a multiple of 12?
True
Suppose -5*m - 93 = z + 24, -2*z + 5*m = 204. Let r = z + 109. Suppose 6*c - 1032 = r*c. Does 43 divide c?
True
Suppose -25*a = 26*a - 68*a + 32504. Does 36 divide a?
False
Let p(a) = -13*a**3 - a**2 + 1. Let r be p(1). Let s be (-344 + 4)/5 + 3. Let c = r - s. Is 13 a factor of c?
True
Let f(q) be the second derivative of q**5/20 - 3*q**4/2 - 5*q**3 + 21*q**2/2 + 39*q. Is f(20) a multiple of 17?
True
Suppose 42*m - 54055 = -10291. Does 4 divide m?
False
Let y(h) = 1070*h**2 - 9*h - 20. Is 56 a factor of y(-4)?
True
Suppose 31*p + 24*p - 90408 = 47*p. Is p a multiple of 54?
False
Suppose -13263 = -7*b - 10*b + 116906. Is b a multiple of 19?
True
Suppose 1498 = -3*i - 11*i. Let j = 347 + i. Is 40 a factor of j?
True
Suppose -14*v + 25 = -17. Is 1/(v + 0 + 784/(-262)) a multiple of 3?
False
Let j(o) = -525*o**3 - 2*o**2 - 12*o - 10. Is 57 a factor of j(-1)?
False
Let l = -6 - 9. Does 12 divide (-9)/(-45) + (-4257)/l?
False
Let m be (-10)/8 + 2 + (-16264)/(-32). Let x = m + -354. Is x a multiple of 5?
True
Let n(f) = -f**2 - 13*f + 16. Let s be n(-14). Let a = 50 - 6. Let h = a + s. Is h a multiple of 8?
False
Let g(z) = 52*z + 841. Is 13 a factor of g(31)?
False
Suppose 5*d - 4*t - 17874 = 3884, -5*d - 2*t = -21776. Is d a multiple of 4?
False
Let f = 10297 - 6086. Is 46 a factor of f?
False