et o be p(m). Does 14 divide o + -1 + (-6 - -4)?
True
Let u = 152 + 256. Is u a multiple of 34?
True
Suppose 110*r - 266760 = 50*r. Is r a multiple of 78?
True
Let y = -3 - -6. Suppose 13 = -j + y. Is 3*47 - (j + 9) a multiple of 30?
False
Suppose -z - 3*z = -608. Let t = z - 91. Suppose 2*u - 5*k - t = 0, -u - 2*u + 104 = -5*k. Is 9 a factor of u?
False
Suppose 6 = z - 33. Is 4 a factor of z?
False
Let w(m) be the first derivative of 7*m**4/2 - m**3/3 + m**2/2 - m - 115. Let i be -1*(-1 + -1) + -1. Is w(i) a multiple of 5?
False
Let c(y) be the first derivative of y**4/4 + 10*y**3/3 + 5*y**2/2 + 14*y + 15. Is 18 a factor of c(-7)?
True
Suppose s + 60 = -2*c, -5*c = -5*s - c - 244. Suppose -r - w = 36, -2*r + 5*r + 2*w + 107 = 0. Let p = r - s. Is p even?
False
Let z(k) = -k**2 + 1. Let c(h) = 13*h - 18. Let p(r) = c(r) + z(r). Is 8 a factor of p(7)?
False
Suppose -7*o + 3489 = 1228. Let c = 543 - o. Does 16 divide c?
False
Suppose 2*u = z + 15, 2*u - 5*z = -3*u + 30. Suppose -5*f - 2*x = -u, 5*f + 0*f + 3*x - 6 = 0. Suppose 0 = 4*g - f*g - 34. Is g a multiple of 12?
False
Let y = 9 + -6. Suppose 484 = y*p + v, -2*p + 478 = p + 4*v. Suppose -3*q - 24 + p = 0. Is 14 a factor of q?
False
Let z(x) = x**3 + 12*x**2 + 4*x + 11. Suppose -3*c = -5*q + 58, 2*c - 2*q + 41 = 9. Does 11 divide z(c)?
True
Let m(x) = 192*x**2 + 12*x - 9. Is m(2) a multiple of 29?
True
Suppose -3*o + 60 = 4*m, -100 = -5*o - m - m. Is o even?
True
Suppose 3*o = -6, -2*o = 5*s + 76 + 33. Suppose -5*y - 35 + 30 = 0. Is 217/s*y*3 a multiple of 15?
False
Suppose 5*r = 598 + 97. Suppose 5*z + r - 384 = 0. Is z a multiple of 32?
False
Let c(t) = -91*t**3 + 1. Let b be c(1). Let u = b - -144. Suppose -j + u = 2*k, -k + 0*j = j - 27. Is k a multiple of 25?
False
Let a(i) be the second derivative of -i**4/12 + 13*i**3/6 - 6*i**2 + 6*i. Let d be a(11). Is 8 a factor of 596/d - (-4)/10?
False
Let z(m) = m**3 + 16*m**2 - m - 12. Let j be z(-14). Let q = -229 + j. Is 15 a factor of q?
True
Suppose 2*q - q + 5*n = -15, q + 4*n = -13. Let i(r) = -2*r**3 - 4*r**2 + r - 9. Is 8 a factor of i(q)?
True
Let m = -277 + 630. Is m a multiple of 28?
False
Suppose 31*t = 32*t - 166. Does 83 divide t?
True
Suppose -p - 101 = -2*u, -4*u - p + 127 = -90. Is u a multiple of 9?
False
Let n be (-2)/(-1) - (-3)/((-18)/(-816)). Suppose 2*j = 3*b - 120, 2*b - n = -b - 4*j. Does 7 divide b?
True
Suppose 5*z - 80 = -2*h - 0*h, -2*h - 80 = -5*z. Suppose 4*l - 5*x + 10 = -4, -l = 5*x + z. Does 11 divide (-2)/4 - 189/l?
False
Let p = -11 - -13. Suppose -p*m = 4*q - 746, -m - 547 = -5*q + 2*q. Does 46 divide q?
True
Suppose 0 = -2*v - 2*v - 5*q - 2297, -3*v - 1689 = -3*q. Let b be v/(-6) - (-2)/6. Suppose 2*u - b = 21. Does 29 divide u?
True
Let l = -628 - -1012. Does 32 divide l?
True
Suppose 3*r - 12 = -3*h, 2 = 2*h - 4. Let p = r + 69. Does 12 divide p?
False
Let w = -209 - -257. Is w a multiple of 12?
True
Let f(w) = 2*w - 5. Let p be f(4). Suppose 5*z + 445 = 5*v, v - p*z - 89 = z. Is 26 a factor of v?
False
Let s = -27 + 30. Suppose 5*v - 56 = -s*u + 40, 0 = -3*u - 2*v + 87. Is 9 a factor of u?
True
Suppose -w + 132 = 5*u, 3*u = -0*u. Is 32 a factor of w?
False
Let v be (-20)/16 + 109/4. Suppose -6 - v = -4*g. Is g even?
True
Let h(o) = 3*o**2 + 12*o - 2. Let u be h(-7). Suppose 3*b - u = 389. Is b a multiple of 15?
True
Let y(n) = -2*n + 1. Let h be y(-1). Let z(r) be the third derivative of r**5/30 + r**4/24 - 2*r**3/3 - 25*r**2. Is 17 a factor of z(h)?
True
Suppose v - 1 - 125 = 0. Let u = -77 + v. Is 11 a factor of u?
False
Suppose -14*d + 18412 = 5910. Does 19 divide d?
True
Let c be ((-10)/3)/((-1)/(-3)). Let y be (-8)/c*(-15)/(-2). Is 12 a factor of y*((13 - 2) + 0)?
False
Let i be (-15)/5 - (0 - 5). Suppose 10*u - 5*u - 110 = 5*p, -4*u = i*p - 64. Does 5 divide 4/(8/u) - 4?
True
Suppose 67 + 893 = 4*o. Suppose -3*q + 3*k + o = 0, -247 - 143 = -5*q + 3*k. Suppose 5*p - q = 4*x, 3*p + x = -3*x + 13. Is p a multiple of 5?
False
Let a = -2267 + 3647. Let y be a/36 - (-1)/(-3). Suppose 4*d = -3*o + y + 108, 2*o - 96 = -4*d. Is o a multiple of 16?
False
Suppose -2*h - 15 = -5*r, -h = 4*r - 0 - 12. Suppose -53 = -0*w - 4*w - 5*m, -5*w + m + 88 = h. Is 15 a factor of w?
False
Let a(b) = -26*b + 5. Let s be a(2). Let u = 80 + s. Is 3 a factor of u?
True
Let n be -1 + (-16)/12*-9. Suppose 64 = -n*d + 15*d. Does 16 divide d?
True
Suppose -2130*m = -2137*m + 4809. Does 25 divide m?
False
Suppose 3*k - 2*k = -p + 9, 0 = 3*k - 5*p + 13. Suppose -k = m - 7. Is m a multiple of 2?
False
Let v = -87 + 30. Let t = v - -148. Does 11 divide t?
False
Let n(s) = -18*s - 66. Is 3 a factor of n(-4)?
True
Is 5 a factor of 22/(-33) + 250/6?
False
Suppose 3*b = -2*b + 15. Suppose 8 = 5*o - b*o. Suppose o*l + 206 = 5*r, 4*r - 93 = -3*l + 78. Does 14 divide r?
True
Let j = 572 - 392. Let f = j - 34. Suppose -f - 74 = -5*n. Is n a multiple of 20?
False
Suppose 0 = v + 2*m - 237, 3*v + 2*m - 693 = 5*m. Let y = v - 131. Is 34 a factor of y?
True
Suppose -h + 2*d + 75 = 4, 5*h = -4*d + 411. Is h a multiple of 79?
True
Suppose -4*k = -r - 66, -29 + 85 = 3*k - 4*r. Suppose 0 = -3*y + 4*h - k + 87, -h - 65 = -3*y. Is y a multiple of 7?
True
Let y = -316 + -407. Let q be 1*(-1)/3*y. Let j = q - 161. Does 20 divide j?
True
Suppose 0 = -7*d - 46 + 200. Suppose -d*v = -20*v - 292. Is 17 a factor of v?
False
Let x(c) = -c**3 + 3*c**2 + 9*c. Let d be x(-6). Is 17 a factor of d/8 + 7/28?
True
Suppose 0*h = 3*h + 27. Let r = h - -15. Does 4 divide r?
False
Let f(k) = k**3 + 11*k**2 - 2*k - 1. Let m = 6 - 17. Let a be f(m). Let u = a - -10. Does 7 divide u?
False
Suppose 123*z - 129*z + 38046 = 0. Is z a multiple of 18?
False
Suppose -3*i = -8*i + 5425. Suppose -g - 4*g = -i. Is (g/28)/(3/12) a multiple of 25?
False
Suppose -2*b + 3 + 3 = 0. Suppose -2*a - 6 = 0, -2*a + b = 2*y + y. Is 2 a factor of y?
False
Suppose -2*z = 21 - 3. Let h(f) = 9*f + 21 - 2*f - 2*f - 4*f. Does 12 divide h(z)?
True
Let i = 18 - 30. Does 9 divide (-53 + -3)*9/i?
False
Let q(x) = 69 + 0 + 22 - 4*x - 14. Does 15 divide q(-7)?
True
Let j(k) = -k**2 + 7*k + 4. Suppose -5*z + 0*z + 5 = 0. Let f(i) = -1. Let w(r) = z*j(r) + 5*f(r). Is 7 a factor of w(5)?
False
Let o(m) be the first derivative of 19*m**3/3 - m**2 + 2*m + 12. Is o(-2) a multiple of 14?
False
Let s = 145 + -87. Is -2 - (-2)/(4/s) a multiple of 9?
True
Let t(u) be the first derivative of -4 - 1/2*u**2 + 32/3*u**3 + u. Does 16 divide t(1)?
True
Suppose 0 = 4*h - 7*h - 75. Is 9 a factor of 20/h - 59/(-5)?
False
Is 10 a factor of 5/20 - (-4590)/8?
False
Let h = -16 + 20. Suppose i = -h*v - 4*i + 125, 0 = -v + i + 29. Is v a multiple of 10?
True
Let o(z) = -25*z**2 - z - 22*z**2 + 50*z**2 + 4*z. Is 12 a factor of o(-5)?
True
Let u be (-6)/(-12)*(-16)/(-2). Suppose u = 10*f - 11*f. Is 8 a factor of 2 + (-52)/f - -1?
True
Suppose -65 = -k - 4*k. Suppose h + k - 16 = 0. Suppose -81 - 171 = -h*f. Does 14 divide f?
True
Suppose -3*k - 4*j - 5 = 0, -5*j + 3 - 33 = -k. Suppose 0 = -4*b + 5*z + 20, z - k = -1. Is 6 a factor of b?
False
Let q = 143 - 39. Let a = -50 + q. Suppose 0 = 5*s + s - a. Is 2 a factor of s?
False
Let r(j) = 216*j + 156. Is r(4) a multiple of 102?
True
Is 13 a factor of (-580)/(0 - 4) + -2?
True
Let c be (9 - 2) + -6 + 2. Let p be (-3)/((12/(-244))/c). Suppose -d + 5*f + 55 = 0, 0 = -3*d + f - 4*f + p. Does 30 divide d?
True
Let b(h) = h**3 + h**2 - 2*h + 49. Let m be (-16)/88 + (2 - (-20)/(-11)). Is 12 a factor of b(m)?
False
Let i = 214 + -36. Is i a multiple of 19?
False
Does 108 divide (-7 + 5)/(-1 + (-107)/(-108))?
True
Let k(l) = -l**3 + 8*l**2 - 11*l + 11. Let z be k(8). Let f be (1 - z) + (-8)/2. Suppose -3*i - h + f = -0*h, 0 = -i - 5*h + 48. Does 16 divide i?
False
Suppose -3*m - 2*v = 10, -m - 20 = 2*v + 2*v. Suppose 3*y + n - 15 = 4*n, 4*y - 5*n - 19 = m. Is 5 a factor of y?
False
Suppose 3*t + 3*l = -3, 13 = -4*l - 3. Suppose 4*y + t*g - 5*g = 8, -4*g = 0. Suppose 3*h - 84 = y*a - 3*a, 291 = 3*a - 4*h. Is 19 a factor of a?
False
Let c = -22 + 24. Let u be ((-12)/(-10))/((-4)/(-10)). Is -12*(-1)/c*u a multiple of 4?
False
Suppose 0 = 8*m - 10*m + 196. Suppose -5*z + 2*n - m = 0, -2*n + 26 = -z - 0*z. Let q = 1 - z. Does 18 divide q?
False
Let i be (-28)/70 - (-44)/10. Suppose i*s - 