2)*-3. Suppose -3*o + 58 + k = 0. Let l = o - 21. Is l a multiple of 11?
True
Let t = 215 - 83. Suppose -v + 5*l + 4 = -51, 3*v = 4*l + t. Is v a multiple of 22?
False
Suppose 240 = -5*b + 5*q, -b + 3*q - 36 - 20 = 0. Let m be b/(-7) + (-6)/21. Is 17 a factor of 196/m - (-3)/9?
False
Suppose 2516*u = 2451*u + 69745. Does 3 divide u?
False
Suppose -38 = 2*y - 46. Suppose -2*o + 3*u = -823, -y*u + 582 = 2*o - 220. Is 7 a factor of o?
False
Let q = 2341 - 613. Suppose 0 = -190*a + 198*a - q. Is a a multiple of 10?
False
Suppose 15*f - 4*f = 15136. Suppose 4*m - 1394 = -0*m - 2*g, 0 = 4*m - 4*g - f. Does 22 divide m?
False
Let h(o) = 4*o. Let z be h(1). Let n = z - -11. Suppose -m + 105 = -n. Does 12 divide m?
True
Suppose 3*z = -4*r + 18846, 2*z = -3*z - 4*r + 31402. Does 154 divide z?
False
Let o be 2/16*4*-282. Let q = 13 + o. Let p = q + 248. Does 12 divide p?
True
Is 58 a factor of (-32)/(-6)*111036/152?
False
Let c(l) = -l**3 + 20*l**2 + 42. Let u be -2*1/2 - (-23 + 2). Is c(u) a multiple of 3?
True
Let a be (-1 + (-18)/(-5))*(-5)/(-1). Let p = 17 - a. Suppose y + 3*l = 2*l + 189, y = -p*l + 204. Is 38 a factor of y?
False
Let q = 31754 - 20405. Is q a multiple of 13?
True
Let r(p) = -11*p**3 + p**2 - 6*p + 8. Let a be r(3). Is (a/1)/((-1 + 4)/(-3)) a multiple of 14?
False
Let h(y) = -y**3 - 2*y + 2056. Is h(0) a multiple of 14?
False
Let i(z) = -1217*z + 446. Is i(-2) a multiple of 160?
True
Let q(p) = -1330*p**3 + 2*p**2 + p - 43. Is q(-3) a multiple of 155?
False
Let b = -225 + 195. Is 2 a factor of ((-204)/15)/(4*3/b)?
True
Suppose -20461 = -4*o + q, 2*o - q - 16587 = -6356. Does 15 divide o?
True
Suppose -3*g + i + 3784 = 0, 5*i - 291 - 4729 = -4*g. Is 2 a factor of g?
True
Let q = -108 - -111. Suppose 2*j + 3*j + 4 = g, 5*g - 76 = -q*j. Suppose g*z = 19*z - 210. Does 6 divide z?
True
Does 262 divide (8017396/252 - 4/(-18)) + 40/(-140)?
False
Suppose 4*f + 12 = -v, 3*f + 4 = -4*v - 5. Suppose -16*n + 13*n - 3 = v. Does 3 divide n*(4 - 8 - -4) + 40?
False
Let j(i) = 4*i**3 - 38*i**2 + 258*i - 326. Is 30 a factor of j(22)?
True
Let q(v) = -16*v - 38. Suppose -2*x + 5*c = 12, 4*x + c + 45 = -1. Is q(x) a multiple of 5?
False
Suppose u + 5*x = 30, -4*u + u + 90 = -5*x. Let c = 407 + u. Is 80 a factor of c?
False
Let s be ((-12)/(-10))/((-4)/(-30)*3). Suppose -s*i + 1749 + 15 = 0. Suppose -i = -0*l - 7*l. Does 28 divide l?
True
Let b(f) = -f**3 - 13*f**2 - 13*f + 2. Let j(a) = -a**2 - 12*a + 15. Let g be j(-11). Suppose 5*s + g = -34. Is b(s) a multiple of 7?
True
Let z = -12445 + 23299. Suppose -26*m + z = m. Does 25 divide m?
False
Suppose -213867 = -63*i - 65187. Does 34 divide i?
False
Suppose 5*k + 4*g = 18064, 2*k - 17*g - 7198 = -14*g. Does 44 divide k?
True
Does 180 divide 541 - 561 - -3895*8?
True
Suppose -3*b - 5*p + 66604 + 37748 = 0, 6*p = 3*b - 104451. Does 89 divide b?
True
Suppose -13*i = -3*p - 10*i + 696, -2*p - 2*i + 468 = 0. Suppose f = -0 + 2. Suppose -s + 2*s = -f*b + p, s - 5 = 0. Is b a multiple of 38?
True
Suppose 35*j = 55*j - 10740. Suppose 0 = -3*b - r + j, -2*b - 366 = -4*b + 2*r. Is 5 a factor of b?
True
Let v(f) be the third derivative of 0 + 7*f**2 - 1/2*f**3 - 11/24*f**4 + 0*f. Is v(-4) a multiple of 11?
False
Let a be ((1397 - 11)/11)/(-2). Let l = 446 - 256. Let o = l + a. Is o a multiple of 10?
False
Let o(g) = 2*g**3 - g**2 - g + 2. Let f be o(0). Suppose 8 + 32 = -f*v. Is (-19*(0 + -2))/(v/(-80)) a multiple of 38?
True
Suppose 0 = 13*r - 96 + 44. Suppose 4*a + 5*f - 2155 = r*f, 0 = a - f - 540. Is a a multiple of 30?
False
Suppose -2*g + 168 = 4*g. Suppose -58*k + 54*k = -g. Does 3 divide k?
False
Let m = -2306 - -9335. Is m a multiple of 24?
False
Let s be ((-6)/9)/(8/12)*70. Suppose -4*w - y + 343 = 0, 7*y = -w + 4*y + 83. Let m = s + w. Does 5 divide m?
False
Suppose 10*n - 7*n + 5*y - 109 = 0, 3*n - 4*y - 145 = 0. Suppose 13*k = -n*k + 25368. Is 7 a factor of k?
False
Let o be -3*(4 - (-56)/(-24)). Suppose 2*a = 3*f - 0*f - 48, -4*a = f + 124. Does 19 divide (o - -2)*-1 - a?
False
Let k(b) = 4604*b**2 - 32*b - 34. Is 39 a factor of k(-1)?
True
Let g = 531 - 515. Suppose 30*c = -g*c + 53912. Does 17 divide c?
False
Let a = 431 - -2725. Is a a multiple of 32?
False
Suppose 13*r = -4*r + 204. Suppose 4*y - 4345 = -5*p, 7 = y + r. Is 18 a factor of p?
False
Suppose -1345 = 2*v + x, -3076 + 381 = 4*v - 3*x. Let n = -267 - v. Is n a multiple of 14?
True
Suppose -20710 = -4*p - 3*j + 8538, -3*p - 2*j = -21936. Is p a multiple of 10?
False
Let c(g) = -g**2 + 29*g - 151. Let k be c(7). Suppose 2*f + 3*q + 51 = 3*f, -k*f - q + 163 = 0. Does 4 divide f?
False
Suppose -32904 = -25*z + 35546. Does 74 divide z?
True
Suppose 1813236 + 1107084 = 971*h - 899*h. Does 80 divide h?
True
Suppose 5093 = u + w, -u - 5*w + 8*w + 5105 = 0. Is 182 a factor of u?
True
Suppose 7*l + 10059 = 24*l - 3966. Is l a multiple of 25?
True
Let o(t) = 2*t**2 - 9*t + 10. Let f be o(5). Suppose -1970 = -f*m + 5*m. Is m a multiple of 25?
False
Suppose 149*i - 202*i = -1224353. Is i a multiple of 13?
True
Let t(o) = 14*o**3 + 2*o**2 - 2*o + 1. Let h = -16 - -24. Suppose h*f - f - 7 = 0. Does 15 divide t(f)?
True
Is 55 a factor of 16/(-136) + 209892/(-17)*(-28)/21?
False
Let q(c) be the third derivative of -c**5/60 - c**4/24 + 3*c**3/2 + 23*c**2. Let r be q(0). Suppose -3*t - r*t = -1044. Does 9 divide t?
False
Let z be ((-1280)/(-2 - -7))/(-2). Suppose 44 + z = -2*v. Let g = v + 146. Does 20 divide g?
True
Let s(y) be the third derivative of y**8/20160 + y**7/360 - y**6/72 - y**5/30 - 20*y**2. Let g(b) be the third derivative of s(b). Does 17 divide g(-19)?
True
Let b(f) be the second derivative of f**3/3 + 15*f**2 - 10*f. Let a be b(-15). Suppose a = 5*l - 138 - 32. Does 15 divide l?
False
Let a = 53 + -51. Suppose -a*i - 5*v = -15, -i - 5*v + 3 = -2. Suppose 164 = i*x - 256. Does 21 divide x?
True
Let d = 33858 - 21922. Is d a multiple of 64?
False
Suppose 4*q - 13408 = -6*d + 2*d, -2*q - 3337 = -d. Is d a multiple of 11?
False
Is 353738/(-44)*(-36)/63 a multiple of 10?
False
Suppose -9*p + 11 = -34. Let u(i) = 9*i - 27. Is 3 a factor of u(p)?
True
Let s = 5951 - -15304. Is 39 a factor of s?
True
Let o(t) = -t**2 - 227*t - 832. Does 43 divide o(-100)?
True
Does 26 divide (-19527*60/(-45))/4?
False
Let o = 3085 + -1413. Is 15 a factor of o?
False
Is 45 a factor of (-57 - 53)*(-143)/2?
False
Let z = -8 + 16. Suppose 3*f - 10 = z. Suppose -2*o - 4*w - 548 = -f*o, -4*w = -3*o + 413. Is o a multiple of 22?
False
Let q be (2/8)/((-4)/(-144)). Suppose -q = -11*h + 8*h. Suppose 4*m = 0, -3*n + h*m + 47 + 22 = 0. Does 5 divide n?
False
Let n(m) = -m**2 - 125*m - 2931. Is n(-88) a multiple of 13?
True
Let b = 33634 - 11836. Is b a multiple of 15?
False
Suppose 958 = -5*h + 5*m - 797, -m = -4*h - 1398. Let y = 603 - h. Is 28 a factor of y?
True
Suppose -3*l = -5*y + 92 + 380, y - l = 96. Let a = y - 65. Suppose -3*s + 99 = -3*d, -2*s + a = d - 24. Is 7 a factor of s?
True
Let u(w) = -6 + 95*w + 0 - 94*w + 2. Let l be u(19). Suppose -42 = l*o - 18*o. Does 14 divide o?
True
Let i(u) = -u**2 - 167*u - 258. Is i(-30) a multiple of 18?
True
Suppose -4*g = -2*m + 26, 0 = -m - 5*g + g - 11. Suppose -y + 39 = d, -84 = -2*d + 6*y - m*y. Is 15 a factor of d?
False
Suppose 0 = -28*t + 31*t - 9. Is (35/(-30)*t + -1)*-34 a multiple of 8?
False
Let c be -3 - -3 - (-102)/(-3*1). Let m = c + 34. Suppose -f + 9*f - 608 = m. Is f a multiple of 17?
False
Suppose -22*j + 35988 = -53948. Does 10 divide j?
False
Let y be (-3)/12 + (-8469)/12. Let t = -476 - y. Let b = t + -90. Is b a multiple of 20?
True
Let c(r) = 7*r - 65. Let w be -3 + 95/35 - (-270)/14. Suppose 27 + w = 3*h - 5*j, 0 = 3*h + 2*j - 32. Is c(h) even?
False
Suppose -m = -4*f + 13501, 8*m - 6*m + 10117 = 3*f. Is 43 a factor of f?
False
Let z = -50 - -50. Suppose -2 = -v - z. Suppose q = 18 - v. Is q a multiple of 4?
True
Let n(g) = 2*g**2 + 4*g + 14. Suppose -7 = z - 18. Let v be n(z). Does 10 divide (8/5)/(8/v)?
True
Let f = -416 - -428. Suppose 0 = 3*h - f, -6*h + h = 4*q - 160. Is 7 a factor of q?
True
Does 7 divide ((-125)/(-3))/(1/117)?
False
Is 13 a factor of (11001/(-2))/(-3) + 136/(-272)?
True
Suppose -m + 5*u = 5, 5*m - 21 - 69 = 2*u. Does 3 divide (m/(-28))/(2/(-7))*32?
False
Suppose 40 = -13