855 - 10423 = -w. Is w a multiple of 34?
False
Suppose 3*j = 8*j - 90. Suppose 2*x + 0*x - j = -4*s, -x - s + 6 = 0. Suppose -5*q = p + 2*p - 218, 5*p + x*q = 374. Is 15 a factor of p?
False
Let d(c) = 113 - 205 - c**2 + 104 - 25*c. Is 15 a factor of d(-14)?
False
Let b = -7574 + 15455. Is b a multiple of 13?
False
Let x(k) = -k**2 - 24*k + 110. Let y be x(-29). Does 14 divide ((-7)/35)/(2/108)*y?
True
Let a = -287 + 295. Is 5 a factor of a/(-10)*(-12)/((-120)/(-2950))?
False
Suppose 511*z = 530*z - 1240529. Is z a multiple of 12?
False
Suppose 0 = 2*h - 16*h - 224. Does 13 divide (h/3)/(-1 - (-111)/117)?
True
Suppose -164780 = -29*l + 73*l - 88*l. Does 107 divide l?
True
Suppose 35 = -5*z, 6*z = -2*m + 3*z + 24623. Does 101 divide m?
True
Is 22 a factor of 5408/(-120) + 45 - (-2 - 334562/30)?
True
Let u be 3 + -2 + (0 - (-75)/5). Let s(b) = -3*b + u - 9*b**2 - 4 + b + 2*b**3 + 0. Is 36 a factor of s(6)?
True
Let u(d) = 50*d**2 - 61*d + 61*d. Let a be u(-2). Let k = 352 - a. Is 19 a factor of k?
True
Let n(l) = -3*l - 22. Let f be n(-9). Suppose 5*a + 3*v = 8, -a - 2*v + 1 = 5. Suppose f*u = a*u + 42. Is 5 a factor of u?
False
Let r = 390 + -388. Suppose -192 = r*z + 4*v - 1112, z - 452 = -4*v. Is z a multiple of 5?
False
Suppose 6700 = v + 5*c, -2*v + 4*c + 18508 = 5164. Is v a multiple of 78?
False
Suppose 15*r + 24 = 12*r. Does 19 divide (2*(-178)/r)/(3/6)?
False
Let i(o) = -387*o - 2481. Does 69 divide i(-41)?
True
Let x = -25 - -18. Let i(v) = -v**3 + 3*v**2 + 42*v - 17. Let a be i(-6). Let h = a + x. Is 4 a factor of h?
True
Let i = -350 - -347. Is 4 a factor of -56*1*(i + 4 + -2)?
True
Suppose -28*l + 20773 = -49367. Is 13 a factor of l?
False
Is 13 a factor of (6 - 66)/6 + 790?
True
Suppose 2580 = 4*j - 2*i - 896, 4*j - 5*i = 3476. Let u = -305 + j. Is u a multiple of 6?
True
Let m(d) = 46 + 62*d + 23 - 32*d - 31*d. Does 11 divide m(-19)?
True
Suppose 5*w - 48 = 147. Let h(b) = 4*b - 48. Does 5 divide h(w)?
False
Suppose 0 = -2*c + 19 - 169. Let n(x) = -x**3 + 5*x**2 + 3*x + 1. Let p be n(-4). Let m = c + p. Does 22 divide m?
False
Let n(k) = -29*k - 9. Let g be n(-3). Suppose -a = 4*v - g, 4*a - 3*v + 229 - 598 = 0. Suppose 0 = 2*c + 32 - a. Is 29 a factor of c?
True
Let n(g) = -50*g - 120. Is n(-9) a multiple of 25?
False
Does 45 divide (3944/(-12))/((-16)/360)?
False
Suppose -61*j + 69*j - 12032 = 0. Is j a multiple of 94?
True
Let t(i) be the first derivative of 11*i**5/120 - 7*i**4/8 + 8*i**3 - 15. Let b(f) be the third derivative of t(f). Is b(14) a multiple of 19?
True
Let q = 33 + -29. Suppose 0 = -q*j - 0*k - 2*k + 64, 0 = -5*k - 20. Is 17 a factor of (j - (-3 - -4))/1?
True
Let a = -60 - -53. Let g(t) = t**3 + 6*t**2 - 8*t + 12. Let p be g(a). Suppose y - p = -5*j, -j + 3*j + 98 = 4*y. Does 16 divide y?
False
Suppose 3*i - l = 4*l + 1739, -4*i - 5*l = -2377. Suppose -i - 162 = -5*r. Is 30 a factor of r?
True
Let r = -110 + 72. Let b(v) = 2*v**2 + 32*v - 204. Let a be b(7). Let k = r + a. Is k a multiple of 13?
False
Does 32 divide ((-6)/15)/((-28)/269430)?
False
Suppose 2067 - 11624 = -g + 3*n, 5*g = -2*n + 47853. Is g a multiple of 49?
False
Suppose 0 = -4*q - 5*p + 109, -5*q = -p - 103 + 3. Suppose 700 = -q*s + 26*s. Is s even?
True
Suppose -2*u + 16786 - 6346 = -0*u. Is 45 a factor of u?
True
Suppose 0 = 101*w - 13*w + 649189 - 2533093. Is 16 a factor of w?
True
Suppose 824 = -4*j - 3*s, -j - 2*s + 0*s = 201. Let u = j - -241. Is u a multiple of 16?
True
Let a be ((-20)/15 - (-10)/12)*-10. Suppose -1 = -k, -a*q + 2*k - 846 + 5164 = 0. Is 18 a factor of q?
True
Suppose 0 = -154*u + 162*u - 448. Let s = u - -682. Does 59 divide s?
False
Let d(p) = 5*p + 535 + p**3 + 4*p**2 - 3*p**2 + 359 - 194. Let j be d(0). Suppose -z = -5*z + j. Is 14 a factor of z?
False
Let v be 28/36*3*564. Let x be (-7 - 1) + (-180)/(-15). Suppose c - 339 = -o, x*o = -0*o + 4*c + v. Is 37 a factor of o?
False
Suppose -5*r - 4*k = -6939, 0*r + k = 5*r - 6934. Suppose -437 + r = -5*i. Let b = -96 - i. Is 13 a factor of b?
False
Let b = -21 + 41. Suppose 5*u + b = 6*u. Suppose -3*g = -643 - u. Does 17 divide g?
True
Let h(j) = -j**2 - 11*j + 5. Let d be h(-10). Let c = 8 + d. Suppose -r + 1 = -c. Does 4 divide r?
True
Suppose 0*f = 3*f - t - 7981, -15 = -3*t. Let j = f - 1562. Is 13 a factor of j?
False
Suppose 715 = -t - a, -2*t = 3*t - 3*a + 3615. Let d = 1216 + t. Does 31 divide d?
True
Suppose 14*u - 20*u - 72 = 0. Let b(o) = o**3 + 8*o**2 - 51*o + 12. Does 3 divide b(u)?
True
Suppose 27*b = 2*w + 23*b - 1256, 3*b + 6 = 0. Is 35 a factor of w?
False
Let u(t) = 92*t - 6068. Is u(92) a multiple of 62?
False
Let f be (3/(-4) - 0)/(3/(-20)). Suppose -f*h + 6952 = -2*z, 2*h - 3*h = -3*z - 1393. Is 16 a factor of h?
False
Let a be (1 - -1)*(-7)/(-2). Let y(o) be the second derivative of 4*o**3 + 14*o**2 + 1370*o. Is 28 a factor of y(a)?
True
Suppose 16*u - 15*u = 41. Suppose -2*w + 475 = 46*z - u*z, -4*w - 3*z = -929. Is 29 a factor of w?
False
Let v(l) = l**3 - 14*l**2 - 16*l + 12. Suppose -617 + 41 = -36*n. Is 8 a factor of v(n)?
False
Suppose -7091 = -6*y - 2051. Is y a multiple of 24?
True
Suppose -47 = -5*y - 187. Let m = 31 + y. Suppose -99 = -m*n + 33. Is n a multiple of 21?
False
Suppose 0 = -4*u + m + 5, 3*m + 15 = -0*m. Let t(g) = g**2 - 16*g + 2. Let n be t(16). Suppose 0 = 4*s + 4*a + a - 420, u = n*s - a - 224. Does 22 divide s?
True
Let g(y) = -37*y + 34. Let m be g(-3). Let z(x) = x**2 + 4*x + 4. Let j be z(-4). Suppose -j*l - m = -685. Is 20 a factor of l?
False
Suppose 857584 = 86*x + 161*x. Is 112 a factor of x?
True
Suppose 4*p = -39*l + 37*l + 15688, 5*l = 20. Is p a multiple of 40?
True
Suppose 137*l - 142*l - 425 = 0. Does 3 divide ((-2432)/(-34))/4 - 10/l?
True
Let d = 69 + -42. Suppose -d*z + 11*z + 1792 = 0. Is 8 a factor of z?
True
Suppose -73*k + 75*k - 4 = 0. Let h be (-8)/2 - (k - 3) - -1. Is 43 a factor of h/11 - (-21501)/99?
False
Suppose -3225 = -57*l + 78798. Is 3 a factor of l?
False
Let q(m) = -5*m**3 - 2*m**2 + 7*m - 1. Let i be q(-7). Let g = i + -950. Is g a multiple of 28?
False
Is 98 a factor of 0 + (1 - 8585/(-25))/(2/70)?
True
Is 10 a factor of ((-20)/(-14))/(((-78)/(-26))/20643)?
True
Let c be (((-40)/(-16))/5)/((-3)/(-48)). Suppose -1654 = -c*u + 1034. Is u a multiple of 16?
True
Suppose 29011 - 30324 = -43*g + 95179. Does 68 divide g?
True
Let u = 138 - 140. Does 37 divide (10/4)/(u/(-148))?
True
Let h = 869 - 465. Let i = -209 + h. Let j = i + -108. Does 7 divide j?
False
Let c(p) = -4883*p + 4851. Is 375 a factor of c(-3)?
True
Suppose 2*f - f = 4*k - 20, 12 = -3*f. Is 11 a factor of ((-48)/66)/k - 18884/(-44)?
True
Suppose 4*s - y = 36796, -4*y = -159*s + 154*s + 46006. Does 126 divide s?
True
Let l(z) = z**2 - 3*z. Let g be l(3). Let r be (0 - 2)/4*g. Suppose 2*t - 3*n - 118 = -31, r = 5*n + 5. Is t a multiple of 21?
True
Suppose -5*h = -a - 1151, 4*h - 4*a - 908 = -0*h. Suppose 4*v + 2632 + 79 = 5*n, -2*v = -n + 547. Suppose n = 5*i - h. Is 24 a factor of i?
False
Let g(r) = -4*r**3 - 6*r**2 - 17*r + 6. Let n = 149 - 154. Is g(n) a multiple of 9?
True
Let s(j) = -j**3 + 7*j**2 + 5*j - 65. Let d be s(5). Let p = 131 - -49. Suppose d*y = 14*y - p. Is y a multiple of 15?
True
Let h(z) = -294*z**3 - 4*z**2 + 5*z + 8. Is h(-1) a multiple of 52?
False
Let d = 1990 + 4790. Does 30 divide d?
True
Does 12 divide (37968 - 0) + (-9560)/(-478)?
False
Suppose 9*c = 7*c. Suppose p + q - 46 = c, -5*p - 3*q - q = -227. Does 3 divide p?
False
Does 15 divide (-15)/18 + (-10211339)/(-258)?
False
Suppose -65*i + 69*i = -1928. Let x = 862 + i. Is 34 a factor of x?
False
Let f be 7/1 + (-1)/(4/12). Suppose 25*k - 2680 = 21*k - f*s, -4*s + 3350 = 5*k. Is 5 a factor of k?
True
Let j(v) = 5*v**2 - 4*v - 4. Let x be j(8). Let m = x - -22. Suppose -2*f = -5*q - m, 4*f - 535 - 77 = 3*q. Is 17 a factor of f?
True
Suppose -3*r - 275 - 310 = 0. Let u(g) = -g**3 + g**2 + 11*g + 6. Let d be u(6). Let z = d - r. Does 15 divide z?
False
Let w be (9 + 1)*72/45. Let q = 624 - w. Is 56 a factor of q?
False
Suppose v - 2212 = 42*c - 39*c, -4*v + 8869 = -5*c. Is v a multiple of 39?
False
Suppose -4*w + l - 205 = 0, -4*w - 249 + 41 = -4*l. Let o = 48 + w. Let a(h) = -16*h + 16. Does 15 divide a(o)?
False
Suppose 39*f + 32*f - 623324 = 19*f. I