ctor of l?
False
Suppose 0 = 5*z + 4*a - 230, 9*a - 4*a = -3*z + 151. Is z a multiple of 13?
False
Let m = -127 + 213. Is 27 a factor of m?
False
Let k(j) = j - 1 - 3*j**2 + 5*j**2 + 2*j**2. Let x be k(1). Suppose 24 = x*i - 0. Is 3 a factor of i?
True
Does 14 divide (-2)/(8/(-30))*448/20?
True
Suppose 5*n = -d + 109 - 24, 0 = -5*n - 2*d + 80. Does 3 divide n?
True
Suppose 2*w + 2*f - 16 = -0*w, -4*f - 4 = 0. Does 2 divide w?
False
Is 594/12*(-5)/(30/(-16)) a multiple of 42?
False
Let s = -12 - -16. Is 7 a factor of (10/s)/5*42?
True
Let r = -101 + 156. Let u = r - 16. Does 13 divide u?
True
Suppose 0 = 2*o - 5*x + 27, -2*o - 59 = 3*o - 4*x. Let m = o - -5. Let v(n) = -n**3 - 6*n**2 - 3*n + 1. Is v(m) a multiple of 7?
False
Suppose 3*r = y + 74 - 227, -2*r = -y + 149. Does 24 divide y?
False
Let p = 10 - 28. Let o be (-2)/6 + (-6)/p. Suppose o = -2*j + 4*j - 12. Is 3 a factor of j?
True
Suppose -4*g + 124 + 80 = 0. Is 17 a factor of g?
True
Suppose 6*y - 4*c = y, -2*c = 3*y. Is (-8)/(-1 - y - 0) a multiple of 7?
False
Let x(n) = n**2 - 26*n + 20. Does 9 divide x(28)?
False
Suppose 8 + 12 = 2*a - 3*k, 3*a - k = 16. Suppose g - l + 1 + 1 = 0, 0 = 4*g + 4*l - 24. Suppose 0 = g*p + 4*v - 24, -2*v + a = -4. Is p even?
True
Let w(l) = -3*l**3 + 6*l**2 - 5*l - 2. Let n(x) = -7*x**3 + 13*x**2 - 11*x - 4. Let s(g) = -4*n(g) + 9*w(g). Does 8 divide s(3)?
True
Suppose 0*d + 3*z + 6 = 3*d, 2*d = 4*z + 2. Does 17 divide ((-17)/3)/(d/(-9))?
True
Let n(p) = -p**2 + 8*p + 11. Let z be n(9). Suppose -z*h = -4*h + 22. Suppose -3*t + 11 = c, 0*t - 2*c = -5*t + h. Does 2 divide t?
False
Let a be (-1)/(1/(1*-3)). Let f be (16 + 0)*a/3. Does 2 divide -2 - f/(-2) - 1?
False
Suppose -2*p + 5 + 6 = -3*b, 5*b = -25. Let u(w) = -w**2 + 6*w + 2. Let i be u(7). Is 2 a factor of (2/p)/(1/i)?
False
Is 2 - ((-134)/(-4))/((-11)/22) a multiple of 22?
False
Let u be (-12)/(-4)*(1 - 0). Suppose 37 = u*r - 26. Is 7 a factor of r?
True
Let k(v) = -v**2 - 12*v - 7. Does 2 divide k(-11)?
True
Let c(j) be the first derivative of j**7/840 + j**6/36 + 13*j**4/24 - 2*j**3/3 + 1. Let h(w) be the third derivative of c(w). Is 13 a factor of h(-10)?
True
Suppose -2 = u - 2*u. Does 2 divide (3/u)/(15/40)?
True
Let p be 2/10 - 51/5. Let s(i) = -i**2 - 12*i + 12. Is 16 a factor of s(p)?
True
Suppose -496 = 6*j - 14*j. Is j a multiple of 9?
False
Suppose -8*c = -3*c - 5. Suppose -2*d = c - 31. Is d a multiple of 12?
False
Let c be 1 + 1 + -3 + 11. Let t(k) = 7*k - 7. Does 25 divide t(c)?
False
Let u(q) = q + 39. Does 13 divide u(0)?
True
Let r(q) = q**3 + 3*q**2 - q. Let f be r(-3). Suppose -f*w + 69 = -0*w. Is w a multiple of 23?
True
Suppose 3*x = 13 + 80. Is x a multiple of 17?
False
Let h be 48/20 + (-4)/10. Suppose 5*d = -5, 0 = 3*r + r - h*d - 146. Is r a multiple of 18?
True
Let d(x) be the second derivative of -x**7/840 - 7*x**6/360 + x**5/30 - x**4/12 + x**3/3 + 2*x. Let t(m) be the second derivative of d(m). Does 15 divide t(-8)?
True
Let g = 30 + -3. Suppose g - 217 = -5*u. Is u a multiple of 19?
True
Let z be -6*58/4*-5. Is 16 a factor of z/9 + (-1)/3?
True
Let l be -1 + 0 + 2/1. Does 20 divide 2/l - 525/(-7)?
False
Let o be (-4)/(-18) + (-1032)/27. Let w = -16 - o. Is w a multiple of 11?
True
Let s(i) = 14*i - 4. Is s(6) a multiple of 13?
False
Suppose 3*n = -2*n - 15. Is 114/(-12)*(n + 1) a multiple of 7?
False
Suppose 3*r = j + 8*r + 15, 4*r + 12 = -2*j. Suppose 0*u - 21 = 5*a + u, -4*a + 3*u - 13 = j. Let i(f) = -4*f - 2. Does 7 divide i(a)?
True
Let r = 14 - 11. Is r/(1 - (-26)/(-32)) a multiple of 8?
True
Suppose 1573 = 3*r - 281. Suppose 3*k + 144 = r. Suppose 4*s - d - k = 0, 3*d - 5 = 1. Is 15 a factor of s?
False
Let j = -54 - -75. Suppose -j = i - 2*i. Is i a multiple of 7?
True
Let y = 0 - -6. Let x = -6 + y. Suppose -30 = -u - x*u + 3*g, 3*u + 5*g - 20 = 0. Is 13 a factor of u?
False
Let y(f) = -f + 11. Suppose 2*i = -0*i + 5*g, -3*g = 2*i - 16. Let n(x) = 2*x - 16. Let s(z) = i*n(z) + 7*y(z). Does 15 divide s(6)?
True
Suppose -5*v + 28 = -3*a, 3*v = 8*v - 4*a - 24. Suppose x - 15 = 6*x + 4*w, 0 = -w. Let t = x + v. Is t a multiple of 3?
False
Suppose 0 = 3*t + 81 + 147. Let z be t/(-3)*3/1. Suppose -k = k - z. Is k a multiple of 19?
True
Suppose 152 = 2*n + 4*k - 0*k, -2*n = k - 158. Is 40 a factor of n?
True
Suppose 793 - 2293 = -10*h. Is 10 a factor of h?
True
Suppose -2*b - 51 = -3*g, -3*g - 5*b - 42 = -6*g. Is 11 a factor of g?
False
Suppose -3*l + 42 = t, -2*l - 4 = -3*t - 43. Does 5 divide l?
True
Let s be (1/3)/((-2)/(-30)). Suppose 0*d + 85 = s*d. Is d a multiple of 17?
True
Let p = 207 - 100. Is 28 a factor of p?
False
Let a(p) = -p**3 - 10*p**2 - 12*p + 3. Is a(-9) a multiple of 15?
True
Let m(c) = c**2 - 3*c - 42. Is 3 a factor of m(-6)?
True
Let u be (-3)/4 - 223/(-4). Suppose -y = -5, 0*y = 5*j - y - u. Is j a multiple of 12?
True
Let m(t) = t**2 - 10*t + 11. Let o be m(9). Suppose -395 = -o*b - 0*q - 5*q, 4*b - 748 = 4*q. Is ((-28)/(-35))/(4/b) a multiple of 19?
True
Let d = 30 + -18. Does 15 divide d/20 + (-486)/(-15)?
False
Suppose 0 = 3*z - 5*z - 20. Let n = z - -6. Let c = n - -23. Does 8 divide c?
False
Let f(z) = 3*z**2 + 4*z**2 + 10 + 7*z - z**2 - z**3 + z**2. Let j be f(8). Suppose 0 = 4*o - 2*t - 14 + j, -5*t = -o - 15. Does 5 divide o?
True
Let d be ((-15)/(-10))/(2/76). Suppose -3*q = 3*v - d, 2*v + 2*q - 80 = -2*v. Is v a multiple of 21?
True
Suppose -2*m - 134 = -2*i - 4*m, m = 2*i - 128. Let h = i + -43. Does 9 divide h?
False
Let l be ((-22)/3)/(2/(-6)). Suppose -4*u - u + 166 = -4*v, -u + l = 2*v. Is u a multiple of 16?
False
Suppose 4*f - 367 = -131. Does 17 divide f?
False
Suppose 8 = 2*f + 5*i, f + 2*i - 4 = -0*f. Suppose -32 = -f*d + 96. Is d a multiple of 11?
False
Let t(a) = -a**3 + 11*a**2 - 15*a + 14. Let r be t(10). Suppose 7*n - 2*n = -10. Is (n + 2)/(-1) - r a multiple of 11?
False
Let p(f) = f**3 - 5*f**2 + 6*f - 6. Let m be 6/4*(-20)/(-6). Does 8 divide p(m)?
True
Let h be (-12)/7 - (-2)/(-7). Let r(x) = x - 1. Let j(p) = 12*p. Let o(b) = -2*j(b) - 2*r(b). Is o(h) a multiple of 24?
False
Let j(u) = -6*u - 6. Let a be j(-4). Suppose h - a = 14. Is 10 a factor of h?
False
Let t(w) = -4*w - 1. Let m be t(-1). Suppose 54 = -m*q - 60. Let h = -20 - q. Does 12 divide h?
False
Let c = 16 - 0. Is 8 a factor of c?
True
Suppose -c = c - 4*r - 288, 4*c - 2*r - 546 = 0. Let y be (-2)/11 - c/(-11). Suppose -4*m + 0*m - 4 = 0, -f - 2*m = -y. Is f a multiple of 7?
True
Let i(v) = 3*v - 2. Suppose 2*b - b = -3*h + 16, -2*h = -3*b + 26. Is 14 a factor of i(b)?
True
Let d(t) = -3 - 4 - 2*t + 2. Does 9 divide d(-7)?
True
Does 21 divide (-386 - 1)*10/(-30)?
False
Suppose -5*r + 10 = 0, -3*r = 3*l + 2*r - 16. Let b be l - (1 + -55) - 2. Let a = b - 33. Does 8 divide a?
False
Suppose 12 = p - 16. Does 15 divide p?
False
Let o = 8 + -5. Does 4 divide (o/6)/((-1)/(-24))?
True
Suppose 0 = 3*l + 2*l - 255. Is 12 a factor of l?
False
Let x(j) = j**3 + 6*j**2 - 2*j + 3. Is x(-6) a multiple of 5?
True
Suppose 4*l - 219 = -3*j + 149, 3*j = -3*l + 366. Suppose 3*d - j = -27. Is d a multiple of 18?
False
Let l(z) = -z**3 + 14*z**2 - 3*z + 12. Is 23 a factor of l(13)?
False
Let t(n) = -1 - 2 + 1 + 1 - 24*n. Let m be t(1). Is ((-20)/m)/(2/30) a multiple of 12?
True
Is 11 a factor of (-2 + -1)*-28*(-4)/(-12)?
False
Does 2 divide (-1)/1 + 0 + 4?
False
Let c(s) = s - 1. Let f be c(-1). Let w be (f - -2) + 1*-21. Let x = -4 - w. Does 12 divide x?
False
Suppose -2*v + 44 = 2*v. Does 11 divide v?
True
Let t(o) = 10*o - 6. Let s(f) = f**2 + 2*f + 1. Let z be s(-3). Is t(z) a multiple of 14?
False
Let o(i) = 8*i**2 - 3*i. Let y(b) = -b**3 - 5*b**2 - 5*b + 1. Let q be y(-4). Let x = q + -3. Is 13 a factor of o(x)?
True
Does 9 divide 6/(18/15 - 1)?
False
Let j be -1*(-4)/((-4)/9). Let r = 0 - j. Is r a multiple of 3?
True
Let s = -12 + 3. Is s*(-4 + 3)*1 a multiple of 3?
True
Is (48/(-9))/((-3)/27) a multiple of 12?
True
Let d = -8 + 178. Is 34 a factor of d?
True
Suppose 3*o - 2*z - 20 = 0, -o + 3*z + 2 = -0*o. Suppose 0 = j + 5*v + 16, 0 = -3*j - 5*v - o - 0. Suppose -3*h = -6, h = d + j*h - 34. Is d a multiple of 10?
False
Suppose -1 - 2 = u. Suppose 0 = 12*a - 9*a - 15. Let y = a - u. Is y a multiple of 8?
True
Suppose -5*l + 121 = -3*z, 2*l - 5*z = 3*l - 13. S