p be t(9). Does 13 divide (0 + p)*(-32 + 25/(-5))?
False
Let g be 435/12 + 4/(-16). Suppose g = -0*z + 6*z. Suppose -z*y = -y - 50. Does 4 divide y?
False
Suppose 17*c = 20*c + 9, -3*x + 5*c - 1455 = 0. Let t = 1282 + x. Does 22 divide t?
True
Let y(d) = 67*d - 50*d + 150 - 21*d. Does 10 divide y(-15)?
True
Suppose -182*s = -176*s - 51240. Does 61 divide s?
True
Let f(k) = -11334*k - 720. Does 26 divide f(-2)?
False
Suppose 15*j = -3*j + 5994. Suppose -6*s = -3303 + j. Is 11 a factor of s?
True
Suppose -4*u + 3 = -17. Let o = -687 - -689. Suppose -4*l + 1 - u = -b, -32 = -o*b - 4*l. Is b even?
True
Let b = 14 - 14. Suppose -3*n + 19 + 2 = b. Suppose 99 = -n*c + 848. Is c a multiple of 12?
False
Let k(h) be the third derivative of h**5/10 + h**4/4 - 5*h**3 - 2*h**2 + 13*h. Is 13 a factor of k(-7)?
False
Suppose 3*n = 3*s - 60, 4*s = 5*s + 4*n. Let p be -3 - (-1 - 1) - s/(-4). Is p + 6 + -4 + 21 a multiple of 19?
False
Suppose w - j - 3352 = -1002, 2*w - 3*j - 4704 = 0. Is 34 a factor of w?
True
Let k = -10 + 13. Suppose 3*z - 2*z + k*i = 127, -3*i + 260 = 2*z. Suppose -5*n + z - 3 = 0. Is 13 a factor of n?
True
Let b = -55 + 76. Suppose j - 2 = n - 1, j + 3*n = b. Does 4 divide (-6 - 0)/(j/(-54))?
False
Let t(m) = 3*m**3 - 13*m**2 - 57*m + 262. Does 34 divide t(8)?
True
Let b(d) = -87*d**3 - 2*d**2 - 2*d - 1. Let c be b(-1). Suppose -c*z + 80*z = -5616. Does 78 divide z?
True
Suppose 75587 = 32*a - 39581. Does 21 divide a?
False
Let u(b) = 3*b - 24. Let t be u(8). Does 3 divide (-4 - t) + 135/(-1 + 4)?
False
Let u = -8536 - -11303. Is u a multiple of 12?
False
Let y(t) = -4*t**3 - 12*t**2 - 13*t - 24. Let x be y(-6). Suppose x = 6*u - 0*u. Does 19 divide u?
False
Let d(g) = g**2 - 37*g - 88. Does 11 divide d(-18)?
True
Is 7 a factor of 28*(-10 - (-1781)/52)?
True
Let h = 36219 - 10299. Does 8 divide h?
True
Suppose -2*z - 2*j = 9490 - 60888, 3*j = 3*z - 77079. Is z a multiple of 146?
True
Let q = 8026 - -4634. Does 13 divide q?
False
Suppose 3*l + 203 = 4*y, -2*y + 11*l = 7*l - 114. Suppose -1 = -4*x - 5, y = 5*z - 2*x. Is 3 a factor of z?
True
Let q(u) = -2*u + 1. Let w(x) = 7*x + 80. Let m(k) = 5*q(k) + w(k). Is 16 a factor of m(-21)?
False
Let n(i) = i**3 - 3*i**2 - 36*i + 97. Does 15 divide n(20)?
False
Suppose -4*h - 904 = -2*h. Let a = -38 - h. Suppose 37 = 11*o - a. Is 41 a factor of o?
True
Let g be ((-179)/2)/((-1)/2). Let f = -308 + g. Let x = 145 + f. Is x a multiple of 6?
False
Let x = 137 - 132. Suppose -5 = n, -x*o + o + n = -37. Does 2 divide o?
True
Suppose 0 = 4*t + 4*g - 4892, 5*t + 100*g - 6059 = 102*g. Is t a multiple of 92?
False
Let n(t) = 9*t**2 - 5*t + 2. Let y be n(-5). Suppose 11*s - y = 9*s. Does 42 divide s?
True
Let a(o) = -13. Let i(u) = -u + 25. Let v(y) = 10*a(y) + 4*i(y). Let f be v(-9). Let g(m) = -m**3 + 10*m**2 - 18*m - 7. Is g(f) a multiple of 10?
False
Suppose -5*k + 120*y - 118*y + 26976 = 0, -5*y = 2*k - 10802. Does 71 divide k?
True
Suppose 0 = j - 698 - 122. Suppose -j*p = -818*p - 210. Does 15 divide p?
True
Suppose 5*p + 225809 = -59*p + 2944657. Is p a multiple of 114?
False
Let x be ((-11)/2)/(1/(-24)). Suppose j + x = 2*j. Is 33 a factor of j?
True
Let p(h) = -h**2 + 2*h + 2. Let j be (2 + 1)*36/54. Let t be p(j). Suppose t*x - 176 = 80. Is x a multiple of 13?
False
Let n(q) be the third derivative of 13*q**5/60 + q**4/4 - 2*q**3/3 + 27*q**2. Let t be n(2). Suppose -5*m + 600 = -t. Does 29 divide m?
False
Suppose -4*p - 5*b + 17 = -385, -4*b = 4*p - 404. Let v = 15890 - 15888. Suppose v*q + 2*f = 288, -p - 197 = -2*q + f. Is q a multiple of 10?
False
Let y(g) = -g**3 + 38*g**2 - 57*g + 615. Is 3 a factor of y(36)?
True
Let j = 600 - 692. Let a = j - -302. Is 10 a factor of a?
True
Suppose 7*t + 446 = 33. Let h = 100 + t. Is h a multiple of 2?
False
Let g be 143532/16 + ((-12)/16)/1. Suppose 12*x - g = -11*x. Does 26 divide x?
True
Suppose -13 = j - 8. Let r be (-2675)/(-20)*(-20)/j. Suppose 5*o - 60 = r. Does 16 divide o?
False
Let s = -25 - -18. Let b(r) = 9*r**2 - 7*r - 1. Let o(y) = -3*y**2 + 2*y. Let z(a) = s*o(a) - 2*b(a). Is z(4) a multiple of 5?
True
Let l(x) = 13*x + 13*x**2 + 0 + 3 - 26*x**2 + 14*x**2. Is l(-14) a multiple of 4?
False
Let a(u) = 3*u - 1. Let b be a(1). Suppose 2*n + 3*k - 36 = b*k, -53 = -3*n - k. Suppose n*t - 12*t - 450 = 0. Does 8 divide t?
False
Let l(p) = 11787*p**2 + 15*p - 9. Does 63 divide l(-2)?
False
Suppose 42 = 64*i - 57*i. Is 125 - (1/((-5)/(-60)) - i) a multiple of 5?
False
Let l(t) = -t**2 - 46*t + 151. Let d be l(-49). Let q(i) be the third derivative of 7*i**4/24 + i**2. Is q(d) a multiple of 7?
True
Suppose 0 = -28*l - 106473 + 319497. Is 24 a factor of l?
True
Suppose 4*v + 8 + 8 = 0, 5*d = -v + 86. Does 6 divide (d/(-5))/(((-6)/(-40))/(-1))?
True
Let x(i) = -1511*i - 11. Let k be x(-1). Suppose 2*s + 22*d - 762 = 24*d, -4*s + k = 2*d. Is s a multiple of 43?
False
Suppose 0 = -74*v + 68*v + 3636. Let q = 917 - v. Does 31 divide q?
False
Suppose -5*j + 0*j - 480 = -5*q, -j = -4*q + 393. Let z = q - 94. Does 5 divide z?
True
Let q(p) = 60*p - 63. Suppose 0 = 2*u - 3*y - 11, -5*u + 4 = -4*y - 20. Is 12 a factor of q(u)?
False
Let u be (-17)/(-3) - (-30)/90. Suppose 5*m + 3*a - u*a = 24, -a + 12 = 5*m. Suppose 5*g + 9*v - 4*v - 740 = 0, 738 = 5*g + m*v. Is g a multiple of 16?
False
Let p(u) = 46*u + 15. Let j be p(3). Suppose -2*b = -3*b - j. Let m = b - -323. Is 34 a factor of m?
True
Suppose -3*a = -75 - 42. Suppose u + 2*k = 5*k - 39, -4*k = -u - a. Let l = 109 - u. Is 26 a factor of l?
False
Let b be 1498/10 - 2/(-10). Suppose -5*d - 3*m = 2*m + 510, 0 = 4*d - 4*m + 408. Let r = d + b. Is 24 a factor of r?
True
Suppose 5*n - 3*x - 80 = 0, -4*x + 56 + 21 = 3*n. Suppose -n*t + 16830 = 15*t. Is t a multiple of 18?
False
Suppose 104 - 89 = -3*d. Is 11 a factor of (-2 - (d + 2))/(1/51)?
False
Suppose -4*o + 106486 = 2*l, o + 2929 - 29555 = -2*l. Is 242 a factor of o?
True
Let o(c) = -c**2 - 7*c + 59. Let m be o(5). Does 20 divide (-36892)/(-230) + m/((-10)/(-4))?
True
Let t = 211 + -196. Let u(m) = -14*m - 2. Let y be u(-1). Suppose w = y + t. Is 3 a factor of w?
True
Suppose -3*g + 21 = -0*g - 2*x, 4*x + 7 = -g. Suppose 3*c - 5*l = 68, -5*l + 1 - g = c. Suppose -2*t + v + c + 135 = 0, -2*v = 4*t - 282. Does 9 divide t?
False
Let s = 4705 + 6493. Does 12 divide s?
False
Suppose -8*g + 23*g - 470090 = -14*g. Is 10 a factor of g?
True
Suppose 0*u - 2*u = -4. Suppose 4*n + 5*j = 2100, u*n - 4*n + 4*j = -1050. Suppose 6*t + n = 11*t. Is t a multiple of 15?
True
Suppose -267 = -2*k + 89. Suppose 14 = -2*m + k. Suppose u - 2*u = 3*w - 65, 4*w - u - m = 0. Is w a multiple of 3?
True
Let g be 3143/63 - 2/(-18). Let k = -30 + g. Is 10 a factor of k?
True
Suppose 0 = 12*p + 379 + 113. Let u(k) = k**3 + 39*k**2 - 83*k - 8. Is u(p) a multiple of 3?
True
Let l = 8088 + -1591. Does 44 divide l?
False
Suppose -57*x + 76*x - 159068 = 0. Is x a multiple of 11?
False
Suppose -6*o - 80240 = -17*o + 22687. Is o a multiple of 28?
False
Suppose -7*h - 43 + 211 = 0. Suppose 0 = -h*j + 25*j - 229. Is j a multiple of 5?
False
Let x = 787 - 782. Suppose -2*u = x*b - 7*b + 748, 4*u - 760 = -2*b. Is 47 a factor of b?
True
Let v be 8/10 + 8286/30. Let z = v - 211. Is 13 a factor of z?
False
Let g be 2*(125/(-10) - 0). Is 604 + 5*30/g a multiple of 41?
False
Let x be 46/161 + (-9)/7. Is 6/12*0 + (299 - x) a multiple of 12?
True
Let g(u) = -2*u - 14. Let i be g(-8). Suppose -5*r + 1093 = -4*q - 360, -i*r + 589 = q. Suppose -4*h + 169 = 2*v + v, h - r = -5*v. Is v a multiple of 13?
False
Let j be (-5658)/126 - (-4)/(-42). Let m(y) = y**3 - 8*y**2 + 5*y + 6. Let k be m(8). Let a = k - j. Is a a multiple of 12?
False
Let j be 5010/(-9) - (-3 - 28/(-12)). Let y = j + 1206. Is 10 a factor of y?
True
Suppose 2*m = 3*x + 148, -43*m + 48*m = 4*x + 363. Is m a multiple of 5?
False
Let x = 381 + -377. Suppose -5*t - 116 = -x*z + 148, 2*z + 5*t = 102. Is z a multiple of 17?
False
Let k = 185 + -185. Suppose -7*s - s + 1184 = k. Does 8 divide s?
False
Is (-101)/(22/(-6113 + 19)) a multiple of 47?
False
Suppose 4*v + 2*v = v. Suppose v = -10*o + 2117 + 4483. Is o a multiple of 10?
True
Suppose -5*k - 9*k + 73*k - 1228380 = 0. Does 41 divide k?
False
Suppose -5*z + 3*m + 2913 = -8*z, 0 = -5*z + 5*m