 c(-25)?
False
Is (-38 + -1435)/(4 + -1)*-34 a multiple of 34?
True
Is 191 a factor of (705/(-150) - (-6)/(-20)) + 2863?
False
Suppose -141 = -43*y - 3366. Let p(f) = f**3 + 10*f**2 + 8*f - 3. Let i be p(-6). Let s = i - y. Does 12 divide s?
True
Is 53 + 1684 - ((2 - 1) + 8) a multiple of 36?
True
Suppose 62*k - 61*k - 567 = -5*c, k + 2*c = 564. Is 5 a factor of k?
False
Let a(g) = 3*g**2 + 47*g + 1487. Does 95 divide a(-69)?
False
Suppose 15 = 5*n + 5, -3*d + 3*n = -2919. Suppose -d = 832*y - 833*y. Is y a multiple of 43?
False
Suppose -6*i + 10*i - 28 = 0. Suppose i*w + 39 = 10*w. Let g(r) = 5*r - 27. Is g(w) a multiple of 12?
False
Suppose 858 = -2*j + 8*j. Suppose j*p - 139*p - 40 = 0. Does 13 divide (-186)/(-15) + (5 - 44/p)?
True
Let o be 0/1 - (-4 - -1). Suppose 0 = 5*c - o*q - 104, 6*c - 5*c = -3*q + 28. Let y = 35 - c. Is 13 a factor of y?
True
Is (16/(-112) + (-2701)/7)*(-2 - 1) a multiple of 193?
True
Suppose 0 = -17*b + 25134 + 41482 + 33123. Is 43 a factor of b?
False
Suppose 21*d - 43323 = 14*d. Suppose 21*h - d = 16953. Is h a multiple of 6?
False
Let c(u) = 7*u + 9 - 5 + 6*u + 12*u**2 - u**3 + 2*u**3 + 10. Is 31 a factor of c(-5)?
True
Let y = 132 - 55. Let n = -75 + y. Suppose d - 2*t - 56 = -0*d, -n*t = 2*d - 94. Is 25 a factor of d?
True
Let f(j) = j**2 + 37*j - 9. Let z(n) = n**2. Let v(o) = -f(o) - 3*z(o). Let t(h) be the first derivative of v(h). Is 6 a factor of t(-7)?
False
Let z(s) be the third derivative of 1/24*s**4 - 2*s**2 + 0*s + 1/6*s**3 + 11/10*s**5 + 0. Is z(-1) a multiple of 22?
True
Let g be (-5)/((-100)/52) - (-4)/10. Suppose g*p - 4*i = 944, 2*p + 0*i = -3*i + 618. Does 13 divide p?
True
Let i(d) = -14*d**3 - 4*d**2 - 2*d + 2. Let v be i(3). Does 38 divide (14 - -2)*v/(-8)?
True
Let o = 2400 - 1704. Does 3 divide o?
True
Suppose -z - 7729 = -w, -3286 + 34201 = 4*w - 5*z. Is w a multiple of 6?
False
Suppose -98 + 2854 = v - 0*v. Is v a multiple of 106?
True
Let n(z) = -122*z - 231. Let m be n(-15). Suppose -366*g = -353*g - m. Does 41 divide g?
True
Let m(t) = t**2 + 7*t + 7. Let h be m(-6). Let a be (h - -1)*1 - 55. Let b = a + 129. Is b a multiple of 38?
True
Suppose -c + 87 + 0 = 0. Let i = c - 39. Suppose -g + 2 + 24 = -2*o, -3*o = -2*g + i. Is g a multiple of 3?
True
Let r(o) = 19*o**2 + 4*o - 8. Let h = -71 - -73. Is r(h) a multiple of 8?
False
Is 4/12 - (6/(-45) + 2261860/(-300)) a multiple of 119?
False
Suppose 0 = 5*i - 2*i - 30. Let f(d) = 10*d + 20. Let h be f(i). Suppose 0 = 6*x - 7*x + h. Is x a multiple of 20?
True
Suppose 2898 = 4*v - 2810. Is 16 a factor of v?
False
Let m be (-19)/((-76)/(-24)) + 4. Let d(s) = 83*s**2 + 3*s + 3. Does 47 divide d(m)?
True
Suppose 0 = -1454*q + 1433*q + 379113. Is 156 a factor of q?
False
Suppose -4739*h + 4738*h + 8938 = 0. Is 84 a factor of h?
False
Let g(w) = -3*w**3 - 24*w**2 - 3*w - 18. Let k be g(-8). Suppose -12*l - k*l = -8136. Does 7 divide l?
False
Let w(s) = -s**3 + 22*s**2 - 35*s + 63. Let t be w(17). Suppose 35*g - t = 24*g. Is 83 a factor of g?
True
Let g = -163 - -165. Is 3 a factor of (1576/(-4))/g*-1?
False
Let q(i) = 10*i - 191. Let k be (3/(-5) - (-113)/5)*1. Does 25 divide q(k)?
False
Suppose -239840 = -4*j - 4*g, 1013*g = 2*j + 1018*g - 119935. Is j a multiple of 64?
False
Let j = -2727 - -4269. Is 74 a factor of j?
False
Let n(f) = 566*f + 1036. Is 35 a factor of n(-1)?
False
Let d(c) = -6*c - 17. Let l be d(-6). Suppose 5*b + 4 = l. Suppose -2*a - 2*s - 42 = -b*a, a - 18 = -4*s. Is a a multiple of 12?
False
Let f(p) = -259*p + 2451. Does 66 divide f(-15)?
True
Let j = -2373 + 2228. Let a be ((-338)/8)/(2/(-8)). Let b = a + j. Does 5 divide b?
False
Let f be -15*(-3)/27*3. Suppose 2*m + 5*c = 7, f*m - 2*c - 2 = 1. Let u = m - -51. Is 26 a factor of u?
True
Suppose 5*z - 815 = -5*o, 5*z + 2 = -3. Let c = 132 - o. Let v = 46 + c. Is 14 a factor of v?
True
Let i(q) = -93*q - q + 96*q + 220. Is 16 a factor of i(42)?
True
Suppose 21*o + 6355 = 26*o. Is o a multiple of 16?
False
Does 64 divide 48/((100092/(-14304) - -13) + -6)?
True
Is 12712032/585 - 52/(-1690) a multiple of 45?
False
Suppose 0 = -3*x - 18, c + 4*x + x = 10002. Does 15 divide c?
False
Suppose 5*m = -34 - 16. Suppose 0 = 3*f - 0*v - 3*v - 207, -4*v + 114 = 2*f. Is 230/(m/f - (-56)/26) a multiple of 23?
True
Let a(l) = -38319*l**3 - 17*l - 17. Does 241 divide a(-1)?
True
Suppose 2*a = -2*a - 4*g + 40, -5*g = a - 22. Suppose 146 = a*z - 1. Does 2 divide (z/(-6))/(3/(-6))?
False
Let a(m) = -m**2 - 5 + 4 - 6*m + 10. Let b be a(-7). Suppose -b*c - 148 = -4*o - 3*c, -4*o + 4*c = -128. Is 12 a factor of o?
True
Let f = -31388 + 45939. Is f a multiple of 6?
False
Let f be ((-346)/(-8))/((-2)/16). Let n = -104 - f. Is n a multiple of 11?
True
Suppose 20*j - 47*j + 768264 = 141*j. Does 11 divide j?
False
Let n(h) = 61*h + 248. Let v be n(-4). Suppose -2836 = -4*w + 4*f, 22*w - 26*w - v*f = -2820. Is 7 a factor of w?
True
Let m be -7 - (1 - 9) - -650. Let o = m + -353. Does 32 divide o?
False
Suppose -u + 2*c = -9951, 0 = 2*u - 4*c + 8*c - 19846. Does 19 divide u?
True
Let z(a) = 45*a - 2975. Does 49 divide z(77)?
True
Let x be 1*(-118)/(-6) - (-8)/24. Suppose -2*r + 8 = s, 4*s + s - x = -5*r. Suppose 0*u - 4*u - 12 = 0, s = 3*t - 3*u - 279. Does 9 divide t?
True
Suppose -30995 + 1156 = -53*n. Let u = n - -73. Does 53 divide u?
True
Let w be ((-28)/3)/(((-52)/72)/13). Suppose w = 3*t - 12. Let f = t - 42. Is f a multiple of 9?
True
Suppose u + a = -u + 9, 0 = -2*u - 4*a + 12. Let s be u + (2 - ((-12)/(-4) - -1)). Suppose -s*c = -r - 31, 0*c - 4*c + 5*r = -65. Does 2 divide c?
False
Let a(h) = 43*h - 708. Does 120 divide a(36)?
True
Let h = -1108 - -1369. Is 29 a factor of h?
True
Let l(z) be the second derivative of 7*z**4/12 + 2*z**3/3 + 3*z**2/2 - 16*z. Let i be l(-4). Suppose -3*u + 2*o = -150, 2*u - i = -o - 6. Does 16 divide u?
True
Let v(h) = -h**3 + 10*h**2 + 8*h - 78. Let o be v(10). Suppose 0 = o*d - 493 + 79. Does 16 divide d?
False
Is 60314/(-159)*(-261)/6 a multiple of 7?
False
Let f = 527 - 492. Suppose 5*j - 228 - 147 = 0. Let k = j - f. Does 40 divide k?
True
Let f be 12/(-14)*(-21)/6. Suppose 0 = 3*h - h + 6, f*z + 4*h - 162 = 0. Is 29 a factor of z?
True
Let n(k) be the third derivative of -k**6/360 - 3*k**5/20 + 5*k**4/8 + 5*k**3/6 + 6*k**2. Let r(w) be the first derivative of n(w). Is 16 a factor of r(-17)?
True
Is 117 a factor of 9 + 75486/2 + 8?
False
Let m = 437 + -443. Let f = 930 - m. Is f a multiple of 18?
True
Suppose -5*u - p + 26158 = -0*u, -5*u + 4*p + 26168 = 0. Is 28 a factor of u?
False
Does 5 divide -8 + -2 + 618 + 79?
False
Suppose 94*a - l = 90*a + 109677, -l = -7. Is 31 a factor of a?
False
Is 5 a factor of ((-6 - -7) + 21429)*78/195?
False
Let h = 67 + 95. Does 19 divide (-1)/((-18)/(-4)) - (-73908)/h?
True
Let i be 9568/6 - (-2)/(-3). Let g = i + -1091. Is g a multiple of 16?
False
Let i = 60 + 6. Suppose 6*q = 2*q - 3*u + 97, 2*q - i = 2*u. Suppose -2*x + q - 6 = 0. Does 2 divide x?
False
Suppose -419*r = -473*r + 2944134. Is r a multiple of 296?
False
Let l = -14635 - -14481. Suppose 9*a - 1140 = 4*a. Let t = a + l. Is 31 a factor of t?
False
Suppose -2*j + 32 = 2*y, -4*y - 3 = -5*j - 22. Suppose 0 = -2*r + l + y, -23 = -r - 2*r - 5*l. Is 208/12*(1*r)/2 a multiple of 13?
True
Is (-742)/(-265) + 70732/10 a multiple of 29?
True
Suppose 0*h + 4*h + p - 14 = 0, 2*h + p = 6. Suppose a - 6 = -h*j, a + a - 12 = j. Suppose -150 = -a*q + q. Does 12 divide q?
False
Let m(i) = 1180*i**2 + i - 1. Let p be m(1). Suppose 26*b - 6*b - p = 0. Is b a multiple of 6?
False
Let d(f) = 335*f - 6130. Does 24 divide d(29)?
False
Suppose -5*u + 54660 = 25*i - 28*i, 5*i - 43691 = -4*u. Is u a multiple of 164?
False
Suppose -4*g + 2 = -2, 2*g + 118 = 2*y. Let a = y + -39. Let v = 41 + a. Does 13 divide v?
False
Let g(q) be the third derivative of 0*q + 13/24*q**4 - 19/6*q**3 + 1/30*q**5 + 0 - 13*q**2. Is g(-11) a multiple of 31?
False
Suppose 4*v - 22808 = -4*n, 5*v - n = 2*v + 17098. Does 38 divide v?
True
Let p = 26478 + 20072. Does 98 divide p?
True
Let v(p) = -15*p**3 - 3*p**2 + 4*p - 1. Let h be v(1). Let j(q) = 2*q**2 - 4*q + 2. Let l be j(2). Does 7 divide ((-10)/h - 125/(-6))*l?
False
Let m(c) = 20*c**2 + 16*c + 3*c + 0*c**2 + 54. Is m(-6) a multiple of 11?
True
L