n. Does 10 divide c?
True
Suppose -15*i - 378 = -36*i. Does 18 divide (-27*i)/((-12)/(22 + -10))?
True
Let b(c) = c**3 - c**2 + c + 1. Let v(f) = 21*f**3 - f**2 + 14*f - 36. Let s(y) = 2*b(y) + v(y). Does 37 divide s(4)?
False
Let s = 14576 - 9284. Does 63 divide s?
True
Suppose 5*v - 18480 = 6*l - l, 20 = 5*l. Suppose 23*z = -2*z + v. Is 4 a factor of z?
True
Let d(s) = -s**3 + 7*s**2 - 5*s - 1. Let o be d(5). Let t = o + -22. Suppose 42 = t*j - 30. Is 36 a factor of j?
True
Let y(u) = -3*u - 44. Let a = 166 - 182. Does 3 divide y(a)?
False
Let m be (-1 - (-55)/(-4)) + 2/(-8). Let y = m - -311. Is y a multiple of 8?
True
Let k(i) = -i**2 - 3*i - 16. Let z be k(-10). Let h = z + 193. Suppose -3*p = -2*y + 128, -5*y + 2*p + 224 = -h. Does 6 divide y?
False
Let y = 1096 + -326. Let r = y + -190. Does 65 divide r?
False
Suppose h - 4*u = -12, -5*h = -4*u + 74 - 14. Suppose 5*x + 598 = -2*o, -2*x = 5*o + 181 + 54. Let d = h - x. Is d a multiple of 19?
False
Let q(u) = 4*u**2 - 44*u + 81. Is q(11) a multiple of 9?
True
Suppose b - 2*b - 12*b + 24050 = 0. Does 10 divide b?
True
Let t = -50 - -52. Suppose -4 = 3*u - 19, 0 = -t*p - u + 49. Does 31 divide 4/p + (-6762)/(-77)?
False
Let u = 37 + -32. Suppose 0 = 3*t + u + 1, 2*i + t - 8 = 0. Suppose -5*v + i*d + 315 = 0, -v + 0*v + 62 = -2*d. Does 12 divide v?
False
Let i(w) = 3*w**2 + 17*w + 2. Let s be i(-7). Suppose z - s = -2*n, -4*n - z + 2*z + 54 = 0. Is 5 a factor of n?
False
Let r(x) = -20*x**2 + 625 + 417*x**2 - 620 + 7*x. Is 22 a factor of r(-1)?
False
Let d be (1*666 - 3) + 0/(-10). Let z = d + -329. Is 45 a factor of z?
False
Suppose -6*k - 40 = 2. Does 52 divide (k/(-7) - -3)*13?
True
Let v = -180 + 179. Is v/7 - -1*(-1388)/(-14) a multiple of 28?
False
Is (-3 - 287)/(80/(-800)) a multiple of 6?
False
Let h be (-20)/(-8)*(-16)/(-20). Suppose -h*d - 808 + 256 = 0. Let s = -84 - d. Does 16 divide s?
True
Let m(w) = 722*w**2 - 22*w + 36. Is m(2) a multiple of 10?
True
Is -2524*(-2 - -14)/(-48) a multiple of 5?
False
Is 3055 - ((-1)/3 + (490/(-42) - -14)) a multiple of 71?
True
Suppose 1445 = -418*u + 435*u. Is u a multiple of 3?
False
Suppose 0 = 10*g - g - 225. Suppose 2*k + 5 = -a, 2*k + g = -6*a + a. Suppose k = -c + q + 21, -5*c + 4*q = 2*q - 117. Is 3 a factor of c?
False
Suppose -w - 2*w + 9 = 0. Suppose w*q - 3 = 0, -z + 208 = 6*q - 3*q. Is 41 a factor of z?
True
Let o be 32/(-24)*42/(-8). Suppose -458 - 46 = -o*f. Let v = 83 - f. Does 11 divide v?
True
Suppose -4*y + 25872 = q, 2*q + 4*q = -y + 6468. Does 14 divide y?
True
Suppose -60*o = -350796 + 144193 - 136957. Does 14 divide o?
True
Suppose 5*u - 15*i = -11*i + 60478, -2*u + 3*i + 24187 = 0. Does 56 divide u?
False
Let u be 30/(-4)*-1*(-8)/(-10). Let h = -16 - u. Let v = h - -33. Does 3 divide v?
False
Suppose 799 + 813 = x. Is x a multiple of 6?
False
Let o(c) = 2*c**2 + 70*c + 1128. Does 48 divide o(-39)?
True
Suppose -21*m - 10814 = -25*m + 5*q, -5*m + 13501 = 2*q. Does 73 divide m?
True
Suppose -99*z = -124*z + 75. Suppose z*v = 13*v - 190. Is v a multiple of 4?
False
Suppose -5*y - 2*x + 39562 = 0, -x - 32159 = -4*y - 512. Does 43 divide y?
True
Suppose -o - 3*l = 3*o - 14, 3*o = 4*l + 23. Let z(f) = 4*f**3 - 12*f**2 + 4*f + 5. Does 62 divide z(o)?
False
Suppose -a + 1963 = b, 4*a + b - 6582 - 1261 = 0. Is 10 a factor of a?
True
Let b(w) = -2*w**2 + 3*w. Let h be b(-4). Let a = -741 + 700. Let r = a - h. Is 3 a factor of r?
True
Let l = 94 + 164. Let n = l + -97. Does 5 divide n?
False
Is (198/11)/6*(51490/15 + 1) a multiple of 11?
False
Let x = -2866 - -5005. Does 5 divide x?
False
Let o = 475 - 466. Let c(n) = n**2 + 2*n + 1. Let i be c(-3). Suppose o*p - i*p = 75. Is 5 a factor of p?
True
Let x(a) = -a**3 - 4*a**2 + 7*a - 9. Suppose -3*v = 4*c + c + 79, -4*c - 65 = 3*v. Let q be (1/((-2)/c))/(-1). Is x(q) a multiple of 24?
False
Suppose -2*p + 89 = j, 0*j = p - 3*j - 48. Does 27 divide p/(-105) - (2 - (-4094)/(-14))?
False
Let o be ((-20)/(-6))/10*9. Suppose 59 = o*x - 16. Does 25 divide x?
True
Suppose -560*m + 47844 = -551*m. Is m a multiple of 11?
False
Let r(i) = 10*i + 66. Let x be r(-6). Let v = x - -69. Let f = v - 33. Does 42 divide f?
True
Let n be 5/2*(2 + 0). Let r be (-6)/(3/(-15) + 52/(-40)). Suppose 0 = r*x + x + 5*a - 195, n*x - a = 177. Is x a multiple of 12?
True
Let s(f) = -25*f**2 + 4*f - 4. Suppose -5*m = 5*p, m + 0*p + 2*p = -2. Let t be s(m). Is 3/(-2)*t/18 a multiple of 2?
True
Let b(g) = g**2 - 12*g + 35. Let a be b(8). Suppose -34 = -2*c - 10. Suppose -a*i + c = -2*i. Does 4 divide i?
True
Let h(k) = k**2 - k - 28. Let q be h(-5). Suppose -443 = -q*b - 69. Is 11 a factor of b?
True
Suppose 144*y - 143399 + 87029 = 92094. Is 17 a factor of y?
False
Suppose -f = -2*r - 16456, 49371 = 3*f - 7*r + 4*r. Suppose f = 28*t - 2*t. Is t a multiple of 14?
False
Let s(a) = 3*a. Let f be s(1). Let m = 4573 - 4568. Suppose -m*o + 529 = y, -f*o - 4*y = -6*o + 322. Does 12 divide o?
False
Let a(s) = -9*s - 178. Let k be a(-21). Let z(v) = 3*v**2 - 8*v + 49. Is z(k) a multiple of 9?
True
Let u = 3992 - 257. Is u a multiple of 8?
False
Let b = 160 - 158. Let u(l) = 29*l - 11. Does 14 divide u(b)?
False
Let t(r) = 3*r**2 - 25*r. Let l be t(9). Is 24 a factor of 18620/36 + -3 - 4/l?
False
Let o be -3 - (-6 - -2) - 8/(-2). Suppose 6 = 4*f + h - 251, f + 4*h - 68 = 0. Suppose -5*z - o*a = -f - 106, -160 = -4*z + 4*a. Is z a multiple of 7?
False
Suppose -136 = -4*z + 4*c - 40, 2*z - c - 49 = 0. Let m = 31 - z. Suppose -m*g + 380 = -268. Does 9 divide g?
True
Let c = 596 - -8476. Is 14 a factor of c?
True
Let s = 59 + -54. Suppose 0*j - 3780 = -s*v - 2*j, -5*j - 756 = -v. Suppose -v = -4*d - x + 3*x, 5*x = 0. Is 21 a factor of d?
True
Let m = -173 + 171. Does 11 divide 177 - (m + 5 + -2)?
True
Let n be (-14)/(-35) + 2/(-5). Suppose 7*w - 83 - 148 = n. Let i = w - 8. Does 12 divide i?
False
Let h be (5*-2)/(54/(-243)). Let g = h + -43. Suppose -3*i - g*z + 158 = 0, -5*i + z + 221 = -25. Does 9 divide i?
False
Let h be 2/((-108)/30 - -4). Suppose 0*v - 6 = -2*v. Suppose 4*b - 3*d + v = 4, d = h. Is b a multiple of 4?
True
Let g(j) = 383*j + 75. Let k be g(4). Suppose k = -18*b + 10571. Does 26 divide b?
False
Let v = 90 - 89. Suppose -5*i + v + 14 = 0. Suppose -l - 4 = i*g - 131, 4*g + l = 171. Does 10 divide g?
False
Let o be -2 - (6*(-4)/6 + -2). Let m(w) = 4*w**3 + 8*w**2 - 18*w. Is m(o) a multiple of 45?
False
Let i(x) = 33*x**2 + 39*x - 230. Is 2 a factor of i(7)?
True
Let n be (-2*2 - (13 - 15)) + 4. Suppose -3*l - 3*v = -3, 3*l + 5*v = 1 - 2. Is n*2 + (3 - -12) + l a multiple of 10?
False
Suppose -8*w + 7*w - 15979 = -2*d, -23981 = -3*d - w. Does 12 divide d?
True
Let i(f) = f**2 - 7*f + 6. Let u be i(6). Suppose u = 3*a + 2*n + 20, 3*a + 2*a + 16 = n. Let t(x) = 14*x**2 - 2*x + 12. Is 19 a factor of t(a)?
False
Suppose -4*d + 16 = 0, 2*d - 297 = -2*h + h. Let i = h + 73. Does 13 divide i?
False
Suppose -6*h + 227 - 11 = 0. Suppose 2*r + h = 46. Suppose -r*l + 459 = 74. Is l a multiple of 24?
False
Let r(u) = 23*u - 303. Let q(s) = 33*s - 455. Let p(o) = 5*q(o) - 7*r(o). Is p(41) a multiple of 10?
True
Let f = -2480 + 4320. Is f a multiple of 7?
False
Let b = -4616 - -15452. Is 126 a factor of b?
True
Suppose -35 = -k + 5*d, -5*k + 4*d + 65 = d. Suppose h - 2 = -3*p, -k = -h - 4*h + 3*p. Suppose n = -h*j + 27, -35 - 40 = -5*n + 5*j. Is 14 a factor of n?
False
Let u(a) = -a**2 + 6*a - 8. Let k be u(5). Let g be 3/2*k/((-54)/(-168)). Is ((-735)/g)/((-1)/(-2)) a multiple of 21?
True
Does 29 divide (-2)/(-5) - ((-4052054)/190 + -17)?
True
Is (-13492)/3*444/(-296) a multiple of 74?
False
Let z(k) = -37*k - 408. Let n be z(-11). Let x(j) = j - 1. Let s(a) = -35*a - 9. Let v(m) = s(m) + 3*x(m). Does 5 divide v(n)?
True
Let l(m) = -4*m**2 + 22*m - 21. Let h be l(4). Suppose -3*t = -0 - 3. Suppose 3*d - 3*o = 87, -5*o - t = -h*d + 92. Does 3 divide d?
False
Let q(a) = 2*a**2 + 22*a + 2508. Does 46 divide q(0)?
False
Suppose v = -4*v - 4*o + 6, 3*v = 2*o + 8. Suppose 0 = z + 4, v*q - z - 1 = -q. Is 6573/126 + q/6 a multiple of 8?
False
Is ((-6)/(-12))/((-3)/(-3 + -3))*4249 a multiple of 7?
True
Let m = 243 + -229. Suppose m*t = 8*t + 1674. Is 34 a factor of t?
False
Suppose 153*u - 150*u = 17880. Is u a multiple of 40?
Tr