Is 17 a factor of s?
True
Let i = -351 - -540. Does 4 divide i?
False
Suppose 5 = 3*z - 7. Suppose -z*o = -599 + 63. Let x = o - 73. Is 17 a factor of x?
False
Suppose -2523 = -5*w - 3*f, -5*w = -w + 3*f - 2019. Does 12 divide w?
True
Let s = -103 + 455. Suppose -78 = -10*q + s. Does 14 divide q?
False
Suppose 55*w = 60*w - 5070. Does 47 divide w?
False
Suppose -34*s + 23150 + 16290 = 0. Is 8 a factor of s?
True
Let r be (-4 - (-842)/1)*-1. Let v = r - 398. Does 10 divide v/(-42) + (-12)/(-21)?
True
Suppose -5*o + 3*v + 1274 = 0, 0 = -3*o + 6*o + 4*v - 776. Is 8 a factor of o?
True
Let v(u) = 372*u**2 + 3*u - 3. Does 15 divide v(1)?
False
Is 58 a factor of (7/(-4))/(((-121)/924)/11)?
False
Let t = -4 + 4. Suppose t = 6*p - p + 15. Let u(a) = 2*a**2 + a - 2. Is 13 a factor of u(p)?
True
Let j = -14 - -60. Is 16 a factor of j?
False
Suppose -p + f + 3*f + 20 = 0, 3*f = p - 15. Let n(o) = -2*o + 88. Is 40 a factor of n(p)?
False
Suppose 59*a - 1135 = 54*a + y, -3*a + 664 = -4*y. Is 54 a factor of a?
False
Suppose 4*y - 1115 = -5*z, 223 = z - 2*y + 3*y. Suppose -5*v + z + 217 = 0. Is 8 a factor of v?
True
Is 811/1 - (-13 + 8)/(-5) a multiple of 45?
True
Let c(u) = -4*u - 6. Let s be c(-5). Let q = s + -79. Let p = -37 - q. Is 10 a factor of p?
False
Let p be 2056/12 - (1 + (-2)/3). Suppose -p = -8*l + 549. Does 28 divide l?
False
Suppose -31*v + 42260 + 24917 = 0. Does 11 divide v?
True
Let q = -3 - -8. Suppose -q*i = -7*i. Suppose -s + 3 + 2 = i. Does 5 divide s?
True
Suppose -11*r + 5656 + 5190 = 0. Does 17 divide r?
True
Suppose 0 = -23*i + 2490 + 36564. Is 12 a factor of i?
False
Suppose -9 = m + 5. Let j(l) = l - 1. Let a be j(-1). Let b = a - m. Is 12 a factor of b?
True
Suppose -u = -3*u + 2*m + 1458, -2*u = -3*m - 1460. Is u a multiple of 75?
False
Suppose -3*z + 0*p - p = 29, p + 20 = -2*z. Let y(l) = -l**2 - 14*l - 15. Is 10 a factor of y(z)?
True
Let z = 643 + -445. Is z a multiple of 6?
True
Let a = 12 + -34. Let v = 64 + a. Is 8 a factor of v?
False
Let j be (-14)/(-35) + 8/5. Let s(f) = 0*f**2 - 1 + 0*f + 3*f**2 + f + 2. Does 6 divide s(j)?
False
Suppose 0*a = 4*a + 3*d - 804, 3*a - 598 = -d. Is 33 a factor of a?
True
Is 252/(11 - 4)*(0 - -1) a multiple of 18?
True
Let k = -836 - -1182. Does 15 divide k?
False
Suppose -2*o + 5*d = -4929, -1911 = -2*o + 4*d + 3021. Is o a multiple of 16?
False
Let i = -1379 - -1637. Is 15 a factor of i?
False
Let y = 8 - 6. Suppose y*c - 47 = -c - 5*l, -4*c - l + 40 = 0. Is 7 a factor of 195/27 - 2/c?
True
Let t be 4 + -5 + 5 + 111. Suppose 444 + t = 13*v. Is 43 a factor of v?
True
Let z be 66/3 - (-1 + 3). Let p(u) = 6*u**2 + 13*u. Let k be p(-3). Suppose l = z + k. Is l a multiple of 22?
False
Suppose -50*d + 54*d - 1500 = 0. Is d a multiple of 75?
True
Suppose 0 = 3*x + x - 2080. Suppose -6*s + s = -x. Is s a multiple of 26?
True
Suppose 117 = -22*w + 381. Is 11 a factor of w?
False
Suppose 4*k + 14 = -3*w - k, 6 = -w - 3*k. Let p be (-2)/(-3) + (-16)/w. Is 14 a factor of ((-75)/p)/(-5)*12?
False
Suppose -2*l = z - 468, -5*l + 2*z + 1170 = -z. Is l a multiple of 13?
True
Let k be 24/5 + (-1)/(-5). Suppose k*l - 31 = l - m, 0 = -4*l - 2*m + 34. Suppose 57 = 2*r - l. Is 18 a factor of r?
False
Suppose 385*t = 382*t + 15. Let j be (-2)/8 + (-5682)/(-8). Is 18 a factor of (j/2)/t + 1?
True
Let m(d) = -d**2 - 10*d - 9. Let y be m(-9). Suppose -6*g + 2*g + 88 = y. Is 11 a factor of g?
True
Let i(b) = 18*b - 1. Let p be i(17). Suppose 0*a + 4*a - 175 = -3*k, -4*a = 5*k - p. Is k a multiple of 13?
True
Let u = 5 - -75. Let p(q) = q**2 + 15*q + 7. Let n be p(-7). Let k = n + u. Does 8 divide k?
False
Let d(w) = -3*w - 7. Suppose z - 28 = -4*z - m, 3*z = 3*m + 24. Let k be ((-16)/z)/(2/6). Is d(k) a multiple of 5?
False
Suppose 2*k + 46 = 3*a - 0*k, 3*k + 6 = 0. Suppose -3*b - a - 112 = 0. Let c = b - -110. Is c a multiple of 36?
False
Let c(a) = -13*a + 6. Is 29 a factor of c(-4)?
True
Let q = 50 - 52. Is ((-53)/q)/((-2)/4 + 1) a multiple of 11?
False
Let n(f) = -f + 5. Let z be n(3). Suppose z*l = -0*l. Suppose -c - 4 = 0, l = 4*r + r - c - 89. Does 17 divide r?
True
Let q(g) = -10*g + 3. Let u be q(-7). Let c be (0 - -1)*(3 - -32). Let s = u - c. Is 19 a factor of s?
True
Suppose -4*f = -10*r + 5*r + 7620, 3*r = 4*f + 4580. Does 38 divide r?
True
Let s be 2/3*-2*3. Let u be (1 - 6)*70/(-25). Is 9 a factor of -2*(u/s - 1)?
True
Let p(f) be the first derivative of -17*f**2/2 - 5. Suppose -24*h + 19*h - 5 = 0. Is p(h) even?
False
Does 9 divide 12/(-5 + 1)*(-7017)/9?
False
Let x = -2 - -9. Suppose 0 = 2*q - 10, 0 = 5*y - 2*q + x*q - 40. Is 33/((-18)/(-4) - y) a multiple of 12?
False
Suppose -99*d - 4536 = -101*d. Is d a multiple of 9?
True
Does 23 divide ((-3162)/217)/(0 - (-4)/(-504))?
False
Suppose n + n = 0, 0 = 5*y - 5*n - 35. Suppose -3*z + y*z = 144. Is 18 a factor of z?
True
Let s be 12/(-10)*(-10)/4. Suppose 0*r = r - 160. Suppose s*p + p + 2*d - r = 0, p - 3*d - 54 = 0. Does 14 divide p?
True
Let g = 39 + -34. Suppose -g*a = -3*y + 38, -3*a + 10 - 4 = 0. Is 7 a factor of y?
False
Suppose -5*g = -5*s - 40, -s + 32 = 5*g - 2*s. Let f = -175 + 171. Is 2 a factor of (g/f)/(-3)*4?
True
Suppose -4*l + 36 = -4*o + 16, -3*o - 6 = 0. Suppose -a - 827 = 2*j, 2*j - 5*j = l*a + 2478. Is 10 a factor of a/(-22)*4/3?
True
Let x = 2728 - 1683. Does 69 divide x?
False
Let g(s) = 3*s + 7. Let y be g(1). Does 12 divide ((-75)/y)/5*(-894)/9?
False
Suppose -7*b - 3*b + 70 = 0. Suppose 2*y + b*y = 396. Does 11 divide y?
True
Let t(y) = 4*y**2 - 6*y. Let x(r) = 2*r - 2*r**2 - 3*r - r**2. Let m be x(1). Is 22 a factor of t(m)?
True
Suppose 3*z = 7*z - 16. Let q be 9/z*32/6. Suppose 0*f = l - f - q, -4*l = -3*f - 51. Does 4 divide l?
False
Let h(v) = -4*v**2 - 3*v**3 + 4*v**3 - 4 + 3*v + 6. Let b be h(3). Suppose 3*z - 2*u - 164 = 0, -z - 2*u = b*z - 184. Does 18 divide z?
False
Let b(p) = -161*p + 48. Is 29 a factor of b(-3)?
False
Let q(t) = t**3 + t**2 - 4*t - 1. Let k be q(-2). Is 48 a factor of (1 - 9/k)*-72?
True
Let v be 7/(14/(-40))*19. Let t = -186 - v. Suppose -t - 100 = -6*i. Is i a multiple of 13?
False
Let v(p) = 7*p**2 - 3*p + 4. Let f(a) = -5*a**2 + 16*a + 5. Let l(h) = -h**2 + 4*h + 1. Let d(w) = 2*f(w) - 9*l(w). Let k be d(-3). Is v(k) a multiple of 26?
True
Let u = 81 - 22. Let i = 155 - u. Is i a multiple of 32?
True
Suppose -k = k. Suppose k*b = 2*b - 34. Suppose g - 50 = -b. Is g a multiple of 11?
True
Suppose 0 = 6*s - 9*s + 6. Suppose l = s*y - 390, 585 = 3*y - l + 4*l. Does 39 divide y?
True
Let w(n) = 192*n**2 - 9*n - 7. Does 19 divide w(-2)?
True
Suppose -579 = -u - 217. Does 16 divide u?
False
Let m = -166 + 162. Let z = 84 - m. Does 11 divide z?
True
Suppose 4*o = 6*o + 56. Let g = 50 + o. Does 22 divide g?
True
Let m = -6 - -6. Suppose m = p - 5*p + 8. Suppose 0*d + 144 = p*d + 4*a, -a = 1. Is 16 a factor of d?
False
Let u(f) = 22*f**3 - 7*f**2 + 41*f - 9. Is u(6) a multiple of 18?
False
Suppose -r = -4*z - 76, r = -r + 4*z + 132. Suppose -2*n + 4*t - 3*t = -r, -89 = -3*n - t. Suppose -3*f - 5 = -n. Is 4 a factor of f?
True
Suppose 21*c - 3*c - 2394 = 0. Does 2 divide c?
False
Suppose 4*h + 726 = 10*h. Is 30 a factor of h?
False
Suppose -x - 4*m + 3 = 0, -x + 12 = 3*x - 3*m. Let h = -59 + 63. Suppose 3*a - 39 = -h*f - 12, x*a - 27 = -3*f. Is 9 a factor of a?
True
Let y be (-1)/(-7) - (1 - 12/14). Is (30*(-2 - y))/(-2) a multiple of 5?
True
Let s = 434 - -353. Does 6 divide s?
False
Let w(m) = 484*m - 8. Is w(8) a multiple of 21?
True
Let f be ((-16)/22)/4 + 8310/(-33). Is 20 a factor of (f/7)/(-1) + 4*1?
True
Let s = -23 - -125. Suppose -5*q = -s - 108. Is q a multiple of 6?
True
Suppose 0 = -m - 0*m - 15. Let z = 38 + m. Suppose j = 73 - z. Does 14 divide j?
False
Let o = 207 - 30. Let w = o + -97. Is w a multiple of 20?
True
Let d be 0 + 1 - (-91)/7. Let s be d/49 + (-52)/(-14). Suppose g = -4*q - 2 + 31, -s*q + 3*g + 25 = 0. Is q a multiple of 2?
False
Does 59 divide (690 - -31) + 2*-5?
False
Does 10 divide (-1404)/(-78)*(-194)/(-4)?
False
Let l be ((-1)/(-2) - (-75)/2) + -2. Is (150/45)/(2/l) a multiple of 8?
False
Suppose 13*d - 2*w = 10*d + 148, 3*d - 146 = 4*w. Does 5 divide d?
True
Let c(u) be the second derivative of -u**5/20 + 19*u**4/12 - 3*u**3 + 3*u**2/2 + 90*u + 2. Let i = 11 -