 multiple of 15?
False
Let o = -2 - 3. Let f be (-163)/o - (-4)/10. Let n = 49 - f. Is n a multiple of 16?
True
Let b(n) = -2*n + 10. Is b(-7) a multiple of 6?
True
Suppose -3*y = 2*g + 2*g + 25, 0 = 4*y - 3*g + 25. Let q = -3 - y. Suppose q*o + o = 75. Is 5 a factor of o?
True
Let t(i) = i**3 - 5*i**2 - 7*i + 4. Let y be t(6). Let c be (3/2)/(y/(-60)). Suppose 2*w = c - 11. Is w a multiple of 10?
False
Let l = -30 - -64. Let o = 89 - l. Is o a multiple of 11?
True
Let c = 13 + -21. Let k = c + 6. Is 8 a factor of (0 - (k + 1))*22?
False
Suppose -23 = -3*f - 8. Suppose 3*c + p + 3*p = 62, f*p = c - 27. Is 11 a factor of c?
True
Suppose -9*u + 7*u = -414. Does 32 divide u?
False
Does 15 divide (65/(-39))/(1/(-9))?
True
Is 6 a factor of 26/(-2)*(-3)/3?
False
Let b(p) = p**3 + p**2 + p - 1. Let j(k) = 5*k**3 + 6*k - 11. Let l(s) = -6*b(s) + j(s). Does 9 divide l(-7)?
False
Suppose 0 = 4*p + 5*v - 295, -2*v = -7*p + 2*p + 410. Is p a multiple of 20?
True
Let h = 26 + -14. Let k be 1*(0 - (1 - h)). Let j = 3 + k. Does 14 divide j?
True
Let p = -10 + 232. Suppose -38 = 4*x - p. Is 23 a factor of x?
True
Suppose -2*o = -4 - 28. Let d = o - 7. Is d a multiple of 5?
False
Does 3 divide (102/6 - -5) + (0 - -1)?
False
Let t(w) = w**3 - 7*w**2 + 6*w. Suppose 18 - 53 = -5*u. Is t(u) a multiple of 16?
False
Let o = 25 + -7. Is 18 a factor of o?
True
Let o = -8 - -14. Let q(y) be the first derivative of 3*y**2/2 - 7*y + 1. Is q(o) a multiple of 4?
False
Let c(p) = -p**3 - 7*p**2 + 9*p - 3. Is 13 a factor of c(-9)?
True
Let o be 2*-1 + -9 - 2. Let t = o + 22. Let j = t + 7. Does 7 divide j?
False
Let r(d) = 2*d**2 + 5*d + 5. Let k be r(-5). Suppose -3*s = 4*z + 15, 2*s = 3*z - 2*s + k. Is 80/6 + 2/z a multiple of 13?
True
Let r = 3 + -1. Let j = r - -9. Is j a multiple of 10?
False
Suppose -4*c = 2*a - 8, -c = c - 4*a - 4. Suppose -2*x - 2*x + 23 = l, c*x = 3*l - 139. Does 19 divide l?
False
Suppose -15 - 51 = -r. Let s = r + -30. Suppose -2*q + 90 = s. Is 9 a factor of q?
True
Let z be (3/(-9))/((-4)/12). Suppose -3*a + 21 = 3*p, 6*a - 2*a = -3*p + 24. Is 10 a factor of z/2*(a - -41)?
False
Let y be 66/(-10) + 6/10. Let k = y - -9. Does 3 divide k?
True
Suppose -4*t + 0*t = 0. Suppose t = c - 5*c + 128. Does 16 divide c?
True
Let h = 7 - 6. Does 4 divide h + 0 + -14 + 28?
False
Is (-12 - (3 - 8))/((-1)/9) a multiple of 10?
False
Suppose 5*x + 2*d + 2*d - 366 = 0, -4*x = 2*d - 288. Does 10 divide x?
True
Suppose -2*b = -6*b - 8. Let y(t) = 16 - 14 - 3*t + 3*t**2 - 4*t**2. Is 2 a factor of y(b)?
True
Suppose 0 = 3*q - 91 - 74. Is q a multiple of 11?
True
Let a = -3 - -3. Let d be 0 + a + 0 + 2. Suppose d*z = -4, 2*y + y - 4*z - 41 = 0. Does 3 divide y?
False
Suppose -2*y - 240 = -2*r - r, 2*r + y = 160. Is 16 a factor of r?
True
Let m be 6/(-4)*(-80)/(-12). Let y = 15 + m. Suppose y*u - 201 = -1. Is 16 a factor of u?
False
Let o(v) = 3*v + 7. Let f be o(-6). Let c = 21 - f. Suppose 0 = -0*a + 2*a - c. Is 6 a factor of a?
False
Let x(t) = 7*t**2 + 2*t + 2. Let z be x(-4). Let c = z - 64. Is 21 a factor of c?
True
Let a(p) be the third derivative of -p**4/24 + 5*p**3/6 - 2*p**2. Let r be a(5). Suppose r = 5*k - 79 - 101. Does 18 divide k?
True
Suppose 23 = 2*c + 3. Let w = c - -3. Does 12 divide w?
False
Does 23 divide (51 - 2) + 2 + -5?
True
Suppose -2*r = -4*r - 2. Is (2 - -17)*(r + 2) a multiple of 11?
False
Let x be 1*(14 + 4/(-2)). Suppose 0 = -4*g - 4*y - 5 - 7, 0 = 2*g - 4*y + x. Does 6 divide 21 + 4/(g/3)?
True
Let a = -15 - 3. Let o = a + 25. Is o a multiple of 7?
True
Let x(g) = -17*g - 6. Is 16 a factor of x(-6)?
True
Suppose -y = p - 5 - 0, -y + 15 = 3*p. Suppose 0 = p*h + 67 - 227. Suppose 0 = -z + 3*z - h. Is z a multiple of 10?
False
Let o = 88 - 50. Is 14 a factor of o?
False
Suppose 92 = 5*c - 3*u, 5*u + 52 = c + c. Is c a multiple of 4?
True
Let x be 1/((-1)/2)*16. Suppose 0 = -5*h + 8*h + 33. Let p = h - x. Does 11 divide p?
False
Suppose 3*c - 17*c = -980. Is c a multiple of 3?
False
Let l(v) = -v + 1. Let j be (-8)/24 - (-4)/(-6). Let f be l(j). Suppose f*z - 105 = -z. Does 14 divide z?
False
Let r(j) = j**2 - 3*j - 5. Let x be r(5). Suppose 10*v - x*v = 55. Is v a multiple of 11?
True
Let v = 4 - 0. Suppose 3*z - 107 - 182 = -2*q, v*q - 8 = 0. Is 32 a factor of z?
False
Let f(w) = w**3 - w**2 - w + 1. Let u be f(0). Let h be 81/6*2/3. Let j = h + u. Is 7 a factor of j?
False
Let o(j) = -2 - j + 6*j + j**3 - 2 + 0*j**3 + 7*j**2. Let b be o(-6). Suppose -63 = -b*a + 1. Is 12 a factor of a?
False
Suppose 44*n - 48*n + 420 = 0. Is 3 a factor of n?
True
Let o = 1 - 21. Let v = 46 + o. Is 13 a factor of v?
True
Let c be (0 - -3)*8/12. Suppose -8 = 5*o + c. Let a(b) = -8*b + 1. Does 15 divide a(o)?
False
Suppose 0 = -4*y + 5*y - 3. Suppose n = y*n. Suppose n = -3*f + 2*f + 3. Is f a multiple of 3?
True
Let k(o) = -o + 8. Let p be k(6). Suppose 0 = -s + p*s - 4. Let h = s + 2. Is 6 a factor of h?
True
Suppose -3*r + 14 = -2*r. Is r a multiple of 5?
False
Is 16 a factor of 164 - (1/(-6) + 57/18)?
False
Let w(x) = x**3 - 16*x**2 + 6*x + 3. Does 19 divide w(17)?
False
Suppose 0 = -0*g + 4*g. Suppose 5*i + g*i = 150. Is 15 a factor of i?
True
Let v be 25/(-9) - 8/36. Let n = v + 8. Does 4 divide n?
False
Let s(q) = -q**3 + 8*q**2 + 3*q - 4. Let k be s(8). Suppose 15 = 5*w - k. Is 2/w - 96/(-7) a multiple of 5?
False
Let l(u) = 3 + 1 - 2 + 0*u + 6*u. Let q(n) = 6*n + 3. Let k(j) = 4*l(j) - 3*q(j). Is k(1) a multiple of 3?
False
Let a(w) = 6*w + 3*w**3 + 14 - 3*w**2 - 4*w**3 - 8. Let i be a(-4). Does 17 divide (5/i + 3)*68?
True
Does 12 divide -2*(-3)/(-12)*-146?
False
Does 15 divide 4/10 + 17822/70?
True
Let l be 9/6 + 60/8. Suppose -l*d + 32 = -5*d. Is d a multiple of 3?
False
Suppose -7*b = -5*b + 16. Let v = b - -17. Does 8 divide v?
False
Let j(b) = -8*b + 9. Let m be j(6). Let r be 8/20 + m/(-15). Suppose -2*h + 2*i = 13 - 51, -r*h - 2*i = -57. Does 9 divide h?
False
Let f = -18 + 60. Is 21 a factor of f?
True
Suppose 4*b - 142 = -3*f, 3*f - 112 = -3*b - 2*f. Is 15 a factor of b?
False
Let o(b) = -47*b - 4. Let p be o(-3). Suppose -3*q + p = 2*t, t + 2*q - 51 = 17. Does 24 divide t?
False
Suppose -5*c + 3*h = -c + 20, 0 = -5*c - 5*h + 10. Let p be -12*(2 - (-23)/c). Suppose 4*f = f + p. Is 19 a factor of f?
True
Suppose 26*k = 27*k - 35. Does 14 divide k?
False
Let f(m) = m**2 + 11*m - 10. Let l be f(-12). Suppose -23 = -l*q - 3. Is q a multiple of 10?
True
Let f(c) = -31*c - 29. Does 11 divide f(-4)?
False
Let d = -47 + 105. Does 10 divide d?
False
Is (-1552)/(-10) - (-5)/(-25) a multiple of 31?
True
Let g(u) = -3*u**2 - 6 + 0*u**3 + 2*u + 4 + u**3 - 2*u**3. Let k be ((-2)/1)/((-1)/(-2)). Is 3 a factor of g(k)?
True
Let g = -30 + 55. Suppose -3*h - 3*p = -117, -4*h + 125 + g = 2*p. Does 13 divide h?
False
Let i(h) = -2*h**3 - 7*h**2 - 5*h - 4. Suppose 0 = -2*l - f - 10, 5*l + 24 = l - 4*f. Is 16 a factor of i(l)?
True
Let s(m) = m**2 - m + 2. Is 14 a factor of s(4)?
True
Let y = -2 + 161. Is y a multiple of 10?
False
Suppose 0*p = -2*p. Suppose 2*o - 4*q - 46 = p, -5*o + 85 = 2*q - 30. Does 23 divide o?
True
Let d(g) = 3*g - 5. Let f be d(4). Let o be (-30)/7*(f - 0). Let y = o + 60. Is y a multiple of 14?
False
Is 2/(16/6) + 24258/104 a multiple of 39?
True
Let a(y) = 3*y**3 - y**2 - y + 2. Let i be a(2). Suppose -b - 4*b = -i. Suppose -3*n - n - 4 = 0, -b*v + 41 = 3*n. Does 4 divide v?
False
Is 9 a factor of (-3)/4 - (-39)/4?
True
Suppose 5*r - 367 = -77. Suppose -11*d + 12*d = r. Does 29 divide d?
True
Let q(r) = -2*r**3 - 17*r**2 - 13*r - 17. Let o = -3 + 0. Let u(y) = -y**3 - 8*y**2 - 6*y - 8. Let c(f) = o*q(f) + 7*u(f). Does 6 divide c(-5)?
False
Let k = 3 - -42. Is 0/(-3) + 1 + k a multiple of 17?
False
Let k = -14 - -17. Suppose -k*b + 10 = -2*b. Does 4 divide b?
False
Let d(n) = n**3 + 6*n**2 + 7*n + 1. Let k be d(-5). Let t = 15 - k. Is t a multiple of 8?
True
Let z(h) = -8*h. Let q be z(1). Let i(a) = -a**3 - 9*a**2 - 10*a - 9. Is 7 a factor of i(q)?
True
Suppose b - 15 = -2*b. Let w be -1 + 3 + 5/b. Does 2 divide -4*(-3)/9*w?
True
Let a(k) = k**2 + 7*k + 3. Let r be a(-7). Suppose -r*u - 48 = 3*y, 2*y - 5*u + 0 = -67. Let l = -7 - y. Does 14 divide l?
True
Suppose 32 = 4*o + 3*d, 6*d - 3*d = 12. Suppose 4*f + 164 = 3*r, -o*r + 296