. Let h = 68 - n. Is 13 a factor of h?
True
Let f be ((-24)/(-14))/(4/14). Is 21 a factor of (-2 + 20/f)*315/2?
True
Suppose -3*v + 27 = -3*o + 6, 5*o + v + 35 = 0. Let t = 5 + o. Is t - 0 - (-3 + -8) a multiple of 3?
True
Let n(d) = -6791*d - 1. Let t be n(1). Let p = -3342 - t. Is 2/(-3) - p/(-45) a multiple of 10?
False
Is 216*((-3)/(-7) - 25/(-105)) a multiple of 12?
True
Let c = 2308 - 1350. Does 79 divide c?
False
Let b(s) = -s - 1. Let k be b(-6). Suppose -3*l - 13 = -2*u, 3*u - 2*l = 12 - 0. Suppose -u*w = 3*d - 99, -k*d + 2*w + 33 = -4*d. Does 11 divide d?
True
Suppose 3*n - 44 = -5*z + 17, -25 = -5*z. Is (n + -1)/(14/126) a multiple of 33?
True
Suppose 33*g = -22*g + 12760. Does 2 divide g?
True
Let v(a) = -24*a + 329. Does 63 divide v(10)?
False
Suppose 0 = -2*j - 4 + 2. Let r(u) = u**2 + 1. Let x be r(j). Does 18 divide (1/x)/(4/328)?
False
Suppose 0 = -12*c - 242 + 482. Is c a multiple of 5?
True
Let f(c) = c**3 + 17*c**2 - 19*c - 17. Let u be f(-18). Let t = -7 + u. Does 14 divide (7/(-1))/(1/t)?
True
Let f(k) = -15*k - 12. Let y be f(-12). Suppose y = -9*n + 11*n. Suppose 2*g - 6*g = -n. Is g a multiple of 21?
True
Let s be (-21)/(-14)*(2 + 0). Suppose -20 = -z + 4*b, -5*z - s*b = -z - 4. Let k = 40 - z. Is k a multiple of 6?
True
Suppose 11*f - 7*f + 3*c = 11667, 2*f - 4*c - 5850 = 0. Is 21 a factor of f?
True
Let b be 8/6 - ((-19)/(-3) + 2). Let u(t) = -t + 17. Is 4 a factor of u(b)?
True
Suppose -43*o = -25*o - 24336. Does 60 divide o?
False
Suppose 6944 = 45*n - 31*n. Does 52 divide n?
False
Suppose 8*k - 3365 = -501. Is k a multiple of 9?
False
Suppose 6*p - 3 = 7*p. Let g be (-1)/((-12)/3 - p). Does 16 divide 60 + 6 + -2*g?
True
Let y(b) = -2*b**3 + 9*b**2 + 5*b + 9. Let z be y(-6). Let q = z + -1047. Is 8 a factor of (q/(-9))/(-4)*-3?
False
Let g be 30*3/(-4 + 5). Suppose 21*x - 16*x = g. Is x a multiple of 4?
False
Suppose 0 = -4*i + 2 - 2. Suppose 1085 = 7*t - i*t. Is 6 a factor of t?
False
Suppose 0 = 3*z + z - 8. Suppose 2*m + r = 156, -5*r + 2*r = z*m - 148. Does 13 divide m?
False
Let u(c) = 3*c**2 - 56*c + 80. Is u(25) a multiple of 20?
False
Suppose -3*v + 10 = -g, -3*v + 6 = 2*g - 1. Suppose 5*h + v*j = 2*h + 231, j - 151 = -2*h. Does 4 divide h?
False
Suppose 2*m - 2*x = m, 0 = -2*x. Suppose m = -2*n - n + 459. Is n a multiple of 9?
True
Let r(b) = -6*b + 28. Let m be r(4). Suppose 5*w - 35 = -m*g, g + 7 = 2*w + 4*g. Does 3 divide w?
False
Is 23 a factor of (-3673 - 0/(12/4))*-1?
False
Suppose -45*s = 16168 - 92668. Is s a multiple of 63?
False
Let l(n) = -3*n**3 + 28*n**2 + 24*n + 5. Is 29 a factor of l(9)?
False
Suppose 0 = -14*p + 7*p + 602. Is 24 a factor of p*30/25 + (-2)/10?
False
Suppose -71*r + 341628 = -26933. Does 79 divide r?
False
Let d = -35 + 49. Suppose d*o = 10*o + 684. Is 28 a factor of o?
False
Suppose 0 = -4*r + 2*r + 10. Suppose 5 = 2*b + 2*n - 5, -r*b + 28 = 2*n. Suppose -2*h + 44 = v, -2*h - 88 = -b*h - 3*v. Does 20 divide h?
False
Is 12 a factor of (-5*(-20)/75)/(3/2160)?
True
Is (-4)/28 + -6 + (-570)/(-21) a multiple of 17?
False
Let m(j) be the first derivative of -2/3*j**3 + 0*j**2 + 2*j + 7/4*j**4 - 6. Is 25 a factor of m(2)?
True
Suppose -h = -4*j + 29 + 14, 0 = 5*j - h - 55. Let y = 11 - j. Let k(v) = -19*v**3 + 2*v + 1. Is k(y) a multiple of 9?
True
Let b(i) = 16*i - 1. Let a be b(-11). Let o = a - -351. Is 23 a factor of o?
False
Let g(a) = -a**3 - 6*a**2 + 6*a + 3. Let h(y) = -9*y. Let u be h(-2). Suppose -u = 5*w + 17. Is 10 a factor of g(w)?
True
Suppose -5*t = v - 390, 11*v - 10*v + t - 398 = 0. Does 50 divide v?
True
Let a(p) be the second derivative of p**4/3 - 8*p**3/3 - 11*p**2/2 + 25*p. Does 3 divide a(6)?
False
Let a(n) = 77*n**2 - 8*n + 23. Is a(2) a multiple of 8?
False
Let v = -8 - -10. Let f = v - 111. Let b = f - -173. Is b a multiple of 32?
True
Let q be ((-1)/2)/((-3)/(-12)). Let p(h) = h**3 + 2*h**2 + 4. Let u(t) = 3*t**3 + 4*t**2 - t + 9. Let w(l) = q*u(l) + 5*p(l). Is w(-2) a multiple of 10?
False
Let f(x) be the first derivative of x**3/3 + 3*x**2/2 + 8*x + 6. Let h be ((-14)/(-8))/((-1)/4). Is 12 a factor of f(h)?
True
Is (-2)/5 - ((-45562)/55 - -11) a multiple of 25?
False
Let h be ((-1 + 0 - 0)*0)/2. Suppose -p - p + 6 = h, -3*c + 24 = 3*p. Does 2 divide c?
False
Suppose -595*v = -586*v - 13248. Is 14 a factor of v?
False
Let r be 3/(28/(-8) - -3). Let t = r - -8. Suppose 2*y = 26 + t. Is 5 a factor of y?
False
Let u be 1 - (4/(-1))/((-38)/(-285)). Is (u + -16)*(11 - 0) a multiple of 15?
True
Suppose 119 = -q + 3*q + 5*k, 0 = -q - 3*k + 58. Suppose -a + 15 = -q. Does 13 divide a?
False
Let h be 42/8 + ((-27)/(-12))/(-9). Suppose -70 = -2*i + h*j, 2*i - 41 = i + 4*j. Is i a multiple of 7?
False
Let g(x) = 8*x**2 - 11*x + 24. Is g(9) a multiple of 28?
False
Let g = -20 - -12. Let l(j) = j + 2. Let t be l(g). Let v(i) = -4*i - 8. Does 16 divide v(t)?
True
Let v(g) = -g**3 + 10*g**2 + g - 6. Let x be v(10). Is 48/((3 - x)*-1) a multiple of 12?
True
Suppose 262*f - 256*f = 7146. Is f a multiple of 32?
False
Suppose 1 = -3*z + c - 1, -4*c - 5 = z. Let a(h) be the first derivative of -19*h**2 + h + 15. Is 19 a factor of a(z)?
False
Let w = 41 + -38. Does 2 divide ((-5)/(-3) - w)*-3?
True
Suppose -6*j = -2*j - 12. Suppose g - 24 = -2*r, -8*g = j*r - 3*g - 22. Is r a multiple of 2?
True
Suppose 9*g - 5000 = -g. Is g a multiple of 10?
True
Suppose 0 = 13*v - 654 - 4325. Is 8 a factor of v?
False
Let k be (-273)/(-52) - 3/(-4). Let m = k - -15. Suppose l - m = 41. Is l a multiple of 31?
True
Let f be (-11 - -28)*(2 + -1). Let z(w) = 8*w - 25. Does 21 divide z(f)?
False
Let a(h) = 4*h**2 - 29*h + 256. Is 56 a factor of a(8)?
True
Suppose 3*i = 2*j - 6, -5*j + 8 = 2*i - 7. Is (5 - (j + -2)) + 124 + -2 a multiple of 21?
True
Suppose 7*v + 8505 = 3*o + 10*v, -14190 = -5*o - 2*v. Does 40 divide o?
True
Suppose -5*q = -5*w - 2095, 3*w + 548 = -5*q + 2675. Is q a multiple of 10?
False
Let g(m) = -3*m**3 + 3*m**2 - 6*m + 2. Let t(r) = 7*r**3 - 6*r**2 + 13*r - 3. Let l(f) = -5*g(f) - 2*t(f). Does 8 divide l(3)?
True
Let i(c) = c**3 - 3*c**2 - 12*c - 10. Let p be i(6). Let y = -21 + p. Suppose 7 = -y*u + 77. Is u a multiple of 14?
True
Suppose -4*g - 5*l = 65, 3*g - 4*l + 10 = -0*g. Let w = 18 + g. Suppose -w*o + 16 = -4*o. Does 3 divide o?
False
Suppose -5*j + 4*j = 5*b + 119, -2*b + 4*j - 52 = 0. Let q be 37/(-3) + (-8)/b. Does 3 divide (-3)/q - (-177)/12?
True
Let w = 5336 - 2669. Does 15 divide w?
False
Let k be (24/5 - 2)/(6/90). Suppose b - 239 = -k. Does 9 divide b?
False
Suppose 5*z - 22 = -12. Suppose -a + 4*u - 3*u = -10, 0 = -a + 5*u - z. Is a a multiple of 2?
False
Let f(h) = 32*h - 247. Is f(30) a multiple of 23?
True
Let b(o) = o**2 + 6*o - 12. Let d be b(14). Let q = d - 26. Is 24 a factor of q?
False
Let a be ((-63)/(-6))/(3 - 22/8). Suppose 6*j - j - 30 = 0. Let r = j + a. Is 13 a factor of r?
False
Suppose -16*x + 8 = -12*x. Suppose x*g = -0*g + 2. Is (-3 - g) + (-756)/(-9) a multiple of 13?
False
Let j(y) = y**2 + 6*y + 10. Suppose 0 = -4*k - 4 - 28. Does 13 divide j(k)?
True
Suppose 318484 = 114*p - 1172. Is 25 a factor of p?
False
Suppose x - 4*h + 348 = -3*x, 2*h - 6 = 0. Let z = -39 - x. Does 15 divide z?
True
Suppose 0 = 43*x - 34*x - 3348. Does 12 divide x?
True
Let a(j) be the first derivative of 7*j**4/4 + 2*j**3/3 - 3*j**2/2 + j - 5. Does 2 divide a(1)?
False
Let c be (-56)/3*(5 + 4). Is ((-4)/12)/(4/c) a multiple of 14?
True
Let o = 280 - -224. Is o a multiple of 28?
True
Let q be (-4)/(-16)*-3*-20. Is q/25 - (-276)/15 a multiple of 4?
False
Let b = -191 - -256. Is b a multiple of 13?
True
Let m(k) = -15*k + 49. Is 19 a factor of m(-41)?
False
Suppose -33*s = 4164 - 70692. Is 11 a factor of s?
False
Suppose -5*w + 20 = -y, 2*w - 4 = y + 4. Suppose y = 2*m + 55 - 219. Does 19 divide m?
False
Suppose 2*b + 10 = -0*b, -3*b = 5*x - 290. Suppose -16 = 4*z, -4*v + 13 = 2*z + 1. Suppose v*f - x = 29. Is f a multiple of 9?
True
Suppose 4*x = 2*n + 2556, 396 = 3*x - 2*n - 1519. Is x a multiple of 18?
False
Suppose 5*d = -10, 3*i = -2*d + 248 + 321. Let o = -127 + i. Does 32 divide o?
True
Let s be 9/(-6)*(-12)/(-9). Let q be (4/8 - -2)*s. Is 6 a factor of 1 + 11 + (-4 - q)?
False
Suppose -4*s + 37 = 109. Let g be (-2076)/s - (-3)/(-9). Is (g/10)/1*2 a mu