2*u = -4*q. Is u a multiple of 14?
False
Let g = 35 - 130. Let c = g + 148. Does 10 divide c?
False
Suppose 2*h - g = 315, -3*h + 2*g - 185 + 659 = 0. Is 13 a factor of h?
True
Let t = 1000 + -866. Is t a multiple of 11?
False
Suppose 0 = 3*s + 4 - 19. Suppose 2*h + 0*h = -8, -s*h = 3*b + 20. Suppose 0 = -2*t + 10, -t = j - b*j - 30. Does 13 divide j?
False
Let f be ((-24)/2)/((-8)/32). Suppose 2*c - 3*b = 315 - f, -c + 5*b + 130 = 0. Is 27 a factor of c?
True
Let s(r) = -6*r + r + 34*r**2 - 39*r**2 + 12 + r**3. Is 5 a factor of s(7)?
True
Suppose 5*z - 3150 = -0*z. Suppose -2*k - 3*k = -z. Does 31 divide k?
False
Let h(u) be the second derivative of -u**4/12 + 3*u**3/2 + 6*u**2 + u. Let k be h(10). Suppose 5*b = 2*j - 75, 0*b = -3*j + k*b + 140. Is j a multiple of 17?
False
Suppose 20*u = 19*u + 2. Suppose u*q + 6 = 198. Is q a multiple of 12?
True
Suppose -7 = 8*p - 31. Let x(m) = -3*m**2 + 3 + 13*m + 14*m**2 + p*m - 4 + m**3. Is x(-8) a multiple of 16?
False
Suppose 8*w = 12*w - 3864. Suppose u - 5*u - 12 = 0, 2*u = -3*k - w. Does 12 divide k/(-60)*54/4?
True
Let b = 72 + -71. Suppose 71 = c - b. Is 9 a factor of c?
True
Is 9 a factor of 5*(-2 + (-688)/(-20))?
True
Suppose 3*f - 23 = -4*k + 3*k, 3*k + f - 29 = 0. Suppose 4*b - 20 = -k. Suppose 20 = b*s - 2*l, 0*l + 6 = 3*l. Does 3 divide s?
False
Suppose -3*k - 15 = 0, -2*h - 3*k = -0*k + 1. Let f(c) = 6 + h*c - c**2 + 4 + 2*c. Is 5 a factor of f(8)?
False
Does 17 divide (-1 + 2)/((-67)/34 + 2)?
True
Let k be (-4 - -2 - 68)/(6/(-3)). Suppose -8*f + 4*f + k = 5*g, 4*f + 2*g - 50 = 0. Is 4 a factor of f?
False
Suppose -m - 2 = 2*o, 2*o = 5*o - 5*m + 29. Does 5 divide (84/(-7))/(o + 2)?
False
Suppose o = -2*o + 90. Let f = 64 + -43. Is (f/(-9))/((-2)/o) a multiple of 23?
False
Let r(v) = -v**2 + 12*v + 13. Let d be (-4 + 5)/((-2)/18). Let j = 18 + d. Is r(j) a multiple of 10?
True
Suppose -602 = -2*c - 3*x, -11*x + 12*x = -c + 300. Does 38 divide c?
False
Let k(w) = 21*w**2 - w + 38. Is k(-9) a multiple of 23?
True
Let j = 944 + -464. Does 32 divide j?
True
Let s be 1 + -1 + (-4 - -3). Let t be (-2)/1 + s + 3. Suppose -53 = -k - 5*d, 0*k - 2*k - 3*d + 71 = t. Is 5 a factor of k?
False
Suppose -15*z - 1950 = -20*z. Is z a multiple of 13?
True
Let v(h) be the first derivative of -h**6/360 - 13*h**5/120 - 7*h**4/24 + 5*h**3/3 + 9. Let a(x) be the third derivative of v(x). Does 5 divide a(-8)?
False
Let q = -13 + 16. Suppose q*k + 6 - 79 = -2*x, x - 36 = -2*k. Let n = x - 23. Does 9 divide n?
False
Suppose 2*h = 6, -m + 3*m = 4*h + 208. Does 11 divide (-1 - -2) + (m - 1)?
True
Let l(c) be the third derivative of c**5/60 - c**4/2 + 5*c**3/2 + 6*c**2. Let r be l(15). Let g = r - -39. Does 33 divide g?
True
Let l(q) = -q**3 + q**2 + 3*q + 4. Let t be l(-2). Suppose t*m + 180 = 13*m. Does 10 divide m?
True
Let c = 3500 + -2639. Is c a multiple of 41?
True
Is (((-1504)/12)/(-4))/(8/348) a multiple of 66?
False
Does 33 divide (-1672)/(-114)*99/4?
True
Let h(k) = -77*k - 168. Is 8 a factor of h(-8)?
True
Suppose 21*g - 2926 = 5096. Does 14 divide g?
False
Let d = 8 + -20. Let k(q) = -q**2 - q. Let l(g) = g**2 - 5*g - 7. Let h(s) = -2*k(s) - l(s). Does 25 divide h(d)?
False
Let i(g) = -g**3 - 4*g**2 - 6*g - 2. Let c be i(-3). Suppose -440 = 5*d - c*d - 4*y, 6 = 3*y. Is 24 a factor of d?
True
Let q = 15 + -13. Suppose -q*u = u - 192. Is 11 a factor of u?
False
Suppose 2541 = 12*s + 141. Is 17 a factor of s?
False
Let w = -14 + 21. Let d(y) = 44*y - 16. Let t be d(w). Suppose -t = -5*x - 37. Is x a multiple of 13?
False
Let b(h) = -h**3 - 10*h**2 - 7*h - 29. Let m(p) = -9*p + 7. Let s be m(2). Does 37 divide b(s)?
False
Let t(a) = -14*a - 8. Let s be t(-4). Let v = s - 6. Is v a multiple of 14?
True
Suppose 71*v - 78*v = -532. Is v a multiple of 13?
False
Let p(k) = k**3 - 10*k**2 + 10*k - 4. Let h be p(9). Suppose 6*i = i + 25, h*b - i + 85 = 0. Let r = b + 24. Is 8 a factor of r?
True
Suppose -8*j + 5*j = 0. Let m be (1 + j)*(27 - -2). Let s = 54 - m. Is s a multiple of 9?
False
Let d(v) = v**3 + 11*v**2 - 11*v + 15. Let g be d(-12). Suppose -2*n = -g*n + 22. Suppose 0*h + 2*h + 3*b = n, -4*h = -3*b - 62. Is 14 a factor of h?
True
Suppose -3*u + 971 = 2*q, 0*u - 4*q - 1633 = -5*u. Is 13 a factor of u?
True
Suppose 7 = -2*k + 25. Suppose 0 = -3*n - 2*n + 15, -k = 3*y - 5*n. Is 3 a factor of (-1 + y)/(8/48)?
True
Let h be -2*3/(-6)*5. Suppose h*w = -6 + 16. Does 17 divide (61/w)/(5/10)?
False
Let m be 197 - (10/2 + -4). Suppose 49*n = 45*n + m. Is 14 a factor of n?
False
Suppose -7*h = -12*h + 2380. Is h a multiple of 17?
True
Suppose -3952 = -8*n + 352. Does 7 divide n?
False
Let g(d) = -3*d + 1. Let f be g(1). Is 100 - f*4/8 a multiple of 11?
False
Let a(l) be the third derivative of -l**6/120 - 7*l**5/30 + 5*l**4/8 - 10*l**3/3 - 3*l**2. Does 47 divide a(-16)?
False
Let s = 913 - 603. Is s a multiple of 5?
True
Suppose -6648 = 895*u - 903*u. Is u a multiple of 97?
False
Suppose -29*f + 54601 - 16582 = 0. Is 129 a factor of f?
False
Let l = -970 - -2378. Is l a multiple of 54?
False
Suppose -5*l - 839 = 4*b, 3*l + b + 836 = -2*l. Let i = l - -90. Let q = -41 - i. Is q a multiple of 18?
True
Let a(g) = 33*g**2 + 5*g + 10. Does 74 divide a(-4)?
True
Suppose 0 = -3*u + 3*w + 5122 + 635, -5*u - 3*w + 9619 = 0. Is 73 a factor of u?
False
Let p(z) = z**3 - 8*z**2 - 9*z + 3. Let m be p(9). Let k be (-676)/(-6) - m/(-9). Let c = k - 77. Is 9 a factor of c?
True
Suppose 0 = -4*a - 4*m + 412, -3*m - 2*m - 213 = -2*a. Is a even?
True
Let j(h) = 10*h**3 - h**2 - h - 2. Let c be j(-2). Let u = -48 - c. Suppose -2*k + 0*k = -u. Is 18 a factor of k?
True
Let i be 13/78 - (-94)/12. Let m be (-3 + i)*(0 + 3). Suppose -t + 13 = -m. Is t a multiple of 6?
False
Suppose -h + 5*h + 1909 = 5*v, v = 4*h + 369. Does 18 divide v?
False
Does 41 divide 2622 + (-3 - (-9 - 1))?
False
Suppose 5*a - 5*q = -0*q + 40, 4*q = 2*a - 26. Suppose -2*p + 1 = 2*w - w, -a*w - 4*p = -7. Suppose n - f - 32 = 4*f, -5*f = -w*n + 80. Is 9 a factor of n?
False
Is 17 a factor of 9/((-243)/1071)*-3?
True
Suppose -27621 = 9*z - 42*z. Is z a multiple of 50?
False
Suppose 42 = -5*y - 33. Suppose 2*o - 74 = 3*f, 5*o = -2*f - 2*f + 185. Let k = o - y. Is k a multiple of 12?
False
Suppose 170 = -5*t + 990. Let s be t/28 - (-1)/7. Is 6 a factor of ((-18)/4)/(s/(-32))?
True
Suppose -509 - 241 = -5*g. Suppose -13*v = -7*v - g. Does 7 divide v?
False
Let x(l) = 4*l**2 - l - 2. Let m be x(2). Suppose 3*v - m = 3, -4*b + v + 11 = 0. Suppose -2*d + 2*h + b = 0, 3*h = -h + 12. Is 2 a factor of d?
False
Let t(n) = -5*n**2 + 3*n + 4. Let f(k) = -16*k**2 + 10*k + 13. Let v(g) = 4*f(g) - 14*t(g). Suppose 2*m = 7*m - 3*d + 4, -5*d = -m + 8. Does 7 divide v(m)?
False
Suppose 0*m - 326 = -m. Let x = -191 + m. Does 36 divide x?
False
Suppose -2*s = 3*t - 1171, 43*t - 1 = 42*t. Is 20 a factor of s?
False
Suppose -5*i + 32*v + 5394 = 31*v, 5*i - 4*v - 5406 = 0. Is i a multiple of 14?
True
Let p be 4/6*(-429)/22. Let m(l) = -l**3 - 12*l**2 + 11*l - 8. Does 6 divide m(p)?
True
Let k be 0/(-3 + 6) + -4. Suppose -3*y = y - 36. Let u = y + k. Is 2 a factor of u?
False
Let z(i) = -i**2 + 24*i - 36. Let n(v) = -v**3 - 22*v**2 - 2*v - 25. Let w be n(-22). Does 22 divide z(w)?
False
Let p(d) = 2*d**2 - 2*d + 4. Let b be p(0). Suppose 4*h + h - b*l = 688, 5*l - 126 = -h. Does 17 divide h?
True
Let m = -59 - -32. Let t = 2 - m. Is t a multiple of 9?
False
Let l = -115 + 307. Suppose 2*h - 237 + 45 = -2*q, 2*q - h = l. Is 16 a factor of q?
True
Let o be -2 - ((-6)/2 - (36 + 5)). Let y = 55 - o. Is y a multiple of 13?
True
Suppose -3*n + 20 = n. Suppose 3*h + n*g - 10 = 53, 0 = 3*h - 2*g - 63. Is 7 a factor of h?
True
Suppose 0*y + 6*y = 2*y. Suppose -48 = 2*u - 6*u. Suppose y = d - u - 8. Is 16 a factor of d?
False
Suppose -4*y + 6*y = -16. Let q = 9 + y. Does 20 divide (0 - q)*3 + 24?
False
Let l = -115 + 109. Let p = 55 - l. Does 4 divide p?
False
Let m(f) = -f**3 - f**2 - f - 1. Let n be 1/(-2)*-8 - 8. Is m(n) a multiple of 17?
True
Suppose 2*w - 5*y = 146, -3*w + 208 = -2*y - 0*y. Let z(p) = 3*p**2 - 12*p - 12. Let b be z(-1). Does 23 divide w/(b - (-2 - -3))?
False
Suppose -5*j - 4*l + 8584 = -9291, 4*j + 4*l - 14304 = 0. Does 16 divide j?
False
Let f = 293 + -56. Is f a multiple 