t h be (-12)/12*(0 - 1). Let z be (h - 2) + (-23 - -14). Let f = 55 + z. Is 3 a factor of f?
True
Let t = -7464 - -12300. Is 32 a factor of (12 + t/(-91))/((-3)/28)?
True
Let y = 12735 + -8878. Does 9 divide -7 - y/(-7) - (5 + -1)?
True
Let s(z) = 16*z + 1010. Is s(36) a multiple of 13?
True
Let t(z) be the second derivative of 13*z**3/6 - 42*z**2 + 42*z. Does 31 divide t(21)?
False
Let d(k) = -k**3 - k**2 + 2*k - 7. Let u = -7 + 7. Suppose u = j + j - 3*b + 25, -4*b + 15 = j. Is 21 a factor of d(j)?
False
Let c(s) = -9*s - 43. Let j be c(-11). Suppose 0*w - p = -3*w + 203, w - j = -2*p. Is w even?
True
Suppose -j = 6*j - 35. Let c be -1 + ((-38)/6)/(j/(-90)). Let h = c - 54. Is h a multiple of 11?
False
Let q be 19 - (12 + -4) - (-1 - -7). Suppose -2*l = 5*z - 591, 3*l - q*z = -8*z + 891. Is 69 a factor of l?
False
Let h be 4 + (-30)/180 + (-3661)/(-6). Let k = -40 + h. Does 14 divide k?
True
Let q = -2413 + 5855. Does 29 divide q?
False
Let c(u) be the first derivative of u**3/3 + 9*u**2/2 - 4*u + 36. Is c(6) a multiple of 16?
False
Let v(t) = -33*t + 31. Let d = -193 - -188. Does 5 divide v(d)?
False
Suppose -s = 4*y + 126 - 4215, 0 = -2*s + 4*y + 8106. Does 6 divide s?
False
Suppose -2*w = -3*n - 61842 + 2097, -n - 119455 = -4*w. Is w a multiple of 24?
False
Let l(p) = -13*p - 62. Let g be l(-18). Let k = -112 + g. Does 20 divide 14172/k + 2/(-10)?
False
Is 32 a factor of (-14)/(196/(-42)) + 444 + 1?
True
Let h be 2/4 - (-54)/(-4). Let s = 17 + h. Does 31 divide (-1 + 2 - 32)*(-12)/s?
True
Suppose 107 - 2 = l. Suppose 5*k + 0*k = -l. Let f = 78 - k. Is 20 a factor of f?
False
Let b(x) be the third derivative of -25*x**4/2 - x**3 + 25*x**2. Is b(-1) a multiple of 25?
False
Suppose -2927*q + 3162*q - 18675215 = 0. Is q a multiple of 13?
True
Let q(x) be the first derivative of 53*x - 32 + 21/2*x**2 + 1/4*x**4 + 29/3*x**3. Is q(-28) a multiple of 49?
False
Let v = -900 + 923. Let m = 75 - v. Does 3 divide m?
False
Let r(m) = 441*m - 62. Let t be r(4). Is 14 a factor of t + (-9)/((-72)/32)?
False
Suppose -5*r = -2*s - 13 + 21, -5*r - 7 = -3*s. Does 9 divide (-6 + (-4 - -5) - 461)*s?
False
Suppose -4*q - 15 = -2*j + 19, -2*j + 31 = -q. Let w = j + -12. Suppose w = -2*r - 5, 0 = -2*m + r + 122. Does 13 divide m?
False
Let z = 208 + -198. Does 64 divide z + -6 - -466 - -5?
False
Suppose -9*z + 3936 = 23*z. Is 12 a factor of z?
False
Let g(u) = -705*u - 113. Let q be g(-3). Suppose 0 = -m - 505 + q. Does 71 divide m?
False
Suppose -v = -5*q + 2*v - 2045, -2*q + 3*v - 827 = 0. Let u = q + 584. Is u a multiple of 17?
False
Let u = 167 - -120. Let o be u + 9/((-9)/4). Suppose 4*g = 3*x + o, 16 = 2*g + 3*x - 121. Is g a multiple of 14?
True
Let z = -1899 - -5520. Is 71 a factor of z?
True
Suppose 2*f = -5*c + 3016, 2269 = 4*c + 4*f - 151. Suppose 0*l = l + 2, 4*s - c = l. Does 11 divide s?
False
Suppose 42 = 4*b + 17*b. Suppose 0 = b*g + g - 735. Is 8 a factor of g?
False
Suppose -2*g = 6*g + 272. Suppose -4*z - 52 = 28. Let a = z - g. Is a a multiple of 7?
True
Let j = -122 + 126. Does 11 divide ((-22)/j)/(-5 - 269/(-54))?
True
Suppose -36*b = -9*b - 25569. Suppose -2*l + b = 37*f - 36*f, -f = 3*l - 1419. Does 59 divide l?
True
Let y be (0/(-1) - 127)*-1. Let d be -46 - (-6)/(-7)*(-280)/(-120). Let r = d + y. Is r a multiple of 14?
False
Suppose 34*d + 58*d - 329728 = 0. Is 9 a factor of d?
False
Let y = 375 - 372. Suppose 0 = y*t + 2*m - 1669, -8*t + 4*t = -4*m - 2252. Does 14 divide t?
False
Let a = 6457 - -2290. Does 35 divide a?
False
Suppose -22*d = -800 + 30. Does 12 divide (8592/(-28))/((-10)/d) + 6?
True
Suppose 93 = 4*z + x, 7*x - 8*x = 3. Is (-1872)/(-14)*112/z a multiple of 15?
False
Is (4634 - 133)*(-48)/(-49) - (-12)/14 a multiple of 7?
True
Suppose -11*o + 75 = -13. Let d(a) = -a**3 + 9*a**2 - 17*a - 1. Let x be d(o). Let g = x + 129. Does 15 divide g?
False
Suppose d - 3*x - 8 = 0, 0*x + 2 = 4*d + 3*x. Let t be (7 + 333/(-36))*4/(-3). Suppose -201 = -4*v + 3*z, -t*v + z + 51 = -d*v. Does 4 divide v?
True
Suppose 2*y - 6*y = u - 2872, 5*u - 14335 = 5*y. Is u a multiple of 11?
False
Let x = -663 - -3840. Suppose 12 = 3*n - x. Is 46 a factor of n?
False
Let j(p) = -21*p - 41. Suppose 3 = -7*v + 136. Let z be j(v). Let k = z - -696. Is 32 a factor of k?
True
Let d = -288 - -336. Suppose -42*w = -d*w + 1518. Is w a multiple of 10?
False
Let i(n) = -2*n + 19. Let p be i(9). Let a = p - -2. Suppose -2*b + 0*j = -j - 102, -2*b = a*j - 94. Is b a multiple of 24?
False
Let k be 644/8 + 1 + 12/(-8). Suppose -8*x + k - 16 = 0. Suppose -x*r - r + 2385 = 0. Is 55 a factor of r?
False
Let n = 19335 + -10358. Is 27 a factor of n?
False
Is (58/(-551) - 112/19) + 483 a multiple of 3?
True
Suppose -2*c + 28 = 2*g, -3*g - 2*g = -3*c + 74. Suppose 444 + c = 7*i. Does 7 divide i?
False
Let v = 2359 + -1688. Does 15 divide v?
False
Let k be 2/(-16) + 17/8. Is (3 - k)/(-2 + 562/280) a multiple of 35?
True
Suppose 3847 = 3*a - u, 4*a - 49*u = -44*u + 5144. Does 8 divide a?
False
Suppose -3*v = -j + 43677, 174589 = 4*j - 38*v + 43*v. Does 34 divide j?
True
Suppose 231 = 17*h - 24. Suppose 13*z - h*z + 428 = 0. Does 26 divide z?
False
Suppose -89*r + 518491 = -54046. Is 25 a factor of r?
False
Let a(u) = u**3 + 5*u**2 - 2*u - 5. Let g be a(-3). Let s(n) = -3*n**3 + 57*n**2 + 4*n - 4. Is s(g) a multiple of 4?
True
Suppose 847*k - 21954875 = -78*k. Does 13 divide k?
False
Let j be ((-4)/10)/((-6)/(-330)). Let p(n) be the second derivative of n**5/20 + 23*n**4/12 + 19*n**3/6 - 11*n**2/2 - 24*n. Does 7 divide p(j)?
False
Is (-10780)/(-22)*(-4 - (-5 + -97)) a multiple of 8?
False
Let f(j) = -85*j + 67. Let o be f(18). Let v = -993 - o. Is v a multiple of 17?
False
Suppose 241 = 4*h + 85. Suppose -3*i - 73 = -2*g, 0*i + 3*g = -i - h. Let m = 57 + i. Is 4 a factor of m?
False
Let m = 29582 + -20825. Is m a multiple of 28?
False
Suppose -12*k + 6184 = -5156. Suppose -12*r + 3*r + k = 0. Is 23 a factor of r?
False
Suppose -20*p + 6*p + 3500 = 0. Let l be 4/((-20)/(-12) - 1). Suppose -p = t - l*t. Does 10 divide t?
True
Let j(r) = r**2 - 40*r + 265. Is 9 a factor of j(32)?
True
Suppose 11*x - 17*x + 4614 = 0. Suppose -827 - x = -19*s. Does 28 divide s?
True
Suppose k = -2*c - 0*c + 7678, 4*k + 3848 = c. Suppose 7*i - c = -8*i. Is 16 a factor of i?
True
Let z = -25 + 28. Suppose 83 + 50 = 2*q + z*l, l = 5*q - 290. Does 5 divide q?
False
Let t(o) = 142*o**2 - 37*o + 1. Let p be t(6). Suppose 57*y - 52*y + p = 4*d, -2*d + 4*y + 2450 = 0. Does 53 divide d?
True
Suppose -74 = -4*v - 66. Suppose 0 = -5*j - b + 47, 2*j - v*b - 21 = -7. Let g = j + 12. Does 21 divide g?
True
Let u(t) = 131*t**3 + 3*t**2 - 2*t + 1. Let p = 134 + -114. Let k be (1 - 0)*p/20. Is 19 a factor of u(k)?
True
Let k(g) = g**2 - 31*g - 48. Let m be k(32). Let u(a) = 2*a**2 + 26*a - 66. Does 10 divide u(m)?
True
Suppose -a + 4911 = 12*q - 15*q, 5*a + 3*q = 24465. Is 32 a factor of a?
True
Is 17 a factor of 7090/4*((-72)/102)/(380/(-646))?
False
Suppose 23*d = 138156 - 6527. Does 74 divide d?
False
Suppose 4*o - 37*g = -34*g + 17368, 3*o + 3*g = 13047. Is o a multiple of 55?
True
Suppose 0 = 2*z + 5*t + 12, 8 = 2*z - 9*t + 4*t. Does 19 divide (-8)/(-20) - (999/(-15) - z)?
False
Let t = -112 - -118. Let r be 340/t - (-24)/(-36). Does 13 divide (-1*(-912)/r)/((-1)/(-7))?
False
Let b(o) = -o - 1. Let m be b(-8). Suppose -4*r + m - 27 = 0. Let u(h) = -h**3 - 5*h**2 - h - 1. Does 4 divide u(r)?
True
Suppose 0 = -2*t + 3*b - 543, -4*b = t + 273 - 18. Is (-10)/(-6) + -2 - 43877/t a multiple of 3?
False
Let a = -94 - -121. Let x(r) = r**2 - 26*r - 4. Does 23 divide x(a)?
True
Let l(b) = b + 11. Let q be l(-3). Let z be ((-370)/q)/((-1)/(-4)). Let p = z + 270. Is p a multiple of 25?
False
Let u(v) = -4*v + 145. Let i(o) = -o**3 - 20*o**2 + 4*o + 64. Let a be i(-20). Is u(a) a multiple of 19?
True
Let k = 135 - 135. Suppose k = -10*n + 6641 + 4079. Is n a multiple of 25?
False
Suppose -20*f - 25*f = -16110. Is 2 a factor of f?
True
Suppose -20759 = -3*x - 2*n - 5415, -5104 = -x - 6*n. Is 17 a factor of x?
False
Is 227 a factor of 4/((-4)/(-15663))*(0 - 4)/(-4)?
True
Suppose 3*y - 32 = -32. Suppose -5*n - 4*j + 613 = y, 2*j = -14*n + 18*n - 506. Is n a multiple of 4?
False
Suppose -7 - 1 = -2*i + 2*m, 4*m = i - 1.