11*s + 3. Suppose -12 = -0*x - 2*x. Is 8 a factor of u(x)?
False
Suppose -46 - 38 = -4*q. Is 12 a factor of q?
False
Is 32/(-6)*27/(-12) a multiple of 4?
True
Let x = -46 - -160. Is (x/9)/(4/18) a multiple of 25?
False
Let i be (126/27)/(1/(-3)). Let x = -7 - i. Is 7 a factor of x?
True
Suppose 2*t = -4*u + 246, -5*t + 15 = -0*t. Does 10 divide u?
True
Is 13 a factor of 0 - (0 + -17 - -4)?
True
Let z(j) = j**3 + 13*j**2 + 16*j - 3. Let w be z(-11). Let o = 97 - w. Suppose 0 = 2*b - 4*b + o. Does 10 divide b?
False
Let h(d) = d**2 + d + 1. Let g be h(-1). Suppose 0 = -2*z + 5 - 13. Let b = g - z. Is 2 a factor of b?
False
Suppose 4*o + o = 0. Suppose -3*p - 2*p + 95 = o. Is 8 a factor of p?
False
Is 4 a factor of (3 - (-240)/3) + -5?
False
Let n be (-3 + 4)*-1 + 42. Let f = -29 + n. Is 5 a factor of f?
False
Let q(h) = h**3 + 7*h**2 + 5*h - 3. Is q(-6) a multiple of 3?
True
Is 15 a factor of (-35)/14*(-38 + 2)?
True
Suppose 1 = c - 6. Let f(r) = 6*r**2 + 8 + r**3 - r**2 - c*r + r**2. Does 8 divide f(-7)?
True
Let c be (-3)/6 - (-19)/2. Let r = c + -4. Does 5 divide r?
True
Let x be ((-42)/(-4))/((-5)/(-10)). Let m = x - 15. Suppose -y + 0*y + m = 0. Is 5 a factor of y?
False
Let p(k) = -45*k**3 - k**2 + k + 1. Let y be p(-1). Suppose 4*h = 124 + y. Does 21 divide h?
True
Let d(m) = m**2 + m + 18. Let c be d(0). Suppose 2 = -v - 5*j + c, 4*v + 2*j - 28 = 0. Suppose -v*t + 3*t = -21. Is t a multiple of 7?
True
Suppose 3 = 4*s - s - 3*k, s - 31 = -5*k. Let n(y) = 2*y**2 - 9*y + 3. Let b(o) = o. Let v(m) = b(m) + n(m). Is 9 a factor of v(s)?
True
Suppose 5*o = 3*o + 2, -4*u + 4*o = -236. Is u a multiple of 11?
False
Let z be 4 + (-3 - 8/(-2)). Let h(s) = 5*s - 4*s - z*s. Is 7 a factor of h(-2)?
False
Let r(f) = 0*f**2 + 4*f - f**2 - 2 + 2*f**2 - f. Let s be r(-4). Suppose -s*z - 30 = -4*z. Does 15 divide z?
True
Let r = -9 - -13. Let f(x) = 4*x**2 - 6*x + 2. Is 25 a factor of f(r)?
False
Suppose 13*p - 4227 + 340 = 0. Does 23 divide p?
True
Let m be (-4)/(-10) + 167/(-5). Let o(n) = n**3 + 8*n**2 - 14*n + 5. Let i be o(-10). Let r = m - i. Does 11 divide r?
True
Let j(n) = -n**2 + 3*n + 1. Let a be j(4). Let s = a - -1. Does 6 divide 11 - (s - (-9)/3)?
False
Suppose -3*h + 114 = -12. Does 14 divide h?
True
Let g(o) = 4*o - 3. Let x(n) = n. Let r(d) = g(d) + 3*x(d). Let y be r(3). Let a = y + -4. Does 6 divide a?
False
Suppose 6*q = 2*l + 3*q - 18, 27 = 3*l + 4*q. Is 4 a factor of l?
False
Let a = -139 + 249. Does 32 divide a?
False
Let z = 52 - 24. Suppose 3*l = 1 + 5. Let f = z - l. Is f a multiple of 13?
True
Let x(s) = s**3 + 8*s**2 + 5*s - 6. Let d(r) be the second derivative of -r**5/20 + r**4/4 - r**3/2 + 2*r**2 - 3*r. Let j be d(3). Is x(j) a multiple of 21?
False
Let v be (-5)/((-5)/(-48)) - 1. Let g = 31 - v. Suppose 2*h = -3*h + g. Is h a multiple of 8?
True
Suppose -s - 156 = -3*s. Is s a multiple of 13?
True
Let d = 2 + -4. Let o(g) = -14*g + 1. Is o(d) a multiple of 15?
False
Suppose 3*k - 2*k + 46 = 0. Let t be (k/5)/(2/(-20)). Let u = -58 + t. Is u a multiple of 12?
False
Is 22 a factor of (4/(-6))/(2/(-198))?
True
Let n = 2 + 1. Suppose -4*p + 82 = n*h, -h - 2*h + 94 = -2*p. Is h a multiple of 15?
True
Suppose 0 = 5*d + 25, 4*d = -2*v + d - 23. Is 14 a factor of v/(-16) - 390/(-8)?
False
Let y = 83 - 35. Does 8 divide y?
True
Suppose 4*n - 2*y - y - 117 = 0, -5*y = -n + 42. Is 15 a factor of n?
False
Suppose 4*x = 31 + 125. Is 13 a factor of x?
True
Let a(q) = -q**2 - 6*q - 2. Let f be a(-5). Let m = -6 + 9. Suppose -3*x = -4*y + 9, f*x = -0*x + m. Is 3 a factor of y?
True
Let w = -33 - -8. Is 11 a factor of 1 + 0 + -3 - w?
False
Let f = -7 + 10. Suppose -f = 2*k - 23. Is 8 a factor of k?
False
Let x(a) = 2*a**2 - a - 6. Let c(l) = 2*l**2 - l - 5. Let z(y) = 6*c(y) - 5*x(y). Let g be z(1). Does 16 divide 12/(g/((-4)/(-3)))?
True
Let o be 2 + 2 + -1 + 1. Does 2 divide ((-2)/(-3))/(o/42)?
False
Let g(z) = z**3 - 10*z**2 + 4. Let m be g(10). Is 9/((m/14)/2) a multiple of 21?
True
Let y be 2 - ((-1)/1 - 0). Suppose -z + y = -3. Is z a multiple of 2?
True
Does 12 divide 8/10 - 1780/(-25)?
True
Let v = -3 - -7. Suppose 3*c = 2*c + v. Let n = c + 2. Is n a multiple of 6?
True
Is (-2 - 0)/(6/(-21)) a multiple of 2?
False
Suppose 5*p = 37 - 2. Suppose -l = -w - 5 - p, 0 = -l + 5*w. Is 5 a factor of l?
True
Let t = -47 - -72. Does 5 divide t?
True
Suppose -3*s + 0*s = -9, -s - 33 = -2*c. Is c a multiple of 12?
False
Suppose 15 - 7 = 2*t. Suppose 0 = -t*q + 85 - 17. Does 17 divide q?
True
Suppose -655 = -5*s - 6*n + 3*n, -s + 4*n = -108. Is s a multiple of 16?
True
Let m be 12*1*393/(-9). Let z be m/16 - 1/4. Let x = z + 51. Is x a multiple of 10?
False
Let l(f) = 5*f**2 + 2*f. Let r be (30/(-25))/(2/5). Does 13 divide l(r)?
True
Let q(b) = 108*b - 5. Does 28 divide q(1)?
False
Suppose -4*j + 0*j = z - 23, -4*z + 32 = 4*j. Suppose -2*a = o + 6, 0 = 5*o + 2*a + z*a + 25. Does 5 divide 2 + o - -9*1?
False
Let x = -13 - -20. Let n be (-173)/(-3) + 2/6. Suppose -5*y + x + n = 0. Is y a multiple of 8?
False
Let b(h) be the second derivative of h**5/20 - 5*h**4/12 + 7*h**3/6 - 2*h**2 - 4*h. Does 15 divide b(5)?
False
Suppose 3*r = -4*l + 9, 2*r = -3*l + 1 + 5. Suppose l = p - 0*z + 2*z - 20, -3*p + 92 = -2*z. Is p a multiple of 7?
True
Suppose 4*n + 4*x = 8, 2*x - x = 5*n - 28. Let k(z) = z**2 - 5*z + 4. Let f be k(n). Is (f - 6)/(2/(-44)) a multiple of 18?
False
Let j = 10 + -9. Let g = 9 + j. Is g a multiple of 8?
False
Let k(s) = 2*s + 12. Let i be k(-6). Suppose -2*q + 89 = -r, i = -3*q - 2*r + 59 + 57. Does 14 divide q?
True
Let i(l) = -l**2 - 3*l - 2. Let c be i(-2). Let a = c + 27. Does 10 divide a?
False
Let b = -180 - -345. Is 11 a factor of b?
True
Let n be (0 - 2)*15/(-6). Suppose 0 = 4*r + n*f + 24, 6 = -r - 0*r + f. Does 13 divide (-17)/r*3*2?
False
Suppose w = 2*w - 51. Is 17 a factor of w?
True
Let d(o) = 15*o**3 - o**2 + 2*o - 1. Let c = 2 + -1. Is d(c) a multiple of 15?
True
Let g = 2 - 2. Suppose g = 4*z + 2*q - 6, 0*z - 2*q - 6 = -2*z. Is z/(2/4*1) a multiple of 2?
True
Let m(y) = -y**3 + 4*y**2 - 3*y + 7. Does 2 divide m(3)?
False
Let s(j) = j + 9. Is 7 a factor of s(12)?
True
Let u(l) be the first derivative of -3*l**4/4 + l**2 - 3*l + 4. Is 24 a factor of u(-3)?
True
Suppose 3*n - 7 = 5*d, 2*d - n - n = -2. Let p = 6 + d. Does 9 divide 231/12 + 3/p?
False
Let p(s) = s**2 + 3*s + 6. Let w be p(-4). Let v be w/35 + (-1474)/14. Let c = -49 - v. Is 28 a factor of c?
True
Let u = 13 - -10. Is 16 a factor of u?
False
Let u(r) = 29*r**2 + r. Let n = 3 + -2. Does 10 divide u(n)?
True
Let j(t) = 15 + 4*t**2 + 19*t - 2*t**2 + 0*t**2 - 3*t**2. Is j(18) a multiple of 11?
True
Suppose -o - 698 = -3*z + 3*o, 2*o + 462 = 2*z. Does 23 divide z?
False
Suppose -5*r + 2*s + 394 = 0, 0 = -2*r + 7*s - 2*s + 145. Does 20 divide r?
True
Let y = 0 + 0. Suppose 0 = v - y - 2, t = v. Suppose -b = t*b - 15. Does 2 divide b?
False
Suppose a - 31 = 77. Suppose 5*d = 3*m - a, -3*d + 108 = 3*m - 2*d. Is 12 a factor of m?
True
Let d = 15 - -40. Is d a multiple of 12?
False
Let c(r) = -2*r + 7. Let l be c(4). Let p = -1 - 1. Does 18 divide 2/p + 48 + l?
False
Suppose 6*n - 80 = n. Let u = -8 + n. Suppose -2*q + 4*x + u = 0, -2*x + 5*x - 12 = -3*q. Is q a multiple of 3?
False
Let u = 45 - 17. Does 14 divide u?
True
Suppose 3*h - 4*n - 1320 = -2*h, -3*h - 5*n + 792 = 0. Is h a multiple of 21?
False
Let v = 7 - 6. Let o be 0/((-2 + v)/1). Suppose j - 55 = -4*j + 3*d, o = -3*j + d + 29. Does 8 divide j?
True
Suppose 0*c = -2*c + 312. Suppose c = s + 2*s. Is 15 a factor of s?
False
Let i = -2 - -5. Suppose -d = -0*d - 4. Suppose -58 = -i*y + 2*n, -y - d*y + 118 = 2*n. Is 11 a factor of y?
True
Let y be 1*(2 + 1)/3. Let s be y + (-3)/(-3)*-19. Let l = 17 - s. Is 13 a factor of l?
False
Suppose j + 2*j = 5*a + 35, -a + 4*j + 10 = 0. Let y = 16 + a. Suppose y*p + 4*m - 79 = p, -5*p + 91 = m. Is p a multiple of 14?
False
Let s = -68 - -145. Let q = s + 23. Does 10 divide (6/(-5))/((-4)/q)?
True
Let t(a) = 4*a + 4*a - 2*a. Let y be t(1). Let w = y + -3. Is w a multiple of 2?
False
Let b = -12 - 6. Let i be (-2)/(-3) - (-2)/6. Is -1 - (b + i)*1 a multiple of 7?
False
Let u(b) = -b**2 + 4*b + 5. Let p be u(4). Let o(w) be the second derivative of w**3/2 + 2*w**2 + w.