 Suppose 4*c + 2*h + 2 = -0*c, -4*c = -4*h + 20. Let k be n(c). Let u = 54 - k. Does 8 divide u?
True
Let t = 237 + -227. Let n(x) = x**3 - 7*x**2 - 16*x + 6. Is n(t) a multiple of 30?
False
Suppose -13*x + 16*x = -1161. Let b = 481 + x. Is 8 a factor of b?
False
Suppose 0 = 7*p - 9*p + 4*x + 33398, 5*p - 83555 = -5*x. Is 56 a factor of p?
False
Suppose 23 - 7 = i. Suppose 0 = -22*y + i*y - 1506. Let n = -114 - y. Is n a multiple of 20?
False
Let q = -457 - -456. Is q - 13/((-39)/864) a multiple of 4?
False
Let f(g) = -170*g + 10. Let s be f(1). Suppose -o = o - 466. Let d = s + o. Is d a multiple of 44?
False
Suppose 2719 = -3*p + 4*m + m, -5*p - m = 4485. Let i be (-2)/(-3 + (-2692)/p). Is 6/33 - i/(-22) a multiple of 30?
False
Suppose 115*z = 10*z + 550082 + 1221478. Does 218 divide z?
False
Suppose 0 = 336*q - 131*q - 899540. Does 20 divide q?
False
Suppose 39*h + 111*h - 440089 = 53*h. Is 13 a factor of h?
True
Let t(f) = -3*f**2 - 54*f - 56. Let p be t(-17). Let x(l) = -3*l**3 - 4*l**2 + 3*l - 8. Is 12 a factor of x(p)?
True
Suppose -35*m + 58*m + 1219428 = 149*m. Is 17 a factor of m?
False
Let z(h) = -5*h**3 - 2*h**2 - 2*h - 48. Let x(l) = 6*l**3 + 2*l**2 + 2*l + 47. Let u(n) = -6*x(n) - 7*z(n). Let t be 3/(-18) + 26/156. Is 18 a factor of u(t)?
True
Suppose -171004 = -28*q + 345092. Is 6 a factor of q?
True
Suppose 0 = 5*g - 5*u + 2*u - 659, -4*u - 125 = -g. Let l = 417 + g. Does 25 divide l?
True
Let f(p) = -p**3 - 5*p**2 - 3*p - 44. Let t be f(-8). Suppose -t = 2*q - 470. Is q a multiple of 12?
False
Let o(r) = -1350*r + 877. Is 47 a factor of o(-6)?
True
Suppose -31*b = -86*b + 67870. Let f = 2166 - b. Is f a multiple of 20?
False
Does 21 divide 32044/14 + 8/7?
False
Suppose -1343 = -u + 18*u. Let g = u - -134. Does 15 divide g?
False
Let a = 173 + 895. Does 31 divide a?
False
Does 19 divide 8 - ((-2)/(-6))/(1/(-4521))?
False
Let l = -971 - -999. Let p be 80/(-2*(-1)/8). Suppose -23*k - p = -l*k. Does 16 divide k?
True
Let x = -5274 + 5534. Does 10 divide x?
True
Let w(d) = -3465*d + 1565. Is w(-11) a multiple of 20?
True
Suppose 2*i - 4234 = -3*g, -4*i - 8*g + 6*g = -8468. Let a = i + -1445. Does 16 divide a?
True
Let h(r) = 71*r + 114. Let m be h(28). Suppose -2*o = 568 - m. Is 59 a factor of o?
True
Suppose 457 = g + 2*r, g - 2*r - 182 = 247. Does 11 divide g?
False
Let f be (-7722)/(-390) + (-2)/(-10). Suppose -12100 + 40 = -f*l. Does 67 divide l?
True
Suppose 0 = -35*j + 2*j + 21298 - 13114. Is j a multiple of 31?
True
Let i = 3595 + -1513. Suppose 14*g - 17*g + i = 0. Does 47 divide g?
False
Let w(d) = 7*d**3 + 6*d**2 + 17*d + 5. Let s(o) = -4*o**3 - 3*o**2 - 9*o - 2. Let x(z) = -5*s(z) - 3*w(z). Is 30 a factor of x(-11)?
False
Let r(x) = -4*x - 28. Let h be r(-3). Let v = h + 21. Is 32 a factor of v + (5 - (0 - 54))?
True
Let x(i) = 41*i**2 + 10*i + 10. Let z be x(-1). Is z/(-82) + 722/4 a multiple of 30?
True
Suppose -5*j - 4*g = -7333, -11710 = -2*j - 6*j + 5*g. Is j a multiple of 89?
False
Let n = -3 + -15. Let v(f) = -f + 2. Let s be v(n). Suppose -10*r + s*r - 3240 = 0. Is r a multiple of 55?
False
Let s(k) = -k**3 - 6*k**2 - 1. Let g be s(-6). Does 9 divide ((-231)/(-28))/(3/8) - g?
False
Let y = 63 - 58. Suppose -101 - 1292 = -y*x + 2*b, -2*x = -3*b - 555. Does 9 divide x?
True
Let v = 138 - 382. Let d = 663 + v. Is d a multiple of 8?
False
Suppose -7*m = -10662 - 18535. Does 31 divide m?
False
Let m(k) = 7*k + 16. Let p be m(3). Suppose 107 = 6*w - p. Suppose -10*y + 8*y = -w. Is y a multiple of 12?
True
Is 19 a factor of ((-3)/5)/(186/(-1419490))?
True
Let c(i) = 9*i + 72. Let p be c(-6). Is 26 a factor of p/(-81) + (-4216)/(-18)?
True
Let o(v) = 30*v**3 - 122*v**2 - 24*v + 7. Does 36 divide o(10)?
False
Let b = 3983 + -1446. Does 3 divide b?
False
Let r be (-2*3/(-9))/(9/54). Suppose -3 = 3*b, h + r*b - 118 = -12. Let s = h + -5. Is s a multiple of 35?
True
Let p(w) = -w**3 + 29*w**2 - 8*w + 211. Is 9 a factor of p(18)?
False
Let x(n) = n**3 + 7*n**2 + 11*n + 9. Let j = 62 - 67. Let t be x(j). Suppose -y + 5*u = -0*y - 26, 4*y = -5*u + t. Is y a multiple of 4?
False
Let p = 1475 + -374. Suppose 0 = 4*c - 2*b - 888, 0*c + p = 5*c + 2*b. Is 12 a factor of c?
False
Suppose 0 = -0*v + 3*v - 9. Let j = -5127 + 5119. Is 30/(v/(((-36)/j)/3)) a multiple of 2?
False
Suppose -s = -51 - 64. Let f be (5 - s/25)/(1/(-5)). Does 9 divide 23 - ((-5 + 4)*-8)/f?
True
Suppose 4*n - 1956 = n. Let m = 111 - 123. Is (m/7)/(1 - n/644) a multiple of 14?
False
Suppose -12 = -0*l + 4*l, 5*a = -3*l - 9. Suppose 12*x - 4279 + 667 = a. Is 43 a factor of x?
True
Suppose 2*o - 8766 = -54*g + 51*g, -2*o = 4*g - 8764. Does 17 divide o?
True
Let o = 8 - 6. Suppose o*t = 12*t - 600. Does 36 divide (96/(-80))/((-2)/t)?
True
Let j be -6*4/16 + 36/(-8). Is 5 a factor of 106/20 + j/20?
True
Let d(q) = q**2 - 28*q + 80. Is 16 a factor of d(-20)?
True
Let t(r) = -7*r - 2. Let u = 8 + -10. Let o be (3/u)/((-5)/(-80)*4). Is t(o) a multiple of 10?
True
Let a(n) be the second derivative of -41*n**3/6 - 17*n**2 - 98*n. Is 13 a factor of a(-3)?
False
Suppose 0 = 36*k - 33*k + 2*m - 27835, -2*k + 2*m + 18540 = 0. Is 35 a factor of k?
True
Let d = -42 - -218. Let h(s) = -9*s - 204. Let r be h(-23). Suppose -4*a = -r*t + d + 312, t = 5*a + 159. Does 32 divide t?
False
Let y = 65 + -54. Let f(v) = 3*v - 28. Let t be f(y). Suppose -4*r = t*n - 3*r - 122, 4*n - 90 = 3*r. Is 8 a factor of n?
True
Let k(n) = -8*n + 5. Let j be k(0). Suppose 4*s - 4*y - 240 = 0, j = -3*s - 5*y + 225. Is 26 a factor of s?
False
Let v = -24 - -173. Suppose -28 = -5*t + x + v, -3*x - 63 = -2*t. Is 8 a factor of t?
False
Suppose 153*c = 155*c, -3*o = c - 11721. Does 7 divide o?
False
Let y(h) = 30*h**2 - 307*h - 3274. Does 2 divide y(-11)?
False
Suppose 78 = -2*z + 28*z. Suppose 5*u - o - 1713 = 0, 4*u + z*o = -2*o + 1353. Is 9 a factor of u?
True
Suppose 113*q = 108*q - 2*f + 38803, 5*f = 4*q - 31016. Is q a multiple of 17?
False
Suppose -7*r - 11*r = -10134. Suppose 1049 + r = 4*c. Is 13 a factor of c?
True
Let a(q) = -q**3 - 34*q**2 - 22*q + 72. Suppose -3*x + 134 = -7*x + m, -5*m - 112 = 3*x. Is 20 a factor of a(x)?
True
Is -8*(-8)/(-224)*(18 + 0)*-1764 a multiple of 20?
False
Suppose 405*j + 1616 = 409*j. Let n = 480 - j. Is 4 a factor of n?
True
Let d(r) = r**3 - 15*r**2 - 3*r + 31. Let w be d(15). Is 362/2 - 2*21/w a multiple of 8?
True
Let z(x) = -59*x + 12680. Does 4 divide z(40)?
True
Suppose 3*w + 10269 = 3*u, -8080 = -4*u - 4*w + 5596. Is u a multiple of 14?
False
Let a(q) = q**2 - 13*q + 11. Let u be a(13). Suppose u*i = 8122 + 1800. Is 11 a factor of i?
True
Suppose 0 = 5*y, 3*y - 142 - 568 = -5*u. Suppose b - u = 76. Is 18 a factor of b?
False
Suppose 0 = -7*j + 378 - 280. Is (j/6)/((-66)/(-26532)) a multiple of 12?
False
Let i = 19157 - 17117. Is 8 a factor of i?
True
Suppose 0*w = 2*w - 4*p + 684, 5*w + 1654 = -4*p. Let c = -246 - w. Does 7 divide c?
False
Is 110 a factor of 118/295 - 16726/(-10)?
False
Suppose -12 = -12*g + 15*g, -a = -3*g - 14. Suppose -2*l + l - v = -90, -a*l = -4*v - 162. Is 5 a factor of l?
False
Let v be (810/25)/((-7)/35). Let n(r) = -r**3 + r**2 - r + 261. Let y be n(0). Let z = v + y. Does 12 divide z?
False
Let y be 84/18 - (-6)/(-9). Suppose y*t - 4*x = -3*x + 884, 0 = 2*x. Is 17 a factor of t?
True
Let c(z) = -5*z**2 + 131*z - 166. Let k be c(25). Let f = 5 - 1. Is 8 a factor of (-280)/k*(f - 0)?
False
Suppose -f = -3*z - 558, 0 = -4*z - 3*f - 624 - 107. Let l = 35 - z. Is 18 a factor of l?
False
Suppose 0*t + 2*f = 2*t - 2302, 3*t + 2*f - 3478 = 0. Let i = t - 266. Is i/4 - (30/4)/(-5) a multiple of 28?
True
Let q = -15 - -21. Suppose q*z - 3*z - 1101 = 0. Suppose -2*w + z = 4*p - p, 4*p - 4*w - 456 = 0. Is p a multiple of 29?
False
Let r(z) = 12*z**2 - 14*z + 10. Let j be r(5). Suppose 311*v - j = 307*v. Does 12 divide v?
True
Let y = 3363 - 3276. Is 3 a factor of y?
True
Let p = 77 - 128. Let i = 93 + p. Suppose i = 10*z - 9*z. Is 9 a factor of z?
False
Let l(m) = m**2 + 7*m - 46. Let w be l(-18). Let r = w - -191. Is r a multiple of 49?
True
Suppose 18*t - 12140 = 266518. Is 16 a factor of t?
False
Suppose f - 266 = -4*y, 5*y - 1433 + 369 = -4*f. Suppose 37*a = 35*a + f. Does 11 divide a?
False
Let p be (-4890)/(-13) + 1 + 75/(-65). Let 