*d, 4*d + p = 0. Suppose -a = -3*x - x. Is 12 a factor of x?
True
Suppose 37*u = 33*u + 464. Suppose 220 = -2*r + 6*r - 4*s, -2*r + 5*s + u = 0. Is 9 a factor of r?
False
Suppose 2*i = -2*i + 636. Suppose m - i = y - 5*y, 0 = 2*y - 4*m - 66. Is y a multiple of 7?
False
Suppose 3*i - 4*a - 40 = -11, 16 = 4*a. Let o = -9 + i. Suppose -o*w = -445 - 35. Is 37 a factor of w?
False
Suppose 150 = 2*i + 3*i. Suppose 3*q - i - 60 = 0. Is (22/12)/(5/q) a multiple of 11?
True
Let f(g) = -11*g**2 - 1. Let y be f(-1). Is 9 a factor of (-172)/3*((-18)/y)/(-1)?
False
Let t(p) = p**2 + 12*p - 8. Let y = -16 + 3. Let x be t(y). Suppose 5*z = -4*g + 190, x + 20 = -5*g. Is z a multiple of 21?
True
Let t(o) = -54*o**3 - o**2 - o. Let k be t(-1). Let h be (k/(-15))/((-3)/(-15)). Is 16 a factor of (-196)/(-6) + 12/h?
True
Is 19 a factor of (-6 + 8)/(-2) - -553 - 1?
True
Let u be 6*-25*3*4/(-6). Suppose 2*x = -2*x + u. Does 14 divide x?
False
Let n = 361 + -196. Suppose -n = 3*l - 8*l. Is (-3)/(-3) + l/3 a multiple of 12?
True
Let x be 46/10 - (-18)/(-30). Let o be 21/(-14) - 62/x. Let b = -12 - o. Is b even?
False
Suppose 0 = -3*d + 190 + 1010. Is d a multiple of 10?
True
Let n be ((-10)/4)/(1/(-2)). Let k be ((68/6)/2)/(1/3). Suppose b - 2*q = k - n, -3*b = -3*q - 45. Is 11 a factor of b?
False
Let l(d) = 71*d**2 - 17*d + 55. Is 14 a factor of l(4)?
False
Let a(u) = 2*u**2 - 7*u - 5. Let n(k) = k**2 - 3*k - 2. Let z(w) = -4*a(w) + 9*n(w). Suppose -4*x - 7 = -3*t, 0 = 4*x - t - 0*t + 13. Is 7 a factor of z(x)?
True
Suppose -c - 11 = -3*q, 2*q - 1 = -2*c + 1. Is 6 a factor of (q + (-6)/6)*134/4?
False
Let i(c) = 5*c**2 + 14*c - 6. Does 59 divide i(-10)?
True
Let z = -550 - -948. Is z a multiple of 5?
False
Suppose 5*w - 373 = -b, -w - b + 45 + 32 = 0. Does 4 divide w?
False
Suppose -4*l = 2*z - 1428, 1737 = 4*l - 2*z + 309. Is 5 a factor of l?
False
Let l = 174 + -96. Suppose -l = 5*w - 7*w. Is w a multiple of 12?
False
Suppose 270*h - 210 = 268*h. Is h a multiple of 6?
False
Let c(z) = z - 17. Let k be c(4). Is (-1 - k)/2*(-44)/(-12) a multiple of 11?
True
Let p be (-6)/(-1) - (2 + 1). Suppose -5*o - 84 = p*l - 2*o, 0 = -l - 3*o - 28. Let h = -6 - l. Is 22 a factor of h?
True
Let i = 1721 + -1181. Is 18 a factor of i?
True
Suppose 2*w - 5*w = 18. Let d = w - -8. Suppose 21 = z + d*z. Does 2 divide z?
False
Let y = -85 - -85. Suppose 2*u - 228 - 108 = y. Does 24 divide u?
True
Let w(o) = 2*o**2 + 5*o. Let d be w(-3). Suppose -1 = d*t - 7. Suppose t = -2*h + 3*h. Is h even?
True
Let t(r) = 20*r - 28. Is 26 a factor of t(10)?
False
Let u be 1 - (23 + -1 + 1). Let z = -6 - u. Is 8 a factor of z?
True
Let p be 12/(-8)*(-260)/(-15). Is (-8)/6*117/p a multiple of 3?
True
Suppose 5*f = 11 + 9, -2*t + 4*f = 16. Suppose -o + 67 + 29 = t. Does 11 divide o?
False
Does 15 divide 19812/14 + (-107)/749?
False
Suppose -h + 3613 = -4*v + 576, -4*h = -5*v - 12126. Is h/91 - 4/14 a multiple of 6?
False
Let m(t) = t**3 - 6*t**2 - 11*t - 15. Is 123 a factor of m(15)?
True
Suppose 3*k - 4 + 1 = 0. Let b be (-6)/3 + k + -1. Let t = 20 + b. Does 6 divide t?
True
Let s = -37 + 23. Let z = 16 - 8. Let c = z - s. Does 11 divide c?
True
Suppose 4*a = 826 + 198. Suppose -3*q + 7*q + a = 0. Let w = q + 108. Does 14 divide w?
False
Suppose -f = -4*f - 153. Let x = 91 + f. Suppose -x = -3*o - 13. Is o a multiple of 9?
True
Let o(v) = -v**3 + 8*v**2 - 4*v - 5. Suppose 4*c = -16, -2*r + 3*c - 7 = 9. Let t be ((-14)/4 + 3)*r. Is 7 a factor of o(t)?
False
Let s(n) = n**3 - 22*n**2 + 8*n - 7. Let w be 4*(-3)/(-42) - (-912)/42. Does 20 divide s(w)?
False
Suppose 0 = -0*n - 7*n + 2492. Does 17 divide n?
False
Let h = 101 + -59. Suppose -4*l - 2 + h = 0. Is l a multiple of 6?
False
Let y = -1033 - -1145. Does 17 divide y?
False
Is -2*4*18/(-3) - -5 even?
False
Let z(l) = l**3 - l**2 - 2*l + 3. Let o be z(0). Does 9 divide o/9 - 656/(-12)?
False
Let r = -328 - -515. Is 17 a factor of r?
True
Let i = 203 - 110. Is 31 a factor of i?
True
Suppose 5*h + 2*r + 0*r - 10 = 0, -3*h + 4*r = -32. Suppose -f + 7 = p, 3*f - 4*p + 10 = -h. Suppose -f*v + 16 + 8 = 0. Does 4 divide v?
True
Is (315/14)/(6/32) a multiple of 24?
True
Suppose 4*v - 13 - 13 = 5*p, -p = 5*v - 18. Suppose 0 = 2*j + 5*i + 23, 4*j - v*i = 11 + 13. Is 1/1*15*j a multiple of 15?
True
Suppose 3*y - 12 = -y. Suppose -5*c - 79 = -y*x, -3*x = c + 3*c - 88. Is x a multiple of 4?
True
Let t(p) = p**2 - 3. Let w be t(3). Suppose -13*b = -11*b - 18. Suppose 0 = x - b - w. Is x a multiple of 7?
False
Suppose 5*a = -a - 438. Let y(p) = -106*p. Let x be y(-1). Let z = a + x. Does 11 divide z?
True
Suppose -79839 = -80*j + 15521. Does 33 divide j?
False
Suppose -620 = 2*d - 4*d. Suppose -8*g - 6 + d = 0. Is 19 a factor of g?
True
Suppose -2*i + 2*f + 429 = 3*i, i - 5*f - 95 = 0. Does 15 divide i?
False
Let m(a) be the second derivative of -a**4/12 - a**3/6 + 7*a**2/2 - 4*a. Let r be m(0). Suppose 0 = -0*z + z - r. Does 3 divide z?
False
Suppose 0 = -j - x + 305, -12*j + 9*j - 5*x = -915. Is 30 a factor of j?
False
Let d(h) = 7*h - 7. Suppose o - 5*j = -25, 12 = -4*o - 4*j + 32. Suppose o*t - 7 = -t. Is d(t) a multiple of 14?
True
Let n(q) be the first derivative of q**2 + 62*q - 2. Does 35 divide n(18)?
False
Let b = 226 - -36. Suppose -8*v + b = -18. Is 7 a factor of v?
True
Is 17 a factor of 2/(-21) - (-6 - 9158/21)?
True
Let p = 2054 + -1217. Is p a multiple of 93?
True
Suppose -2312 = -o - 4*n, -12*o + 17*o = -2*n + 11506. Is 50 a factor of o?
True
Let b = -212 - -1401. Does 83 divide b?
False
Does 83 divide (-6 + (-9450)/20)/((-3)/4)?
False
Suppose 0 = 5*o + 2*a - 19, 2*o - o + a - 5 = 0. Suppose -5 = b - o, 0 = -q + 2*b + 115. Suppose h = 3*z - 212, -3*z - 3*h = -q - 117. Is z a multiple of 21?
False
Let l be (10/4)/((-11)/(-22)). Suppose -4*i - 5*h = -11, -l*i + 6 = 5*h - 4. Is (-36)/12*13*i a multiple of 13?
True
Suppose 24 = -2*c + 22. Is 3 - (c + -44 - 0) a multiple of 8?
True
Let q = 369 - 0. Is q a multiple of 11?
False
Let h = -468 - -1027. Is 16 a factor of h?
False
Suppose r - 40 = -3*r. Let t = 24 + r. Is 29 a factor of t?
False
Suppose -12*f = -2968 - 2960. Does 38 divide f?
True
Is 13 a factor of (-12)/3 - -11 - -617?
True
Let u(x) = -28*x + 3. Let d(g) = 85*g - 10. Let w(s) = 2*d(s) + 7*u(s). Let a be w(-2). Suppose 5*h - 17 = a. Is 8 a factor of h?
False
Suppose 7*k + 8*k + 1365 = 0. Let p = k + 328. Is 32 a factor of p?
False
Let w = 16 + -20. Let g be (-13)/(w/(-16) - 0). Let j = -20 - g. Does 7 divide j?
False
Let n(s) = -7*s**2 + 4*s - 5. Let q be n(5). Let l = 270 + q. Is l a multiple of 22?
True
Suppose 3*n - 2*l = 6*n - 12, l - 5 = -n. Let i be (8/(-18))/(n/(-9)). Does 6 divide ((-1)/i)/(1/(-38))?
False
Let j = -74 + 70. Is 26 a factor of j/(-6) + (-1 - 463/(-3))?
False
Suppose -4*c = 125 + 63. Let k = -23 - c. Does 10 divide k?
False
Let y = 1687 - 1012. Does 4 divide y?
False
Suppose 2*n = 6*n - 88. Suppose -6*x + 3*x - 56 = 2*v, -4*v + 86 = -5*x. Let z = n + x. Is z even?
True
Is 90/(-3)*2/(-3)*88 a multiple of 29?
False
Let v be -4 - 1/((-4)/24). Suppose v*m + 59 = p, -5*p + 0*m = -3*m - 288. Does 27 divide p?
False
Let n = -4 - 34. Let p = -18 - n. Is 13 a factor of p?
False
Let n = 47 + -63. Let i = 44 - n. Is i a multiple of 30?
True
Suppose 3*p + 1789 = 5*c + 42, 0 = -3*p + 3. Is c a multiple of 53?
False
Is 5 a factor of (-5694)/(-57) - 38/(-361)?
True
Suppose 49043 = 33*g - 26890. Does 62 divide g?
False
Let x be 6 + 6/4*-2. Let l = 9 - x. Suppose l*z = 8*z - 214. Does 27 divide z?
False
Suppose -p = -0*b - 2*b + 2555, 0 = 3*b - 3*p - 3837. Is b a multiple of 22?
True
Let x = 2 + 3. Let d = x - 1. Does 10 divide 34/d + (-3)/(-2)?
True
Suppose -2*f + 9*x = 4*x - 146, 4*f + 5*x - 322 = 0. Is f a multiple of 10?
False
Is 777/21*(39 + -2) a multiple of 56?
False
Let n be (1 + 0)/((-3)/6). Let d be 7 + n + 4 + -1. Is 8 a factor of 130/d + (-9)/36?
True
Let h be (2 - 1 - 1)*1. Let q = h - -4. Is q a multiple of 4?
True
Suppose -3*s + 8 = 5*x, -5*x - s + 4 = -3*x. Suppose -3*p + 4*p = -z - 59, x*z - 124 = 2*p. Let y = p - -111. Is y a multiple of 17?
True
Let f(t) be the third derivative of -7/24*t**4 + 0*t - 19/6*t**3 + 3*t**2 + 0. Is f(-6) a multiple of 15?
False
Suppose 3*r = -4*r + 1092. Does 26 divide r?
True
Suppose 0 