 of p?
True
Suppose -2 + 8 = 3*a. Suppose a*x = 1 - 9, -x - 2 = i. Suppose -3*j = -5*q - 44, 0 = -3*j + i*q - q + 40. Does 13 divide j?
True
Suppose 0*p = -5*k - p + 437, 4*k - p - 355 = 0. Suppose 0 = 5*z - z - k. Does 15 divide z?
False
Let t(v) = 4*v - 3*v + 12 + 0*v. Does 3 divide t(-9)?
True
Suppose -m - 4*m + 80 = 0. Let d = -12 + m. Is d a multiple of 2?
True
Suppose -9 = -2*g + 3. Let s(o) be the first derivative of 5*o**2/2 - 1. Is 14 a factor of s(g)?
False
Let m = -97 - -157. Suppose 5*d - d = m. Is d a multiple of 5?
True
Let d(w) = 32*w - 5. Let k be d(7). Suppose -5*p + 0*q + 4*q + k = 0, 5*p - 214 = -q. Is p a multiple of 13?
False
Let t(c) = c - 1. Let n(q) = 2*q + 10. Let l(z) = -z + 1. Let u(w) = 4*l(w) - n(w). Let p(r) = 4*t(r) - u(r). Is 12 a factor of p(3)?
False
Let y = 127 + -194. Let b = -23 - y. Is b a multiple of 9?
False
Suppose -4*h = -31 - 1. Let q = h - -21. Is q a multiple of 8?
False
Let j(y) = -y**3 - 13*y**2 - 13*y - 1. Let f be 3*2/6 + 10. Suppose -2*h - f = 13. Does 11 divide j(h)?
True
Let g = 335 + -231. Does 30 divide g?
False
Let d = 12 - 10. Suppose -77 = -2*b - k, -3*b - d*k = -56 - 62. Is 18 a factor of b?
True
Let g(b) = -50*b**3 - 1. Is g(-1) a multiple of 26?
False
Let j(s) = 11*s**2 - s - 1. Let y be j(-2). Suppose 4*i + 5*g = 91, -i - i - 3*g + y = 0. Is 12 a factor of i?
True
Suppose -4*f + 4*z = -2*f - 32, 0 = -3*f - 2*z + 8. Let q(v) = -v**2 - 4*v + 2. Let i be q(f). Is i/(-6) + (-8)/12 a multiple of 4?
False
Does 2 divide -2*(-7)/(-8)*-12?
False
Let q(x) be the first derivative of -x**4/4 + 2*x**3/3 + x**2 - 2*x + 1. Is 4 a factor of q(-2)?
False
Suppose 0 = -d + 5*d - 240. Suppose f = 5*f - d. Is f a multiple of 9?
False
Let h = 1 + 0. Let x = 2 + h. Is 7 a factor of ((-13)/x)/((-2)/6)?
False
Let g(c) = -c**3 - 8*c**2 - 2*c + 8. Let n = 12 + -20. Is g(n) a multiple of 12?
True
Let a(q) = q + 1. Let y be a(6). Suppose 4*b - 13 = y. Let f = 15 - b. Is f a multiple of 3?
False
Suppose -21 = -5*y + 89. Is 8 a factor of y?
False
Let n(w) = w**2 + 4*w. Let h(c) = -c - 2. Let o be h(3). Does 5 divide n(o)?
True
Suppose -3*i + 4*i = 7. Let f = 9 + i. Let a = 42 - f. Is 13 a factor of a?
True
Suppose -2*o + 4 = -3*o. Let s(m) = 2*m**2 + 4. Is s(o) a multiple of 18?
True
Let z = -124 - -176. Is z a multiple of 13?
True
Suppose -4*m + 3*m + 113 = 0. Suppose -4*q + z + m = 0, -5*q + 14 + 137 = 2*z. Is 27 a factor of q?
False
Is ((-4)/(-20)*-52)/(3/(-15)) a multiple of 26?
True
Suppose 21 = 2*o - 3. Let b = o - 20. Let j = b - -16. Does 7 divide j?
False
Let o(r) = r**3 + 5*r**2 - 5*r + 1. Let z = -19 - -13. Let p = z + 1. Is 9 a factor of o(p)?
False
Is 6 a factor of (30/(-25))/(6/(-165))?
False
Let i(v) = -v**3 - 9*v**2 - 8*v - 3. Let u be i(-8). Is 18 a factor of (-1 + u)/(2/(-15))?
False
Let u be (5 - 0)*(-3)/5. Let g(n) = -n**2 - n - 3. Let w be g(u). Does 6 divide 187/9 - 2/w?
False
Let n(s) = 2*s**3 + s**2 - 2*s - 3. Let a be n(-3). Is a/(-5) - 4/10 a multiple of 8?
True
Let o = -44 + 122. Is 11 a factor of o?
False
Let x = 1 - -1. Let m = 47 + 73. Suppose -r = x*r - m. Is 14 a factor of r?
False
Let l be 45 + 1 + (2 - 3). Let n be (-44*1)/(-2) + -3. Let v = l - n. Does 13 divide v?
True
Let u(f) be the second derivative of -2*f - 2/3*f**3 + f**2 + 0. Is 16 a factor of u(-5)?
False
Let a(l) = -18*l + 9. Does 7 divide a(-2)?
False
Suppose -3*o + 75 = 2*z, -2*o - 103 = -3*z + 3*o. Is z a multiple of 5?
False
Suppose 0 = -6*n + 251 + 451. Is n a multiple of 13?
True
Suppose -27 = -5*t - 2. Is t a multiple of 3?
False
Does 35 divide (5*5 + -1)*297/18?
False
Suppose -4*m = -14 - 6. Suppose 5*c = -5*b + 55, m*b = 2*b + 6. Is c a multiple of 7?
False
Suppose 5*r + o = -164, -5*r - 3*o = -7*o + 169. Let c be r/(-6) - (-2)/(-4). Suppose 0 = 4*l + c*u - 30, -3*u - u + 13 = l. Does 5 divide l?
True
Is ((-176)/(-55))/((-2)/(-15)) a multiple of 9?
False
Let p(w) = w**2 - 6*w + 10. Is 7 a factor of p(6)?
False
Let q(m) = 39*m**3 - 2*m**2 + 2*m - 1. Suppose -5*r + 0*r = 5*w + 15, 0 = -3*w + 3*r + 15. Does 16 divide q(w)?
False
Let o(q) = q + 2. Let w be o(-3). Is 25 + (-2 - w) + 0 a multiple of 12?
True
Let y(w) = 1 + w + 0 - 2 - 3*w**2 + 4*w**2. Is 11 a factor of y(-4)?
True
Let c = 2 - 0. Suppose -51 = -c*x - x. Is x a multiple of 7?
False
Suppose 48 = -4*i + 3*g + 141, -3*g - 9 = 0. Is 8 a factor of i?
False
Let o be 2/(-5)*(-30)/3. Suppose l = 4*l - 225. Suppose c + o*c = l. Is 13 a factor of c?
False
Suppose 0 = 5*o + 5*h - 5, -3*o + 28 = -4*h + 4. Suppose -3*n + 4 = 1, -3*t - 4*n + 106 = 0. Suppose l + o*c - t = 0, 2*l - 4*l - c = -75. Does 19 divide l?
True
Let i = 7 + -7. Suppose n + 4 - 31 = i. Does 15 divide n?
False
Suppose 5*v - 2*a = 2350, -2 = -3*a - 17. Is v a multiple of 13?
True
Let q be (40/50)/(4/10). Let p(d) = 4*d - 6. Let n be p(6). Suppose q*m = 66 - n. Does 12 divide m?
True
Let b(q) = -q**2 - 25*q - 24. Is 36 a factor of b(-11)?
False
Suppose 2*k - 7*k - 4*m + 17 = 0, -5*k + 19 = 3*m. Suppose -4*l = -k*l + 12. Is 4 a factor of l?
True
Suppose 3*o - 9 = 15. Suppose -2*x + 3*g = 39, -o = -5*g + 17. Is 3 a factor of ((-8)/x)/((-4)/(-42))?
False
Let w = 20 - -28. Does 16 divide w?
True
Let k(d) = 3*d + 6 - d - d. Let u be k(-3). Suppose h + h = 5*c + 49, -u*h + 69 = -3*c. Does 11 divide h?
True
Suppose 5*w + 0*x = 5*x + 175, -175 = -5*w + 2*x. Let t(a) = w - 8 + 0*a**2 + a**2. Is t(0) a multiple of 17?
False
Suppose -5*o + 89 = -46. Is o a multiple of 21?
False
Let d(s) = 2*s + 3*s**3 - 5*s**3 + 4*s**3 - 3*s**2. Let l be d(2). Suppose 3*n - l = 7. Is 3 a factor of n?
False
Suppose -228 = -2*i - 4*p + 2*p, 238 = 2*i - 3*p. Is 27 a factor of i?
False
Suppose 0*j = j + 2. Let l be 2/(-3*j/9). Suppose a = -2*a - l*i + 93, 3*i = 12. Is a a multiple of 16?
False
Let x = 12 - -31. Let b = x - 30. Does 8 divide b?
False
Let u be (-18)/(-27) + 2/(-3). Suppose -3*k + 4*t + 99 = u, 5*t - 2*t - 107 = -4*k. Suppose -43 = -2*z + k. Is 15 a factor of z?
False
Let g be (6/9)/((-4)/(-36)). Let a(s) = s + 5. Does 6 divide a(g)?
False
Suppose 21 = 2*g - v - 14, 105 = 4*g + 5*v. Suppose -13*y + g = -12*y. Is y a multiple of 3?
False
Let u be 1166/14 + 2/(-7). Let j be (-10 + u)*(1 + 0). Let o = 131 - j. Is 16 a factor of o?
False
Suppose -3*d - 556 = -5*m - d, 3*d - 541 = -5*m. Is m/8 + 1/4 a multiple of 7?
True
Let b be (-79)/(-1)*3/(-3). Let q = -141 - -253. Let c = q + b. Is 22 a factor of c?
False
Let q = 138 + -70. Does 4 divide q?
True
Let r be 8/(-6)*3/(-2). Suppose 5*d + 4*o - 121 = 0, r*o + 1 = 9. Let n = d + -5. Does 8 divide n?
True
Let p be (-122)/(-18) + (-6)/(-27). Suppose -5*t + p + 3 = 0. Does 7 divide t*(51/6 + 1)?
False
Is (3/(-4))/((-2)/16) a multiple of 2?
True
Suppose 2*l - 965 = -3*l. Suppose -5 = -0*k - k. Suppose 3*h = k*c + h - l, -3*c = 2*h - 119. Is 16 a factor of c?
False
Suppose 2*u = u + 11. Is 8 a factor of u?
False
Let o(b) = b**2 + 2*b + 2. Suppose -3*y = -5*u - 0*u + 18, 0 = 2*u + 4*y - 2. Is o(u) a multiple of 17?
True
Let c = -5 + 8. Suppose c*n - 9 = -3*q, -n + q + 3 = -0*q. Suppose 70 = 3*x + 4*a + 26, -n*x + 32 = -2*a. Is x a multiple of 6?
True
Let a(j) = 2*j**2 - 3*j + 1. Let i(w) = -w**2 + 7*w + 5. Let x be i(8). Does 14 divide a(x)?
True
Let u(s) = -55*s - 1. Let v be u(2). Let b be 4/(3 + v/39). Let t = b + -12. Is t a multiple of 5?
False
Suppose -12064 + 1816 = 7*z. Is z/(-20) + 1/(-5) a multiple of 13?
False
Let f be 38/(-8) + 3/(-12). Let a be (f/(-4))/(2/8). Suppose 0 = a*u - u - 236. Does 22 divide u?
False
Let p(s) = -s**3 - 11*s**2 - 10*s + 10. Let h be (-4)/(12/(-5))*-6. Is p(h) a multiple of 4?
False
Let z = 132 - 42. Suppose 8*x = 3*x + z. Let g = x - -1. Does 17 divide g?
False
Let d(u) = -2*u**2 - 19*u + 9. Let p(g) = g**2 + 9*g - 4. Let o(c) = -2*d(c) - 5*p(c). Let q be o(-7). Is 23 a factor of (46*(-1)/(-1))/q?
True
Suppose -3*j = 7*g - 12*g - 550, 20 = -4*g. Is j a multiple of 30?
False
Let w(x) = x**3 + 6*x**2 + x - 2. Is w(-4) a multiple of 14?
False
Suppose 5*m - 3*m = 0. Suppose 2*t - 5*t + 12 = m. Does 12 divide 15 - (-1 + t + -2)?
False
Let f(p) = -4*p**2 + 5*p - 6. Let q(j) = j**2 - j. Let n(u) = -f(u) - 5*q(u). Is 6 a factor of n(0)?
True
Let d(o) = -4*o**3 + 3*o**2 - 5*o + 3. Let b be d(4). Let k = -160 - b. Does 24 divide k?
False
Suppos