alse
Let x(c) = c**2 + 4*c + 31. Is 14 a factor of x(-15)?
True
Suppose -4*y + 4 - 16 = -4*a, 2*a - 4*y - 16 = 0. Let k = 25 + a. Is k a multiple of 11?
False
Is (-684)/(-10) - 30/(-50) a multiple of 23?
True
Let m(g) = 2*g**2 + 3*g - 2. Let n = 0 - -4. Is m(n) a multiple of 21?
True
Let m(a) = -a - 6. Let k be m(-11). Suppose 0 = -s + k*s - 4, 0 = 3*j + 4*s - 52. Is 16 a factor of j?
True
Let j = 36 - 2. Is j a multiple of 5?
False
Let v = 25 + -49. Let m = -12 - v. Is 12 a factor of m?
True
Let o(j) = j**3 - 1. Let y be 2*-1 + -1 + -1. Let m = y - -7. Does 13 divide o(m)?
True
Suppose 4 = 4*u + 3*c, -2 = 3*u - 5*u + 3*c. Let v be 12/(2*u/(-12)). Is 13 a factor of v/(-2) - (2 + 1)?
False
Let a(y) = 20*y + 1. Let o be a(4). Suppose 5*j + z - 145 = 0, 4*j - 2*j - o = -5*z. Is 21 a factor of j?
False
Suppose 0 = -q - 3*h - 2*h + 17, 3*q - 2*h = 51. Does 17 divide q?
True
Let v(l) = l**2 - 7*l - 3. Let d be v(7). Is (-3)/d + (-5)/(-1) a multiple of 4?
False
Let u(j) = 2*j**3 - 8*j**2 + 6*j - 4. Let g be u(5). Suppose g = 4*s - 0*s. Does 16 divide s?
False
Suppose -9 = 4*o + 11, -2*y = 4*o + 20. Suppose y = x + 1 - 4. Is 2 a factor of x?
False
Suppose 0 = -l + 3 - 0. Suppose 0*y - l*y = -72. Is y a multiple of 18?
False
Suppose -6*r + 40 = -r. Does 3 divide r?
False
Let d be (-8)/(-28) + 26/7. Suppose 5*z + 16 = 3*v + 3*z, -d*z = 8. Suppose 7*y + v*j = 3*y, 5*j + 35 = 2*y. Is y a multiple of 5?
True
Let j(i) = i**2 - 3*i - 6. Let k be j(6). Is 16 a factor of (2 + 8/k)*21?
False
Suppose 3*d = -0*d + 288. Is 12 a factor of d?
True
Let z = -30 - -20. Does 12 divide 1/(-5) - 532/z?
False
Suppose 0 = -2*x + d + 2 - 4, 5*x - 3*d + 3 = 0. Let p = 5 + x. Suppose 24 = 2*s + p*s. Does 6 divide s?
True
Let x = 31 + -51. Let n = 36 + x. Is 16 a factor of n?
True
Let y(v) = v**2 + 2. Let w be y(0). Let f(k) = 2*k**3 - k**2 - 2. Let t be f(w). Let c = t - -8. Is 18 a factor of c?
True
Let g be (-1)/(-3) - (-42)/9. Suppose -4*y = -g*x + 23, 0 = -5*x + x - 4*y + 4. Suppose x*c - 36 = c. Is 9 a factor of c?
True
Let w(t) = -t**3 - 8*t**2 - 8*t - 3. Let g be w(-7). Does 17 divide (-33)/(-2) - (-2)/g?
True
Suppose 0 = -o + 5*y + 25, 4*o + 2*y - 52 = -2*y. Suppose v = -2*i - 3*v - 18, 4*i + v = -o. Let u(m) = 3*m**2 - 2*m - 3. Does 15 divide u(i)?
True
Does 45 divide 4/26 + 3664/13?
False
Let d(t) = t - 1. Let n be d(-10). Is 2 a factor of -3*(n/(-3))/(-1)?
False
Suppose 0 = 2*b - 5*q - 8, 0 = -b + 5*b - 4*q + 8. Let r be 639/b*8/6. Does 10 divide 6/27 + r/(-9)?
False
Suppose 2*m - 19 = -q, -5*m + 47 = -2*q - 23. Is (52/8)/(2/m) a multiple of 10?
False
Suppose -2*p + 42 = p. Is 14 a factor of p?
True
Let c = -47 - -83. Does 9 divide c?
True
Let x be (-3 - 1)*(-2)/(-4). Let s be (-39)/2*x - -2. Suppose -4*n + 15 + s = 0. Is 14 a factor of n?
True
Let i = 20 - -12. Does 16 divide i?
True
Let i = -59 + 85. Is 16 a factor of i?
False
Let g be (-2)/((-2 - -3) + -3). Let t(b) = -2*b - 1. Let o be t(g). Let l(d) = 4*d**2 - d + 4. Is 15 a factor of l(o)?
False
Suppose -2*q = 5*o + 10 - 0, -4*q = 3*o - 8. Suppose 27 = q*w + 2. Suppose -w*d + 4*y + 178 = 0, -d - 193 = -6*d - y. Is 14 a factor of d?
False
Let j = 407 - 194. Suppose -5*o = -0*o - 25, 4*c = -o + j. Suppose 4*h + 4*r - c = 0, 5*r = -4*h + 6*h - 19. Does 6 divide h?
True
Suppose b = 5*i + 384, 4 = i + 1. Does 21 divide b?
True
Let a(l) = -17*l + 23. Does 10 divide a(-9)?
False
Let q be (273/(-12))/((-2)/8). Suppose 5*i - 186 = 2*i. Let a = q - i. Is 24 a factor of a?
False
Let q(i) = -i + 3. Let u be q(2). Suppose v - 14 = -u. Is v a multiple of 5?
False
Suppose y - 38 = -5*f, -3 - 17 = -5*f. Is 9 a factor of y?
True
Suppose -33 = -5*h - o, 4*h - 7 = -2*o + 23. Let l = h + -3. Let s(j) = j**3 - 3*j**2 + 3*j + 4. Is s(l) a multiple of 13?
True
Suppose 0 = -3*f - 0*f. Let n(h) = -h - 84. Let a be n(f). Is 5 a factor of (4/6)/((-4)/a)?
False
Suppose 0 = 15*v - 8*v - 2359. Does 22 divide v?
False
Let l = 2 - 0. Let x be (l/(-6))/(3/(-477)). Suppose -67 - x = -4*z. Is z a multiple of 15?
True
Let d = -11 - -15. Let g = 2 + d. Does 2 divide g?
True
Let x be 1/(-2)*(16 + -10). Does 13 divide x/(-2) - 101/(-2)?
True
Let w(p) = 33*p + 20. Does 19 divide w(4)?
True
Is 13 a factor of ((-124)/(-4))/(5/10)?
False
Let h = -1 + 16. Let f = h + -4. Does 11 divide f?
True
Is -1 + (-10)/(-6) - (-338)/6 a multiple of 15?
False
Let q(z) = z**2 - z - 4. Let b be q(3). Suppose -b*l = -g + 74, 4*g + 2*l - 278 = l. Is g a multiple of 26?
False
Suppose 95 = -4*l + 1115. Suppose -l = -5*v + 7*f - 2*f, 198 = 4*v + 2*f. Suppose 10*j - v = 5*j. Is j a multiple of 4?
False
Let a(i) be the third derivative of i**5/30 + i**4/3 + 2*i**3/3 - 5*i**2. Is 5 a factor of a(-5)?
False
Let x(v) = -3*v + 43. Is x(-7) a multiple of 5?
False
Let k(q) = 20*q - 12. Let c be k(14). Suppose 0 = -5*u - 8 + c. Is u a multiple of 13?
True
Suppose 5*y = -5*l + 570, -3*l - 208 = -0*y - 2*y. Suppose 0 = 7*g - 2*g - y. Is g a multiple of 7?
False
Suppose -2*j - 2*j + 2948 = 0. Is (j/44)/(1/4) a multiple of 14?
False
Let d(m) be the second derivative of -m**4/12 + 4*m**3/3 - 3*m**2/2 - m. Let t = 41 + -34. Is d(t) a multiple of 4?
True
Let x be 2/(-2)*-10 - -1. Suppose o - 6 = x. Is 17 a factor of o?
True
Suppose -3*a - 8 - 5 = -5*v, 4*v = 4*a + 12. Suppose v*l - 7*l + 120 = 0. Is 8 a factor of l?
True
Let a(f) = f**2 + 12*f + 8. Let z be a(-12). Is (z/(-10))/((-10)/400) a multiple of 16?
True
Let f be (-27)/(-15)*(-20)/(-6). Does 6 divide (-3)/6 + 57/f?
False
Let y = 371 + -209. Suppose -5*u - 12 + y = 0. Does 11 divide u?
False
Suppose -3*u + 0*n = 5*n - 262, 2*n + 8 = 0. Does 16 divide u?
False
Let p(x) = 2*x**2 + 5*x + 6. Let v be p(-7). Let l = v - 38. Is l a multiple of 22?
False
Let q = 3 + 44. Let t = q - 11. Is 16 a factor of t?
False
Suppose 5*o = 4*o. Suppose -18 = -2*v - 2*y, o*v - 5*v - 2*y = -42. Suppose -v = -z + 16. Does 12 divide z?
True
Suppose 5*g + 0 = 2*z - 17, g + 45 = 3*z. Is 8 a factor of z?
True
Let x(g) = g**2 - 1. Let w be x(1). Let t be (0 - w) + (-2 - 8). Is (14/t + 1)*-25 a multiple of 10?
True
Is -1 + -2 - (-13 - -3) even?
False
Let g be (-621)/36 + 1/4. Does 9 divide 4 - 4 - g*2?
False
Let c(b) = b**3 - 2*b**2 - 3*b + 3. Let v be c(3). Suppose -v*x - s = -0*x - 35, 3*s = -2*x + 35. Is 48/8*x/4 a multiple of 15?
True
Let p(g) = -g**2. Let o(u) = u**3 - 7*u**2 + 8*u + 10. Let t(f) = -o(f) - 3*p(f). Let y be t(9). Let b(m) = 8*m**2 - 1. Is b(y) a multiple of 7?
True
Let o = 709 + -453. Suppose -44 + o = 4*t. Let f = t + -16. Is 13 a factor of f?
False
Is 58 a factor of (-1 + 3 + 172)/(18/12)?
True
Let s(g) = -43*g - 5. Does 10 divide s(-1)?
False
Let a be (-23)/7 - 4/(-14). Let w = a + 19. Does 11 divide w?
False
Let f(q) = -4*q**3 + q**2 + 3*q + 2. Let c be f(-3). Let r = -2 - -8. Suppose g - r*g = -c. Is 11 a factor of g?
True
Let f(r) = -r**3 - r**2 - 5*r - 1. Does 31 divide f(-5)?
True
Suppose 0*v = -v + 9. Let d(y) = -y**3 + 9*y**2 + 6*y. Is 27 a factor of d(v)?
True
Suppose 5*r = 5*k - 15, 2*k + r = -0*k + 9. Let v be 17/k + 1/(-4). Let y(w) = 3*w - 1. Is y(v) a multiple of 11?
True
Let i be (-4)/14 - 170/(-7). Let s = 45 - i. Is s a multiple of 17?
False
Let o(a) = 3*a**2 + 5*a**3 - 4*a**3 + 4*a**2 - 2*a**3 - 9 + 4*a. Let m be 4*(20/8 - 1). Is 15 a factor of o(m)?
False
Let m(j) be the second derivative of -j**5/20 + j**4/3 + j**2 - 2*j. Let i be m(4). Let k = 1 + i. Is k a multiple of 2?
False
Is 10 a factor of 4/(-18) - (-1360)/45?
True
Suppose -2*h = 5*o - 45, h - 30 = -h - 2*o. Suppose -r + 5 + h = 0. Is 10 a factor of r?
False
Let r(s) = s**3 + 5*s**2 + 3*s - 1. Let c be r(-3). Let k(z) = z**2 - 3*z - 8. Is 16 a factor of k(c)?
True
Let a(m) be the second derivative of 0 - 2*m + 2/3*m**3 + 1/12*m**4 + 2*m**2. Is a(-4) a multiple of 4?
True
Let h = 25 - 15. Suppose 0 = -7*v + 2*v - h. Is -14*(0 + v) + 2 a multiple of 10?
True
Let t(z) = -6*z. Let r be t(12). Let k = 156 + r. Is 28 a factor of k?
True
Let x(m) = -m**2 + 25*m - 8. Is x(14) a multiple of 32?
False
Let x be 2/(-6) + 2/6. Suppose 0 = 2*p - 5*p + 6. Suppose 0 = -4*y, x*y + 68 = p*s - y. Is 17 a factor of s?
True
Let d be (11/(-3))/(4/(-12)). Suppose -5 = -4*f + d. Suppose 3*l - b - 34 = -6*b, 4*l = -f*b + 40. Is 8 a factor of l?
True
Let z be -22*1/(2 + -3). Let b 