 = -526 - -442. Let i = -510 - -321. Let v = k - i. Is 21 a factor of v?
True
Let m(u) = 496*u**2 - 68*u - 24. Does 10 divide m(6)?
False
Suppose n + 4 = 5*n. Let c = -1677 - -1648. Does 27 divide (0 - 2)/(n/c - 0)?
False
Let s be (18/6)/((-2)/8)*2. Let m(u) be the first derivative of -u**3/3 - 14*u**2 + 10*u - 18. Is 8 a factor of m(s)?
False
Suppose 0 = -9*a + 69 + 30. Suppose -135 = -5*b - 2*m, -3*b + 7*m + 67 = a*m. Is 4 a factor of b?
False
Suppose 10*h = 40, -2*h - 71589 = -126*o + 125*o. Does 18 divide o?
False
Let z = -3303 + 4528. Is z a multiple of 35?
True
Suppose 5*z = -5, 2*u + 87*z - 21954 = 89*z. Is u a multiple of 49?
True
Is 8 a factor of 11*(-24)/1188 + 5609/9?
False
Suppose -4*i = -113 - 267. Let c = i + -34. Suppose -68 - c = -g - 2*j, 2*g - 4*j - 234 = 0. Does 11 divide g?
False
Let f = -80 + 89. Suppose -14*n + f*n + 645 = 0. Let v = n - -1. Is 26 a factor of v?
True
Suppose 9*y + 4301 - 49901 = -11*y. Does 20 divide y?
True
Let j = 69 + -82. Let i = -10 - j. Suppose -i*m = 10*m - 1157. Is 29 a factor of m?
False
Suppose k + 2*y + 23 = 0, -k + 5*y + 23 = -2*k. Let m = -18 - k. Suppose -3*r = m*r - 1352. Does 37 divide r?
False
Is (-75078)/(-45) + (-20)/50 a multiple of 9?
False
Let g = -2004 + 16761. Is 174 a factor of g?
False
Let k = 10900 - 6308. Is k a multiple of 41?
True
Suppose -4*o + c = 5, 2*c - 15 = o - c. Let i(g) = g**3 - g**2 - 2*g + 76. Is i(o) a multiple of 9?
False
Suppose 85*f - f + 135*f - 3594666 = 0. Does 29 divide f?
True
Suppose 2*a - 2008 = -2*z, 4188 = 4*z - 3*a + 165. Suppose -4*m = -4*s - 804, -4*m = m + s - z. Suppose 0 = l - m + 6. Is l a multiple of 22?
False
Suppose 33*o - 87207 = 8*o + 314193. Is o a multiple of 12?
True
Suppose -4*t + 4 = -2*g - 0*t, -3*g - 4*t = -4. Suppose 7*s - 154 - 252 = g. Is s a multiple of 23?
False
Let n = 31927 + -21519. Is 11 a factor of n?
False
Suppose 3*o = -4*z + 40083, 5*z - 20042 = 3*z - 2*o. Is 12 a factor of z?
True
Let u = -8438 + 8773. Does 10 divide u?
False
Suppose 126205 = 64*r - 159619. Is r a multiple of 154?
True
Suppose 3*c + a - 17669 = 0, -3*c - 5*a = 2*c - 29465. Suppose 0 = -8*z + 4*z + c. Is z a multiple of 23?
True
Suppose 7410 = -229*y + 248*y. Does 2 divide y?
True
Let w(f) be the second derivative of f**3/2 + 10*f**2 + 27*f. Let q be w(-4). Suppose u - 173 = -2*a, -4*a + q*a - 169 = -u. Does 21 divide u?
False
Suppose -3*r + 2100 = -4*m - 3695, 0 = -r - 2*m + 1915. Is 11 a factor of r?
True
Suppose i - 90*n + 92*n = 4356, 5*n = -2*i + 8718. Does 24 divide i?
True
Does 40 divide (6751/(-785) - (-7 - 2)) + (-100396)/(-10)?
True
Let v(d) = d**2 - 7*d + 19. Let n be v(5). Suppose -20*z = -n*z + 88. Is ((-6)/(-4) - 108/z)*3 a multiple of 9?
True
Let q be -3 + 0 + 1 - 1. Suppose -40 = 2*m + 4*z, -z - 182 = -5*m - 216. Does 15 divide (4/m)/(q/858)?
False
Suppose -872742 = 4540*l - 4607*l. Is 5 a factor of l?
False
Let s be (-6)/8 - 9/(-12). Let c be (1/((-2)/(-232)))/(s + 2). Suppose -g = -4*q - c, 2*q - 22 = -g + 12. Is 4 a factor of g?
False
Let a(j) = j**3 - 74*j**2 - 298*j - 413. Does 58 divide a(79)?
True
Let v = -667 - -703. Suppose 8*z = v*z - 37464. Is z a multiple of 75?
False
Let f = -281 + 285. Is 7 a factor of f + -28*72/(-32)?
False
Let v(w) = 29*w**2 + 15*w - 310. Is v(14) a multiple of 148?
False
Let p = 17 + -23. Does 9 divide 14368/80 - p/15?
True
Let c be (-4)/((-32)/24) + (5 - 2). Is c/(-39) + 96118/143 a multiple of 56?
True
Let s be (3720/(-434))/((-2)/175). Let u = 1100 - s. Is 13 a factor of u?
False
Suppose 7 = 13*o + 33. Let f be 2 + 5/o + (-15)/(-6). Suppose 0 = 5*c - 3*i - 396, -3*c + f*i + 258 = 7*i. Does 13 divide c?
False
Suppose 1690 = g - 2*r, -4*r = -4*g + 3*g + 1688. Suppose 165*x - 168*x = -g. Is x a multiple of 6?
True
Let h be 2 + (-2 - -1) - (6 + -4). Let w be h/(-2) + 521/(-2). Let d = w + 366. Does 53 divide d?
True
Suppose 0 = d + 37*a - 42*a - 363, -752 = -2*d - 3*a. Is 23 a factor of d?
False
Let c(u) = -303*u - 3834. Does 35 divide c(-48)?
True
Let y(t) = t**3 + 8*t**2 - 47*t + 15. Let r be y(-12). Suppose -2252 = -r*p + 1312. Does 22 divide p?
True
Let q(m) = -m**3 + 20*m**2 + 18*m - 161. Does 22 divide q(11)?
False
Suppose 4*z = 11*u - 10*u - 32456, -129734 = -4*u + z. Does 15 divide u?
False
Suppose -2*k + 3*m = -386, m - 5*m = 16. Suppose 107 = -11*i + 1174. Let w = k - i. Does 30 divide w?
True
Let c = 51 - 48. Suppose w - 5*z = -w - 9, -c*w = 4*z + 25. Does 25 divide 1 + ((-30)/w)/((-3)/(-21))?
False
Let u(h) = h**3 + 8*h**2 + 8*h + 10. Suppose 11 = -5*a - 24. Let m be u(a). Is 2 a factor of m/(12/10 - 1)?
False
Suppose -42723 = -3*u - 4*a + 8417, 0 = 5*u + 6*a - 85234. Is 16 a factor of u?
False
Suppose -j + 2*j = 0. Suppose -5*p + 2*q - 10 = 0, j*p + 3*q - 15 = -p. Suppose p = -5*s + 3*v + 456, -v = 5*s + v - 446. Is s a multiple of 18?
True
Is 19 a factor of 9/27*-3*(-45090 - (0 + -3))?
True
Suppose -3193 = -47*p + 4045. Is 77 a factor of p?
True
Let h(l) = 15 + 38 - 4*l - 31. Let x be h(5). Suppose -3*k + x*k + 9 = 0. Does 8 divide k?
False
Let j(y) = -24*y - 185. Let d be j(-8). Suppose 18*n = -d*n + 25900. Does 17 divide n?
False
Suppose -9*y = -23 + 23. Let c be y - (1 + -56 + -5). Does 10 divide 225/c*(-16)/(-6)?
True
Let m be 1510/25 + 6/(-15). Suppose m*g - 62*g + 302 = 0. Is g a multiple of 11?
False
Suppose -317*p - 353675 - 477285 = -382*p. Is p a multiple of 34?
True
Suppose -6*m + 11*m - 5 = 2*i, 2*i = -m + 13. Suppose f + 225 = g, -4*g - g + 1085 = i*f. Does 17 divide g?
True
Let q(a) = -42*a**3 + a**2 + 4*a + 2. Let s be q(-1). Let t = s + -69. Is (t/6)/((-20)/30) a multiple of 7?
True
Let s(m) = 229*m + 573. Is 7 a factor of s(17)?
True
Let h be (-19706)/(-59) + (-2 - -1*1). Let k = h + -272. Does 9 divide k?
False
Suppose 4*j + n = 3*n + 1890, -4*j + 1885 = 3*n. Let o = j - 229. Does 27 divide o?
True
Let x = 14 + -13. Suppose 31 = 4*d - x. Does 16 divide 60/d*256/20?
True
Let o be (-2)/(-8) + (-4)/((-32)/1294). Suppose 27*m = 21*m + o. Suppose -31*n + 184 = -m*n. Is n a multiple of 10?
False
Suppose 17*y - 39768 = -7*y. Suppose 5*h - y = -12*d + 9*d, -2*d = 3*h - 1105. Is d a multiple of 26?
False
Suppose 2*n + 2*n = 156. Let c = -47 + n. Is (-258)/c + 5/(-20) a multiple of 3?
False
Suppose 2*i - 11103 = -4*z + 7*i, -2*i = -2. Does 55 divide z?
False
Let t = -271 - -559. Suppose 3*g = -q + 4*q + 180, 5*g - q = t. Suppose g = a - 8. Does 13 divide a?
True
Suppose 0*f - 5*f - 32 = 2*p, 0 = p - 4*f + 3. Let m = p - -61. Suppose 4*n = 9*n - m. Does 4 divide n?
False
Let x be 1/(-4)*-28 - 7. Suppose -57 + 26 = -5*g - r, 5*g + 4*r - 34 = x. Is 2 a factor of g?
True
Suppose z - 117 = -2*z. Let b = z - 29. Suppose n = b*n - 522. Is n a multiple of 7?
False
Let p(h) = 2*h**2 + 6*h - 20. Let o be p(22). Suppose 1176 + o = 24*l. Is l a multiple of 2?
True
Let u(w) = 6*w**2 + 4 - 19 - 2*w**2 - 5*w**2 - 14*w. Let a(j) = -j - 2. Let i be a(10). Is 2 a factor of u(i)?
False
Let s(m) = -m**2 + 23*m + 28. Let k be s(24). Suppose 4*r - 3*p - 966 = 0, 2*r + 5*p + 490 = k*r. Does 34 divide r?
False
Let a = -26 - -25. Let c(j) = 5*j**2 - 1. Let q be c(a). Suppose 0 = -q*z - z + 400. Is z a multiple of 20?
True
Let o(j) = -2*j**3 + 5*j**2 + 7*j - 5. Let n be o(5). Let v = n + 154. Let a = v + 1. Does 13 divide a?
False
Suppose -413020 - 120335 = -93*c. Is 41 a factor of c?
False
Let w = 347 - 342. Does 3 divide 294/9 + (-10)/6 - w?
False
Let g = -397 + 402. Suppose -5*z + 917 = 4*d, -6 = g*d + 4. Is z a multiple of 8?
False
Let f = -6998 + 18471. Is f a multiple of 77?
True
Let x = -5870 - -11230. Does 67 divide x?
True
Let u(y) = -32*y + 12*y**2 + 11*y**2 + 5*y**2 - 9 - 7 - 25*y**2. Let o be (-136)/(-10) + 2/5. Is 31 a factor of u(o)?
True
Let g = 8 - 14. Let s be (g/(-5))/((-18)/(-60)). Let i = 12 - s. Is i a multiple of 4?
True
Let z(c) be the second derivative of 10*c**3/3 + 8*c**2 + 12*c. Let q be z(8). Let s = q + -99. Does 19 divide s?
False
Suppose -80*q + 27616 = -48*q. Suppose -5*x + 15*n + 2142 = 12*n, -5*n = 2*x - q. Is 18 a factor of x?
False
Suppose -4*l - 3*s = -1836, -11*l = -8*l + 2*s - 1378. Suppose 22*g = -0*g + l. Is g a multiple of 7?
True
Let v = -4285 + 4315. Does 5 divide v?
True
Suppose -9*s = -132*s - 21*s + 1800144. Is s a multiple of 7?
False
Let k = 35 - 33. Suppo