= 0, 0 = -5*j - 10. Does 38 divide v?
True
Suppose -2*n = -x - 4*x + 1167, -x = -n - 234. Let t = -163 + x. Is t a multiple of 10?
True
Suppose 3*w - 5*g + 236 = -0*w, 0 = 4*w + g + 353. Let z be (-28)/(-7)*w/(-6). Suppose -4*a - 2*c = -z, 0*a + 2*c = -3*a + 45. Is a a multiple of 7?
False
Suppose i + 0*i - 30 = -5*j, 0 = 4*i - 5*j - 45. Is 5 a factor of i?
True
Suppose 3*w - 806 = 4*h, -2*w + 5*h + 281 + 254 = 0. Suppose i + 38 = w. Does 58 divide i?
True
Suppose -v = p - 243, -3*p - v + 4*v = -711. Is 30 a factor of p?
True
Suppose 3*h = 6*h - 6. Suppose -h*p = -3*p + 216. Suppose 2*s = -2*s + p. Is 27 a factor of s?
True
Let a = 361 - 18. Is 37 a factor of a?
False
Suppose 2*b = 6*b - 5*v - 1960, b + 3*v - 507 = 0. Is b a multiple of 11?
True
Suppose 5*b - 989 = 2*q, 4*b + q - 808 = -3*q. Does 12 divide b?
False
Let u be (3 - -3)*2 + 0. Suppose b = -3*b - u. Is 4 a factor of (-1)/((b - -2)/23)?
False
Suppose -32 + 92 = 5*o. Suppose -4*w + o = -0. Suppose -2*p + w*t = -16 - 18, -t = 4. Does 5 divide p?
False
Suppose -g = -29 - 12. Let l = g + 11. Suppose 5*q - 7*q = -l. Is q a multiple of 4?
False
Let l(w) = w + 13. Let f be (-75)/12 - (-2)/8. Let a be (6 + f)*1/(-3). Does 13 divide l(a)?
True
Let u(y) = y**3 + 5*y**2 + y - 18 - 2*y + 21. Let a = -3 - 0. Does 12 divide u(a)?
True
Let q(b) = 2*b**2 + 3*b + 2. Let y be (-72)/(-12)*(-1)/(-2). Is 4 a factor of q(y)?
False
Let w = -7 - 10. Let d = 17 + w. Suppose d = -4*v - 4*j + 24, -j + 53 = 3*v - 5*j. Is v even?
False
Let f = 311 + -202. Let y = -71 + 207. Suppose f + y = 5*d. Is d a multiple of 25?
False
Suppose 4*c - 5*c + 149 = 0. Suppose 0*h - h + c = 0. Let k = -83 + h. Is 22 a factor of k?
True
Suppose -4*n - 57 = -7*n. Let w = n - 3. Is w even?
True
Suppose -3*t = 216 + 162. Let b = t + 234. Is 31 a factor of b/1 + 0/4?
False
Suppose l + 913 = 4*v, -58*v = -60*v + 3*l + 459. Is v a multiple of 14?
False
Suppose -z + 75 = 4*i, 0 = z - 3*i + 2*i - 55. Let w = z - 23. Suppose 0 = 2*m + m - w. Is m a multiple of 11?
False
Let t = -23 + 29. Let u be 7 - 7/(14/t). Suppose 2 = 2*i - u*v, -4*i + 22 - 6 = -5*v. Is i a multiple of 9?
True
Let s = -3 + 5. Let a(i) be the second derivative of 4*i**4/3 - i**3/3 + 3*i**2 + 13*i. Is a(s) a multiple of 34?
False
Suppose 18470 = 10*i - 0*i. Does 20 divide i?
False
Let g = -24 + 23. Let f(k) = -3*k**3 - k**2 - 2*k - 1. Let q be f(g). Suppose r = 2*z - 103, 2*z - q*z = -5*r - 29. Is z a multiple of 29?
False
Let u = 150 - 241. Let v = u + 140. Is v a multiple of 38?
False
Suppose 0 = 19*n + 491 - 1631. Is 6 a factor of n?
True
Let p = -66 - -135. Does 5 divide (p/3 - (3 + -2))*5?
True
Suppose 0 = 3*l + 5*r - 135, 56 = l - 7*r + 5*r. Does 23 divide l?
False
Let h(l) = 14*l**2 + 2 - l**2 + 2 + 0*l + l. Does 25 divide h(3)?
False
Suppose 4*r + 62 = 2*u + u, 2*r + 52 = 3*u. Suppose 0 = -4*c + z - 11, 4*z - 2*z + u = -c. Is ((-40)/(-5))/((-1)/c) a multiple of 12?
False
Let g be 576/(4 + -7 + 4). Suppose g = 4*w - 0*w - 4*q, -3*w = -q - 424. Does 13 divide w?
False
Suppose t = -4*u + 3768, -4*u + 5*u + 4*t - 927 = 0. Is 22 a factor of u?
False
Let g(v) = -11*v**3 + 14*v**2 - 10*v - 48. Is 34 a factor of g(-6)?
False
Let y = -138 - -178. Does 10 divide y?
True
Let z(d) = -20*d + 8. Let i = 38 + -34. Suppose -i - 4 = 2*n. Does 15 divide z(n)?
False
Suppose 7 = -9*h + 34. Does 14 divide 312/(-9)*((-6)/(-8) - h)?
False
Let m(v) = 34*v**2 + 31*v + 557. Does 21 divide m(-14)?
False
Let d(v) = 243*v**2 - 8*v + 20. Does 35 divide d(2)?
False
Suppose 0 = -22*r + 20*r - 276. Is 0 - (1 + r/2) a multiple of 26?
False
Suppose -3*h + 42 = -9*h. Is (144/(-42))/(1/h) a multiple of 10?
False
Let k = -350 - -490. Is k a multiple of 7?
True
Suppose -2*s + 5*s - 2*l - 8 = 0, 2*l - 8 = -5*s. Let q(m) = -2 + 6*m**2 + 1 + 3*m + s*m**2. Is q(2) a multiple of 8?
False
Let d(b) = -151*b + 22. Is d(-26) a multiple of 42?
True
Let r be (40/(-56))/(1/(-7)). Suppose -r*q + 319 + 26 = 0. Is 23 a factor of q?
True
Let q = 5785 + -3349. Is 90 a factor of q?
False
Let f be (1 + 3)/(3/6). Let o be (-165)/(-6)*f/5. Suppose -3*j + 20 = -4*w - o, w = 2*j - 46. Is 24 a factor of j?
True
Suppose 0 = -d - 7*d + 1032. Is d a multiple of 11?
False
Let d = 27 + -27. Suppose -a + 2*a - 3*n = 77, 5*n + 15 = d. Does 16 divide a?
False
Let c = 62 + -101. Let k = c - -111. Is k a multiple of 12?
True
Let k = -6 - -8. Does 11 divide (-3)/k*(-16 + -6)?
True
Suppose -4*d - 10 + 26 = 0. Suppose -3*x + 305 = 5*c, 0*c - d*c - 3*x + 241 = 0. Does 8 divide c?
True
Let n be 5/2*(-6 + 8). Suppose 5*k + 5*v + 1 = 6, 3*k + 2*v - 2 = 0. Suppose n*m - 49 - 11 = k. Is 3 a factor of m?
True
Let j(t) = 3*t**3 + 10*t**2 - t - 2. Let x(g) = g**3 + g**2 - g + 1. Let d(u) = -j(u) + 4*x(u). Let q be d(4). Is 3 a factor of (-3)/(-12) + q/(-8)?
False
Let y be 4/(-14) - (-2412)/14. Let u = 118 + -112. Suppose y = u*w + 4. Does 14 divide w?
True
Suppose y = 2*m + 5, -10 = -2*y - 0*m + 2*m. Suppose -3*x = -2*x + y, -3*x + 35 = 5*i. Is i even?
True
Let g = -219 + 442. Is 38 a factor of -3 + g - (-1)/(-1)?
False
Suppose -5 = 4*k - 25. Suppose -4*n + 5*a + 110 = 0, -k*a = 4*n - 0*a - 130. Is 10 a factor of n?
True
Let u(k) = -4*k**3 + 3*k**2 - 3*k + 2. Let r be u(2). Let l(p) = -6*p. Is l(r) a multiple of 14?
False
Let k = 2242 + -1541. Is k even?
False
Suppose 118 = 2*n - 2*p, -29 = -4*n - p + 222. Does 14 divide n?
False
Let q(h) = h**2 + h - 2. Let o(r) = r**3 - 3*r**2 - 2*r - 2. Let k(a) = -o(a) + 3*q(a). Suppose 3*m - 15 = j, 4*j + 0*j = 5*m - 25. Is k(m) a multiple of 12?
False
Let n(h) = h**3 - 22*h**2 - 3*h. Let q be n(22). Let j = -15 - 12. Let r = j - q. Is 18 a factor of r?
False
Let g be 36/6*(-4)/(-3). Let i be (4/g)/(3/(-972)). Let m = -111 - i. Does 17 divide m?
True
Suppose 5*y = -q + 6*q + 475, -5*y + 465 = -3*q. Is y a multiple of 7?
False
Let q(m) = -40*m**3 - 2*m + 1. Let o be q(1). Let x = 133 + -2. Let c = x + o. Is 23 a factor of c?
False
Is 20 a factor of 4/(113/109 - (-2)/(-2))?
False
Suppose 4*i = 5*o + 480, -480 = -i - 3*i - 2*o. Let c = i - 30. Does 18 divide c?
True
Let k(t) = -t**2 + 25*t + 30. Let g be k(24). Suppose -p = 2*v - g - 19, -4*p + 304 = 5*v. Does 9 divide p?
True
Suppose 3*x - 3 = 5*i - 2, -3*x - 17 = 4*i. Let t be 97 - (-2)/(-6)*x. Suppose 4*l = 2*d - 128, -5*l = -2*d + 30 + t. Is 14 a factor of d?
False
Let l = 40 - 38. Is (60/9 - l)*(0 - -24) a multiple of 14?
True
Let m be (20/(-15))/(4/30). Let t(f) = 3*f**2 + 2*f - 21. Does 37 divide t(m)?
True
Let w(i) = i**2 + 11*i - 28. Is w(10) a multiple of 14?
True
Let d = -21 + 34. Let z = 15 - d. Suppose -4*w + 101 = -3*l, -z*l = 2*w + 3*l - 31. Does 5 divide w?
False
Does 43 divide 10*-1*6/((-72)/258)?
True
Let z(d) = d**2 - 2*d. Let r be z(4). Suppose r - 12 = -2*a. Suppose -2*i = g - 31, a*g - 58 = i - 4*i. Does 10 divide g?
False
Suppose -6*c = -2388 + 354. Is 7 a factor of c?
False
Suppose -2*h - b = 3*h + 183, 4*h + 138 = 2*b. Suppose -i = -6*i - 340. Let l = h - i. Is l a multiple of 11?
False
Let z(w) = 3 + 23*w - 18*w + 7 + 3. Does 12 divide z(7)?
True
Suppose 10*f - 1134 = -17*f. Is f a multiple of 13?
False
Let g(s) = 363*s**2 + 39*s - 3. Does 29 divide g(2)?
False
Let k(m) = 2*m**3 - 69*m**2 + 20*m - 18. Is 89 a factor of k(36)?
False
Is 178 - -4*1*6/8 a multiple of 16?
False
Let w(q) = 4*q + 12. Let k be w(-2). Does 14 divide 0 - k/(-16) - 558/(-8)?
True
Let s be 25/15 + 8/6. Let r(o) = o**3 - 2*o**2 - 4*o + 3. Let t be r(s). Suppose t = -q - c + 25, -4*q + 122 = -2*c - 2. Is 22 a factor of q?
False
Suppose 0 = -9*h + 4*h + 15. Is (h - -40) + (-4 - -1) a multiple of 4?
True
Suppose s + 2*l = 17, -4 = -3*l + 5*l. Does 2 divide s?
False
Let d = 80 + -48. Let j(s) = -s**2 - 5*s + 24. Let l be j(-8). Suppose 5*h - d - 63 = l. Is h a multiple of 5?
False
Let d = 233 - 175. Does 4 divide d?
False
Let t(n) = 3*n**2 - 6*n + 2. Let q be t(2). Does 2 divide ((-4)/7)/q + 1239/49?
False
Let m(u) = u**2 - 25*u. Is m(-10) a multiple of 10?
True
Suppose -55*t = -41256 - 100424. Does 28 divide t?
True
Let q = 13908 - 7908. Is (q/(-44))/(-2) + 4/(-22) a multiple of 17?
True
Suppose 0 = -18*m + 9322 + 16076. Is 18 a factor of m?
False
Does 5 divide ((-56)/(-12))/((-1)/(-45))?
True
Does 9 divide (-17070)/(-35) + (-6)/(-21)?
False
Is 32 a factor of 3/