e v?
True
Let o = 70 + -35. Let p = 39 + o. Is p a multiple of 37?
True
Let m(l) = 2*l**2 - 13*l - 41. Let s be m(9). Does 16 divide (-22)/((-44)/s) - 188/(-2)?
True
Suppose 25*z - 44 = 3*z. Is (-1116)/(-30)*15/z a multiple of 31?
True
Let i(l) be the second derivative of -l**4/12 + 10*l**3/3 + 20*l**2 - 77*l. Does 4 divide i(14)?
True
Let z(h) = 25 - 27 + 31 + 41 - h. Is 8 a factor of z(-18)?
True
Let z = 8843 - 5171. Is 54 a factor of z?
True
Let m = -337 + 364. Suppose 22*f = m*f - 790. Is 24 a factor of f?
False
Let m be -2 + 9/4 + (-32922)/(-24). Suppose 1375*j - 840 = m*j. Is 40 a factor of j?
True
Let c(w) = w**2 + 17*w + 87. Suppose 2*t - 6*t - j - 48 = 0, -2*t + 2*j - 24 = 0. Is c(t) a multiple of 9?
True
Let b be (-28)/(-10) - (36/20 + -1). Suppose 2*y = 4*r + 332, -b*y + r + 329 = -0*r. Does 24 divide y?
False
Let y be 72/40*25/15. Suppose -75*u - 1731 = -4*n - 76*u, -3*n - y*u = -1305. Is 16 a factor of n?
True
Let o(v) = 3*v**2 + 11*v - 12. Let h be o(-5). Does 21 divide 69/(h/2320*15)?
False
Let z(c) be the third derivative of -c**4/6 - 11*c**3/3 + 5*c**2 - 7. Is 3 a factor of z(-23)?
False
Suppose 4*y = -s + 3 + 4, 0 = -5*s + 3*y + 12. Suppose -r - s*t + 2334 = r, -5*t = -2*r + 2366. Is (5 - r/(-18)) + 2/(-12) a multiple of 13?
False
Let z be ((38780/(-50))/7)/(2/10). Let a = -442 - z. Does 17 divide a?
False
Suppose 4*u = -u - a + 48, -a = 2. Suppose -2*x + 5*v - u*v + 1324 = 0, 3*x = 5*v + 1961. Is 14 a factor of x?
False
Let i = -20739 - -23490. Does 38 divide i?
False
Let o = -6367 + 12498. Is o a multiple of 41?
False
Let x(u) = -u - 4. Let m(j) = -3*j + 21. Let n be m(9). Let v be x(n). Suppose -v*f = -14 - 34. Is f a multiple of 8?
True
Suppose 0 = 2*x - 6*s + 3*s - 20, 3*s = -4*x + 76. Suppose x*w - 1040 = 12*w. Is w a multiple of 11?
False
Let v(f) = -f**2 + 82*f + 1230. Is 9 a factor of v(39)?
True
Let b = -2807 - -4054. Let r = -505 + b. Is 14 a factor of r?
True
Is -3*224/(-42)*237 a multiple of 48?
True
Suppose 2*x = -3*u - 9, -3*u + 2 - 11 = -4*x. Suppose x = -n + 101 + 50. Is 7 a factor of n?
False
Let a = 1579 - 1399. Does 6 divide a?
True
Let a = -205 + 221. Does 9 divide ((-5)/2 + (a - 13))*198?
True
Suppose -1 + 5 = 2*o. Suppose 0*m + o*m = 24. Suppose -210 = -m*r + 9*r. Does 22 divide r?
False
Suppose 0*z = 4*q - 5*z - 1, 5*z + 6 = -q. Let g be 20*q/((-4)/(32/(-5))). Is 22 a factor of 60/((-6)/g*4) - -2?
False
Suppose 2*m + 20 = -3*o + 139, -114 = -2*m - 2*o. Suppose 2*b + 3*j - 54 = 0, -7*j = 2*b - 9*j - 74. Let v = m - b. Is v a multiple of 7?
False
Let n be 8/(-8)*(-6)/(3 + -1). Let v = n + 2. Suppose -9*y = v*y - 84. Does 4 divide y?
False
Let n(z) = 10*z**2 + 9*z + 1. Let s(t) = 41*t**2 + 36*t + 4. Let d(u) = 18*n(u) - 4*s(u). Let y be d(-4). Let v = y - 111. Is 10 a factor of v?
False
Suppose 15*i = 5*i. Suppose -4*b + 3*b + 705 = 2*q, 2*b - 2*q - 1380 = i. Does 12 divide b?
False
Suppose 1639*g - 4*x = 1635*g + 171472, -4*g = 5*x - 171436. Is g a multiple of 304?
True
Let b = 18766 - 11381. Is 8 a factor of b?
False
Suppose -16*h + 54664 + 82418 = 46*h. Is h a multiple of 23?
False
Let h = -29328 + 60508. Does 177 divide h?
False
Let p(h) = -11 - 5 - 22 + 9 + 223*h. Does 5 divide p(1)?
False
Suppose 5*k = 2*h - 5529, -10*h + 14*h - 11023 = 3*k. Is 129 a factor of h?
False
Suppose 0 = 3*r + 3*w - 36 - 21, r = -2*w + 15. Suppose -27*m = -r*m - 1000. Suppose -9*t + 4*t = -m. Is t a multiple of 12?
False
Let c(t) = -5*t**2 - 23*t + 24. Let r(a) = 9*a**2 + 45*a - 49. Let j(n) = -11*c(n) - 6*r(n). Is j(20) a multiple of 45?
True
Suppose 2*d + 4*g = 218, 5*d + 0*g - 4*g = 517. Suppose -100*s = -d*s + 3145. Is s a multiple of 43?
False
Does 19 divide (142450/539)/(3/21)?
False
Suppose -4*j - 1 = -2*f + 3, 15 = 3*j + 3*f. Suppose j = -4*v - d + 6, d + 5 = v. Suppose -m = v*t - 57, 4*m + 2*t = -m + 301. Does 22 divide m?
False
Let n = 11827 - 5513. Does 22 divide n?
True
Let s = 297 + 151. Is s a multiple of 5?
False
Let c(y) = -17*y - 13. Let b be 3 - (5 + -2) - -12. Suppose w - 4*j + 16 = 0, 0*w + 2*w + 2*j = -b. Does 33 divide c(w)?
False
Is 4 a factor of (-510)/3*(13 - (-321)/(-15))?
True
Suppose -12*q - 382 - 134 = 0. Is q/344 + 513/8 a multiple of 2?
True
Let g = -1952 + 5345. Does 46 divide g?
False
Let g(y) = 601*y**2 - 31*y - 3. Is g(-4) a multiple of 7?
True
Let a(l) = -535*l**2 + l - 1. Let w be a(1). Let q = w + 997. Is 14 a factor of q?
True
Let s = -677 + 1044. Suppose -353 = -16*p + s. Is p a multiple of 5?
True
Let a = -373 - -415. Is (a/(-15))/(-6 + 4736/790) a multiple of 28?
False
Let s = 12 - 10. Suppose -s*t = 0, 5*q + 5*t = 2*q. Let d(j) = -j**3 + 2*j + 70. Is 8 a factor of d(q)?
False
Let q = -60 + 55. Is 1*(147 + (q - 2)) a multiple of 28?
True
Suppose q + 0 = -2*s + 2, -2*s - 2*q = 2. Let w(l) = 2163*l**2 - 4*l**s - 8*l + 4 + 2 - 2168*l**2. Does 55 divide w(-4)?
False
Let s = 311 + -316. Let i(k) = 4*k**2 + 18*k + 3. Does 3 divide i(s)?
False
Let j be (-162)/(-10) - (2 - 9/5). Suppose 0 = j*v - 14*v - 660. Suppose -14*x = -4*x - v. Is x a multiple of 4?
False
Suppose -1008*r = -1017*r + 77517. Is 99 a factor of r?
True
Let s(v) = -16*v**2 - 4*v - 54. Let r be s(-5). Let j = 1022 + r. Does 42 divide j?
True
Let v = 101 + -89. Suppose 4*d = 2*s - 924, -2*d + v = d. Does 47 divide s?
True
Is 49 a factor of -2 - (-14824)/2 - (94 - 89) - 2?
False
Suppose 2*u + 5*f = 519, -6*u = -10*u + 2*f + 1026. Suppose 2*l + 125 = u. Is 3 a factor of l?
True
Suppose -4*w + 12 = 0, 0 = 4*h - 4*w - w + 1295. Is 14 a factor of (-3 - 1)/(4*5/h)?
False
Suppose 0 = 3*r - o - 800, 4*r = 5*r - 2*o - 275. Suppose 0 = -4*a - 2*p - 3*p + r, 3*a - 5*p = 155. Suppose u + 5 = 2, 0 = -3*k - 5*u + a. Does 8 divide k?
False
Let k be 2/(-9) + (-5)/90*392. Is (-32241)/(-21) + k/77 a multiple of 53?
False
Is 13 a factor of ((-3822)/35)/(4/(-240))?
True
Let i(t) = 37*t**2 - 6*t. Let f = 23 - 17. Let b be i(f). Suppose -x + 13*x - b = 0. Is x a multiple of 15?
False
Let r = 670 + -162. Suppose -n = -4*m - r, -n + 5*m + 729 = 217. Is 41 a factor of n?
True
Suppose 602 = 5*u - 19208. Is 4 a factor of u?
False
Let w(v) = 605*v - 1758. Is w(28) a multiple of 20?
False
Let w be -4 + 314/12 - 4/24. Suppose w*a - 6*a - 15616 = 0. Is 61 a factor of a?
True
Suppose -z + 6*z = z. Suppose 700*v - 705*v + 330 = z. Is v a multiple of 4?
False
Suppose -12098 = -26*n - 2036. Suppose n = t + 4. Is 6 a factor of t?
False
Let z(g) = -9*g - 6. Let t be z(3). Let u = t - -33. Let j(r) = -7*r + 63. Is 7 a factor of j(u)?
True
Suppose 54*n = -26*n + 50880. Does 4 divide n?
True
Suppose -118*h = -116*h - 10. Suppose -1937 = 4*p - 7*p + h*u, 2540 = 4*p + 4*u. Is 38 a factor of p?
False
Suppose 9*x - 58 - 32 = 0. Suppose o = x*b - 15*b + 520, 5*b - 540 = 3*o. Is 3 a factor of b?
True
Let n be 5/10*(-7 + 3). Let v be (9/(-6))/((-1)/n). Does 38 divide (-6 - v) + (-180)/(-1)?
False
Let o be 14/(98/2961) - -3. Let c = o - -204. Does 90 divide c?
True
Let s(u) = -371 + 1082 - 16*u - 13*u + 36*u + u**2. Is s(0) a multiple of 48?
False
Let m(z) = -12*z - 174. Let l(g) = 6*g + 88. Let q(x) = 5*l(x) + 2*m(x). Is q(16) a multiple of 4?
True
Let q(l) = -8 - 6 + 4 + 45*l. Is q(2) a multiple of 10?
True
Suppose -2*c = -0*c + 78. Suppose 2*y - 10*y = -1248. Let i = c + y. Is i a multiple of 13?
True
Suppose -2*a - 671 = -3*x, 39 - 1436 = 4*a + 5*x. Let o = a + 354. Is o a multiple of 2?
False
Suppose 0 = 6*s - 18, -2*z + 0*z + 4*s - 2 = 0. Suppose 2*b = z*y + 14 + 155, -3*y = -b + 87. Does 24 divide b?
True
Suppose -4*o - 5*m = 35534 - 95217, -44771 = -3*o - 2*m. Does 36 divide o?
False
Suppose 7*q - 19*q = 24. Let m be (1096/16*-2)/(q/4). Suppose m = 7*h - 104. Does 9 divide h?
True
Suppose 4*v = 5*q + 146556, -5*q - 5965 = -3*v + 103952. Is v a multiple of 174?
False
Let o = 43 - 59. Let n be (-3)/(-1) - 11424/o. Suppose -4*y + n - 33 = 0. Is y a multiple of 19?
True
Suppose 0 = -2*r - k + 534 + 818, 3*k - 2704 = -4*r. Does 13 divide r?
True
Suppose h = 3*s - 13 - 4, 3*s + 2*h - 11 = 0. Suppose -199 = -2*x + j + 484, -j - 1700 = -s*x. Is x a multiple of 4?
False
Suppose -4*k + 4 = 4*l, -k - 2*k = 2*l - 3. Let m(a) = -2*a - 2. Let i be m(k). Does 13 divide i/18 - 14760/(-81)?
True
Suppose -o - 2*o = -30. Let l be (-306)/o - (-14)/(-35). Let j = -15 - l. Does 2