v. Suppose 80 = z*r - 346. Is 35 a factor of r?
False
Suppose -2*c = -2*z - 1 - 5, z - 17 = -3*c. Suppose c*f - 173 - 192 = -5*r, 2*r = 3*f - 219. Is f a multiple of 21?
False
Suppose 325 = 4*x - 99. Suppose 316 = 5*c + x. Does 21 divide c?
True
Let n = 90 - 158. Let c = -35 - n. Let v = -3 + c. Is 21 a factor of v?
False
Let c(p) = 2*p - 1. Let j be c(2). Is (9 - 5 - j)/(2/38) a multiple of 19?
True
Let j be (-36)/15*(-10)/4. Suppose j*w = 3*w + 15. Suppose 0 = -3*k + 28 + w. Is k a multiple of 8?
False
Suppose 2*r + 0*x = -2*x - 24, 0 = -4*r + 5*x - 75. Let b(v) = v**2 + 16*v + 11. Let k be b(r). Is 6 a factor of k/(-8) + 22/4?
True
Let b = 2655 + -2182. Is b a multiple of 14?
False
Let y = 409 + 9. Is 38 a factor of y?
True
Let x = -600 - -3327. Does 25 divide x?
False
Let x be (-1828)/(-14) + (-3)/(-7). Let a = -22 + x. Does 15 divide a?
False
Does 2 divide ((-2380)/(-25)*1)/((-4)/(-10))?
True
Is 36 a factor of (-6)/108 + 19446/108?
True
Let a(l) = -3*l**2 + 60. Let s be a(0). Is 11 a factor of (183/(-18))/((-10)/s)?
False
Suppose -2*a = j - 307, 3*a - j = 3*j + 455. Suppose -11*s + a = -309. Is s a multiple of 21?
True
Suppose 0 = -15*y - 239 + 674. Is 29 a factor of y?
True
Does 12 divide (3 - (-95)/(-15))*1296/(-15)?
True
Suppose -63*x + 72*x = 7524. Is x a multiple of 65?
False
Suppose -260 + 2180 = 10*h. Is 6 a factor of h?
True
Let i be (-1 - -4)*1*(-2)/(-6). Suppose 14*o - 1037 + i = 0. Is o a multiple of 13?
False
Let v(u) = 5*u + 28. Let h be v(8). Suppose -19 = 3*p + 17. Let j = h + p. Does 14 divide j?
True
Suppose -6 = -2*s - 0*s. Suppose -s*x = -8*x + 3120. Suppose 0 = -15*l + 7*l + x. Is l a multiple of 17?
False
Suppose -h = -5*h. Suppose h = -2*u - u + 30. Is 3 a factor of u?
False
Let d = -62 + 67. Does 2 divide ((-44)/8*4)/(3 - d)?
False
Let g(c) = -c + 18. Let n be g(16). Suppose -h + 35 = 5*z, -1 = -z - h + n*h. Is 11 a factor of (-3)/(24/(-44))*z?
True
Let i = 4 + -7. Let j(l) = 4*l**2 + l. Let d(o) = -7*o**2 + o - 6. Let q(z) = -d(z) - j(z). Is q(i) a multiple of 5?
False
Suppose 4*v + c - 21 - 3 = 0, -24 = -4*v - 2*c. Suppose 2*q - v = 3*q. Is (-18)/(-12)*(-104)/q a multiple of 7?
False
Let m(u) = u - 1. Let t = 4 - 4. Let j be m(t). Is 13 a factor of j - (-1)/((-4)/(-108))?
True
Does 14 divide ((-511)/146)/(2/(-8))?
True
Let s = -465 - -704. Does 5 divide s?
False
Let k = -8 - -7. Let r be ((-2)/5)/(k/5). Suppose -28 - 62 = -r*i. Does 19 divide i?
False
Let y be 15/(-20) - 242/8. Let f = 89 - y. Does 25 divide f?
False
Let g = -106 - -65. Let l = 59 + g. Is 2 a factor of (6/18)/(1/l)?
True
Let a = 908 + -433. Let p(r) = r**3 + 10*r**2 + 10*r + 13. Let d be p(-9). Suppose -155 + a = d*n. Is n a multiple of 22?
False
Suppose 28*u - 25*u - 4*r = 208, 0 = 5*u - r - 358. Is u a multiple of 13?
False
Suppose -2*j = -4*j + 52. Let u = j - 11. Suppose -2*h - 1 + u = 0. Is h a multiple of 3?
False
Let m be 216/6*6/(-4). Is 6 a factor of 11/((-33)/m)*1?
True
Suppose -98 = -k - 3*r + 19, -2*k = 4*r - 238. Let i = -47 + k. Is 3 a factor of i?
False
Suppose 10*a - 3324 = 9*a + c, -4*c = 5*a - 16602. Is 57 a factor of a?
False
Let i = -10 + 17. Let b = -4 + i. Suppose -b*u = -6*u + 6. Is u even?
True
Let t = 45 - 37. Let z(s) = -4*s - 3*s - 5 + 8*s**2 + s**2 - s**3. Is 3 a factor of z(t)?
True
Suppose s = 6*s - 25, 5*f + 10 = 4*s. Suppose 2*c - r - 158 = 0, -r = 4*c + f*r - 296. Let j = -33 + c. Is j a multiple of 11?
True
Suppose x + 4*x - 4*r = 41, -5*x + 2*r + 33 = 0. Suppose -3*c + 0*c - 5*d = 68, x*c + 2*d + 88 = 0. Does 9 divide (-4)/c + 83/4?
False
Let l = 6 - -2. Suppose 3*c - 33 = 5*k, l*c - 3*c - 65 = 5*k. Let p = c - 13. Is p a multiple of 2?
False
Suppose -4*r - 5 = -1. Let v be r*1 + 39/1. Suppose -5*q + 4*w = -w - 70, -3*q + 2*w = -v. Does 5 divide q?
True
Let w(q) = -6*q**2 - 23*q - 23. Let m(c) = c**2 + c. Let h(a) = 5*m(a) + w(a). Let y be h(-16). Let d = 25 - y. Does 3 divide d?
False
Let y(t) = t**3 + 6*t**2 + 5*t + 1. Let p be y(-5). Let s(h) be the first derivative of 11*h**3/3 + h**2 - h - 79. Is s(p) a multiple of 4?
True
Is 17 a factor of (-1 + -1 - -29)/(5/95)?
False
Let w(x) = 55*x - 22. Suppose 33 = 3*p + 18. Does 23 divide w(p)?
True
Let o(r) = -r**2 + r + 17. Let y be o(0). Suppose 5 = -5*u, -5*l - y = -10*l - 3*u. Suppose 0 = 4*w - 2*v - 154, -l*w + 117 + 42 = -3*v. Is w a multiple of 18?
True
Suppose 3*k - 351 = 3*l, 3*k - 123 = -2*l + 203. Does 18 divide k?
False
Let y = 10 - 10. Let c be -2*12/((-6)/2). Let u = c + y. Is 8 a factor of u?
True
Let r = 435 - 331. Is 14 a factor of r?
False
Let v = 19 + -16. Suppose 20 = -2*l + o, -8*o + 3*o - 4 = v*l. Does 4 divide (l/(-1))/((-30)/(-45))?
True
Suppose -2*m + 14*l + 1150 = 15*l, m - 564 = 5*l. Is m a multiple of 49?
False
Suppose 3*t + 84 = -0*t. Let w = 44 + t. Is 8 a factor of w?
True
Suppose 980 = -33*r + 17315. Does 9 divide r?
True
Let n(w) be the first derivative of -w**4/4 - 5*w**3 - 10*w**2 + 18*w + 12. Is n(-14) a multiple of 16?
False
Suppose -2*b - 1 = -3*d + 11, 5*b - 12 = -3*d. Does 51 divide 15*d/48*40 + 1?
True
Does 48 divide 890/178 - (-1264)/(1/1)?
False
Let y = -38 + 19. Let i = y + 89. Does 14 divide i?
True
Let u = 40 + -29. Suppose -u*a - 648 = -14*a. Is a a multiple of 12?
True
Suppose 5*q = 3*i + 22, -q + 3*i + 18 = 2*q. Does 7 divide (-5)/q*168/(-10)?
True
Suppose -12*x + 17*x - r = 713, -560 = -4*x + 6*r. Is x a multiple of 23?
False
Is 35 a factor of 210/((-3)/24*-12)?
True
Suppose -c = 2*d - 11, c + 4 + 3 = 4*d. Let s be (-8)/(-24) - (-17)/d. Suppose -m - 90 = -s*m. Does 9 divide m?
True
Suppose 0 = -4*m + 3*a + 2224 - 340, 4*a = -2*m + 942. Suppose -193 = -8*r + m. Does 25 divide r?
False
Suppose -64450 = -66*b + 16*b. Is 7 a factor of b?
False
Suppose 0 = -396*f + 399*f - 2346. Is f a multiple of 43?
False
Let a(k) = -k + 7. Let n be a(4). Suppose -n*t + 5*d = -139, 5*t = -2*d + 4*d + 238. Is 16 a factor of t?
True
Let a(d) be the second derivative of d**5/20 + d**4/3 + d**3/2 + d**2/2 + 4*d. Let r be a(-2). Suppose r*l + 26 - 71 = 0. Does 5 divide l?
True
Let t(o) be the third derivative of -o**4/4 - o**3/2 - 7*o**2. Is 2 a factor of t(-2)?
False
Let l be 30/(-18) + 1 - 190/(-6). Suppose -3*k - 41 = -3*z + l, 0 = -4*z + 5*k + 96. Does 8 divide z?
True
Let d = -29 + 38. Is 45 a factor of 3 + (-1102)/(-7) + d/(-21)?
False
Let r = 1254 - 930. Is 26 a factor of r?
False
Suppose -i + 6 = 3*a, 2*i - 4*i + 4 = 2*a. Suppose -4*z + 5*d + 67 = i, -2*z + 3*d = d - 32. Is 13 a factor of z?
True
Suppose 2*u = 1398 + 552. Is u a multiple of 8?
False
Let g(j) = 32*j**3 + 3*j**2 - 5*j - 5. Let d be g(-2). Let s = 353 + d. Does 13 divide s?
False
Suppose 4*v - 1113 = 5*w, 5*v + w + 549 = 7*v. Is v a multiple of 16?
True
Suppose 20*b - j = 24*b - 9394, -4*b + 9388 = 4*j. Is 87 a factor of b?
True
Suppose 4236 = r + 2*r. Suppose -9*j + r = -946. Is 28 a factor of j?
False
Suppose -3*k + 1062 = -4*z + 2739, 5*z = -k + 2101. Is 14 a factor of z?
True
Suppose 3*n + 467 - 3047 = 0. Suppose -5*g - 5*t + n = 0, -2*g - 3*t = -7*g + 828. Is 17 a factor of g?
False
Let t(b) = b + 29. Let s(f) = -f**2 - 3*f + 3. Let p be s(-7). Let k = p - -9. Does 3 divide t(k)?
False
Let l = 164 - 14. Does 17 divide l?
False
Is 205/((-14)/2 + (-899)/(-124)) a multiple of 41?
True
Is 10 a factor of (-2250)/(-9) - (-2)/2?
False
Suppose -3*c - 8*k + 4*k = -170, -5*k - 268 = -4*c. Does 9 divide c?
False
Does 54 divide 1496/4 - -2 - 4*1?
False
Let y(l) = -2*l + 45. Let w be y(20). Suppose 1391 - 416 = w*s. Is s a multiple of 15?
True
Let g(y) = y**2 + y + 8. Suppose 2*f + 4*p = -f - 32, 0 = 5*f - 3*p + 92. Let i = f + 16. Is g(i) a multiple of 8?
True
Let a(y) = 10*y**2 + 9*y + 4. Let f = 7 - 13. Let z be a(f). Suppose 0 = 5*g - 0*g + v - z, -g = 5*v - 38. Is 21 a factor of g?
True
Suppose -1484 = 34*s - 41*s. Is 46 a factor of s?
False
Suppose -4*y + 512 = 5*z - 599, 2*z - 426 = 3*y. Is 4 a factor of z?
False
Suppose -5*y = -2*m + 8, -y + 2*y = -2*m + 8. Suppose -l = 3*t - y*t - 48, -2*l + 141 = -3*t. Does 21 divide l?
True
Is 17 a factor of 8020/8 + ((-60)/(-8) - 7)?
True
Let s be 3*(12/9)/4. Let y be (4/2 + s)*1. Suppose y*t - 52 = 62. Is t a multiple of 19?
True
Suppose -6 = d - 13. Suppose 54 = d*h - 905. Does 10 divide h?
False
Let i(t) = 10*t - 53. Let l(r)