s 19 divide v?
True
Is 99 a factor of ((-54)/4)/(((-306)/(-132))/(-51))?
True
Suppose 3*v + 0*v + 507 = 0. Let z = v + 271. Does 7 divide z/15 + (-3)/(-15)?
True
Let o = 4759 + -2946. Is 4 a factor of o?
False
Let c be (-24)/((-8)/24 - (-3940)/11928). Suppose 0 = 24*j - c + 1232. Is j a multiple of 28?
True
Suppose -52812 = -8*b + 37988. Is b a multiple of 25?
True
Let j = -1720 + 3172. Suppose -13*w + j + 680 = 0. Is w a multiple of 5?
False
Let z = 40 + -144. Let t = z - -163. Does 6 divide t?
False
Suppose -4*m + 16*v = 15*v - 2803, 0 = v - 1. Is m a multiple of 2?
False
Suppose 4*v - 48 = -c, -2*v + 15 = v. Suppose c = 5*z - 92. Suppose 23*a = z*a - 136. Does 25 divide a?
False
Suppose 3826134 = -2376*s + 2459*s. Is s a multiple of 9?
True
Let n(t) = t**3 + 35*t**2 + 38*t + 304. Is 40 a factor of n(-21)?
True
Suppose -1460*l + 24 = -1457*l. Suppose -l*g + 3684 = 156. Is g a multiple of 49?
True
Let b be 5/2 - (2 - (-21)/(-6)). Suppose 42 = b*w + 3*w. Suppose w*y + 990 = 11*y. Is y a multiple of 33?
True
Let u be (15 - 0)*442/39. Let s = 0 + 0. Suppose 5*q = 4*a - u, s = -4*a - 5*q + 71 + 119. Does 7 divide a?
False
Suppose -195143 = 175*b - 1601929 - 24539. Is b a multiple of 23?
False
Let n(x) be the second derivative of 5*x**3/6 - 4*x**2 - 26*x. Let b be n(-14). Let o = b - -111. Is o a multiple of 4?
False
Let c = -366 + 348. Let t = c + 31. Is t a multiple of 6?
False
Let c = -370 - -381. Suppose 2*f + 243 = c*f. Is f even?
False
Suppose 15 = -3*d + 2*x - 9, -9 = 4*d + 5*x. Let t(j) = -6*j**2 + 10*j + 79. Let c(w) = 2*w**2 - 3*w - 26. Let i(q) = 7*c(q) + 2*t(q). Is i(d) a multiple of 18?
True
Suppose -3*c - i + 16 = 0, 4*c = 5*c - i - 4. Suppose -5*t + 132 = 3*d, 0*t - 248 = -c*d + t. Is 8 a factor of d?
False
Let m(p) be the second derivative of 97*p**7/2520 - p**6/360 - p**5/120 + 17*p**4/12 - 3*p. Let r(i) be the third derivative of m(i). Is r(-1) a multiple of 25?
False
Suppose 5*d - 68712 = -0*d + d. Is 8 a factor of d?
False
Let m(b) = 7*b**2 + 2*b - 3*b**2 + 5*b**2. Let j be m(3). Let l = 149 - j. Does 31 divide l?
True
Is 19 a factor of -3 - -9 - 723/((-2)/96*4)?
False
Suppose r + 4*u = 321, 3*u - 6*u = -5*r + 1720. Suppose 0 = -5*w - f + 275, -5*w + r = -4*f + 91. Is w a multiple of 9?
True
Does 54 divide -7*10/(-28)*(2 - 17442/(-5))?
False
Suppose 3*i + 4691 = s, -198*i + 196*i + 12 = 0. Is 25 a factor of s?
False
Let w(p) = -p**3 - 2*p**2 + 15*p. Let h(l) = -l - 1. Let n(f) = 6*h(f) - w(f). Does 8 divide n(6)?
False
Let x = 448 - 313. Let q(m) = 2*m**2 + 18*m - 8. Let k be q(-13). Let w = x + k. Does 27 divide w?
False
Suppose 3*n = -a + 777, -2*n = -2*a + 730 + 768. Is 7 a factor of a?
True
Suppose 2*l = c + 6*l - 4, -2*c + 2*l = -8. Let w(z) = -2*z**3 - 3*z**2 - 5*z + 4. Let y be w(c). Let b = 324 + y. Does 44 divide b?
True
Let j be (4 - 4/1)*-1. Let n be (-6 - -12) + 1 + j + -1. Let d = n - -18. Does 12 divide d?
True
Suppose 11594 = 33*x - 2*x. Let j = x + 1. Is j a multiple of 14?
False
Suppose -z = 5*x - 12, -9*x + 5*x - 4*z = 0. Suppose q - 61 = i - 26, 0 = x*q - 5*i - 115. Is q a multiple of 15?
True
Let r = 262 + -432. Let j be 6/4 + r/68. Is 8/(-10) - j - (-4172)/140 a multiple of 15?
True
Suppose 0 = -13*i + 49*i - 253764. Is 7 a factor of i?
True
Let m be (16/12)/(2/(-3)). Is (396/(-21))/(m - (-52)/28) a multiple of 6?
True
Let q(f) = 16*f**2 + 11*f - 22. Let d(u) = u + 24. Let i be d(-21). Is 25 a factor of q(i)?
False
Suppose -2*x - g + 0*g - 4350 = 0, 5*g = 0. Does 10 divide x/(-20) + (-5)/(-4)?
True
Let a(h) = 36 + 34 - 2*h - 19 - 7*h. Is a(-9) a multiple of 22?
True
Let v(p) = -p**3 - 6*p**2 - p - 18. Let c be v(-8). Suppose -17*y + 1835 - c = 0. Is 91 a factor of y?
False
Is 16 a factor of -13 + 378/(-252)*(-848)/3?
False
Suppose -4*c + 14 + 14 = 4*l, -2*c = 4*l - 30. Suppose 27 = 7*h - l. Suppose 2*s - 32 = -2*m, 3*m + 3*s = h*s + 68. Is m a multiple of 4?
True
Let s = 40 - 40. Let v be s + -4 - 20/2. Is (-7)/(v/(-8)) + 19 a multiple of 15?
True
Suppose 2*k + 3*k + 400 = 0. Let x = k - -77. Does 10 divide 19 + -2 + (0 - x)?
True
Let a = -10455 - -12886. Is a a multiple of 2?
False
Let t = 9331 - -18959. Is 205 a factor of t?
True
Let d be (-356)/445*10/(-4). Is 16 a factor of (2 + 1589/14)*d?
False
Suppose -7*t = -4*l - 112168, 16*l - 48081 = -3*t + 19*l. Does 51 divide t?
False
Let c = 124 - 89. Suppose 8*d + 10 = -14. Let x = c - d. Is 38 a factor of x?
True
Let p = 39252 - 27769. Does 27 divide p?
False
Let p(u) = 3*u**2 - 14*u - 11. Let t be -3*((-20)/4 + 3)/3. Let g(q) = q**2 + q. Let n(k) = t*g(k) - p(k). Is 19 a factor of n(14)?
False
Let o = 3259 - 11. Is 150 a factor of o?
False
Let o be (-11 - -6)/(-1) - -46. Let y = o - -381. Does 54 divide y?
True
Let d(s) = -s**3 + 2*s**2 - s. Let q be d(1). Suppose -5*f = 2*l - 31, 0 = -l - q*f - f + 17. Let t(g) = -g**3 + 18*g**2 + 5*g - 34. Does 14 divide t(l)?
True
Let x(l) = -5*l**2 + 56*l + 11. Let c be x(11). Suppose -17*w + c*w = 425. Does 34 divide w?
False
Suppose 0 = -73*m + 70*m + 336. Let f be (-572)/12 - 2/6. Let k = f + m. Is 16 a factor of k?
True
Let o = 13 - 14. Let g = 43 + o. Suppose -3*x = -g + 6. Is 3 a factor of x?
True
Suppose 0 = -4*x + 5*l + 57266, 7*l - 28620 = -2*x + 3*l. Suppose -3*z + 37*z = x. Does 38 divide z?
False
Let z(p) = -175*p + 1. Let q be z(1). Let n be (q/(-24))/((-1)/(-20)). Suppose x + 0*c - n = -2*c, -x + c = -142. Is x a multiple of 23?
False
Let c be 2361/(-21)*14/(-2). Let t = -358 + c. Does 14 divide t?
False
Let l be 4/(-18) + 580/18. Suppose 6*s - l = 40. Is s a multiple of 4?
True
Let u(x) = -890*x - 3224. Is 8 a factor of u(-8)?
True
Let t be -4 - 1 - 72/(-8). Suppose -t*q = -g + 576, 4*g + 5*q = 1791 + 429. Does 20 divide g?
True
Is ((-620)/(-93))/(20/975) a multiple of 13?
True
Let u = -4980 - -13235. Does 19 divide u?
False
Let i = -50 - -52. Suppose -4 = -v - i*l, v + 6*l = 3*l + 4. Suppose v*q - 29 = k, 3*q - k - 4*k = 43. Is q a multiple of 3?
True
Suppose 0 = c - 2*r + 13, 0*r - 4*r = -3*c - 29. Let f be 1 - ((-1)/c)/(3/(-9)). Suppose -d - 128 = -3*d - f*q, 3*q = -d + 66. Is d a multiple of 21?
True
Let k(y) = 4*y**2 - 4*y - 18. Let a(u) = 4*u**2 - 4*u - 18. Let c(p) = -6*a(p) + 7*k(p). Let f be 41/7 + (1*-2)/((-532)/38). Does 23 divide c(f)?
False
Suppose -i = o - 573, 22*o + 2306 = 4*i + 19*o. Does 25 divide i?
True
Let s(l) be the second derivative of -41*l**3/6 - 21*l**2/2 + 3*l + 8. Is 6 a factor of s(-3)?
True
Suppose 0 = 4*k + k + 2*d - 41409, 0 = -5*k - d + 41417. Is 134 a factor of k?
False
Let g = 3760 - -6985. Does 21 divide g?
False
Let s(r) = 124*r**2 - 6*r - 14. Let y be s(6). Suppose 6*c + 1222 = y. Is 9/(-2)*c/(-19) a multiple of 18?
True
Suppose -11*w + 944 = -1113. Suppose -15*m + w = -1118. Suppose -4*f + 5*y + 115 = 0, -2*y = -3*f + 2*y + m. Is f a multiple of 5?
True
Let w = -28 + 31. Does 33 divide 9/w - (-325 + -2)?
True
Let y = -20 - -22. Let c(d) = -27 + 2 + 8*d - 7 - y*d. Does 4 divide c(6)?
True
Suppose -3*f + 14 = 8. Suppose -k = f*k - 21. Let g(o) = -o + 19. Is g(k) a multiple of 2?
True
Let p(q) = 11*q + 210. Let d be p(-18). Let r(a) = -a**2 - a + 1. Let m(f) = f**3 - 17*f**2 - 11*f - 6. Let y(g) = m(g) - 6*r(g). Is y(d) a multiple of 8?
True
Let f(k) = 38*k**3 - k**2 - k. Let x be f(2). Suppose 4*z - 374 - x = 0. Does 14 divide z?
True
Let w be -2 + (-1)/((-1)/56). Let j be 5/5 + -7 - -11. Suppose 0*i + 2*i + 64 = 5*v, j*v - w = -3*i. Is 3 a factor of v?
True
Suppose 4*b - 4*f = -216, 5 - 25 = 5*f. Does 74 divide (-3)/2 + 1 + (-60291)/b?
False
Suppose -2*i + 5*w = -34, 2*i + 2*w - 16 = -2*w. Suppose i*h + 710 = 1694. Is h a multiple of 20?
False
Let r = -1838 - -3037. Does 3 divide r?
False
Let b = 1845 + -800. Is 21 a factor of b?
False
Let c(o) = 8550*o + 61. Is 50 a factor of c(2)?
False
Suppose -5*y - 182 + 647 = 0. Let i be (-38)/(-95) - (-388)/5. Let b = y - i. Does 3 divide b?
True
Let v be 5 + -3 - 0/(16/(-4)). Suppose 0 = 4*g + n + 80, 4*g = v*g - 3*n - 40. Let u = g + 196. Does 11 divide u?
True
Let l be (5/((-20)/(-323)) - -2)*-8. Does 19 divide (l*6/(-4))/(177/59)?
False
Let v be -4 - (-19)/((-114)/(-48)). Let z be 21/5 + (-2)/10. Suppose z*l + 3*w - 79 = 0, l - 99 = -v*l - 4*w. Is l a multiple of 12?
False
Let q(g) = 9*g + 8. Let m be q(5). Let h = m 