*x = 156. Does 13 divide x?
True
Let o be 3/(-2) + (-246)/(-4). Let q = 170 + o. Suppose 0 = -5*r - 0*r + q. Is r a multiple of 13?
False
Let y(x) = -11*x + 10. Suppose 0 = -z + s - 10, -4*z - 4*s = z + 14. Let n be y(z). Suppose -8*v + 12*v = n. Is 19 a factor of v?
True
Suppose l - 6*l = 3*l. Suppose -8 = p + 3*o - 2*o, l = -2*o - 2. Is 15 a factor of (-14)/p*(-166)/(-4)?
False
Is 11642 + -4*(-8)/(-16)*-2 + -3 a multiple of 11?
False
Let a(k) = k**2 - 801*k + 983. Is 26 a factor of a(0)?
False
Let w(p) be the second derivative of p**4/6 + 19*p**3/3 - 33*p**2/2 + 47*p. Is 11 a factor of w(-22)?
True
Let u(g) = -3*g - 42. Let t be u(-18). Suppose -8*m = -t*m. Suppose i + 4*c = c + 63, m = i + 2*c - 62. Is i a multiple of 12?
True
Suppose 8*x - 10*x + 10200 = k, -3*k + 30568 = -2*x. Is k a multiple of 16?
True
Suppose -3*z - 2*z = 0. Suppose z = -a + 52 - 3. Suppose g = -1 + a. Is g a multiple of 16?
True
Suppose -7 - 1 = -2*r. Suppose -2*h + 681 = 3*i, h - 906 = -r*i - h. Is 71 a factor of i?
False
Suppose 3*u + 12 = 0, -2980 - 832 = -2*d + 2*u. Is 19 a factor of d?
False
Let t(l) be the second derivative of 5*l**4/12 - 11*l**3/6 - 9*l**2/2 - 3*l + 4. Is 17 a factor of t(5)?
False
Suppose 4*m + 26 = -5*k + 127, -3*k = -3. Let c = 87 - m. Does 4 divide c?
False
Let f(z) = z**3 - 16*z**2 + 19*z + 24. Suppose -4*s - 2*c + 67 = 21, 2*c + 80 = 5*s. Let i be f(s). Let t = i - -202. Is 20 a factor of t?
True
Suppose 3*m = 173 - 161. Suppose -4*j + 337 = 3*h - 161, -m*j - h = -502. Does 5 divide j?
False
Suppose 4*n - 8347 = 2*p - p, -3*p = 5*n - 10438. Suppose n + 1053 = 10*m. Is 70 a factor of m?
False
Let u(z) = 1083*z + 645. Does 12 divide u(9)?
True
Suppose 18*n = -154 + 46. Is (32/n)/(3/(-477)) a multiple of 16?
True
Let x be 16/6*(-9)/(-6). Let y(d) = 9 - 5*d + x*d**2 - d**2 - d - d**2. Is y(-8) a multiple of 24?
False
Let f = -1130 + 1879. Is f/9 - (-20)/(-90) a multiple of 7?
False
Suppose -19*l - 3*t = -23*l + 6, 4*l - 5*t = 2. Let w be 8/(-10)*(-363 - 2). Suppose l*o - w = -o. Does 23 divide o?
False
Suppose 2*c = -3*o - 480, 2*o + 3 = 7. Let s = c + 308. Does 2 divide s?
False
Let p = 65 + 59. Let t = -122 + p. Suppose -t*a = 4*h - 0*a - 566, -3*h + 437 = -a. Does 36 divide h?
True
Suppose -72*r + 69*r = -54. Let j be -1 + r/16 - (-24277)/88. Let c = -183 + j. Is c a multiple of 21?
False
Let i(p) = 16*p + 50. Let l be i(9). Suppose 3*k + 29 = l. Is 21 a factor of k?
False
Is ((-15)/10)/(1118/(-3864) - 20/(-70)) a multiple of 18?
True
Suppose 0 = 106*d - 827211 - 723569. Is d a multiple of 14?
True
Let p = 33 - 8. Suppose -p*q = -29*q + 28. Suppose -4*l + 1529 = q*l. Does 32 divide l?
False
Let q = 6591 + -2671. Does 6 divide q?
False
Does 10 divide (-37)/(444/(-155856)) - 5?
False
Suppose x + 0*x - 2*g - 16 = 0, -60 = -3*x + 3*g. Let b(t) = -t**2 + 21*t + 37. Let l be b(x). Let j = l - -54. Is j a multiple of 4?
False
Suppose 2*c = 3*s + 2, -c - 5*s - 7 = 5. Is c/((-1)/24*2) a multiple of 6?
True
Let c = -16 + 18. Suppose c*l + 6 = 4*l. Suppose 8*z = l*z + 295. Does 9 divide z?
False
Is 1/(-14*4/(-107128)) a multiple of 8?
False
Let b = 66 + -51. Suppose -z + 15 = b. Suppose -3*x - 2*u + 3*u + 608 = z, -2*x + 4*u + 402 = 0. Does 40 divide x?
False
Is 38 a factor of (((-5)/15)/(-1))/((-7)/(-71988))?
False
Let h(w) = -10772*w**3 + w**2 + 125*w + 125. Is h(-1) a multiple of 9?
True
Suppose 788*f - 798*f = -38090. Is 10 a factor of f?
False
Suppose -19*b + 22*b + 5*p = 919, -2*p = -2*b + 618. Is b a multiple of 44?
True
Suppose -3*n - 3*c = -6*c - 2853, -3786 = -4*n - 2*c. Is 24 a factor of n?
False
Let a be (-1 - -2)*(164 + -32). Suppose -3*z = -3*r + a, 3*z = 7 + 5. Is r a multiple of 13?
False
Let p = 14019 - 9998. Does 29 divide p?
False
Suppose 33*s + 48370 = 5*v + 37*s, -s - 48345 = -5*v. Is v a multiple of 10?
True
Let i(y) = 127*y**2 + y + 11. Let m = 407 + -409. Is 46 a factor of i(m)?
False
Let b = -49 - -100. Let d = b + -52. Is 19 a factor of 9/45 - (429/(-5) + d)?
False
Let m(u) = -43*u. Let i be m(-19). Suppose -2*r - 4 = -6, 4*x = 3*r + i. Does 36 divide x?
False
Suppose -49*x = -62*x + 8073. Let v = x + -255. Does 15 divide v?
False
Suppose 80 = -4*u - 96. Let m = u + 74. Suppose h = 2*h - m. Is 10 a factor of h?
True
Suppose 0 = -27*t + 11*t - 352. Is 13 a factor of ((12*t)/2)/((-45)/60)?
False
Let b = 5655 + 2211. Does 7 divide b?
False
Let d = 274 + 666. Let o = d + -694. Does 28 divide o?
False
Let z(s) = -s**2 + 20*s - 14. Let r be z(5). Suppose -5*x - 3*m + 156 = 0, r = 4*x + m - 68. Does 33 divide x?
True
Let i(n) = -334*n + 255. Is i(-19) a multiple of 41?
True
Suppose -3*i - d = -21557, 7*i + 4*d = 9*i - 14390. Is 19 a factor of i?
False
Let h(o) = -26*o + 830. Is h(11) a multiple of 34?
True
Suppose 4*n - 50*n = -256726. Is n a multiple of 45?
False
Let c be (-6)/2 - (0/(-12) + -10). Suppose 1009 = c*a - 944. Is a a multiple of 9?
True
Does 76 divide 3572*((-220)/(-25) + -9)*-25?
True
Suppose w = 21 - 21. Suppose w*d - 30 = -2*d. Suppose -20*f + 650 = -d*f. Is f a multiple of 45?
False
Suppose -9092 = -7*q + 16684 + 15881. Is 121 a factor of q?
False
Let y(g) = 61*g**3 - 25*g**3 + 16 + 5*g**2 - 16*g - 1 + 8 + 15*g**3. Does 10 divide y(2)?
False
Suppose -16016 = 8*n - 77848. Is n a multiple of 59?
True
Let a(c) = -6*c + 89. Let r be a(14). Suppose 0 = r*j + x - 78, -2*j - 4*x = 3*j - 87. Is j a multiple of 2?
False
Let n(t) = 16*t**2 + 604*t - 5935. Does 11 divide n(10)?
True
Let w be ((-1310)/8)/((-1)/8). Suppose -8*u + 594 + w = 0. Is 34 a factor of u?
True
Suppose 16*a + 12749 - 68316 + 703 = 0. Does 61 divide a?
False
Let w be 6/24 + 0 - 4183/(-4). Let m = w - 458. Does 12 divide m?
True
Suppose 0 = 11828*j - 11794*j - 541926. Is j a multiple of 39?
False
Suppose 6 = -6*x + 18. Suppose 5*b - 67 = -x. Suppose -21*f - b = -22*f. Does 13 divide f?
True
Suppose 9 = -3*y + 2*y. Let f(l) = 89*l + 1070. Let m be f(-12). Is (2350/45 - 1) + m/y a multiple of 17?
True
Suppose 961*w = 983*w - 44. Let f(m) = -38*m + 4. Let p be f(-3). Suppose -a + p = z, -4*z = a - w*a - 482. Is 30 a factor of z?
True
Let z(r) be the third derivative of 0 - 12*r**2 - 3/8*r**4 + 3/2*r**3 + 0*r. Does 9 divide z(-7)?
True
Does 12 divide (-260)/(-455) + (2 - 24894/(-21))?
True
Suppose -6*h + 8*h - 2 = 0. Suppose 0 = -z - 2*u - h, -5*u = 4*z - 0*z - 5. Is 3 a factor of (z - 3)/(2/34)?
False
Suppose -11*n = -12*n + 43. Let l = n - 43. Suppose 3*z - 428 + 92 = l. Does 13 divide z?
False
Let z be (2856/60)/14 + (-4)/10. Does 10 divide (z/(-1 + 0))/((-15)/4400)?
True
Suppose 9366 = 50*o + 1766. Suppose -421 = -t + 2*p + o, -t = 2*p - 561. Is t a multiple of 57?
False
Let o(d) = -d**3 - 2*d + 9. Let u be o(0). Suppose h = u*h + 32. Is ((-15)/(-2))/(h/(-16)) a multiple of 5?
True
Suppose 0 = -o - 2*y + 1 - 0, 1 = 4*o + 5*y. Is (-1 - -5)/((-4)/o)*301 a multiple of 43?
True
Let s(u) = -4*u - 3. Let f be s(-1). Let m be 13 - 2*(f - 1/2). Suppose -209 = -m*n + 571. Is 3 a factor of n?
False
Let f = -362 - -364. Suppose m - 6*q - 3 = -10*q, m + 5*q = -f. Does 23 divide m?
True
Let j = -26381 - -49772. Is j a multiple of 17?
False
Suppose 0 = -x + v + 5, 8*x - 3*x + 3*v - 33 = 0. Is ((-54)/36)/(x/(-1084)) a multiple of 9?
False
Let j(d) = 5*d**3 - 10*d - 7. Suppose 5*s - 4*a = 37, 0 = -3*s + 2*s + 3*a + 14. Let h be j(s). Is 5 a factor of h/28 + (-6)/21?
True
Suppose -3*h + h + 16 = 2*t, 16 = 2*t - 2*h. Suppose -7*a - 7*a = 2*a - 14976. Suppose 5*q - a = -3*m, -q - 5 = -t. Is 17 a factor of m?
False
Let z(a) = -a**3 + 5*a**2 + 5*a - 14. Let c be z(6). Let b be (1 - -8)/((-6)/c). Is 20 a factor of (-16)/(-6)*b/4?
True
Let z = -165 - -186. Suppose 0 = -z*r + 4177 - 61. Does 40 divide r?
False
Suppose -4*a = -4*u + u, -3*u = 5*a - 27. Suppose 4*o = -0*m - 2*m + 112, 0 = -u*m + 16. Is 5 a factor of o?
False
Let c = 21837 + -12935. Is c a multiple of 22?
False
Let f(g) = 112*g + 4. Let n be f(4). Suppose 1106 = 459*m - n*m. Does 3 divide m?
False
Suppose 3*a + 12*j = 14*j + 21434, -8*j = a - 7084. Is a a multiple of 105?
True
Suppose 0 = 41*m - 53*m + 7296. Suppose -5*u + 371 + 385 = -3*y, -4*u + m = -4*y. Is 6 a factor of u?
True
Let t(d) be the first derivative of d**4/2 - 4*d**3/3 - 3*d**2/2 + 5*d + 2. Let v be t(3). Suppose -19*o = -v*o - 220. Is o a mult