4 a factor of j?
True
Let m = 13524 - 12402. Is 51 a factor of m?
True
Let t(s) = -11*s**3 + 7*s**2 - 27*s - 199. Is 13 a factor of t(-8)?
True
Let z = -196 + 460. Let v = z - 196. Is v a multiple of 9?
False
Let f(d) = -d**3 + 6*d**2 - 7*d + 17. Let k be f(4). Suppose -17286 = -k*n + 4008. Is n a multiple of 78?
True
Let w(n) = -2022*n + 1182. Is 25 a factor of w(-4)?
False
Suppose 4*m - 3132 = 4*w, -3978 = 5209*m - 5214*m - 2*w. Is 7 a factor of m?
False
Let c(b) = 5*b - 117. Let t be c(24). Suppose 80 = -t*v + 1085. Is 6 a factor of v?
False
Suppose 0 = l - 2*q - 6676, 8 = 322*q - 324*q. Is 86 a factor of l?
False
Suppose 32*d - 85037 + 14765 = 0. Is d a multiple of 8?
False
Let h(a) = -a**3 + 8*a**2 - 2*a + 19. Let g be h(8). Let k(n) = 12*n**2 + 4*n - 2. Let l be k(g). Let d = -36 + l. Does 14 divide d?
False
Suppose 5*d - 76057 = 14913. Does 11 divide d?
True
Let i = 25956 - 2520. Is 42 a factor of i?
True
Suppose 200 - 47 = w. Suppose 0 = -3*p - w + 417. Does 22 divide p?
True
Let g = -164 + 153. Is (-2)/(-11) - 1076/g a multiple of 8?
False
Suppose -261*j = -258*j + 4*h - 15605, -j + 5159 = -4*h. Is 12 a factor of j?
False
Let c(r) = -50*r + 10. Let v = 36 + -37. Is 5 a factor of c(v)?
True
Suppose -4*p + o + 6809 + 7316 = 0, p + 5*o = 3505. Does 60 divide p?
False
Let t = -363 + 49. Let r = t - -559. Is 35 a factor of r?
True
Is 71 a factor of -9*16*(-12)/(-432) - -23931?
True
Let w = -1538 - -526. Let o = 1444 + w. Is o a multiple of 9?
True
Is 117 a factor of 66/(-7 + (-3 - (-4176)/417))?
False
Suppose 4*p - 7*m - 19635 = -4*m, 5*m + 29455 = 6*p. Is 9 a factor of p?
True
Let t be (-34)/(-136)*(2197 + -1). Let k = 662 - t. Does 40 divide k?
False
Does 15 divide -27 - (-1154738)/(26 + -3)?
False
Let l = -756 - -764. Does 21 divide l/40*3463 + (-8)/(-20)?
True
Is 10/(-90) - 4741748/(-396) a multiple of 8?
False
Let y = 26921 - 25354. Is 16 a factor of y?
False
Let v be 0/(-2 + -4 + (3 - -2)). Suppose -231 = -q - 2*r, -9*r + 4*r - 25 = v. Does 37 divide q?
False
Suppose 184652 = 38*q - 27*q + 15*q. Is 106 a factor of q?
True
Suppose 2*h - 3927 - 37135 = 12236. Does 63 divide h?
True
Suppose 85*d + 561484 = 239*d. Is 9 a factor of d?
False
Suppose -5584 = -3*t + v, -246*t + v = -245*t - 1860. Does 7 divide t?
True
Suppose 5*l - 114 - 146 = 0. Let j be 5 + 5 + (-2184)/(-27) - (-7)/63. Suppose -u = -j + l. Is 13 a factor of u?
True
Let m = 485 - 560. Is 28 a factor of -1 + 9 + (-26 - m)?
False
Suppose -97*t = -96*t - 6, 66068 = 5*w - 2*t. Does 7 divide w?
True
Let n(k) = k**3 + 14*k**2 - 15*k + 4. Let h be n(-15). Suppose 2*z = b - h, 0*z - 5*b - 32 = 3*z. Is 25 a factor of 21 - z*(0 + 1)?
True
Let c(x) = 10*x - 186. Let o be c(24). Suppose l + 49 = o, -5*l + 889 = 4*s. Is s a multiple of 54?
True
Suppose 15 = 3*x + 4*c, -c - 8 = 4*x - 5*c. Let o be 2/5 - (x + 39/(-15)). Is 128 + (-3)/((-14)/(-4) - o) a multiple of 18?
True
Let r(x) = -x**2 + x + 1. Let v(q) = 2*q**3 + 3*q**2 - 3*q - 8. Let i = -120 + 119. Let o(k) = i*v(k) - 3*r(k). Is o(0) a multiple of 4?
False
Let f = -169 - -88. Let h = 80 + f. Does 29 divide (14/14)/((h/(-1))/152)?
False
Suppose 34*m + 42*m - 3*m = 7300. Is m a multiple of 51?
False
Let m be (-4)/(-8) - (-5 + 22/4). Suppose m = 6*w + 1196 - 3896. Is w a multiple of 25?
True
Let t be (1 + 97)/((-4)/10). Let v = -105 - t. Suppose 142*l - 320 = v*l. Does 40 divide l?
True
Let i be 2/(-7) + (-351)/21 + -4. Let u(r) = -8*r - 33. Does 4 divide u(i)?
False
Let x = 10252 + -7600. Does 183 divide x?
False
Let m(o) = 991*o - 4340. Is m(8) a multiple of 93?
False
Let u(f) = 21*f**2 + 48*f**3 + 8*f - 20 - 49*f**3 + 21. Is u(21) a multiple of 13?
True
Suppose -6*z + 124990 = 2*n, 104113 = 5*z - 6*n + 2*n. Does 159 divide z?
True
Let t be -24 + -4 + 4 + -6 + 0. Is (-17180)/t + 6/(-9) a multiple of 30?
False
Suppose 15*s + 31*s - 3680 = 0. Suppose -432 = s*c - 84*c. Is 20 a factor of c?
False
Suppose 0 = -7*l - 67 + 102. Suppose 5*u - 705 = 2*z - l*z, -3*u - 3*z + 429 = 0. Does 28 divide u?
False
Let d = -34 + 41. Suppose 237 = d*n - 897. Suppose s - 51 = n. Does 42 divide s?
False
Let p(d) = -4*d - 4. Let k be p(-2). Suppose k = -v - 3*l - 5, 5*l = 3*v - 29. Suppose -4*f - 4*r = -188, -3*r + v = f - 54. Does 14 divide f?
True
Is 140 a factor of (-3108 - -34471)/(-1 + 1 + 1)?
False
Suppose 0 = -5*j - 2*k - 216, -3*k = -27*j + 29*j + 82. Let b(l) = 83*l + 1. Let x be b(2). Let p = x + j. Is p a multiple of 30?
False
Suppose 2*n - 88 = -6*n. Let o(i) = -i**3 - 4*i**2 - 5*i - 3. Let x be o(-3). Suppose -2*p - 49 = -v - n, -4*v + x*p + 177 = 0. Is v a multiple of 28?
False
Suppose 14*l + 83*l - 39672 = 21*l. Is l a multiple of 4?
False
Let s be (87/6)/(6/60). Let g = s + -92. Is 11 a factor of g?
False
Suppose 2*g - 4*d = -3*g + 7, d = 3*g - 7. Suppose -g = -5*x - 28. Does 10 divide (-198)/x*25/10?
False
Let m(k) = 0 + 12 - 3*k + 8*k + 5*k. Let p(w) = w**2 + 48*w - 143. Let i be p(-51). Is 16 a factor of m(i)?
True
Does 6 divide (75317/308*8)/(3/21)?
False
Suppose 6*q = -8*q + 7*q. Suppose -f + 7 + q = x, f = 4*x - 18. Suppose g = -4*y + 157, -2*g - f*y + 421 = g. Is 33 a factor of g?
False
Suppose -6*i + 3*i - 11 = 2*h, 3*h - i = 11. Suppose h*k - x = 2*x + 81, x = 3. Does 5 divide k?
True
Let u = -833 - -713. Let v = 108 - u. Is 19 a factor of v?
True
Suppose 3*p = 5*g - 7*g + 1615, 4*p - 2160 = -4*g. Suppose 5*m - p = 830. Is 30 a factor of m?
False
Suppose 3*u + 7 - 34 = 0. Let i(q) = 2*q**3 - 15*q**2 - 7*q + 12. Let n be i(u). Let d = 389 - n. Is 13 a factor of d?
False
Let c = 82362 - 58039. Is 201 a factor of c?
False
Suppose 34 = i + 1. Let y = -30 + i. Suppose -9*b + y*b = -486. Is 9 a factor of b?
True
Suppose -2 - 6 = -2*h. Suppose h*w + 804 = 2*u, 488 + 281 = 2*u + 3*w. Suppose -4*a = -0*a - u. Is a a multiple of 14?
True
Is 27 a factor of ((-108)/(-10))/((-12)/90*30/(-1180))?
True
Suppose 168 - 163 = 5*h, 4*h + 24389 = l. Is l a multiple of 47?
True
Suppose 0 = v + 5*n - 3 + 13, -3 = n. Suppose p = -2*y - 0*y + 114, -v*y = -2*p + 237. Does 4 divide p?
True
Let b = -68 + 73. Suppose 6*j = 13 + b. Is 7 a factor of 1*j + (14 - 5)?
False
Let i(f) = -196*f + 28. Let o be i(-3). Let k = o - 430. Is 18 a factor of k?
False
Let q = -564 - -852. Suppose -10*r = -6512 - q. Is r a multiple of 20?
True
Suppose -192*j + 35 = -187*j, -5*t - 3*j + 77661 = 0. Is t a multiple of 12?
True
Suppose -4*j + 3*j = -2. Let h(y) = 7*y**3 + 16*y**2 + 20*y - 2. Let b(n) = -3*n**3 - 8*n**2 - 10*n + 1. Let k(i) = j*h(i) + 5*b(i). Does 22 divide k(-7)?
True
Let k = 5245 + 2942. Is 9 a factor of k?
False
Let k be (-1)/(((-27)/(-6))/9*-1). Suppose -8*t + 1524 = 5*g - 4*t, -604 = -k*g - 3*t. Is g a multiple of 44?
True
Let z(y) be the first derivative of -y**4/4 - 4*y**3/3 + 3*y**2/2 - 7*y + 12. Let t be z(-5). Does 7 divide t*(4 - (-159)/9)?
False
Suppose 6*h + 1536 - 13738 = 5402. Is h a multiple of 31?
False
Let p = 58 - 52. Let w be p/8*(2 - -2). Does 14 divide (80 - (3 - w)) + 4?
True
Let g = 15 - -33. Suppose 3*n - 3*q = -22104, -111*q = -107*q. Is 1/2 - n/g a multiple of 14?
True
Let o be 828/252 - (-2)/(-7). Suppose j - 230 = 3*b + 43, o*j + 5*b = 889. Is 16 a factor of j?
True
Let f(b) = -17*b + 50. Let g be f(-10). Let v = g + 118. Does 19 divide v?
False
Let x(y) = 37*y**2 + 14*y + 38. Let v be x(-9). Suppose 0 = -11*a + v + 325. Does 51 divide a?
False
Let m = 5938 + -4664. Is m a multiple of 63?
False
Suppose z + 3*c + 224 = 0, c = 4*z + 6*c + 896. Let x = 256 + z. Is x a multiple of 16?
True
Let k(g) = -g**3 - g**2 - 1. Let p(b) = 18*b**3 + 6*b**2 + 2*b + 1. Let n(j) = -4*k(j) - p(j). Is n(-3) a multiple of 41?
True
Let d(c) = 4*c**2 + 51*c - 198. Does 98 divide d(-24)?
True
Let x be 1 + (-1)/((-4)/(-8)). Let f be x*(2 + 4 + -3). Is 3 + (-5 - f) - -44 a multiple of 45?
True
Suppose 50*g - 42392 = 45*g + 2*m, 5*m = g - 8506. Does 8 divide g?
False
Suppose 0 = -2*r - a - 229, 10*r + 459 = 6*r - a. Let i = r + 128. Does 5 divide i?
False
Let x(h) = h**3 + 14*h**2 + 33*h + 22. Let f be x(-11). Suppose 17*c - f*c + 1730 = 0. Is c a multiple of 11?
False
Let t be ((-16372)/9)/(-4) - 100/(-450). Let d = 481 - t. Is d even?
True
Let b = 11 - -28. Let a = -190 + 294. Let y = a - b. Is y a multiple of 10?
False
Suppose 0 = -3*d - 3*t + 7 - 1, 5*d