 q?
False
Let h = -34 - -30. Is 27 a factor of (0 - 54/(-5))*(h + 19)?
True
Let i be 1*0*-3*2/(-6). Suppose 4*j - 216 = -i*j. Does 18 divide j?
True
Let j = 179 + -47. Suppose -6*x + 3*v = -10*x + j, -4*v - 16 = 0. Does 6 divide x?
True
Suppose -5*y + 3*h = -45, 4*y - y - 2*h - 27 = 0. Let n(j) = 4*j - 18. Is n(y) a multiple of 6?
True
Suppose -9*c + 873 + 513 = 0. Does 3 divide c?
False
Let y(p) = 54*p**2 + p - 1. Is y(-5) a multiple of 42?
True
Let q = 184 + -150. Is q a multiple of 17?
True
Let k(g) = -3 - 4 - 2 + g. Let h be k(4). Is (0 - 3)/(h/75) a multiple of 15?
True
Suppose 325 = 5*g - 20. Let k = g - 56. Is 2 a factor of k?
False
Let i(v) = -2*v**3 + 35*v**2 - 25*v. Does 5 divide i(16)?
False
Suppose 1073 = 17*r + 19. Suppose -3*y = -4*z + 1385, 4*y - 308 = -z + r. Is 50 a factor of z?
True
Let b(v) = 105*v**2 + 18*v + 18. Does 45 divide b(-1)?
False
Suppose 61*r = 7663 + 1853. Is r a multiple of 3?
True
Let t = -77 + 81. Suppose -t*n - 6*b = -2*b - 320, -b = -5*n + 406. Is n a multiple of 9?
True
Is 39 a factor of (12/(-5))/((-14)/6825)?
True
Let m = 1 - -3. Suppose 7*y - 27 = m*y. Is 3 a factor of y?
True
Let r(i) = -49*i + 274. Does 4 divide r(0)?
False
Let i = 7 - 7. Suppose 3 + i = u. Suppose 0 = 4*d + 4, 0*d + 19 = u*y + 2*d. Does 3 divide y?
False
Suppose -4*s = 3*m - 100, -4*s + 5*m + 24 = -2*s. Suppose -4*k = k - 5*c - 10, -s = -3*k - c. Is k a multiple of 3?
True
Suppose 0 = -5*n + 4*n - 1, 5*x - 10 = -5*n. Suppose b = 5*p + 150, -x*b + 5*p - 9 = -479. Does 13 divide b?
False
Let r(z) = -z**3 + 13*z**2 + 6*z + 13. Let h = -153 - -166. Does 7 divide r(h)?
True
Let f be -20 + -4 - (2 - 6). Let o be (11 + -8)*f/6. Let d(j) = -13*j - 15. Does 34 divide d(o)?
False
Suppose -7*z + 17 = -4. Suppose 0*t - 3*t = 2*a - 44, -z*t = a - 28. Does 4 divide a?
True
Let m = 1210 - 1011. Does 38 divide m?
False
Suppose 3*p = 8*p - 135. Let q = p + -21. Is q a multiple of 3?
True
Let a = 432 + -180. Suppose -s - 8*s + a = 0. Is 7 a factor of s?
True
Suppose 3*j = -2*j + 25. Let x(p) = p**3 - 3*p**2 - 6*p - 2. Let n be x(j). Suppose y + z = 6, -4*y + 3 + n = z. Does 2 divide y?
False
Let u(t) = 55*t**3 - 4*t**2 - 2*t + 12. Does 27 divide u(2)?
True
Let g = -323 + 328. Let u(f) = f**3 - 7*f**2 + 8*f - 9. Let d be u(6). Suppose 0 = -4*n + 8, -g*j = -2*n - d*n - 30. Is 2 a factor of j?
True
Suppose 0 = 5*b - 7*x + 11*x - 34, 4*x = b - 26. Suppose 0 = -3*g - 2*g + 25. Does 29 divide ((-252)/b)/((-2)/g)?
False
Let c = 1359 - -537. Is c a multiple of 88?
False
Suppose 0 = 7*d - 11*d - 1080. Does 26 divide (-934)/(-9) - 15/(d/4)?
True
Suppose 4*x = k - 3*k - 142, -2*k - 5*x = 138. Let l = k + 156. Does 11 divide l?
True
Let b(a) = 79*a + 3. Suppose -16 = 2*r + 2*y, -2*r + r + 2 = -y. Let c be b(r). Let m = -155 - c. Is m a multiple of 21?
False
Let n = -45 - -19. Let v = n - -29. Is 3 a factor of v?
True
Let b(q) = 9*q - 17 - 18 + 2. Is 15 a factor of b(12)?
True
Suppose h + 4*v - 239 = 0, -3*v - 1212 = -5*h - 6*v. Suppose h + 222 = 5*m. Is m a multiple of 33?
False
Suppose -25*t + 11657 = -32018. Is t a multiple of 33?
False
Let i be 3/(-1 - -2) + 0/(-4). Suppose 235 = i*b - p, -168 = -2*b - 4*p + 12. Does 16 divide b?
True
Let c be -5 + (-3)/9*-39. Let b = 34 + c. Does 21 divide b?
True
Suppose -6 = i - 8, 4*b = -4*i + 296. Is b a multiple of 7?
False
Let n be 4/(-6)*(-12)/4. Suppose x = -x - n. Is 10 a factor of ((-2 - -2) + x)*-11?
False
Let f(b) = 91*b + 21. Let q be f(4). Let p = q + -195. Is p a multiple of 38?
True
Let x(n) = -30*n**3 + 9*n**2 + 9*n - 1. Let o be x(-2). Let v = 8 - 5. Suppose v*c = -3*r + 189, -2*c - 2*c + o = -r. Is 26 a factor of c?
False
Suppose -124*x + 121*x + 9 = 0. Let p(r) = r**3 + 5*r**2 + 3. Let z be p(-5). Suppose 0 = 3*l - t - 95, -x*l + z*t = t - 94. Does 14 divide l?
False
Let g(v) = 5*v + 5. Let p be g(-11). Let f be ((-60)/(-25))/(2/(-25)). Is 7 a factor of (f/p)/((-1)/(-35))?
True
Suppose -4*o + 7 = -4*g - 1, 0 = -4*o + 3*g + 9. Let w be (24/4)/(-2) + o. Suppose -5*m + 197 - 9 = -2*c, -3*m + 3*c + 111 = w. Is m a multiple of 19?
True
Let w = 180 + 110. Does 3 divide w?
False
Let m(o) = 2*o - 3. Let z be m(7). Let k(f) = 2*f**2 + f + 3. Let a be k(-5). Suppose 5*y - a = -2*w - z, -w + 8 = y. Does 7 divide y?
True
Is 87048/88 + 4 + (-230)/55 a multiple of 15?
False
Suppose u + 3*c - 2 = 4, 5*c + 20 = -5*u. Let k = 13 + u. Suppose k*w = 3*w + 12. Does 2 divide w?
True
Let j = 260 + -248. Is 12 a factor of j?
True
Let u(j) be the third derivative of 23*j**4/24 - 5*j**3/6 + 29*j**2. Is u(3) a multiple of 3?
False
Suppose 3*w - y = 6*w - 256, 166 = 2*w - 4*y. Let c = -33 + w. Is c a multiple of 13?
True
Suppose 0 = -24*f + 27*f - 468. Is f a multiple of 5?
False
Suppose 2*j - 2 = 2. Suppose -5 - 21 = -5*d - 3*b, -3*b = -d - j. Is 4 a factor of d?
True
Let c = 85 - 21. Let u = -29 + c. Is u a multiple of 7?
True
Suppose 15*n - 18*n - 24 = 0. Let w(f) = f**2 - 4*f - 12. Is w(n) a multiple of 21?
True
Suppose -13*k - 4 = -15*k. Suppose -k*c = 3*c - 390. Does 26 divide c?
True
Suppose 23*k - 2839 = 6*k. Is 20 a factor of k?
False
Suppose -5*a - 469 = -a - 3*z, -4*a + z - 471 = 0. Let j = -62 - a. Suppose j = 4*o + 2*u - 114, -5*u = 4*o - 155. Is o a multiple of 29?
False
Suppose -10*y = -6*y - 384. Does 3 divide y?
True
Let q(z) = 33*z - 12. Let m be q(8). Suppose 0 = -5*b + 498 + m. Suppose h - 2*h - 60 = -2*s, -5*h = -5*s + b. Is 12 a factor of s?
False
Is 52 a factor of (-1)/9 - -8*(-10324)/(-72)?
False
Suppose 266 = 2*p + 5*j, 3*p + 0*j = -5*j + 394. Let v = p + -40. Is 12 a factor of v?
False
Let t = 65 + -109. Let u be (-1*1)/(11/t). Suppose 0*w - u*w = -44. Does 4 divide w?
False
Suppose 0 = x + 2*f - f - 274, -5*x + 1364 = -f. Is x a multiple of 18?
False
Let k(i) = i**2 - 14*i + 4. Let d be k(14). Suppose 2 = -z + 2*z, -d*g = -4*z - 528. Is g + -12 - -1*2 a multiple of 34?
False
Suppose -2*o - 1 = -5. Suppose o*f - 202 = u, f - 5*f = -4*u - 400. Let a = f - 71. Is a a multiple of 14?
False
Suppose 4*q + 110 = -54. Let v = 31 - q. Let a = -45 + v. Is 13 a factor of a?
False
Let s(g) = 8*g**3 + 3*g**2 - g - 2. Let c be 12/(-8)*1*4/(-3). Does 8 divide s(c)?
True
Suppose 5*j + 31 = 2*k, 0 = -3*j + k + 2*k - 24. Let y = j - -63. Is 32 a factor of y?
False
Is (-1 - (-1 - 4)) + (-3)/3 even?
False
Let k(x) = 2*x**2 - 15*x - 20. Let u be k(13). Let a = u - -92. Does 43 divide a?
True
Let y(d) = -3*d - 2. Let c be y(-2). Suppose -10 = 2*k, c*k = 3*l - 2*l - 17. Is (-2 - (l - -3)) + 43 a multiple of 10?
False
Let b = -239 + 377. Is b a multiple of 6?
True
Let h(c) be the first derivative of c**3/3 + 2*c**2 + 4*c - 3. Let r be h(-3). Let a = 4 - r. Is 3 a factor of a?
True
Suppose 4*u - w + 39 = 0, -2*w = 4*u - w + 33. Let y(b) = b**2 - 2*b - 11. Does 26 divide y(u)?
False
Let x = -21 - 162. Let c = 3 - x. Does 24 divide c?
False
Let z be (-1 + 2)*-2 + -34. Suppose -m + 2 = 0, -2*w + 4*m + 163 = 43. Let d = z + w. Is 28 a factor of d?
True
Let x = -45 - -885. Is x a multiple of 35?
True
Let a(g) = g**2 - 9*g + 3. Let j be a(9). Let i(q) = -2*q**j + 0*q**3 - q**2 + 6*q**3 + q + 3*q**3. Is 3 a factor of i(1)?
False
Let j(o) = 14 + 9*o + 18*o**2 + 0*o**2 + o**3 + 8*o. Does 7 divide j(-17)?
True
Suppose -83 + 89 = 3*n. Suppose 0 = -n*i + 389 + 115. Is 21 a factor of i?
True
Suppose 2*q = -2*t + 906, 4*t - 2*q - 1806 = -4*q. Is 45 a factor of t?
True
Suppose -18573 = -5*q - 4*w, 14862 = 33*q - 29*q + 2*w. Does 110 divide q?
False
Suppose -5*k + 17 = -k + g, 3*g + 13 = 4*k. Does 22 divide k - 6 - (-25 + 1)?
True
Let d(w) = -13*w - 16. Let b(q) = 3*q + 4. Let t(o) = 9*b(o) + 2*d(o). Let a be t(-4). Suppose 2*y + 2*y - 93 = 3*r, 2*y - 2*r - 46 = a. Is 8 a factor of y?
True
Let h(f) be the third derivative of f**7/56 - f**6/360 + f**5/120 + f**4/12 + 4*f**2. Let l(a) be the second derivative of h(a). Does 12 divide l(1)?
False
Let z be (-6)/(-21) - (-405)/(-21). Let w = 6 - z. Let r = w - -31. Does 28 divide r?
True
Let b be (-38)/(-4) + (-3)/2. Suppose -11*q = -b*q - 378. Does 14 divide q?
True
Suppose -3*b = -8*b - 4*f + 10, -2*b + f = -17. Suppose -3*z + 3*n + 102 = 0, -4*n = -2*z + b*z - 152. Does 6 divide z?
True
Let c = 2576 + -2402. Is 31 a factor of c?
False
Let t(w) = -74*w - 13. Is 11 a factor of t(-14)?
True
Suppos