ide s?
False
Suppose -3*a - 1 = l, -l - 4 = 3*a + 3*l. Suppose -z - 2*z = a. Suppose z*q = q - 22. Is 22 a factor of q?
True
Suppose -u + 5*u = 512. Is 12 a factor of u?
False
Suppose 6*p - 11*p - 40 = 0. Let a(z) = -z**2 - 8*z + 5. Is 2 a factor of a(p)?
False
Suppose 5*b - 3*v + 8*v = 710, -5*b + v + 728 = 0. Suppose 5*t - b = -2*d - 3*d, -t + 101 = 4*d. Is 8 a factor of d?
True
Let j(h) = 4*h**2 + 2*h - 4. Does 7 divide j(3)?
False
Is 10 a factor of (6/12)/(1/72)?
False
Let b(g) = 3*g - 4. Let a be 4/16 - (-30)/8. Let k be (-129)/(-27) - a/(-18). Does 11 divide b(k)?
True
Let s(g) = 42*g**2 - g + 1. Is 28 a factor of s(1)?
False
Is 12 a factor of ((-24)/(-14))/((-10)/(-105))?
False
Let u(g) = 6*g**2 - 3*g - 2. Does 7 divide u(-2)?
True
Suppose 7*z - 6 = 4*z. Suppose -107 = -z*s + 7. Is 30 a factor of s?
False
Let d(p) = -p**3 - 10*p**2 - 12*p - 6. Let m = -13 - -4. Does 9 divide d(m)?
False
Suppose 9*f = 7*f + 116. Does 21 divide f?
False
Let z(j) = j**2 + 3*j + 2. Let l be z(-5). Let r be l/2*(-8)/(-12). Is 61/3 - r/12 a multiple of 10?
True
Let t = -7 - 15. Let j = t - -37. Is 15 a factor of j?
True
Let k(i) = -i + 24. Does 8 divide k(-14)?
False
Let p be (10/6)/(2/6). Suppose -10 = p*j - 195. Is 15 a factor of j?
False
Let k(d) = 3*d**2 - 4*d + 4. Let q(g) = g**3 + 5*g**2. Let m be q(-5). Let f be (m - -1) + 1 + 1. Is 6 a factor of k(f)?
False
Suppose -6*r - 197 = -4*t - r, -2*r + 59 = t. Suppose 0 = -6*v - 175 - 35. Let d = t + v. Does 9 divide d?
True
Let l(b) = -28 + 15 + 11 - 3*b - 9*b**2 - b**3. Suppose 8 = -y - 1. Is l(y) a multiple of 12?
False
Let b = 31 - 0. Is b a multiple of 3?
False
Suppose 0 = -2*u, 5*h + 8*u = 3*u + 10. Suppose -2*t + 236 = h*t. Is 16 a factor of t?
False
Is 137/3 + 1/3 a multiple of 23?
True
Let y(h) = 11*h**2 - 11*h - 12. Let a(q) = 4*q**2 - 4*q - 4. Suppose 2*l + 16 = -0*l. Let u(c) = l*a(c) + 3*y(c). Is u(5) a multiple of 6?
False
Suppose 0 = q - 4. Suppose -2*g - 28 = -q*g. Is g a multiple of 7?
True
Let m = -10 - -13. Suppose 11 + 28 = m*q. Is 13 a factor of q?
True
Let j be 1374/4 - 15/(-10). Suppose 4*m + j + 1719 = 0. Does 22 divide m/(-8) - 2/(-4)?
False
Suppose -16 = -0*h - 4*h. Suppose 2*t - 2 = -4*s + 4, h*t + 27 = 5*s. Suppose -q + 120 = s*q. Does 15 divide q?
True
Let h be (210/20)/((-6)/(-8)). Suppose 0 = -a - a + h. Is a even?
False
Let j = 63 + 241. Does 38 divide j?
True
Let a = 194 - 101. Is 26 a factor of a?
False
Let x(m) = 2*m**2 + 6*m - 2. Is 9 a factor of x(-7)?
True
Suppose -2*t + 14 = -5*c, 5*t - 2*c - 56 = -0*t. Does 9 divide (t/(-9))/((-4)/90)?
False
Let o be (-1)/2*(1 - 1). Suppose o = 3*z - 0*z + 69. Let v = 45 + z. Does 11 divide v?
True
Suppose 9*t = 5*t. Is 10 a factor of 3 + (0 - t) + 10?
False
Let x(v) = 5. Let a(r) = -r - 11. Let z(m) = 2*a(m) + 5*x(m). Let u be z(-3). Is 2 a factor of (-2)/(21/u + -3)?
False
Suppose 4*y - 7*y + 15 = 0. Suppose -y*r = -3*p - 13, -16 = p - 5*p. Suppose -r*k + 7 = -133. Is k a multiple of 14?
True
Let v(h) = h**3 + 23*h**2 + 21*h + 6. Is v(-22) a multiple of 14?
True
Let u(b) = -5*b + 18. Is u(2) a multiple of 8?
True
Suppose -o - 6*o + 1750 = 0. Let u be (-15)/(-4) + 3/12. Suppose d - o = -u*d. Does 16 divide d?
False
Suppose 82 = -4*q + 5*q. Suppose -54 = -4*o + q. Does 13 divide o?
False
Let z be ((-2)/(-6))/(2/12). Suppose 5*b = -z*c + 80, 0 = 4*b - 5*b - 3*c + 3. Does 18 divide b?
True
Let s be 3 + (1/(-1))/(-1). Suppose -3*v + 8*v + 3*x = 32, -2*x + 26 = s*v. Suppose 3*q - v*q + 152 = 0. Does 19 divide q?
True
Let i(a) = a**2 + a. Let p be i(-4). Suppose 0*q - 3*q + p = 0. Suppose -5*h = 4*x - 3*x - 22, -h = q*x - 69. Is x a multiple of 9?
False
Suppose -t + 30 = 5*c + 5, -5*t + 20 = 4*c. Suppose 0 = 2*s + n + 4*n - 51, -c*s - 5*n = -90. Does 7 divide s?
False
Let b be (-2)/1*108/(-8). Let a = -1 + b. Is 11 a factor of a?
False
Is 13 a factor of 198 + -1 - (-1 - (-4 + 1))?
True
Let v(y) = 5*y - 10. Is v(5) a multiple of 3?
True
Let s(h) = h**2 - 2*h + 4. Let p be s(7). Suppose -223 = -4*i + 4*v - p, -3*v - 6 = 0. Does 17 divide i?
False
Suppose 4*m - 2*m = 5*r - 5, 8 = r + m. Suppose -9 = r*d - 0*d. Let p = 7 - d. Is p a multiple of 10?
True
Let r(a) = 10*a + 54. Does 10 divide r(0)?
False
Let o be 1 - (0 - 2/(-2)). Let b be (1 + 4)*1/1. Let a = o + b. Is 2 a factor of a?
False
Let t = 16 + -10. Let q be (-4)/(-6) + 722/t. Let u = q - 70. Is u a multiple of 17?
True
Let k(l) be the first derivative of 5*l**2 + 2*l + 3. Let t be (-17)/(-6) - (-6)/36. Does 16 divide k(t)?
True
Suppose 4*w - 3*i = -6*i + 14, 0 = 4*w + 2*i - 12. Suppose w*v = 5*v - 57. Is v a multiple of 9?
False
Let q = -681 + 2269. Does 22 divide 1/(-6) + q/24?
True
Suppose -15 = -4*g + 5*r + 9, 3*r + 30 = 5*g. Suppose -10 = -4*p + g. Does 3 divide p?
False
Suppose -5*i + d + 7 = -3, 5*d = -3*i + 6. Suppose 320 = -4*q - f, i*f = -5*q + 4*f - 413. Let r = q + 119. Is r a multiple of 19?
True
Let q(o) = -2*o**3 - 2*o**2 + o. Let w be (1 - 2) + 0 + -1. Does 3 divide q(w)?
True
Let f(g) = -g - 2. Let c be f(-7). Suppose -p = 4*t - 69, -3*p - 81 = -c*t + t. Does 4 divide t?
False
Let s(r) = -r**3 - 5*r**2 + r - 6. Let b be s(-5). Let z = 76 + b. Is (z/(-2))/5*-4 a multiple of 13?
True
Is (1560/(-50))/((-3)/10) a multiple of 29?
False
Let q = -4 - -1. Let r be 2*1 - (7 + q). Is 2/(-4)*(r + -4) a multiple of 2?
False
Suppose 3*b = 3*m - 522, 0*m + 5*b = -3*m + 490. Is (12/10)/(3/m) a multiple of 34?
True
Let x(i) = i + 2. Let o be x(-6). Does 14 divide (-6)/o*28/1?
True
Suppose 4*o = 2*o - 14. Does 2 divide (-4)/(-14) - 19/o?
False
Suppose -3*g + 30 = -0. Let b = -6 + g. Suppose 3*m - 29 = 4*c, 0*c = b*c + 8. Is m a multiple of 3?
False
Let m(g) = 16*g**2 - 5*g + 4. Let i be m(6). Let t be i/45 - 4/18. Suppose -p - t = -2*p. Is 6 a factor of p?
True
Let o be 1/3 - (-14)/(-6). Let a be (-7)/(-9) - o/9. Is 8 a factor of 2/a + -1 + 10?
False
Suppose -9*i + 377 = -64. Is i a multiple of 15?
False
Let j(g) = 3*g**2 - 3*g. Let v(k) = k**2 + 6*k + 4. Let i be v(-6). Is j(i) a multiple of 12?
True
Let q = -1 - -11. Suppose 2*r + q - 36 = 0. Does 5 divide r?
False
Suppose -3*a = 2*k - 177, 0*k = 3*k - 5*a - 313. Let r be ((-87)/4)/(27/72). Let g = r + k. Is g a multiple of 11?
False
Let t = 141 - 55. Let v = -60 + t. Is 13 a factor of v?
True
Suppose 5*g = 6 + 4. Suppose -g*j + 300 = 3*j. Is 30 a factor of j?
True
Suppose 2*w - 12*w + 970 = 0. Is w a multiple of 32?
False
Let h(z) = -z**3 - 9*z**2 - z - 5. Let d be h(-9). Is (d/(-8))/(1/(-14)) a multiple of 7?
True
Suppose 3*u = 25 + 5. Is u*((-21)/(-5) + -3) a multiple of 12?
True
Let y(j) be the second derivative of -5*j**3/6 - 5*j**2/2 + 3*j. Does 10 divide y(-5)?
True
Let s(q) = q**3 + 8*q**2 - q - 5. Let t be s(-8). Let x = 33 - t. Does 10 divide x?
True
Let q be 12/9*(-9)/(-6). Let z = q + 0. Is 9 a factor of z*3/6 + 21?
False
Let d be (-4)/10 + 462/5. Suppose -3*f + 57 + 31 = -4*i, -d = -4*f - i. Is 12 a factor of f?
True
Suppose 2*z - 5 = a, -13 = -5*z + a + a. Suppose 0 = -2*j + 4*x + 28, 5*x + 39 = -z*j + 6*j. Does 8 divide j?
True
Suppose 4 = k + 1. Suppose -q = -k + 20. Let l = 33 + q. Is l a multiple of 8?
True
Let i(o) = 2*o**2 - 9*o - 31. Is 37 a factor of i(-9)?
False
Let x = 19 + -35. Suppose -30 = -d + 4*d. Let y = d - x. Is 3 a factor of y?
True
Let c = -61 - -88. Is 12 a factor of c?
False
Let j(m) = -4*m**2 + m + 1. Let x(n) = 2*n**2. Let q(w) = 3*j(w) + 7*x(w). Let u(h) be the first derivative of q(h). Does 6 divide u(3)?
False
Suppose -4*r = 2*c - 8, -4*c + 0*r - 2*r + 34 = 0. Does 10 divide c?
True
Let n(v) = -v**3 + 4*v**2 - 7*v. Let m be n(6). Does 9 divide 6/(-4) + m/(-4)?
True
Let d be (-3 - -1)/(6/(-60)). Is 12 a factor of ((-48)/10)/((-4)/d)?
True
Let f(u) = u**2 - 2*u - 1. Is 6 a factor of f(-3)?
False
Let w(j) = -j**3 - 11*j**2 - 13*j - 15. Let s be w(-10). Suppose -3*v + 2*t = -s, -t = -5*v - 5*t + 3. Suppose -2*r - v*r = -65. Is r a multiple of 13?
True
Let v = -1 - -3. Suppose 3*j - 115 = -v*j. Let n = -5 + j. Does 9 divide n?
True
Let c(m) = -4*m + 3. Let y be (-15)/6 + (-4)/(-8). Is 5 a factor of c(y)?
False
Let t = -25 + 70. Does 9 divide t?
True
Let x(q) = 4*q + 3. Let u be x(-3). Does 4 divide (-2)/u - (-770)/99?
True
Suppose -4*d + 16 = -8. Suppose -d*p = -p. Suppose -3*m + 50 = -p*z - z, 