 5*i + 650. Does 13 divide (0 - i) + 2/2?
True
Suppose -l = 4*d - 28882, 7753 = d + 4*l + 540. Is 110 a factor of d?
False
Let h(k) be the third derivative of k**6/120 + 7*k**5/60 + k**4/24 - 7*k**3/3 - 33*k**2. Does 14 divide h(-4)?
False
Let v be 39/52 - 930/(-8). Suppose -25 = -o + 5*p - 3*p, -5*o + 2*p = -v. Is o even?
False
Let s(j) = 4*j**3 - j**2 + 1. Let q be s(1). Suppose -2*p + 286 = 10*d - 9*d, q*d + 2*p - 1114 = 0. Is 92 a factor of d?
True
Let q = 18 + -3. Let g(k) = -2*k + 6. Let u(r) = 11*r + 37. Let h(i) = 2*g(i) + u(i). Does 20 divide h(q)?
False
Let k(v) = -2*v + 41. Let b be k(19). Suppose -b*j = -0*f - 5*f - 6154, 3*j = 4*f + 6149. Suppose 0 = -16*u - 411 + j. Does 20 divide u?
False
Let f(u) = -10*u - 2. Let a be f(2). Let t be 3*a + 0/9. Let j = -33 - t. Is j a multiple of 11?
True
Let j = 26 + -48. Let z = j - -24. Suppose 5*i - 293 - 121 = w, z*i - 5*w - 161 = 0. Is 19 a factor of i?
False
Suppose -19*l + 18*l = -6. Let f be (2350/(-15))/((-2)/l). Suppose 18*x - 23*x + f = 0. Is 4 a factor of x?
False
Suppose 0 = -11*c + 27748 + 53487. Does 35 divide c?
True
Suppose -3*s = 1109 + 1339. Let j be ((-1)/3)/(16/s). Suppose -5*c = 5*f - 150, -j = 5*c - 5*f - 147. Is c a multiple of 14?
True
Let y be 1774461/1384 + 1 + 18/(-16). Suppose -456 = y*f - 1283*f. Does 24 divide f?
True
Let g = -226 + 229. Suppose 162 = 5*u - x, -8*u - 3*x = -g*u - 174. Is u a multiple of 3?
True
Suppose 2*i + 1312 = 3*r, -172*i - 853 = -2*r - 175*i. Does 2 divide r?
True
Suppose 6*h + 144 + 42 = 0. Let c be (1 + h)*288/120. Is 20 a factor of 1642/18 - (-16)/c?
False
Let r(x) = 5*x**3 + 6*x**2 + 9*x - 2. Let u be r(7). Suppose 495 + u = 5*v. Suppose 4*z = -4*q + 467 + 249, -3*q + 3*z + v = 0. Is q a multiple of 32?
False
Let h(f) = f + 1. Let y(m) = -3*m - 104. Let g(l) = -6*h(l) - 3*y(l). Is g(-26) a multiple of 19?
True
Let o = 209 + -13. Let t = o + -164. Is t a multiple of 16?
True
Let c be (0 + 1)/(2/(-4)). Let y be (c/6)/(13/(-78)). Is 0/(-3) - (-1*276)/y a multiple of 23?
True
Let n(i) = 436 - 15976*i + 15966*i + 340. Is n(0) a multiple of 97?
True
Suppose -13342 = -2*g - b + 5857, 38397 = 4*g + 3*b. Is g a multiple of 20?
True
Suppose 0 = 5*u - 7*u + f + 80626, -4*u + f + 161260 = 0. Is 24 a factor of u?
False
Let g(d) = 5*d + 30. Let k(v) = 6*v + 30. Let s(i) = 3*g(i) - 4*k(i). Let a be s(-9). Let n = 67 - a. Does 11 divide n?
False
Suppose 55*l - 77 = 48*l. Suppose -14*b = -l*b - 372. Is b a multiple of 31?
True
Suppose -103 = 20*a + 5357. Does 16 divide (-84)/(1/(-7)*a/(-156))?
True
Is (-38 - 27664/95)/(1/(-85)) a multiple of 51?
False
Let n = 14941 + -10629. Is 28 a factor of n?
True
Let r(m) = 2658*m + 1164. Does 35 divide r(7)?
False
Let i(q) = 4*q + 7*q + 296 + 4*q + 27*q + 2*q. Is 79 a factor of i(20)?
False
Let n(p) = 4*p**3 - 64*p**2 - 42*p - 22. Is n(17) a multiple of 17?
False
Let h = -390 + -195. Let r = 1019 + h. Is r a multiple of 48?
False
Suppose 0 = 17*s - 390 + 339. Let x = 276 + s. Is x a multiple of 93?
True
Suppose -20*q + 29 = -31. Suppose 2*w = 4*i + 6, -w - q*i + 21 = i. Is w a multiple of 8?
False
Suppose -1199 = -4*m - u + 388, 4*m = 4*u + 1592. Suppose 4*n - m = 1443. Is n a multiple of 10?
True
Let n(g) = -3*g - 8*g + 2 - 18*g + 23. Let s be n(6). Let z = -88 - s. Does 10 divide z?
False
Suppose -3*k + 16*k = 1326. Let j = 222 - k. Does 4 divide j?
True
Let o(b) = -9*b**2 - 12*b + 1. Let w(l) = -10*l**2 - 12*l + 2. Let d(t) = 2*o(t) - 3*w(t). Does 2 divide d(-4)?
True
Suppose 5*h - 5*s = 2155, -3*s - 2*s = 2*h - 897. Does 27 divide 9 + -15 - h/(-2)?
False
Let i = 2570 + -1535. Is 2 a factor of i?
False
Suppose -s = 4*l + 12, 10*l = 3*s + 5*l - 32. Does 9 divide (52/8 - s)/(4/120)?
False
Let i = -909 + 8085. Is i a multiple of 4?
True
Let l(o) be the second derivative of 127*o**4/12 + o**3 - 15*o**2/2 + 15*o - 3. Does 37 divide l(2)?
False
Is 14*(66/231)/((-1)/(-271)) a multiple of 21?
False
Suppose z + 0*z - 172 = 0. Let i = z + 217. Does 92 divide i?
False
Let x(g) = 11204*g + 1377. Does 20 divide x(4)?
False
Let s(a) = a**2 + 9*a - 18. Let k be s(9). Suppose -1844 - k = -4*n + j, 5*n - 5*j - 2500 = 0. Is 13 a factor of n?
False
Let k = 54689 + -46936. Does 57 divide k?
False
Suppose -43822 = 5*q - 2*b, -2*q + 3*q + 3*b = -8761. Is 29 a factor of 106/(-689) - q/13?
False
Suppose -34*l + 5*l = -68324. Is 5 a factor of l?
False
Let s = 17 - 22. Let i be 2705/(-50)*2 + (-1)/s. Let z = -24 - i. Is 19 a factor of z?
False
Suppose -24*o - 1059 + 267 = 0. Is (-1)/(-3) + (-22)/o + 369 a multiple of 5?
True
Does 65 divide (8/(8/885))/(6/26)?
True
Suppose 2*y = -0*y - 6, 4*y = -5*g - 77. Let a(j) = -12*j + 21. Is a(g) a multiple of 36?
False
Suppose 276*t + 673101 = 375*t. Is t a multiple of 12?
False
Is 11 a factor of (-25)/(-20) + 338037/28?
False
Suppose 2*q + 5*i = 12, 4*q - 5*i + 0 = -6. Let s be 2420/25 + (-1)/((-5)/q). Suppose 0*y = -y - c + s, 197 = 2*y + c. Is y a multiple of 25?
True
Let s be 0 + 1 - (1 + 0). Suppose s = -9*z + 106 + 128. Does 5 divide 84/10 + z/(-65)?
False
Suppose -106 + 10 = 2*b. Let f be 1779/12 + (-5)/20. Let d = f + b. Is d a multiple of 20?
True
Suppose 3*b + 4*d = -21, -2*b + 5*d + 12 = -b. Let u be (-2 - -1)/((-28)/(-10) + b). Suppose u*z - l - 201 = 0, -3*z + 9*l = 4*l - 125. Is z a multiple of 13?
False
Let v = 1 - 1. Suppose v = -5*o - 20*o + 37700. Does 44 divide o?
False
Let q(j) = 3*j + 65. Let n be q(-10). Suppose 100 = n*w - 34*w. Is 34 a factor of w?
False
Suppose w = 2*w - 2*j - 12, -4*j - 8 = 2*w. Suppose -4*b = u + w*u - 11, 3*u = -3. Is 3 a factor of 23 + 9/((-12)/b)?
False
Let s(y) = -3*y**3 - 6*y**2 - 6*y - 3. Let g be s(-3). Is 9 a factor of g/(-4)*608/(-24)?
False
Let b = -337 + 342. Suppose b*p + 40 = 270. Does 3 divide p?
False
Let q(o) be the third derivative of o**5/60 + o**4/3 + 17*o**3/6 - 10*o**2. Let r be q(-9). Suppose 6*g + r = 212. Is 5 a factor of g?
False
Let a(v) = -2237*v + 304. Is a(-13) a multiple of 132?
False
Let b = 55086 - 30786. Does 225 divide b?
True
Let a(z) = z**3 + 2*z + 358. Let d be (-2)/(-8) + (-490)/40 + 12. Does 32 divide a(d)?
False
Suppose 23*p = 8*p + 7020. Suppose 2*c - 488 = 3*h + p, 2*h = 3*c - 1429. Does 12 divide c?
False
Let t = 10386 - 4111. Does 251 divide t?
True
Let h(x) = -2*x - 3. Let j be h(-3). Let a be (-42)/(-70) + 2/(10/297). Suppose -j*g = -g - a. Does 10 divide g?
True
Suppose -2*b = -10, -b = -5*s - 6*b + 105. Suppose 19*w - 2370 = s*w. Is 6 a factor of w?
False
Let b(i) be the first derivative of -i**4/4 + 13*i**3/3 - i**2 + 30*i + 128. Is 5 a factor of b(12)?
True
Suppose 16*k + 88 = 24*k. Let b(t) = -t**2 + 12*t + 28. Let v be b(k). Suppose 0 = 5*n - 149 + v. Is 11 a factor of n?
True
Let b be (-3 - -4 - 4) + 364. Suppose 0 = 4*s - o - 331, -5*o + 0*o + b = 4*s. Is 27 a factor of s?
False
Suppose 0 = -56*n + 64*n - 456. Let i = n + 168. Does 10 divide i?
False
Let z(b) = 2408*b**2 + b + 3. Let h be z(-1). Suppose 24*x + h = 34*x. Does 22 divide x?
False
Let n = 27802 + 36638. Is 203 a factor of n?
False
Let u = 292 - 290. Suppose -90 = u*z + 5*v - 249, 0 = v - 3. Is 24 a factor of z?
True
Let p be -1*(-18 - -14) + -4 + 0. Suppose -2*a = -3*v + 119, 43*v - 45*v - 3*a + 88 = p. Does 13 divide v?
False
Let d(s) be the third derivative of 29*s**4/12 + 2*s**3 + 10*s**2. Let g be d(2). Suppose g = 12*r - 8*r. Is r a multiple of 16?
True
Let h = 89 - 82. Is 10 a factor of 154 + (-28)/(0 + h)?
True
Suppose -4*b - k + 45 = -184, 0 = -5*b + 5*k + 280. Suppose 72 = b*t - 53*t. Is t a multiple of 9?
True
Let v be (7 - -1) + (6 - 9). Suppose 12*l - v = 17*l. Is 2 a factor of 1*l/(108/28 - 4)?
False
Suppose -15*a = -19*a + 112. Let m(s) = 6 - 5 + a*s + 7 + 2*s**2 + 8. Is 8 a factor of m(-14)?
True
Suppose 20*b = 25*b + 975. Let g = -44 - b. Does 10 divide g?
False
Let y(n) = -15*n - 333*n**2 - 7 - 3 + 332*n**2. Let s be y(-14). Suppose i - s*i = -54. Is 13 a factor of i?
False
Let s(o) = o**3 + 29*o**2 + 28*o + 480. Does 20 divide s(-18)?
True
Let q(u) be the third derivative of u**4/8 + 7*u**3 - 2*u**2 + 77*u. Let d = 2 + -2. Does 9 divide q(d)?
False
Let y be 23/(-2) + 51/(-34). Does 8 divide (0 - -1)*y*(-6 - -4)?
False
Suppose -5*o + h + 20 = -74, 2*o + 2*h = 40. Suppose -2*c = -23 + o. Let f(x) = 21*x**3 - 2*x**2 + 1.