7 - 13639 = -94*b + 46688. Does 31 divide b?
True
Let m be (0 - -1944) + 53 + -59. Suppose -26*n + 2872 + m = 0. Is n a multiple of 11?
False
Let n(s) = s**3 - 53*s**2 + 814*s - 72. Does 36 divide n(36)?
True
Is 74 a factor of (-4318)/254 - -1*6871?
False
Suppose 151446 = 148*k - 698. Is k a multiple of 11?
False
Let u(w) = 2*w**3 - 6*w**2 + 2*w - 7. Let b(t) = t + 16*t - 16 - 19*t. Let v be b(-10). Is 6 a factor of u(v)?
False
Let n be (-8)/(-10)*(-62 + 1 - -1). Let d = 435 + n. Does 43 divide d?
True
Suppose -g + 2*o + 18046 = 0, 0 = -2*g + 33*o - 32*o + 36098. Is 25 a factor of g?
True
Let w = 3457 - -20103. Is w a multiple of 310?
True
Suppose 212 = 22*x - 20*x. Suppose -i + 504 = x. Suppose -3*b + 109 = -i. Is 30 a factor of b?
False
Let g(w) = 7*w**2 + 194*w + 202. Does 7 divide g(-30)?
False
Let o(d) = -14*d - 18. Let n be o(-5). Suppose 4*f = 5*i + 38 - 182, n = 2*i - 3*f. Suppose -i = 5*j - 387. Is j a multiple of 10?
False
Let g = 128 - -10. Let i = 148 - g. Does 2 divide i?
True
Suppose 11889*v = 11888*v + 627. Is v a multiple of 19?
True
Is 4340/(-8)*(5/(-6) + (-10439)/390) a multiple of 69?
True
Let r = 17145 - 7701. Is r a multiple of 8?
False
Let x(g) = -153*g + 3855. Is x(21) a multiple of 5?
False
Let m = 392 - 394. Is ((-123)/m)/(25/300) a multiple of 41?
True
Suppose w + 5*n - 55 = 0, -2*w + 3*n = -4*w + 117. Let f(l) = -54*l - 147. Let p be f(-5). Let s = p - w. Is s a multiple of 13?
False
Suppose -2*p + 6 = -5*y - 16, -4*p = 3*y + 8. Let h(a) be the first derivative of 35*a**4/4 - a**3/3 - a**2 + 2*a - 138. Does 5 divide h(p)?
False
Suppose 0 = -m - 5*q - 19, 2*m + 9 = -2*q - 5. Let z(o) = o**2 + 2*o - 5. Let i be z(m). Suppose -2*f = 4*s - 84, -i*s = -2*f + 89 + 30. Is 10 a factor of f?
False
Let b(a) be the third derivative of a**6/120 - a**5/24 + 7*a**4/12 + 17*a**3/3 + 15*a**2. Let n(p) be the first derivative of b(p). Is 20 a factor of n(5)?
False
Let i = -200 + 205. Suppose -i*w = w - 120. Is w a multiple of 10?
True
Let u(b) = -20*b - 120. Suppose -20 = 2*w + x, x + 5 - 7 = 0. Is u(w) a multiple of 10?
True
Is 208175/550 - (-2 - (-18)/4) even?
True
Let u = -11411 - -11582. Suppose 0*h - 3*h + 2 = 4*o, -3*o - 4 = 5*h. Is 2/(24/u) + h/8 even?
True
Let f = 34 + -91. Let k = f - -43. Let z(w) = -w**2 - 23*w - 22. Is z(k) a multiple of 26?
True
Suppose d + 1720 = c, -14*c = -12*c + 2*d - 3420. Suppose c = 24*g + 11*g. Is g a multiple of 49?
True
Suppose -5*y - 18 = 4*y. Let n be (y - 4*-1)*17/(-17). Is 14*2/(n + 3) a multiple of 4?
True
Is 10 a factor of 49588/55*5 - 12?
False
Let i be ((-8)/20*-5)/(8/12). Suppose -3*b + 11*q + 1078 = 15*q, i*b - 2*q = 1090. Is b a multiple of 6?
False
Suppose -446 - 1498 = 670*i - 697*i. Does 8 divide i?
True
Let k = 14893 + 690. Is 34 a factor of k?
False
Let k = -34980 + 97626. Is k a multiple of 19?
False
Let v = -2029 - -2122. Is v a multiple of 3?
True
Let t(y) = 9*y - 15. Let n be t(3). Suppose -6*k = n - 48. Suppose 0 = k*a - 2*a - 424. Does 8 divide a?
False
Suppose 5*p - 2*r = 1238, -4*p + p + 5*r + 720 = 0. Does 5 divide p?
True
Let y be 20/(-6) + 4 - (-36)/27. Suppose -4187 = -3*d + s, s + y = -3. Is d a multiple of 41?
True
Suppose 0 = -q - 3*y + 11823, -2*q - 6*y + 23655 = -9*y. Is q a multiple of 27?
True
Suppose 27327 = a + s, -a + 12573 = -3*s - 14742. Is a a multiple of 108?
True
Let d(s) = -s**2 - 15*s + 57. Let l be d(-18). Suppose 3*a + 21 = 4*r + 212, 4*r - 151 = -l*a. Is a a multiple of 3?
True
Let a be 2/4*((-18)/(-3) - -30). Suppose 2*l = 3*o + a, -5*l = 2*o - 7*o - 35. Suppose i - 230 = -8*x + l*x, -2*i = 0. Is 46 a factor of x?
True
Does 3 divide ((-12 + (-65)/(-5))/(-3))/(2/(-51582))?
False
Suppose 0 = 21*k - 47 - 121. Does 25 divide (1 + 0 + k)*266/6?
False
Suppose 88 + 24 = -c. Let s = 76 - c. Is s a multiple of 11?
False
Suppose 2*u - 66 = 2*a, -3*u + 62 = -4*a - 37. Let m = u + -48. Let v = m + 34. Is 3 a factor of v?
False
Let b = -987 - -930. Let g(u) = 3*u**2 + u. Let i be g(1). Let l = i - b. Is 23 a factor of l?
False
Let l = 24686 - 9097. Does 131 divide l?
True
Let v = 306 - 294. Suppose 257 = 3*x - 2*k, 16*x = v*x + 4*k + 348. Does 27 divide x?
False
Suppose 0 = -37*g - 23132 + 386509. Does 86 divide g?
False
Let u = 93 + -78. Suppose 2*h = -u*s + 13*s + 416, -594 = -3*s + 3*h. Is 23 a factor of s?
False
Let c(i) = 5 - 17*i**2 - 15 + 4*i - 2*i + i**3 + 11. Let b = -26 + 43. Is 35 a factor of c(b)?
True
Suppose 4*t + 13 - 69 = 0. Let q(p) = -p**2 + 12*p + 34. Let w be q(t). Is 8408/104 - w/(-39) a multiple of 22?
False
Suppose -2*t + 7*t - 15165 = 0. Suppose -19*b + t = -10*b. Does 35 divide b?
False
Suppose 0 = -607*f + 604*f + 3549. Suppose -1189*g + f*g = -7920. Is g a multiple of 66?
True
Let d = -57 + 59. Suppose -3*l + 1928 = d*l - 4*k, 3*l = -k + 1150. Is 13 a factor of l?
False
Let g(q) = -1408*q + 181. Does 40 divide g(-4)?
False
Let l(h) = 358*h**2 - 36*h + 40. Does 8 divide l(-6)?
True
Does 14 divide (0 - -311) + -4 + 15?
True
Suppose 0 = -3*k + 5*t + 712, -k - 4*t + 93 = -167. Let a = -4 - -6. Suppose -m - 3*g = -3*m + k, g - a = 0. Does 25 divide m?
True
Let h = 180 + -168. Is 15 a factor of 196*1*(45/h + -2)?
False
Let a(t) = -352*t + 573. Is a(-5) a multiple of 13?
False
Let p(b) = -b + 3. Let u be p(3). Suppose f + 220 - 2304 = -4*j, j - 4*f - 538 = u. Is j a multiple of 60?
False
Let o(a) = 661*a**2 - 98*a + 509. Is o(5) a multiple of 33?
False
Suppose -44*c + 176857 - 187385 = -349548. Is c a multiple of 6?
False
Let t = 59 - 63. Let a be (2 + 4)*(0 + t/(-3)). Suppose 11*x = a*x + 429. Does 13 divide x?
True
Let o(h) = -23*h - 31. Let w be o(-7). Let i = w + 122. Is 19 a factor of i?
False
Suppose 852107 + 1326388 = 55*c. Is 25 a factor of c?
False
Let x(p) = p**3 - 4*p**2 - 22*p + 27. Let r be ((-10)/(-4)*24)/((-3)/(-2)). Suppose 4*v - 72 = -r. Is x(v) a multiple of 6?
False
Let w be ((-114)/(-2))/(-3) - -1. Let s(q) = -q**3 - 17*q**2 + 15*q + 2. Let n be s(w). Let b = n - 6. Does 25 divide b?
True
Suppose 2*l - 9 = 3*h, h - 13 = -3*l + 5*h. Suppose -4*i = 2*g + i - 116, -l*g + 155 = -2*i. Suppose -4*u + g = -3*y, 5*u - 2*y + 4 = 72. Is 2 a factor of u?
True
Let g = 54214 - 36792. Is g a multiple of 31?
True
Does 22 divide ((-5)/(-20) - (-1)/(-4)) + (-10010)/(-91)?
True
Suppose -11*d = -20012 + 17548. Does 4 divide d?
True
Let i(t) = -t**3 - 12*t**2 + t - 42. Let h = -338 + 325. Does 3 divide i(h)?
True
Let z(p) = p**3 - 13*p**2 - 13*p - 9. Let o be z(14). Suppose 11 - o = -3*s. Does 7 divide 35*(s - (4 + -7))?
True
Suppose 5*u - 599 - 586 = 0. Suppose 0 = -a + 3*s + 3 + 2, -3*a - 5*s + 15 = 0. Suppose -4*k + u = 2*j + 7, -k + 35 = a*j. Is 4 a factor of k?
True
Let x = -1386 - -3613. Does 7 divide x?
False
Let d(u) = -u**2. Let b(f) = f**2 - 4. Let k(c) = -b(c) - 2*d(c). Let t be k(-6). Suppose 6*m - t = m. Is m even?
True
Let m(i) be the first derivative of -i**2/2 - i - 1. Let s be m(-2). Does 36 divide 4/(8/214) + s?
True
Let n = 1104 - 584. Is 2 a factor of (8 + -4 - 1)*n/30?
True
Suppose 251703 - 878523 = -93*l. Does 8 divide l?
False
Let m(q) = 2*q**3 + 34*q**2 - 3*q + 75. Let v be m(-17). Suppose -v*u + 133*u - 3738 = 0. Is u a multiple of 6?
True
Let n(r) = -2*r**3 + 100*r**2 + 28*r + 241. Does 42 divide n(50)?
False
Suppose -76*b = -78*b + 7*h + 13329, -2*h - 6654 = -b. Is 16 a factor of b?
True
Suppose -3*i + 5*i - 13 = r, -3*r - 15 = 0. Suppose 11*u - i*u = 3906. Does 44 divide u?
False
Let i be 1 - (-3)/(-3) - (5 - -4). Let h(s) be the second derivative of s**4/4 + 8*s**3/3 - 3*s**2 - s. Is h(i) a multiple of 31?
True
Let u = 109122 + -50146. Is u a multiple of 194?
True
Suppose -33 = 6*s - 69. Suppose -s*d + 812 = -6172. Is d a multiple of 12?
True
Suppose -220 = f - y + 5*y, -2*f - 443 = 5*y. Let k = -35 - f. Suppose -k = 2*i - 5*i. Is i a multiple of 9?
True
Let k be 6/(-5)*((-84)/(-18) + -8). Does 9 divide (1119 - -1) + (k - -1)?
True
Suppose -f = 3*i + 2, 2*f + 4*i = -0*f. Is 20 a factor of (-160)/(-120)*2298/f?
False
Suppose 0 = 4*k - 1148 + 1180. Is (k/(-2))/(-3 + (-715)/(-238)) a multiple of 56?
True
Is ((-4)/(-1) + -5)/(3/(-330138)*6) a multiple of 137?
False
Let o(s) = 12*s**2 - 16*s + 32. Suppose -21*x + 15*x = -12. Does 4 divide o(x)?
True
Let i(s) = 2*s**2 + 34*s + 631. Is i(29) a multiple of 29?
Fal