ppose -606 = -4*r - 0*r + 2*o, -d*r + 755 = -5*o. Is r a multiple of 31?
False
Let y(f) be the second derivative of f**5/20 - f**4/4 + f**3/3 + 3*f**2 + f. Let q be -8*(-6)/12*-1 - -8. Does 9 divide y(q)?
False
Let c(g) = g + 1. Let z(m) = 17*m + 4. Let u(d) = 6*c(d) - 2*z(d). Does 13 divide u(-1)?
True
Suppose 310 + 455 = 3*x. Suppose r - 49 + x = 4*v, -5*v - 4*r + 268 = 0. Is v a multiple of 13?
True
Let r = -4 - -6. Let g(y) = -4 + 11*y - 5 - y**3 + 3 + 8*y**r. Is g(9) a multiple of 12?
True
Suppose -14*y = 81 - 319. Is y a multiple of 17?
True
Suppose 212 = -5*u + 1682. Does 7 divide u?
True
Suppose -35*l + 48*l - 4810 = 0. Is l a multiple of 29?
False
Suppose -3544 = 8*g - 10*g + u, -2*g = 5*u - 3544. Does 26 divide g?
False
Let m be (-2)/(2 + -10) + 159/4. Suppose -47 - m = -3*t. Does 18 divide t?
False
Let w = -3 - -8. Suppose -w*d + b + 237 = 0, 0 = -4*b + 18 - 6. Suppose 0 = -3*g - g + d. Does 7 divide g?
False
Is (69 + -67)/((-2)/(-61))*21 a multiple of 12?
False
Let y = 860 + -511. Is y a multiple of 46?
False
Let q(o) = -52*o - 36. Does 16 divide q(-5)?
True
Suppose 0 = 6*y - 8*y + 34. Let z be 25/2 + y/34. Is 14/(-91) + 223/z a multiple of 6?
False
Let n(k) = -k**2 + 5*k + 8. Let u be n(6). Let r be 49/28 - 1/(-4). Suppose 148 = r*y + 3*y - u*b, -44 = -2*y - 3*b. Is 10 a factor of y?
False
Suppose k = -4*k. Let r = 34 - 118. Does 14 divide r/(k - -3)*-2?
True
Suppose -2*a = -a - 3*p - 3, -3*a - 5*p = -65. Let k = a - 7. Is 11 a factor of k/28 + 306/7?
True
Let s(r) = 32*r - 107. Does 3 divide s(6)?
False
Is 13 a factor of (-702)/(-16) - 8/(-64)?
False
Let u(j) = j**2 + 3*j - 62. Is 17 a factor of u(-13)?
True
Let u(f) = -f**2 + f + 1. Let y(k) = 5*k + 4. Let g(h) = -5*u(h) + y(h). Suppose 0 = -c - 1 + 2. Does 4 divide g(c)?
True
Suppose 954 = 7*f - 2*f + 2*m, -4*m - 372 = -2*f. Is f a multiple of 11?
False
Let f(h) = -h**3 + 6*h**2 + h + 5. Let p be f(5). Let o = p + -17. Is 18 a factor of o?
True
Let u(d) = 10*d + 26. Is 16 a factor of u(0)?
False
Suppose -7*g + 5*g + 62 = 0. Suppose -u = -i + g, 5*i + u - 66 = 113. Suppose i = -b + 113. Does 12 divide b?
False
Suppose 0 = o - 3 - 4. Let f = o - 4. Suppose -g + f*u + 9 = -83, -2*u - 338 = -4*g. Is 31 a factor of g?
False
Suppose h - 4*h = -9. Suppose h*i + 53 = -5*k, -k = 4*i + 19 - 5. Let t = k - -38. Is 14 a factor of t?
True
Let g be -198*(-5)/30*4. Suppose 0*a - 4*y + g = 3*a, -2*a - 4*y + 88 = 0. Is 44 a factor of a?
True
Let j(c) = -7*c - 2*c**2 + 6*c**2 - 2*c**2 + 1. Suppose -131*y + 102*y + 232 = 0. Is j(y) a multiple of 13?
False
Let x be 1/(-3) - -2*39/18. Suppose 134 + 230 = x*o. Is 25 a factor of o?
False
Let u = -185 + 241. Suppose -3*y = -13 - 2. Suppose k = y*k - u. Is 3 a factor of k?
False
Suppose -4*v - h - 133 = 0, -h + 162 = -5*v + 2*h. Let s = -18 - -5. Let l = s - v. Does 7 divide l?
False
Let n = 904 + -664. Is 60 a factor of n?
True
Is 4 a factor of (-4 + (-4 - -7))/(1/(-292))?
True
Suppose 3*b + b + 330 = 2*m, 3 = -b. Suppose -3*z + m = -4*s + 5*s, -3*z + s + 159 = 0. Is z a multiple of 16?
False
Suppose 0 = 9*k - 10*k + i + 306, 4*k = i + 1224. Is 18 a factor of k?
True
Let o(y) = y - 16. Let d be o(13). Is 5 a factor of d + (-65)/(-20) + (-55)/(-4)?
False
Suppose -9*v + 4*v = -5. Let b be (v - 2)*72/2. Is 20 a factor of 724/18 + 8/b?
True
Suppose -4*q - 44 - 12 = 0. Is (q + 34)/(2 + -1) a multiple of 12?
False
Let b be 132*(-8)/(-4) + 4. Suppose -1000 = -5*f - 5*q, -63 + b = f + 2*q. Does 39 divide f?
True
Let h be (-6 - (-138)/24) + 10/8. Let c(y) = 283*y**2 + 2*y - 2. Does 11 divide c(h)?
False
Let c(y) = -y**2 + 19*y - 56. Let m be c(15). Suppose -o - 2*a + 41 = 0, -51 + 275 = m*o - 4*a. Does 10 divide o?
False
Let v(b) = 44*b + 26. Let u be v(3). Suppose -u = -w - 2*w + s, 0 = 2*w - 4*s - 122. Is w a multiple of 11?
False
Suppose 0 = 3*o - 6, 2*s + o - 11 = -s. Suppose -s*h = h + 316. Does 11 divide -2 - (4 - 3)*h?
True
Suppose 6*u = 5 + 7. Does 12 divide (-22)/(-3)*3 + u?
True
Let c = 33 - 42. Let o(l) = l**2 + 5*l + 12. Does 6 divide o(c)?
True
Let c = -68 - -71. Suppose 0 = 6*h - c*h - 198. Is h a multiple of 5?
False
Let t = 1964 - 851. Is 21 a factor of t?
True
Suppose 0 = -2*g + o + 3280, 2*g + 1650 = 3*g - 3*o. Is 21 a factor of g?
True
Let v(j) = 15*j - 4. Let w(p) = -16*p + 3. Let n(k) = -5*v(k) - 4*w(k). Does 28 divide n(-13)?
False
Suppose 12 = 4*f - 4. Suppose f*g + g - 140 = 0. Does 15 divide g?
False
Is -463*(-24)/21 + (-7)/49 a multiple of 51?
False
Suppose -8*c + 9*c - 4*u = 131, -469 = -4*c + 5*u. Is c a multiple of 3?
True
Let r = -80 + 448. Is 8 a factor of r?
True
Suppose 3*h = 9, 5*s - h + 861 = h. Is (-3)/12 + s/(-12) a multiple of 3?
False
Let n = -14 + 14. Suppose -4*o + n = -112. Is 7 a factor of o?
True
Let q(a) = 4*a**2 + 45*a + 342. Is 31 a factor of q(-14)?
True
Does 13 divide 2/(-16)*-2 + 13725/12?
True
Let g(d) = 9*d - 10. Does 7 divide g(5)?
True
Let c = 21 + -17. Let r be ((-204)/(-8))/(2/c). Let j = r + -31. Is 5 a factor of j?
True
Suppose -2*s + 5*b = -2439, 5*s - 5459 = 3*b + 686. Is s a multiple of 58?
False
Suppose -3*r + 38 = 4*j, -4*j - 4 = -7*r + 3*r. Suppose -r*c = -c - 175. Is c a multiple of 6?
False
Let n(o) = 175*o - 150. Let b(c) = c - 1. Let y(p) = -150*b(p) + n(p). Let u be y(10). Suppose u = 5*f - 0*f. Does 17 divide f?
False
Let r = -11 - -12. Let g be 1/r*(32 + 10). Is (-6)/((g/(-4))/7) a multiple of 4?
True
Is -4 - (6076/(-12) + (-10)/6) a multiple of 12?
True
Let g be 1/5 - (-45)/25. Suppose -5*j + 259 = g*a + 19, 0 = -4*a - 5*j + 500. Is ((-30)/(-25))/(2/a) a multiple of 26?
True
Let v(x) = 2*x**2 - x + 3. Let o be v(12). Let g = 445 - o. Let d = -110 + g. Is d a multiple of 14?
True
Suppose 0 = 7*v + 1990 - 4902. Suppose -101*i - v = -103*i. Is i a multiple of 35?
False
Let c = -998 + 550. Is 24 a factor of (99/(-44))/(6/c)?
True
Suppose -4*j - 202 = 322. Let h = j - -143. Is 2 a factor of h?
True
Suppose 594 = 3*u + 8*u. Let r(g) = g**2 + 6*g - 5. Let t be r(-7). Suppose -t*d = 14 - u. Is 20 a factor of d?
True
Let t(p) = -17*p - 8. Let g be t(-4). Suppose 2*v = -3*v + g. Is 3 a factor of v?
True
Is 103155/(-46)*(-4)/5 a multiple of 39?
True
Let o(y) = 10*y - 5. Let z be o(6). Suppose -2*l = z + 39. Let x = 110 + l. Does 21 divide x?
True
Let u(r) = -2*r**3 + 44*r**2 + 22*r. Does 6 divide u(21)?
True
Let m(s) = -s**3 - 6*s**2 + 7*s + 10. Let z be m(-7). Let c = 7 - z. Is 23/4 - c/12 even?
True
Let u = 563 + -541. Is u a multiple of 2?
True
Suppose 0*z = 5*z. Suppose 12*y - 15*y + 6 = z. Suppose 2 = y*f - 8. Is f even?
False
Let m(i) = 15*i + 344. Is m(8) a multiple of 116?
True
Is 54 a factor of (1 + -1 + 567)*224/336?
True
Let g be 3 + (2 - 5) + 10/1. Suppose g - 47 = -w. Is w a multiple of 4?
False
Let w = 38 - 6. Suppose 0 = 5*h - 5*c - 175, -5*c + w = h - 33. Is h a multiple of 7?
False
Suppose -4*h - 5 - 3 = 0, -g - 4*h = 1. Let j = 10 - g. Suppose -j + 14 = n. Is n a multiple of 11?
True
Let u(c) = c**3 - c**2 + 3. Let v be u(0). Suppose v*z = -2*h + 52, -9*z + 82 = -4*z + h. Is 3 a factor of z?
False
Suppose -11*v = -25 + 3. Let d(b) = -26*b - 3. Let o be d(-2). Suppose -3*a = 4*k - o - 0, v*a = 4*k + 26. Does 5 divide a?
True
Does 27 divide (8900/(-6))/((-87)/9 - -9)?
False
Suppose -3*y + 8 = 4*v, -5*y - 13 = 5*v - 7*y. Is 13 a factor of (20 + -7)*(0 - v)?
True
Does 18 divide ((-144)/(-108))/(((-24)/10449)/(-4))?
True
Let j(d) = d**3 - 17*d**2 + 53*d - 20. Does 26 divide j(16)?
True
Let x = 28 - 25. Suppose 0 = -5*g - t + 1020 - 276, -g + x*t + 136 = 0. Does 27 divide g?
False
Let b be (-4)/42 - 23548/(-294). Let g = 37 + b. Is g a multiple of 32?
False
Let y be ((-3)/2)/((-6)/8). Suppose 4*m - y*m = -3*d + 37, -d = 3*m - 59. Is 5 a factor of m?
True
Suppose 0 = -5*z - 0*z + 5. Let l(t) = 3*t. Let d be l(z). Suppose -88 = -d*u - 5*f, -3*u - 3*f = u - 132. Does 12 divide u?
True
Suppose 3*r + 0*n + 3*n - 810 = 0, 3*r - 794 = n. Does 7 divide r?
True
Let m(k) = -2*k**2 - 14*k - 46. Let b(f) = f + 1. Let x(a) = b(a) - m(a). Let s(v) = v**2 + 7*v + 24. Let o(r) = -5*s(r) + 3*x(r). Is o(-11) a multiple of 16?
True
Suppose -3*p + 3*a = -24, 3*p - 2*a - 20 = -0*p. Suppose p*l = 2*z - 0*z + 240, z - 66 = -l. Is l a multiple of 12?
False
Suppose 0 = -5*p - 0*p + 1035. Suppose -71 = -2*r -