alse
Let g(a) = 8*a - 3. Suppose -4*p = -20, 0*u - u + 3*p - 18 = 0. Let i be g(u). Does 9 divide (3 + 2)*i/(-5)?
True
Let i(w) = 4*w**2 + 2*w + 1. Let g be i(2). Let m = g - 1. Is m a multiple of 10?
True
Is (-7 + -1)/4*-52 a multiple of 27?
False
Suppose 6*x - 352 = -2*x. Is x a multiple of 13?
False
Let g(r) = -3 + 10*r + 0 + 4*r**2 - 5*r**2 - r. Suppose -a + 3 = -1. Is g(a) a multiple of 16?
False
Suppose 0 = 2*k - 24. Is 12 a factor of k?
True
Let q(j) = 6*j - 17. Let z(y) = -3*y + 8. Let t(b) = 3*q(b) + 7*z(b). Let d be t(-4). Suppose 43 + d = h. Is h a multiple of 18?
False
Let l = 129 + -52. Does 20 divide l?
False
Let x(t) = t**3 + t**2 + 2. Let s be x(-3). Let j be 1/(6/s)*3. Does 18 divide j/(-6)*33 - 2?
False
Let a = 27 - -4. Suppose -57 = -4*y + a. Is y a multiple of 12?
False
Suppose 0*c + c - 8 = 0. Let t = c - 22. Let r = 1 - t. Does 15 divide r?
True
Let g be (1 + 15/(-6))*-2. Let r(y) = 2*y - 2. Let d be r(g). Suppose -d*q + 27 + 61 = 0. Does 7 divide q?
False
Suppose 0 = 3*o + 4*h + 11, -4*h - 34 = -5*o + 1. Suppose 0*z - o*z + 33 = 0. Is 11 a factor of z?
True
Suppose v - 62 = 25. Does 29 divide v?
True
Let o = -49 + 87. Is o a multiple of 38?
True
Suppose -51 = 2*t - 139. Let b be -1*t/((-2)/(-1)). Is (5 + -3)/((-4)/b) a multiple of 8?
False
Suppose 24 = 5*q + 4. Let g = 43 - q. Is g a multiple of 10?
False
Let p be (-4)/(-1*(-3)/18). Let l = p - -43. Is 19 a factor of l?
True
Suppose -7*f + 30 = -2*f. Let g = f - 4. Suppose -2*i - g*i - 4*s + 92 = 0, -s = -5*i + 133. Does 26 divide i?
True
Suppose 5*l - 31 = j - 9, -5*l = 4*j - 37. Suppose -o - 16 = -4*o - 4*t, 0 = -l*o + 2*t - 8. Suppose -9*y + 5*y + 36 = o. Does 3 divide y?
True
Let u(g) = 0 - g**2 - 2 - 3*g**3 + 4*g + g - 4*g. Let s be u(2). Let k = s - -46. Does 6 divide k?
True
Let u(v) = -2*v + v**2 + 3 + 0*v - 7*v. Let x be u(9). Suppose -a + x*a - 72 = 0. Is 11 a factor of a?
False
Is 2 a factor of 3 - (0 - (-2)/2)?
True
Let u(t) be the first derivative of 61*t**3/3 - t**2/2 - 4. Is 15 a factor of u(1)?
True
Let q(c) be the third derivative of -c**6/120 - c**5/20 - c**4/6 - c**3/3 + 2*c**2. Let r be q(-2). Suppose -r*b = 3*b - 50. Does 5 divide b?
True
Let d be (9 + -10)/(2/116). Let g = d + 93. Is g a multiple of 12?
False
Suppose 0 = -0*n + 3*n + 102. Let o = 55 - n. Suppose 4*q + 98 = 2*t, 2*t - o = -2*q - 3*q. Is t a multiple of 16?
False
Does 12 divide ((-3)/(-5))/(2/70)?
False
Is 34 a factor of (-1)/(4/12) - -120?
False
Let y(t) = -t + 95. Does 5 divide y(30)?
True
Let u(s) = 3*s**2 + s - 4. Let q(i) = -12*i**2 - 5*i + 16. Let j(o) = o + 9. Let b be j(-7). Let n(z) = b*q(z) + 9*u(z). Does 7 divide n(3)?
False
Let k(h) = h**2 - 5*h + 2. Let g be k(4). Let c be 18/(g/(-1))*1. Suppose -2*f = 2*f + 4*u - 8, -c = -2*f + 3*u. Is 3 a factor of f?
True
Suppose 2*l - 5*f - 113 = 0, -3*f = 3 - 0. Let t = l + -19. Does 10 divide t?
False
Suppose x = 3*h + 36, -2*x - 2*x - 48 = 4*h. Let z be (0 + 0)*6/h. Suppose z = 3*n - 139 + 52. Is n a multiple of 11?
False
Let u = 13 - -43. Is 10 a factor of u?
False
Suppose -f + 6 = 1, -640 = -4*o - 4*f. Let j = o - 80. Is 17 a factor of j?
False
Let k(c) = -c. Let r be k(1). Let y be -3 + (-1 + 2 - r). Let w(p) = -3*p + 1. Is 4 a factor of w(y)?
True
Is 9 a factor of -4 - (3 + -5 - 56)?
True
Suppose -2*k - 5 = -k - 5*d, 2*d - 2 = -2*k. Suppose -o + 3*o - 30 = k. Does 15 divide o?
True
Let w = -18 - -36. Does 20 divide w/24 + 434/8?
False
Suppose -5*l + 70 = -0*l. Suppose -2*z + 3*x = -14, z - x = -z + l. Is 6 a factor of z?
False
Let j be (-1)/5 - 160/(-50). Suppose -50 = -j*c - 2*c. Is c a multiple of 9?
False
Does 12 divide ((-4)/6)/((-6)/522)?
False
Let c be (-27)/(-12)*32/(-12). Let m(u) = -u**2 - 9*u - 9. Does 4 divide m(c)?
False
Suppose 4*y + 1 = 5. Let s = y - -5. Is 3 a factor of s?
True
Let q = 11 + -7. Let d be (q + -3)/(1/(-6)). Let c(r) = -4*r + 8. Does 13 divide c(d)?
False
Let y = -57 - -103. Is y a multiple of 23?
True
Let y = -64 - -29. Does 21 divide (-408)/(-15) - (-7)/y?
False
Let z = -1 - -1. Suppose q + 4*n - 28 = 0, z = -5*q - n + 9 + 36. Is 3 a factor of q?
False
Let n(i) = -i**2 + 4*i + 2. Let v be n(4). Let l be v/(-4) + (-6)/(-4). Does 4 divide 6/3*2*l?
True
Suppose -3*f + 36 = -0*f. Suppose 2*d + 4 = f. Is d even?
True
Suppose -11*b + 565 + 18 = 0. Is b a multiple of 30?
False
Suppose 0 = 4*s - 5*f + 19 - 5, 2*s - 4 = -3*f. Does 9 divide (1 - (s + 1)) + 17?
True
Let b = -3 - -8. Suppose -61 = -b*u + 4*u. Suppose -5*h - 2*d + u = -219, 3*h = d + 179. Is h a multiple of 20?
False
Let t = 85 - 49. Does 6 divide t?
True
Is 16 a factor of 2 + -1 + 1 - -30?
True
Let g = -42 - -150. Suppose 0 = 2*w + w - g. Is w a multiple of 19?
False
Let y = 119 + -66. Suppose h + y = 2*x, 0*x - 3*x - 3*h + 93 = 0. Is 19 a factor of x?
False
Let c(o) = o**2 - 2*o + 2. Let t be c(3). Suppose 3 - 13 = -t*p. Is 16 a factor of 1*p*(-33)/(-2)?
False
Suppose 4*q = 2*q - 4*r + 376, -3*q = 3*r - 552. Is 21 a factor of q?
False
Let b(r) = -6*r**2 + 4*r**2 + 3 - 3*r**2 + 6*r**3 + 3*r**2 - 2*r. Is b(2) a multiple of 9?
False
Let t(p) = -3*p - 2. Let z be t(3). Let q(l) = l**3 + 11*l**2 - l + 0 + 1 - 7. Is q(z) even?
False
Let y be (3/(-9))/(3/18). Let r be ((-45)/3)/(-3) + y. Is (-60)/(-5) + r*1 a multiple of 4?
False
Let p be 47/(-7) + (-2)/7. Let x = 21 - p. Is 13 a factor of x?
False
Let p(x) = -2*x - 3. Let g be p(-1). Suppose j = -3*f + 4*f + 37, 3*f + 45 = j. Let v = g + j. Does 25 divide v?
False
Let q = -16 + 21. Suppose -k + 26 = w, -q*k + 19 = 4*w - 112. Is 27 a factor of k?
True
Let w = 18 + -38. Let n = 8 - w. Is n a multiple of 14?
True
Let c(t) = -t**2 + 11*t + 2. Suppose -6*d = -3*k - 2*d + 18, 3*d = 0. Let z(n) = 2*n - 2. Let u be z(k). Is 6 a factor of c(u)?
True
Let o(s) = -2*s**2 + 17*s + 8. Let z(r) = -r**2 + 6*r + 3. Let j(d) = 6*o(d) - 17*z(d). Let p be j(-3). Does 6 divide p/(-4)*(-8)/6?
False
Let s = 42 + -32. Does 10 divide s?
True
Suppose -i + 6 = -0. Let m = 10 - i. Does 15 divide 1 + m/(-2) + 36?
False
Let m be -5*(-4 - 144/(-20)). Let x = 27 + m. Is x even?
False
Let o be -4*(34/(-4) + -2). Let w(t) = -2*t**3 - 2*t**2 + 2*t. Let x be w(2). Let p = o + x. Is 11 a factor of p?
True
Let x(v) = v**2 - 1. Let c(u) = 3*u**2. Let s be c(1). Is 8 a factor of x(s)?
True
Let z(v) = -v**3 - 3*v**2 + 3*v + 1. Let m be z(-4). Suppose -m*a + 543 - 163 = 0. Suppose -a = -5*j - 4*k, 0*j - 4*j + 4*k = -32. Is 12 a factor of j?
True
Suppose 0 = h, -3*u + 0 = 5*h - 3. Is 26 a factor of u/5 + 998/10?
False
Suppose 5*z - 12 - 3 = 0. Suppose -z*u = 2*d - 8*u - 9, 3*u = 2*d - 7. Does 2 divide d?
True
Let r be -1*1 + 4 + 5. Suppose r = -0*k + 4*k. Suppose -4*q = k*y - 94, -13 = 2*q + 3*y - 66. Is 8 a factor of q?
False
Let d(i) be the second derivative of i**4/2 + i**3/6 + 2*i. Suppose -7*c + 3*c - 8 = 0. Does 11 divide d(c)?
True
Let p be (1 + -1 - 0) + 2. Let u be (p - (2 + 1)) + 1. Suppose u*g + 75 = 5*g + 3*w, -3*g + 4*w = -16. Is g a multiple of 12?
True
Let q be (15/25)/((-2)/(-70)). Suppose 0 = -2*d - 3 + q. Let w = 9 + d. Is w a multiple of 18?
True
Suppose 0 = u + 4*u - 35. Let j(n) = -n**3 + 6*n**2 + 6*n + 10. Let t be j(u). Suppose s + 5*d = 4*s - 47, -4*s + 111 = t*d. Is 12 a factor of s?
True
Suppose -11 = d - 54. Is 12 a factor of d - -2*3/(-2)?
False
Suppose 4*w = -2*f + 141 - 23, 0 = 2*w - 5*f - 65. Does 10 divide w?
True
Suppose 8*m - 9*m = -34. Is 24 a factor of m?
False
Suppose 10 - 4 = 3*l. Suppose -p + 4*h = -2 - 88, h - 171 = -2*p. Suppose -l*a = 1 + 1, 5*c = a + p. Is c a multiple of 7?
False
Suppose -10 = -2*j, 4*l - 2*l - j - 535 = 0. Does 54 divide l?
True
Let s = 15 - 11. Suppose 0 = -s*q - 9 + 53. Is 5 a factor of q?
False
Suppose k - 2*k + 6 = 0. Let h = k + -4. Suppose -4*t = h*z - 46, 4*t = 2*z + t - 11. Is 13 a factor of z?
True
Suppose 110 = 4*q - 3*c + 29, 95 = 5*q - 5*c. Does 9 divide q?
False
Suppose v = 2 + 3, -88 = -3*d - 5*v. Is 8 a factor of d?
False
Let z(f) be the second derivative of f**5/20 + f**4/6 - f**3/3 - f**2/2 + f. Let h be z(-2). Is -3 + 45 + -2 + h a multiple of 16?
False
Let v(h) = 3*h - 10. Let g be v(10). Does 12 divide ((-8)/g)/((-3)/180)?
True
Let k = 10 - 16. Is 12 a factor of ((-9)/6)/(k/128)?
False
Let f = 41 + -11. Suppose -f = -3*a + 39. Is a a multiple of 13?
Fal