165 + 139885. Does 26 divide r?
True
Suppose -f + 5 = 0, -2*f - 19 = -a + 5. Is a a multiple of 34?
True
Let y = 23 - 23. Suppose -r + x + 94 = 0, y*r = r - 2*x - 89. Suppose 2*o = -o + r. Is o a multiple of 11?
True
Let n be 1*(-6 - -4)*3 - -2. Does 3 divide 8 - 12/(n - -10)?
True
Let z(h) = 6486*h**3 - 7*h**2 + 2*h - 1. Is 27 a factor of z(1)?
True
Is 724/(-905) - 29759/(-5) a multiple of 3?
False
Let j(i) = i**3 - 25*i**2 - 29*i + 90. Let h be j(26). Suppose 4*y + 4*z = -153 + 1293, -3*z = -h. Is 14 a factor of y?
False
Let k(o) = -4*o**3 - 24*o**2 - 100*o - 18. Is 36 a factor of k(-12)?
False
Let v = -212 + 3278. Is v even?
True
Suppose -176*i + 173*i = 672. Let o = i - -257. Does 2 divide o?
False
Does 2 divide -45 + 629 + (6/(-3) - 2)?
True
Suppose 16*f = -7*f + 4715. Suppose -2*q + 0*v - 12 = -4*v, 24 = 2*q + 5*v. Suppose -5*u = -a - 288 - f, a = q. Is u a multiple of 15?
False
Suppose 0 = 3*v + 5*a - 15 - 16, 9 = -3*v + 3*a. Suppose -v*d + 24 = 2*w, 0 = -3*w - d + 38 - 6. Suppose 29*l - 24*l - w = 0. Is 2 a factor of l?
True
Let n(j) = -2*j**3 - 4*j**2 + 2*j - 685. Let a be n(0). Let k = 895 + a. Is 15 a factor of k?
True
Let y(s) = 8*s**3 - 14*s + 5. Let f(k) = 4*k**3 - 7*k + 3. Let x(r) = -5*f(r) + 3*y(r). Let t(o) be the second derivative of x(o). Is t(4) a multiple of 9?
False
Suppose -237*a + 2872 = -241*a. Let q = -603 - a. Does 9 divide q?
False
Suppose 2*y - z - 3*z = -16, 3*z + 3 = -y. Is 31 a factor of -34*3/(y/10)?
False
Suppose 4*a - 3 = -5*k - 18, 3*k = -5*a - 9. Suppose 2*r = -0*r + 8, -y - 5*r + 530 = a. Is y a multiple of 15?
True
Suppose 2*d = 5*o - 1310, d = 2*o - 202 - 321. Let j = o + -242. Does 11 divide j?
True
Suppose d + 3 - 40 = -2*b, -3*d = 4*b - 119. Let r = d + -43. Is 3/r - 53/(-2) a multiple of 2?
True
Suppose -4*u = 4*p - 39748, 4*p + u = 20331 + 19405. Does 21 divide p?
True
Let j(w) = -w**3 + 16*w**2 - 24*w + 120. Is j(6) a multiple of 7?
True
Let n(z) = 4*z - 10. Let g(h) = 5*h - 9. Let y(b) = -5*g(b) + 6*n(b). Let w be y(-18). Suppose -54 = q - w*q. Is 3 a factor of q?
True
Suppose 2458 = -15*t + 973. Let n = -99 - t. Suppose 3*q - 5*p - 833 = 0, -3*p + 2*p - 4 = n. Does 12 divide q?
False
Suppose -j + 3 + 0 = -2*g, 0 = 3*g + 2*j - 13. Let a(x) = 84*x**2 + 1. Does 13 divide a(g)?
False
Let z(l) = -l**3 - 9*l**2 - 31*l + 19. Suppose -4*i - 6 = 46. Let b be z(i). Suppose 0 = -0*h + 6*h - b. Does 17 divide h?
False
Let y = -7 - -7. Suppose y*f - 10 = -2*f, 4*j - 2*f = 826. Suppose -6*o + 97 + j = 0. Is o a multiple of 5?
False
Suppose -13 - 1 = t. Let k(u) = u**3 + 14*u**2 + 10*u + 32. Let n be k(t). Is (n/(-10))/((-2)/(-30)) a multiple of 6?
True
Let r be (10 - (-1191)/(-24)) + (-3)/8. Let u = -76 - -45. Let k = u - r. Does 9 divide k?
True
Let u(i) = -i**2 - 17*i + 63. Let v be u(-20). Suppose -4*r - 288 = -c, 2*c + r - 588 = -v*r. Is c a multiple of 27?
False
Let s(g) = -g**2 + 10*g - 6. Let y(j) = -j**3 + 14*j**2 + 9. Let i be y(14). Let p be s(i). Does 5 divide 22/p*60/10?
False
Suppose -31*w = -33*w - 5*v + 7298, -v = 5*w - 18268. Is w a multiple of 18?
True
Suppose -5*q + 90 = -t, -2*t = 3*q - 6*t - 71. Suppose 4*k - k + 5*w = q, -4*w + 4 = 0. Suppose -5*z + 22 = -k*z. Is z a multiple of 14?
False
Let g(l) = -218*l + 326. Let n be g(-6). Let t = n - 874. Is 38 a factor of t?
True
Suppose -4*k - k - 3*g - 329 = 0, -268 = 4*k + 4*g. Let q = k - -93. Does 7 divide 1 + -3 + 4 + q?
False
Suppose 4*z - 142 = -26. Suppose z*x - 1098 = 11*x. Is 8 a factor of x?
False
Let x = 77 + 297. Does 34 divide x?
True
Suppose 5*r = -11*r - 113952. Is 10 a factor of r/(-14) + 18/63?
False
Let s(o) = 2*o**2 + 2*o - 48. Let k be s(0). Let f be 10/2*(-6 + k/(-10)). Let p(q) = -26*q + 5. Is p(f) a multiple of 40?
False
Let k(t) = t**2 - 5*t - 6. Let l be k(6). Suppose l*n = 2*n - 5*n. Suppose n = -0*d - 8*d + 208. Is 26 a factor of d?
True
Suppose 2*q + 5042 = -2*y + 47504, 0 = -q - 2*y + 21228. Is q a multiple of 283?
False
Suppose 48858 = 5*a + 5*n - 937, -3*a = -3*n - 29847. Suppose a = -3*i + 6*i. Is (1 - (-7)/(-3))/((-28)/i) a multiple of 26?
False
Let a = -3696 + 4410. Is a a multiple of 17?
True
Let r(i) = 124*i + 450. Is r(12) a multiple of 9?
False
Suppose 21 + 15 = 9*i. Suppose -b - i*c = 39, -3*b - 18 = -b - 4*c. Let z = b - -50. Is z a multiple of 10?
False
Suppose 649 = -3*t + 5*c, -3*c + 292 = 5*t + 1419. Let p = 394 + t. Suppose -2*s - p = -5*s. Is 19 a factor of s?
True
Let w = -332 + 512. Suppose 1024*a - w = 1018*a. Is a a multiple of 7?
False
Let j(f) = 94*f**2 + 2509. Is 2 a factor of j(0)?
False
Does 19 divide (-15 + (-506)/(-33))*8265?
True
Suppose -17*n - 18315 = -20*n. Is 33 a factor of n?
True
Let z(h) = h**3 - h**2 + 4*h + 27. Let q be z(0). Suppose q*t - 57132 = -27*t. Does 26 divide t?
False
Let t be (-3)/(-60)*-12 + (-6463)/(-5). Suppose 5*p - t = -132. Is p a multiple of 17?
False
Is 127 a factor of (-79)/((-168)/84 + 3554/1778)?
True
Let m = 1011 - -1168. Suppose -1107 = -2*a + 3*x, 20*a - 24*a = x - m. Is 14 a factor of a?
True
Let x(j) be the third derivative of 2*j**5/5 - 5*j**4/24 - j**3/2 - 388*j**2. Suppose 0 = 5*v + 4*k + 1, 5*k - 4 = 1. Is 7 a factor of x(v)?
False
Does 296 divide (-20)/(-17 - -22) - -7552?
False
Suppose 127156 = 2*f + 4*i, 5*i - 3*i + 190694 = 3*f. Is 16 a factor of f?
True
Let a(u) = u**2 - 22*u - 11. Let r be a(-26). Suppose 0 = 15*o - 16*o - 4*g + 434, g + r = 3*o. Is 20 a factor of o?
False
Suppose -194*v + 157*v + 545676 = 0. Is v a multiple of 59?
False
Suppose -4*a - 75*v + 79*v + 22396 = 0, -3*a = 2*v - 16792. Does 30 divide a?
False
Let k(m) be the third derivative of m**6/120 + m**5/10 + m**4/8 + m**3/3 - m**2 - 3. Suppose -q = 1 + 3. Is 7 a factor of k(q)?
False
Let m(n) = -n**2 + 4*n - 1. Let q be m(3). Let d(p) be the second derivative of 7*p**3/6 + 3*p**2/2 - 30*p. Does 3 divide d(q)?
False
Let q(r) = 12*r + 316. Let y be q(-26). Let n(u) = -2*u**3 + u**3 - 8*u - 4*u**2 + 11*u**2 - 2. Is n(y) a multiple of 14?
True
Suppose -727 = 4*y - 111. Let f be (-1106)/y + 2/(-11). Suppose f*m = -124 + 516. Is 14 a factor of m?
True
Let v(u) = -136*u**3 - 2*u**2 - 11*u - 13. Let f be v(-2). Suppose -16*c + f + 2159 = 0. Does 30 divide c?
False
Suppose 0 = 2*k + k + 5*y - 37, 2*y = -2*k + 18. Suppose 248 = j - k*x - 0*x, 4*j = -2*x + 1010. Is 9 a factor of j?
True
Let r(z) = z**3 + 4*z**2 - 3*z - 15. Let x be r(-3). Suppose 396 = x*f - 0*f - 3*i, -4*f = -2*i - 538. Is 26 a factor of f?
False
Suppose 0 = -7*y - 0 + 21. Is 31 a factor of ((-20)/50)/(y - 1862/620)?
True
Suppose -155*u = -158*u + 12. Does 8 divide 466/u - (-4)/(-24)*-3?
False
Does 29 divide 2843 + 5 + 5 + -11?
True
Let n be (2610/54)/(10/(-6) - -2). Let r be (0 + 3)/1 - n/(-1). Suppose 0 = 4*h - 60 - r. Is h a multiple of 11?
False
Suppose -6*a - 72 = -36. Let v(o) = -143*o - 256. Is v(a) a multiple of 7?
True
Suppose -c = -0*c - 6. Let h be (1/2*c)/((-6)/(-26)). Suppose -h*b + 176 = -2*b. Is 8 a factor of b?
True
Does 5 divide (580/(-232))/((-1)/3280)?
True
Let l = -6 + 30. Suppose -x + 5*g + 9 = 0, -x - 4 = 2*g + 8. Let u = l + x. Does 2 divide u?
True
Let s(i) = -2*i**2 - 98*i - 56. Let t be s(-46). Suppose -618*z = -617*z - t. Is z a multiple of 20?
True
Let l(d) = 2*d**2 + d + 1. Let s = -59 + 46. Let m(t) = -3*t - 43. Let x be m(s). Is 13 a factor of l(x)?
False
Let l = 68818 + -29602. Is l a multiple of 228?
True
Let w be -6 - ((-1 - 2) + -5). Let b(g) = 356*g - 53. Is b(w) a multiple of 20?
False
Suppose 249 = -2*c + 5*x + 2083, 3*c - 2718 = 2*x. Is 2 a factor of c?
True
Suppose 74*p - 7325 - 34983 - 10972 = 0. Does 46 divide p?
False
Let z = -2624 + 2694. Does 4 divide z?
False
Suppose 728 = -24*f + 28*f. Suppose -23*y - f = -30*y. Is 3 a factor of y?
False
Let g(r) = r**3 - 23*r**2 - 4*r - 51. Let j(w) = 3*w**3 - 68*w**2 - 11*w - 154. Let i(o) = 8*g(o) - 3*j(o). Does 23 divide i(20)?
False
Let q be 1*2/(-8) + (-343)/(-28). Suppose q*n + 9*n = 17598. Is 10 a factor of n?
False
Let t(r) = -6*r - 5. Suppose 17 + 20 = -n. Let j = 34 + n. Is t(j) a multiple of 9?
False
Let a = -205 + 179. Suppose -5*y + 4*y = -5*u + 18, u = 3*y + 26. Let f = y - a. Does 18 divide f?
True
Let u be (210/(-18)*2)/(2/24). Let k = 502 + u. Is 10 a factor of k?
False
Let h be (-1 - 130)/(3/6). Let l = h - -892. Is