s 36 a factor of 2214*(-2)/(-10) - 2/(-10)?
False
Let o(n) = n**2 + 4*n - 4. Let t be o(-7). Let x = 34 - t. Is x a multiple of 17?
True
Suppose 0 = 4*z + 5*b - 132, 2*z - 57 = -3*b + 11. Let y = -24 + z. Suppose 0*g = y*g - 368. Does 23 divide g?
True
Let j be (3 + -138)*8/(-8). Suppose -24 + j = 3*y. Is y a multiple of 18?
False
Let x = 1105 + -568. Does 48 divide x?
False
Let o(m) = 5*m**2 - 2. Let l be o(-2). Let k = l - 5. Suppose k = v - 34. Is 8 a factor of v?
False
Let m be -7 + 0 + 4 + 29. Let j = 28 - m. Suppose -j*v - 3*v + 310 = 5*z, 5*v = -4*z + 311. Is v a multiple of 9?
True
Let j = -34 + 94. Suppose -2*c = -6*c - j. Let a = -8 - c. Does 7 divide a?
True
Let k = -17 - -11. Is 7 a factor of (k/(-9))/(8/420)?
True
Let j = -3 - -3. Let f be (3 + -1)/((-1)/(-2)). Suppose -f*c - c + 265 = j. Does 22 divide c?
False
Suppose 18*a - 1617 = 2703. Is a a multiple of 34?
False
Suppose 2*n - 10 = 8. Suppose -n*l = -12*l. Suppose l = -2*r + 279 - 77. Does 27 divide r?
False
Suppose 0 = 2*a - 123 - 7. Let y = a + -50. Is 6 a factor of y?
False
Suppose 5*i - 186 = 39. Suppose -f + c + i = 0, 3*f + 0*f + 4*c = 100. Is f a multiple of 5?
True
Let x = 82 + -92. Does 5 divide (-240)/36*24*2/x?
False
Let r(p) = 8*p**2. Let i be r(-1). Let t be (-1)/1*(i + -11). Suppose 60 = t*z + 12. Is z a multiple of 16?
True
Let f(a) = -a + 5. Let s be f(4). Let i be 63/(-8) + s/(-8). Does 19 divide i/(-6) + (-466)/(-6)?
False
Suppose 0 = l - 4*z - 12 - 20, -3*l = z - 44. Suppose -5*f + 4 + l = 0. Is 4 a factor of f?
True
Suppose 5*p + 2420 = 3*b, 4*p + 3224 = 4*b - 0*b. Does 9 divide b?
False
Suppose -3*s + 3804 = -126. Is 10 a factor of s?
True
Let z(i) = 104*i**2 - 8*i. Let c(y) = 103*y**2 - 9*y. Let l(k) = 5*c(k) - 6*z(k). Let n be l(2). Does 14 divide n/(-30) - (-2)/(-6)?
True
Suppose 2*i + 21 + 37 = -5*k, 5*k + 116 = -4*i. Let j = i - -42. Let w = j - -12. Is 25 a factor of w?
True
Suppose 0 = -12*d + 6029 + 1843. Does 15 divide d?
False
Let d(g) = g**2 - 5*g - 9. Let z be d(9). Suppose -4*r - z - 13 = 0. Is 6 a factor of ((-36)/(-21))/(r/(-105))?
True
Is 0 - ((-1102 - 1) + -3 + 6) a multiple of 100?
True
Suppose 0 = 4*w - r - 24, 2*w + 3*r - 30 = -3*w. Let k = w + -2. Suppose -4*x + 428 = k. Does 29 divide x?
False
Is 1369 + (-14 + 12)/((-3)/(-3)) a multiple of 8?
False
Let g(x) = x + 2. Let r be g(3). Suppose 0 = 5*z - 5*y - 5, -y - 5 = -r*z - 4. Suppose z*h - 17 = -h. Does 17 divide h?
True
Suppose 8*i - i - 2170 = 0. Let b = i + -216. Is 11 a factor of b?
False
Let j(g) = 5*g**2 + g - 1. Let v be j(1). Suppose -89 = 3*l - 101. Suppose l*c = -0*m + v*m - 58, -3 = -c. Does 14 divide m?
True
Let u be 5*(1 + 1 + 8/(-8)). Suppose -u*z + 288 = z. Does 7 divide z?
False
Suppose 8*j = 3*j + 215. Let n = j - -30. Does 13 divide n?
False
Let t(b) = 10*b**2 + 79*b**3 + 0*b - 5*b - 80*b**3 - 13. Suppose -2*q - 18 = -4*q. Is 4 a factor of t(q)?
False
Suppose -3*i + 360 + 144 = 0. Suppose 4*m = 356 + 592. Let r = m - i. Does 21 divide r?
False
Let o(j) = j**3 + 12*j**2 + 2*j + 2. Suppose 0 = 5*p + i + 55, p = -4*i - 27 - 3. Is o(p) a multiple of 11?
False
Suppose -3*s - 15 = 5*y - y, -5*y + 10 = -2*s. Suppose -4*d - 4*t + 384 = 0, y = 3*t + 3 - 12. Does 15 divide d?
False
Suppose 0 = 26*c - 35*c + 2790. Does 19 divide c?
False
Let b(j) = 1 - 3 + 5*j + 5 - 4. Let r be b(-6). Let l = 59 + r. Does 14 divide l?
True
Let o be 21/6 + 3/(-6). Let f(p) = -7*p - 3*p - o - 5*p. Does 11 divide f(-2)?
False
Is ((-38)/5)/((-42)/105) - -3 a multiple of 2?
True
Let l = -42 - -40. Does 6 divide (-9)/(36/128*l/3)?
True
Let z(s) = s**3 - 3*s**2 + 2*s. Let m be z(2). Suppose -4*r - 635 - 293 = m. Is (2 - r)/3 + 2 a multiple of 16?
True
Let u(y) = -214*y - 181. Is u(-4) a multiple of 25?
True
Is 56 a factor of ((-9905)/(-20) - -8) + 1/(-4)?
False
Suppose -1346*m + 2885 = -1341*m. Is 15 a factor of m?
False
Is 34 a factor of 7/(21/4908) + -5?
False
Let u be (3 - 3)/(-1 + 2). Suppose -4*a = -u*a + 32. Is 13 a factor of a/52 + (-509)/(-13)?
True
Is 102 a factor of (5 - 1) + 2282 + -62?
False
Suppose -4*k - 5*o = -28, 4*k + o - 5 = 7. Let z be 2/k - (-4 + 4). Suppose h = -z + 39. Is 22 a factor of h?
False
Let g(x) = -63*x - 17. Let n be g(-5). Suppose t + t - 197 = -3*l, 0 = 3*t + 2*l - n. Is 10 a factor of t?
True
Let m be (-10)/(-3) + 6/9. Suppose -5*y - 2*u - u - 20 = 0, -2*y = -m*u - 18. Let d = y + 3. Does 2 divide d?
True
Let f = -8 - -11. Is 9 a factor of -4 - 139/(-3)*f?
True
Suppose 0 = 5*b + 3*w - 257, -w + 47 = b + 4*w. Is b a multiple of 26?
True
Let g(n) = n**2 - 8*n + 9. Let p be g(7). Suppose 3*q = 3*v + 288, -p*q = -0*q - 3*v - 197. Is q a multiple of 14?
False
Let x = 88 - 28. Is x a multiple of 11?
False
Let g(v) = 76*v**3 - v**2 + 1. Let b = -46 - -47. Is g(b) a multiple of 19?
True
Suppose 2 = g + 8. Let s(p) = p + 8. Let a be s(g). Suppose -22 = a*q - 78. Does 8 divide q?
False
Let w = 16 + -1. Suppose -2*p - 10 = -5*m, -p + 4*p = w. Suppose -107 = -2*q + 3*s, m*s = -5*q + q + 264. Is 17 a factor of q?
False
Suppose -4*a + 4*h = -53 + 13, 3*a + h - 10 = 0. Suppose -w + 4 = a*o - 11, -3*w + 15 = 5*o. Is 3 a factor of 140/12 - 2/o?
False
Let b(o) = -329*o - 43. Does 23 divide b(-2)?
False
Let i = 18 - 13. Suppose i*w - 124 = 126. Suppose 0 = k - 6*k + w. Is 5 a factor of k?
True
Suppose 159 = 9*p + 798. Let y = p + 155. Is y a multiple of 11?
False
Let s(j) = 25*j**2 - 5*j + 21. Is s(3) a multiple of 20?
False
Suppose 5*t = 397 + 1898. Is 15 a factor of t?
False
Suppose 2*f - 65 = 123. Does 7 divide f?
False
Suppose -4*j = -d + 5*d - 2528, -1 = j. Suppose 3*k = 3, -2*k + d = 5*g - 4*k. Is g a multiple of 19?
False
Suppose 0 = -d - 0 - 3, 0 = -4*m + 4*d + 28. Suppose m = -k + 23. Let v = k + -2. Is v a multiple of 7?
False
Let s = -66 + 63. Does 3 divide (-1)/(s/2) - 151/(-3)?
True
Does 8 divide 151 - (1/(-3))/(11/132)?
False
Let w(l) = -l**2 - 14*l + 20. Let z be w(-16). Is 964/12 + z/(-18) a multiple of 15?
False
Let i(o) = -3*o**3 - 9*o**2 + 11*o + 5. Does 7 divide i(-7)?
False
Let p(o) = 2*o + 357. Does 5 divide p(-10)?
False
Suppose 8*l = -3*l + 8591. Is 51 a factor of l?
False
Let o = -13 - -16. Let s(k) = 13*k**2 + 2*k - 4. Is s(o) a multiple of 17?
True
Is (-511)/146*(0 + (-36)/1) a multiple of 63?
True
Suppose 4*z = -0*z + 12. Suppose 2*m = 3*f + 109, z*m - 7*m - 4*f = -168. Does 11 divide 6/(-4) + m/2?
True
Suppose -2*t + 125 = 5*s - 828, 3*t - 1382 = 2*s. Does 24 divide t?
False
Suppose 2*z + 5*l = 4810 - 1339, -l + 6951 = 4*z. Is 22 a factor of z?
True
Suppose l = 4*r, -5*r - 18 = -3*l - 4. Suppose 5*n = l*n - 186. Does 7 divide n?
False
Let x = 2951 - 2226. Is x a multiple of 13?
False
Let x(q) be the second derivative of q**3/2 - 6*q. Let s be x(5). Does 21 divide -35*(-3 - (-27)/s)?
True
Is 26 a factor of 3/3*(1 + 305)?
False
Suppose -2202 = -2*k - 4*v, -73*k + 69*k + 4*v + 4440 = 0. Is k a multiple of 12?
False
Let k(u) = 118*u**2 + 14*u - 12. Is 26 a factor of k(3)?
True
Suppose -5*b = 5*g - 18020, 3*g - 354 = 4*b - 14742. Does 25 divide b?
True
Let o(q) = -9*q + q + 0*q - 5. Suppose 0 = 3*g - 8*g - 4*x - 25, 0 = -2*x. Is 9 a factor of o(g)?
False
Let d be 1*(-6)/(-4)*2. Suppose -m + 216 = -5*i, -4*i + 2*i = 2. Suppose -d*s + m = 43. Is 14 a factor of s?
True
Let o be ((-2)/(-6))/(2/24). Suppose 0 = -4*h - s + 956, -2*h + o*h = 2*s + 488. Suppose -8*p = -3*p - h. Is p a multiple of 12?
True
Suppose -6*j - 3*j = -4104. Is j a multiple of 38?
True
Let q(l) = -l**2 - 3*l + 4. Let j be q(5). Let t be j/3*18/8. Let c = t - -44. Does 17 divide c?
True
Suppose w + 2*x - 316 = 0, -x - 4 = -3*x. Is 11 a factor of w?
False
Let y be (1 + -1)/(-1) + 2. Let r(i) = -i**2 + i + 2. Let u be r(2). Suppose a + y - 5 = u. Is a a multiple of 3?
True
Is 22 a factor of (-306)/(-14) - (-7 - (-144)/21)?
True
Let i(j) = -2*j - 8. Let p be i(-5). Suppose 3*a - p*a = 5. Suppose -3*k - 3*b + 69 = 0, -b = a*k - 2*b - 115. Does 23 divide k?
True
Let p = 84 + 637. Does 103 divide p?
True
Suppose -404 = -0*k - 4*k. Suppose k = -2*f + s + 2*s, -f - 56 = 4*s. Does 13 divide (f/5)/(12/(-90))?
True
Suppose -2*p - 5*o + 43 = 0, 4*p = -o + 6*o + 11. Suppose 2*z = 3*z + p. Let s = 22 + z. Is s a multiple of 3?
False
Suppose 980*c - 3786 = 978*c. Is 5 a factor of c?
False
Is 27 a factor o