 v(k) = k + 10. Let t be v(z). Suppose t = f - a - 0*a - 69, 0 = -5*f - 5*a + 315. Does 22 divide f?
True
Does 34 divide 18/((-45)/377 - 10/(-65))?
False
Let j = 33 + -32. Does 14 divide 41/j + (2 - 1)?
True
Suppose 23*j - 8 = 21*j. Suppose 3*b - 16 = -j. Suppose -g = -q - 109, -3*g + b*g + q = 107. Is 36 a factor of g?
True
Let p = 369 - -41. Does 5 divide p?
True
Suppose -27*d + 900 = -23*d. Is 44 a factor of d?
False
Let j be (12/39)/((-26)/(-169)). Let z be (-2)/4*0/2. Does 27 divide 53 - (-2 + z)/j?
True
Suppose 5*m - 1168 - 252 = 5*z, -3*m + 844 = -z. Is m a multiple of 10?
True
Suppose 0 = 2*q - a - 0*a + 5, 4*q + 4 = -4*a. Let j be 5/10*q/1. Is 6 a factor of ((2 - j) + -12)/(-1)?
False
Suppose 10*s = n + 5*s - 7, 4*n + s - 133 = 0. Let x(i) = 4*i + 18. Let v be x(-8). Let t = n + v. Does 6 divide t?
True
Let h(d) = -d**3 - d**2 + 2*d + 3. Let f be h(-2). Let r(s) = -2*s - 7. Let u be r(-5). Suppose 3*y = y - k + 69, -u*k - 99 = -f*y. Is y a multiple of 17?
True
Suppose 6*w = 10*w - 180. Let n be w/6*12/15. Suppose -n*u - u + 210 = 0. Is 10 a factor of u?
True
Let u(d) = -d**3 + 12*d**2 - d + 17. Let h = 19 + -7. Let n be u(h). Suppose -2*v = -3*z - 19 - 1, v = 4*z + n. Is v a multiple of 3?
False
Let x be -10*2*4/(-16). Let s(c) = -c - 2*c + 81 + x*c - 3*c. Does 13 divide s(0)?
False
Suppose 4*s = 2*i - i - 129, 662 = 5*i - 3*s. Is 7 a factor of i?
True
Let w(t) = -14*t**3 + 2*t**2 + 1. Let i be (-5 - -11)*((-14)/6 + 2). Is w(i) a multiple of 21?
False
Suppose -21657 = -10*n - 3827. Is 79 a factor of n?
False
Let s = 208 + 30. Suppose 0 = -0*l - 2*l + s. Is 7 a factor of l?
True
Suppose 6 = -5*s + a, a - 3 = 4*s + 2*a. Is 24 a factor of ((-4)/(-14))/s + (-34162)/(-203)?
True
Let i = -4 + 6. Suppose 0*t + 14 = 2*t - 3*n, 5*t + i*n - 16 = 0. Suppose 83 = t*b - 165. Is b a multiple of 25?
False
Suppose 0 = -4*g + 5*k - 13, k = -5*g - 20 - 18. Does 2 divide (2/3)/(4/(-294)*g)?
False
Let g(l) = 6 + l + l + 8*l - 6*l. Is g(2) a multiple of 14?
True
Suppose -2*d - 2*n = -d + 6, 2*n = 3*d + 58. Is 9 a factor of ((-3)/((-9)/4))/(d/(-1080))?
True
Let c be 0 + -1*(-57 + -3). Let y be 13/(-65) - (-22)/10. Suppose -y*s + c = 2*s. Does 12 divide s?
False
Let b = -663 + 797. Is b a multiple of 67?
True
Suppose -8*z + 1075 = -20245. Is z a multiple of 38?
False
Let a = 318 - 183. Does 27 divide a?
True
Suppose 0 = -17*o - 12*o + 2900. Is o a multiple of 4?
True
Let q(t) = -14*t**2 - 4 - 10*t + 9*t + 23*t**2 + t**3. Does 17 divide q(-8)?
True
Suppose -5*z = -2*q - 631, -z - z + 5*q = -244. Let b = -19 + z. Is 19 a factor of b?
False
Suppose -k + 0*o + 289 = 5*o, -4*o - 592 = -2*k. Is 18 a factor of k?
False
Let d(b) = -b**3 + 4*b + 36. Suppose 0 = 2*j + 5*t - 25, 5*t - 5 = -2*j + 4*t. Is d(j) a multiple of 7?
False
Suppose -3*v = -2*k - 571, -k - 192 = -v - 0*k. Suppose 0 = 2*t - y - 95, 4*t - y - v = 4*y. Is 16 a factor of t?
True
Let b(u) = 5*u**2 - u + 1. Let g be b(1). Suppose 2*n - g*r = 63 + 1, 0 = 3*n - 5*r - 96. Is 7 a factor of n?
False
Let s be ((-12)/18)/((-1)/9). Let b be 1*(s + -1 + -2). Suppose -y + 3*y + 4*r - 52 = 0, b*r - 109 = -4*y. Is 7 a factor of y?
True
Let b(u) = 60*u + 4. Does 16 divide b(17)?
True
Let c(a) = 89*a + 23. Let b be c(13). Suppose -s + 11*s = b. Is s a multiple of 25?
False
Suppose 2 = 3*a - 5*c, 5*a + 3*c + 26 = 4*c. Let h(w) = w**2 + 12*w - 1. Let t(i) = -2*i**2 - 24*i + 1. Let x(g) = 11*h(g) + 6*t(g). Does 7 divide x(a)?
False
Let x(k) = -2 + 0 - 1 + 29*k - 2. Does 15 divide x(4)?
False
Suppose -3 = 4*m + d - 2, 3*m - 3*d = 3. Suppose -5*v - 165 = -u - 4*u, -2*u - 3*v + 41 = m. Is 20 a factor of u?
False
Suppose 0 = -4*r + 2*y - 2, -6 = 2*r + y + 1. Let v = 4 + r. Suppose -5*q - 19 = -b, 0 = -4*b + q + v*q + 25. Is b a multiple of 2?
True
Suppose -25 + 5 = 2*i. Let w(k) = -2*k + 10. Does 5 divide w(i)?
True
Let t(r) = 3 + 93*r - 59*r - 71*r. Is 11 a factor of t(-2)?
True
Suppose -5*u + 9260 = -5*g, -4*g = 4*u - 3912 - 3528. Is 64 a factor of u?
True
Let h be (-470)/(-4) - (-2)/(-4). Suppose 11*f = 8*f + h. Let s = 89 - f. Is 25 a factor of s?
True
Suppose -4*h = -2*h - 98. Suppose 2 = s, -5*s + h = 2*x - 45. Is 21 a factor of x?
True
Let d = 8 - -12. Let c(o) = o**3 - 21*o**2 + 25*o - 35. Does 5 divide c(d)?
True
Suppose -49 = -9*n - 13. Suppose -x + 770 = n*c, -3*c + 506 = 5*x - 80. Is 22 a factor of c?
False
Is 168/(-6)*-1 + -1 a multiple of 9?
True
Suppose -8*t = -1088 + 200. Suppose 0*g = -g + t. Is g a multiple of 19?
False
Let m(w) = -5*w - 18. Let b = 24 - 47. Does 10 divide m(b)?
False
Suppose -3*b - 558 = -4*p, 26 = -2*p - 3*b + 314. Is 8 a factor of p?
False
Let x = 278 + -468. Let p = -92 - x. Is 7 a factor of p?
True
Is 48 a factor of 36*(7 - (-1304)/24)?
True
Let w(f) = 5*f**2 - 13*f + 20. Does 68 divide w(-12)?
False
Let h = 464 + -458. Let x(p) = p**3 - 2*p**3 + 0*p**2 + 8*p**2 - 10 - 3*p. Is x(h) a multiple of 11?
True
Suppose 0 = 2*z - 0*z - 4*k - 26, 0 = 3*z + 3*k - 21. Let r(q) = -z*q + 4*q + 2*q**2 - 4 - 1. Is r(8) a multiple of 26?
False
Suppose 0 = 2*p + 4, 5*x - 8*p + 3*p = 5250. Does 53 divide x?
False
Let h = 326 + -327. Let d(t) = -1. Let q(v) = -11*v - 3. Let g(p) = -d(p) + q(p). Is 3 a factor of g(h)?
True
Suppose -127*a + 264 = -121*a. Is a a multiple of 7?
False
Let q be 2/10 + (-24)/20. Let b be 37 + (0 + 1)*q. Suppose -3*j + j = -b. Is 18 a factor of j?
True
Suppose 152 = -0*a + 4*a. Let s(n) = n**2 - 9*n + 23. Let m be s(11). Suppose 5*q - a = -i, 5*i + 3*q - 169 = -m. Is 13 a factor of i?
False
Let o(x) = -7*x**2 + 254*x - 24. Is o(36) a multiple of 4?
True
Let p(s) be the third derivative of -s**5/60 + 3*s**4/8 + s**3/3 + 5*s**2. Let b be p(9). Suppose 4*h + 3*m + 0*m = 55, 0 = -4*h + b*m + 50. Does 13 divide h?
True
Suppose 0*n = 3*n + 3*t - 6, -5*n = -4*t + 8. Suppose -c = -n*c - 25. Does 6 divide (-2)/10 + 380/c?
False
Let c(f) = 148*f + 10. Does 43 divide c(4)?
True
Let k = 81 + 339. Is k a multiple of 30?
True
Let j be ((-18)/(-12))/(1/2). Suppose -2*l - 35 = -s + 3*l, j*l - 27 = -s. Is s a multiple of 9?
False
Suppose j - 5*q = -4*j + 2875, -2*q + 10 = 0. Does 11 divide j?
False
Let t(p) = -2*p**2 + 2*p - 7 + p**3 - 2*p**3 + 14. Let u be t(-4). Let x = 15 + u. Is x a multiple of 12?
False
Is (4/6 + (-229)/(-3))*8 a multiple of 7?
True
Let g = -8 + 24. Let q = g - -7. Does 23 divide q?
True
Is ((-16)/12)/((20/4338)/(-10)) a multiple of 51?
False
Let z = -1059 + 1491. Does 29 divide z?
False
Let j be 12/((-3 - -5) + 0). Let g be (1 - -53)/(j/28). Suppose 5*z = -2*w + g, -3*z - 5*w + 125 + 30 = 0. Does 26 divide z?
False
Let g = 694 + -464. Does 23 divide g?
True
Let o = 44 - -46. Suppose -3*g - 113 = -2*u, 0 = -4*u + 2*g + 124 + o. Is 13 a factor of u?
True
Suppose 0 = 5*o - 4*o - 5. Suppose -4*b = -o*b + 6. Suppose 4*i = -5*x + 3*x + 44, -5*i = -x - b. Is 7 a factor of x?
True
Does 17 divide (-62710)/(-20) - (5/2)/(-5)?
False
Suppose 2*q + 2*x - 18 = 0, -5*q + 10*x + 15 = 9*x. Suppose -g + d + 18 = 0, q*g - 21 = -3*d + 37. Does 16 divide g?
True
Let l(z) = z**3 - 16*z**2 + 29*z - 12. Let y be l(14). Suppose 0 = 2*x + 2*w - 326, 0*x - y*x - 5*w = -329. Is 27 a factor of x?
True
Let u be (5/4)/(1/4). Suppose 0 = -4*s + u*s - 167. Is s a multiple of 16?
False
Let u be -4*(-3)/18*-6. Let n be (-22)/u - (-1)/(-2). Suppose 4*q = -4*b + 396, 2*b - 2*q - 199 = -n. Is 29 a factor of b?
False
Let k(t) = -t**3 + 11*t**2 - 10*t + 2. Let z be k(10). Let x be -1*(3 - -3)/z. Is (-3)/x*1*38 a multiple of 9?
False
Suppose 38 = -6*s + 212. Let m = s + 106. Is 27 a factor of m?
True
Suppose 0 = 24*r - 12*r - 1164. Does 7 divide r?
False
Suppose -3*y + 43 = p - 42, y = -3*p + 223. Is p a multiple of 6?
False
Let k be 3/(((-63)/(-6))/7). Suppose -5*s + 0*s = -2*f - 252, s = k*f + 44. Suppose 0 = 2*j - s + 2. Is j a multiple of 15?
False
Suppose 19*g = 2*g + 3026. Does 12 divide g?
False
Suppose -4095 = -3*p + 3252. Is p a multiple of 23?
False
Suppose -91 = 3*c + 95. Let h = c + 111. Is h a multiple of 6?
False
Let g be ((-1)/(-2))/(4 + 210/(-52)). Let c = 62 + g. Is c a multiple of 11?
False
Let m = -36 + 36. Suppose 117 = -m*g + 9*g. Is 13 a factor of g?
True
Does 81 divide 10/(140/(-2)) - (-5671)/7?
True
Suppose -2*j = -10, 6*j = -2*g + 9*j + 1533. Is 75 a factor of g?
False
Let k(m) = 