ltiple of 14?
False
Suppose -5*d - 32 = -d. Let a = d - -4. Is 12 a factor of 11 + -2*2/a?
True
Suppose 3*i - i - 4 = 2*q, 10 = -i - 2*q. Let l(t) = 3*t - 6. Let y be l(4). Is 6 a factor of i - (-10)/4*y?
False
Let y = 76 - 40. Does 18 divide y?
True
Suppose -20 = -4*l - 4. Suppose -r - l*d - 8 = -43, 3*d = 4*r - 140. Does 9 divide r?
False
Suppose -4 = 4*g - 20. Suppose -g*d + 37 = -139. Does 13 divide d?
False
Let s(i) be the first derivative of 2*i**3/3 + 2*i + 3. Is 5 a factor of s(-2)?
True
Let v be -2 - (-1 - -1) - -2. Suppose -4*d + 104 = 5*j, v*j = -2*j - d + 44. Does 8 divide j?
True
Suppose 12 = -8*r + 4*r. Let k(q) be the second derivative of -q**3/3 - q**2/2 - 3*q. Is k(r) even?
False
Let s(f) = f**3 - f**2 + f + 1. Let g be s(0). Let q = -1 - g. Let a = q - -5. Does 3 divide a?
True
Suppose 4*o - 83 = 357. Does 23 divide o?
False
Let u(i) = 15*i**2 + i - 6. Is 13 a factor of u(2)?
False
Suppose -3*i = -2*i + 48. Let r(g) = -g**3 + 4*g**2 + 2*g. Let t be r(5). Let h = t - i. Does 13 divide h?
False
Let o be (16/(-6))/((-6)/9). Suppose -4*p + o*m + 82 = -18, 0 = 5*p - m - 145. Is p a multiple of 15?
True
Is 3 a factor of 27/18*(2 + 132/9)?
False
Let h(w) = w + 1. Let o be h(0). Suppose 4*b - 15 + 3 = 0. Is 22 a factor of 14*b - (-1 - o)?
True
Suppose 2*d + d = 2*m - 4, -5*d = 3*m - 6. Let o(z) = -2*z**2 - m*z**3 + 0*z**2 + 3*z**3 - z + 2*z - 2. Is 8 a factor of o(3)?
False
Is 202/6 - 11/(-33) a multiple of 13?
False
Let i(k) = k + 3. Is i(9) a multiple of 12?
True
Let q(j) = 96*j - 5. Let t be q(5). Is 2/(-11) + t/11 a multiple of 12?
False
Suppose b = -5*j + 3*b + 572, -116 = -j + 2*b. Suppose 0 = -3*o + 2*m - 5*m - j, 0 = m + 1. Let c = o - -71. Is 19 a factor of c?
False
Let x(f) = 8*f. Let j(u) = -u + 2. Let k be j(4). Let i be x(k). Let n = 14 - i. Is 13 a factor of n?
False
Suppose -3*d = -93 - 57. Is d a multiple of 15?
False
Let c(l) = -l**3 + 7*l**2 + 9*l - 4. Suppose 3*t + 38 = 5*m + t, 5*t = -2*m + 21. Is 4 a factor of c(m)?
True
Let s(d) = 3*d - 3. Let p be s(6). Let v(m) = -m**2 - 3*m - 2. Let j be v(-3). Does 12 divide 36*(j - p/(-6))?
False
Suppose -q + 17 = -i, 2*i + 3*i + 10 = 0. Does 3 divide q?
True
Suppose 0 = -5*c - 4*g - 322, 2*c + 5*g = -c - 201. Let p = 109 + c. Is 22 a factor of p?
False
Suppose 30 = 6*k - 0*k. Suppose -45 = -k*d + 2*d. Does 5 divide d?
True
Let p be 4/(12/(-9)) - 12. Let v be ((-20)/p)/(1/36). Is 2 + v + 4/2 a multiple of 26?
True
Let g(q) = q**2 - 3*q. Let j = -9 - -13. Let m be g(j). Suppose 26 = -m*w + 86. Is 7 a factor of w?
False
Let k(b) = 9*b + 2*b**2 + 7 + b**2 - b**2. Is 6 a factor of k(-6)?
False
Let t(o) = -15*o - 26. Let x(v) = 3*v + 5. Let r(g) = -2*t(g) - 11*x(g). Let i be r(-5). Let z = 23 - i. Is 11 a factor of z?
True
Suppose 458 = 4*u + 38. Is u a multiple of 15?
True
Let v = -306 + 438. Is v a multiple of 33?
True
Suppose -4*p = -d - 11, d + p + 14 = 6*p. Suppose 61 = 2*t - 3*b, 56 = 3*t - t - 2*b. Let s = d + t. Is s a multiple of 9?
False
Let k(f) = f**3 - 6*f**2 - 3*f - 1. Let n be k(6). Let a = 80 + n. Is a a multiple of 21?
False
Suppose -5*p + 2*g + 13 + 4 = 0, 3*p = -3*g + 6. Suppose 0 = 6*b - p*b - 75. Let s = -10 + b. Is 13 a factor of s?
False
Let j(z) = z + 9. Let k be j(-7). Suppose -2*h + k = -18. Is 10 a factor of h?
True
Let v(a) = 4*a - 8. Let k(u) = 5*u - 7. Let l(m) = 7*k(m) - 6*v(m). Is 16 a factor of l(3)?
True
Let z(q) = -3*q + 32*q**2 + 8 + 2*q - 7. Is z(1) a multiple of 14?
False
Let c(x) = x**2 - 3*x + 120. Is 20 a factor of c(0)?
True
Let z(x) be the first derivative of x**2 + 3*x - 2. Does 3 divide z(4)?
False
Suppose 546 = n + 3*z, 3*n + 3*z - 2220 = -n. Let j be n/7 - 4/(-14). Suppose -j = -3*l - 2*l. Does 5 divide l?
False
Suppose p = -8*n + 3*n + 25, 2*p - 26 = -4*n. Suppose -n*x = -3*i + 2, -2*i = 3*x + 1 - 25. Is i a multiple of 4?
False
Let u(i) = -50*i + 3. Let a(x) = -2*x + 3 - 2*x + 3*x - 2. Let n(c) = -4*a(c) + u(c). Is n(-1) a multiple of 15?
True
Suppose -231 = -30*k + 27*k. Is 11 a factor of k?
True
Let a be (3 - -2)*(0 - -1). Suppose 0 = 2*u - 4*p, 4*u - a*p - 10 = -2*p. Suppose 0 = -0*i - u*i + 68. Does 17 divide i?
True
Is (-4)/(-14) - (0 - 225/21) a multiple of 2?
False
Let i(h) = -9*h**3 + 1. Let k be i(1). Is 4 a factor of (-102)/k - 3/(-12)?
False
Let i be (6/5)/(3/(-135)). Let s = 94 + i. Is s/1 + 3 + -2 a multiple of 16?
False
Let a = -146 - -80. Let q = -36 - a. Is q a multiple of 15?
True
Suppose -108 = 2*s - 8*s. Is 9 a factor of s?
True
Let q(b) = -3*b**3 - b**2 - b. Let m be (2 - 4) + -4 + 5. Let w be q(m). Suppose -h - 3*h - 3*r = -30, 18 = 2*h + w*r. Is 2 a factor of h?
True
Suppose 0 = 10*c - 7*c - 282. Is c a multiple of 19?
False
Let g = 7 + -1. Suppose l - g*l = -125. Is l a multiple of 15?
False
Let r be (-1)/1 + (0 - -3). Let q be 8/(-44) + (-68)/(-11). Let y = r + q. Is y a multiple of 3?
False
Let y(v) = -5*v. Let h be y(-1). Let j = h + 0. Does 3 divide j?
False
Is 26 a factor of (-320)/(-5) - (-3 - -2)?
False
Suppose 1 = 5*k + 26. Let n(b) = -b**2 - 6*b + 7. Is n(k) a multiple of 12?
True
Suppose 10*z = 17*z - 392. Is 8 a factor of z?
True
Suppose -56 = -3*f + 7*f. Let r = f + 29. Does 7 divide r?
False
Let j(x) = 3*x**2 - 10*x + 5. Let c(q) = q**2 - q. Let g(a) = -2*c(a) + j(a). Does 7 divide g(9)?
True
Let c(w) be the first derivative of w**4/4 - 5*w**3/3 + 7*w**2/2 + 7. Let i = 7 + -2. Is 16 a factor of c(i)?
False
Does 46 divide (-317 + 4 - -4)*1/(-3)?
False
Let c(z) = -z + 4. Let s be c(3). Let r be 1 + 2/s + -1. Suppose 33 = 3*q - 4*i, -4*i + 3*i - 17 = -r*q. Does 4 divide q?
False
Let v(j) = 9*j**2 - 2*j - 4. Is 4 a factor of v(2)?
True
Suppose 5*l + 5 = 0, -8 = -4*r - 3*l - l. Let f = -1 + r. Suppose -2*b - 2 - 8 = 0, -f*b = -5*m + 115. Is 10 a factor of m?
False
Suppose r + 240 = 2*c, -5*c + 8*r - 4*r = -594. Is 25 a factor of c?
False
Let i be 1*4*(-3)/3. Let n(h) = -h**3 - 4*h**2. Let y be n(i). Suppose -2*j + 8 + 38 = y. Is 10 a factor of j?
False
Suppose 159 = 4*m - 5*u, 24 = m + u + 3*u. Let j(w) = -w**2 + 13*w + 27. Let k be j(16). Let p = m + k. Does 11 divide p?
False
Is 10 a factor of (-20)/7*(-35)/10?
True
Let a = 60 - 25. Let g = a - 14. Does 7 divide g?
True
Suppose z - 78 = 30. Let n = -70 + z. Is n a multiple of 10?
False
Is 3/(-4) - (-756)/48 a multiple of 8?
False
Let x be 88/(-5) + (-12)/30. Does 6 divide (96/x)/((-2)/6)?
False
Suppose 0 = -6*n + 4*n + 32. Let o = 22 - n. Is 3 a factor of o?
True
Let z be 2 - (-7 + 3 - -1). Let y(r) = 3*r + 9. Does 12 divide y(z)?
True
Let o = -187 + 408. Is o/3 + 9/27 a multiple of 15?
False
Let r be (-2 + 5)*(2 - 1). Let v = 11 - r. Does 3 divide v?
False
Suppose -4*t - 4*a = -282 + 66, 4*t = -5*a + 218. Suppose 3*n - 4*z = 26 + 32, 0 = 3*n + 2*z - t. Is n a multiple of 4?
False
Suppose -10 = -3*l + 89. Let i = 46 - l. Is i a multiple of 8?
False
Let y(m) = -2*m**2 + 3. Let j be y(2). Let q(d) = -d**3 + 4*d. Let z be q(7). Is z/(-25) + (-2)/j a multiple of 13?
True
Suppose 4*o = 10 + 10. Let v(x) = 0*x**2 + 7*x**2 + o*x**2. Does 6 divide v(1)?
True
Let t = -68 - -160. Is t a multiple of 46?
True
Let n(y) = y**2 + 4*y - 1. Let q be n(-6). Suppose 15 = 3*o, 4*w + 1024 + 187 = -o. Is 10 a factor of w/(-22) + 2/q?
False
Suppose -4*w - 150 = -966. Suppose w + 16 = 5*i. Is 22 a factor of i?
True
Let j(f) = -f**3 + 3*f**2 + 7*f - 7. Let k be j(4). Suppose -r = k*a - 315, -4*a - 2*r + r = -252. Does 16 divide a?
False
Suppose 14 = q - l, 2*l = 3*l - 5. Does 19 divide q?
True
Let y = 197 - 170. Is y a multiple of 9?
True
Let r(p) = 2*p - 5. Let t be r(4). Suppose -5 = -2*u - 1. Suppose -2*f - u = -t*f. Is 2 a factor of f?
True
Let o be 1 - (-1)/(-1)*1. Suppose o = s + s - 58. Suppose -2*v + s = -19. Is v a multiple of 10?
False
Let l be (-3)/(-1)*(-8)/(-12). Let p(n) = 4*n**3 - n**2 + 2*n - 3. Is 17 a factor of p(l)?
False
Let x(r) = 3*r + 8. Is 8 a factor of x(8)?
True
Let x = 231 + -95. Suppose -4*n = -6*n + x. Does 34 divide n?
True
Suppose 1 = -2*f + 17. Let g(v) = 2*v + 2. Is g(f) a multiple of 6?
True
Is 1400/63 + 2/(-9) a multiple of 22?
True
Suppose -4*a = 5*v + 12 + 8, -12 = -3*a + 3*v. Suppose a = -3*h + 2*h + 36. Is h a multiple of 18?
True
Suppose 4*k - 3*u + 346 = 0, k + 2*u + 79 = -u. Let i = -45 - k. Is 17 a factor of i?
False
Let g = 