q be (5/(-15))/(2/f). Let g = q + -3. Is g a multiple of 3?
False
Let z = 5 - 1. Is z a multiple of 4?
True
Let k(i) = i**3 + 4*i**2 + 4*i + 3. Let p be k(-2). Let b be -5*(0 + p/(-5)). Suppose -3*q = -a + 11 - b, 0 = -5*a - 5*q + 40. Is a a multiple of 4?
True
Suppose -12 = -3*a, -q - 2*q - 2*a + 101 = 0. Suppose 41 = 3*c - q. Suppose 4*r = r + c. Is 4 a factor of r?
True
Let a(j) = -12 - 4*j**2 - j + 5*j**2 - 6*j. Let v be a(10). Suppose -45 = -5*h + s - 3*s, 5*s = 2*h - v. Is 6 a factor of h?
False
Suppose 0 = -3*o - 0*o + 159. Suppose -5*k + o - 13 = 0. Does 7 divide k?
False
Is 26*(-2)/(-14) + (-4)/(-14) a multiple of 3?
False
Let d = -1 - -5. Suppose -d*i + 160 = -2*i - 3*z, -5*i = -3*z - 400. Is i a multiple of 20?
True
Let r(b) = -b - 1 - 1 - 6. Let l be r(0). Let j = 13 + l. Is 5 a factor of j?
True
Suppose -1314 = -13*i + 402. Is 33 a factor of i?
True
Does 6 divide -3 + 3 - -2 - -5?
False
Let n = -6 + 60. Suppose n - 177 = -3*p. Suppose 0 = 3*z - 5*x - p, -2*z + x = 9 - 34. Is 5 a factor of z?
False
Let a(r) = 2*r**2 - 3*r - 4. Let n be a(3). Suppose 5*g - 165 = -3*d, n*g - 175 = -0*g - 5*d. Is 15 a factor of g?
True
Let u = -78 - -99. Is 5 a factor of u?
False
Suppose 77 = 5*z + k - 557, 5*k - 20 = 0. Is z a multiple of 29?
False
Let a = 14 - -6. Suppose 5*y + 5*i - 330 = 0, 3*i = -2*i + a. Suppose 3*f + x - 2*x = y, x - 26 = -f. Does 10 divide f?
False
Suppose 2*g + 5 + 21 = 0. Let m = -3 - g. Is 3 a factor of m?
False
Let h(o) = -o**2 - 4*o + 8. Let i be h(-6). Let w(z) be the first derivative of z**3/3 + z**2 + 3*z - 2. Is w(i) a multiple of 4?
False
Suppose 0 = -4*w - k + 9 + 7, -3*w = -k - 12. Let m(z) be the second derivative of 5*z**3/3 - z**2 + z. Is 19 a factor of m(w)?
True
Suppose -2*g = 3*r - 66, 5*r + 50 = 2*g - 0*r. Let c be 4/16 + g/8. Suppose 156 = c*s - s. Is 18 a factor of s?
False
Let c(n) = n**3 + n**2 + n + 55. Let z be c(0). Suppose -3*p + z = -2*p. Is 14 a factor of p?
False
Suppose -3*m + 0*r = -2*r - 285, -m + 2*r = -95. Is m a multiple of 19?
True
Let y = -5 - 1. Is 6 a factor of (-9)/(-2)*(-8)/y?
True
Suppose 99*o - 95*o - 244 = 0. Is 4 a factor of o?
False
Suppose 0 = 3*y + x + x - 13, 0 = -y + x + 6. Let p be 1/(-4) - 114/(-8). Let n = p - y. Does 9 divide n?
True
Does 9 divide (-11 - -11) + (94 + -2 - 2)?
True
Let x(i) = 18*i**3 + i**2 - 2*i + 1. Let b be x(1). Let y = -2 - -2. Suppose y = -3*k - 3*a + b, -3*k + 30 = 2*k - 4*a. Is 6 a factor of k?
True
Let q = -9 - -7. Is 13 a factor of q/(-1) + 5 + 18?
False
Let z(k) = -2*k**3 - 3*k**2. Let q be z(-2). Suppose q*h = -5*g + 347, -4*g - 430 = -5*h - 9*g. Suppose -5*t + 7 + h = 0. Does 9 divide t?
True
Suppose -2*y + 2*i = -2*i + 18, -10 = -2*i. Let u be y/(-2) - 36/(-8). Suppose 3*g + 8 = u*g. Is 5 a factor of g?
False
Suppose 78 = 3*z - z. Is z a multiple of 13?
True
Let q be 1/(-4) + (-6)/(-24). Suppose 3*a + q*a - 198 = 0. Is a a multiple of 22?
True
Let s(h) = 3*h**2 + 6*h + 7. Is s(-3) a multiple of 3?
False
Let j(k) = -k**3 + 8*k**2 + 4*k - 16. Does 4 divide j(8)?
True
Suppose v = 146 + 124. Does 15 divide v?
True
Let n be (-3)/12*2*-36. Let p = -11 + n. Let m(b) = b**3 - 8*b**2 + 8*b. Is m(p) a multiple of 5?
False
Suppose 154 = 5*y - 106. Suppose 0 = 5*n - 20. Suppose -4*w + 8 = 0, -5*i + n*w + y = -0*w. Does 12 divide i?
True
Let p = -18 - -28. Does 5 divide p?
True
Suppose 3*j = -2*j. Suppose -3*p + 4*p + 2*v - 16 = j, -5*p = 2*v - 72. Is p a multiple of 14?
True
Let l(a) = -a**2 - 2*a - 3. Let d be l(-2). Let w be 0/(d/(-1) - 2). Suppose 0 = -o + 4 - w. Is o a multiple of 2?
True
Let j be (-9 - 0)/(-3) + -1. Suppose 4*f = j*f + 86. Let l = -28 + f. Is 15 a factor of l?
True
Let o be ((-3)/(-9))/((-3)/(-9)). Let c = -2 - o. Is 3 a factor of -10*(6/5)/c?
False
Let v(i) = 14*i - 12*i + 0 + 3*i**2 + 0. Is v(-3) a multiple of 7?
True
Let k = 137 + -95. Let x(r) = -26*r**2. Let v be x(-1). Let j = v + k. Is j a multiple of 8?
True
Suppose 26 = n - 4. Suppose 0 = -k + 3*k - n. Is k a multiple of 11?
False
Let b(z) = z + 6. Let g be b(-9). Is 1 - (-3 - -18)/g a multiple of 3?
True
Let t(x) = x**3 + 2*x**2 - 3*x + 4. Let z be t(-3). Suppose -3*k = 4*c - 40, 5*c + z*k = 4 + 45. Is c a multiple of 13?
True
Let x(c) = -c**2 - 4*c. Let j be x(-3). Suppose -2*g = 2*g - 4*l - 8, 4*g - 3*l = 9. Suppose g*w + 4*k = 9*k + 54, k - j = 0. Does 8 divide w?
False
Let h(a) = -a**2 - 5*a + 8. Let i be h(-6). Suppose -2 = -5*t + i*m - 0, 0 = 4*t - 3*m + 4. Suppose t*j = -l + 2*l, -j = -2. Is 2 a factor of l?
True
Does 7 divide (72/(-27))/(4/(-30))?
False
Let z = -1 + 9. Let s = z + -5. Does 9 divide s/(-4)*3*-4?
True
Does 31 divide 1*103/2*2?
False
Suppose 13*s = 18*s - 70. Is s a multiple of 6?
False
Let y = 34 - 23. Let g = y - -15. Is g a multiple of 23?
False
Suppose -5*i = -20, 2*b + 169 = -4*i - 5. Let f = b + 160. Suppose -4*u = -f - 67. Does 22 divide u?
False
Let c(n) = n**3 - 2*n**2 - 7*n + 6. Let b be c(4). Let s = 12 + b. Does 9 divide s?
False
Let u = 2 - 4. Suppose -502 = 4*q + 182. Does 23 divide (u/(6/q))/1?
False
Suppose -2*a + 72 = a. Suppose 0 = 5*o - 5*b - 20, -o - 4*b + a = 3*o. Suppose o*h - h - 56 = 0. Is 13 a factor of h?
False
Suppose -l + 4*x - 15 = 0, -x + 6*x = -4*l + 24. Let m = 5 - l. Let w = 20 - m. Does 16 divide w?
True
Let n(p) = -317*p**2 - p. Let u be n(-1). Does 19 divide (-4)/(-6) - u/12?
False
Let d(c) = c**3 + c**2 + c + 1. Let h(o) = -2*o + 3*o**2 - 6*o**3 - 2*o - 8 - 10*o**2. Let i(n) = 5*d(n) + h(n). Does 10 divide i(-4)?
False
Does 25 divide (-548)/(-6) - 2/(-3)?
False
Suppose -2*d - 3*p + 95 = 0, -4*d = -7*p + 3*p - 240. Is 17 a factor of d?
False
Suppose h + 715 = 6*h. Suppose 0*o + 3*t = -2*o + h, -136 = -2*o + 4*t. Is 22 a factor of o?
False
Suppose -2*f - 2*i = -6, 2*i = f + i - 11. Let v = 3 + f. Is 6 a factor of v?
False
Let y be (-4 - -46)*(4 + -3). Suppose -3*f - b + y = 2*f, -12 = -f + b. Is f a multiple of 3?
True
Suppose -m = 4*m + 10. Let b be ((-3 - -1) + 1)*m. Suppose 8 = -b*p, 5*c - 107 = -5*p - 17. Is c a multiple of 11?
True
Let k be (-43)/(-9) + 2/9. Suppose 2*i = -5*u - 0*i - 126, 3*i - 111 = k*u. Is 18 a factor of 3/(-4)*(u - 0)?
True
Let d(m) = -5*m**3 - m**2 - 5*m - 9. Is d(-3) a multiple of 11?
True
Let p = 7 - 7. Suppose p*f + 54 = f. Suppose -m = -2*a - 52, 2*m + a = 3*m - f. Is 28 a factor of m?
True
Let t be 4/(104/(-28) - -4). Is 7 a factor of (t/(-4))/((-2)/20)?
True
Let a = 9 + -9. Suppose 7*q - 2*q - 20 = a. Does 4 divide q?
True
Let a(k) = 21*k - 1. Is a(1) a multiple of 3?
False
Suppose -2*r + 2*j + 42 = 16, 0 = -2*r + j + 24. Let a = r - -6. Is 16 a factor of a?
False
Let s(z) = -42*z - 8. Let j(o) = -14*o - 3. Let m(h) = -8*j(h) + 3*s(h). Let x be m(1). Let w = 24 + x. Is w a multiple of 10?
True
Let s = -124 - -205. Is 27 a factor of s?
True
Let v = 7 + -4. Suppose 0*f + f + 1 = 0. Is 3 a factor of f + 1 + 2*v?
True
Let i = 8 - 4. Let y = 8 + i. Suppose 2 = -2*p + y. Is p even?
False
Suppose -83 = -2*g - 3. Is 8 a factor of g?
True
Suppose 5*i = 100 + 70. Is 9 a factor of i?
False
Let b(k) = -7*k - 9. Let v(z) = 20*z + 26. Let r(s) = -17*b(s) - 6*v(s). Suppose 34 - 2 = -4*t. Is 2 a factor of r(t)?
False
Let c(q) = q + 1. Let z be c(-7). Let m(i) = i**3 + 8*i**2 + 7*i + 6. Is m(z) a multiple of 11?
False
Let r be 8/(-4) - (-1 + 0). Does 21 divide (-78)/(-9)*(-6)/r?
False
Let l be (0 - -1)/(7/231). Let s = -72 + l. Let h = -24 - s. Is h a multiple of 15?
True
Suppose -4*p + 4*n + 184 = 0, -2*p - 3*p = 4*n - 194. Suppose -3*o + 5*o - 5*r - 40 = 0, 3*r - p = -o. Is o a multiple of 10?
True
Let q = 97 + -41. Does 7 divide q?
True
Let j = -7 - -22. Is 15 a factor of j?
True
Let t = 3 - -7. Suppose -5*h - 1 = 2*k + k, -k + 4*h = -11. Suppose k*w + 1 - t = 0. Does 2 divide w?
False
Suppose -1 = -2*m + 3. Let s = 12 - m. Does 5 divide s?
True
Suppose -4*a + 332 = 44. Is 23 a factor of a?
False
Let a(g) = -g**3 - 4*g**2 + 1. Is a(-5) a multiple of 11?
False
Let f = 3 - -2. Suppose -309 = -f*l + u + 14, u = -3*l + 189. Is l a multiple of 16?
True
Let r = 3 - 9. Let f(j) = -3*j + 1. Is 8 a factor of f(r)?
False
Let y be (-32)/14 + (-6)/(-21). Is 1/(-2) + (-61)/y a multiple of 15?
True
Let y(u) = -u**3 - 17*u**2 - 31*u. Is 8 a factor of y(-15)?
False
Suppose 0 = 4*o + 4*q + 4, 2*q + 17 = -0*o + 