 5?
False
Let q = 5260 - -18951. Is 95 a factor of q?
False
Suppose 244 = -9*f + 244. Suppose f = -12*w + 170 + 1714. Does 48 divide w?
False
Is -3 + (-166527)/(-3)*(-19)/(-57) a multiple of 25?
True
Suppose 1768459 + 2434927 = 187*i. Is 15 a factor of i?
False
Let x(v) = 11566*v - 3837. Is x(2) a multiple of 17?
True
Suppose -6*t + 30156 = 2*t - 34692. Does 21 divide t?
True
Let p(f) = -5*f**3 - 58*f**2 - 329*f + 35. Is p(-17) a multiple of 88?
False
Let o be (-2526)/(-9) + (-16)/24. Let i = -187 + o. Is i a multiple of 3?
True
Let p = 3538 - 3257. Is 13 a factor of p?
False
Let z(n) = -517*n - 11. Does 22 divide z(-7)?
True
Let j = 364 - -751. Suppose j - 3075 = -5*f. Suppose 5*t - f = 448. Is 24 a factor of t?
True
Let n(u) = u**2 + 4*u - 11. Let s be n(-7). Suppose s*v - 6*v = -312. Let c = v - -162. Is 12 a factor of c?
True
Let s(y) = y + 4. Let r be s(-1). Suppose 4*c = -20, -15 = -4*k - c - 0. Suppose 90 = 3*t - r*b, t - k*b - 11 = 3. Is 34 a factor of t?
True
Let f(b) = 2*b**3 + b**2 + 2*b - 2. Let z be f(1). Suppose 0 = q - 4*s - z, -4*s - 30 = -5*q + s. Is 20 a factor of (q/21)/(2/120)?
True
Suppose 7*n = 176 - 3788 + 52101. Does 49 divide n?
False
Let l(z) = 12*z**2 - 8*z + 6. Let f be l(2). Suppose -39 = f*y - 39*y. Is 9 a factor of y?
False
Let r = 121 - 121. Is (r + -182)/(5 - 11 - -5) a multiple of 21?
False
Is -5426*(2 - (-49)/(-14)) a multiple of 24?
False
Let m = -5263 - -8107. Is 12 a factor of m?
True
Let m be (-10)/85 - 35451/(-51). Suppose 4*i - m = -5*v, -i - v = -4*v - 195. Suppose -10*l = -13*l + i. Does 5 divide l?
True
Suppose -5*v + 223975 = -3*j + 8*j, -2*j + 5*v = -89625. Is 35 a factor of j?
True
Let z(c) = -13*c - 16. Let a be z(-5). Suppose 2*w + 2*x - 401 = -a, -4*w + 5*x = -713. Is w a multiple of 24?
False
Let s = 3195 + -1540. Suppose 12*f - 1309 - s = 0. Does 19 divide f?
True
Let c(r) be the first derivative of r**4/4 + 34*r**3/3 + 25*r**2/2 - 99*r - 49. Is c(-33) a multiple of 15?
True
Suppose -o + 4*i = -15, -3*o = -5*i - 4 - 6. Let c(x) = x**2 - x - 4. Does 13 divide c(o)?
True
Let j be 3/2 - 6/(-4). Suppose j*v - 4*w - 340 = 0, 60 = 2*v - w - 160. Suppose -3*a + v = -a. Is 27 a factor of a?
True
Is 3 - (-4)/3*(-13 - 29262/(-12)) a multiple of 24?
False
Suppose -g + 199 = h, -g - 226 = -h - 27. Suppose -81 - h = -8*l. Is 7 a factor of l?
True
Let p(w) = 5*w**2 - 20*w + 20. Let q be p(1). Is 27 a factor of -3*(q - -94)/(3/(-3))?
True
Let j(w) = 2*w**3 + 3*w**2 - 52*w + 269. Is j(14) a multiple of 41?
True
Let c(d) = -2*d**3 - 7*d**2 + 10*d. Let o be c(-7). Suppose 5*g + 27 = 3*w, -5*w + 134*g - 135*g = -73. Suppose o = 17*q - w*q. Is q a multiple of 38?
False
Suppose 4*u - 18186 = 2*g, -5*g - 4551 = -u - 9*g. Does 166 divide u?
False
Let j(m) = 8*m - 40. Let g be j(11). Let l = -41 + g. Is 23 a factor of (7 - (-3 + 9))*23*l?
True
Let l(f) = -1111*f - 2542. Is l(-8) even?
True
Suppose 0 = 26*g - 31*g. Let w(q) = q**3 - 2*q**2 - 6. Let a be w(g). Is 30 a factor of (a - -15)*40/6?
True
Let f(w) be the first derivative of w**4/4 - 10*w**3/3 + 12*w**2 + 9*w + 6. Does 7 divide f(7)?
False
Let y = 3630 + -241. Suppose 6*s - y - 355 = 0. Is 18 a factor of s?
False
Suppose 13*t + 129 = 10*t. Let o = t - -45. Suppose o*p + 40 = 258. Does 10 divide p?
False
Let t = 150 - 146. Let s be 72/(t - (-15 - -3)/(-4)). Suppose 7*n = 9*n - s. Does 2 divide n?
True
Let b(z) = 59*z + 95. Let q(r) = -r**2 + 21. Let c be q(-4). Is b(c) a multiple of 65?
True
Let u(f) be the third derivative of 0*f + 7/8*f**4 + 7/2*f**3 + 0 + 7*f**2. Is u(7) a multiple of 42?
True
Suppose 0 = -m - 2*m. Let f be m + 0 - 11*8. Is 22 a factor of -4*((-2)/2)/((-8)/f)?
True
Suppose 5*d - 2*x + 18 = 0, 16 = -2*d - 3*x + 5. Let f = 57 + d. Let z = 67 - f. Does 2 divide z?
True
Suppose 4*h - w = 183, -h - 3*h + 2*w + 182 = 0. Suppose -h*f + 47*f = 841. Suppose -5*k + f = -z - 0*z, -5*z = 5. Is 8 a factor of k?
True
Let v be -2631 - 0/(-5) - -5. Is (-18)/12*(-1 + v/6) a multiple of 44?
False
Let y(h) be the second derivative of h**5/20 + 7*h**4/2 - 10*h**3 - 81*h**2/2 - 11*h. Does 13 divide y(-43)?
True
Suppose 194710 = -206*o + 938164. Is o a multiple of 9?
True
Let p be 27/(-45) - 7959/(-15) - 2. Let o = -252 + p. Is o a multiple of 14?
False
Let o be ((-38)/(-6))/((-1)/(-6)). Let l(m) = 2*m**2 - 9*m - 82. Let x be l(11). Does 7 divide o/171 - x/(-9)?
True
Let k be (16/2 - 11)/((-1)/(-27)). Let f = k + 931. Is f a multiple of 9?
False
Let w be (3 - 11/2)*(5 + -3). Let l = 13 + w. Suppose g + h = 73, 4*g - h + 283 = l*g. Is 10 a factor of g?
True
Suppose 6*h = 8*h - 84. Suppose 3*s + h - 373 = -5*r, -3*r = -3*s - 189. Let m = r + -5. Is 15 a factor of m?
True
Suppose -3*x + 1 = u - 7, 5*x = -u + 10. Let y(t) = t**3 - 6*t**2 + 6*t - 3. Let b be y(u). Suppose -b*w + 93 = 25. Is w a multiple of 17?
True
Let i(g) = -g**2 - 15*g + 63. Let z be i(6). Let k = -3 - z. Is 6 a factor of k?
True
Let g = -674 - -637. Is 41 a factor of 5*167 + 185/g?
False
Suppose 80*l - 118*l + 73112 = 0. Does 27 divide l?
False
Suppose -387*p + 6776 = -383*p. Suppose 2*x - p = 544. Does 32 divide x?
False
Suppose 2*c + 13 = -3. Let h = 18 - 1376. Does 30 divide h/c - 2/8*-1?
False
Let m(p) = -p**2 - 26*p - 31. Suppose 2*f = 4*f, 0 = -q - 3*f + 61. Suppose -93 - q = 7*v. Does 20 divide m(v)?
False
Suppose p - 453 - 1030 = -g, -4*p + 5967 = -3*g. Is p a multiple of 3?
True
Let z(o) = o**3 - 13*o**2 + 8*o + 16. Let y(a) = -a**2 - 1. Let g(b) = 2*y(b) - z(b). Does 18 divide g(9)?
True
Let f(a) = -3*a**2 + 2*a + 20. Let c(m) = -m + 1. Let w(q) = -5*c(q) - f(q). Let p = -29 - -21. Is 11 a factor of w(p)?
True
Suppose 6*c = 9*c - 6. Let w(z) = 4*z**2 - 7*z. Let o be w(c). Suppose -4*j + 2*n + 810 = 0, o*j + n - 620 = -j. Is j a multiple of 13?
False
Let n(p) = 76*p**2 - 47*p + 40. Is 15 a factor of n(-9)?
False
Suppose 7*z - 2*x - 3 = 6*z, z = 3*x + 7. Is -4*(-8)/((-5)/z) a multiple of 8?
True
Suppose 54*j + 2212 = 47*j. Let d = 56 - j. Is d a multiple of 6?
True
Does 12 divide (-62970)/9*(1/(-3))/((-65)/(-234))?
False
Let x(b) = 5*b + 42. Let q be x(-6). Suppose -9 - q = 7*j. Is j + 0 - (-178 - 5) a multiple of 36?
True
Let q = -517 - -527. Is 10418/8 - 11*q/440 a multiple of 42?
True
Let m(s) = 2*s + 18. Let i be m(2). Does 36 divide ((-275)/i + 9)*1*-118?
False
Let k = 70 + -76. Let q be (((-80)/k)/2)/((-2)/(-6)). Suppose -q*v - 108 = -23*v. Does 36 divide v?
True
Let k(q) be the second derivative of q**3/2 - q**2/2 - 34*q. Let n be k(-9). Is 7 a factor of (n/3 - -6)*84/(-5)?
True
Let d be (-12)/(12/(-3))*1. Suppose 4*m + d*m - 28 = 0. Suppose 0 = -m*v - 9 + 49. Is 5 a factor of v?
True
Let w = 92 + -35. Suppose 135*h + 2351 + 4558 = -12*h. Let f = h + w. Is 10 a factor of f?
True
Is ((-3550)/1065)/(4/(-6138)) a multiple of 31?
True
Suppose 56 = -4*b + 92. Suppose -b = 4*h + 3. Does 3 divide -3 - (h - -7)*-11?
False
Is 7 a factor of ((-372)/(-651))/((-5)/((-4970)/4))?
False
Let c = 49 + -41. Let z be 151/2 + (-4)/c. Does 11 divide (-884)/(-10) - 30/z?
True
Suppose 0 = f + 5, -3*v - 5*f + 108 = -2. Suppose 4*u + v = 9*u. Is 11 a factor of (5*(-8)/(-6))/(3/u)?
False
Let m = -113 - -196. Let h = 84 - m. Is 2 + -5 + 36/(h - -1) a multiple of 11?
False
Let x = 44 + -38. Suppose q + x = 2*g, q - 5*g = 2*q - 1. Is 3 a factor of -18*(q/(-14) + 400/(-224))?
True
Let x be (2/(-1) + 0)/(20/60). Does 32 divide (4151/14)/(x/(-12))?
False
Let f be (-2 - (-1281)/8) + (-8)/64. Suppose f*c - 810 = 152*c. Is c a multiple of 5?
True
Let h(p) = 12*p + 5. Suppose -14 = -3*z + 1. Suppose -35 = -4*f - f - z*c, 2*f = -3*c + 11. Is 19 a factor of h(f)?
False
Let i(z) = 37*z - 679. Does 8 divide i(32)?
False
Let k(o) = -11*o + 86. Let c be k(8). Is 15 a factor of 196 + -5 + (-12)/c?
False
Let x = -7 + 34. Suppose -3*d = -3*v + 33 - 18, -2*v = 2*d - 14. Does 4 divide 242/v + (-36)/x?
False
Suppose 161861 = -15*w + 545096. Is w a multiple of 153?
False
Suppose 3*g - 12923 = 5*k, -5*g + 21858 = 3*k + 263. Let o be (-2)/5 - (-5)/((-50)/g). Is 4 + 7/((-28)/o) - -2 a multiple of 19?
True
Let c be (1 - -2 - 2)*2. Suppose 7*w = c*w + 1060. Suppose -5*z + 48 = -w. Is z a multiple of 27?
False
Suppose 0 = 5*c - 2*z - 10462 - 9580, -2*c = 3*z - 8032. Does 28 divide c?
False
Let s = -54 - -55. Does 50 divide 12*(s +