 c*d. Is l a multiple of 6?
False
Suppose -8 = -3*q - 4*x, -3*q + 2*x = x - 13. Suppose -3*b + q*c = -1313, 4*b - 1780 = -0*c - 2*c. Is b a multiple of 16?
False
Let x = -47 + 49. Let j be (-4)/x*(-1 + 3/6). Suppose 154 = 2*f + 3*f - 4*w, 0 = -w - j. Is f a multiple of 5?
True
Suppose 0 = 3*f - 4*v + 2, -2*f - 4*v + 3 = -9. Is 9/f*5*(-52)/(-10) a multiple of 16?
False
Let q = -108 - -115. Let h(g) = -9*g + 67. Let y be h(q). Does 11 divide y/(-18) + (-1410)/(-27)?
False
Let z be (738/12 + (-3)/1)*6. Suppose 5*m + 4*p + z = 0, 3*m + p + p = -211. Let a = 32 - m. Is 10 a factor of a?
False
Let t = -1047 + 1049. Does 4 divide (899 - -7)/6 - t?
False
Let s(p) = -2*p**3 + 82*p**2 + 81*p - 56. Is 113 a factor of s(38)?
False
Suppose -40 = 409*l - 417*l. Suppose 5*t = l*i - 6415, 2*i - 2*t - 5126 = -2*i. Is i a multiple of 32?
True
Let j be (-3)/(-12) + (-156)/(-16). Let p = -6 + j. Suppose -p*i + 291 = -3*m, -i = -4*m - m - 94. Is 29 a factor of i?
False
Let f(o) = -o - 8. Suppose -2*i = 5*s + 44, s = -2*i - 52 + 16. Let c be f(i). Suppose c*b - 1211 = 2*b. Is 20 a factor of b?
False
Let v(g) = g**2 - 4*g + 5. Let j be v(4). Suppose j*w - 16 = 9*w. Is 3 a factor of (-1 + (-6)/w)*(1 + 35)?
True
Let k(w) = w**3 - 3*w**2 + 7*w - 1. Suppose -2*f + 22 = 10. Let u be k(f). Suppose -3*s + u = 6*i - i, -4*i + 118 = 3*s. Is 31 a factor of i?
True
Let d(h) = 7*h - 89. Let j be d(-20). Let p = j + 445. Does 6 divide p?
True
Suppose 495 = 6*d - 285. Suppose 0 = -459*f + 454*f + d. Does 22 divide f?
False
Is 1 + -8 + (989 - 97) a multiple of 5?
True
Let v = -521 + 530. Is v/(9/448) + 1*5 a multiple of 10?
False
Let b = 22 + -16. Suppose -4*p = t - 2753, -2*p - 5*t = -b*t - 1381. Is 53 a factor of p?
True
Let z = 1015 + -59. Suppose -1083 - 472 = -5*k - o, -3*k + 4*o + z = 0. Does 78 divide k?
True
Let v(b) = 2*b**3 + b**2 - 30*b - 12. Let r be v(8). Is r - -4*(-6)/(-24) a multiple of 62?
False
Let w = -71 + 51. Let s be (-19808)/w - 6/(-10). Suppose -7*l - 130 = -s. Is 37 a factor of l?
False
Let s = 79 + -67. Suppose -s*t - 8 = -16*t. Suppose 0*v - 86 = -t*v. Is 19 a factor of v?
False
Is 35 a factor of 17 + -7 + (-208)/(-12)*60?
True
Suppose -6*y = -35 - 2449. Suppose 340*c = 342*c - y. Does 28 divide c?
False
Is -10 + (1501 - (-17 + 35)) a multiple of 7?
False
Suppose -4*v - 3*x + 645 = -2010, -4*v - 5*x + 2649 = 0. Is 34 a factor of v?
False
Let p(f) = 6*f**2 + 231*f + 5. Is 55 a factor of p(-43)?
False
Suppose 0 = -2*f + 7*f - 3*i + 13, -2*f = -3*i + 7. Let w(t) = -215*t - 40. Is 26 a factor of w(f)?
True
Let u(o) = 1423*o + 11. Let v be u(2). Suppose 28*c - v - 2743 = 0. Is 20 a factor of c?
True
Let l = -561 - -567. Suppose l*m = 15*m - 9648. Does 49 divide m?
False
Suppose 29*h - 11*h = 152846 + 12394. Is 221 a factor of h?
False
Suppose 0 = -8*a + 19 + 61. Let w = -26 + a. Let y = 27 + w. Is 11 a factor of y?
True
Is 4584 - (18/(-6) + -3) - 2 a multiple of 62?
True
Let w(p) = -p**3 + 16*p**2 + 153*p + 41. Is w(-23) a multiple of 38?
False
Suppose -4*u - u = 1460. Let n be u/(-10)*25/10. Suppose -2*q + n + 71 = 0. Is 12 a factor of q?
True
Suppose 6*v + v - 49 = 0. Suppose -8*y + 13152 = -4*y. Does 8 divide (y/28)/3 + (-1)/v?
False
Let m be 24/(-30) + (-649)/(-5). Suppose -5*s - 639 = -5*u - m, 4*s = u - 111. Is 9 a factor of u?
True
Let f(j) = 199*j**2 - 49*j - 114. Is f(9) a multiple of 28?
False
Suppose q + r = 3*r - 36, -4*q - 2*r = 104. Let g be (-1 + (-3)/(-2))/((-7)/q). Is 35 a factor of -101*g*45/(-30)?
False
Let z = 26 + -22. Let g be (2/(-4))/((-2)/(1752/2)). Suppose l - z*l = -g. Does 32 divide l?
False
Let c(w) = w**3 - 12*w**2 + 35*w - 15. Suppose -x - 9 = 4*j, -x - 21*j = -19*j - 1. Is c(x) a multiple of 7?
False
Let s(x) = -149*x + 1424. Is 100 a factor of s(-24)?
True
Let l be (6 - 11/1) + 347. Let a = 888 - l. Is a a multiple of 42?
True
Let o(y) = -36*y + 4. Let z(x) = x**2 + 71*x - 8. Let p(f) = 7*o(f) + 4*z(f). Let c be p(8). Let v = -307 + c. Is v a multiple of 12?
False
Let s = 51 - -591. Suppose s = -4*f + 2042. Does 20 divide f?
False
Suppose -13694 = -2*d + 2210. Is 32 a factor of d?
False
Does 13 divide 39*((-276)/42)/((-6)/154)?
True
Let c(f) = f**2 - 25*f + 7. Let z be c(-16). Let b = -339 + z. Is 108 a factor of b?
True
Let p(t) = 36*t - 154. Let n(c) = 7*c - 31. Let v(f) = 22*n(f) - 4*p(f). Let i be v(7). Suppose -i*g - 3*h = -0*h - 521, -g + 134 = 2*h. Is g a multiple of 12?
False
Let l(m) = -m + 23. Let p be l(20). Is p - 5/((-10)/(-3))*-102 a multiple of 12?
True
Let d(a) = -107*a - 61. Let y be d(-12). Suppose 22*o - y = 669. Does 2 divide o?
True
Suppose a - 15807 = -4*m, 221*m = 216*m + 4*a + 19722. Is 19 a factor of m?
False
Let u(w) = 69*w + 18. Suppose 5*f - 40 = -5*c, 13*f - 18*f = -2*c - 12. Is 14 a factor of u(c)?
True
Is 16 a factor of (-103)/((-3)/(-1) + 194/(-32) + 3)?
True
Let p = 439 + -424. Suppose 2210 = 11*r + p*r. Is 17 a factor of r?
True
Let y be ((-6)/(-4))/((-108677)/54340 - -2). Is (-4)/1 - y/(-55) a multiple of 7?
True
Suppose -70*d + 43*d = -459. Is d even?
False
Let i(b) = -b**3 - 5*b**2 + 2*b + 12. Let z be i(-5). Suppose 27*l - z*h = 22*l + 2785, -2*l + 1093 = -5*h. Is l a multiple of 13?
True
Let n = 76743 - 52892. Is 23 a factor of n?
True
Let c = 21 - 19. Suppose -c*s = 11*s - 3471. Does 18 divide s?
False
Let c(x) = -x**2 + 12*x + 4. Suppose 0 = -5*q + 4*q + 4. Suppose 2*u + 4 = -q*a + 16, -4*u + 5*a = -50. Does 8 divide c(u)?
True
Let p = -59 + 57. Let w be p/(-4)*(0 + 2). Is 6 a factor of 4581/36 + w/(12/(-3))?
False
Let s = 27475 + -24353. Is 7 a factor of s?
True
Let z(x) = 6*x + 57. Let i be z(-9). Suppose -8 = 2*v + 2, 0 = i*w + 4*v + 8. Is 10 a factor of (-3 - 63/(-28)) + 467/w?
False
Let l(a) = 41*a + 539. Is l(-8) a multiple of 16?
False
Let n(i) = 940*i + 991. Is 7 a factor of n(8)?
False
Let g(f) = 21*f - 34. Let s be g(4). Suppose -u + s = -51. Let h = u - 64. Is 15 a factor of h?
False
Let m(r) = 36*r**2 - 21*r - 8. Is m(-10) even?
True
Suppose -9*a = -32*a + 2254. Suppose -a - 132 = -2*c. Does 23 divide c?
True
Let k(p) = 83*p**2 - 1. Let s be k(1). Let y = s - 46. Suppose 0 = -y*v + 40*v - 136. Is v a multiple of 7?
False
Suppose 0 = 30*f - 275 - 8095. Is 9 a factor of f?
True
Let n = -223 + 194. Let z = 71 + n. Is z a multiple of 7?
True
Let j be (-12)/10 + 1 - (-4190)/(-50). Let q = j - -123. Is 6 a factor of q?
False
Let v(r) = 3*r**3 + 18*r**2 + 2. Let t be v(-6). Suppose 0*c + t*c - 542 = -3*l, -3*c = -l - 791. Does 30 divide c?
False
Does 40 divide (3 - (13/(-3) + (-124)/186)) + 2728?
False
Let a(u) = -8*u**3 - 29*u**2 + 56*u + 77. Let i(n) = 21*n**3 + 86*n**2 - 167*n - 230. Let r(c) = 8*a(c) + 3*i(c). Is r(23) a multiple of 14?
True
Let i = -31 - -31. Let z be (1 - 0) + (-3 - (4 + i)). Let p = z - -28. Does 4 divide p?
False
Let r(b) = 137*b + 94. Let a(g) = 142*g + 94. Let h(l) = -6*a(l) + 4*r(l). Is h(-6) a multiple of 25?
False
Let c be (-16)/56 + 188/(-28). Let i(v) = -2*v**3 - 5*v**2 + 2*v + 28. Is 35 a factor of i(c)?
True
Suppose -5*y - 18 + 793 = 5*o, -4*y = 5*o - 623. Let h = 555 - y. Suppose 1 + 24 = -5*q, 0 = 2*u + q - h. Is u a multiple of 17?
True
Let m(i) = i**2 + i - 55. Let n be m(7). Is 53 a factor of (1/n)/((-27)/(-10584))?
False
Suppose 3*k - 2*g = 68, -3*k + 52 = 2*g - 0*g. Suppose 5*p + 4*w = 21 + 8, -k = -5*p + 5*w. Suppose 0*o = -p*o + 625. Does 25 divide o?
True
Let l(x) = 10*x**3 + 4*x**2 - 12*x + 19. Let s be l(3). Suppose 4*n + 4*t - 87 = s, -3*n + 4*t + 261 = 0. Is n a multiple of 7?
True
Let p(i) = -i**2 + 2*i + 4. Suppose 0*s - 5*s = 0. Let k be p(s). Suppose -308 = -k*u + 352. Does 15 divide u?
True
Suppose y = -4*u + 3*u - 181, 12 = -3*y. Let v = 9 - u. Suppose v = 4*q + 10. Is q a multiple of 11?
True
Is -1*1*-6 - (-285033)/277 - -2 a multiple of 5?
False
Suppose 3*k + 296 - 284 = 0. Is 14 a factor of 521/4 - k/(-16)?
False
Let l be (-13)/(26/(-4))*1. Suppose 4*h = 2*h - 8. Is 11 a factor of (h + l)*(-1 + (-94)/4)?
False
Suppose -3*n = 5*x - 75692, -35*n + 34*n + 25236 = 3*x. Is n a multiple of 12?
True
Let q(p) = 15*p**2 + 11*p - 1283. Is 100 a factor of q(21)?
False
Let p(j) = 48*j + 1. Let o be p(-1). Let h = o + 50. Suppose -5*t + 410 = 7*g - 2*g, 0 = 3*t + h. Does 22 divide g?
False
Suppose -8*l - 3104 - 2144 = 0. Let d = -289