 of i?
True
Let x(i) be the first derivative of 13*i**4 - i**2 + i + 2. Is 13 a factor of x(1)?
False
Let j(b) = -b**3 - 2*b**2 - 2*b + 4. Suppose -3*i - 92 = -7*i. Let w = -27 + i. Does 11 divide j(w)?
True
Suppose -14*u + 24 = -8*u. Suppose -7*a + 66 = -u. Is a even?
True
Let a be (-3)/((-6)/4 + 0). Suppose 3*h = -v - 8, -a*h + 1 = 5*v + 28. Let k = 34 - v. Is 13 a factor of k?
True
Let g(b) = 13*b**2 - 2*b. Let y be g(-1). Suppose -y = -5*u - 0. Suppose 2*n - u*j = 122, 5*j + 184 = 3*n - 0*n. Does 21 divide n?
False
Suppose 0 = -2*v + 8, 4*v - 13 = -3*k + 3*v. Suppose 0 = 4*h + 2*y - 8, -4*h + k*y + y + 32 = 0. Suppose h*s - 80 = -s. Is 16 a factor of s?
True
Let m(a) = -a**2 + 15*a - 12. Suppose g + 15 = 6*g. Let p(y) = y + 1. Let z(t) = g*p(t) + m(t). Does 12 divide z(15)?
True
Let j = 20 + -4. Is 4 a factor of -3 + 3 + 1*j?
True
Let q = 19 + -10. Suppose 3*n + 0*n = -q. Is 27 a factor of (3/4)/(n/(-156))?
False
Let v(d) = 3*d + 5 - 3*d - d. Let w = -33 - -26. Is v(w) a multiple of 6?
True
Let c(v) = -v**3 - 8*v**2 - 24*v - 16. Let d be c(-9). Let z = d + -43. Is 35 a factor of z?
False
Let v(j) = 19*j**2 - 39*j - 216. Does 52 divide v(-7)?
True
Let g(i) = 78*i + 26. Let l be g(5). Suppose -l = -6*s + 622. Does 16 divide s?
False
Let z(n) = 13*n**2 - 6*n + 18. Let b be z(5). Suppose -3*o = -b - 263. Is o a multiple of 17?
False
Let n = -1696 + 3208. Is n a multiple of 18?
True
Let c be (-7)/((-35)/(-170)) - (1 + 0). Let f = 46 + c. Is 6 a factor of f?
False
Let a = 41 + -64. Does 21 divide (-70)/(-20)*(1 - a)?
True
Let n(v) = v**2 - 5*v + 6. Let b = -30 - -35. Does 3 divide n(b)?
True
Suppose -s + 4*x + 97 = 0, 3*s - 3*x = -175 + 511. Let g = s + 96. Let q = -108 + g. Is q a multiple of 31?
False
Suppose -4*y + 924 = -10*y. Let o = -70 - y. Is o a multiple of 7?
True
Is (-21190)/(-66) + (-136)/2244 a multiple of 21?
False
Suppose -55*f + 70000 = -27*f. Is 100 a factor of f?
True
Let d = 140 - 100. Is 23 a factor of d*6*30/75?
False
Let x(n) = 2*n**3 + 11*n**2 - 8*n - 5. Let o be ((-18)/(-15))/((-1)/5). Let b be x(o). Let i = 17 - b. Is 4 a factor of i?
False
Let o(c) = 3*c**2 - 4*c**2 + 2 - c + 5*c**2 - 2*c**2. Is 3 a factor of o(-2)?
True
Suppose 3*w - 7*w - 24 = 0. Let n(s) = s + 11. Let q be n(w). Suppose -y = -24 + q. Does 6 divide y?
False
Suppose -7*d = -6*d - 30. Suppose -1 = -v - 4*m + 5, -5*v + d = 4*m. Is 2 a factor of v?
True
Let i(v) = 14*v - 9. Let k(s) = 140*s - 91. Let a(q) = -21*i(q) + 2*k(q). Let b be a(-3). Let y = b - 21. Is 7 a factor of y?
True
Let y(w) = w**3 - 8*w**2 + 2*w - 8. Suppose u + 5*q = 3, 3*u = u - 5*q + 11. Is 4 a factor of y(u)?
True
Suppose 0 = -5*t + 5*w + 180, -5*t + 32 = w - 142. Suppose 0*p - p = 5, 5*x + p = t. Is x a multiple of 8?
True
Let g(n) = -4*n**3 - 4*n**2 + 41*n + 235. Is g(-6) a multiple of 18?
False
Does 57 divide 10/(-30) + 27708/18?
True
Suppose 8*o = 6*o + 26. Suppose o - 4 = g. Suppose -2*d - 1 + g = 0, -2*d - 32 = -4*m. Does 10 divide m?
True
Suppose 0 = 40*o - 20*o - 4540. Is 102 a factor of o?
False
Let z(w) = -2*w + 3. Let l be z(-3). Suppose -13*n + l*n + 60 = 0. Is n a multiple of 7?
False
Suppose 5*l + 15 = -5*d - 5, 8 = -l + 3*d. Does 6 divide 1/(l - -7 - 82/42)?
False
Let y(q) be the second derivative of q**4/6 + q**3/6 - 23*q**2/2 + 2*q - 40. Does 4 divide y(-7)?
True
Let b(i) = -25 + 0*i - i + i + 3*i. Let d be b(10). Suppose d*a - 175 = 185. Does 12 divide a?
True
Let d be (8/(40/25))/(3/21). Let z(h) = 2*h - 3. Let r be z(-6). Let y = r + d. Does 4 divide y?
True
Let f(k) = 18*k. Suppose 4*w - 88 + 84 = 0. Does 3 divide f(w)?
True
Suppose -i = -3*a - 92, 0*i - a + 226 = 3*i. Suppose 3*j + 62 = 4*g + 5*j, -4*g = 5*j - i. Does 5 divide g?
False
Suppose 5*h + 110 = 25. Let l = 246 + -217. Let q = h + l. Is 10 a factor of q?
False
Let w = -638 + 1431. Does 67 divide w?
False
Suppose -7*v + 3*v + 108 = 0. Suppose -2*f + f = -v. Suppose -7*t - f = -10*t. Is 9 a factor of t?
True
Let k be 2 - 5 - 8*-1. Let l(z) = k + 6*z**3 + 13*z + 3*z**2 - 5*z**2 - 4*z**3 - 3*z**3. Is 4 a factor of l(-5)?
False
Let t(p) = -128*p - 82. Is 19 a factor of t(-4)?
False
Let a be (-7)/14*(1 + -41). Suppose 8*g = a + 428. Is 8 a factor of g?
True
Let r be -88*(-1 - 2)/3. Let n = r - 37. Is n a multiple of 17?
True
Let c(p) be the second derivative of p**5/20 - 2*p**4/3 + 5*p**3/3 + 3*p**2/2 - 54*p. Suppose 1 = -m + 8. Is c(m) a multiple of 13?
False
Let k(o) = o**3 + 15*o**2 - 5*o - 27. Is k(-15) even?
True
Suppose -2*l = 2 - 6. Suppose -l*h = -5*a - 33, a = -5*h + 3*a + 72. Does 9 divide h?
False
Suppose -50176 = -197*j + 165*j. Is j a multiple of 98?
True
Let v = 24 + -7. Suppose -4*n - 3*m = -v, -4 = 2*m + 2*m. Suppose 0*w + n*w = 5*i + 135, -3*i = -5*w + 139. Is w a multiple of 6?
False
Suppose 2*k - 88 = -h, -5*k = -3*h - 3*k + 224. Suppose u - 5 = -t + 34, 2*t + u - h = 0. Suppose -j - t = -d, -4*d + 132 = -0*j + 4*j. Is d a multiple of 12?
True
Suppose -4*o - h + 42 = 0, 5*o = -h + 20 + 33. Suppose 144 = 13*d - o*d. Is 18 a factor of d?
True
Suppose 33 = 2*p + p. Suppose p*l - 2*l = 972. Is l a multiple of 24?
False
Let v be ((-9)/(-2) + -5)/((-2)/12). Suppose 0*s = 2*f + v*s - 27, -4*f + 57 = 3*s. Does 14 divide f?
False
Suppose -3*s + 43 = 5*x, 0*s + 1 = s. Let c(m) = -6*m + 10 - 2*m + 0*m + 2*m + m**3 - 7*m**2. Is 8 a factor of c(x)?
False
Let u(d) = -d**2 + 53*d + 16. Does 112 divide u(47)?
False
Let a = 48 - 46. Suppose -q = 4*w - 75, a*q - 179 = 3*w - 62. Does 21 divide q?
True
Let s(q) = -2*q**2 + 4*q + 5. Let d be s(6). Let x be (-64)/2*(-1 - 1). Let z = d + x. Does 13 divide z?
False
Let o be -195 + 0 + 3 - (2 - -1). Let m = -114 - o. Does 18 divide m?
False
Does 22 divide ((-2816)/(-20))/(4/10)?
True
Let u(x) = 431*x**2 + 47*x + 149. Is u(-3) a multiple of 25?
False
Let j(x) = x - 4. Let i be j(3). Let r(s) = -5*s - 1. Let h be r(-1). Is 34/(i/(h/(-8))) a multiple of 17?
True
Let d be (-2)/8 - 75/(-12). Suppose -x + d*x = 10. Suppose 6*n - x*n = 112. Is n a multiple of 9?
False
Suppose -3*t = -0*t - 123. Suppose -3*x - t = 49. Let u = x - -85. Is 11 a factor of u?
True
Suppose -3*n + 4319 = -n + 5*w, 2162 = n + 5*w. Does 19 divide n?
False
Suppose 3*t = -5*b + 1505, -2*b + 1191 = 2*b + 5*t. Let v be b/(-9) - (-12)/(-54). Let j = -19 - v. Is j a multiple of 15?
True
Let y(r) = -3*r + 1. Let x be y(-7). Suppose -21*a - 159 = -x*a. Is a a multiple of 23?
False
Let c = -17 - -28. Suppose 4*p - 153 = 2*o - c, 5*o = -15. Is 34 a factor of p?
True
Let f be 45/(-135)*0*1/(-2). Let b(z) = -35*z**2 + z + 1. Let h be b(-1). Let c = f - h. Is 9 a factor of c?
False
Let v be 2/(-4)*16/8. Let o be -4*4/8*v. Suppose 4*j - 58 = -o*y, -48 = -3*j + 2*y - 1. Is 15 a factor of j?
True
Let o be 2544/8 + (-2 - -2). Suppose -o = -6*y + 654. Is y a multiple of 27?
True
Suppose 2*l - o = 11, -17 = l + 3*o - 5. Suppose -l*k + 485 = 2*k. Is k a multiple of 10?
False
Suppose 308 = 3*y + 47. Does 29 divide y?
True
Let z(u) = u**3 + 4*u**2 - 2*u + 12. Let b be z(-5). Let v(y) = 2*y - 1. Let q be v(b). Let d(h) = -7*h - 9. Is d(q) a multiple of 10?
True
Suppose -301 = -3*h + 11. Is 8 a factor of h?
True
Let t(c) = c**2 - 19*c + 20. Suppose 114 = 6*p - 0*p. Let n be t(p). Let w = n - 7. Is w a multiple of 6?
False
Let o(j) = -5*j**3 + 9*j**2 + 7*j + 5. Let b be o(-7). Suppose 4*v - b = -8*v. Is v a multiple of 15?
False
Let x be (-12)/(-48) - (-934)/8. Let m = x - 53. Let i = 96 - m. Is i a multiple of 16?
True
Suppose -40*s - 3871 = -47*s. Is 35 a factor of s?
False
Suppose 0 = -17*l + 7*l + 90. Suppose -k = -5*z - l + 44, -5*z + 2*k = -30. Is 2 a factor of z?
True
Let p(g) = 6*g**2 + 18*g - 12. Let c(r) = r**2 + r. Let u(k) = 4*c(k) - p(k). Is u(-6) a multiple of 24?
True
Suppose 0 = 350*i - 363*i + 13156. Does 23 divide i?
True
Let l be (-4)/10 + 64/10. Let y(b) = b - 6. Let u be y(l). Suppose 5*n + 5*v - 270 = u, -2*n - 2*v + 282 = 3*n. Is n a multiple of 15?
False
Let j(q) = -q**3 + 22*q**2 + 34*q + 20. Is 13 a factor of j(23)?
True
Suppose 10 + 4 = 7*f. Suppose 0*n + 50 = f*n. Is 5 a factor of n?
True
Let m be (-28)/10*200/(-16). Let f = m - -8. Is f a multiple of 4?
False
Suppose 3*l = -s - l + 10, 2 = 3*s + 5*l. Let d = s + 33. Suppose 0 = v - 4*n - d, -7*n = -v - 2*n + 31. Is 9 a factor of v?
False
