?
False
Suppose 4*c + 4 = -8. Is -1 + (1 - c - -15) a multiple of 3?
True
Let x(t) = 2*t**2 - 13*t + 50. Is 59 a factor of x(20)?
True
Let k = 11 + -11. Suppose k = -u - 0 - 8. Let s(r) = r**3 + 10*r**2 + 9*r + 2. Is 29 a factor of s(u)?
True
Let k(q) = 35*q - 523. Is k(15) a multiple of 2?
True
Let q be (-6)/(-9) - (-97)/3. Let c = q + -29. Suppose c*n - 309 = n - b, 2*n + b = 205. Is n a multiple of 25?
False
Let r = 260 - 512. Let s = r - -387. Does 15 divide s?
True
Let y = -104 - -153. Let u be 0 - 0 - (-8)/2. Suppose u*v = 179 + y. Is 16 a factor of v?
False
Let d(s) be the first derivative of s**4/4 + s**3/3 + s**2 + 32*s - 6. Is 16 a factor of d(0)?
True
Let v(y) be the first derivative of 19*y**2/2 + 2*y + 1. Let g = -599 + 601. Is v(g) a multiple of 10?
True
Suppose -4*q = -2*j - 2196, -4*q + 0*q = 4*j - 2184. Is q a multiple of 30?
False
Suppose 8 - 23 = -3*u. Suppose -q - 5*l + 5 = 0, 0 = -0*q + 3*q + 5*l - u. Suppose q = 5*b - 35 - 15. Does 7 divide b?
False
Suppose 4*m - 3*m - 5 = 0, 4*m + 3975 = 5*z. Does 83 divide z?
False
Suppose -4*z - 12 = 0, -3*k + 2*z = -k - 114. Suppose -2*g - 2*a = -58, 2*g - k = -3*a - 0. Does 11 divide g?
True
Let y(v) = 17*v**2 - 5*v + 20. Let r(n) = 4*n - 60. Let t be r(16). Is 34 a factor of y(t)?
True
Let i be 11*((-6)/3 + -1). Is 22 a factor of 111/2*(-22)/i?
False
Suppose m + 2 = -1, 2*f - 3951 = -3*m. Is 90 a factor of f?
True
Suppose 3*v - 968 = -4*j, -j = -70*v + 74*v - 1308. Does 2 divide v?
True
Suppose -4*j + 16 + 9 = s, -5*j = s - 32. Suppose j*c = 2*c + 120. Suppose 0*i - 3*r + 24 = i, i - 4*r - c = 0. Is 12 a factor of i?
True
Is 16 a factor of 37/(-11 - (-1062)/96)?
True
Let s(c) be the third derivative of c**5/60 + 5*c**4/24 + 2*c**3/3 - 8*c**2. Let p be s(-5). Suppose p*z + 2*z - 108 = 0. Does 6 divide z?
True
Let z(j) be the second derivative of -5*j**4/4 - j**3/6 + 6*j. Let h be z(-1). Is 11 a factor of 37*2*(-7)/h?
False
Suppose -2*g = -5*g - 144. Is 535/7 + g/(-84) a multiple of 14?
False
Let t = -31 + 33. Suppose -v = 4*b - 17, 4*v - 60 = t*b + 26. Is v a multiple of 3?
True
Suppose 10045 = 54*j - 19*j. Does 6 divide j?
False
Suppose -z = -7*z + 6. Suppose -j + z = 2*k - 1, -k = 5*j - 37. Suppose j*a - 100 = 3*a. Is 5 a factor of a?
True
Suppose -4*z = -s - 8*z + 189, -2*s + 2*z + 338 = 0. Does 5 divide s?
False
Does 4 divide (-5 + 105)*(-42)/(-8) + 6?
False
Suppose -5893 = -10*j + 1397. Is 27 a factor of j?
True
Suppose 20*g - 7*g = 169. Let c(f) = f**3 - 12*f**2 - 11*f + 15. Is c(g) a multiple of 9?
False
Suppose -t = -4*h - 760, 8*t - 3819 = 3*t + h. Is 12 a factor of t?
False
Let y = -56 + 74. Suppose -y*q = -9*q - 2061. Does 26 divide q?
False
Let w = -9 + 8. Let i be 32 + -1 - 0/w. Suppose 2*z + 2*x - 22 - 46 = 0, -z - 4*x = -i. Does 11 divide z?
False
Let m(g) = -2*g**3 - 9*g**2 - 2*g + 6. Let d be m(-4). Is 3 a factor of ((-34)/(-4) + (-1)/d)*3?
True
Suppose -q + l - 7 = -20, -2*q = -4*l - 16. Let j be (-5)/(-4)*4/1. Let v = q - j. Is 4 a factor of v?
False
Suppose -5*y = -5*g - 4*y + 1137, -3*y - 447 = -2*g. Is 7 a factor of g?
False
Suppose 3*h + 2*h - 6 = t, 0 = 3*t + 4*h - 20. Suppose 0*x = 5*x. Suppose -96 = -x*l - t*l. Is 12 a factor of l?
True
Suppose 2*o = -c - 1, 2*o + o + 6 = 0. Suppose -4*q + 4*f = -100, q = c*q - 3*f - 53. Let r = 41 - q. Does 4 divide r?
False
Suppose -25 = -5*w - 0*w, 0 = -3*t - 4*w + 11. Let c be t*(1 + (-36)/(-2)). Let k = -18 - c. Is 13 a factor of k?
True
Suppose w = -2*p - 0*p + 13, -p + 7 = w. Suppose 2*o = 4*g, -p*o + 55 = -2*o + 3*g. Does 3 divide o?
False
Let h(z) = 134*z**3 + z. Let b be h(1). Let l = b + -63. Does 18 divide l?
True
Suppose 0 = -25*d + 11402 - 1652. Does 30 divide d?
True
Let a = 1566 + 1303. Is 18 a factor of a?
False
Let o be (2/(-4))/(3/(-144)). Suppose -5*t + o = t. Suppose -t*p + 5 + 23 = 0. Is 3 a factor of p?
False
Let s be -5*(3 - 2*27/15). Suppose 0 = i + 5*c - 187, -2*i + 380 = -s*c + 7*c. Does 16 divide i?
True
Let k(f) = -f - f**2 + 3*f**2 + 8*f + f**2. Let j be k(-5). Does 6 divide (48/j)/((-1)/(-5))?
True
Does 40 divide 3/(-1) + 25068/6 + -2?
False
Let w(z) = -6 - 2*z**3 + 5*z**3 - 6 + 6*z**3 - 3*z**2. Is 15 a factor of w(3)?
False
Suppose -455936 = 31*k - 135*k. Is k a multiple of 102?
False
Suppose 2 = -4*q + 14. Suppose 5*o + 216 = o. Does 9 divide (1/(-2))/(q/o)?
True
Is 16 a factor of (-34719)/(-63) + 20/(-210)?
False
Let v = -2 + -10. Let c be 6811/(-42) + (-2)/v. Let d = -67 - c. Does 37 divide d?
False
Let a be ((-2)/4)/1*-2. Let m(j) = -3 + 3 - a - 16*j. Does 12 divide m(-1)?
False
Suppose 0 = 2*x + y - 2328, 0 = -y + 2*y + 2. Is 59 a factor of x?
False
Let m(g) = -g - 2. Let t be m(6). Let l(n) = -2*n**2 - 2*n + 9. Let z(k) = -4*k**2 - 5*k + 18. Let u(a) = 7*l(a) - 4*z(a). Is u(t) a multiple of 24?
False
Let w = -32 + 48. Suppose -w*o + 548 = -12*o. Is 43 a factor of o?
False
Suppose y + 37 = 5*f, f - 21 = y - 12. Let v(x) be the third derivative of x**5/30 - 13*x**4/24 + 11*x**3/3 - x**2. Is 7 a factor of v(f)?
False
Let g(p) = 15*p - 10. Suppose 8 = 2*z + 2. Is 6 a factor of g(z)?
False
Does 6 divide -10 - -496 - ((-216)/(-6))/(-6)?
True
Let a(f) be the first derivative of 3*f**2/2 - 19*f - 7. Let m be a(8). Suppose m*k = -3*o + 7*o + 356, 4*o + 68 = k. Is 12 a factor of k?
True
Suppose 0 = 4*z + 9 - 25. Suppose q = -z - 1. Is 16 a factor of (16/q)/((-8)/120)?
True
Is (10 - -31)/(2/34) a multiple of 24?
False
Let i(t) = t**3 - 11*t**2 + t + 1. Let h be i(11). Let g be 12 + 1 - h/6. Let s = -3 + g. Is 4 a factor of s?
True
Let z(f) be the third derivative of f**5/30 + 5*f**3/2 + 6*f**2. Let s(y) = y**2 + 7. Let r(g) = 13*s(g) - 6*z(g). Does 5 divide r(3)?
True
Let r = 6242 + -2042. Does 50 divide r?
True
Suppose 2*g + 61 = 91. Suppose -g*m = 40 - 400. Is 6 a factor of m?
True
Is (-2)/(5/(-8100)*5) a multiple of 9?
True
Suppose 3671 = 4*u + 5*l, -8*l + 4630 = 5*u - 10*l. Is 72 a factor of u?
False
Suppose -3*w - 5762 = -5*d, 2*w = 140*d - 141*d + 1155. Does 68 divide d?
False
Suppose 2*r + 3*r = 10, 3*r = -3*p + 45. Suppose 0 = -p*z + 8*z + 55. Is z even?
False
Let c(a) be the second derivative of a**3/3 + 7*a**2/2 - a. Let x(o) = -o**3 - 23*o**2 + 24*o + 7. Let s be x(-24). Does 7 divide c(s)?
True
Let h(v) = v**2 + 6*v + 3. Let u be h(-6). Let b(q) = 9*q**2 - q + 0*q**3 - 3*q + 4*q**u - 3*q**3 + 8. Does 10 divide b(-9)?
False
Suppose -1006 = -0*u - 2*u. Suppose -3*k + u = -4*t, -265 = -0*t + 2*t + 3*k. Let o = 196 + t. Does 38 divide o?
False
Suppose z - 11 - 13 = 4*h, 4*h + 16 = -z. Let k be 30/z*(-112)/(-3). Suppose -4*g - k = -9*g. Is g a multiple of 14?
True
Let s be (-26)/(-8) + 1/(-4). Suppose 5*q + 46 = -4*d + s*d, 0 = -4*q - 4. Let c = d + 88. Does 13 divide c?
False
Let i(f) = 31*f + 3. Let c = 10 + -9. Does 17 divide i(c)?
True
Let o = -11 + -59. Suppose -2*y + y - 3*u - 110 = 0, 325 = -3*y - 4*u. Let q = o - y. Is q a multiple of 10?
False
Let q = 4 - 0. Let v = 5 + q. Is (10 - -1) + (v - 10) a multiple of 10?
True
Let k(i) = 8*i - 1. Let v be k(1). Suppose v*h - 71 = 153. Is 9 a factor of h?
False
Let t be (46/8)/((-1)/(-12)). Suppose 69 + t = x. Let u = x + -23. Does 33 divide u?
False
Suppose m = 5*d + 212, 112*d - 116*d + 1205 = 5*m. Is m a multiple of 14?
False
Let u(m) = -m**2 - 9*m - 8. Let p be u(-8). Suppose p = 3*b - 104 - 190. Is 12 a factor of b?
False
Suppose 17*a + 3*a = 19680. Does 13 divide a?
False
Suppose 0 = 4*y - 1937 - 1423. Does 12 divide y?
True
Let r(w) be the second derivative of 4*w**3/3 - 2*w**2 + 8*w. Let y be r(4). Suppose 92 + y = 4*x. Is x a multiple of 14?
False
Let h = -17 + 28. Suppose 9*b = 731 - h. Does 20 divide b?
True
Suppose 5*y = -10*y + 5220. Does 41 divide y?
False
Suppose 0 = -3*q - k + 7 - 0, -3*k = 2*q. Suppose 428 = 3*n - 4*i, -q*i = 4*n - n - 393. Is 17 a factor of n?
True
Let n = 297 + 165. Is 14 a factor of n?
True
Is 65 a factor of (-75 - -47)*((-195)/6 + 0)?
True
Let q = 6216 - 3054. Does 45 divide q?
False
Suppose 25*o - 29*o + 32 = 0. Suppose 0 = -2*g - o*g + 1200. Is 24 a factor of g?
True
Let t be 2/(-2)*(3 - 3). Suppose t = 21*w - 20*w - 5. Is w a multiple of 3?
False
Let p(v) = 20*v - 16. Is p(6) a multiple of 8?
True
Let q(y) be the third derivative of y**4/12 + 5*y**3/2 + 10*y**2. Let c be q(-9). Does 6 divide (c/4