 15?
True
Suppose 6*x = -3*x. Suppose x*r = -4*r - 80. Is ((-28)/r)/7*85 a multiple of 11?
False
Does 12 divide 37186/7 + 16*31/(-1736)?
False
Let d = -1796 + 3980. Is 21 a factor of d?
True
Suppose 3*u = -20*u + 70886. Let c = -2191 + u. Does 27 divide c?
True
Let w(n) = 28*n + 8. Let h(l) = -l. Let t(p) = -10*h(p) - w(p). Let o = 368 - 372. Is 8 a factor of t(o)?
True
Let y be (-4)/(16/3) + (-50)/8. Let r(u) = -6*u - 17. Let w be r(y). Let b = 46 - w. Is 18 a factor of b?
False
Suppose -3*b = -5*h - 6, 5*b - 2*h = -6*h + 47. Suppose -3 - b = -p. Suppose p*c = 8*c + 230. Does 23 divide c?
True
Let t(y) = -y**3 - 11*y**2 - 24*y + 1. Let i be t(-10). Let f = 167 + i. Is f a multiple of 68?
False
Let d be (-2 - 1) + 1 + 7. Suppose 4*t - 5*m - 81 = -2*m, 5*t + 4*m - 109 = 0. Suppose t - 471 = -d*q. Does 18 divide q?
True
Let t(b) = -17*b - 183. Let o be t(-11). Suppose 6314 = o*r + 3*r. Does 12 divide r?
False
Suppose -b - 5 = 0, -g - 4*b = -2*b + 8. Let l be g*((-2)/8 - 5/20). Is 18*(1 + -2)/(3/l) a multiple of 2?
True
Let r(f) = f**3 + 9*f**2 + 12*f + 37. Let h be r(-8). Suppose -5*t + 20 = 0, h*v = v + 3*t + 2052. Does 12 divide v?
True
Is ((-1020)/(-425))/((-3)/(-5))*1592 a multiple of 199?
True
Suppose 8*u - 5633 = -1673. Does 55 divide u?
True
Let p(n) = 83*n**3 - 9*n**2 + 44*n - 28. Is 8 a factor of p(4)?
False
Let p(w) = -2715*w + 775. Is p(-14) a multiple of 17?
False
Suppose -2*y - 2 = 6, -3*z = -2*y - 20. Suppose -3*p = -z*m - 194, 4*m = p - 33 - 45. Does 15 divide p?
False
Let q(n) = -n**3 - 8*n**2 + 132*n + 62. Is q(-24) a multiple of 13?
True
Suppose 67*g + 351500 = 143*g. Does 26 divide g?
False
Let d(v) = v**2 - 2*v - 1567. Does 8 divide d(41)?
True
Suppose 20 = -3*k + 5*o, -2*o = -k - 7 - 1. Suppose -3*x + 483 = -3*q, -4*x = 3*q - k*x + 511. Let i = 259 + q. Does 9 divide i?
False
Let v(g) = -g**3 - 4*g**2 - 5*g + 3. Let u be v(-3). Suppose 3*p - u*p + 852 = 0. Let y = p + -77. Is y a multiple of 13?
True
Let q(n) = n**3 - 12*n**2 + 64*n + 116. Does 26 divide q(29)?
False
Let f(v) = -5*v + 45. Let a be f(8). Suppose -61 = -a*d + 889. Does 10 divide d?
True
Let p = -5101 + 9169. Is p a multiple of 29?
False
Let b be 200/(-30)*(-4 - -1). Suppose -48 = b*w - 22*w. Is w a multiple of 11?
False
Let f be -5*(-2 + 36/30). Suppose 2*x - 40 = -f*s + 66, 2*s + 3*x - 59 = 0. Suppose 516 = -s*z + 29*z. Does 7 divide z?
False
Is 4 a factor of 98648/32 + (4 - 77/28)?
True
Let n(t) = -t**3 - 11*t**2 - 7*t + 26. Let o be n(-10). Let g be (1/o)/(1/(-12)). Is 9 a factor of g - (-33)/(-12) - 87/(-4)?
False
Suppose 4*o - 4*j = 440, -o + j + 106 = -4*j. Let z(c) = 5*c**3 - 3*c + 1. Let n be z(1). Suppose -3*q + o = n*i, -2*i + 48 + 23 = q. Does 17 divide i?
True
Suppose -20*b - 34*b - 390420 = -81*b. Is 17 a factor of b?
False
Suppose 10*f + 57 = 9*f. Let h = -55 - f. Suppose -k + 6 = h*k, y + 4*k - 304 = 0. Is y a multiple of 13?
False
Suppose -218*u = -253*u + 56560. Is u a multiple of 8?
True
Suppose 196283 = 3*v + 40415. Is v/62 + (-5 - -1)/(-2) a multiple of 56?
True
Suppose 0 = -4*p + 24, -11*k = -10*k - p - 9955. Is k a multiple of 19?
False
Let k = -208 + 171. Suppose s = -s + 98. Let j = s + k. Does 12 divide j?
True
Let l = -4 - -8. Suppose -l*v = -9*v - 85. Let h(r) = -r**3 - 17*r**2 - 16*r - 17. Does 44 divide h(v)?
False
Let x(c) = c**2 - 1. Let m(f) = 5*f**2 + 19*f + 38. Let v(w) = m(w) - 6*x(w). Let n be v(19). Is 19 a factor of 3355/n + (-1)/4?
True
Suppose -83*t + 712146 = 275732. Does 11 divide t?
True
Let k(c) = c**3 - 14*c**2 - c + 32. Let m(u) = 6*u + 98. Let x be m(-14). Does 2 divide k(x)?
True
Let w = 183 + -180. Suppose -5*u - w*c = -3*u - 713, 4*u = 2*c + 1466. Does 28 divide u?
True
Suppose 93*z + 1630048 = 391*z - 1606232. Does 11 divide z?
False
Let u = -55 - -92. Suppose -40*h + u*h = -18. Suppose 2*s - 161 = -3*t, -2*t + h*t = -2*s + 156. Is 11 a factor of s?
True
Let r(s) = -15*s**2 + 1185*s + 642. Let b(k) = k**2 - 74*k - 40. Let a(l) = 33*b(l) + 2*r(l). Is 13 a factor of a(25)?
True
Suppose 1137*o + 5759568 = 1278*o. Is o a multiple of 24?
True
Let f(q) = -q**3 - 6*q**2 - 8*q + 4. Let j be f(-4). Suppose -27 + 19 = -j*p. Suppose 2*z + 87 = 3*z + p*v, 4*v + 166 = 2*z. Is 17 a factor of z?
True
Suppose 4*r = -5*d + 55, 11 = -2*d + 7*r - 2*r. Suppose 9*q - d*q = 1760. Is 20 a factor of q?
True
Suppose 16*m + 2610 = 6*m. Let w = 276 + m. Is w a multiple of 5?
True
Suppose -17*v = -8*v - 28*v + 38209. Is v a multiple of 78?
False
Let t(o) = -o**2 + 20*o + 69. Let a be t(22). Suppose -1449 + 249 = -a*f. Is f a multiple of 7?
False
Suppose 9 = 3*g, -l + 5*l = g + 669. Suppose 167 = 9*n + 140. Suppose 4*v + o + 0*o = 218, 3*v + n*o - l = 0. Is v a multiple of 32?
False
Let s(b) be the third derivative of b**5/60 - b**4/2 - 28*b**3 - 3*b**2 - 43. Does 24 divide s(-24)?
True
Is (-3 - 1233)/(21/(-70)) a multiple of 5?
True
Suppose -3*s - 12 = -s. Let u be 31 + (8/6)/(4/s). Let p = u + -11. Is 9 a factor of p?
True
Suppose -2*x + 36656 = -2*o - 5886, -4*o = 4*x - 85108. Does 39 divide x/55 + 3 + (-1)/(-5)?
True
Let u(f) = -14*f - 2. Let x be u(-1). Suppose x = 2*k + 3*y, 0 = 6*y - 2*y - 16. Suppose k = -0*d - 7*d + 455. Is 13 a factor of d?
True
Suppose -p + 1500 = -5*v - 9602, 3*v = 3*p - 33378. Is 205 a factor of p?
False
Let q = 1034 - 315. Let t = q - 435. Is t a multiple of 21?
False
Is 5 a factor of (-6)/(-9)*(348/(-203))/(2/(-4431))?
False
Is 34 a factor of 16 - 1476/90 - 404028/(-20)?
False
Suppose -3*a = -2*j + 1074, -590 + 46 = -j - 2*a. Is j a multiple of 9?
True
Suppose h - 2*p = p + 13, 0 = h - 5*p - 17. Suppose 2*f + m + 8 = h*f, 5*f + 5*m - 20 = 0. Suppose f*k + 168 = 10*k. Is 14 a factor of k?
False
Suppose -q = 2*m - 0*q - 6, -4*m + 12 = 4*q. Suppose 2*b = -4, 3*r - m*b - 141 - 480 = 0. Is 10 a factor of r?
False
Suppose 9*h - 114423 = -3*a, 2*h + 180*a - 25444 = 176*a. Is h a multiple of 28?
True
Let o be (-3208)/(-3)*(-336)/(-448). Suppose -r + 2452 - o = 0. Does 75 divide r?
True
Let u(t) = -t**3 - 9*t**2 - 8*t + 73. Let s be u(-13). Suppose -s = -117*r + 114*r + 5*j, 4*j = -3*r + 862. Does 11 divide r?
True
Suppose 316*v = 286*v + 174150. Does 215 divide v?
True
Let l(m) = -15*m - 7. Let u(b) = 7*b - 88. Let a(p) = 2*p - 29. Let o(n) = -8*a(n) + 3*u(n). Let x be o(6). Does 5 divide l(x)?
False
Let v be 0 - -2 - 1 - 0. Let q be ((-1239)/(-6))/7 + 2/4. Let b = q + v. Does 15 divide b?
False
Let o = 992 + -978. Let a = 4 - 4. Suppose a = -o*m + 9*m + 390. Does 13 divide m?
True
Suppose 5*s - 15 = 5*k, 2*s - 7*s + 13 = -3*k. Let x(o) = -o**2 + o + 5. Let t be x(s). Suppose 137 = t*l + h, -47 = l - 2*l - h. Is l a multiple of 9?
True
Suppose 18923 = -68*y + 49413 + 142774. Is y a multiple of 26?
True
Let o(a) = 3*a + 39. Let z(u) = -2*u - 26. Let g(w) = 5*o(w) + 7*z(w). Let t be g(-9). Suppose t*n = -8, 5*k - k - 78 = 5*n. Is k a multiple of 7?
False
Let y be ((-176)/(-40))/((-777)/(-390) + -2). Let p = y - -693. Does 11 divide p?
True
Let m be 625/125 + (-11 + 0)*1. Is (m/33 - 1846/11)*-2 a multiple of 19?
False
Let h(r) = -13*r + 13. Suppose -2*c + 3 = 4*a + 1, 0 = -2*a + 4. Does 26 divide h(c)?
True
Suppose -258 = -2*j + 3*t, t - 3*t = -5*j + 667. Suppose -5*f + 4*d + 415 = 0, -2*d - 197 = -4*f + j. Is 83 a factor of f?
True
Let t(g) = 4*g + 2*g**2 + 4 - 2*g + 80*g**3 - 3 - 4. Let j be (2/7*1)/(4/14). Does 27 divide t(j)?
True
Suppose 0 = -5*n - 5*k - 310, -3*n + 2*k + 0*k = 211. Does 6 divide -71 - n - -1*(-25)/(-1)?
False
Let t be ((-6)/10)/((-7)/35). Suppose t*z - 36 = -0*z. Suppose -z = 4*a, -133 + 26 = -2*c + a. Is 14 a factor of c?
False
Suppose -150 = -3*o + 3*m, -243 = -5*o + 5*m - 7*m. Does 7 divide 14910/o - 2/7?
False
Let s be (50/(-75))/((-5042)/2520 + 2). Let w = -440 + s. Does 80 divide w?
True
Let u be 13*4*(-520)/(-32). Let s = -301 + u. Is s a multiple of 34?
True
Suppose 4*o = 4*p + 106032, p = 4*o - 35671 - 70361. Is 188 a factor of o?
True
Let x(f) be the second derivative of -f**4/6 + 41*f**3/6 - 19*f**2/2 + 15*f. Let o be x(20). Suppose -o = s - 11. Is s a multiple of 10?
True
Let p be (12/(-6))/(-1) + (-1 - -67). Suppose -5*v = -p - 132. Does 3 divide v?
False
Let d(n) = 139*n**2 + 3*n - 4. Let x be d(-3). Let q = 465 - 123. Suppose q - x = -4*l. Is 32 a factor of l?
True
Suppose 2*