tiple of 15?
True
Suppose 2*c = -4*v - 569 + 1513, c + 4*v - 476 = 0. Suppose 4056 - c = 13*w. Is w a multiple of 23?
True
Let g(t) = t**2 + 24*t - 26. Let k be g(-25). Is 21 a factor of k + 7 + 2 + 251?
False
Suppose 0 = -9*d + 12*d - 6. Suppose 3*a - 444 = c - d*c, -5*a - 5*c = -750. Is a a multiple of 4?
False
Let d = 9528 - 9228. Is d a multiple of 26?
False
Suppose 2*f = 4*q - 22, -16*f + 12*f - 68 = 4*q. Let b = 21 - f. Does 9 divide b?
True
Let w = 279 - 291. Is 4 a factor of 7/(-2)*w/9*18?
True
Let n(s) = -6*s**2 - 23 - 8*s**2 - 10*s**2 + 23*s**2. Let b be n(7). Does 10 divide b/32*208/(-6) + -1?
False
Let w be -2*(3 + -7 - -2). Suppose 238 - 1542 = -w*v. Is v a multiple of 41?
False
Let u = -441 - -156. Is 21 a factor of u*((-28)/35 - 2)?
True
Suppose -13*d = -2*b - 11*d + 2316, 0 = 4*d + 24. Is 9 a factor of b?
True
Let d = 521 + -521. Let m be (-2)/(-5) + 4946/10. Suppose 3*s + 0*s - m = d. Does 33 divide s?
True
Suppose 7*f = -93 + 114. Suppose f*a + 924 = 14*a. Does 4 divide a?
True
Let o = -673 + 3869. Is o a multiple of 23?
False
Suppose -4*m + j - 65 = 0, -2*m - 25 = -5*j + 30. Let y(i) = -6 + 3*i**2 + 3*i + 7*i - 2*i**2 - 29. Does 8 divide y(m)?
True
Suppose 2*y + 3762 = 2*d, 0 = 133*d - 130*d + 4*y - 5615. Does 76 divide d?
False
Let q = -18849 - -23061. Is q a multiple of 13?
True
Let v(o) = -o**3 - 10*o**2 - 2*o - 17. Let z be v(-10). Suppose 115 = z*m - 5*a, 2*m - 34 - 42 = 3*a. Is m a multiple of 7?
True
Let n be 8/10*10/2. Let m(i) = i**3 + 8*i**2 + 14. Let l(a) = 2*a**3 + 23*a**2 - a + 39. Let g(w) = -4*l(w) + 11*m(w). Is 32 a factor of g(n)?
False
Let o = -1128 + 1627. Let c = -296 + o. Does 62 divide c?
False
Let q(k) be the third derivative of -k**7/1008 + k**6/90 - k**5/60 + 6*k**2. Let z(w) be the third derivative of q(w). Is 5 a factor of z(-6)?
False
Let q be ((-1)/5)/(9/(-45)). Suppose 0 = 3*y - 812 - q. Let h = y + -180. Is h a multiple of 13?
True
Let z(h) = -4*h - 37. Let a be z(-11). Suppose 1563 = 5*w - o, 0 = a*w - 11*w + o + 1250. Is w a multiple of 14?
False
Let g(j) be the first derivative of 27*j - j**2 + 2/3*j**3 + 26. Does 19 divide g(-11)?
False
Let y = 352 + -160. Suppose -45*m = -46*m + y. Is m a multiple of 12?
True
Suppose -1858525 = -178*x + 280145. Is 21 a factor of x?
False
Let v be (-2)/(-8) - 25/4. Let u = v + 6. Suppose -84 = -w - u*w. Is w a multiple of 14?
True
Suppose 5*q = 41 - 16. Suppose -q*z + w + 1534 = 0, -5*z + 638 = -2*w - 900. Is 51 a factor of z?
True
Let z be ((-28)/(56/(-8)))/((-1)/(-283)). Suppose 53*i - z = 49*i. Is i a multiple of 17?
False
Suppose -163*u - 327500 = -213*u. Is 50 a factor of u?
True
Let r = 15346 + -8758. Is r a multiple of 108?
True
Suppose -16 = -z + 2*f, -4*z + f + 52 = 5*f. Let c(s) = -s + 18 + 21 + 11 - z. Is 3 a factor of c(12)?
True
Let v be 7/42 + 85821/18. Suppose -78*h + v = -70*h. Is 32 a factor of h?
False
Let d(h) = 4*h**2 - 5*h + 12. Let f be d(4). Is (2127/(-21))/(-1) - 16/f a multiple of 27?
False
Suppose 3*w = 4*w - 3*w. Suppose 5*g = 2*t - 73 + 2091, w = 3*g - t - 1210. Does 36 divide g?
False
Suppose 58*z - 47124 = 47*z. Does 14 divide z?
True
Suppose 7*u - 4828 = 6890. Suppose 1225*w - 1226*w = -u. Is 31 a factor of w?
True
Suppose -y + 29 = -4*o, 5*y - 26 = 5*o + 44. Let m be (-72)/16*(-44)/3. Suppose 0 = y*x - 402 - m. Is x a multiple of 7?
False
Let r(n) = n + 53. Let c be r(0). Suppose -b - 3*q = -74, -3*b + q + 275 - c = 0. Suppose -y + 5*f = -4*y + 88, 4*y - 2*f - b = 0. Is 9 a factor of y?
False
Let x(t) = t**3 + 9*t**2 - 12*t - 18. Let v be x(-10). Is 133/(-5*v/(-10)) a multiple of 10?
False
Is 12 a factor of 567/(-45) + 13 - (-164696)/10 - -7?
False
Is 150 a factor of 43374/14 - 16/14?
False
Let t be (-7 - 60319)/(-7) + -5. Suppose 10*d = -17*d + t. Does 70 divide d?
False
Let k = -2095 + 6022. Suppose k = 20*b - 13*b. Does 33 divide b?
True
Suppose -2*a + 137547 = 3*s + a, 5*s = 7*a + 229257. Does 25 divide s?
True
Let q be 6/(-39) + -9*(-12228)/(-39). Is 22 a factor of q/(-7) + ((-40)/56)/5?
False
Is 58 a factor of -276 + 272 - (-12024 + 0/1)?
False
Let u(h) = -h**3 + 5*h**2 - 1. Let q be u(6). Let c = q + 63. Is 4 a factor of (21/(-14))/((-3)/c)?
False
Let o(z) = z**3 + 17*z**2 + 16*z - 4. Let x be o(-13). Suppose 4*w = -0*w + x. Is w even?
True
Let q(u) be the second derivative of -u**4/6 - 8*u**3 - 53*u**2/2 + 2*u - 92. Does 2 divide q(-22)?
False
Let q(g) = 5*g**2 + 5*g + 4. Let t be q(-2). Suppose 0 = 3*p + a - t, p - 2*p + 5*a = -10. Suppose d = -4*s + 179 + 121, 0 = 5*s + p*d - 390. Does 13 divide s?
False
Suppose v + 36 = -2*v. Let p be (18 - (11 - 4)) + 79. Does 10 divide (p/v)/(1 + 14/(-12))?
False
Let u(o) = -6*o - 27. Let a be u(-5). Suppose 0 = -8*g + a*g - 4*j - 6, 0 = 3*g + 3*j + 6. Does 3 divide g/((-7)/2 - -4)?
False
Let a = -11670 - -14107. Does 134 divide a?
False
Let w(l) = -11270*l**3 - 30*l**2 - 30*l. Does 161 divide w(-1)?
True
Let a be 373 + (30/(-5))/(-2). Suppose -4*y - 5*g = -2*y - 242, -3*y - g = -a. Is 9 a factor of y?
True
Suppose 101*u - 103*u - 16 = 0. Let n be (-4)/u*(-5 - -5). Suppose -4*i + 0*a = a - 69, n = -3*i - 3*a + 54. Is i a multiple of 3?
False
Let a be (2/2)/(18/144). Suppose 3*j - 13*r - 880 = -a*r, -3*r = -4*j + 1155. Does 6 divide j?
False
Suppose -8*b = 9*b - 8279. Let i = -36 + b. Is i a multiple of 10?
False
Let b be (-2)/(-22)*11*17*1. Suppose 5*h - 893 = b. Does 18 divide h?
False
Let n(x) = -2*x**3 + 6*x**2 + 5*x - 7. Let t(j) = -j**2 - 11*j - 12. Let r be t(-9). Let f be n(r). Is 13 a factor of f/(-5) + (-32)/(-80)?
True
Let g(q) = 21*q - 156. Let s be g(9). Does 12 divide s - (3 - -4 - 9)?
False
Let d = 116 + -118. Is 16 a factor of ((-1)/(-2))/(d/2832*-1)?
False
Let h be 1575/7 + 0 + 0 + -4. Let y = h - -72. Is y a multiple of 35?
False
Suppose -2*p + 6118 = 4*k, 139*k + 4*p = 140*k - 1534. Is k a multiple of 10?
True
Let v be 6/14 + 120/14. Let t be 11/(-99) - (-37)/v. Suppose -t*y + 318 = -2*u, -y - y - 4*u + 164 = 0. Is y a multiple of 20?
True
Let z = 31 + -24. Suppose -5*u + z*g = 4*g - 4, 4*g - 10 = -u. Suppose 3*v + 333 = 4*i, -u*i - 4*v + 17 + 133 = 0. Does 9 divide i?
True
Let c be -1 + (4 - (5 + -4)). Suppose c*i - 5*r = 247, -5*i - 4*r + r = -633. Does 25 divide i?
False
Suppose -4*s = 12, -3*u + 14 = -4*s - 1. Let f be 2/(u/(9/(-6))). Does 7 divide -3 - -40 - -3*2/f?
True
Let w(t) = 1321*t + 507. Is 103 a factor of w(11)?
True
Let v = 6076 - 14. Is v a multiple of 82?
False
Let g be (-165)/(-6) - 2*(-4)/(-16). Suppose y + g = 4*t, 2*y = 4*t + 5*y - 15. Let o(c) = 2*c**3 - 6*c**2 - 7*c + 1. Does 25 divide o(t)?
True
Suppose 4*z + 5*o = 15590, 0 = 2*z - 4*o - 7236 - 572. Is 10 a factor of z?
True
Let b = -223 + 229. Suppose -b*y = -4*y + 2*l - 214, 4*y = l + 453. Is y a multiple of 4?
True
Let i(h) = -15*h - 20. Let p be i(-3). Is (2/6)/(p/35550) a multiple of 9?
False
Let v(x) = -38896*x + 2895. Does 13 divide v(-2)?
False
Let y(r) = 21*r**3 - 18*r**2 - 89*r + 867. Does 13 divide y(10)?
False
Let u(l) = -2*l**2 - 16*l. Suppose -2*o + 25 = 41. Let i be u(o). Suppose -227 = -x - 3*v + 2*v, i = -5*x - 3*v + 1129. Does 16 divide x?
True
Suppose 3*n - 18 = -0*n. Let x(k) = 2*k**2 + 7*k + 5. Let s be x(n). Is s/(1 + -2)*-1 a multiple of 16?
False
Is 7 a factor of (-13872)/(-27)*21/4*(2 + 1)?
True
Suppose -k - 10 = -3*k - 4*h, -35 = -2*k + h. Suppose -k = 5*u - 0*c + 3*c, -3*u + c + 5 = 0. Suppose u = -11*n + 4*n + 140. Is 5 a factor of n?
True
Let h = 479 - 703. Let o = 998 + h. Is o a multiple of 6?
True
Suppose 0 = 3*w - 3, -5*a - 4*w + 113 = 49. Does 17 divide a/16*(12 + 660)?
False
Suppose 0 = -3*q - 9, -17*h + 3*q + 9405 = -14*h. Is h a multiple of 162?
False
Suppose 0 = -3*n - c + 1371, 0 = n - 191*c + 190*c - 457. Is n a multiple of 101?
False
Let p be ((-99)/(-55))/(0 - (-2)/10). Let w(u) = u - 19. Let j be w(p). Let z(g) = -8*g - 23. Does 27 divide z(j)?
False
Suppose 169*o - 512713 = 522581. Does 6 divide o?
True
Let g(b) = -3*b**2 - 13*b - 3. Let s be g(-6). Let t = 31 + s. Does 8 divide (t/6)/((-3)/1917*3)?
False
Suppose -271748 = 318*i - 2903524 - 2642890. Does 97 divide i?
True
Suppose 0 = 3*f - 1153 + 1156, 3*u = 4*f + 463. Is u a multiple of 17?
True
Suppose 17*n - 307 = 67. Does 7 divide (-100)/(-2) + (14 - n)?
True
Is (19/57)/(-2*(-4)/105480)