ue
Suppose 171*h = 202*h - 304668. Does 26 divide h?
True
Suppose 0 = 5*i - 190 + 220. Is 45 a factor of 3/(i/(-8)) - (-562 + -184)?
False
Let u be 5/(-10)*0*(-2)/(-4). Suppose 2*o - 17 - 15 = u. Suppose 5*l = 3*a + 2*a + 75, -5*a + o = 2*l. Is l a multiple of 10?
False
Suppose -s = -6*s + 20. Let n(m) = -9*m**2 + 10*m + 2. Let f(y) = -10*y**2 + 9*y. Let l(k) = -3*f(k) + 2*n(k). Is l(s) a multiple of 22?
False
Let j = -27 - -26. Let m(q) = -q + 1. Let p be m(j). Suppose -2*v = -3*f + 46, p*f - v = 2*v + 34. Is f a multiple of 6?
False
Let q be ((-39)/4)/((-6)/120). Let z(u) = 9*u**2 + 91*u - 3. Let d be z(-10). Let i = q - d. Is i a multiple of 16?
True
Let n(q) = -q**3 + 62*q**2 - 25*q + 528. Is 87 a factor of n(61)?
False
Let f(h) = 1535*h**2 - 383*h + 1128. Is f(3) a multiple of 57?
True
Let v(k) = 3744*k + 2185. Is v(7) a multiple of 80?
False
Does 7 divide (2 + 2 - -2) + (24 + -43 - -1949)?
False
Suppose 81 = z + 2*w, 2*z + z + 5*w = 245. Let y = 102 - z. Suppose 19 = 2*v + 3*i - y, -v + 5*i = -18. Is v a multiple of 6?
True
Suppose 3*x = 2*b + 1, x + 13 = 4*b - 0*x. Let n(v) = -2*v**3 + 5*v**2 + 2*v - 6. Let s be n(b). Let u = s + 63. Does 4 divide u?
False
Let i(s) = -425*s - 85. Let g(n) = 25*n + 5. Let x be -1 + (-62)/(-22) + 8/44. Let v(h) = x*i(h) + 35*g(h). Does 15 divide v(7)?
True
Let g = 1207 - 1618. Suppose -3*b = -s - 404, 2*b - 6*b = -5*s - 535. Is 27 a factor of (36/(-15))/(3 + g/b)?
True
Let c(w) = -w**3 + 11*w**2 - 11*w + 2. Let i be c(10). Let l(u) = 200*u + 9. Let d(v) = 300*v + 13. Let x(p) = i*l(p) + 5*d(p). Is x(-1) a multiple of 12?
False
Let m(t) be the third derivative of -11*t**4/24 - 5*t**3/3 - t**2. Let j(s) = -5*s**3 + 3*s**2 - s. Let d be j(1). Is 11 a factor of m(d)?
False
Let l(d) = 6*d**2 - 3*d - 5. Let t(x) = -x**2 + x + 1. Let p(u) = l(u) - 3*t(u). Let c be p(-4). Suppose 36*k = 40*k - c. Does 8 divide k?
True
Let f be -3 - (-4 - (-3 + -46)). Let a(z) = z**3 + 26*z**2 - 30*z - 63. Let m be a(-27). Let q = m - f. Is 11 a factor of q?
True
Suppose -33*h = -25*h - 91*h + 2540381. Is h a multiple of 104?
False
Let n = 1193 - 1783. Let t = -390 - n. Is t a multiple of 40?
True
Suppose 66*p + 5304 = 14874. Is p even?
False
Let s be (-6)/18*81/3. Let n(m) = -6*m - 39. Let g be n(s). Suppose 3*f = 3*d - 26 - 73, -5*f + g = 0. Does 33 divide d?
False
Suppose 4*w - 2*w = 10. Suppose 2*g = g + 3*i - 27, -w*i + 33 = -g. Is 993/27 - (22/g + 1) a multiple of 21?
False
Let m(y) = 11*y + 3. Let r be m(-5). Let h = r + 54. Suppose -5*j = -h*t - 771, -j - t + 0 = -157. Does 31 divide j?
True
Let h(v) = -1. Let a(g) = -g + 23. Let q(k) = 3*a(k) + 6*h(k). Does 9 divide q(-33)?
True
Let x(y) = y**3 - 25*y**2 + 31*y + 6. Let s be 40/6*306/85. Is 28 a factor of x(s)?
False
Suppose -872 = -5*a + 1428. Suppose 4*r - 3136 = a. Is 29 a factor of r?
True
Suppose -4*c - i = -19 - 17, -c - 5*i = -9. Suppose 18 = -c*f + 18*f. Suppose 5*b - 944 = 4*y, -396 = -0*b - f*b - 3*y. Is b a multiple of 24?
True
Let j(a) = 172 + 28*a + 33*a - 56*a. Is 4 a factor of j(0)?
True
Let n = -40 + -12. Let x = n - -56. Does 32 divide 148/x + 3 + -5?
False
Suppose 5*v - 9*v = -16. Let s(b) = 0*b**2 - b - 2*b**2 - 2*b**2 + 3*b**3. Does 31 divide s(v)?
True
Let h(c) be the third derivative of -c**6/120 - 7*c**5/60 - c**4/8 - 7*c**3/2 - 26*c**2. Let v be h(-7). Suppose 2*u - 6*u + 160 = v. Does 6 divide u?
False
Let v(u) = u**2 + 11*u - 12. Let i be v(-13). Suppose 0 = -7*z + i. Suppose -z*t = -3*t + 9. Does 4 divide t?
False
Suppose p = 91 + 129. Let t = p - 172. Is 4 a factor of t?
True
Is (-48)/576 - 114555/(-36) a multiple of 37?
True
Suppose -3*h + 21315 = 2*m, -116*m + 5*h - 53295 = -121*m. Does 15 divide m?
False
Suppose -12 = -4*k, 3*s = -3*k - 2*k + 15. Suppose s = -0*y + 5*y - 1540. Suppose d + 5*r - 77 = 0, -d - y = -5*d + 5*r. Is 11 a factor of d?
True
Suppose v = 4*v - 3*r - 24, 0 = -4*v - r + 7. Suppose -2*x + p + 3236 = 0, -2*x + p = -v*x + 1624. Is 27 a factor of x?
True
Let u(r) = -16*r + 393. Let q be u(0). Suppose 3*d + 3*m - q = 0, -2*d - 3*m + 67 = -191. Is d a multiple of 15?
True
Let q(j) = j**3 - 3*j**2 + 4*j + 10. Let d be q(5). Suppose 14 - d = -x. Is 8 a factor of x?
False
Suppose -z = 2*y - 9296, -5*z = 80*y - 78*y - 9312. Does 23 divide y?
True
Suppose d - 3624 = -4*z, -4*d + 14138 + 436 = 3*z. Is d a multiple of 19?
True
Let t(n) = n**3 - 3*n**2 + 5*n - 13. Let f be t(6). Suppose -2*p + 5*c = -55, -4*p + 3*c = -20 - f. Is 10 a factor of p?
True
Suppose 5*h = -0*h + 220. Let f(i) = i**3 - 16*i**2 - 377*i - 20. Let q be f(29). Let o = q + h. Is 4 a factor of o?
True
Let k = 6592 - 3523. Is 93 a factor of k?
True
Let a(r) = 39*r**2 - 2*r. Let j be a(4). Suppose -6*b + j = b. Suppose -4*x - 2*z + b = 0, 4*z - 62 = -3*x - 1. Does 23 divide x?
True
Suppose 0 = -r - j + 302, 2*r - j = 843 - 218. Is 3 a factor of r?
True
Let b = 10527 - 3425. Is 134 a factor of b?
True
Let t(i) = 41*i - 76. Suppose 3 = 6*a - 2*a + 3*n, 0 = -2*a + 2*n + 12. Is t(a) a multiple of 2?
False
Let l = 151 + -147. Suppose 8*j - 2088 = -l*j. Is 6 a factor of j?
True
Let o = 12276 - 6398. Is 9 a factor of o?
False
Let z(o) be the third derivative of -9*o**4/8 - 79*o**3/6 + 4*o**2 - 3. Is z(-21) a multiple of 61?
True
Suppose 3*j - 7*j = 160. Suppose 257*b = 240*b + 2074. Let v = b - j. Is v a multiple of 27?
True
Let c = -671 + 673. Suppose -2*w = -c*g - 1082, w = 2*g + 280 + 258. Does 16 divide w?
True
Let y = 24301 - 12969. Is y a multiple of 15?
False
Let a = -58 + 57. Does 4 divide -96*2/(1/(-3) + a)?
True
Let t(m) = -2*m**3 - 13*m**2 - 9*m - 13. Let i be t(-6). Suppose 17 = i*j + 3*u, 3 = -u + 2. Suppose j*q - 53 = 47. Is 25 a factor of q?
True
Suppose -2*n + x + 3*x + 688 = 0, -3*n + 1024 = 2*x. Suppose n = 11*z - 571. Does 83 divide z?
True
Let z be 9/((40/(-15))/8). Let j(f) = -53*f + 21. Let i be j(6). Is i/z + -1*1*-1 a multiple of 6?
True
Let k(l) = 7*l + 20. Let q be k(-4). Let c = q + 8. Suppose 2*y - y - 50 = c. Is y a multiple of 10?
True
Let z(l) = l**3 - 3*l - 3. Let k be z(-4). Let p = -42 - k. Suppose 22 = -12*a + p*a. Is 22 a factor of a?
True
Suppose 4*z = -2*s + z - 17, -3*s - z = 22. Let k(b) = b**2 + 7 + 12*b + 8*b**2 + b**3 - b + 0*b. Does 3 divide k(s)?
False
Let c(v) = -v**3 + 12*v**2 - 32*v + 9. Let p be c(5). Let d(u) = u**2 - 24*u + 102. Does 6 divide d(p)?
True
Let p(t) = 8*t**2 - 36*t - 346. Does 10 divide p(-17)?
False
Let h = 31 + -220. Let n = h - -424. Does 10 divide n?
False
Suppose -107*y + 841954 = 154907. Is 64 a factor of y?
False
Let p(a) = 3*a**3 + a**2 - a - 1. Let b be p(1). Suppose -5*y + 321 = 4*i - 259, b*y - 219 = i. Suppose -106 = -3*g + 5*r, y = 3*g - 4*r + 8. Does 2 divide g?
True
Let f = -31 + 34. Let j(t) = 38 - t**2 + 0*t**f - t + 3*t**3 - 4*t**3. Is j(0) a multiple of 15?
False
Let o be ((-32)/(-10) - 0) + 12/(-60). Suppose -5*h + 1995 = -a, -798 = -5*h + o*h - a. Does 33 divide h?
False
Suppose -3*g + 14 = 4*g. Suppose -259 - 108 = -g*u + 5*h, -3*u - 3*h = -498. Does 12 divide u?
False
Let q = 26 + -38. Let h = 90 + q. Is 8 a factor of (-97)/(-6) - 13/h?
True
Let b(w) be the second derivative of w**4/12 + 19*w**3/6 - 26*w**2 - 6*w. Does 20 divide b(9)?
True
Let z(n) = 4*n + 6. Let g be z(-6). Let v(s) = s**3 - 24*s**2 + 29*s + 44. Let o be v(23). Let c = o - g. Is 10 a factor of c?
True
Suppose -2 = -2*b + b. Suppose 16 = b*c - 248. Let k = c - 62. Is 16 a factor of k?
False
Suppose -5*f - 4365 + 30230 = g, 3*f - 15582 = 12*g. Is 13 a factor of f?
True
Suppose -6 = 3*b, -a - 3*b + 18 = 3*a. Let o(y) = -a*y**2 - 3 - 7*y + 11*y**2 + 7. Is 14 a factor of o(4)?
True
Suppose 0 = -4*y, 3*b - 2*y = -0*y + 6. Suppose b*p - 2*m + 5*m = 947, -5*m + 2370 = 5*p. Does 19 divide p?
True
Suppose 0 = -83*s + 21*s - 49*s + 5523249. Is 17 a factor of s?
True
Let b = -1435 - -824. Let r = b - -1055. Suppose -v = 3*v - 3*x - r, -555 = -5*v + 3*x. Is 38 a factor of v?
False
Suppose 0 = 27*g + 44*g - 449075. Does 23 divide g?
True
Suppose u - 40*q - 90107 = -36*q, 5*u - 450420 = -3*q. Is 11 a factor of u?
False
Let x(o) = o**2 - 2*o + 3. Let q be x(3). Let u(y) = -6 - 6*y + q - 16. Is u(-10) a multiple of 7?
False
Suppose -54*z + 622941 + 2811399 = 31*z. Does 222 divide z?
True
Let t(f) be the third derivative of -f**5/60 