ose -20705 = -11*v + 16035. Suppose v = 16*r - 1508. Is 35 a factor of r?
False
Suppose 65 = -0*z + z - 4*u, u = -5. Let q be (-2 - (-370)/z) + (-2)/9. Suppose q*t - 2*t + 190 = 5*r, 3*r + 4*t = 82. Does 17 divide r?
True
Let c be 8*(4 - 11/4). Suppose -2*o = -c*o. Suppose 3*s + n - 185 = -71, o = -4*n. Is s a multiple of 7?
False
Suppose -2*n = -0*n - 2*j - 26, -4*n - j + 37 = 0. Suppose 3*t - 88 = -n*g + 6*g, 0 = -4*g + 5*t + 88. Does 11 divide g?
True
Let x = 1205 + -2053. Is 31 a factor of x/(-24)*-1*(-18)/4?
False
Is (2 + (-6)/18)*594 a multiple of 9?
True
Suppose -5*w - 4*b + 17 = 0, b + 1 = -4*w + 8. Is 6935/(-38)*(-2)/w a multiple of 24?
False
Suppose -2386 - 1314 = -20*a. Is ((-1776)/a)/((-2)/50) a multiple of 20?
True
Let h(a) = -a**2 - 15*a + 12. Let s be h(-16). Does 13 divide (s - -6 - 0)/((-2)/(-26))?
True
Let v = -75784 + 135970. Is 50 a factor of v?
False
Let z(y) = -y**3 + 10*y**2 - 8*y - 7. Let q be z(9). Let h(b) = -8*b + 26 - 37 + 10*b**2 + 8*b**q. Is 7 a factor of h(-2)?
True
Let d = -67 + 41. Let g = -22 - d. Suppose -g*j = -j - 120. Is 20 a factor of j?
True
Suppose -5*i + 4*c - 13720 = 0, -5*i = -8*c + 7*c + 13735. Let o = -1008 - i. Is 15 a factor of o?
True
Let c = 436 + 3556. Does 59 divide c?
False
Let v(y) = 6*y**2 + 24*y + 138. Does 70 divide v(-13)?
True
Let v = 594 + -579. Suppose -v*j + 6092 = 572. Does 16 divide j?
True
Suppose -23*n + 4*w = -20*n - 16, 5*n + 5*w + 20 = 0. Suppose -5*g - 5*u + 3935 = n, -3173 = -4*g + 3*u - 2*u. Is 33 a factor of g?
True
Suppose -2*q - 2*t + 15121 = -56681, 0 = 4*q - 4*t - 143652. Is 6 a factor of q?
False
Let l = -120 - -123. Suppose 3*k = 2*f - 25, -10 = -5*f - 0*k - l*k. Suppose f*g - 638 = -4*y, -y - 3 = -5. Is 21 a factor of g?
True
Let q(r) = 2*r**2 - 34*r + 13. Let w(z) = -2*z**2 + 33*z - 13. Let o be -1 + -1 - (-9 - -13). Let n(s) = o*q(s) - 7*w(s). Is 13 a factor of n(15)?
False
Let j = -241 - -282. Let c(r) = r**3 + 7*r**2 + r + 4. Let g be c(-3). Suppose j*o - 304 = g*o. Does 38 divide o?
True
Let h(o) = -5*o**2 - 20*o - 11*o**2 + 33*o**2 + 132 - 13*o**2. Is h(9) a multiple of 8?
False
Let i(b) = 37 + 31 + 93 + 13*b. Is i(30) a multiple of 7?
False
Let m(r) = r**3 - 5*r - 26 - 68*r**2 - 46 + 44*r**2 + 39*r. Is m(23) a multiple of 32?
False
Let t(p) = -5*p - 2*p - 2*p - 13 - p. Let m be t(-6). Suppose m = -3*s + 395. Is s a multiple of 29?
True
Suppose 27*c + 56 = 245. Suppose -2 = v - 2*v. Suppose -v*l = 5*s - 140, 0 = -3*s + c*l - 2*l + 84. Does 15 divide s?
False
Suppose 39*d - 46116 = 29973. Is d a multiple of 3?
False
Suppose 6*f - f - 50 = 0. Suppose -7*d = -f*d + 3. Is 19 a factor of d/6 + (-9035)/(-78)?
False
Suppose 35*t + 11*t - 197064 = 0. Is 86 a factor of t?
False
Suppose -35 = 15*f - 10*f. Let b be (f - -6)*66/(-1). Suppose -b - 66 = -2*d. Is 19 a factor of d?
False
Suppose -3*v - d = -943, -v = -40*d + 38*d - 326. Does 79 divide v?
True
Let a be 0/(72/8) - -8. Suppose v - 3*c - 1577 = 0, a*c - 3*c = -v + 1577. Is 12 a factor of v?
False
Does 105 divide ((-7218)/1)/((-633)/422)?
False
Suppose 3*a - 4*l - 49 = 0, 5*l + 5 - 60 = -4*a. Let m be (1116/(-3))/(a/(-10)). Does 31 divide m/4 - 0/(-1 - 0)?
True
Let l be 9*(-8)/(-36) - 278. Let s = 376 + l. Does 10 divide s?
True
Is 269 a factor of (32463/18)/(12*(-13)/(-312))?
False
Let x(w) = -5*w - 167*w - 773 + 7*w + 803. Does 51 divide x(-6)?
True
Let n(u) = 4*u**3 + 6*u**2 + 8*u + 4. Let a be n(-3). Suppose -2*p - x = -215, -2*p - 5*x = 3*p - 550. Let l = p + a. Is l a multiple of 31?
True
Let w be 1/(2 + 5/(-2)). Let k be (w - 652/8*-2) + 2. Suppose -5*d + 2*s + k = 0, -d - 96 = -4*d + 3*s. Is 17 a factor of d?
False
Is 218 a factor of 306262/8 - ((-2)/16)/(73/146)?
False
Let y be 20*((-16)/4)/8. Is 64 a factor of (72/y)/((-105)/2800)?
True
Let v(l) = l + 1. Let p(d) = 189*d - 6. Suppose j + 17 = -j + 3*q, -5*q = -25. Let f(i) = j*p(i) - 2*v(i). Is f(-1) a multiple of 30?
False
Let n(z) = 54*z**3 - z**2 + 2*z - 1. Let j be n(1). Suppose -2*v + 31 = 2*h - h, 5*v - 80 = -2*h. Let o = j + v. Does 12 divide o?
True
Suppose 6*m = 9*m + 414. Let b = 91 + m. Let l = -5 - b. Is 21 a factor of l?
True
Let s(f) = -166*f + 11. Let w(m) = -33*m + 3. Let z(o) = 4*s(o) - 22*w(o). Is 51 a factor of z(2)?
True
Let k(d) = -d**2 + 21*d - 26. Let u(a) = 15*a**2 - 4. Let n be u(-2). Let s = n + -48. Is 13 a factor of k(s)?
True
Suppose -2*a - 2*u = -5*u - 2906, 5*u = 5*a - 7270. Is 21 a factor of a?
False
Suppose -c - 2 = 0, -16*c + 5094 = 13*s - 15*c. Is 31 a factor of s?
False
Suppose u + 63357 = 5*j + 5*u, 25323 = 2*j - 5*u. Suppose 35*k - 9311 - j = 0. Does 10 divide k?
False
Does 12 divide 24*3/(13 + -17 + 7)?
True
Is -6 + 12 + -1 + 16/(-4) + 8981 a multiple of 4?
False
Suppose 209*l - 41*l = 2698920. Is l a multiple of 15?
True
Suppose 1584*y - 8 = 1580*y. Suppose -3*w = -4*v + 3276, v + y*w - 1088 = -269. Is 63 a factor of v?
True
Let w be (4/1)/(-4) - (10 + -3). Let m(i) = i**3 + 12*i**2 + 12*i + 9. Let v be m(w). Let r = -34 + v. Is r a multiple of 14?
False
Let v = -8653 - -19601. Is v a multiple of 161?
True
Suppose -5*c = 2*f - 38531, -4*f + 77069 = -80*c + 83*c. Does 125 divide f?
False
Let g = 3625 - 2692. Is g a multiple of 2?
False
Suppose -r - 2*h = -243 - 81, -3*r + 997 = h. Suppose 73*x = 74*x - r. Is x a multiple of 24?
False
Let l(o) = 61*o - 3041. Does 131 divide l(52)?
True
Suppose -3*k - 59 = 4*h, -6*k = -k + 5*h + 90. Is 5 a factor of 13 + k + 12*(-8)/(-1)?
False
Suppose -440*p = -438*p - 6. Let z(k) = 13*k**2 + 3*k - 2. Is 19 a factor of z(p)?
False
Let b(j) = 126*j**2 + 12*j + 134. Does 20 divide b(-9)?
False
Is 4902/4 + (-204)/(-136) a multiple of 19?
False
Suppose -5*b - 11*b + 128581 + 50203 = 0. Is b a multiple of 35?
False
Suppose 5*m - 12145 = -5*j, 2*m + 3*j - 6582 = -1730. Is m a multiple of 4?
False
Let z(j) = -17*j + 6441. Is z(82) a multiple of 5?
False
Let l be 948/((-1)/(4/18*-12)). Suppose 0*m - l = -5*w - 2*m, -m + 1012 = 2*w. Is 18 a factor of w?
True
Let b = -2 - 0. Let u(x) be the second derivative of -15*x**3/2 + x**2/2 - 433*x. Does 13 divide u(b)?
True
Suppose -3*v = -4*b + 2413, 3 - 6 = -3*v. Let q = b - 436. Is q a multiple of 27?
False
Is (1 + 1563)/((-10)/(-105)) a multiple of 42?
True
Let q be -23*(6 + 3/(-6)*14). Suppose -r = q*r - 44496. Is 23 a factor of r?
False
Let d be -5 - 1 - 57 - 2*1. Let r = 69 + d. Suppose 0 = 3*q + 2*m - 184, -r*q + 236 = m - 3*m. Does 10 divide q?
True
Let o(y) = -10*y**2 + 12*y - 12. Let s(w) = -29*w**2 + 35*w - 35. Let x(i) = 11*o(i) - 4*s(i). Does 30 divide x(-8)?
False
Suppose 2*a - 5 = 5. Suppose a*j - 4 = 6. Suppose -126 = -2*c + j*o, 285 = -0*c + 5*c + 5*o. Is c a multiple of 10?
True
Is (1 - 217)/(-1 + 2 - (-123)/(-120)) a multiple of 160?
True
Suppose -19*a + 16*a - 711 = -t, a = 3. Does 5 divide t?
True
Suppose 12 - 6 = h + 3*f, -2*h - f = -12. Suppose o + 496 = h*k - 2*k, -2*o + 8 = 0. Does 10 divide k?
False
Let i = -28 + 30. Let b(v) = -21*v + 5. Let s(c) = c. Let y(n) = -b(n) - 4*s(n). Is 7 a factor of y(i)?
False
Let o(t) be the second derivative of t**5/20 - t**2/2 - t. Let k be o(1). Suppose -4*h + k*f + 3*f + 195 = 0, -f + 85 = 2*h. Is 9 a factor of h?
True
Let s = -79 - -79. Suppose s*l - 15 = 2*c - 3*l, 5*l - 25 = 2*c. Suppose 2*i - 3*i + 152 = c. Is 27 a factor of i?
False
Suppose 21*z - 27*z + 18 = 0. Suppose -k - 3 = 0, -z = -a + k - 2. Is (-6*2/8)/(a/4) a multiple of 2?
False
Let j = -621 + 645. Suppose 21*q + 990 = j*q. Is q a multiple of 10?
True
Let v(b) = -b**3 - 15*b**2 - 27*b - 18. Let w be v(-18). Suppose 0 = -6*x + x + w. Is x a multiple of 36?
True
Suppose 0 = 2*w + 6, 4*i - 3*w - 14 = -w. Suppose 4*a = -5*m + 14, 3 - 1 = i*a. Suppose -z = 0, z = -m*k - 0*k + 60. Is k a multiple of 5?
True
Let j be -4*1 + 28/4. Suppose 4*v + 27 = m + 72, j*v + 4*m - 29 = 0. Suppose -v*r - 125 = -16*r. Is 5 a factor of r?
True
Suppose -107*o = -22*o - 2232780. Is 22 a factor of o?
True
Suppose 4*j - 2*g - 2 = 3*j, 0 = 5*j - 3*g - 10. Suppose q = j*n + 73, 3*q = -q + n + 320. Let v = q + 39. Is 42 a factor of v?
False
Let k = -243 + 243. Suppose -30*a + 8640 = -k*a. Is 36 a factor of a?
True
Does 63 divide (1943/2)/((38 + -14)/48)?
False
Suppose 88*d + 15676 = -1748. Let q be 2/(-3*(-2)/(-105)). Does 20 divide (168/q)/(-2 + d/