ue
Let q(v) = 0*v**2 - 3 + v**3 - 2*v**2 + v**2 + 2*v + 5*v**2. Let w be q(-3). Does 15 divide (w - 2) + 17 + 0?
True
Suppose -3*q - 129 = -x, x - 24 = -4*q + 112. Is x a multiple of 22?
True
Suppose -4*d = -d - 6. Let p(o) = o**d - 6 + 10 + 11*o - 7. Is p(-12) a multiple of 9?
True
Suppose h = -0*h + 4. Let r = -8 + h. Does 13 divide 3/(-24)*r*26?
True
Suppose p + 0*p = 3*w + 3, -2*p = w - 6. Suppose -n - 340 = -3*s, -s + 49 = -p*n - 75. Is s a multiple of 13?
False
Suppose -22*j + 27*j + 40 = 0. Let n = j - -23. Suppose n*y - 12*y = 33. Is y a multiple of 5?
False
Suppose -3*a - 3*r = -267, 0 = -2*a - 5*r + 204 - 38. Suppose 3*m + a = 165. Does 3 divide m?
True
Let p(n) = -56*n - 35. Is 13 a factor of p(-1)?
False
Suppose 3*k - y - 8 = 0, 30 + 2 = 3*k + 5*y. Does 10 divide 0 - (-50)/k*(-176)/(-11)?
True
Let l = -17 + 41. Is 5 a factor of l?
False
Let d(s) = 3*s. Let m be d(0). Let a be (-79)/(-9) + (-12)/(-54). Let p = a + m. Is p even?
False
Let t(f) = 13*f - 37. Suppose 38 = 5*u - 3*u. Is t(u) a multiple of 30?
True
Let x be ((-2)/(-5))/((-7)/(-70)). Suppose o + x*o + 76 = a, 3*a - 2*o - 202 = 0. Let c = a - 36. Is c a multiple of 8?
False
Let u = 1499 - 98. Is 26 a factor of u?
False
Suppose -4*s = -16, -3*z = -4*z - 4*s + 2881. Is 11 a factor of (1 - z/(-33)) + 4/22?
True
Let l = -120 + 138. Let p(b) = b**2 + 9*b + 8. Let z be p(-6). Let c = z + l. Does 8 divide c?
True
Let y(v) = 4*v**3 - 10*v**2 + 10*v - 5. Let b(s) = -5*s**3 + 11*s**2 - 11*s + 4. Let q(d) = -3*b(d) - 4*y(d). Does 14 divide q(4)?
True
Suppose 21*h = -4*h + 3500. Does 20 divide h?
True
Suppose 2*q + 3*q = -4*p + 927, 3*q - 5*p - 534 = 0. Is 8 a factor of q?
False
Suppose 22*f - 3248 = -7*f. Is f a multiple of 112?
True
Is 10 a factor of 1*108 - (42/6 + -5)?
False
Let q(j) = 25*j + 8. Is q(0) a multiple of 5?
False
Suppose -74 = -10*j + 416. Let x = 36 + j. Is x a multiple of 10?
False
Let u be (-4)/(-26) - 350/(-91). Suppose 0 = 2*j + 3*j - 2*f - 163, -140 = -4*j + u*f. Does 12 divide j?
False
Let a = 51 + -49. Suppose -b + 6*b - 67 = a*u, 2*u - 53 = -3*b. Is 15 a factor of b?
True
Suppose 30*r - 4*r = 3042. Is 3 a factor of r?
True
Let o(g) = -2*g**3 - 17*g**2 - 9*g - 5. Let r be o(-8). Is 5 a factor of (24 - -2 - 0) + r/3?
False
Suppose -2*i + 378 + 112 = -4*g, 2*i = -g + 515. Suppose 4*q = -3*m - 351, 6*m = -3*q + m - i. Let f = 140 + q. Is 25 a factor of f?
True
Suppose l + u + 1240 = 2*l, 2489 = 2*l + u. Does 113 divide l?
True
Let y(z) = z**3 + 3*z**2 - 4*z - 5. Let w be y(-4). Let k be (-122)/6 + w/(-15). Let g = k - -80. Is g a multiple of 13?
False
Suppose -i = 5*t - 52, t = -31*i + 36*i. Does 3 divide t?
False
Let m(b) = 13*b - 12. Let x be m(4). Suppose 18*k - 13*k - 150 = 0. Let y = x - k. Is 6 a factor of y?
False
Suppose 4*t + 2*s + 3076 = -2*s, 3080 = -4*t - 5*s. Let f be t/(-12)*8/3. Suppose -w - 4*b - b + 50 = 0, 4*w + 5*b = f. Is 19 a factor of w?
False
Suppose -5*x + 9*x = 12. Suppose 2*m + 6 = 4*l - x*m, -4*m + 16 = 2*l. Is 19 a factor of 42 - l/4*-3?
False
Suppose 2*c + 2*c = -12. Let g be -1*0/c + 0. Suppose 2*a - 4 = -g. Does 2 divide a?
True
Let u = -22 + 24. Suppose -2*i - 5*j = -0*i + 30, -u*j = -8. Is 5 a factor of (45/i)/((-9)/30)?
False
Let z be (0 + 12/10)*5. Suppose -2*c - z = -5*c. Is (c + -4 - -1)*-28 a multiple of 15?
False
Let v be 1*14*1/(-2). Let q(d) = 5 + 58*d - 55*d + d**2 - 2. Is 8 a factor of q(v)?
False
Does 19 divide (-2 - -4)*9/24*676?
False
Suppose -2*l = -0 + 4. Let h = l - -24. Is h a multiple of 11?
True
Let z = 1389 - 1152. Is 6 a factor of z?
False
Let n(j) = -j**3 - 7*j**2 + 10*j + 15. Does 11 divide n(-9)?
False
Let i = -192 + 247. Does 11 divide i?
True
Suppose -3*h - 3 = 12. Let d be 7/((10/(-6))/h). Is -14*6/d*-3 a multiple of 12?
True
Suppose 6*z = 7*z + 8. Is 11 a factor of 3 + 3/((-3)/z)?
True
Suppose -740 = -5*x + o, -40*o = -4*x - 35*o + 592. Is 6 a factor of x?
False
Let i(h) = -h**3 + 16*h**2 + 17*h + 4. Let r be i(17). Suppose -2*f = a + 5, -f - r = -2. Does 11 divide 3/3 + (-32)/a?
True
Let q = 280 - 247. Does 4 divide q?
False
Suppose -2*z + 950 = 4*r, 2*z - 5*r - 1371 + 394 = 0. Is 8 a factor of z?
False
Is 16 a factor of (-2186)/(-8) + (1 - 45/20)?
True
Suppose -4*a + 8 + 4 = 0. Suppose 3*s + 84 = -a*m, -3*m - s = s + 89. Is 22 a factor of m*(2 - (-16)/(-4))?
True
Let p(j) = j**3 + 10*j**2 + j + 17. Let m be p(-8). Let h = m + -101. Does 6 divide h?
True
Suppose -6*m - 121 = -943. Does 11 divide m?
False
Let w be 7 - ((4 - 3) + 2). Is 16 a factor of (w + -49 + 1)*-4?
True
Let r be 1*(-1 + (-2)/(-1)). Let w be ((-16)/(-4) + -4)*r. Suppose -n = 2*y - 33, -4*y + n + 46 + 11 = w. Is y a multiple of 5?
True
Suppose 0 = -3*v + w - 5, -4*w + 20 = -2*v - 2*v. Suppose v = -2*u + 5*u + 3, 3*u - 789 = -4*i. Does 22 divide i?
True
Suppose -30*h - 4158 = -23838. Is h a multiple of 41?
True
Let q be (30/(-18))/(5/(-18)). Let k be 80/24*q/5. Suppose 50 = 2*p + k*m, -5*p + 3*m + 106 = 33. Is 8 a factor of p?
False
Let l be (10/(-25))/(3/(-15)) + -1. Let c(x) = 103*x - 3. Does 6 divide c(l)?
False
Let b(x) = 32*x**3 + 2*x**2 - 4*x - 1. Let t(g) = 31*g**3 + 2*g**2 - 5*g - 1. Let w(r) = -5*b(r) + 4*t(r). Is 27 a factor of w(-1)?
False
Suppose -5*y + 2*y = -27. Suppose o = -2*o + y. Does 20 divide (-359)/(-6) + o/18?
True
Let f be (15 + -5)/2*1*-3. Let g = -4 - -27. Let o = f + g. Is o a multiple of 6?
False
Let z be 2/(-4) - (-363)/22. Let g(n) = -n**3 + 21*n**2 + 9*n - 7. Let k(q) = q**2 - q - 1. Let s(f) = -g(f) + 6*k(f). Is s(z) a multiple of 17?
True
Let x be 2 - (-5 + (4 - 0)). Suppose 5*y - 6*y + x = 0. Is ((-18)/8)/(y/(-36)) a multiple of 9?
True
Let j(k) = -7*k - 2*k + 6 - 2*k**2 + 5*k. Let i be j(-5). Does 10 divide ((-12)/i)/((-2)/(-120))?
True
Suppose -4*i + h = 1093 + 959, -1008 = 2*i - 5*h. Does 10 divide i/(-30) - 2/15?
False
Let m(r) = -r - 2. Suppose 0*c - 3*c = -3*b + 15, -3*c - 13 = -b. Let a be m(c). Is a/6*72/4 a multiple of 5?
False
Suppose -5*r + 354 = j, -15*j + 5*r = -11*j - 1466. Is 7 a factor of j?
True
Suppose -7*f + 5*x = -5*f - 467, 2*x - 748 = -3*f. Does 41 divide f?
True
Suppose -18*n = -22*n + 3*j + 523, 0 = -3*n - 5*j + 385. Is n a multiple of 14?
False
Suppose -q + 218 = -3*i, i - q = -0*q - 70. Let x = 41 - i. Is 10 a factor of x?
False
Suppose 3*k - 9 = -33. Let a be 22/k + 9/(-36). Is 44 + a + 0 + 1 a multiple of 14?
True
Let k = -8 - -7. Let t be (1 + k)*1/2. Suppose 4*a - 4*h - 82 = -2, t = -2*h + 8. Does 8 divide a?
True
Let o = -22 + 44. Let g = -7 + o. Suppose -6*r + 63 + g = 0. Does 5 divide r?
False
Let f = 37 + -38. Is 7 a factor of (-38)/f - (3 + -2)?
False
Is 8 a factor of 1 + -8 + (-1 - -56)?
True
Let k = -19 + 43. Let f = k + 13. Is 9 a factor of f?
False
Let l be -5 - (-4)/2 - -8. Suppose -7*d - l = -68. Is d a multiple of 3?
True
Suppose 0 = z + 5*w - 360, 12*w - 9*w = 5*z - 1940. Is z a multiple of 6?
False
Let o = 7 + -5. Suppose 5 = -m + o. Is 5 a factor of (m/6*-100)/2?
True
Suppose -11*x + 0*x = -2662. Let j = x - 162. Does 23 divide j?
False
Is 9 a factor of 0/5 + -8 - -592?
False
Let j = -24 + 27. Suppose -3*x = 5*h + 136 - 555, -387 = -j*x + 3*h. Suppose 77 = 6*p - x. Is 7 a factor of p?
True
Suppose 3*x - 363 = -3*n, -4*x + x = -4*n + 498. Let l = 6 - n. Let b = l - -188. Is 19 a factor of b?
False
Let q = -17 - -74. Suppose 0 = -2*d + 5*d + 96. Let t = q + d. Is 25 a factor of t?
True
Let l = -1420 - -2286. Is 4 a factor of l?
False
Let b(c) = -4*c - 5. Let f be b(-4). Let g(w) = -9*w**2 - 14*w + 5. Let k(p) = -17*p**2 - 27*p + 10. Let r(d) = f*g(d) - 6*k(d). Does 18 divide r(-6)?
False
Let o be (-99)/(-55)*20/6. Suppose 0 = 5*t - o*t + 29. Suppose -t + 44 = 5*k. Is 3 a factor of k?
True
Let b be (-7)/((-21)/(-2))*-48. Is (150/4)/(16/b) a multiple of 25?
True
Suppose 10 = 4*b + b. Suppose 0*c - b*c = 3*u - 172, -64 = -u - 2*c. Is u a multiple of 6?
True
Let x(n) = 2*n**3 + 2*n. Let l be x(2). Let q = l + -18. Is 2 a factor of q?
True
Let d = -34 - -477. Is 31 a factor of d?
False
Suppose -6*s + 12 = -0*s. Suppose 41 = s*v - 13. Suppose -4*l + v = -13. Is l a multiple of 5?
True
Is (0 - (-2500 + 3)) + (-6 - -7) a multiple of 25?
False
Suppose -319 = -h - 5*o, 41*o = -4*h + 44*o + 1299. Is h a multiple of 81?
True
Let i(y) = 2*y**2 - 10*y + 2. Let p be i(5). 