iple of 34?
False
Let k = 47 + -60. Let g(a) = a**2 + 13*a + 16. Is g(k) a multiple of 3?
False
Let t = -1 - -1. Suppose h + 6 = -t*h. Let i(j) = j**3 + 7*j**2 + 4*j - 3. Is i(h) a multiple of 2?
False
Let s(f) = 12*f - 1. Let t(l) = -47*l + 4. Let y(i) = 9*s(i) + 2*t(i). Let n be 6/(-4)*-1*4. Does 15 divide y(n)?
False
Let j(x) = -x + 10. Let k be j(6). Suppose -6*p + k*p + 150 = 4*i, 5*i = -4*p + 180. Is 40 a factor of i?
True
Suppose -w = -6*w + 305. Let o = w + -48. Is 4 a factor of o?
False
Let x = -1889 + 2873. Is 67 a factor of x?
False
Suppose i = 3*c + 88, -4*i + 23 = -2*c - 19. Is (-19 - -17)/(2/c) a multiple of 13?
False
Let o = -164 - -251. Is 14 a factor of o?
False
Let v = 96 + 43. Suppose 3*i = v + 218. Is i a multiple of 17?
True
Suppose 5*s = -49*s + 96174. Is 29 a factor of s?
False
Let h = -5 - -19. Let g(q) = -q**3 + 14*q**2 + 6*q - 20. Is g(h) a multiple of 16?
True
Let h(j) = -17*j**3 - 2*j**2 - j - 8. Is h(-3) a multiple of 66?
False
Suppose 0 = -4*j - 4 - 0, 4*j + 16 = 4*m. Suppose 3*a - 4*u = 1, 4*a - 13 - m = -2*u. Suppose -a*f + 39 = -q, -f = 2*q - 3 - 3. Is f a multiple of 12?
True
Let d(k) = k**2 - 15*k + 26. Let p be d(13). Let a(h) = 2*h + 36. Does 12 divide a(p)?
True
Let t(r) = 3*r - 12. Let n be t(8). Suppose -2*z - 572 = -3*u, u + n = z + 203. Is u a multiple of 38?
True
Let w(z) = z. Let v(q) = 31*q - 1. Let o(m) = -3*v(m) + 6*w(m). Does 30 divide o(-1)?
True
Let u(h) = -h**2 + 32*h - 12. Let z(t) = t**3 - 4*t**2 - 19*t + 17. Let x be z(7). Is 3 a factor of u(x)?
False
Suppose 142*a - 1916 = 138*a. Does 73 divide a?
False
Let m = -15 - -22. Suppose 12*h = m*h + 230. Is h a multiple of 23?
True
Let k(i) be the second derivative of 263*i**3/6 - i**2/2 + 5*i + 5. Is k(1) a multiple of 12?
False
Let i = 640 - -461. Does 28 divide i?
False
Let x(r) = 5*r**3 - 32*r**2 + 4*r + 50. Is 27 a factor of x(10)?
True
Let f be (-4)/(-20) + (72/(-10) - 1). Is 3 a factor of (-2)/f*2 - 270/(-20)?
False
Let d = 1 - 1. Let h(p) = -2*p - 22. Let r be h(-12). Suppose d = r*j - 6*j + 32. Is j a multiple of 3?
False
Suppose 0 = -b + 11 + 1129. Does 10 divide b?
True
Suppose 4*z - 11120 = z - 2*a, z + 3*a - 3702 = 0. Is z a multiple of 12?
True
Suppose 0 = -7*r + r + 438. Let t = r - 37. Is 9 a factor of t?
True
Suppose 2*m + 27 = 2*j + 3987, 2*m - 3*j = 3960. Does 110 divide m?
True
Suppose -4 = -4*f, 4*o - 7 = 4*f + 1. Let v(z) = -z**2 + 6*z - 5. Let a be v(o). Suppose -a*u = -0*u - 128. Does 16 divide u?
True
Suppose 3*a + 3 = 0, -5*a = -8*z + 3*z + 70. Let k = 34 + z. Does 37 divide k?
False
Let w = -47 + 49. Suppose 0 = w*h - 2, -4*r - 2*h + 706 = -0*r. Does 12 divide r?
False
Suppose -3*w = 5*x - 567, 0 = 5*w - 14 - 6. Let n = -71 + x. Is 22 a factor of n?
False
Let o = -33 + 37. Suppose 85 = o*u - 7. Is u a multiple of 12?
False
Let p(h) = h**3 - 3*h**2 - 9*h + 23. Let x be p(4). Suppose s = 5*d + 6*s - 85, x*s = -d + 19. Is d even?
True
Let g(d) be the first derivative of -d**2 + 12*d - 8. Let v be g(7). Does 23 divide 1 - 1/v*74?
False
Let o = -102 + 143. Suppose 0 = -5*u - 4*v + 3*v, -4*u + 3*v = 0. Suppose -c - 7 + o = u. Does 13 divide c?
False
Let m = -21 + 26. Suppose -3 = m*a - 8. Let r(j) = 27*j + 3. Is r(a) a multiple of 24?
False
Let i be 390/(-8) - (-7)/(-28). Let k = 28 + i. Is (-684)/k + (-6)/(-14) a multiple of 30?
False
Let n(h) = 2*h**2 - 1 - 2*h + 0*h + 1. Let l be n(3). Is (99/l)/((-1)/(-4)) a multiple of 11?
True
Suppose 8542 + 14243 = 15*k. Is k a multiple of 48?
False
Does 143 divide (-179 + 28/(-4))*(-4)/3?
False
Let g = 5 + 45. Does 5 divide 133/5 - (-20)/g?
False
Suppose 2*z + 8 = 4*z. Suppose z*s - 276 = -4*q - 0*s, 2*s = -q + 64. Suppose -5*a - q = 3*f - 7*f, 5*f - 4*a = 97. Is 7 a factor of f?
True
Let r = 128 - -2. Suppose 0 = 12*q - 7*q - r. Does 26 divide q?
True
Let t be (-2)/(-4) - 28/(-8). Suppose u = t*u + 6. Is 4 a factor of (-8)/8 + (-14)/u?
False
Suppose -2*k + 189 = -k. Let f = -94 + k. Is f a multiple of 19?
True
Suppose -2*k = 1505 - 5989. Let f be 8/(-40) + k/10. Suppose 3*w - 4*b - f = -5*b, -146 = -2*w - 4*b. Is w a multiple of 26?
False
Let g = 366 + 871. Is 30 a factor of g?
False
Let s be (1 + 2)*21 - 4. Let u = s - 17. Let g = -20 + u. Is 4 a factor of g?
False
Let j(b) = b**2 - b - 49. Let c be j(-18). Let p = -133 + c. Is p a multiple of 20?
True
Let i(u) = u**3 + 9*u**2 - 3*u - 9. Suppose 2*f - 12 = -f. Suppose 0 = -3*c + f*k - 31, 0 = -c + 3*c + 4*k + 14. Is 9 a factor of i(c)?
True
Let z(g) = -13*g + 155. Is 2 a factor of z(-10)?
False
Suppose -7100 = -4*c - 3900. Is c a multiple of 101?
False
Suppose 4*x - 2785 = 615. Does 25 divide x?
True
Let c = -3 - 73. Let x = c - -108. Is 10 a factor of x?
False
Let u(p) = -5*p + 12. Let b(w) = -3*w + 6. Let g(z) = -7*b(z) + 4*u(z). Let m be g(-6). Suppose m*y = -4*y - i + 10, 4*i + 23 = 5*y. Does 3 divide y?
True
Let t = 1043 + 406. Is (-3)/8 + t/24 a multiple of 11?
False
Suppose -3*t - 12 = -m, -3*m - 2*m - 4 = t. Let k(l) = -4*l**2 + 5*l - 2. Let g(w) = 4*w**2 - 6*w + 3. Let c(n) = -6*g(n) - 7*k(n). Is c(t) a multiple of 20?
False
Is 5 - (-8)/(-6)*(-282)/4 a multiple of 38?
False
Suppose -2*g + 2098 - 336 = 0. Is 62 a factor of g?
False
Suppose -j = j - 4. Let d be 1/j*-2 - -21. Let b = 29 - d. Is 9 a factor of b?
True
Suppose 2*a + 3*y = 5*y + 564, 5*a = -4*y + 1455. Suppose 23 - a = -2*w. Does 12 divide w?
True
Suppose -21*l + 2509 = -1124. Is 16 a factor of l?
False
Suppose -3 = -5*c - 58. Let w(f) = 22*f + 157. Let k be w(-6). Let n = k + c. Is n a multiple of 4?
False
Let g be (-14)/4 + (-5)/(-10). Let p = 7 + g. Suppose -148 = -4*t - 3*d, -p*d + 105 = 2*t + 21. Is t a multiple of 13?
False
Let g = 38 - 23. Suppose g = -4*f - 9. Is ((-228)/18)/(4/f) a multiple of 19?
True
Suppose 45*k - 60788 = 46627. Is k a multiple of 51?
False
Let c be -70 - ((-15)/(-10))/((-1)/2). Let m = 5 - c. Is m a multiple of 7?
False
Let x = 15 - 5. Suppose -w - 4*l = -0 - 40, -w + 2*l + x = 0. Does 9 divide w?
False
Suppose -9*z + 8*z - 114 = 0. Let h = z + 194. Is 16 a factor of h?
True
Suppose -150*x + 159*x = 2016. Does 16 divide x?
True
Let i = 157 + 403. Is 80 a factor of i?
True
Does 22 divide (595/10 + 4)*2?
False
Suppose 5*k = k + 48. Let x = -89 + 89. Suppose x = -2*i - 0*i + k. Is 6 a factor of i?
True
Let o = 762 - 260. Does 33 divide o?
False
Let j(g) = -2*g**3 + 12*g**2 + 2*g - 8. Let t be j(6). Is 20 a factor of (-771)/(-9) + -2 + t/(-6)?
False
Let p be (-3)/(1/(2 + 0 + -1)). Is (-2)/5 - p*192/15 a multiple of 6?
False
Let v be 2 - -4 - (-2)/(-2). Suppose 2*c - 30 = -v*r, -2*c + 18 = -2*r + 4*r. Let i = 10 + r. Is 14 a factor of i?
True
Let w be 1 + (7 - 4) + -86. Is 20 a factor of 1 + 0 - (3 + w)?
True
Let s = 324 + -243. Is s a multiple of 25?
False
Suppose f - 5*f = -12. Suppose -2*k = 1 - 25. Suppose -p + f*t = k, -p + t = -0*p + 2. Does 3 divide p?
True
Suppose 10*o - 9*o - 55 = 0. Does 4 divide o?
False
Let p = -36 + 190. Does 12 divide p?
False
Suppose 0 = 30*v + 4*v - 7752. Is 12 a factor of v?
True
Is (-5)/((-35)/3726) + (-16)/56 a multiple of 28?
True
Let v(r) = 3*r + 30. Let c be v(-10). Suppose -1560 = -c*u - 8*u. Does 39 divide u?
True
Let l(y) = -7*y**3 + 2*y**2 + y - 1. Let g be l(-1). Suppose -3*t - 2*c + 214 = -g*c, 5*t - 378 = 3*c. Does 6 divide t?
True
Let i(k) = 8*k**2 + k**3 - 15*k**2 + 1 - 5 + k. Let d be i(5). Is (-2)/(51/d - -1) a multiple of 13?
False
Suppose -21*m + 18*m = -147. Is m a multiple of 32?
False
Let f(u) be the first derivative of -u**2 + 12*u - 20. Does 12 divide f(-5)?
False
Is 48 a factor of (-8)/96*2 - (-11294)/12?
False
Suppose 0 = -r + 4*f - 14, -r + 26 = 6*f - 2*f. Suppose 3*g = -5*a + 14, -r - 6 = -4*g. Let d = 22 - a. Is 10 a factor of d?
False
Suppose -3*f = -8*f + 545. Let u = f + -6. Is 21 a factor of u?
False
Let w(s) be the third derivative of 5*s**4/24 + 5*s**3/3 - 14*s**2. Is 8 a factor of w(7)?
False
Suppose -3 = -2*l - l. Suppose 3*x + l = -8. Does 4 divide ((-2)/4)/(x/42)?
False
Suppose -720 = -386*h + 380*h. Does 10 divide h?
True
Does 27 divide 3*6*(3 - (-114)/4)?
True
Suppose 2*k + 2*a - 7 = -25, 0 = a + 5. Is -2 - (-2 - k)/((-2)/47) a multiple of 5?
True
Suppose 25*n = 6*n + 2888. Is 19 a factor of n?
True
Let b = 276 - 114. Is b a multiple of 5?
False
Suppose 25*a = 2