
False
Let a be 1 + (25/(-5) - -30). Does 14 divide (-2 - (-2)/3)/(a/(-1443))?
False
Let b = 68 - 35. Let a = 37 - -10. Let r = a - b. Does 14 divide r?
True
Let q = 28 + -40. Let s be 30/(-12)*q/10. Does 20 divide 2 + 68 + -1 + s?
False
Suppose 3*d + 4*d = 1680. Suppose 0 = z + 3*z - d. Is 18 a factor of (48/5)/(18/z)?
False
Let r(c) = c**3 - 9*c**2 - 5*c - 18. Let h(v) = -v + 1. Let b(p) = -6*h(p) - r(p). Let z be (-8 - -6)*(-3 - 2). Does 11 divide b(z)?
True
Let p be (1 + 1)/4*2. Let i(j) = -29*j**2 + j. Let u be i(-1). Does 6 divide (-396)/u + p/(-5)?
False
Suppose -59*w + 60*w - 123 = 0. Is 41 a factor of w?
True
Suppose 355*g - 4959 = 346*g. Is 19 a factor of g?
True
Let o = 379 - 274. Does 5 divide o?
True
Is (-117)/((-156)/(-18) - 9) a multiple of 9?
True
Let f = 48 - 29. Suppose 81 = u + 2*u. Let k = u - f. Is 8 a factor of k?
True
Let n = 28 + -24. Let x be (-4)/(n + 36/(-8)). Does 9 divide 1/((x/(-100))/(-2))?
False
Does 46 divide ((-1)/(2/97))/((-51)/918)?
False
Let b(f) = -f**2 - 36*f - 44. Is b(-18) a multiple of 33?
False
Let x(y) = 11*y - 14. Let o be x(9). Suppose -3*b + 4*b = o. Does 15 divide b?
False
Suppose -3*f = -54 + 54. Suppose -3*b - 2*b + 885 = f. Is 44 a factor of b?
False
Let f = 21 - 16. Suppose -f*r + 10 = -10. Let a(u) = 4*u**2 - u - 1. Is a(r) a multiple of 10?
False
Let p be (-12)/((8/(-12))/(-2)). Is 3/(-2 + (-1)/(-2)) - p a multiple of 23?
False
Let c be 2/10 - 738/(-10). Let j = -42 + c. Let h = 127 - j. Is h a multiple of 27?
False
Let w = -259 - -562. Does 44 divide w?
False
Let o(j) be the third derivative of j**6/40 + j**4/24 + j**3/6 + j**2. Let b be o(-1). Does 22 divide (0 - (-33)/b)*-4?
True
Let q(a) = 3*a - 37. Let r be q(11). Let d(f) = -2*f**3 - 3*f**2 - 4*f - 8. Is d(r) a multiple of 22?
True
Suppose -58 = -6*y + 140. Is 5 a factor of y?
False
Suppose 5*a = -3*m + 562 + 1186, 2379 = 4*m - 3*a. Is m a multiple of 12?
False
Let p = 1514 - 974. Is 18 a factor of p?
True
Let x be (-2 + 1)/((-2)/250). Let d = x + -59. Suppose v + d = 4*v. Does 11 divide v?
True
Suppose -6*s = 1357 - 4141. Is 16 a factor of s?
True
Suppose 286*q - 1235 = 281*q. Is 10 a factor of q?
False
Let t(s) = 18*s - 142. Is t(28) a multiple of 5?
False
Suppose -b + 23 = 4*o - 0*b, 0 = -5*o - 4*b + 37. Suppose 4 = -4*f, -20 - 3 = -4*v - o*f. Does 7 divide v?
True
Is 6684/20 - 32/(-40) a multiple of 12?
False
Let o(r) = -r**2 - 7*r + 1. Let g = 3 - -26. Suppose -4*w - g = -9. Is o(w) even?
False
Let t(u) be the first derivative of -u**6/120 + 7*u**5/30 - 5*u**4/12 - 2*u**3/3 + u**2 - 5. Let y(q) be the second derivative of t(q). Is 13 a factor of y(13)?
False
Let a(c) = 14*c - 7. Let g be (15/(-6) + 2)*-4. Is 21 a factor of a(g)?
True
Suppose 12*b + 251 = 743. Let q be (-4)/(-8)*(0 + 0). Does 22 divide 2/(-2) + q + b?
False
Let w be 8 + (1 - (6 - 3)). Let t(u) = -u**3 + 7*u**2 + 2*u + 4. Let n be t(w). Let v = n - -1. Does 16 divide v?
False
Suppose -2*z - 4*j + 10501 = z, -2*j = -3*z + 10531. Is z a multiple of 21?
True
Is (117/(-2))/(63/14 - 5) a multiple of 4?
False
Let w = -100 - -94. Is 20 a factor of (-4360)/10*3/w?
False
Suppose t = -5*y + 494, 1554 - 20 = 3*t + 2*y. Is 28 a factor of t?
False
Let z(u) = u**2 - 7*u + 8. Suppose 0 = -3*q + 12, 2*v + 2*q + 2*q - 28 = 0. Let w be z(v). Suppose w*j = -2*j + 180. Is j a multiple of 8?
False
Suppose -2*o + 180 = -5*y, o + o - 4*y = 178. Does 29 divide (-986)/o*(-5)/1?
True
Let c = 41 + -36. Suppose c*q - j + 6 = 0, -j + 2 = -3*q - 0*q. Does 11 divide (3 + q)*4 + 7?
True
Let s be 127 + (3/3 - 0). Suppose -5*r + 2 = -s. Let g = r - 23. Is g a multiple of 2?
False
Let r(p) = -4*p**3 - p**2 + 10*p + 72. Does 17 divide r(-4)?
True
Let d(z) = -z**3 - 19*z**2 + 23*z - 27. Let h be d(-20). Let t = 171 + h. Is t a multiple of 34?
False
Let y(n) be the third derivative of -n**6/360 - n**5/10 + 13*n**4/24 - 2*n**3/3 + n**2. Let f(a) be the first derivative of y(a). Does 10 divide f(-9)?
True
Let q(l) be the second derivative of -l**5/20 + 5*l**4/4 + 19*l**3/6 - 6*l**2 + 2*l. Suppose -k = -1 - 15. Is 9 a factor of q(k)?
True
Let m(k) = -9*k**3 - 1 - 3*k**3 + 5*k**2 - 3*k + 11*k**3. Let a be m(3). Suppose 2*n = a, 0 = d - 3*d - 3*n + 22. Does 5 divide d?
True
Let o(x) = 4*x**2 - x**2 + 6*x - 3 - 2*x**2. Let a be o(-7). Suppose -24 = a*l - 7*l. Does 5 divide l?
False
Suppose 0 = -7*l - 4*l + 198. Suppose -2352 = 6*p - l*p. Does 31 divide p?
False
Suppose s = -3*f + 4, -f - 3*f = 0. Suppose -52 = -2*q - s*x, 110 + 16 = 4*q - 3*x. Is q a multiple of 10?
True
Suppose 4*m + 0*v - 976 = 2*v, 0 = 5*m + v - 1220. Suppose -116 = -3*i + m. Is 10 a factor of (-1)/(3/i*-2)?
True
Suppose -2*y = -4*l + 832, -3*l + 777 = -2*y + 155. Is 6 a factor of l?
True
Suppose 0 = -2*d + z + 204, -4*z + 159 + 25 = 2*d. Suppose -g = -d + 12. Is g a multiple of 8?
True
Is 49 a factor of (-8)/(40/(-2195)) - -7?
False
Let l = -209 + 531. Let j = -184 + l. Is 24 a factor of j?
False
Let k(m) be the third derivative of -1/12*m**4 + 0 + 0*m - 5*m**2 + 1/60*m**5 + 1/3*m**3. Does 10 divide k(8)?
True
Suppose 5*i + c = -5, c = -2*i - 0*i - 2. Does 13 divide (i/(-1))/(6/420)?
False
Does 3 divide (44 + -39)/((-5)/(-139))?
False
Does 140 divide (31098/(-4))/(-3) + 3/(-2)?
False
Suppose -22*t + 74 = -21*t. Let v = t + -46. Is v a multiple of 4?
True
Let b(w) = -w**3 - w + 34. Let h be b(0). Suppose 5*s + 6 + 14 = 0, -2*z + 2*s = -h. Is z a multiple of 13?
True
Suppose 0 = 6*d - 4*d - 782. Does 27 divide d?
False
Is 7 a factor of -5 - (-8 + 4*-15)?
True
Suppose -17 = -4*r - k, 0 = -2*r - 3*k - 0 + 1. Suppose 4*l + 100 = -0. Let c = r - l. Does 10 divide c?
True
Let u(f) = f**2 - 18*f + 24. Let d be u(16). Does 27 divide 2/(d/(-22))*22?
False
Suppose 3*s = -m + 86, -4*s - m = m - 116. Suppose 61 + s = k. Suppose -z - 5*i + 48 = 0, -4*z - 4*i + 39 + k = 0. Does 11 divide z?
False
Let j = 632 + 848. Does 37 divide j?
True
Let z(x) = 7*x**2 + 32*x + 41. Let m(l) = 3*l**2 + 16*l + 21. Let o(n) = 5*m(n) - 2*z(n). Is o(-16) a multiple of 5?
False
Suppose -546 = 2*j + 5*j. Let h = -57 - j. Is h a multiple of 8?
False
Let w(h) = 2*h**2 + 5*h. Let k be 156/(-42) + (-4)/14. Is w(k) even?
True
Let d be (-1 - -2)/(-1)*-1*2. Suppose j + 30 = d*j. Does 5 divide j?
True
Suppose 284*r + 7896 = 292*r. Does 47 divide r?
True
Let q(c) = -10*c + 29. Let u(n) = -10*n + 30. Let r(s) = -6*q(s) + 5*u(s). Is 4 a factor of r(6)?
True
Let f(x) = 129*x + 1. Let q = 60 + -59. Does 29 divide f(q)?
False
Suppose 5 = -5*x + z, 3*z = -2*x - 3*x - 25. Is 20 a factor of (-4)/x - 1 - -39?
True
Let z(r) = r**2 + 6*r + 10. Suppose 2*m - 34 = 2*a - m, -2*m - 47 = 5*a. Does 13 divide z(a)?
True
Let g(x) = x**3 + 12*x**2 - 5*x - 13. Let t(u) = -u**3 + 15*u**2 - 15*u + 15. Let j be t(14). Let h be 18*((-10)/6 + j). Is 14 a factor of g(h)?
False
Let z(x) = -298*x - 132. Does 15 divide z(-3)?
False
Suppose -76 + 328 = 4*r. Suppose -7*p - r = -8*p. Is p a multiple of 21?
True
Let s be ((-3)/(27/6))/(6/(-9)). Suppose -n = 4*z - 55, 0 = -2*n + 4*z + 61 + s. Is 5 a factor of n?
False
Let t be (4 - 0) + (-1 - -1) + 0. Suppose -59 = -4*v - s - 7, 3*v = t*s + 20. Is v a multiple of 9?
False
Let c = -247 - -691. Is c a multiple of 37?
True
Suppose v = 3*z - 3*v - 10, 2*v - 10 = 0. Let x be z/(-4) + (-6)/(-12). Let j = 4 - x. Is j a multiple of 2?
True
Suppose -i - 4*r = r - 29, 4*i + 2*r - 26 = 0. Let t be 6/(-8) + 11/i. Suppose 2*s - 2 = 2*j + 6, -s - t = -4*j. Is 3 a factor of s?
True
Let l(h) = -h**2 + 18*h - 4. Let j(r) = -r**2 + 11*r - 14. Let p be j(7). Does 12 divide l(p)?
False
Suppose 0 = 2*g - g + 5. Let t = -1 - g. Suppose -5*r + t*n + 7 = -65, 0 = -4*r - n + 66. Does 8 divide r?
True
Suppose 72*p + 1736 = 79*p. Does 8 divide p?
True
Let n = -38 - -44. Suppose b + 1005 = n*b. Is b a multiple of 24?
False
Is -1111*(4 - -1 - 6) a multiple of 18?
False
Suppose 0 = 4*j - 199 + 31. Is 14 a factor of j?
True
Is 6 a factor of (5 + 4)*26/3?
True
Is 5 a factor of ((-5)/(-5))/(-1 + 678/677)?
False
Suppose 300 = -4*m - 248. Let f = m + 253. Does 12 divide f?
False
Let q be 12/5 + (-18)/45. Suppose q = -t + 2*v, 2*t - 2*v - 32 = -7*v. Is 3 a factor of t?
True
Suppose 24 = 3*i - 9*i. Is (-5 - i) + 52/1 a multiple of 7?
False
Let g(a) = -2*a**3 - a**2 - a - 1. Let y be g(-1). Let u(r