1. Let o(v) = 6*g(v) + j(v). Is 19 a factor of o(7)?
True
Let u(v) = v + 1. Let g be 1*(-2)/2 + 2. Let y(p) = 1. Let j(f) = g*u(f) + y(f). Is j(5) a multiple of 4?
False
Suppose 898 = 8*u - 422. Is u a multiple of 33?
True
Suppose 4*w + w = 4*l + 56, -4*l - 16 = 0. Let x(f) = -5*f + 64. Is x(w) a multiple of 4?
True
Let a(r) = -13*r**2 + 2*r. Let t be a(-2). Let m = t - -124. Is m a multiple of 9?
False
Suppose -2*j + 5*y = j + 21, 0 = -3*j + y - 9. Let m be (-192)/5*(j + -3). Suppose -x - x = -m. Is x a multiple of 24?
True
Suppose 21*c - 12210 = 915. Does 9 divide c?
False
Let u(p) = p**3 - 9*p**2 + 11*p - 7. Let t be 1 + 2 + (-6 - 21). Let b be 25/3 - (-8)/t. Does 4 divide u(b)?
False
Let d = -1 + 65. Let y = d - 47. Does 4 divide y?
False
Is 55 a factor of 8 + 2191 - (-6)/6?
True
Suppose 0 = 4*q - 5*o - 722, -2*q = -7*q - 5*o + 925. Let c = 305 - q. Is 31 a factor of c?
False
Let k be 21/(-42)*0/1. Suppose k = 5*g - 8*g. Suppose 0 = -3*d - g*d + 9. Is 3 a factor of d?
True
Suppose -977 = -31*c + 139. Is 5 a factor of c?
False
Suppose -7*f + 3*f = -z + 17, -23 = z + 4*f. Is (z + 2)/((-4)/16) a multiple of 2?
True
Let d(h) = -h. Let p be d(-17). Let y = 97 - p. Is y a multiple of 20?
True
Suppose 117 - 647 = -5*p. Suppose 4*c = 4 + 4. Suppose -2*g = c*b - p, -2*g = -g + 3*b - 55. Is g a multiple of 13?
True
Suppose -38*m = -44*m + 4242. Does 101 divide m?
True
Let s = 2 + 21. Let l be (-2)/(-4)*(5 + s). Let r = l - -8. Is 22 a factor of r?
True
Let b be (0 + (-6)/8)*-4. Let r = 5 - 2. Is 19 a factor of 21 - (r - b/3)?
True
Let n(j) = -5*j**2 - 1. Let t be n(-1). Let u = t - 0. Is 30 a factor of u/15 - (-604)/10?
True
Let w be (-2)/(2*6/522). Let v = w + 375. Does 24 divide v?
True
Suppose 3*s - 4*s = 0. Let h be 0 + s - 3 - -3. Let u = 18 + h. Does 8 divide u?
False
Let i(y) = -6*y**2 + 4*y - 2. Let x be i(2). Let r = x + 20. Suppose -r*o + 8 = -58. Does 12 divide o?
False
Suppose -5*g + 8730 = -3*d, g + 2*d = d + 1738. Does 19 divide g?
False
Let m(c) = c**2 + 27*c - 46. Is 39 a factor of m(-35)?
True
Is 1724/3*(-1860)/(-248) a multiple of 78?
False
Suppose -5*y + 109 = -316. Suppose 5*f - 270 = -y. Is f a multiple of 37?
True
Suppose -21*f = -14*f - 22344. Is f a multiple of 76?
True
Suppose 3*s + 36*g - 35*g - 1134 = 0, 0 = 3*s + 2*g - 1134. Is 2 a factor of s?
True
Let l(x) = 3*x - 5. Let o be l(6). Let a = -13 + o. Suppose i - 4*r = -r + 20, a = i - r - 26. Is i a multiple of 16?
False
Let f(t) = 10*t + 26. Let y be f(-6). Let g = 49 + y. Is 15 a factor of g?
True
Let p = -453 + 795. Does 19 divide p?
True
Suppose 4*s = 5*d + 540, -3*s + 405 = 2*d + d. Let i be ((-12)/(-5))/(36/s). Let t = 27 - i. Does 15 divide t?
False
Suppose -4*n + 37 + 43 = 0. Suppose 0 = -9*k + 4*k + n. Is 2 a factor of (2 - k)*15/(-6)?
False
Let a be 4/(-10) - (-306)/15. Let k = -16 + a. Is k a multiple of 3?
False
Let y = 410 + -67. Does 49 divide y?
True
Let d(g) be the third derivative of 0 + 0*g + 7*g**2 - 2/3*g**3 - 1/12*g**4. Is d(-11) a multiple of 9?
True
Suppose -2*g + 889 = b, -3*b - 2*g + 1728 = -923. Is b a multiple of 15?
False
Suppose -i + 10 = -6*i + 5*r, -3*i + 2*r - 5 = 0. Let w be (-32)/1 + (i - 0). Let q = -10 - w. Does 12 divide q?
False
Suppose 0 = -5*b + 1 + 24. Suppose 2 = -b*q - 73. Is 10 a factor of (-10)/q - (-118)/3?
True
Suppose 4*t + 24 = 88. Suppose 5*n - 5*c - 326 = -7*c, -58 = -n + 2*c. Let r = n - t. Is r a multiple of 11?
False
Let b(c) = 5*c - 16. Let w(n) = 1. Let r(o) = 2*b(o) + 18*w(o). Let l be 48/9 - (-2)/3. Is r(l) a multiple of 23?
True
Suppose 5*g + 169 = d, 4*g = 5*d + 3*g - 725. Is d a multiple of 47?
False
Let r(o) = 11*o - 28. Let h = 103 - 95. Does 10 divide r(h)?
True
Let a be -1*1 + -10 + 4. Let o(u) = 17*u**2 - u - 1. Let h be o(-1). Let i = h + a. Is i a multiple of 2?
True
Does 40 divide (12 + 12452/(-11))*3/(-2)?
True
Let x be (-6)/10 + (2 - 1030/(-50)). Let h be 9/6*20/6. Let g = x + h. Is 9 a factor of g?
True
Let d(j) = -j**2 - 3*j - 2. Let x be d(-2). Let k(l) = -2*l + 78. Let w be k(0). Suppose 2*c - 16 - w = x. Is 23 a factor of c?
False
Let c = 282 - 234. Is c a multiple of 14?
False
Suppose -3*d + 5*d = 44. Does 15 divide (-4 - 1)/(d/165)*-6?
True
Let l be 1 + (-3 - 5)/(-2). Let h(m) = 96*m**3 + 2*m**2 + 6*m. Let v(d) = 97*d**3 + 2*d**2 + 7*d. Let q(k) = l*v(k) - 6*h(k). Does 30 divide q(-1)?
True
Let b = 372 + -232. Does 7 divide b?
True
Let y(q) = q**2 + 13*q - 2. Let w be y(-9). Let i = 50 + w. Does 3 divide i?
True
Let k = -10 + -8. Let y = k + 18. Suppose -c - 20 + 79 = y. Does 13 divide c?
False
Let z be (9/6)/(2/8). Let i(h) = 4*h**2 - 3*h - 6*h + z + 2. Does 14 divide i(5)?
False
Let h(n) be the second derivative of 2*n**3/3 + 19*n**2/2 + n. Let q(f) = 4*f + 18. Let s(j) = -3*h(j) + 2*q(j). Is s(-14) a multiple of 12?
False
Suppose -h + 4*m = 2, -5*h - 4*m + 5 + 9 = 0. Let z be -14 - -18 - h/2. Suppose -z*p + 336 = p. Does 13 divide p?
False
Let o(u) = u**2 - 5*u - 4. Let w be o(-1). Suppose 4*b - 278 = w*f, 7*b - 340 = 2*b + 4*f. Does 8 divide b?
True
Let x be (-6 + 6)*((-2)/(-4) - 0). Suppose 25*g - 20*g - 320 = x. Does 16 divide g?
True
Let t(z) = z**3 + z**2 - 2*z + 848. Does 53 divide t(0)?
True
Let w(f) = -2*f + 96. Let k be w(0). Let v = -51 + k. Suppose h + 16 = v. Is 5 a factor of h?
False
Suppose 2*t + 96 = 3*i + 7*t, -t = 2*i - 57. Is ((1 - 2) + -25)*i/(-6) a multiple of 9?
True
Let g = 544 - -95. Is g a multiple of 71?
True
Let x be (2 + 15 - 3) + 2. Suppose x + 4 = 4*u. Suppose 0*q - 5*q = -y - 569, -549 = -u*q - 4*y. Is q a multiple of 24?
False
Is 9 a factor of (-50)/75 - (-4540)/6?
True
Let t = 790 - 294. Is 16 a factor of t?
True
Let g(k) = k**2 + 13*k + 16. Let q be g(-11). Let m(z) = -z**2 - 10*z - 3. Let y be m(q). Let j = y - 15. Does 3 divide j?
True
Is 38 a factor of (-6 - 6990/(-5)*1)*1?
False
Let h(a) = -4*a - 2. Let w be h(19). Let y = w + 152. Is y a multiple of 10?
False
Let r = 42 + -33. Let z(t) = -4*t - 5*t + r + 5. Is 11 a factor of z(-7)?
True
Suppose 32*p = 91*p - 66080. Does 40 divide p?
True
Suppose r = -1, 4*u + r = -2*r + 865. Suppose 4 = 4*d, -2*s + u = s - 5*d. Does 37 divide s?
True
Suppose -2*k + f = -k - 436, -5*f + 865 = 2*k. Does 29 divide k?
True
Let y = 271 - 182. Suppose 2*p - 4*p = -5*x - 181, y = p - x. Does 22 divide p?
True
Suppose 6*m - 5*m - 114 = 0. Suppose -j + m = -52. Is j a multiple of 19?
False
Suppose 3*t - 128 = 4*c, -4*c - 2 - 6 = 0. Is t a multiple of 4?
True
Let i(s) = -10*s - 10. Let n be i(-7). Let q = n + -54. Is 6 a factor of q?
True
Suppose 5*d = 888 - 148. Does 37 divide d?
True
Suppose 5*p + 1195 = -f + 4345, -4*p + 4*f + 2520 = 0. Does 38 divide p?
False
Suppose 1592*d - 1595*d = -9540. Is 10 a factor of d?
True
Let h be (-8)/(-6)*147/14. Suppose h*q = 10*q. Suppose q*k + 8*k - 56 = 0. Is 3 a factor of k?
False
Let p = 584 + -61. Does 16 divide p?
False
Let j = -1061 - -2432. Does 10 divide j?
False
Let b be (-1*4 - (-36)/(-24))*2. Let s(v) = -4*v - 36. Is s(b) a multiple of 3?
False
Let g(z) = -3*z**3 + 16*z - 27. Is g(-9) a multiple of 84?
True
Let m(g) = -g + 5. Let y be m(7). Let n be (-4)/10*330/y. Suppose -30 = -2*q + n. Is 16 a factor of q?
True
Let o be (-2978)/12 - 9/(-54). Let a = -112 - o. Is 43 a factor of a?
False
Let a be (-199)/7 + 45/105. Let t = a - -21. Is (-30)/t*70/5 a multiple of 15?
True
Suppose 48 - 39 = 3*g. Is (3 - g) + (60 - 6) a multiple of 27?
True
Let y(m) = -m + 14. Let u be y(3). Suppose 0 = u*t - 1179 - 735. Is t a multiple of 58?
True
Suppose -2*i + 36 = 4*k, 3*k + 16 = 5*i - 22. Let w = i + 2. Is 6 a factor of w?
True
Let y = 21 + -3. Does 23 divide (-430)/(-6) + ((-84)/y - -6)?
False
Let t be -30*1/3*-2. Suppose -4*i = 5*j - t, -5*i + 25 = -j - 0*j. Is 12 + 40 - j/(-1) a multiple of 26?
True
Let t = 18 - 24. Let u = 19 - t. Suppose 5*z = -u, -a = a + 4*z. Is 4 a factor of a?
False
Let o be (1 - -2) + (1 - 0). Suppose 0 = -0*g + 4*g - o*j - 1208, -2*j - 1498 = -5*g. Does 29 divide g?
False
Let z = 8 - 5. Suppose f - 83 + z = 0. Is 10 a factor of f?
True
Suppose 45*f = 38*f + 18389. Is 37 a factor of f?
True
Let s = -3859 - -5663. Is 11 a factor of s?
True
Suppose -5*y - 3*g = 0, 3*y - 5*g = -2*g. Suppose m - 5*b = 0, 3*m = -0*m + 4*b + 11. Suppose m*x + 4*r - 109 = -y*r, -4*r = x - 9.