Is 19 a factor of d?
True
Let d(f) = -10*f**3 - 2*f**2 + 2*f - 6. Let p = 105 + -108. Let g be d(p). Suppose 55*w = 52*w + g. Does 5 divide w?
True
Let d = 10 + -7. Let o be (15/(-10))/((-5)/(-20)) - -6. Suppose -3*r - d*c = -84, -12 = -r + 3*c - o. Is 9 a factor of r?
False
Let b(f) = -f**2 - 12*f + 1. Let s be -3 + -1 - (20 + -5). Let t be b(s). Let r = 230 + t. Is r a multiple of 7?
True
Let i = 5537 - 2255. Suppose i = 4*z - 1582. Is z a multiple of 38?
True
Suppose 2*b - 6320 = -3*b. Suppose 7*l = -l + b. Does 16 divide l?
False
Suppose 547*j + 862680 = 575*j. Is 65 a factor of j?
True
Suppose 0 = 4*h - 2*p - 52854, 5*h + 13552 - 79632 = 5*p. Is h a multiple of 6?
False
Suppose 4*r = r - 42. Let p(m) = -27*m + 20. Let a(c) = -c + 9. Let o(f) = -6*a(f) + p(f). Is o(r) a multiple of 29?
False
Suppose 5*f + 9*d = 5*d + 1065, 426 = 2*f + 4*d. Suppose 0 = w - f - 53. Does 50 divide w?
False
Let b be ((-1)/(-1) - 1) + 0. Let h(t) = t**3 + t**2 + t + 87. Let z be h(b). Let y = z - 43. Is 27 a factor of y?
False
Let s be -2 - -1 - 78/(-6). Let x be (1*6)/((-24)/s). Does 4 divide (-39)/(-2)*(-2)/x?
False
Suppose -10 = -2*k - 18. Let x be -16*2/k - 2. Suppose 420 = x*a - 4*a. Is 30 a factor of a?
True
Suppose -51936 = -65*l + 53884. Is 22 a factor of l?
True
Let t = 3646 + -1396. Does 25 divide t?
True
Let y = -397 - -1162. Suppose 2*u = -3*q + y, -4*u + 0*q = -q - 1509. Suppose 0 = x + 2*x - u. Does 13 divide x?
False
Suppose 0 = 13570*l - 13605*l + 57715. Does 23 divide l?
False
Suppose -45*l + 50703 = -37497. Does 49 divide l?
True
Let r(v) = 25*v + 72. Let q be r(-17). Let m = -233 - q. Does 8 divide m?
True
Let k(m) = 2*m**2 + 23*m + 14. Let s be k(-11). Suppose 7 - 4 = -q, -4*d = -s*q - 2909. Does 29 divide d?
True
Let d be (-2)/4*-2 - 2*-1. Suppose d*g - 129 = -9. Is 33 a factor of g/15 + -2 - (-788)/6?
True
Is ((-19379)/4)/(17 + (-552)/32) a multiple of 14?
False
Let o = 558 - -643. Let q = o - 481. Suppose -6*x - 4*x = -q. Does 9 divide x?
True
Let u(x) be the third derivative of -5*x**3 - 10*x**2 + 0*x - 3/8*x**4 + 0 + 1/60*x**5. Is u(14) a multiple of 10?
True
Let w(h) = 2*h - 6. Let a(b) = 46*b + 1 - 14*b - 24*b. Let t be a(1). Is w(t) a multiple of 2?
True
Suppose i - 2 = 6. Suppose 3*c = 7*s - 5*s - 1620, 3*s + 5*c = 2392. Suppose -2012 = -i*m - s. Is m a multiple of 24?
False
Let d = -36 + 28. Let c(v) = -v**3 - 6*v**2 + 17*v + 10. Let i be c(d). Suppose -4*z = -2*h + 72, 7 + 3 = -i*z. Does 9 divide h?
False
Let b(s) = 28*s**2 - 22*s - 64. Is 17 a factor of b(-7)?
True
Is 356*3/(-24)*-14 a multiple of 6?
False
Let f(x) = -7*x - 140. Let r be f(-20). Suppose -5*s = -r*s - 4615. Is s a multiple of 20?
False
Let k = 47 - 18. Let p = 44 - k. Let v = p - -19. Does 34 divide v?
True
Is 143 a factor of ((-12012)/98)/((-14)/4998)?
True
Let w(x) = 3*x**2 + 8*x + 464. Does 3 divide w(-22)?
True
Let q be (-2)/(-9) + (-44200)/(-117). Suppose -7*x + q = -x. Does 18 divide x?
False
Suppose -3*w = -5*k - 6, -5*w + 4*k + 14 = 4. Suppose -2*d + w*a - 3*a = -36, -5*d - a + 90 = 0. Is 24 a factor of 7*124/d + 2/(-9)?
True
Let p = 145 - 141. Suppose p*f - 126 = 2*o, 6*o = 2*f + o - 59. Let z = 53 - f. Is z a multiple of 4?
False
Let h = 6 - -11. Suppose 0 = h*z - 12*z - 125. Does 10 divide (30/z)/((-3)/(-50))?
True
Let m(y) = -2*y - 25. Let g be m(-14). Suppose -k - g*d = -3*k + 1796, -d + 2694 = 3*k. Is 17 a factor of k?
False
Suppose -2836551 - 2146231 = -91*i - 676662. Is i a multiple of 14?
True
Let s(l) = 13876*l**2 - 63*l + 62. Does 125 divide s(1)?
True
Suppose -23*u - 18*u + 51976 = -33*u. Does 44 divide u?
False
Let j(u) = u**3 - 6*u**2 + 6*u - 1. Let k be j(5). Suppose -k*a + 265 = a. Is 11 a factor of (-2 - -2) + a + 2?
True
Let v(l) = -2*l + 16. Let w be (7/4)/(51/12 - 4). Let t be v(w). Suppose -t*c = -c - 64. Does 13 divide c?
False
Let p(h) be the third derivative of h**5/20 + h**4/6 - 9*h**3 - h**2 + 4. Is p(-9) a multiple of 9?
True
Let t(q) = -q**3 + 4*q**2 + 2*q + 20. Let r be t(5). Is 12 a factor of r + 87 - -5 - 6?
False
Is 3015/402*64/6 a multiple of 12?
False
Suppose 0 = -20*c + 16*c + 4. Let t be 112/70*(c - (185 + 1)). Let d = -85 - t. Does 16 divide d?
False
Suppose 10*z + 15 = 12*z + 5*j, 3*z = 4*j - 12. Suppose -3*t + 215 = -5*a, 4*t + 4*a - 308 + z = 0. Does 33 divide t?
False
Is (11 + (-610)/8)*(-1216)/12 a multiple of 19?
True
Does 55 divide (-117 + -33)/((-3)/(-5) - 515/775)?
False
Let j(b) = -b + 3. Let t = -27 + 22. Let r be j(t). Is 26 a factor of 365/3 + r/6?
False
Let w be (9/(-6))/((-3)/4). Suppose w*o - 3*o = -8*o. Suppose 0 = s - 4*f - 54, o*s + 4*s + 3*f = 197. Is 25 a factor of s?
True
Let g = -1468 + 1468. Let j(a) = -4*a**3 + 3*a**2 + 4*a + 3. Let u be j(-2). Is 8 a factor of u*(g + 2 + -1)?
False
Let b(i) = -i**3 + 16*i**2 - 29*i - 12. Let v(f) = 4*f**2 - 34*f - 6. Let m be v(9). Is 21 a factor of b(m)?
False
Suppose z - 2*z + 4*l - 16 = 0, 5*l = -z + 29. Suppose 0 = z*q - 9*q. Suppose q = d - 0*d - 76. Is d a multiple of 11?
False
Let r(n) = 7*n + 6. Let l(u) = -13*u - 11. Let p(k) = 4*l(k) + 10*r(k). Let h be (-9)/6*(54/3)/(-3). Is p(h) a multiple of 36?
False
Suppose 14*n - 66319 = -60*n + 28179. Is 5 a factor of n?
False
Suppose 4*d - 3*m - 1279 = -0*d, -4*m = 5*d - 1560. Let f = -184 + d. Is f a multiple of 6?
True
Suppose -5*i - 4*z + 119996 = 0, 39*z = 4*i + 36*z - 95972. Is i a multiple of 48?
False
Suppose 3015*v = 3010*v - 3*s + 12644, -v + 3*s + 2536 = 0. Is v a multiple of 46?
True
Let a = 114 + -114. Suppose a = -3*q + 3*t + 45, -2*t = 3*q + t - 51. Is q a multiple of 3?
False
Let u(t) = 110*t + 70. Let v be u(-2). Is 31 a factor of 14*1*(-2325)/v?
True
Let w(s) be the third derivative of s**6/120 - s**5/60 + s**4/8 - 15*s**3/2 + 128*s**2. Is 14 a factor of w(5)?
True
Suppose 5*r + 105 - 95 = 0. Let q(a) = 165*a**2 - 8*a + 1. Does 48 divide q(r)?
False
Suppose -24 = -4*d + 4*r, 3*d - 5*r = -80 + 98. Suppose 0*s - 5*s = 0. Suppose 2*t + 4*w = d - 2, 4*t + 2*w - 26 = s. Is 4 a factor of t?
True
Suppose -2*b = 3*r - 9, -2*r = 3*r + 4*b - 13. Suppose r*f - 4*f - 200 = 0. Does 20 divide f?
True
Let h(z) = 3*z**3 + 79*z**2 + 23*z - 32. Let c be (2/(-15)*-5)/((-3)/117). Does 10 divide h(c)?
False
Let f(v) = -v - 6. Let r be f(-8). Suppose 15 = -3*w - r*w. Let j(b) = -b**3 + 2*b**2 + 4*b + 3. Is 36 a factor of j(w)?
True
Let d = -798 - -847. Is 2 a factor of d?
False
Is (((-752)/10)/(-4))/(7 - (-5032)/(-720)) a multiple of 2?
True
Is (-5 + 6)/((-2)/(-43308)) a multiple of 8?
False
Let m(j) = 1439*j**2 + 8*j - 7. Does 20 divide m(1)?
True
Let q(a) = 35*a**2 - 4*a + 48 - 25 - 2*a - 40 + 10*a**2. Does 31 divide q(-5)?
False
Suppose -a = -2*f + 9910, 33*f + 14870 = 36*f + a. Is f a multiple of 125?
False
Let w be 8*((-90)/24)/(-5) - -5. Is 42 a factor of (-6)/(-6)*6941/w?
False
Let q = -90 + 98. Suppose 7249 - 745 = q*x. Let o = -553 + x. Is o a multiple of 26?
True
Let m(r) = -1 + 2*r**2 - 361*r + 139*r**3 + 362*r - 4*r**2. Let x be m(1). Let l = 193 - x. Does 6 divide l?
False
Let r(d) = -80*d - 20. Let p be (-23)/7 - 140/196. Is 5 a factor of r(p)?
True
Suppose -4*t + 32509 = -5*i, -40625 = -0*t - 5*t + 4*i. Does 12 divide t?
False
Suppose -5*l = 2*h - 243, l = -4*h + h + 397. Suppose -8 = -4*i, 5*y - i = y + h. Let k = y + -25. Is k a multiple of 8?
False
Let m(c) = c - 159. Let i(r) = r + 158. Let t(b) = 2*i(b) + 3*m(b). Is t(36) a multiple of 15?
False
Let f(b) = -b**2 + 2*b + 1. Let x(q) = -30*q**2 - 17*q + 30. Let k(l) = -5*f(l) - x(l). Is k(4) a multiple of 7?
True
Suppose -4*m + 29*m = 229*m - 7025760. Is m a multiple of 40?
True
Let o = -204 - 500. Let d = o + 1013. Does 5 divide d?
False
Does 4 divide -46 + 50 + 29 + 1?
False
Let v be 1410/(-35) + 5 + (-4)/(-14). Is 19 a factor of (4 + (-5)/((-25)/(-58)))*v?
True
Suppose -33*t + 35*t = 170. Let m = 88 - t. Suppose 0 = -5*d - m*d + 1536. Does 27 divide d?
False
Let m = 7980 + -7987. Let g(s) be the third derivative of -s**6/120 - s**5/15 - s**4/8 + 5*s**3/3 - s**2. Is 12 a factor of g(m)?
False
Suppose -7*m - 23560 = -47*m. Is 19 a factor of m?
True
Suppose -5*k - u - 67 = 0, -u = 4*k - 3*u + 48. Let i = k - -17. Suppose -x + 64 - 11 = -5*n, -258 = -i*x - 3*n. Is x a multiple of 7?
True
Let h be (-4)/34 - 38240/(-1360). Let a(m) = 41*m - 212.