
False
Suppose -8*q + 4 = -12. Suppose -8*d + 72 = -q*d. Is 4 a factor of d?
True
Is ((-164)/3)/(664/(-593118)) a multiple of 41?
True
Let h be 1/4 + 331/4. Suppose 0 = 2*p - 3*p + 5*c + 4, -2*p = 5*c - h. Let v = 13 + p. Is v a multiple of 24?
False
Does 37 divide 22/(-110)*25 - (-1 + -17505)?
True
Let t be (6/(-9))/(6/207). Let m = 23 + t. Suppose 3*l - 1 - 29 = m. Does 7 divide l?
False
Let u(d) = -25*d**3 - 4*d**2 - 59*d - 224. Is u(-8) a multiple of 82?
True
Let f(p) be the first derivative of p**2/2 + 10*p + 2. Let n = -5 - -12. Does 10 divide f(n)?
False
Let f = 484 + 931. Suppose 0 = -2*w - b + f - 27, 2082 = 3*w - 5*b. Is 15 a factor of w?
False
Let s(w) = -w**3 + 63*w**2 - 250*w + 948. Does 86 divide s(58)?
True
Suppose -838*f = -4*p - 840*f + 8282, 0 = -5*p + 5*f + 10315. Is 40 a factor of p?
False
Let f be -4*8/(-80) + 33/5. Let v(p) = -p**3 - 5*p**2 - 2*p - 1. Let x be v(-5). Suppose f*c + 176 = x*c. Does 20 divide c?
False
Let l(a) = -a**3 + 2*a + 4. Let m(z) = z**3 + z**2 - 2*z - 5. Let h(n) = 5*l(n) + 4*m(n). Is h(-4) a multiple of 12?
True
Suppose 0*d + 4*d = -60. Suppose 2*v + 534 = 5*z, 5*v - 14*z + 1316 = -11*z. Is 19 a factor of (v/3)/(10/d)?
False
Suppose 570 = 1054*n - 1035*n. Is n a multiple of 3?
True
Let t(m) be the first derivative of 3*m**2/2 - 4*m - 3. Let h be ((-3)/(-6))/((-14)/(-168)). Is 5 a factor of t(h)?
False
Let p(n) = 10*n**2 + 70*n - 44. Let k(x) = 5*x**2 + 35*x - 23. Let b(w) = -11*k(w) + 6*p(w). Let y be b(-15). Suppose 22 - y = -3*r. Is 14 a factor of r?
False
Let h(b) = 3*b**2 - 26*b - 1294. Is 19 a factor of h(-47)?
True
Let x(z) = 3*z - 3. Let h be x(-4). Let k be 8/(-12)*3/6*h. Suppose 41 = -5*r - g + 316, 0 = -k*r - 2*g + 280. Is 18 a factor of r?
True
Does 7 divide (-98)/(-8)*(789 - -1543)?
True
Suppose 8*k + 7138 - 33242 = 0. Does 13 divide k?
True
Let g = -54 + 901. Suppose 8*f - 682 = -4*r + 10*f, 5*r = -3*f + g. Does 10 divide r?
True
Let d = 1161 + -1087. Is d a multiple of 74?
True
Let y(u) = -2*u**3 + 6*u**2 - 5*u + 11. Let t be y(3). Is 344 + 99/(-18) + (-10)/t a multiple of 8?
False
Suppose 3*f = 4*z - 70, -3*z + z = -f - 36. Suppose z*j - 32*j + 9672 = 0. Is 12 a factor of j?
True
Suppose 1329 = -13*c - 1388. Let n = 173 - c. Is n a multiple of 55?
False
Let n(f) = -f**3 + 48*f**2 - 142*f + 86. Is 26 a factor of n(29)?
False
Let q = -96 - -96. Suppose 4*r + 2 = 14. Suppose -r*d = 4*z, d - 3*z - 13 = -q*d. Is d a multiple of 3?
False
Let q(u) = u**2 + 3*u - 2. Let j be q(4). Suppose -j*g + 25*g + 3 = 0. Suppose 3*w + 0*c = 2*c + 59, -2*c + 55 = g*w. Does 14 divide w?
False
Let z(i) = -63 + i**3 - 65 - 27*i + 51 - 30*i**2. Does 9 divide z(31)?
False
Suppose 21*o - 265621 - 1426379 = -26*o. Is o a multiple of 75?
True
Let v = -2609 - -7883. Does 189 divide v?
False
Let q(s) = -s**2 - 4*s + 17. Suppose -3*w - 18 = 3*y, -4*w = 5*y - 5*w + 30. Let a be q(y). Suppose 10 = -a*m + 155. Does 29 divide m?
True
Suppose 62209 = 4*o - 3*d - 90627, -38211 = -o + d. Is 151 a factor of o?
True
Let q = -51311 - -93743. Is 204 a factor of q?
True
Let k be (-4)/8 + (-87)/6. Let u be (-5)/k*6 - -97. Let j = -59 + u. Is 17 a factor of j?
False
Is (10750/(-8) + -1)/(4*69/(-736)) a multiple of 22?
True
Suppose 385*d = 399*d - 73416. Is 8 a factor of d?
False
Let g(a) = -39*a + 4. Suppose -2*r + 4*r - 10 = -4*u, -3*r - 3*u + 15 = 0. Suppose -2*p + r*p - 3 = 0, 0 = o - 5*p + 9. Is 32 a factor of g(o)?
True
Is 34 a factor of 88/(5 - -6) - 1*-661?
False
Let t be (-2)/2*(2 - (69 - 4)). Does 36 divide (612/21)/(6/t)?
False
Let t(o) = o**2 - 13*o + 42. Let r be t(9). Suppose r = 3*v, -3*z + 5*v + 412 = -z. Is 15 a factor of z?
False
Suppose -q - 276 = 3*q. Let i = q + 69. Suppose d + 2*z - 96 = i, -50 = -3*d + 2*z + 222. Is d a multiple of 23?
True
Let r be 15/(-75) + (-153)/(-15). Suppose 3279 - 8529 = -r*c. Does 21 divide c?
True
Let v = 511 + -507. Suppose 0 = -v*w + 40*u - 44*u + 3296, 3341 = 4*w - 5*u. Does 25 divide w?
False
Let h(c) = c**3 - 8*c**2 + 3*c - 16. Let o be h(8). Suppose 0 = -o*q - 0*q + 32. Suppose q*i - 194 = 30. Is i a multiple of 7?
True
Suppose -5*h = t - 6021, 5*t - 23 + 18 = 0. Suppose -597 = -c - o, -2*o + 6*o = -2*c + h. Does 37 divide c?
True
Is 504224/160 + (1 - 7/5) a multiple of 23?
True
Let h(y) = 5*y - 18. Let v be h(11). Suppose 0 = 10*k - v - 3. Suppose -332 = -k*q - 4*g, 0*q + 171 = 2*q - 3*g. Is 7 a factor of q?
True
Suppose -2*k - 2*k = -12. Suppose -80 + 242 = k*q. Let u = q + -13. Is u a multiple of 18?
False
Let g(k) = 15*k**2 + 635*k - 46. Is 54 a factor of g(-43)?
False
Suppose 8*h - 5*h = -6. Let n be 217/((2/(-6))/(h/6)). Suppose -4*z + 717 = n. Is z a multiple of 23?
False
Suppose -14*r - 4428 = -1754. Let c = r + 487. Is 11 a factor of c?
False
Let h(u) = -8*u**2 - 8*u**2 - 41 + 11*u + 17*u**2 + 8*u. Does 7 divide h(-22)?
False
Let x be ((-4250)/(-6) + 2/3)*1. Suppose -x = 4*u + 5*v, u + 75 + 86 = 2*v. Let b = u + 321. Is b a multiple of 15?
True
Let k = -20 + 45. Let a be 2 - 1/(-3)*-291. Let v = k - a. Does 11 divide v?
False
Let a(z) = -3*z**3 + 3*z**2 - 2*z - 25. Suppose -43 + 55 = -2*y. Is a(y) a multiple of 35?
False
Let a = 849 - 321. Let g = a + -259. Is g a multiple of 26?
False
Suppose 6*b + 552 - 7842 = 0. Let x = b + -139. Is x a multiple of 11?
False
Let s(t) = -t**2 + 2*t. Let m(h) = h**2 - h - 1. Let n(k) = 2*m(k) + s(k). Let a be n(18). Let p = -101 + a. Is p a multiple of 32?
False
Suppose 1548436 = 80*z + 142*z + 322996. Is 6 a factor of z?
True
Let i be 10 - 30/5 - 0. Let l(w) = 14*w**2 + 4*w. Is 8 a factor of l(i)?
True
Is 16767/111 - 100/1850 a multiple of 9?
False
Suppose 11*k + 4766 = 30077. Is 39 a factor of k?
True
Suppose 4*c = -3*x - 116, 2*c - 35 + 159 = -3*x. Suppose 3*b + 139 = 3*p - 17, 243 = -4*b - 3*p. Let z = x - b. Does 13 divide z?
True
Suppose -2*f = 3*f - 25. Suppose 4*o - 412 + 16 = -s, f*s - 4*o = 2004. Does 50 divide s?
True
Let x be 3*2/6 + 6. Let q = 2306 + 4054. Is 2/x + (q/7)/5 a multiple of 36?
False
Let x = 971 - 138. Let o = -513 + x. Is o a multiple of 13?
False
Suppose 7721 - 2842 = 2*k + 5*k. Is k a multiple of 11?
False
Let q(v) = -118*v - 156. Let z be q(-23). Suppose -2*y + 4*c = -z, -2*y = c + 2*c - 2544. Does 11 divide y?
False
Let s = 1621 + -1156. Does 39 divide s/((-20)/10 - (-13)/5)?
False
Let b(h) = -4523*h - 6970. Is 15 a factor of b(-5)?
True
Suppose -9*x + 25*x = -19*x + 627480. Is x a multiple of 36?
True
Let g(i) = 11*i**3 + 5*i**2 + 25*i + 15. Let j be g(7). Suppose 4*d + 37*s - 4208 = 42*s, -4*d + s = -j. Does 16 divide d?
False
Let p be ((-4)/(-6))/((-6)/(-45)). Let c(s) = -8*s**2 + 5*s - 4. Let m(f) = -13*f**2 + 8*f - 7. Let z(d) = 8*c(d) - 5*m(d). Is z(p) a multiple of 14?
True
Let u = 6 - 3. Let q = -183 - 22. Does 10 divide q/(-3) - (1/u + -1)?
False
Let u = -18 - -16. Let a be (1/u)/(10/200) + 3. Does 3 divide ((-80)/(-70))/((-1)/a)?
False
Let x = 8420 - 7352. Is x a multiple of 9?
False
Let u(x) = -9*x**3 + 5*x**2 + 13*x + 3. Let k be u(-2). Let i = 7 + k. Does 19 divide i?
True
Suppose 54*p = 19984 + 26656 + 5038. Does 242 divide p?
False
Let h(k) = 5*k**2 + 62*k - 26*k - 24*k + 37. Is 24 a factor of h(-7)?
False
Let q(f) = 18*f**3 - 2*f**2 - 99*f + 394. Is 2 a factor of q(4)?
True
Suppose 573*o = 582*o - 4896. Suppose o = 9*h - 5*h - 4*m, m - 408 = -3*h. Is h even?
True
Suppose 4*d - 17810 = 4*c + 4302, -5*c = d - 5564. Is d a multiple of 94?
False
Let p = 113 - 109. Suppose -2*x - 4*w - 4 = 0, -3*x + 4*w = p - 18. Suppose 5*c = 5*g + 750, 10*c = 11*c - x*g - 148. Does 8 divide c?
True
Let t = -13386 + 29142. Does 26 divide t?
True
Let i(u) = 41*u - 69. Let w be i(4). Suppose -w - 25 = -2*p. Is p a multiple of 12?
True
Suppose -363204 = -98*a + 44*a. Is 114 a factor of a?
True
Let d(i) = -216*i - 38. Let y = 677 - 679. Is 43 a factor of d(y)?
False
Let k = 6109 - 2823. Does 106 divide k?
True
Let l = -99 + 60. Let v = 84 + l. Suppose -46*s + v*s = -8. Is 6 a factor of s?
False
Suppose 4*b - 3548 = -4*a, -a - 2671 = -4*a + 2*b. Does 27 divide a?
False
Suppose 4*c - 2*c + 2*q = 3954, -4*q + 20 = 0. Is c a multiple of 50?
False
Let z be ((-3)/(-2))/((-6)/(-16)). Suppose 0 = 6*i - z*i - 10. Suppose i*d - 188 = 172. Does 12 divide d?
True
Suppose 3*y = -4*y + y. Suppose -5*b + 4*s + 7988 = y, 