ppose 0 = 2*o - 4*r - 546, 5*o - 5*r = 1844 - 474. Suppose 13*h - 570 = o. Is 5 a factor of h?
True
Suppose 24*q + 432160 = 132*q - 68*q. Is 9 a factor of q?
False
Let s = 10255 + 7019. Does 39 divide s?
False
Let b = -1079 + 4533. Is 7 a factor of b?
False
Let s(j) = -107*j + 545. Is 21 a factor of s(-11)?
True
Let k = -4077 - -13587. Is k a multiple of 28?
False
Let d(i) = -15*i**3 - i**2 + i. Let m be d(1). Let c be ((-12)/m)/(28/10 - 3). Does 6 divide (-1 + 7)*((-90)/c)/5?
False
Does 10 divide -25 + (12 - 6) + 84308?
False
Suppose -54*w = -53*w - 1371. Is 18 a factor of w?
False
Suppose -5*y - 30 = -15*y. Suppose -n + 404 = -4*p, 2*p = y*n - p - 1203. Is 50 a factor of n?
True
Suppose -7*a = -4*a - 24. Let q = -34 - a. Does 10 divide -1 + 2/(-7) + (-1734)/q?
True
Let c be 1 - (-494 + 12/4). Suppose 3*m - 3*h - c = 0, -5 = -4*h - h. Does 6 divide m?
False
Suppose -19648 = -22*f - 24*f + 174518. Is 5 a factor of f?
False
Suppose -7*t - 13*t + 2848 = -18*t. Does 4 divide t?
True
Let k(l) = 6*l - 22. Let s be k(4). Suppose 2*t - 5*r = -10, -3*r + 10 = 4*t + s*r. Suppose t = -15*m + 10*m + 495. Is m a multiple of 15?
False
Suppose -2*y + 11592 = -4*w, -3*y = -9*w + 12*w - 17415. Is 11 a factor of y?
False
Let p = 311 + -306. Suppose a = -1, -8*a - 965 = -p*d - 3*a. Does 8 divide d?
True
Let c(h) = h - 1. Let w be c(4). Suppose 0*k = -w*k + 9. Suppose 7*g = 2*g + 15, d - 59 = -k*g. Does 23 divide d?
False
Let w be (-6459)/(-13) + 28/182. Let c = -287 + w. Suppose 0 = -2*u + 7*u - 4*t - 386, 3*t - c = -3*u. Does 37 divide u?
True
Does 15 divide ((-4708536)/(-126))/(3*(-16)/(-36))?
False
Let k be (-2)/(5496/(-1372) - -4). Suppose -k*u + 938 = -342*u. Is u a multiple of 10?
False
Let y be ((-186)/12 - -14)*(-8)/6. Suppose -y*t + 11*t - 3528 = 0. Does 7 divide t?
True
Let y(x) = 3*x**2 + 26*x + 9. Let o be y(-8). Let i(b) = 4*b**2 + 9*b + 17. Is i(o) a multiple of 15?
True
Suppose 4*n + y - 483 = 0, -4*n + 2*y = -8*n + 482. Let r = 182 - n. Is 11 a factor of r?
False
Let t(r) = 14*r - 17. Let c be t(5). Let f = -51 + c. Suppose -280 = -3*g - f*g. Does 8 divide g?
True
Let c = 215 - -265. Is 4 a factor of c + (-6)/(1/2*3)?
True
Suppose 24*i - 6731 = -75*i + 17029. Is 120 a factor of i?
True
Let l be (-4)/(0 + 1/(-4)). Let v be (14 + 1 + -13)*(3 - -1). Suppose -6*o + l = -v. Is 2 a factor of o?
True
Suppose 4*z + 206*h - 208*h = 14034, 14032 = 4*z - 4*h. Does 121 divide z?
True
Suppose z = 309*u - 308*u - 25407, 2*u + z = 50823. Is 33 a factor of u?
True
Let n(o) = 12*o - 10. Let f(k) = k. Let r(t) = -4*f(t) + n(t). Let q(l) = 7*l**3 - l**2 + l - 1. Let c be q(1). Does 8 divide r(c)?
False
Suppose 18*u = 17*u - 5, i = 3*u + 19750. Is 46 a factor of i?
False
Let j = -297 - -338. Suppose 169 = 10*l - j. Does 7 divide l?
True
Let w be (33/6)/(7/(-406)). Let d = -160 - w. Does 6 divide d?
False
Suppose -7*c + 25*c - 52*c + 949926 = 0. Is c a multiple of 201?
True
Suppose 17716 = -33*h - 4*h + 157576. Is h a multiple of 165?
False
Suppose 0 = 2*d - 9 + 1. Suppose -1 = u, 38*c - 35*c = 5*u + 11. Suppose -5*k - 4*q = -1000, 6*k - 796 = c*k - d*q. Is k a multiple of 36?
False
Let b = -3 - 0. Let o = 338 + -335. Is 11 a factor of (b + 21/9)*o - -127?
False
Let j be (2/(-6))/(22/330). Let i be (j - -8)*-1*34/3. Does 17 divide (i/3)/(7/(-42))?
True
Let n be ((-111)/(-74))/(2/(-344)). Let d = n + 582. Is 54 a factor of d?
True
Let s(d) be the third derivative of d**6/120 - 13*d**5/60 - d**4/12 + 11*d**3/6 - 166*d**2. Does 16 divide s(15)?
False
Let f(k) = 159*k**2 + 4*k + 12. Let o = -277 - -275. Is f(o) a multiple of 40?
True
Suppose 4*g = 3*j + 17, -2*g - 3*j = 4 + 1. Suppose -g*x - 500 = -104. Let v = 362 + x. Is v a multiple of 20?
False
Let f = 9 + -5. Suppose 2*i + 0*i = -f*t - 4, i + 2 = t. Suppose -3*n - 5*b + 479 = t, 2*n + 3*b - 27 = 294. Does 42 divide n?
True
Does 16 divide 42/(-27) + 2 - (-1309776)/108?
True
Suppose -2046*o + 2049*o + 6 = 0, 2*u = -4*o + 50236. Is 53 a factor of u?
True
Let d(n) = 4*n**3 + 20*n**2 - 3*n - 6. Let c(j) = j**3 + j**2 + 9*j - 34*j + 11*j + 13*j. Let r(g) = 3*c(g) - d(g). Is 6 a factor of r(-17)?
True
Let m = -18 + 18. Let d be (34/(-6))/(m + 1)*-6. Let c = -10 + d. Does 14 divide c?
False
Let v = -222 + 270. Suppose -v = -7*s - s. Is 3 a factor of s?
True
Let a(s) = 521*s**2 - s - 4. Suppose -5*z + 6 = -t, 0 = t - 6*z + 2*z + 5. Does 37 divide a(t)?
True
Does 31 divide (-5 - 212/12)*43272/(-32)?
False
Let w be (-4)/(-6)*(-45)/(-6). Suppose 0*g - 5*g + 4*q = -24, 0 = -5*g - w*q + 15. Suppose -g*h + 4 = -36. Is 2 a factor of h?
True
Let r(u) = u**3 - 9*u**2 + 17*u - 8. Let v(w) = -w. Let n(t) = r(t) + 3*v(t). Is 46 a factor of n(10)?
False
Let m(o) = -o**3 - 5*o**2 - 6*o - 3. Does 6 divide m(-5)?
False
Let n = -387 - -389. Suppose 6*l - 4*l + 88 = 4*x, -8 = n*l. Does 5 divide x?
True
Suppose -3*w + 50734 = -2*j, 16*w + 67672 = 20*w + 4*j. Is 58 a factor of w?
False
Suppose -3*k + 0*d = 4*d - 35, 10 = 4*k - 2*d. Suppose 0 = 2*z + 4, -2*z + 276 = -0*w - k*w. Is 20 a factor of (0 + (-302)/(-8))*w/(-14)?
False
Let i = -2612 - -3218. Is i even?
True
Suppose -2*z + 48 = -f, 3*z + 0*z + f = 77. Let d be ((-190)/z)/((-4)/20). Suppose 0 = -5*g + 2*v + 434, 5*g - d = 4*v + 390. Does 17 divide g?
False
Let u be 35/315 - (-52)/18. Suppose -4*f - x + 463 = 0, 0*f + u*f = 2*x + 361. Is f a multiple of 5?
False
Let d(c) = -c**3 - 40*c**2 + 35*c + 21. Let b be d(-41). Suppose l - b = x, 2*x + 24 = 22. Does 3 divide l?
False
Let a be 0 - 18*(2 - (-22)/3). Let c = 312 + a. Let f = 230 - c. Is f a multiple of 16?
False
Suppose -10*x + 958 = 178. Suppose -58 = 3*z - 385. Let d = z - x. Is 11 a factor of d?
False
Suppose -70*u = 8066 - 71416. Is 19 a factor of u?
False
Suppose -16*s + j = -18*s + 5302, -8 = 4*j. Suppose -5*a = 29*a - s. Is 32 a factor of a?
False
Let r = -11922 + 22248. Does 13 divide r?
False
Let f be -4 + 2 - -3 - -1. Suppose 4*r + 2*n - 447 = 5*n, r - 110 = -n. Suppose 4*a - 187 = -6*l + l, -f*a = 3*l - r. Is l a multiple of 7?
True
Suppose t - 975 = 2*i, -18*t + 16*t - 4*i + 1966 = 0. Is 4 a factor of t?
False
Is 6 a factor of 2/((-16)/(-2)) + 54691/52 + -22?
False
Let u(j) = j**2 - 29*j - 163. Does 18 divide u(103)?
False
Suppose -4*x + 30 = 6. Suppose -2*z = -m - 0 + 3, -3*z + x = 2*m. Suppose 1435 = m*s + 4*s. Is s a multiple of 21?
False
Suppose 9*j + 8 = 11*j. Suppose -2*a + 2 - 4 = 0, -j*t + 558 = 2*a. Is 28 a factor of t?
True
Suppose -2*c - 31974 = -2*r, -124*r - c = -120*r - 63963. Is r a multiple of 13?
True
Is -7 + ((-65)/20)/(2*6/(-5424)) a multiple of 17?
True
Let o = 57 + 184. Let w = o - 1. Is w a multiple of 4?
True
Does 121 divide (-5)/(-50) + (-51749)/(-10) - 0?
False
Let h(u) = 6*u**2 + 9*u + 16. Let k be h(-6). Suppose 2*i - k - 136 = 0. Is i a multiple of 54?
False
Does 11 divide 70/(-10) + (12402 - -2)?
True
Let z(r) = 2*r**2 - 126*r - 2007. Is 40 a factor of z(85)?
False
Does 14 divide -9*(-5 + 247126/(-198))?
False
Let c be 11*(-44 + 5)*(-2 + 1). Let p = 639 - c. Does 30 divide p?
True
Let y = -325 + 3041. Does 4 divide y?
True
Suppose -5*i = 5*p - 10, -3*p - 2*p = -4*i - 28. Suppose -5*u = r - 4718, -p*u - 28*r + 3768 = -24*r. Is 16 a factor of u?
True
Suppose 5*v - a = -65, -2*v - 13*a - 39 = -16*a. Let q(j) = -j**3 - 11*j**2 - 12*j - 40. Is 24 a factor of q(v)?
False
Let y be 24/16 - (2 + 678/(-4)). Let z(r) = -106*r - 1. Let b be z(1). Let x = b + y. Is x a multiple of 15?
False
Does 7 divide 238 + ((-2)/13 + 28/182)/(-5)?
True
Let x = 31 + -28. Suppose 0 = 4*s, -z - x*z + 264 = -2*s. Is 11 a factor of z?
True
Let w(q) = 4*q**2 - 2*q - 1. Let c be w(5). Let o = c - 89. Suppose -6*g = -o*g - 48. Is g a multiple of 3?
False
Let p(a) = a**2 - a + 1. Let s be p(2). Let d(y) = -3 + 16*y + 11*y - 8 - 20*y - 1. Does 9 divide d(s)?
True
Let b(x) = -5002*x**3 + x**2 + 140*x + 138. Does 3 divide b(-1)?
True
Is 4 a factor of (0 - -3)/(1 - 24349/24388)?
True
Suppose 2*u - 12 = 2*i, 5*i + 3*u + 14 = -0*u. Let f(y) = 23*y + 7. Let s(v) = -1. Let x(j) = -f(j) - 3*s(j). Is 22 a factor of x(i)?
True
Let z = -41 + 161. Suppose -7*s + 6*s + 60 = q, 2*s + q = z. Is 6 a factor of s?
True
Suppose 2*y + 3166 + 3638 = 0. Is 9 a factor of (2/3)/((-28)/y)?
True
Let r be 2 - 2*(-28 - -8). Suppose 11*w - 10*w - r = 0.