uppose -318 - n = -4*y. Does 18 divide y?
False
Let q(m) be the first derivative of 31*m**5/4 + m**4/6 - m**3/6 + 5*m - 14. Let z(l) be the first derivative of q(l). Does 12 divide z(1)?
True
Let n = -151 + 232. Is 7 a factor of 185/3 + 27/n?
False
Suppose -8 = i - 7. Let f(s) = -997*s + 67. Is f(i) a multiple of 10?
False
Let a = -7327 - -7383. Does 28 divide a?
True
Let k = 26289 + -18610. Is k a multiple of 54?
False
Let n = 62 + -59. Suppose 0 = -l - 7*p + 3*p + 60, -n*p + 215 = 5*l. Suppose -i - w = -2*i + l, 3*i = -3*w + 138. Is i a multiple of 17?
False
Suppose 40 - 25 = 3*n. Suppose -k = -n*k - 2*y + 1342, -3*y + 1341 = 4*k. Is 24 a factor of k?
True
Let w(d) be the first derivative of -5/2*d**2 - 30*d - 12. Does 10 divide w(-9)?
False
Let l = 6809 + -2699. Does 30 divide l?
True
Let r(y) = 5*y**3 - y**2 - 2*y + 2. Let z be r(1). Let d(l) = -6*l + 18. Let u be d(z). Is 4155/35 + u/(-21) a multiple of 12?
False
Let d be 5*(1 + 2)/3*1. Is 3 a factor of (-4)/(-12) + (334/6 - d)?
True
Let h(p) = 380*p - 1556. Is 4 a factor of h(5)?
True
Let z(o) = -13 + 9*o**3 + 14*o - o**2 - 2*o**2 - 10*o**3 - o**2. Let k be z(-7). Is 6 a factor of 3 - 295/(-9) - (-8)/k?
True
Suppose -84*r = 92*r + 79772 - 2133516. Is 7 a factor of r?
True
Suppose 4*k + 648 = q, 3*k + 3*q + 495 = 6*q. Let m = -148 - k. Is m a multiple of 12?
False
Suppose -5*v - 25 = 0, 2*n = -2*v + 425 + 1665. Suppose 0 = 4*t + 6*t - n. Suppose -4*g + g = -t. Is g a multiple of 5?
True
Suppose -2*x + 4*o = -5860, 5*x - 2335 = 5*o + 12340. Is 20 a factor of x?
True
Suppose 5 = l - 1759. Suppose -5*x + 12*h - 14*h + l = 0, 3*x + 3*h = 1062. Is x a multiple of 4?
True
Suppose x = 2*r + 4 + 13, x = r + 12. Suppose 0 = b - x*b - 12. Let w(y) = -38*y + 4. Is w(b) a multiple of 28?
False
Let u(i) = i**3 - 6*i**2 + 13*i - 11. Let f be u(5). Let x = 8 + 19. Suppose -x*y = -f*y + 72. Does 36 divide y?
True
Let d be (16/20)/((-4)/(-430)). Let k = 149 - d. Suppose 0*l + l = x + k, -4*l = 5*x - 279. Is l a multiple of 33?
True
Is 15 a factor of 1/(-3) + 4/(-5 - (-149491)/29897)?
False
Is 1926 + 1 + 0 - (6 - 14 - -10) a multiple of 77?
True
Let h(r) = r. Let c(q) = 127*q - 16. Let v(z) = -c(z) + 5*h(z). Is 42 a factor of v(-4)?
True
Suppose -7*z + 1764 = -3*z. Suppose 3*l - z = -129. Suppose d - l = -3*d. Is d a multiple of 7?
False
Let u be (-18)/(-8) + 1 - (-4)/(-16). Suppose 6*m - 30 = u*m. Let l(v) = v + 18. Is l(m) a multiple of 10?
False
Let o(c) = -22*c + 29. Let t be o(-2). Let r(g) = g**3 - 5*g**2 - 5*g + 5. Let v be r(7). Let y = t - v. Is y even?
False
Let r be 0 - (-9 + (-1212)/1). Suppose -r = -13*p + 15744. Is 87 a factor of p?
True
Let u = 10972 + -8846. Is u a multiple of 10?
False
Let n(a) = a**3 - 12*a**2 - 15*a - 18. Let d be n(12). Does 11 divide 72/27*d/(-4)?
True
Suppose -137*r + 129192 + 305819 - 134707 = 0. Is 10 a factor of r?
False
Is 4 a factor of 150/(-1125) - (-1742)/15?
True
Suppose 3*k - 4*l - 896 = 0, l + 4*l = -5*k + 1435. Suppose -9*u + k - 13 = 0. Let a = u + -25. Is a a multiple of 6?
True
Suppose 13574 - 326 = -46*t. Does 14 divide ((-36)/(-16) + -4)/(12/t)?
True
Suppose 4*t - 88 = -3*f, 0*t - 3*t + 66 = 4*f. Does 9 divide 4/12 + t/6 + 23?
True
Does 18 divide 3071/(-332)*(6/14 - (-92125)/(-77))?
False
Let l(c) = -c**3 + 25*c**2 - 24*c + 3. Let v be l(24). Does 6 divide (0 - v*-27)/(15/20)?
True
Suppose 10*z = -0*z + 9*z + 538. Is 40 a factor of z?
False
Suppose -2*r = 5*l - 0*l - 8, -5*r = -l - 20. Suppose l = 4*y - 4*n + 168, -y + 0*n - 5*n - 66 = 0. Let b = y + 50. Is b a multiple of 3?
False
Let u(i) = 9*i - 3. Let m be u(-6). Let n = m - -474. Is n a multiple of 7?
False
Let s(u) = 10*u - 45. Let y be s(5). Suppose n = y*c + 328, -n + 5*n - c - 1312 = 0. Does 3 divide n?
False
Suppose 13*n + 29371 = -2*n + 156871. Is 102 a factor of n?
False
Suppose 6 = m + 3. Suppose -m - 33 = -4*r. Suppose -3*a = -0*a - 4*u - r, a + 3*u - 3 = 0. Does 3 divide a?
True
Let w = 121 + -88. Let u = 57 - w. Does 24 divide u?
True
Let j = 416 + -414. Suppose 1104 = 4*q + 4*i, -2*q = i + j*i - 553. Does 25 divide q?
True
Let y(t) = -12*t**2 - 62*t - 5. Let s(o) = -6*o**2 - 30*o - 3. Let a(x) = -9*s(x) + 4*y(x). Let l = 12 + -18. Is 46 a factor of a(l)?
False
Let o = 375 - 377. Let c(q) = -48*q + 7. Is c(o) a multiple of 32?
False
Suppose -9*j + 2356 - 2113 = -4815. Does 111 divide j?
False
Let u(j) = 11*j**2 + 73*j + 132. Is 104 a factor of u(-13)?
False
Does 60 divide (-795136)/(-78) - (-122)/(-2379)?
False
Suppose -3*t + 249 + 255 = 0. Suppose t + 174 = 3*i. Does 6 divide i?
True
Let o be (-8)/((6/2)/((-174)/(-4))). Let x = o - -184. Is 4 a factor of -3*x/(-54) - 2/(-9)?
True
Suppose -75098 = -16*h + 5*h + 9437. Is 29 a factor of h?
True
Let h be (-544)/(-51) + (-2)/(-6). Suppose -1713 - 399 = -h*m. Is 22 a factor of m?
False
Let i be (2 - 1 - 0/13)*-79. Let s = 57 - i. Is 34 a factor of s?
True
Let r = 13400 - 7528. Is 67 a factor of r?
False
Let z be ((-1 - 1)*-1)/(-1). Let g(m) be the first derivative of -3*m**4/4 - m**3 - 5*m**2/2 - 7*m - 95. Is 12 a factor of g(z)?
False
Let h(i) = 743*i**2 - 11*i + 63. Is h(-7) a multiple of 23?
True
Let i = 55 - 41. Suppose 0 = -i*y + 10*y + 112. Is (y/(-42))/((-2)/93) a multiple of 10?
False
Let v(w) = 27*w**2 - 66*w - 507. Is v(-8) a multiple of 11?
True
Let u(g) = g**3 - 27*g**2 + 25*g + 29. Let c be u(26). Suppose 87 = c*z - h - 182, 5*h = -z + 63. Is 4 a factor of z?
True
Let k(l) = 30*l + 31. Let z be k(-14). Let b = z - -597. Is b a multiple of 9?
False
Let y(n) = 7*n**2 - 9*n + 7. Let p be y(1). Suppose -3*m = 4*j - 139, 0 = p*m + 10*j - 5*j - 230. Does 9 divide m?
True
Suppose -189*r + 346792 = -621644. Is r a multiple of 18?
False
Let s(w) = 14 + 13*w - 1 - 2 - 11*w**2 - w**3. Let v be s(-12). Let g(d) = -28*d**3 - 2*d - 3. Is g(v) a multiple of 22?
False
Suppose -463 = -4*z + 133. Let i = -287 - -423. Suppose 5*p = i + z. Is 22 a factor of p?
False
Suppose -3*z + 33056 = -i, 5*i = 9*i + 20. Is 75 a factor of z?
False
Suppose 122 - 154 = 8*g. Is 5 a factor of g/(-10) + ((-2028)/(-30) - 7)?
False
Suppose 27 = 5*g - 3*i, -2*g - 3*i = -3*g + 3. Let m(o) = o**3 - 7*o**2 + 9*o - 15. Let d be m(g). Suppose d*a - 20 - 16 = 0. Is a a multiple of 3?
True
Let k be 5/(-11 - 508/(-46)). Let t = -187 + 118. Is t/k - (-633)/5 a multiple of 16?
False
Suppose -3*y = 502 - 514. Suppose -5*g - 467 = -y*x, 10*x - 586 = 5*x + 4*g. Does 12 divide x?
False
Let f = -34 + 34. Suppose f = l + 4*j - j + 112, l + 110 = -2*j. Let m = l + 191. Is m a multiple of 17?
True
Suppose 3*i - 10 = -13, i - 11 = -3*z. Suppose 0 = -4*j - 5*v + 64, z*v + 10 = 26. Does 3 divide j?
False
Let g = 468 - 85. Let k = -33 + g. Let y = k + -158. Does 24 divide y?
True
Suppose 0 = -5*w - 3*g + 12723, 2*w = -2*w - 2*g + 10178. Is 159 a factor of w?
True
Is -4 + 17942 - (5 - 2)/(102/(-68)) a multiple of 56?
False
Let s be 26/22 - (-18)/(-99). Let a(p) = 3*p**3 + 2*p**2 - 1. Let u be a(s). Suppose 98 = u*d + 3*d. Is 4 a factor of d?
False
Let v = 119 - 123. Is v/(-12) - (-412)/6 a multiple of 7?
False
Is 68 a factor of (5 + (-46)/8)/(10/(-78640))?
False
Let u = 21259 + -18074. Is u a multiple of 8?
False
Suppose 2*o + 14 = 2*f, -3*o - 8 - 1 = 3*f. Suppose 4*g = w + 7, -f*w + 9*g - 6*g = -11. Is w even?
False
Let d = 6805 + -6512. Is d even?
False
Suppose -a - 363368 - 2775004 = -55*a. Is a a multiple of 14?
False
Let r(z) = 2653*z - 733. Is 4 a factor of r(1)?
True
Let u be (-3)/(-6) - 50/20. Does 7 divide 99/u*10/(-3)?
False
Suppose 100 = 10*j - 6*j. Suppose -9*v + j*v - 10608 = 0. Does 13 divide v?
True
Let v = 5845 + 4578. Is v a multiple of 7?
True
Let j be ((-175)/(-14))/(1 + 111/(-114)). Let h = 913 - j. Does 24 divide h?
False
Suppose -4*k + 15132 = 301*i - 297*i, -3*k = -2*i + 7546. Is 128 a factor of i?
False
Suppose 3*m - 27 = 4*b, -51 = 5*b - 36. Suppose f + 3*t - 1567 = 0, -4*f - 7735 = -9*f + m*t. Does 23 divide f?
False
Let f = 319 + -235. Suppose f = -2*o + 416. Does 52 divide o?
False
Let t = -15 - -9. Let q be (-14)/(-6) - 4/t - 6. Is ((-45)/10)/(q/18) even?
False
Is 10 a factor of (-11 + (-1212)/(-48))/(2/560)?
True
Let d(s) = 8*s**3 + 61*s**2 - 118*s - 5. Does 13 divide d(12)?
False
Let o = -124 + 127. Let c(k) = 38*k**2 + 7*k - 27. Does 50 divide c(o)?
False