of 11?
True
Does 2 divide 2069002/713 - 20/(-115)?
True
Suppose 0*u + 3*d = 2*u - 493, -u - 4*d = -230. Is 11 a factor of u?
True
Suppose 5*r = 11*r - 4751 + 791. Is 11 a factor of r?
True
Let f(y) = -y**2 + 19*y - 32. Let g be f(17). Let m(u) = 34 + u - 60*u**2 - 5*u + 62*u**g. Does 4 divide m(7)?
True
Let n = -4317 - -6127. Is n a multiple of 2?
True
Suppose 0 = 4*k + 1 + 11. Let r(f) = 4*f + 9 - 9*f + 7*f**2 + 9*f. Does 10 divide r(k)?
True
Let d(g) = -g**3 - 2*g**2 - g. Let f be d(-1). Let h(q) = q + 4. Let u be h(f). Does 15 divide ((-5)/(-3))/(u - 419/105)?
False
Let q(s) = -25*s + 12. Suppose 0 = -8*c + 5*c + 81. Let o = -31 + c. Does 22 divide q(o)?
False
Let h = 387 + 29267. Is h a multiple of 143?
False
Let m(s) = 238*s + 3629. Is m(-7) a multiple of 4?
False
Let y(k) = 4*k**3 + 3*k**2 - 13*k + 9. Let g be y(1). Suppose 5*j - 2*s - 4319 - 1451 = 0, j + g*s = 1154. Does 74 divide j?
False
Suppose -5521 - 1439 = -2*n. Is n a multiple of 145?
True
Let d(j) be the third derivative of j**4/24 + j**3/3 - 27*j**2. Let r be d(-8). Let y(t) = -2*t**3 - 6*t**2 + 3*t + 7. Is y(r) a multiple of 36?
False
Suppose 7267 = -3130*q + 3143*q. Is q a multiple of 12?
False
Suppose 2*k - 5 = -b, 6*b = -k + 3*b + 5. Suppose -4*t - 4 = 0, k*t + 12 = a - 0*t. Let v = 22 + a. Is 8 a factor of v?
True
Let m = -75189 + 115075. Is m a multiple of 74?
True
Is 18 a factor of 6/10 + (-2159136)/(-340)?
False
Let h(p) = -3*p**2 + 42*p + 53. Let v be h(22). Let x = v + 499. Does 15 divide x?
False
Suppose -19*k = -24*k + 3960. Let s = 44 - k. Does 17 divide (-18)/4*s/66?
True
Let q(h) = 6*h + 72. Let d be q(-13). Does 75 divide (d/(-9))/(1/1062)?
False
Suppose 0 = -h + 6*h - 15, -h - 925 = r. Let y = 1357 + r. Does 13 divide y?
True
Let r be (-1 - -4)/((-9)/6 - 0). Let l(f) = 192*f**2 + 20*f + 37. Is 11 a factor of l(r)?
False
Let k = -95 - -176. Let s = 3431 - 3239. Let x = s - k. Is x a multiple of 32?
False
Let m be (-2)/1 - (-5 + 5 - 17). Let t = 15 - m. Suppose -4*u + 9*o - 7*o + 402 = t, 0 = 2*u - 2*o - 202. Is u a multiple of 20?
True
Suppose c - 228 = 3*c. Suppose -7*l + 164 = 458. Let r = l - c. Is r a multiple of 12?
True
Let d(l) = -731*l - 29. Let h be 1/((-3)/(-12)) + (-1 - 5). Does 46 divide d(h)?
False
Is 10 a factor of 26793/156*(-1488)/(-9)?
False
Suppose 2 = u, 3*u = j + j + 56. Let t = j + 10. Is 16/120 + (-358)/t a multiple of 12?
True
Let q(p) = p**3 + 25*p**2 - 7*p - 14. Let n be (-1)/((-1)/(-1)) + (-768)/32. Is q(n) a multiple of 44?
False
Suppose -9 - 6 = -5*r. Suppose 2364 = -r*n + 15*n. Is n a multiple of 29?
False
Suppose -1479957 = -228*u + 69*u + 332643. Does 114 divide u?
True
Suppose -4*x = 3*m - 225496, -53650 - 21480 = -m - 19*x. Does 108 divide m?
True
Suppose -417*p + 124729 = -400*p. Does 8 divide p?
False
Let j be ((-5615)/(-15) - 5/(-3))*1. Let z = j + -173. Does 2 divide z?
False
Let u = -33402 - -80066. Does 11 divide u?
False
Let t(g) = -11 - 12 - 22 + 0 + g**2 - 12*g. Let m be t(15). Is 21 a factor of (m - -125) + -7*8/(-56)?
True
Let k be (-36)/(-24)*(-1 - 13). Let s(p) = 30*p**2 - 2*p - 1. Let h be s(-1). Let r = h - k. Is 13 a factor of r?
True
Let t = 615 - 122. Is t a multiple of 37?
False
Let a(k) = 69*k**2 - 57*k - 110. Is a(-2) a multiple of 5?
True
Let g(z) = -z**3 - 25*z**2 - 38*z. Suppose -4*o - 2*a - 96 = 0, -4*a + 0*a - 48 = 2*o. Does 28 divide g(o)?
True
Let l(u) = 4132*u**3 + 2*u**2 + u + 1. Does 44 divide l(1)?
True
Is (5174/13)/(1/4) + -6 a multiple of 26?
True
Is 156/(-7)*(-233590)/1065 a multiple of 104?
True
Let y be (2/4)/((-8)/(-16))*-1. Let o be 5/20*(y - -1). Suppose o = j - 28 - 77. Is j a multiple of 15?
True
Let f = 3474 + -3179. Is f a multiple of 5?
True
Let u(m) = -55*m - 213. Let b be u(-7). Is 215/b*(-4)/10*-122 a multiple of 17?
False
Let s(m) = -52*m + 4. Let i be -1 + (5 - 4 - 6). Let l(o) = -51*o + 3. Let j(d) = i*s(d) + 7*l(d). Is j(-3) a multiple of 12?
True
Suppose 5*j + 25 = -5*k, 0*k - 2*j - 12 = 4*k. Is 12 a factor of (69 - (-4)/(-1)) + 1/k?
False
Let f = 51 - 55. Does 36 divide -4 + ((-1)/f - 4956/(-16))?
False
Suppose -4*j + 22 = -6. Let d(g) be the third derivative of 11*g**4/12 - 25*g**3/6 + 335*g**2. Does 43 divide d(j)?
True
Let d(a) = -3*a + 2. Let o(l) = l - 1. Let g(y) = 3*d(y) + 5*o(y). Let b be (2/(-14) + -1*(-64)/(-336))*33. Is g(b) a multiple of 9?
True
Suppose 3*g = 10*g - 1680. Is g a multiple of 5?
True
Let t = -557 - -4088. Does 13 divide t?
False
Let d = 2587 - 1523. Let l = d - 571. Is l a multiple of 75?
False
Suppose -26*s + 24435 = -23119. Let n = -1251 + s. Is 18 a factor of n?
False
Suppose 23*l = 26*l + 4*d - 68204, -5*d = -25. Is 8 a factor of l?
True
Let a(i) = 3*i**3 - 5*i**2 - 4*i + 14. Let t be a(8). Let o = -154 + t. Does 36 divide o?
True
Let y be (-5)/((-20)/88)*(-210)/(-4). Suppose -4*d + 11*d - y = 0. Is 15 a factor of d?
True
Let f be -1*(3/18 + (-370)/(-12)). Is 31 a factor of 6 - (-54)/(-9) - f*4?
True
Suppose 0 = -4*i - 0*i + 16, -5*d + 4*i = -234. Let j be (d/(-15))/(2/(-3)). Suppose -3*t + 4*p = -113, -3*t = 2*t + j*p - 200. Does 13 divide t?
True
Suppose -4*j + 4 = -8. Suppose 96 = j*y - 27. Let q = y + 59. Does 10 divide q?
True
Let k be -15 - -12 - (138 - -1). Let y = 42 - k. Is 46 a factor of y?
True
Let p = 122 - 70. Let n(q) = 71*q - 45*q - 38*q + p. Does 32 divide n(-17)?
True
Let n be (-12122)/(-57) + (-2)/(-6). Suppose -3*b - 3 = 0, -5*m + 1828 = 5*b + n. Is 6 a factor of m?
True
Let c(k) = -k + 11. Let t(a) = a - 11. Let y = 4 + -1. Let w(n) = y*t(n) + 4*c(n). Is 3 a factor of w(-13)?
True
Let h(b) = 39*b**2 - 188*b + 2216. Does 13 divide h(12)?
False
Let a(b) = 532*b + 8. Suppose 5*t - 20 = 5*r, 6 = 2*t - r + 1. Does 21 divide a(t)?
False
Suppose n - 75 = 4*n. Let k = -46 - n. Is 16 a factor of 2*-3*(-3 + k)?
True
Suppose o + 2*o + 4*w - 13 = 0, 2*o + 2*w = 6. Is 32 a factor of 3/9 - ((-1052)/3 + o)?
True
Let y be (-26 + 22)*10/4. Is 14 a factor of (-140)/(-30)*(-465)/y?
False
Suppose -484*u + 467*u = -30362. Is u a multiple of 9?
False
Suppose 23129 + 12991 = 24*y. Is y a multiple of 35?
True
Suppose -61 = -3*j - 58. Suppose -2*k - 5*t = 12, 0*t - t = -3*k - j. Does 10 divide 7*(k - 2)*50/(-15)?
True
Let d(l) = -24*l**2 - 3*l - 4. Let s be d(-1). Let m = 32 + s. Let p(z) = z**3 - 4*z**2 - z - 20. Is 20 a factor of p(m)?
True
Let x(z) = 2*z**2 - 11*z - 17. Let m be x(7). Suppose 0 = -0*a + 5*a - m*y + 21, 0 = 2*a + y + 11. Let s = a - -142. Is 18 a factor of s?
False
Let m(h) = -9*h + 912. Does 9 divide m(-66)?
False
Let z(n) = -6*n + 4. Let q be z(6). Let l = q - -18. Let c = l + 41. Is 8 a factor of c?
False
Suppose 5*p - 2*p = 5*y, -p = -y. Suppose 2*v + y*v - 15 = -5*j, -3*v + 4*j = -34. Suppose 192 = v*f - 28. Does 7 divide f?
False
Let z(u) = u**3 - 19*u**2 - u - 19. Let q be z(19). Suppose -5*v - 2*o - 110 = 0, -9 - 13 = v + 2*o. Let f = v - q. Is 4 a factor of f?
True
Suppose 0 = s + 6, -58*f - s = -73*f + 267471. Is 18 a factor of f?
False
Let h be 2 - (0/2 + -5). Is (-24)/(h/((-210)/9)) a multiple of 8?
True
Let h be (-34)/(-4)*(-7)/((-35)/10). Let a = h + 66. Let k = -3 + a. Does 20 divide k?
True
Let i(k) = -k**2 - 5*k + 32. Let p be i(-7). Is p/(-48) + (-886)/(-16) a multiple of 8?
False
Let w(j) = -2 - 2*j**2 - 4*j + 2*j - 4*j**2 + 7*j**2. Let b be w(-2). Suppose -u + 8 - b = 0, 239 = 5*k - 3*u. Is 14 a factor of k?
False
Let z = -18 - -97. Suppose c + 5*y = 85, 0 = c - 0*c - y - z. Suppose 23*q - c = 19*q. Does 10 divide q?
True
Let x(t) = 57*t - 375. Is 27 a factor of x(24)?
False
Let k = -218 - -227. Let r(u) = -u**3 + 18*u**2 - 11*u + 20. Does 28 divide r(k)?
False
Let a be 70/245 - (-97556)/(-14). Does 6 divide a/(-130) + 4/10?
True
Let h(s) = -4*s**2 + 23*s + 7. Let d(o) = -12*o**2 + 67*o + 20. Let t(b) = -4*d(b) + 11*h(b). Does 51 divide t(11)?
False
Suppose 108 = 133*m - 136*m. Is 9/m - 3629/(-4) a multiple of 13?
False
Let p(q) = q**3 - 14*q**2 - 132*q - 18. Let n be p(22). Suppose -n = -10*t + 9*t - b, 0 = 2*b - 8. Is 86 a factor of t?
True
Suppose -79*t + 299919 = -517288 + 63547. Is t a multiple of 53?
True
Suppose 0 = 8*t + 5*t + 53591 - 165924. Is 88 a factor of t?
False
Let u = 360 + -48. Does 17 divide -3 - -3 - (-4 + u)/(-2)?
False
Suppose 90*t - 93*t = 4*n - 1374, -4*t = -2*n + 676. Does 3 divide 