s 62 a factor of t?
False
Is ((-4)/(-12))/(((-102)/(-96156))/17) a multiple of 14?
False
Suppose -n - 38 = -2*s - 5*n, 34 = s + 5*n. Suppose -d - 18 = -3*w + s, -2*d - 2*w - 86 = 0. Let a = d - -91. Is a a multiple of 13?
True
Suppose 0 = 12*f - 36 - 24. Suppose -g - 16*h + 150 = -15*h, -f*g + 718 = -3*h. Does 52 divide g?
False
Let y be 1*(-96)/128*(-16)/3. Suppose 0 = 4*m - 2*k + k - 13, m - 3*k - 6 = 0. Suppose -6 - 2 = -m*i + 2*t, -y*i = -5*t + 1. Is 2 a factor of i?
True
Suppose -22*c + 20*c = 2*s - 54, -5*c = 2*s - 42. Suppose s*g = 18073 - 682. Is g a multiple of 11?
True
Suppose l + 3*g + 9 = 0, -4*g - 16 = -2*l + 6. Suppose 0 = l*i - 305 - 238. Is i a multiple of 13?
False
Let h = 96 + -346. Let m = -62 - h. Suppose 3*y + 3*o = 306, -o = 2*y - 3*o - m. Does 14 divide y?
True
Let g be (1 - 2)*3/((-9)/12). Suppose 17 = 3*m + 5*d - d, -g*m + 5*d + 33 = 0. Is 19 a factor of m/((-49)/(-126)) + (-2)/(-1)?
False
Let n = 1826 + -858. Is n a multiple of 28?
False
Let m(g) = -3*g**3 - 5*g**2 - 5*g. Let v be m(-3). Does 2 divide (-4)/6 + 1411/v?
False
Suppose -2*q - 3*u = u - 2780, -2805 = -2*q + u. Is q a multiple of 4?
True
Suppose 10*s - 16 = 6*s. Let g be 1/s + 727/4. Suppose -9*b + g = -7*b. Is b a multiple of 7?
True
Let p = -152 - -145. Let l(t) = -2*t**3 + 2*t**2 - 17*t - 78. Is l(p) a multiple of 15?
True
Let k(u) = 993*u - 511. Is k(7) a multiple of 70?
True
Suppose 171*d + 21158 = 436688. Does 6 divide d?
True
Suppose y = -4*d + 3427, -3*y + 4 = -5. Let n = d + -602. Let f = 444 - n. Is 46 a factor of f?
False
Let p(r) = r**3 + 10*r**2 + 22. Suppose 0 = -4*b - 16, 4*o + 3 = b + 15. Let v be (-18)/(-8)*o*(-1 - 1). Does 21 divide p(v)?
False
Let m = -19971 + 33815. Suppose 21*z - 13372 = m. Is 48 a factor of z?
True
Let o be (255/(-20) - -14)*(4 - 0). Does 6 divide 47 + 6*o/30?
True
Let y(p) be the first derivative of 12*p**2 + 11*p + 18. Is 11 a factor of y(11)?
True
Suppose 32 = -527*b + 543*b. Suppose 4*q - 8*q + 728 = 0. Suppose 0*a = b*a - q. Is 10 a factor of a?
False
Let m be (-1 + 1 - 1) + (-26 - -30). Suppose -m*t + 8 = -4*h, -3 = 4*t + 4*h + 5. Suppose -s + t*s - j = -199, 5 = 5*j. Is s a multiple of 33?
True
Suppose 3*p + 2230 = y, 6*p - 4*p + 6655 = 3*y. Does 18 divide y?
False
Let f(i) = 2*i**3 + 12*i**2 + 8*i - 6. Let c be f(-5). Suppose -x + 0*x = -3*k - 75, 0 = 4*k + c. Does 9 divide x?
True
Let i(y) = y**3 + 4*y**2 - 5*y. Let d be i(-5). Suppose 3*x = -5*j + 124, 0 = 4*x - 12 - d. Suppose 0 = k + j - 110. Is 29 a factor of k?
True
Suppose -3*k + 18 = -27. Suppose 2*g + 112 = 2*o - 26, 2*o + 5*g = 124. Let y = o - k. Is y a multiple of 11?
False
Let c(f) = 18 + 9*f + 0*f**2 + f**2 - 4 + 6. Let k be c(-9). Suppose 23*v = k*v + 378. Is v a multiple of 21?
True
Suppose -60*w = -30*w - 127650. Is w a multiple of 91?
False
Let o be 10472/(-77)*1/(-4). Suppose 4*r = 81 + 371. Let j = o + r. Does 8 divide j?
False
Is (273 - 139)/((-2)/(-354)) a multiple of 201?
True
Suppose v - 887 = -0*v - n, -5*v + 4423 = 2*n. Let a = v + -469. Does 18 divide a?
True
Let x(j) = -9*j**2 - 1097*j - 81. Is 12 a factor of x(-38)?
False
Let r(l) = -3*l - 26. Let j be r(-10). Suppose -j = 3*p - p. Is 17 a factor of (34*(-12)/(-30))/(p/(-5))?
True
Let n = 2947 + 5498. Does 15 divide n?
True
Let g = 2244 - -5669. Is g a multiple of 81?
False
Let o = -53414 - -88754. Is 57 a factor of o?
True
Let k(t) = t**3 + 9*t**2 - 18*t - 15. Let q be k(-10). Suppose -71*w + q*w = -1902. Does 19 divide w?
False
Suppose 68*h = -25*h + 44733. Is 3 a factor of h?
False
Suppose -8*o + 8 = -4*o - 2*z, 2*z = 0. Suppose o*b + 2 = 18. Suppose -4*h = 2*a + a - 72, a - b = 4*h. Is a a multiple of 10?
True
Does 167 divide -1 + 9 - (-363)/((-5 + 13)/136)?
True
Let z be -10 + 6 + (1*2)/(-1). Let b(o) = o**2 + 6*o + 5. Let q be b(z). Suppose 5*n - 2*a + a = 217, 5*n = q*a + 205. Is 11 a factor of n?
True
Suppose -74*b + 62*b + 4476 = 0. Let g be (-4849)/(-9) + 4/18. Let y = g - b. Does 22 divide y?
False
Let l(z) = z**3 - 21*z**2 - 11*z + 504. Let t be l(20). Suppose 2*y = -5*i - 382, 3*i - 5*i + 354 = -2*y. Let g = t - y. Does 12 divide g?
False
Suppose 113 = -2*t - 3*v, -v + 40 = -t + 3*v. Let r = 50 + t. Is (-4089)/(-21) - r/(-21)*-3 a multiple of 10?
False
Let w be (-108)/(-10) + 3 + 14/(-5). Suppose 0 = -13*q + 271 - w. Suppose 140 = q*c - 16*c. Is c a multiple of 7?
True
Is ((-14)/(-22))/((-588)/(-4857468)) a multiple of 7?
True
Let g(w) = -4*w + 8. Let u(t) = 9*t**2 + t + 1. Let j be u(-1). Let d be g(j). Does 2 divide (1728/d)/(-4) + (-3)/7?
False
Let r(u) = u**3 - 13*u**2 + 14*u - 6. Suppose -7*o + 15 = -41. Let b(m) = -5*m + 52. Let y be b(o). Is r(y) a multiple of 9?
True
Suppose -79 = -14*t - 9. Does 44 divide 4 + 72/(-20) - (-658)/t?
True
Suppose 4 = u, -27*c + 24*c = 5*u - 548. Is c a multiple of 4?
True
Suppose -30 - 25 = -11*z. Suppose g = -z, -r + 0*g = 2*g + 1. Let b = r - -27. Is 18 a factor of b?
True
Let l = -38055 - -61939. Is l a multiple of 137?
False
Let u be (-16)/(-8)*117/6. Let y = u + -21. Is 77/4 + y/24 a multiple of 10?
True
Let a(p) = -124*p + 926. Is a(5) a multiple of 18?
True
Suppose 0 = 3*g - 14*t + 19*t - 6090, 0 = 3*g - 3*t - 6090. Is 14 a factor of g?
True
Suppose -457*m = -456*m + 3*u - 39752, -2*m = 2*u - 79468. Is 19 a factor of m?
False
Let q(m) be the first derivative of m**3 - 5*m**2 - 2*m + 62. Is 2 a factor of q(7)?
False
Suppose -3*f - 16251 = -2*o - 2579, -4*f = -2*o + 13670. Does 97 divide o?
False
Let d = -554 - -1242. Let t be 238/51 - (-10)/(-15). Suppose -d = -4*g + t*y, 5*y = -g + 7*y + 176. Is 8 a factor of g?
True
Let m(g) = -g**3 + 6*g**2 - 4*g. Let j be m(5). Suppose -x + 102 = j*b - 2*b, -5*x + 530 = -5*b. Suppose 7*z - 2*z - x = 0. Is z a multiple of 5?
False
Suppose -69*k - q = -74*k + 34341, 0 = -2*q - 12. Is 113 a factor of k?
False
Suppose 5*q = f + 15, 5*q - 3*f = -3 + 8. Suppose 3*y = -2*j - 441 - 109, 2*y = -q*j - 356. Let b = -124 - y. Does 21 divide b?
False
Let t(v) = -3*v + 2. Let z be t(0). Let a(h) = -5*h + 31. Let b be a(10). Does 8 divide (b/z)/(7/(-42))?
False
Let a = -46 - -46. Suppose a = -2*o + 5*b + 286, -439 = -6*o + 3*o + 5*b. Is o a multiple of 8?
False
Let t(j) = -j**2 + 91*j + 3582. Is t(0) a multiple of 6?
True
Let i = -455 + 459. Suppose -k + i*a + 168 = 0, -2*a = 7*k - 5*k - 306. Is k a multiple of 12?
True
Suppose 0 = -4*a + 2*h + 14112, 35*a - 36*a + 3528 = -3*h. Does 36 divide a?
True
Let n(a) = -21*a**3 + 447*a**2 + 3*a - 48. Is 13 a factor of n(20)?
False
Let k(s) = 11*s**3 - 2*s**2 + 2*s + 1. Let h be k(1). Let o(w) = 9*w**2 - 31*w - 5. Is o(h) a multiple of 35?
False
Let z be (-8)/(-8) - (2 - (2 - -9)). Let i be (-11)/(-3) - z/15. Suppose -d - i*m + 164 = 0, m = -3*d - 2*m + 486. Is d a multiple of 25?
False
Suppose -18*f + 6616 = -14*f - 5*g, -2*g = -5*f + 8253. Does 9 divide f?
False
Let o = 13563 - 8454. Does 39 divide o?
True
Let y(c) = c**2 - 31*c. Suppose -24 = 3*q + 2*g + 37, 3*q - 5*g = -68. Is y(q) a multiple of 28?
True
Let p = 1053 + -1048. Let y(s) = -7*s**3 + 9*s**2 - 7*s. Let q(z) = 8*z**3 - 10*z**2 + 8*z - 1. Let m(g) = -5*q(g) - 6*y(g). Is 16 a factor of m(p)?
False
Let t(k) = 180*k**2 + 6*k + 14. Let s be t(-2). Suppose s = 7*x - 818. Is 5 a factor of x?
True
Let r = 91 - 95. Let d = -7 + r. Is 14 a factor of ((-358)/8 + 0)/(d/44)?
False
Let z = -82 - -431. Let u = 523 - z. Does 58 divide u?
True
Let t = 308 + -228. Is 22 a factor of (t/(-6))/((-50)/825)?
True
Let i(v) = -5*v + 20*v + 3719*v**2 - 4*v**3 - 3720*v**2 + 44. Is 28 a factor of i(-4)?
True
Let y = 18042 + -282. Is 37 a factor of y?
True
Suppose -297 = -15*i - 18*i. Suppose -i*c = -1498 - 1949. Is 18 a factor of c?
False
Let f be 0 + 1 - (7 - 0)/7. Suppose 0 = -g - 4*j + j - 105, f = 5*g - 5*j + 465. Let d = 302 + g. Does 24 divide d?
False
Let z(u) = -u**2 - 26*u - 160. Let m be z(-8). Let l(k) = -13*k - 9. Let q be l(8). Let t = m - q. Does 11 divide t?
False
Let g = 7333 - -34. Does 17 divide g?
False
Let h(j) = 2*j**3 + 23*j**2 - 13*j - 12. Let m be h(-12). Suppose m = -25*u + 15*u + 2360. Does 21 divide u?
False
Is (5/2)/(118/1170796) a multiple of 41?
True
Let z = 49 + -31. Let n = z + -8. Is 10 a factor of 1/(5/(-148))*n/(-4)?
False
Let b(p) = -2*p**2 - 13*p - 3. Let o be b(-5). Let r = o - 9. I