ose 2*c - 5350 = -4*u, -a*u + 21*u = -5*c + 5341. Is 61 a factor of u?
False
Suppose -7*a + 207 = -6*a. Is 5 a factor of 6 + -2 + (-2 - -1) + a?
True
Let b = -65 + 123. Let z = 15 + b. Is z even?
False
Let q = -202 - -205. Suppose -5*u - 868 + 4729 = -q*v, 4*u - 2*v = 3088. Is 44 a factor of u?
False
Suppose 231435 = 18*s + 23*s - 4*s. Is 15 a factor of s?
True
Let l = -39 - -67. Let g(i) = 5*i - 17. Let q be g(8). Suppose -l*x + q*x = -1380. Does 23 divide x?
True
Let d(b) = 3042*b - 606. Does 8 divide d(3)?
True
Let t be (-22208)/(-16) - (1 + (-1 - 0)). Suppose 1087 = 9*n - t. Does 25 divide n?
True
Suppose 2*p + 5*y = 6681, -10*y + 13*y = p - 3346. Does 15 divide p?
False
Let u be (-156)/7 + 30/105. Let b = -19 - u. Suppose l + 2*q - q - 18 = 0, 42 = b*l - q. Is 12 a factor of l?
False
Let d(b) = 3*b**2 - 12*b + 16. Suppose 8 - 5 = x. Let y(o) = 3*o**2 - 13*o + 16. Let m(k) = x*y(k) - 2*d(k). Is m(8) a multiple of 13?
False
Let c(b) = -3605*b - 43. Is 26 a factor of c(-1)?
True
Suppose -2*a = 3*f + 15, a - 4*f - 20 = 6*a. Let r(g) = 7*g + 2 + 0 + a - 23*g + 2*g**2. Is r(11) a multiple of 13?
False
Let i(c) = -c**2 + 15*c - 10. Let d be i(14). Suppose -12*m + 11*m - d = 0. Is 2/m - (-134)/4 a multiple of 11?
True
Let f = -395 - -435. Is 20 a factor of (4*f)/(34/136)?
True
Does 34 divide 106/8*((-1992)/10)/(513/(-855))?
False
Suppose -d = -6, 2752 + 5180 = a + 3*d. Does 164 divide a?
False
Is 44 a factor of (-12 - 3) + 11321 - -2?
True
Let h(v) = v**3 - 7*v**2 + 15*v - 48. Let t be h(6). Let j(n) = n - 4. Let i be j(6). Suppose y - t*u + 2*u = 130, -i*u = y - 130. Is 31 a factor of y?
False
Let j(u) = 39*u**3 - 2*u**2 - 10. Let g be j(4). Suppose 13*f - 7*f = g. Is 10 a factor of f?
False
Let l(n) = -3*n**2 + 30*n + 10. Let b be l(-8). Let d = b + 539. Is d a multiple of 38?
False
Suppose -206 = -11*z + 1862. Is 47 a factor of z?
True
Let r(d) = d**3 - 32*d**2 + 46*d - 35. Let b be r(30). Let i = b + 719. Is i a multiple of 4?
True
Suppose -24 + 88 = 4*x. Suppose 17*j = x*j + 23. Does 21 divide j?
False
Suppose 84*f = 85*f - 161. Suppose -12*t = -f - 571. Does 52 divide t?
False
Let r(z) = -22*z**3 - 10*z**2 + 25*z - 21. Let q(f) = 15*f**3 + 6*f**2 - 16*f + 14. Let y(s) = -7*q(s) - 5*r(s). Is 59 a factor of y(5)?
True
Let g be 2838/(-731) - (36/17 + -2). Does 6 divide (-4536)/105*30/g?
True
Let i(h) = -h**3 - 4*h**2 + 2*h + 26789. Does 7 divide i(0)?
True
Is 47 a factor of (3688 - 1)*(-9 + (-105)/(-7) + -5)?
False
Let q be (-247 + -7)*5/(-10). Let x = 107 + q. Is x a multiple of 26?
True
Let u(g) = -5*g**3 - 5*g**2 + 5*g - 23. Let v be u(-5). Let f = -388 + v. Is 4 a factor of f?
True
Is 10*3*((106 - 100) + 1634/3) a multiple of 17?
False
Let s = -264 - -396. Suppose 0 = 12*n - 636 + s. Does 14 divide n?
True
Suppose 5*k - 3 = 12. Let m be (-3)/(-2) + (-4)/(16/(-222)). Suppose 2*t - m = -k. Is t a multiple of 9?
True
Suppose -2*p - 12*f + 70 = -7*f, 0 = 4*p - 3*f - 88. Suppose -33*s + p*s = -2352. Is 21 a factor of s?
True
Let j = -874 - -370. Let o = j - -798. Is 10 a factor of o?
False
Does 5 divide (245/(-5))/((-1)/(-31))*-1?
False
Let v = -8764 + 18227. Is v a multiple of 22?
False
Suppose 2*w + 2698 = 4*d, -562 = -d + 3*w + 120. Suppose 227 = 5*a - d. Is 12 a factor of a?
True
Suppose -280 = 3*m + 2*m. Suppose 7*q - 97 = 6*q + 4*d, 3*q - 2*d - 281 = 0. Let i = q + m. Is i a multiple of 37?
True
Suppose -7*m + 3*m + 38567 = 4823. Is m a multiple of 148?
True
Let y = -186 - -335. Suppose -451 = -3*o + y. Does 40 divide o?
True
Let s = -1644 + 4354. Suppose -4*q + 1320 + 844 = 4*r, 0 = -5*r - 4*q + s. Is r a multiple of 6?
True
Let n(b) = -b**3 + 5*b**2 - 4. Let d be n(2). Let q be d*(-4)/8 - -4. Suppose -o + 100 - 26 = q. Does 19 divide o?
False
Suppose 5*h = -450 + 70. Let d be (3 - h/(-24)*2)*-21. Let q = d - -60. Is 14 a factor of q?
False
Let w(l) = -11*l + 22. Let q be w(-8). Let c = 112 - q. Suppose -3*d + y = -139 - 75, -63 = -d + c*y. Is d a multiple of 7?
False
Let o(z) = 141*z - 7 + 26 - 5 + 87*z - 7. Is 16 a factor of o(4)?
False
Let c(s) = -3*s**3 - s**2 + 8*s - 4. Let i be c(-3). Let l = 62 - i. Suppose -24*z + 510 = -l*z. Is 17 a factor of z?
True
Let o be -4 - (-32 + (0 - 2)). Suppose -3*v + o = -48. Suppose v = 3*d - 2*c, -c - 3*c = -4*d + 36. Is 8 a factor of d?
True
Let m = -398 + 977. Suppose -3011 + m = -4*a. Does 16 divide a?
True
Let b = 319 - 316. Suppose b*g - 2286 = 570. Is 68 a factor of g?
True
Let d(j) = -j**2 + 11*j + 15. Let l be d(12). Suppose -4*b - 5*m = -935, 0 = l*m - 28 + 19. Is 10 a factor of b?
True
Let i(v) = 8500*v**2 - 39*v + 140. Does 14 divide i(2)?
True
Let o(u) = -2*u + 4. Let b = 7 - 5. Let c be o(b). Suppose 0 = 2*s - 2 - c, 2*j - 23 = s. Does 4 divide j?
True
Is 6 a factor of 41/82 - 63429/(-6)?
True
Suppose 4*f + 8 = 4*c - 0*f, -f + 10 = 2*c. Suppose -15 = 5*q, -q = -c*p - 2*q + 17. Suppose 0 = -4*h + 3*u + u + 376, -4*h = -p*u - 379. Does 11 divide h?
False
Suppose -6*c + c - 4095 = -4*d, -d - c + 1026 = 0. Suppose -1262 = -3*p - d. Does 8 divide p?
False
Let z(s) be the second derivative of s**4/12 + 10*s**3/3 - 107*s**2/2 - 4*s - 2. Does 18 divide z(-25)?
True
Let f(v) = 853*v**2 + 23*v + 130. Does 8 divide f(-5)?
False
Suppose 4*v + 2963 = h - 13668, 3*v + 133251 = 8*h. Does 19 divide h?
False
Let c = -3745 - -10871. Is 74 a factor of c?
False
Let f = -321 - -273. Is 72/f*(-1572)/9 a multiple of 14?
False
Let n(g) = g**3 - 39*g**2 - 22*g + 279. Is n(41) a multiple of 63?
False
Suppose 0 = -2*g + 4*d - 550, 1345 = g - 6*g - 5*d. Let t = g + 360. Is 5 a factor of t?
False
Let b be -4 + (1 - (-3 - 1)). Let d be 11/b*(7 + -6). Suppose d*f = -4*f + 555. Is 8 a factor of f?
False
Does 92 divide 3588*5 - (12 - 13) - (0 + -5)?
False
Let y(t) = 7*t**2 - 64*t + 16. Let g be y(14). Let r = g + -97. Is r a multiple of 16?
False
Is 1/(-1)*(6 + (-296296)/22) a multiple of 64?
False
Let z(d) = 2*d**3 - 16*d**2 + 3. Let y be z(8). Let b be -2*y*5/10. Does 9 divide b - (-42)/(2/1)?
True
Let q(x) = -x**3 + 2*x**2 + 3*x - 3. Let i be q(2). Let z = -9 - i. Does 20 divide (48/14)/(z/(-420))?
True
Let v(i) = i**3 - 14*i + 8. Let l be v(-4). Suppose 836 = 2*m - 91*o + 89*o, -o = l. Is 11 a factor of m?
True
Let m = -2 - -6. Suppose -3*t + 1 = 5*z, m*z = 5*t - 0*t - 14. Suppose 86 = 4*i + 2*s, 0 = 2*i + t*i + s - 81. Is 4 a factor of i?
False
Suppose -14 = 5*d + 21. Let y = -7 - d. Suppose y = -4*s - 5*g - 0*g + 412, 4*g - 310 = -3*s. Is s a multiple of 14?
True
Let l(p) = 17*p**2 + p + 1. Let s(w) = -w + 7. Let u be s(4). Suppose 3*o + 6 = 2*k + 5*o, 4*k - u*o = -16. Is 17 a factor of l(k)?
True
Suppose 2059*c + 354672 = 2068*c. Is 16 a factor of c?
True
Suppose -30*d - 1967 = -6377. Suppose 4*r - 62 = 222. Let j = d - r. Is j a multiple of 4?
True
Let r(q) = -14*q**2 + 6*q + 8. Let i(t) = -t - 1. Let o(k) = -2*i(k) - r(k). Let w = -16 - -13. Is o(w) a multiple of 11?
True
Suppose 3*j = -2*z - 0*j - 34, 4*j + 16 = 0. Let h(u) = -37*u - 107. Is h(z) a multiple of 30?
True
Let j = 6257 + -2434. Is 18 a factor of j?
False
Let c(d) = 7*d**3 + 53*d**2 + 49*d - 83. Let k(h) = 4*h**3 + 26*h**2 + 24*h - 41. Let t(m) = -3*c(m) + 5*k(m). Is t(-28) a multiple of 8?
True
Suppose -u = -2*g + 5401, 4*g + 3*u - 6069 = 4748. Is g a multiple of 57?
False
Let w(a) = 21*a + 87. Let m(l) = -10*l - 44. Let g(j) = -5*m(j) - 3*w(j). Suppose 0 = -4*c - 2*p - 38, -6*c + 3*p - 92 = -p. Is g(c) a multiple of 23?
True
Let f be (-4)/(-26) - 60364/(-52). Does 2 divide 108876/f + (-7)/9 + 1?
True
Suppose -5*s + 158050 = 10273*l - 10277*l, -3*l + 158050 = 5*s. Is s a multiple of 10?
True
Let r = -62 - -65. Let w be (453/12)/(r/12). Let n = -107 + w. Does 9 divide n?
False
Suppose -2*x + 71 + 19 = 0. Let d = x - 45. Suppose d*f = -3*f + 24. Does 3 divide f?
False
Let g(y) = 132*y**2 - 114*y + 52. Is 180 a factor of g(7)?
False
Let l = -9322 + 14421. Is 13 a factor of l?
False
Let z = 5522 + 14158. Is 12 a factor of z?
True
Is 75 a factor of 7 + (-99168)/(-40) + -11 - (-2)/(-10)?
True
Let n(i) = 9*i + 19. Let c(f) = 4*f + 9. Let y(s) = 7*c(s) - 4*n(s). Let d = -746 - -734. Is 44 a factor of y(d)?
False
Let j be ((-15)/(-27))/(-5) - (-209)/99. Suppose -j*c = 36*c - 22838. Is 17 a factor of c?
False
Let i = 28 + -24. Let k be ((-4)/(-6))/(i