
True
Let n = 2781 - 1991. Does 2 divide n?
True
Let m be (2 + -2)*1/(-3). Let r(o) = o**2 + 4*o + 195. Is r(m) a multiple of 13?
True
Let m = -46 - -68. Let h be (-10)/55 - (-1104)/m. Suppose 2*n - 180 = h. Does 23 divide n?
True
Let k = -31 + 232. Let f = 55 + k. Does 12 divide f?
False
Let u be 5/2 + (-2188)/(-8). Let p = u - 17. Does 7 divide p?
True
Let a(l) = 1078*l**3 - l**2 + 1. Let f be -1 - 16/(-5 + -3). Does 11 divide a(f)?
True
Let t(c) = c**3 + 13*c**2 + c - 32. Let n be t(-6). Let z = n - 68. Is z a multiple of 8?
False
Let b = 157 + -152. Suppose -9*i + 5*i = -5*h - 668, -3*i - b*h = -536. Does 37 divide i?
False
Let r = 100 - 100. Suppose -48 = z - 4*z - 3*a, r = 5*z + 2*a - 74. Is 5 a factor of z?
False
Suppose 7*t - 2*t - 65 = 3*l, -105 = 3*l + 3*t. Is 7 a factor of (-7)/((-210)/4) + (-1916)/l?
False
Let i = 53 - 20. Suppose -31*h = -i*h + 8. Is 13 a factor of (169 - (-4 + h))/1?
True
Let n(c) = c**2 + 31*c + 1631. Is n(100) a multiple of 23?
False
Let f(k) = 3*k - 699 + 3*k + 2*k + 690. Is f(12) a multiple of 12?
False
Suppose 2*k - 3*g = 3, 0*k + g - 25 = 5*k. Let w(i) = i**2 + 20*i + 13. Let z be w(k). Let d = -19 - z. Does 13 divide d?
True
Suppose -503*s - 31855 = -508*s. Is s a multiple of 29?
False
Is (-450)/24*(-3 + ((-9712)/(-6))/(-8)) a multiple of 50?
True
Suppose 5*p + 18983 = 2*r, -5*r - 3*p - p = -47441. Is 41 a factor of r?
False
Let h = -6 - -30. Let x = h + -19. Suppose -5*s + s - y = -49, x*s - 60 = -y. Is s a multiple of 5?
False
Suppose 31*y - 33*y - 26388 = -2*j, y - 13206 = -j. Is 55 a factor of j?
True
Let x(r) = 6*r**2 + 12*r + 16. Let n(f) = 2*f**2 - 21*f + 16. Let a be n(10). Let w be x(a). Suppose 0 = -s + 5*s - w. Is 38 a factor of s?
True
Suppose -6*t = -8*t + 16. Suppose n - 4590 = -t*n. Suppose 25*h - n = 8*h. Is 6 a factor of h?
True
Suppose -13848 + 27613 = 4*l - 20635. Is 40 a factor of l?
True
Suppose 0 = -5*t + 5*p + 186905, 5*t + 97*p = 95*p + 186863. Is 325 a factor of t?
True
Let g(s) = s**3 - 13*s**2 + 20*s + 16. Let n be g(11). Is 10 a factor of n/(-10) - 6260/(-25)?
False
Let y(t) = t**3 - 4*t**2 + t. Let l be y(4). Let s(z) = -z**3 + 2*z**2 + 6*z + 12. Is s(l) a multiple of 4?
True
Suppose -10*j = -8*j - 108. Suppose -3*l + j - 18 = 0. Let x(o) = -o**2 + 13*o + 4. Is x(l) a multiple of 8?
True
Let v(u) = 4*u**3 + 3*u - 4. Let y(h) = -2*h - 33. Let m be y(-16). Let c be m/(5/6 - 12/9). Does 14 divide v(c)?
False
Suppose -4*g - 988 = -2*k, k - 4*k - 5*g + 1504 = 0. Let q = k - 326. Suppose y + 0*x + 2*x - 171 = 0, -y + q = 3*x. Is 15 a factor of y?
False
Let x = 20736 + -16126. Is x a multiple of 6?
False
Let c = 20567 + -13403. Does 12 divide c?
True
Does 15 divide ((-339859)/52)/(21/(-84))?
False
Let u(q) = -q**3 - q**2 - 9*q - 5. Let y be u(-5). Let h = y + -97. Is h a multiple of 5?
False
Let b(s) = s**2 - 2*s - 54. Let h = -98 + 89. Is 45 a factor of b(h)?
True
Suppose -219 = 6*l - 543. Is 25 a factor of (-2)/9 - 3/(l/(-3172))?
False
Let u = 48 - 62. Let z(c) = c**3 + 19*c**2 - 5*c - 13. Does 14 divide z(u)?
False
Let h be (2/(-5))/((-17)/85). Let s be (-7 + -3)/(0/(-3) - 2). Suppose -s*l - 3*c = -243, h*l + 3*c - 25 - 65 = 0. Is 17 a factor of l?
True
Let t be -3*((-82)/3 + 8). Suppose -t*k + 138 = -57*k + 5*x, -3*x = -k + 130. Is 10 a factor of k?
False
Let f(p) = -p**3 + 3*p**2 + 3*p + 1. Let q be f(-1). Suppose 0 = -q*y + 75 + 61. Is y a multiple of 2?
True
Let v(n) = n**2 + 23*n + 81. Let f be v(-24). Let q = -100 + f. Suppose 0 = 3*z - 4*b - 133, 2*b = -q*z - b + 183. Does 13 divide z?
True
Suppose -3*m = -3*p + 849, 2*p - m - 323 - 243 = 0. Suppose 2*b - 4 = 0, 0*d + p = 3*d - b. Does 2 divide d?
False
Suppose 7*p = -9*p + 6*p. Suppose 4*n - w + 4*w - 192 = p, -n + 48 = 5*w. Let h = n + -8. Is h a multiple of 5?
True
Suppose 5*s = 4*x + 16195, -2*x + 976 = -5*s + 17181. Is 69 a factor of s?
True
Is 14/(-2)*-159*(-34)/(-357) a multiple of 2?
True
Suppose k - 58*m + 41282 = -62*m, -5*k + m - 206431 = 0. Is 9/21 + k/(-49) + -4 a multiple of 43?
False
Let l(u) = -u**2 + 21. Let m be l(-5). Let o be (6/m + 1)*6*-1. Suppose 81 = o*p - 3. Does 7 divide p?
True
Let s = 12 - 10. Suppose s*j + 20 = 22. Let v(l) = 37*l**3 - 2*l**2 + 3*l - 1. Does 21 divide v(j)?
False
Suppose -2*d = -5*l - 3, 5*d = l - 3*l - 7. Let r be (l - 2 - 7)/(-2). Does 20 divide (16/r)/(12/150)?
True
Let j(s) = 2 + 7*s + 1 - 4*s - 65*s**3 + 0 - 224*s**3 - s**2. Does 16 divide j(-1)?
True
Let y be 1*5 + 2/(-12)*0. Suppose -4*o - j - 4*j = -53, -2*o + 39 = y*j. Let d(r) = 4*r**2 - 2*r + 13. Does 38 divide d(o)?
False
Let o(l) = -27*l**3 + 5*l**2 - 23*l - 46. Let i(r) = 9*r**3 - 2*r**2 + 8*r + 16. Let a(m) = 11*i(m) + 4*o(m). Is 20 a factor of a(-4)?
False
Let d = -19006 + 30283. Is 9 a factor of d?
True
Let w(k) = 3*k**2 - 36*k - 445. Is w(29) a multiple of 11?
True
Suppose -4*h = -h - 12. Suppose -773 = 3*g - 2*o, 4*g + h*o - 1289 = 9*g. Let r = -127 - g. Is r a multiple of 35?
False
Let z(t) = t**3 + 17*t**2 + 15*t - 15. Let y be (3 - -1) + -3 + -17. Let d be z(y). Does 5 divide 124/93*39*d?
False
Suppose 3*c + 441 = 3*z, 5*c - z + 456 + 295 = 0. Let n = 104 - -215. Let b = c + n. Is b a multiple of 42?
True
Let r be -3*(-1 + -1) + -2. Does 10 divide (6/(-1))/(6/(-1164)*r)?
False
Suppose 0 = -16*f + 19*f - 3915. Suppose -7*k - 3*u + f = -4*k, 2*k = 5*u + 905. Is k a multiple of 55?
True
Suppose -16184 = 142*q - 144*q. Is 51 a factor of q?
False
Let x be 2*(-2 - -3)*1. Suppose 10 = -3*z + 4*l, 0*l + 12 = x*z + 2*l. Suppose -3*u + 2*c = -z*c - 115, 4*u - 3*c = 158. Is u a multiple of 4?
False
Let o be (-50)/(-4) - 9/6. Suppose 236 = f - o. Does 17 divide f?
False
Suppose -21 + 138 = 3*p. Let w be (-13)/p - (2/(-6) + -2). Suppose 0 = v + w - 28. Is 3 a factor of v?
False
Let v = -206 - -320. Let c = 146 - v. Does 4 divide c?
True
Let t(y) = 2*y**2 - 2*y. Let s be t(2). Suppose 4*g + s*f = 4, 5*g = 3*g - 3*f + 1. Suppose 2*j = 4*u + 24, g*j - 3*u + 4 - 33 = 0. Does 7 divide j?
False
Suppose 0 = 34*r + 73*r - 558540. Is r a multiple of 18?
True
Let h = 20745 - 14987. Is h a multiple of 93?
False
Let j = 24828 - -10816. Does 133 divide j?
True
Suppose 2 = 2*y - 0*y. Suppose 4*d - 2 = 3*p - 4, -3*d + y = -p. Is (-1)/(-1) - (p + -7 + 3) a multiple of 2?
False
Let u be (18/28*256)/((-318)/(-1484)). Let j = u + -336. Does 36 divide j?
True
Suppose 35 = 51*u - 56*u. Let w be 0/(-1) - (-30 - u). Suppose 5*k + w - 143 = 0. Does 10 divide k?
False
Suppose 0 = -4*r + 2*i + 6, -56*r = -54*r + 3*i - 15. Suppose -r*a = -a - 4*z - 114, 3*z = 6. Is a a multiple of 61?
True
Let l(b) = 6*b - 27. Let x be l(9). Let z = -19 + x. Is (-78)/(-9)*(z - (-5 - -4)) a multiple of 13?
True
Let g(a) = 10*a**2 + 115*a + 555. Is 72 a factor of g(-55)?
True
Suppose 3*b + 4*r - 26 = -177, 5*r + 54 = -b. Let x = 159 + b. Suppose 566 - x = 4*v. Does 11 divide v?
False
Suppose -30*h = -1046324 + 86084. Is h a multiple of 10?
False
Suppose 903*f - 908*f = 5*d - 46650, -37275 = -4*f + 5*d. Does 5 divide f?
True
Suppose 0 = -5*h + 797*y - 794*y + 104878, 5*h + 2*y = 104873. Is h a multiple of 24?
False
Let b(v) = 35*v - 20. Let y = -31 - -37. Let d be b(y). Let l = d - 100. Does 10 divide l?
True
Suppose v - v = 3*v. Suppose 2*j - 1288 = -v*q - 4*q, 638 = 2*q + 4*j. Is 19 a factor of q?
True
Suppose 0 = 60*q - 36051 - 58329. Is 7 a factor of q?
False
Suppose -a - 5*i = 3*a - 33, -4*i = 3*a - 26. Suppose -a*t - 4*w = -16, t - 12 = -2*t - 2*w. Suppose -3*r = t*r - 155. Does 3 divide r?
False
Suppose 6*z + 680 - 12800 = 0. Suppose -5*q - 4*y + z = 0, y - 1225 = -3*q - 4*y. Is q a multiple of 16?
True
Let y(s) = -s**3 - 23*s**2 - 55*s + 41. Let l be y(-20). Suppose -4*u = -4*c - 285 + 17, -2*u + 128 = -4*c. Let n = u + l. Is n even?
False
Let a = 685 - -1188. Is 107 a factor of a?
False
Let k(t) = -7*t + 11*t + 2*t**2 - 12 - t**2 + 4*t. Let p = 384 - 378. Is k(p) a multiple of 18?
True
Suppose -3*s + r - 1 + 0 = 0, -5*s - 15 = -5*r. Let t be (49 - s)/(5 + (-56)/12). Suppose 5*j = 2*d + 58 - 382, 2*j - t = -d. Is 18 a factor of d?
False
Let v = 13842 - 8270. Is 14 a factor of v?
True
Let r(n) = 4*n**2 + 32*n + 50. Is r(11) a multiple of 14?
False
Suppose 5*g = 2*a - 53972, -86*a + 84*a + 3*g = -53956. Does 139 divide a?
True
Suppose 0 = -5*f + 3*u + 7404