ltiple of 50?
False
Suppose 0*z = -z - 3*t - 21, -z = -4*t + 56. Let l = 19 - z. Let j = l + -35. Is j a multiple of 11?
False
Let k be (-11)/22*1*-6. Suppose v - 7 = 4*t, -5*v + 4 = -k*t - 14. Suppose 0 = f - v. Is f even?
False
Suppose -3*d + d = -62. Does 13 divide -3*6/(-9)*d?
False
Suppose 338 + 872 = 5*v. Is v a multiple of 29?
False
Suppose -6721 = -4*v - x, 6*x - 3368 = -2*v - 2*x. Is 140 a factor of v?
True
Suppose 7*w = -28*w + 6195. Is 36 a factor of w?
False
Let j = -54 - -57. Suppose 5*u - 2*w - 56 = 3*u, -j*w = -4*u + 114. Is u a multiple of 6?
True
Suppose 0 = 4*w - y - 9952, 67*y = -4*w + 63*y + 9972. Does 19 divide w?
True
Let s(p) = -32*p + 40. Does 34 divide s(-5)?
False
Let d(l) = -5*l**2 - l**3 + l - 4 + 4*l + 2 + 0*l**2. Let u be d(-6). Suppose 9 = u*h - 39. Is 3 a factor of h?
True
Let s be (-3)/(-2 - (-21)/9). Let h be (s + 15)*3/2. Let u = h + 18. Is u a multiple of 9?
True
Let o(p) = 4*p**2 - 20*p - 107. Does 33 divide o(19)?
True
Let f(k) = -167*k - 223. Is 11 a factor of f(-11)?
False
Suppose 4*y - 15 = 2*s + y, s = -3*y + 15. Suppose s = f + 3*d + 29, d = 3*f + f + 51. Is 9 a factor of (1 + f/(-4))*2?
True
Let r = -458 + 656. Is r a multiple of 4?
False
Let c = -68 - -77. Does 4 divide 3/(-3) + 3/(c/57)?
False
Let b(f) be the first derivative of 8*f**3/3 - 7*f**2 - 4*f - 31. Is b(-3) a multiple of 22?
True
Suppose -116 = -5*i + 4*h, -3*i + 3*h + 112 = 2*i. Let u = -18 + i. Suppose -10 + 58 = 5*v + u*r, -5*r - 5 = 0. Is 10 a factor of v?
True
Let b = 1237 - 763. Is 13 a factor of b?
False
Suppose 5*r = -10 + 25. Suppose 4*t + c = 251, -2*c + 5*c - 177 = -r*t. Is 16 a factor of t?
True
Is 31 a factor of (-265344)/(-56) + (-4)/14 - -8?
False
Suppose 7*h - 3*j + 1483 = 12*h, 6*h + 4*j = 1780. Is 11 a factor of h?
False
Suppose 2*u = i + 1471, 3*i - 738 = -u + 6*i. Is u a multiple of 21?
True
Suppose 0 = -4*g - 3*p + 3261, -310 = -2*g - 2*p + 1322. Does 59 divide g?
False
Suppose -35 = -6*q - 5. Suppose 5*k + y - 210 = 0, -17 + 227 = q*k + 3*y. Is k a multiple of 14?
True
Let h be (12/(-15))/((-1)/5). Suppose f + 2 = h. Is 26 a factor of -3 + f - (0 - 73)?
False
Let v be 27/6 - (-1)/(-2). Let f = -42 - -88. Suppose -v*x - 142 = -3*r + f, 2*x + 60 = r. Does 12 divide r?
False
Let j be 12/14*(5 + 2). Let f(s) = -s + 18. Is f(j) a multiple of 2?
True
Let a(q) = q**2 - 11*q + 19. Is 6 a factor of a(16)?
False
Suppose -96 = 9*v - 2634. Is v a multiple of 21?
False
Does 38 divide (114/4)/((-120)/(-2720))?
True
Let n = 328 - -3013. Does 13 divide n?
True
Let h be (-95 - 1)/4*-1. Suppose -5*w + 17 + 13 = 0. Is 8 a factor of ((-17)/(-4))/(w/h)?
False
Is 18 a factor of -2*4/(-16) + 1001/14?
True
Let z = 1384 + 947. Is z a multiple of 111?
True
Let n(q) = -3*q - 5 + 2*q + 1. Let a be n(-7). Suppose -a*t - 24 = -78. Does 8 divide t?
False
Let q(s) = -14*s**3 - 2*s**2 + 27*s + 22. Is 38 a factor of q(-6)?
True
Suppose 2*x = 12*s - 10*s + 22, 41 = -3*s - x. Suppose 5 = 3*y - 7. Let o = y - s. Is o a multiple of 17?
True
Let o(z) = -135*z + 120. Let m(v) = 17*v - 15. Let r(h) = 25*m(h) + 3*o(h). Let p(d) = -6*d + 1. Let j be p(-1). Does 35 divide r(j)?
False
Let v(g) = g**3 + 15*g**2 - 3*g - 13. Is v(-7) a multiple of 64?
False
Suppose s + x - 15 = -x, 5*x + 78 = 3*s. Let k = s - 17. Suppose -2*y = -2*t - y + 108, -k*t - 4*y + 204 = 0. Is t a multiple of 10?
False
Let p(z) = 54*z + 1. Let t be p(1). Let a be t/(-20) + (-3)/(-4). Is 7 a factor of 5/a*2*-5?
False
Suppose -4*l - 5 - 31 = 4*t, 0 = 3*t + 15. Let z be 2/(-8) + l/(-16). Suppose r - 6*r + 20 = z, f = -r + 20. Is f a multiple of 16?
True
Suppose -1219 = -6*d + 2129. Is d a multiple of 31?
True
Is (160/12)/(32/1536) a multiple of 5?
True
Is 19 a factor of 15/(-6) + (-3)/((-30)/12995)?
False
Suppose 0 = 3*y - 0*s - 2*s - 12, 2*y + 5*s = 8. Let t(k) = 38*k + 2. Let w be t(-5). Does 19 divide w/(-10) + y/20?
True
Let w(n) = 4*n**3 + 2*n**2 - 22*n + 93. Is w(6) a multiple of 23?
True
Suppose 6*u = -4401 + 9867. Is 24 a factor of u?
False
Suppose -6 = -9*i + 21. Suppose 0 = -9*z + 4*z - 4*j + 123, -i*j = -z + 36. Does 23 divide z?
False
Let k(v) = 708*v**2 - 4*v - 6. Is k(-1) a multiple of 24?
False
Suppose -16*x = -18*x + 14. Suppose -x*i = -0*i - 259. Is i a multiple of 6?
False
Suppose -k - w = -102, -5*w - 304 = -3*k + 26. Let z = k - 49. Does 28 divide z?
True
Let j(t) be the first derivative of 3*t**2/2 - 11*t + 1. Suppose -9 = 295*y - 296*y. Does 8 divide j(y)?
True
Suppose 0 = 2*t - 4*c + 12, -4*t + 4*c = 8. Suppose t*n - 17 = 3*y, 6*n - n = 4*y + 60. Is n a multiple of 8?
True
Let o(y) be the first derivative of 2*y**3/3 - y**2 - 3*y + 4. Let b be o(3). Is 15 a factor of (b/(-3) - -6) + 12?
True
Let t(u) be the first derivative of u**3/3 - 3*u**2 - 3*u + 1. Let k be ((-14)/(-8) - 1)/(1/(-8)). Is 21 a factor of t(k)?
False
Let i(u) = 11*u + 339. Is i(45) a multiple of 11?
False
Let r = -319 - -462. Is r a multiple of 2?
False
Suppose -10*f - 52 = -42. Let a(w) be the second derivative of -w**3/2 - w. Is a(f) a multiple of 3?
True
Suppose -10*z - 9 = -7*z. Let u be 50/(-15)*(-9)/(-1). Is (10/z)/(20/u) a multiple of 5?
True
Suppose 4*i + i = -l + 293, l - 4*i = 293. Is 6 a factor of l?
False
Suppose -6*p + 3*p = -21. Suppose 4*a = -2*r + 3 + 7, -5*r = 4*a - p. Is a - (2 - (22 + -3)) a multiple of 13?
False
Suppose -d = -5, -2*d + 1730 = 5*w - 75. Is 15 a factor of w?
False
Is (393/(-9) - 3)/((-2)/24) a multiple of 16?
True
Let p(k) = k**2 + 2. Let z = 0 + 2. Suppose -1 = -z*m + m + 4*b, 3*m - b + 19 = 0. Is 17 a factor of p(m)?
True
Let n be 12/2 - (2 - 1). Let f(j) = -2*j**2 - 1. Let q be f(n). Let o = 107 + q. Is 14 a factor of o?
True
Let v be (-2)/((-54)/15 - -4). Let g(b) = 4*b**2 + 11*b - 2. Let u be g(v). Let r = u + -10. Does 31 divide r?
False
Suppose 21 = 3*y + 60. Suppose 6*z - z - 44 = -r, 5*z + 13 = 2*r. Let f = r + y. Is f even?
True
Suppose -f - 8 = f. Let y = 51 + f. Is 13 a factor of y?
False
Suppose 0 = 4*v - 4*b - 11 - 1, 3*v = 4*b + 11. Let m(w) = -9*w + w**3 + w**2 + v + 10*w - 12*w**3. Does 4 divide m(-1)?
True
Is 4 a factor of ((-24)/(-9))/((-12)/(-666))?
True
Let d = -78 + 83. Suppose -4*v + 576 = 2*u - d*u, -2*v + 288 = -u. Is v a multiple of 24?
True
Suppose u + 3*u + 8 = 0. Let y(w) = 16*w + 5. Let b be y(u). Does 7 divide 6/b - 681/(-27)?
False
Let g(m) = -m**2 + m**2 - 500 + m**2 + 552. Let z = -3 - -3. Does 11 divide g(z)?
False
Suppose 11*m - 378 = 304. Suppose 3*n + m = 5*n - i, 3*i = n - 36. Is n a multiple of 15?
True
Let c be (-2)/(-5) - 36/15. Let j = 7 + c. Suppose -j*b - 9 = -89. Is b a multiple of 9?
False
Does 9 divide ((-8)/(-26))/2 + 583/13?
True
Suppose -b = 5*p - 1 + 23, -5*b + 5*p + 40 = 0. Suppose 0 = -4*u + s - b*s + 482, 5*u - 597 = 3*s. Is 24 a factor of u?
True
Let x(h) = -h**2 - 2*h + 23. Suppose 0*n + n = 4*s, 3*n = 0. Does 4 divide x(s)?
False
Suppose -2*o - 10 = -5*t + 17, 2*t - 2*o = 12. Suppose i - 114 = -t*s + 4*i, -3*s = 4*i - 51. Is s a multiple of 16?
False
Suppose 32*t - 20680 - 16760 = 0. Is t a multiple of 26?
True
Let y(f) = f. Let g(m) = 2*m - 2. Let v(a) = -g(a) + 3*y(a). Is v(17) a multiple of 2?
False
Suppose 79*u - 4312 = 65*u. Is 28 a factor of u?
True
Suppose 9*l - 12*l = -294. Let y = l - 34. Is y a multiple of 10?
False
Let h be 3 + 1 + -18*1. Let z = h + 7. Let w = z + 17. Does 2 divide w?
True
Let k(a) = 31*a - 437. Is 6 a factor of k(33)?
False
Suppose -11*o + 544 = 236. Does 4 divide o?
True
Suppose 38*h + 352 = 42*h. Does 3 divide h?
False
Let m(x) = 6*x**2 - 17*x - 2. Is m(5) a multiple of 21?
True
Let b be (9 + -5)*6/8. Let x(a) = 3 + 222*a**3 - 223*a**b + 4*a - 5*a. Does 4 divide x(-2)?
False
Let t = -23 + 27. Suppose -3*s + 110 = i, -8 = 2*s - t*s. Does 11 divide i?
False
Let r be (-1)/((-10)/(-1278)) - (-18)/(-90). Let q = 184 + r. Does 8 divide q?
True
Let t(c) = c**3 - 2*c**2 + 6*c - 6. Let h(w) = 3*w - 2. Let r be h(2). Let a be t(r). Suppose -y = -5*k + 139, 2*k - 8 - a = y. Is k a multiple of 9?
True
Let t = -61 - -34. Let m = t - -51. Is 2 a factor of m?
True
Let f(z) = -z**3 + 12*z**2 - 10*z - 9. Let x be f(11). Is (-6 + 4)*x + 27 a multiple of 8?
False
Let r(p) = 8*p**2 + 3*p - 1. Let x = -3 - -12. Suppose -5*f = -0 + 5, 2*u - x = 3*f. Does 20 divide r(u)?
True
Suppose 370 = -5*v + 