 Is 11 a factor of q?
True
Let z(y) be the second derivative of y**5/20 - y**4/4 - 2*y**3/3 + 3*y. Let r be z(4). Suppose 0 = 3*f + t - 51, r*f + t + 13 = f. Is f a multiple of 8?
True
Suppose -1066 = 113*a - 115*a. Is 25 a factor of a?
False
Let o = -5664 + 11724. Does 18 divide o?
False
Let n = 121 - 203. Let a = n - -251. Does 16 divide a?
False
Let t = 486 - 480. Does 6 divide t?
True
Let t = -7130 + 10420. Is t a multiple of 11?
False
Suppose -2*z - 2*k + 10 = 0, -2*z + 9 = 3*z - 3*k. Suppose 2*i + 145 = 2*v + z*i, 2*v - 135 = i. Is v a multiple of 14?
True
Suppose 175 = o + 3*v, -160 = -o + 3*v + 9. Let c = -97 + o. Does 8 divide ((-14)/35)/((-1)/c)?
False
Suppose 55*a = 26*a + 52229. Is a a multiple of 23?
False
Let t be 27/6 + (-4)/8. Suppose 2*b - 139 = p, -5*b + p = t*p - 331. Is 17 a factor of b?
True
Let p = -688 + 994. Is 18 a factor of p?
True
Suppose -8*p + 1100 = -3*p. Suppose -6*d + 314 + p = 0. Is d a multiple of 14?
False
Suppose 4*q - 22*y - 13525 = -19*y, 4*y = -2*q + 6746. Does 57 divide q?
False
Is 32 a factor of ((-1)/(-4)*-63)/(36/(-96))?
False
Let n(q) = 185*q**2 - q - 16. Is n(-2) a multiple of 11?
True
Suppose 2*g + a + 8 = 0, 2*g - 2*a - 7 = -3. Let b(r) = r**3 - 6*r**2 + 4*r - 1. Let c be b(5). Is (-79)/c - g/(-12) a multiple of 6?
False
Suppose -263 = -3*g + 277. Suppose 8*d + g = 3*d. Let x = d + 51. Is 3 a factor of x?
True
Suppose -4*p - 4*y = -4116, 0 = -0*p - 2*p + 4*y + 2064. Is 23 a factor of p?
False
Let n be (-16)/12*(354/(-12) + 1). Suppose 9 = y - 3*m, 0 = -4*y - 5*m - 6 - 9. Suppose o - n = -y*o. Is 15 a factor of o?
False
Suppose 4*y - 56 = 304. Is 20 a factor of -18*33/(-5) + 18/y?
False
Let o be 105/10 - 4/8. Does 4 divide (-88)/(-5) - o/75*-3?
False
Let o be 9/(-12) - (-4)/(16/3). Suppose -2*a + 72 + 24 = o. Does 6 divide a?
True
Suppose 0 = t - 4*o - 1388, -10*o - 1391 = -t - 7*o. Is t a multiple of 28?
True
Let x be (-4)/6*1023/(-22). Suppose -2*u + 63 = -x. Does 9 divide u?
False
Suppose 0 = 28*f - 80*f + 111956. Does 15 divide f?
False
Suppose 80*c - 75*c - 2100 = 0. Is c a multiple of 28?
True
Let l(u) = -122*u**2 - u - 1. Let n be l(-1). Let k = -85 - n. Suppose -3*b = 5*f - 153, -k = -b + f + 2*f. Is 19 a factor of b?
False
Let g(j) = 3*j**2 - 5*j + 3. Let m be g(8). Suppose 382 - 127 = -3*z. Let b = z + m. Does 16 divide b?
False
Let u be 21/6 - (-21)/(-14). Suppose 16 = 2*k - 2*p, -2*p + 16 = u*k - 0*p. Is k even?
True
Let i(x) = -x**3 + 14*x**2 - 14*x + 12. Let o be i(13). Does 15 divide (10/3)/(o/(-18))?
True
Let n(m) = 9*m - 4. Let a be n(2). Let b(t) = -t**2 + 9*t - 13 + 25 - a. Does 2 divide b(8)?
True
Suppose -8*o - 6 = 2. Let m(d) = -6*d + 11*d**2 + 2*d + 2*d - 1. Is m(o) a multiple of 4?
True
Suppose -6*l + 5*l = n + 505, 0 = -l + 3*n - 493. Let d = l - -718. Does 24 divide d?
True
Let v(o) = o**2 - 13*o + 6. Let c be v(13). Let l be (-3)/c*0/(-1). Suppose l = -6*z + 3*z + 42. Is 5 a factor of z?
False
Let k(q) = q**3 + 13*q**2 + 3*q - 35. Is k(-10) a multiple of 42?
False
Is 325*((-2 - -4)*1)/5 a multiple of 31?
False
Let s = 333 - 152. Is -4*4/(-16) + s a multiple of 14?
True
Is (-25130)/(-60) - (-4)/24 a multiple of 2?
False
Let d(w) = w**2 + 21*w - 121. Is 27 a factor of d(-31)?
True
Let w(h) = -4*h**3 - h**2 - h + 1. Let d be w(1). Let n be 20/(-6)*(-12)/d. Let x(l) = l**2 + 8*l + 3. Is x(n) a multiple of 3?
True
Let j = 7 + -5. Let q(i) = 16 + 20 + 4*i + 13 - 47. Is 10 a factor of q(j)?
True
Let o = 113 + -105. Suppose o*u = 12*u - 892. Is 25 a factor of u?
False
Is 9 a factor of (-795)/(-50) - 6/(-60)?
False
Let d(g) = 72*g**3 + 3*g**2 - 2*g. Suppose 3*v + 7 = 10*v. Is d(v) a multiple of 3?
False
Suppose 2*v + 64 = 3*d, 2*d = -2*d + 2*v + 82. Suppose -6*q + 3*q = -d. Let h(n) = -n**3 + 7*n**2 - 4*n - 3. Is h(q) a multiple of 9?
True
Let x be 2*((-21)/6 - -3) - -11. Let v = 10 - 5. Suppose x*u = v*u + 50. Is 5 a factor of u?
True
Let n(x) = -47*x - 18. Does 29 divide n(-8)?
False
Let q = -221 + 462. Suppose -3*i + 6*i = -o + q, 0 = -4*i - 5*o + 325. Is 9 a factor of i?
False
Let u(i) = 15*i - 29. Let m be u(11). Suppose -4*x = -s - 140, -x + m = 3*x - 2*s. Is 6 a factor of x?
True
Let n = -1729 + 1914. Is 3 a factor of n?
False
Suppose 3*w - 2 = 10. Suppose 0 = -c - 4, -w*j - 2*c - 2*c = -128. Suppose -j = -a + 4*y + 16, 4*y - 108 = -4*a. Does 16 divide a?
True
Suppose -4*f - 2*g = 284, 7*f + 364 = 2*f + 2*g. Let z = -42 - f. Does 6 divide z?
True
Let y = 25 + -25. Suppose y*n = -2*b + 4*n + 66, 5*b + 4*n = 123. Is 3 a factor of b?
True
Let s = 1253 - 513. Is s a multiple of 37?
True
Suppose -177*q + 2900 = -157*q. Does 5 divide q?
True
Let x(t) = 2*t + 16. Let j be x(-13). Let d = 15 + j. Suppose 183 = 3*y - p, d*y + p - 198 = 99. Is 15 a factor of y?
True
Let y be (116/12)/(2/6). Suppose y = 5*z - 76. Is z a multiple of 4?
False
Let g(y) = -y**2 - y + 52. Suppose 2*n = -n. Does 19 divide g(n)?
False
Suppose -2*c = 4*a - 10, c + a = 2*a + 5. Suppose 92 = c*x + 2. Does 9 divide x?
True
Suppose 6*u = u + 70. Let t = 5 - u. Let s = 22 + t. Does 13 divide s?
True
Let l be 19/(-17) - (-6)/51. Is 4/(l - -2) + (2 - -7) a multiple of 5?
False
Is 41 a factor of 3*4/66 - 5765/(-55)?
False
Let n be (-24)/7 + 15/35. Let r be (-12)/(1 - n) - -5. Suppose -4*d = -3*z - 44, 3*d - 2*z - 16 = r*d. Is 8 a factor of d?
True
Suppose -3*l = 0, -4*o - o = 2*l - 10. Suppose b + 5 = -o*z, 2*z = -3*b - z. Is b a multiple of 2?
False
Let u = -3307 + 4696. Does 19 divide u?
False
Let t = 6 - 11. Let i = t + 8. Suppose i*h = -3*y + 15, -4*y - 3*h + 2*h + 35 = 0. Is y a multiple of 10?
True
Suppose 45 = l + 2*p, -5*l + 3*l = 5*p - 89. Is 13 a factor of l?
False
Let x(s) = 5*s + 4*s - 2 + 0*s. Let g be x(1). Let u(m) = 14*m. Is 23 a factor of u(g)?
False
Suppose -3*r = 0, -m + 4*r + 3242 = -1283. Is m a multiple of 54?
False
Let v(h) = 31*h + 3. Let k = 34 - 33. Let n be v(k). Let b = n - 16. Does 4 divide b?
False
Let d = -45 + 30. Let a = 28 + d. Is a a multiple of 9?
False
Let y = -1338 - -1962. Does 26 divide y?
True
Suppose -5*z + 2650 = 5*i - 2100, 0 = 4*z + 3*i - 3795. Is 27 a factor of z?
True
Let g = 44 + -54. Is 21 a factor of 2 + 21 - 5/(25/g)?
False
Suppose 4124 - 824 = 33*s. Is s a multiple of 2?
True
Is 3/15 - 3534/(-30) a multiple of 10?
False
Let s be (14/(-14))/((-2)/24). Let x be 309*((-8)/s)/(-2). Suppose -5*r + x = 2*o, -3*r + 115 = 2*o - 2*r. Is 17 a factor of o?
False
Suppose 5*m + 8 + 147 = 5*h, 0 = -3*h - m + 97. Let z = 140 - h. Is z a multiple of 18?
True
Let h(r) = r**3 + 27*r**2 - 34*r + 22. Is 19 a factor of h(-28)?
True
Let m = -3033 + 4294. Is m a multiple of 5?
False
Let q(a) = a**3 + 6*a**2 + 9*a + 5. Let p be q(-3). Suppose 4*s = -5*l + 984, 2*s - 985 = -p*l - 3*s. Does 14 divide l?
True
Let h = -297 + 427. Is h a multiple of 13?
True
Let u(l) = 17*l**2 + 5*l - 2. Is 28 a factor of u(5)?
True
Let c be (21 + -21)*(2/6)/(-1). Suppose c = 2*w - 180 - 314. Is 41 a factor of w?
False
Let q be 1 + (3 - -16) + -1. Let o = q + -14. Suppose -228 = 2*u - o*u. Is 22 a factor of u?
False
Let p(s) = -s**2 + 11*s - 7. Let n be p(9). Suppose n = 4*l - 5. Suppose -t + l = 4*y, -t - y + 16 = -3. Is 12 a factor of t?
True
Let n be 81/18 + 2/4. Suppose 2*v + 13 = -n*q, -2*q + v = -v + 8. Does 2 divide (5 + 4)*(-2 - q)?
False
Suppose -2*h + 24 = 96. Let o = 48 - h. Does 9 divide o?
False
Suppose 0 = s, -2*d + 6*s - 3*s + 220 = 0. Let p = d + 157. Is 59 a factor of p?
False
Suppose 22*q - 3808 = 20*q - 2*k, -2*q + 3803 = -3*k. Does 11 divide q?
True
Suppose 3*f - 734 = -4*c + 1846, 3*f - 3225 = -5*c. Is 23 a factor of c?
False
Suppose -3*c + 15 = p, -2*p - p = 3*c - 63. Let a = 32 + p. Does 28 divide a?
True
Let w be 4/(12/(-54) - (-28)/18). Suppose 2*l + 366 = 3*u, 11*l - 345 = -w*u + 6*l. Does 10 divide u?
True
Is 27 a factor of 3577/8 + 5 - (-2)/(-16)?
False
Let g be ((-1)/1)/((-2)/(-2)). Let j = 71 - g. Is j a multiple of 36?
True
Suppose 829 = -6*w - 209. Let f = w + 287. Is 13 a factor of f?
False
Suppose 3*n - 3*v = 270, 7*v - 11*v = -5*n + 445. Does 7 divide n?
False
Suppose -4*v - 52 = 4*k, -3 = v - 2*k - 2. Does 6 divide 8*1 - (v + 11)?
True
Suppose 0 = -5*g - 5, 0*j + 5*g - 688 = -3*j. Is 11 a factor of j?
True
Let b(r) = r**3 + 12*r**2 - 20*r. Does 32 divide b(8)?
True
Let k