s -4 + 65/20 - (-3738540)/208 a multiple of 10?
False
Suppose -72*q + 151290 + 5460 = -17*q. Is q a multiple of 50?
True
Let d = -3771 - -5657. Suppose -4*o = 4, d = 5*q - o + 5*o. Is 27 a factor of q?
True
Let c = 3377 - -9051. Does 13 divide c?
True
Let a(k) = -k**3 + 7*k**2 - 8*k + 3. Suppose 5*b - j - 14 = 7*b, -21 = 3*b - j. Let y be a(b). Does 19 divide (6 + -5)/5*y?
False
Let x(w) = -w**2 + 1. Let r(m) = 3*m**2 + 16*m + 10. Let o(y) = -r(y) - 2*x(y). Let f be o(-15). Suppose 0*a - 156 = -f*a. Does 52 divide a?
True
Let p(f) = -187*f + 1173. Is 7 a factor of p(-17)?
False
Let g = 455 + -455. Suppose g = -3*n + 2999 - 335. Is 6 a factor of n?
True
Let m = 10699 - 5131. Is 174 a factor of m?
True
Let r = 58671 - 40609. Is 22 a factor of r?
True
Suppose 4*t - 11*t + 21 = 0. Suppose 9*u - t*u = 54. Suppose 2*y = u*y - 168. Is 24 a factor of y?
True
Let t(z) = 17*z - 41. Let i(x) = 16*x - 40. Let q(l) = 4*i(l) - 3*t(l). Suppose 5*h - 126 = -5*p - 6, -5*p + 63 = 2*h. Does 30 divide q(h)?
True
Let p(k) = -11*k - 12. Let b be p(-3). Let c be (1 - 1) + 3/(b/1232). Suppose o = -15*o + c. Does 2 divide o?
False
Let q = 415 + -438. Is (248 - -3) + -3 - (q + 18) a multiple of 35?
False
Let k = -11533 + 12595. Is k a multiple of 12?
False
Is (35/245)/((-3)/(1*-21))*271 even?
False
Suppose 0 = -4*a + 4*u + 500, 5*a + 5*u - 425 - 180 = 0. Let m = -62 + a. Is m a multiple of 19?
False
Is 114/(-209) + (-2252799)/(-99) a multiple of 16?
False
Let m = -40 - -129. Let r = 93 - m. Suppose 0 = r*c - 313 + 25. Is c a multiple of 11?
False
Suppose -72*s + 9*s - 25579 = -130663. Is s a multiple of 27?
False
Let c(t) = t**2 + 20*t + 25. Let z be c(-19). Let a be -31 - ((-20)/z + (-8)/12). Let o = 133 - a. Does 32 divide o?
True
Does 17 divide (28492 - -9) + -3*(-2)/2?
False
Let t(x) = 6*x**2 + 18*x + 7. Suppose -5*c = w + 63, 2*w = c - 0*w + 6. Let l be t(c). Suppose -3*a = 5*u - 5*a - 662, 5*a - l = -5*u. Is u a multiple of 11?
True
Let f = -6 - -14. Suppose -f*j + 573 = -251. Suppose 10*p = 947 + j. Is p a multiple of 21?
True
Suppose 48*c - 51*c - 5*k + 4682 = 0, 0 = k - 4. Does 28 divide c?
False
Let z be (-6)/(-1*(-4)/(-12)). Suppose -z = -7*d + 4*d. Suppose 925 = d*r + 25. Is 13 a factor of r?
False
Let q(w) be the second derivative of w**4/12 - 5*w**2/2 + 11*w. Let s be q(-2). Let g(p) = -193*p**3 - p**2 - 2*p - 2. Is 16 a factor of g(s)?
True
Let p = 144 + -97. Suppose 1386 = -38*o + p*o. Is 3 a factor of o?
False
Let l = 180 + -177. Suppose 0 = -b - l*u - 5, -u + 17 = 4*b + 4. Does 2 divide b?
True
Suppose 5*u - 723 = q, 4*q - 733 = 54*u - 59*u. Is 3 a factor of u?
False
Let x be ((-280)/(-16) + -5)*72. Suppose 3*s = -0*s - 5*o + 1295, 0 = -2*s + 4*o + x. Is s a multiple of 11?
True
Let a be 13 + -13 - (2 - 0)*-2. Suppose -a*w + 154 = -5*u, 0*u = 4*w + u - 142. Is w/24 - ((-391)/2 + 1) a multiple of 14?
True
Suppose 0 = 3*a - 14 + 2, -4*y = -5*a - 34156. Is y a multiple of 7?
False
Let i(s) = -4182*s**3 - 3*s**2 - 14*s - 11. Is 51 a factor of i(-1)?
True
Let y(r) = 4*r**2 - 48*r - 271. Does 110 divide y(-25)?
False
Let x = -1114 + 1367. Let y(p) = p**2 + 3*p + 3. Let c be y(-3). Suppose -5*g - c*z = -x, 34 = -2*g + 5*z + 129. Is g a multiple of 15?
False
Let n = -5368 + 6333. Does 5 divide n?
True
Let v be (87/(-3) + -1)*(30 + -31). Let o(w) = 22*w + 55. Is 55 a factor of o(v)?
True
Let j(f) be the third derivative of 217*f**5/60 - f**4/24 + f**3/3 - 27*f**2 - 2. Does 14 divide j(1)?
False
Let j = 5748 - 3424. Suppose -156*s + j = -152*s. Does 7 divide s?
True
Suppose n + 35 = 56. Is 16 a factor of 2 + n/(-3) - -325?
True
Suppose 6 = 2*j - 2*y, -2*y - 3 = -4*j + 5*j. Is j*(-1)/(3/(-1194)) a multiple of 47?
False
Let z be ((-35)/5 - 68)/(3/(-94)). Suppose -z - 1082 = -13*f. Is f a multiple of 24?
True
Suppose -5*p - q = -6296, 6*p - 2*p + q = 5036. Is p a multiple of 5?
True
Let s = 41 - 35. Suppose -z + s = -0*z. Suppose 85 = 7*p - z*p. Is p a multiple of 13?
False
Suppose -3*x + 25 = -5*q + q, -11 = 3*x + 5*q. Suppose 0 = -3*a - 3*j + 9, a - x*j - 19 + 0 = 0. Suppose 5*n - 288 = -a*n. Does 6 divide n?
True
Let i(y) = 5*y**2 - 58*y + 301. Is i(33) a multiple of 77?
False
Let l(h) = 18 - 17 + 0*h**2 + 2*h - 2*h**2 - h**3. Let p be l(1). Suppose 2*x = -x, 5*b - 2*x - 590 = p. Is b a multiple of 33?
False
Suppose -5*o - 221408 = -22*o. Does 37 divide o?
True
Suppose -23*z + 89929 = -175721. Is z a multiple of 35?
True
Suppose 0 = 224*y - 219*y + 755. Let a = 663 + y. Is 8 a factor of a?
True
Let l = -81 - -152. Let c = l + -70. Is (7 - (0 - -6)) + 0 + c even?
True
Let u = 9505 + -7620. Is 5 a factor of u?
True
Let w(t) = 3*t - 69. Let q be w(22). Let y be (-2)/q + (4 - (-172)/(-6)). Is 112/y*(-135)/6 a multiple of 35?
True
Suppose -158 = 2*o + 3*h - 7*h, 2*h + 128 = -2*o. Let g = 292 + o. Is 6 a factor of g?
False
Suppose -u = 2*f - 7975, -14*f = -4*u - 9*f + 31900. Does 25 divide u?
True
Let u be -1*12/(-2) + -212 + 206. Let m(d) = 7*d**3 - 6*d**2 + 2*d. Let c be m(4). Suppose u*s = 3*s - c. Is s a multiple of 24?
True
Let f = 11696 + 6348. Is f a multiple of 13?
True
Is 137 a factor of ((-11782)/86)/(2 - 1644/820)?
True
Let d(r) = r**3 + 9*r**2 - 9*r + 11. Let w(u) be the second derivative of u**5/20 + u**4 + u**3/2 + 27*u**2/2 - 11*u. Let k be w(-12). Is 23 a factor of d(k)?
True
Is 25 a factor of (2 + (-17)/4)*172/(-129) + 322?
True
Let n = 130 - -252. Let v = 695 + -195. Suppose -v = -7*f + n. Is f a multiple of 21?
True
Suppose 0 = 2*k - 2*n - n - 1029, k = -2*n + 518. Suppose k = -102*a + 105*a. Is a a multiple of 3?
False
Suppose 0 = 1259*s - 1254*s - 3675. Is 5 a factor of s?
True
Let v = 435 - 425. Let d(g) = -5*g + 70. Is d(v) a multiple of 4?
True
Suppose 5*t + 40085 = 5*p, t = -5*p + 20771 + 19332. Is p a multiple of 20?
True
Let s(w) = w**3 - 16*w**2 + w + 10. Let t(m) = -m**2 + 7*m + 6. Let q be t(5). Let n be s(q). Let x = n - -51. Does 35 divide x?
False
Let l(y) = -5*y - 3. Let n be l(-1). Suppose -6*b + 3168 = n*b. Does 36 divide b?
True
Let n(q) = 8*q - 48. Let z be ((-3 - -31)/(-4))/(-1). Let x be n(z). Let g = 99 + x. Does 21 divide g?
False
Suppose 6 = t + 4, -c + 2*t = -212. Suppose 214*w - c*w = -452. Is 12 a factor of w?
False
Suppose -w - 48 + 43 = 0, -5*w + 34859 = 3*j. Is 68 a factor of j?
True
Let j = -76 + -138. Let h = 1550 - j. Suppose 0 = 3*v - 10*v + h. Is v a multiple of 17?
False
Is ((-120)/16)/((-12)/69536) a multiple of 56?
False
Let h(j) = -2*j + 5. Let b be h(-1). Let k be (9 - 1)/4 + b. Suppose k*a - 44 = 8*a. Does 11 divide a?
True
Let d(f) = 1546*f - 530. Is 22 a factor of d(4)?
True
Let y(i) = i**3 + 20*i**2 - 49*i + 52. Is y(-16) a multiple of 60?
True
Let x = -932 + 280. Let m = -357 - x. Is m a multiple of 28?
False
Suppose 0 = -0*o - 3*o - 126. Let b = 29 + o. Let w = 58 + b. Is 3 a factor of w?
True
Is 8 a factor of (4 + (-128)/16)*21188/(-16)?
False
Suppose -6*n + 10 = -4*n. Suppose -4*b - 18 = -5*v, 5*v - 2*b + n*b = 39. Suppose -2*i = o + v - 238, -i - 2*o = -116. Is i a multiple of 29?
True
Let x(q) = q**3 + 7*q**2 + 12*q + 12. Suppose j = 11*j + 50. Let t be x(j). Suppose 0 = t*u - 26 - 54. Is u a multiple of 8?
True
Let o(j) = -j**3 - 20*j**2 - 19*j + 7. Let h = -46 - -27. Let c be o(h). Let f(z) = 30*z - 10. Does 40 divide f(c)?
True
Let q(r) = -2*r**2 + 12*r - 4. Let l(g) = g**2 - 6*g + 6. Let k be l(6). Let b be q(k). Let p(d) = d**2 - d + 1. Is p(b) a multiple of 7?
True
Let x(i) = 3*i**2 - 110*i - 111. Let u(k) = k**2 - 37*k - 37. Let r(v) = 8*u(v) - 3*x(v). Is r(33) a multiple of 14?
True
Suppose r - 20 = 3*h - 8*h, -r + 8 = 2*h. Suppose r = -57*w + 71*w - 7140. Does 15 divide w?
True
Suppose 0 = 6*t - 2*t - 5*k + 49, -8 = -2*t - 4*k. Let x be ((-16)/t)/(6/9). Is 2 a factor of ((-5)/(-5))/(2/x)?
True
Let n(i) = -5*i + 26. Let l be 6/33 + (-93)/(-33). Let k be n(l). Suppose -k*p + 900 = -1454. Is p a multiple of 34?
False
Let v = -37 + 735. Let h = 1131 - v. Is h a multiple of 11?
False
Let m(t) = 2*t - 5. Let w be m(4). Suppose -4*i = 168 + 160. Let s = w - i. Is 39 a factor of s?
False
Let m(l) = 4*l**2 - 9*l - 8. Let i be m(-4). Suppose 3*j = 83 - i. Is 28 + ((-20)/5 - j) a multiple of 3?
True
Suppose 0 = 16*p - 18*p - 126. Let v = 388 + p. Let d = 462 - v. Is 9 a factor of d?
False
Suppose