- 27697. Does 13 divide u?
True
Let f = -37 + 42. Suppose 0 = -f*a - 420 + 2185. Is (a - -3)/2 - -4 a multiple of 14?
True
Suppose 1950138 - 300854 = 197*l. Is 52 a factor of l?
True
Is (90/(-36)*-138)/(2 + (-5)/3) a multiple of 45?
True
Suppose 13*o - 9880 = -7*o. Let l = 178 + o. Is 24 a factor of l?
True
Suppose 2*o - 5*k = 1654, -16 = 33*k - 37*k. Is 11 a factor of o?
False
Let w = -65 + 63. Does 6 divide (8/(-3))/(w/189)?
True
Let f(w) = w**2 - 6*w + 3135. Is f(0) a multiple of 55?
True
Let d = -721 + 324. Let l = -180 - d. Is 31 a factor of l?
True
Let d be 6/9*(-18)/(-2). Does 21 divide 33065/75 + d/45?
True
Let o(f) = f**3 + 15*f**2 + 14*f + 16. Let j(t) = -3*t**2 + 27*t + 18. Let z be j(10). Does 28 divide o(z)?
True
Let t(n) = -n**3 + 7*n**2 - 5*n - 4. Let h be t(6). Let f(m) = 32*m + 4. Let g be f(h). Suppose g = 4*s - 124. Does 12 divide s?
True
Let v = 4194 - 1204. Does 13 divide v?
True
Let u = 5 - -4. Let y(s) = 2*s - 23. Let f be y(u). Let c = 37 - f. Does 13 divide c?
False
Let p = -645 + 646. Suppose -d = p - 46. Does 15 divide d?
True
Let d(r) = r**2 + 22*r + 7. Let t be d(-16). Let q = 136 + t. Suppose -272 = -5*g - q. Does 19 divide g?
False
Let m = 199 - 69. Let b = -101 + m. Is 5 a factor of b?
False
Let i be (16 - 11)*(-12)/(-20). Suppose -5*h - 2*f + 7016 = f, 4212 = i*h + f. Does 21 divide h?
False
Let t(v) = 3*v + 1. Let n be t(6). Let w = 13 - n. Is (w/4)/((-3)/210) a multiple of 15?
True
Suppose 21*d + 48*d - 330120 = 39*d. Is d a multiple of 14?
True
Suppose 17*b - 30722 = 14974. Does 12 divide b?
True
Suppose -2719*d + 2724*d = 53460. Does 12 divide d?
True
Let b = 21536 - 1557. Does 10 divide b?
False
Let i(y) = 996*y**2 + 60*y - 360. Is 135 a factor of i(5)?
True
Let j = 715 - 679. Suppose 10*t - j*t + 6240 = 0. Does 17 divide t?
False
Let y(n) = 15779*n**2 + 120*n + 120. Does 31 divide y(-1)?
True
Let n be (-2)/4*(-1 + 3 + 16). Let m(y) = -y**3 - 10*y**2 - 11*y - 15. Let d be m(n). Suppose d*x + 2*k = 15 + 8, -x + 2*k + 21 = 0. Is x a multiple of 11?
True
Suppose -40095 = -2*t - 374*y + 371*y, 5*y = 35. Is t a multiple of 102?
False
Let f(s) = s**3 + 14*s**2 + 19*s - 21. Let h be f(-15). Let g = h + 835. Suppose -5*p - 104 = -g. Is 10 a factor of p?
True
Let w(b) = -b**3 - 8*b**2 + 24*b + 43. Let r be w(-10). Suppose -r*x = -2*j - 145, -17*x + 5*j = -20*x + 173. Is 3 a factor of x?
True
Suppose -5*l + 18707 = -x, 3*l + 4*x - 5136 = 6079. Is 43 a factor of l?
True
Let o(t) = -707*t - 1146. Is 6 a factor of o(-8)?
False
Let g(r) = 26*r**2 + 209*r - 3950. Does 5 divide g(18)?
False
Suppose 2059 = 3*d - 2951. Does 10 divide d?
True
Let a be 6/(5 - 9/3). Let b = a + 2. Suppose 0 = -m - b*p + 45, -2*p - p = 5*m - 335. Is 10 a factor of m?
True
Suppose -5*n + 5*g = g - 322, -2 = -g. Suppose 4*s + 5*j = 66 + n, 5*s - 206 = 4*j. Is 19 a factor of s?
True
Let a = -40 + 52. Suppose 3*j = -a + 45. Suppose j = b - 8. Does 15 divide b?
False
Let v(n) = 2*n**2 + 56*n - 6. Let h be v(-28). Is 60 a factor of -1 - (2/5)/(h/4710)?
False
Does 15 divide ((-420)/154)/(1/(-22))?
True
Suppose 14*j = -16 + 2. Does 5 divide (-83 - 7)*j/2?
True
Suppose 2*g + 3*g - 41 = 4*l, 3*l + 5*g = -57. Suppose 94 = 2*s - 3*s. Let m = l - s. Is 20 a factor of m?
True
Suppose -5*a + 21 = -4. Suppose 0*x - 69 = 4*x + a*v, -2*v - 32 = 2*x. Let d(j) = -j**3 - 10*j**2 + 12*j + 15. Is 4 a factor of d(x)?
True
Let y = -49 - -53. Suppose -162 = 3*m - y*m + 5*v, 4*m - 3*v = 648. Suppose -4*i + m = -3*i. Is 27 a factor of i?
True
Suppose 16*m - 18*m + 104 = 0. Suppose m = -4*z + 72. Suppose -10 = -5*x, 0 = -z*d + 3*x - 159 + 433. Is 14 a factor of d?
True
Suppose p - 516 = 50. Suppose -4*f + 442 = -p. Is f a multiple of 12?
True
Let t(l) be the second derivative of 2*l**3/3 - 13*l**2 + 8*l. Let m be t(15). Suppose -m*o + 29*o + 155 = 0. Is 17 a factor of o?
False
Is (-7)/(28/32) + -16 + 19 + 8789 a multiple of 144?
True
Suppose -27 = -3*g + 5*a + 64, 3*g - 3*a = 81. Let f = 176 + g. Does 18 divide f?
True
Let x be (-21)/(-28) - 13/(-52). Let o be 1/3 + (-69)/(-9). Is 34 a factor of x/(-4) - (-1050)/o?
False
Let o(m) = -2*m + 30. Let g be o(6). Is 7 a factor of (392/g + (-4)/(-18))*2?
False
Let d = 6120 - -2230. Is 56 a factor of d?
False
Let j = 70 + -39. Suppose 4*t - 52 = -v, -2*v + j + 73 = -t. Does 11 divide v + (4 - 3) + -3?
False
Let n(f) = 14*f + 40. Let c = 144 + -144. Is 2 a factor of n(c)?
True
Let j(f) = -f**3 - 5*f**2 - 6*f - 3. Let k be j(-4). Let b = -7 + k. Does 6 divide 41 - 0/(b - -4)?
False
Let m be 174/21 + (-14)/49. Suppose -7*l - m = -5*l. Does 10 divide 248/5 - l/10?
True
Let n = -11162 + 12164. Does 48 divide n?
False
Let x = -167 + 317. Let m = x + 30. Does 12 divide m?
True
Suppose -6*m + 2620 = -3080. Suppose 6*t - m = 58. Does 21 divide t?
True
Suppose 5*m - 187 = -3*z, 2*z + 3*m - 5*m = 114. Let v = 99 - z. Is v a multiple of 40?
True
Let n(b) = b**3 - b**2 - 4*b + 99. Let k be n(0). Let y be (-4)/22 + 51003/k + -4. Suppose -11*m + y = 60. Does 40 divide m?
False
Suppose 78*c - 44143 - 98519 = 0. Is c a multiple of 56?
False
Suppose -5*c = -5*y + 925, -5*y + 922 = 2*c - 4*c. Let u = 520 - y. Is u a multiple of 14?
True
Suppose 18*s - 549829 + 212401 = 5*s. Does 20 divide s?
False
Suppose 20 = 4*c - 0*c. Suppose -c*d - 13 = -43. Suppose d*v - 819 = -3*v. Is v a multiple of 16?
False
Let b(v) = -22*v + 1. Let g be b(-1). Suppose 5*k = -5, 5*x + g = -2*k - 24. Is -3*(-40)/x*-3 a multiple of 10?
True
Let q = 459 + 3701. Does 16 divide q?
True
Let u = -1724 + 3960. Suppose 3 = 3*k, 14*k + u = 4*g + 10*k. Does 10 divide g?
True
Let a(v) = 38*v**2 + 1021*v - 47. Is 31 a factor of a(-38)?
True
Suppose 5*l = -x - 519, 0 = -4*x + l - 3*l - 2076. Let c = -442 - x. Is c a multiple of 9?
False
Let w(f) = 40*f + 158. Let b be w(-7). Is 4 a factor of 11/22*(0/2 - b)?
False
Let s = -20 - -23. Suppose s*z - 3 = 3*b + 2*b, -5 = 5*b - 5*z. Suppose 5*d + 3*i - 268 = 0, b = 3*d - 4*d - i + 52. Is d a multiple of 7?
True
Let f(k) = 7*k**2 - 59*k + 36. Let z(l) = 2*l**2. Let v(d) = f(d) - 4*z(d). Is 81 a factor of v(-30)?
False
Suppose 570200 = 14*j - 142*j + 4658776. Is j a multiple of 27?
False
Does 19 divide (2784 - -5) + (-76)/(-57)*6/4?
False
Let t be 374 - (0 - -2) - (4 + -1). Suppose 198 = -9*n - t. Let i = 252 + n. Is i a multiple of 63?
True
Let o be (-4)/(1 - 3)*(-4 - -5). Suppose -g - r = -5, -3*r = o*g + 2*r - 10. Does 12 divide (g - 755/25)/(3/(-10))?
True
Let k = -39714 + 70053. Is 16 a factor of k?
False
Suppose 0 = -3*h + 4*a, 2*a = -2*h + 5 + 9. Does 4 divide (h - 7/2) + 474/12?
True
Suppose 0 = 205*l + 193516 - 1198016. Is l a multiple of 22?
False
Let p be (-31 + 15)*(-1 - 0)*47. Suppose -2*t = -90 + p. Let b = 473 + t. Is b a multiple of 10?
False
Let s = 72 + -70. Suppose -587 - 413 = -5*v - 2*m, 5*v - s*m = 980. Is v a multiple of 18?
True
Let m be 2*4/44 + (-42496)/(-44). Suppose 0 = 3*q - 462 - m. Does 32 divide q?
False
Is 14 a factor of 9/(-6) - (-1547458)/44?
True
Let o = 0 + -305. Let i = 168 - o. Is 15 a factor of i?
False
Let l be (-615)/(-20)*12 + -5. Suppose 4*c + l = 2*k, 5*k - 2*c = 1140 - 238. Does 9 divide k?
True
Let b(r) = -r**3 - 7*r**2 - 7*r - 40. Let f be b(-7). Suppose -2*k + 3*k = f. Is k a multiple of 7?
False
Does 51 divide (-3 + 7 - -4) + -12 - -2540?
False
Let m(j) = j + 20. Let t be m(-7). Suppose 2*v = 5*d + 13, -v - d - t = -4*v. Let q = 7 + v. Does 8 divide q?
False
Suppose -4*n = 4, -3*j + j - 4*n = -1900. Suppose -4*q - 736 = -j. Does 27 divide q?
True
Suppose 4*w + 2*b = 121074, 67279 = 3*w - 4*b - 23554. Is w a multiple of 19?
False
Suppose 0 = -4*n + 24 + 4. Let g(p) = 8*p**2 + 11*p - 35. Is 27 a factor of g(n)?
False
Let j(i) = 9*i**2 + 62*i + 2. Let n be j(-7). Suppose -14*g + 805 = -n*g. Does 14 divide g?
False
Suppose 3*v - v = -10, -3*v = 4*y - 525. Let x be 29/(-3) - (-4)/6. Let g = y + x. Does 7 divide g?
True
Let u = -66 + 69. Suppose 0 = -u*c - 42 + 54. Suppose 3*w = z + 2*w - 29, 2*z - c*w - 54 = 0. Is z a multiple of 13?
False
Let k(i) = i**3 - 23*i**2 + 63*i - 45. Let q be (70/3)/(-5)*90/(-21). Is 11 a factor of k(q)?
False
Suppose 2*q + 280 = 7*q. Let g = q - 77. Let m = 40 + g. Is 12 a factor of m?
False
Let o(m) be the first derivative of 6*m**2 + 4*m + 30. Let i be o(3). Suppose