 + (-1671)/(-2))*6?
True
Let l(i) = i**3 - 5*i**2 - 1. Let j be l(5). Suppose -107 = 5*t - 3*r - 420, 0 = -r + 4. Is 13 a factor of j/((3/t)/(-3))?
True
Is (1/((-2)/(-3750)))/(-10 + 55/5) a multiple of 25?
True
Suppose 0 = -13*w - w + 5*w + 40905. Is 9 a factor of w?
True
Let s = -1787 - -3081. Suppose -5*x + s = -6. Is x a multiple of 16?
False
Let h(v) = -2*v + 19. Let k(q) = -q + 1. Let c(x) = -h(x) + 6*k(x). Let p be -8 + 3/(-9) + 10/(-6). Is 4 a factor of c(p)?
False
Let v = -269 - -415. Suppose 2*j - 2*u = v, 10*j + 5*u = 9*j + 55. Is 3 a factor of j?
False
Let t be (6 - 0)*(-24)/(-9). Let b be (-7)/(28/t) - -7. Suppose b*x - 66 = -d, -4*x + 5*d + 59 = -48. Is 3 a factor of x?
False
Suppose 3*i - 4 - 23 = -3*s, 0 = -i + 2*s - 6. Suppose 0 = -3*j + r + 13, -2*j = i*r + r - 20. Suppose -a + 63 = 3*x, -j*x + a - 21 = -126. Does 2 divide x?
False
Let a(s) = -865*s - 1383. Does 27 divide a(-6)?
True
Suppose -h - 5774 = -5*m, -5*m - 17*h = -21*h - 5771. Is 4 a factor of m?
False
Let n(i) = 4*i**2 - 7*i + 2. Suppose 3*t - 10 = 5*t. Is 8 a factor of n(t)?
False
Let l be 207 + (2/4 - 56/(-16)). Suppose -2*w - 142 = -2*g - 18, 3*g + 2*w - l = 0. Is g a multiple of 3?
False
Suppose 123 = -k + 272. Suppose 0 = -6*s - k + 545. Is 8 a factor of s?
False
Suppose 4*d - 2*z - 226 = 0, 0 = -9*d + 4*d - 2*z + 269. Is 14 a factor of (-55)/2*(-1364)/d?
False
Let t(k) be the first derivative of k**6/360 + k**5/20 - k**4/3 + k**3 - 15. Let f(i) be the third derivative of t(i). Is 19 a factor of f(-9)?
True
Let v(l) = -8*l**3 + 16*l**2 - 114*l - 38. Is 46 a factor of v(-11)?
True
Suppose 5*b - 3 - 3 = z, 2*z - 3*b = 2. Suppose -3*j = -2*c + 246, 0*c - 244 = -2*c + z*j. Is c a multiple of 14?
True
Let u(l) = -l**3 - 31*l**2 - 36*l + 47. Does 14 divide u(-30)?
False
Is 4 a factor of 2377 - (-10 - 30)/(-8)?
True
Suppose -26681 = -6*z + 55977 - 21692. Does 15 divide z?
False
Suppose 30*o + 19440 = 84*o. Does 30 divide o?
True
Let t(d) = -14927*d**3 - d**2 + 145*d + 147. Is 12 a factor of t(-1)?
True
Let m be (-1*(-10)/6)/(2/6). Suppose -2*z + 4 + m = 3*x, 12 = -4*z. Suppose 4*t = -5*l + 420, 5*l - 3*t - 430 = -x*t. Is 15 a factor of l?
False
Suppose 2*j + 289 = -179. Suppose -32*g - 464 = 3*t - 30*g, g - 307 = 2*t. Let x = t - j. Is 10 a factor of x?
True
Suppose 175627 = 8205*s - 8188*s. Is 11 a factor of s?
False
Suppose -9*y + 2546 + 64 = 0. Does 19 divide ((-456)/5)/((-87)/y)?
True
Let f = 634 + -371. Suppose -c + f = 2*a, 3*c + 685 = -0*a + 5*a. Is 25 a factor of a?
False
Let w = 668 - -260. Let h = -546 + w. Is h a multiple of 35?
False
Let k = -136 - -124. Does 2 divide k/(-3) - (3 + -10 + 4)?
False
Let b = 78 + -76. Suppose -5*f - 140 = -b*o, 3*f + 152 = 2*o + f. Let v = -64 + o. Is 8 a factor of v?
True
Let p(d) = -276*d + 1128. Is p(3) a multiple of 20?
True
Let n = -16475 - -20955. Does 5 divide n?
True
Let k(i) = -1228*i - 223. Let z be k(-6). Suppose -4216 - z = -21*t. Does 46 divide t?
False
Let p = 45 + -38. Is 6 a factor of (4 - -2)*14*(p - 5)?
True
Let v(s) = -s**3 - 53*s**2 + 29*s - 503. Is v(-55) a multiple of 8?
True
Suppose -240*q + 241*q + 6815 = 4*n, -3*n + 5110 = -2*q. Does 8 divide n?
True
Let m(b) = 6*b - 68. Let v be m(13). Suppose -v*z - 331 + 1591 = 0. Is 10 a factor of z?
False
Let z(d) = 16*d**2 - 4*d**2 + 4 - 7*d**2 + d - 4*d**2. Let t be z(17). Suppose 0 = 7*s - 873 - t. Is 41 a factor of s?
False
Suppose 103*a + 1121248 = 177*a. Is a a multiple of 16?
True
Suppose 0 = -v - 1, 29*m = 26*m + 3*v + 14583. Does 27 divide m?
True
Let f be (-2 + 3)*-3 - (1 - 1). Let h(b) = 18 + 4*b**2 + 20 - 36. Is h(f) a multiple of 3?
False
Let l(i) = 147*i**2 + 75*i + 729. Is 22 a factor of l(-12)?
False
Let s be 0/(20/(-4))*3/6. Suppose s = 18*d - 2186 + 530. Does 9 divide d?
False
Suppose -2*p - 2*j + 4948 = -3034, 5*p - 5*j = 20015. Does 10 divide p?
False
Let l(t) = 7*t + 954. Is 68 a factor of l(-78)?
True
Let s be ((-63)/12)/((-12)/1504). Suppose -7*h + s = 140. Let i = h - 41. Does 13 divide i?
False
Let f(m) = 97*m**2 + 2*m + 168. Is 24 a factor of f(6)?
True
Let h = -8369 - -14210. Is 4 a factor of h?
False
Suppose -388 = 5*m + 712. Let y = 792 + m. Is 6 a factor of y?
False
Is (-1 - -2)/(6/28938) a multiple of 147?
False
Let v(b) = -22*b + 36. Let g = 80 - 76. Suppose g*u + 30 = 4*j - 9*j, -3*u = -j - 6. Is 28 a factor of v(j)?
True
Let j(v) = 3884*v - 11828. Is 6 a factor of j(9)?
False
Let n be -1 + -3 + (-2)/(-6)*3. Let f be n + -2 + 36/4. Suppose 0 = -3*s - 2*x + 149, f*s + x - 201 = -4*x. Is 4 a factor of s?
False
Let l = 341 - -58. Let s = -236 + l. Is s a multiple of 47?
False
Let m(k) = -207*k + 1478. Is m(-20) a multiple of 4?
False
Let l(d) = d**3 - 7*d**2 - 3*d + 10. Let f be l(8). Let v = f + -42. Does 41 divide (-2536)/(-32) - 2/v - -3?
True
Suppose -46 + 21 = -r + 5*y, 0 = -2*r - 2*y + 74. Suppose r*p = 9*p + 12896. Is p a multiple of 31?
True
Let c = -7825 - -13819. Is 18 a factor of c?
True
Does 26 divide ((-2922)/12 + (-20)/(-24))*(-657)/6?
True
Let d = 35922 + -17530. Does 121 divide d?
True
Suppose 2*p - p = -328. Suppose -64 - 136 - 238 = 2*v. Let z = v - p. Does 19 divide z?
False
Suppose -2*z + 5*t + 1271 = -295, 0 = 4*t. Is 2 a factor of z?
False
Let y(k) = k**3 - 27*k**2 - 10*k. Let g be y(28). Let u = 1188 - g. Does 19 divide u?
True
Let j(c) = 101*c. Let t be 180/28*(-7)/(-2)*2. Let w be (-9)/t + 12/10. Is 18 a factor of j(w)?
False
Let b(d) = 2*d**2 + 5. Suppose -5*l - n - 4*n = -15, 2*l - 4*n + 12 = 0. Suppose l = q - 0*q + 5. Is 11 a factor of b(q)?
True
Is 110 a factor of (-815844)/(-24) - ((-54)/(-12) - 1)?
True
Let a(q) = -q**3 - 2*q**2 + 4*q + 8. Let j be a(-7). Let c = j - 131. Does 19 divide c?
False
Let c = 728 - -309. Suppose 0 = 1031*z - c*z + 312. Is 13 a factor of z?
True
Suppose 4*y - 329*j = -333*j + 60, 0 = -3*y - 5*j + 35. Let u be 2 - (0 + 0 + -2). Let k = y + u. Is k a multiple of 14?
False
Suppose z + 31350 = 2*v - 2369, 4*v = 3*z + 67439. Is v a multiple of 34?
False
Suppose 4*w = 3*s - 12498, 5*s + 106*w = 103*w + 20859. Does 71 divide s?
False
Let m(n) = 255*n**2 - n + 8. Does 20 divide m(3)?
True
Suppose 0 = 21*u + 7*u - 34356. Suppose -4*a = -w + 600, -10*w + 12*w + a - u = 0. Does 12 divide w?
True
Suppose 10*b - 23 + 3 = 0. Let j(q) = 70*q + 19. Does 21 divide j(b)?
False
Suppose 0 = -4*p + 407*h - 405*h + 80360, 4*h = 5*p - 100444. Does 234 divide p?
False
Suppose 11*r = 6*r + 25. Suppose -4*v - 3*h - 23 = 0, 3*v + 9*h - r*h = -19. Does 27 divide (3/(-9))/(v/2805)?
False
Is (8/72 - (-196664)/36) + 10 a multiple of 13?
True
Let h(o) = 2*o**2 - 21*o - 55. Let w be h(-7). Suppose 2*f - 6 = 0, -2*f - w = 50*z - 52*z. Is z a multiple of 3?
False
Suppose 0 = 5*o - 2609 - 6916. Is 15 a factor of o?
True
Let w = -16114 - -40073. Is w a multiple of 15?
False
Let x(g) = -1151*g - 202. Is 77 a factor of x(-6)?
False
Let k = -32599 + 61813. Is 9 a factor of k?
True
Let v(l) = 67*l**3 + 3*l**2 - 12*l + 25. Let d be v(3). Let m = d + -975. Is m a multiple of 17?
True
Let k(v) = 11*v + 5 + 0 + 3*v**2 + 14 - 2 - v**2. Is 19 a factor of k(-7)?
True
Suppose 5*u = -2*u + 17*u - 188860. Is 14 a factor of u?
True
Let f = 3553 + -3426. Is f a multiple of 10?
False
Suppose -5*c + t = -62403, 5*c = 2*t + 23979 + 38427. Is 12 a factor of c?
True
Let r be (-177)/118 + 154/4. Suppose 1584 = -r*q + 39*q. Is 6 a factor of q?
True
Suppose -33*k + 65*k + 8084 = 118*k. Does 47 divide k?
True
Let s be ((-2)/(-3))/((-38)/5073). Let n = s + 309. Is n a multiple of 22?
True
Does 4 divide ((-300)/9)/((-115)/(-1035)*(-3)/38)?
True
Suppose 3*n + 0*n - 117 = 3*h, 3*h = n - 47. Suppose 0 = 3*l - 104 + n. Suppose 29*w - l*w - 84 = 0. Is w a multiple of 3?
False
Let k = 73 - 63. Let c be (-5)/(-2)*1068/k. Let o = c + -186. Does 9 divide o?
True
Let x(r) = r**2 + 2*r - 8. Let f be x(10). Suppose 24*b - 28*b = 4. Is (9/4)/((-108)/f - b) a multiple of 21?
True
Let o(b) = 169*b**3 - b**2 + 37*b - 153. Is o(4) a multiple of 127?
True
Let p(o) be the first derivative of -55*o**2/2 + 244*o - 126. Does 6 divide p(-8)?
True
Suppose 178 + 198 = 2*c. Suppose 19*i = 15*i + c. Let n = i - 27. Is n a multiple of 5?
True
Let z(k) = 15525*k**2 - 393*k + 393. Is z(1) a multiple of 69?
True
Let u(d) = d**2 - 16*d - 14. Let y be u(17). Suppose