. Let o be n(-7). Let g = p + o. Does 4 divide g?
True
Is 11 a factor of -2*(-78)/(-104)*(-13 - 1)?
False
Does 21 divide (-20706)/(3 - 5) + -4?
False
Let w be (6/15)/(6/(-15)). Let p be w*(-192)/7 + (-75)/175. Suppose 4*o + 5*q = 2*q + p, 3*o - 3*q = 15. Is o a multiple of 2?
True
Let t(s) = -8*s + 3. Let z(j) = 7*j - 5. Let d(y) = -3*t(y) - 4*z(y). Let a(m) = -m - 9. Let q be a(10). Is 29 a factor of d(q)?
True
Let m(s) = 13*s**2 - 14*s + 43. Suppose i - o = 2, -2*i - 6*o + 5*o = -10. Is 7 a factor of m(i)?
False
Suppose 185610 = 5*k + 3*b, 4*b - 51509 = -k - 14404. Is k a multiple of 33?
True
Suppose -4*x + 36032 = 5*p, p = -0*p - 4*x + 7216. Does 127 divide p?
False
Suppose 4*s - 5*n = 14909 + 668, 4*s + 4*n = 15604. Does 17 divide s?
False
Suppose 0*d = 5*y - d - 2, -y + d + 2 = 0. Suppose y = -4*c + c + 6. Does 21 divide (-57)/c*(5/(-3) + -1)?
False
Let n(h) be the first derivative of -5*h**2 + 7*h + 2. Let a(d) = d**2 + 10*d - 26. Let z be a(-12). Is 4 a factor of n(z)?
False
Let h(n) = 2286*n**2 + 453*n - 907. Is h(2) a multiple of 41?
True
Let c = 67 - 66. Let z be 4 + -4 + c + 3. Suppose -z*g + 106 = -38. Does 4 divide g?
True
Suppose 0 = -30*d - 7*d - 334462 + 1543955. Does 108 divide d?
False
Let v = 248 - 251. Let c(t) = 15*t**2 + 6*t - 4. Does 4 divide c(v)?
False
Let n(x) be the second derivative of -x**5/10 - 25*x**4/12 + 5*x**3/3 - x**2 + 145*x. Is 21 a factor of n(-13)?
False
Let z(p) = p + 59. Let f be z(29). Let t = 268 - f. Is t a multiple of 20?
True
Let j be (-1 - (-3)/(-2))*(1 + 193). Let f = j + 897. Does 15 divide f?
False
Let g(b) = -3*b**3 + 25*b**2 - 18*b - 13. Is 5 a factor of g(-6)?
False
Does 67 divide (-8360)/380 - 17241/(-1)?
True
Let b = -151 - -223. Let u = -72 + b. Suppose -3*i + u*i + 210 = 0. Does 5 divide i?
True
Suppose -2*h = 2*b - 0 - 2, -4*h = 5*b - 3. Suppose h*u = -2*l + 342, 21*u + 513 = 24*u - 5*l. Is u a multiple of 6?
False
Suppose 32*o - 93*o + 747 = -16272. Is o a multiple of 31?
True
Let s = 4529 + 2431. Is s a multiple of 7?
False
Let g(u) = -23*u - 34. Let d be g(-2). Suppose -7*k = w - d*k - 26, -4*k = -5*w + 130. Is w a multiple of 2?
True
Let b(t) be the second derivative of -t**3/2 - 27*t**2/2 + 11*t. Let g be b(-9). Suppose g*c + 218 = 2*c. Is 11 a factor of c?
False
Suppose -5*a + 11 = -0*d - 4*d, -a - 2*d = 9. Let j be (6/3 + a)*1. Is 2/4*(j - -27) a multiple of 5?
False
Suppose -201924 = -20*p - 16*p. Is p a multiple of 14?
False
Let p(y) = 4*y + 45. Let d be p(4). Let i = d + -59. Is i*5/(-60) + 542/12 a multiple of 3?
True
Let r be (-4480)/84*(0 + (1 - 4)). Suppose -300 = -2*n + r. Does 23 divide n?
True
Suppose -4*k + c = 12, 3*k - 6*c = -4*c - 4. Does 2 divide 16/k - (-1 + 60)*-1?
False
Suppose -227*f = -198*f - 208017. Is f a multiple of 61?
False
Suppose 3*i = 15, 5*p + 4 = -i - 6. Let h be 215*(-6)/4*2/p. Suppose h - 819 = -4*d. Is d a multiple of 42?
False
Is 762*(-1380)/(-648) - 4/(-18) a multiple of 3?
True
Is ((-483)/46)/((-9)/396) a multiple of 33?
True
Let h = -700 - -293. Let c = 1995 + h. Is 34 a factor of c?
False
Let n be (-8)/(-6)*(-41 + 20). Is 11 a factor of (3 - -1)*-69*77/n?
True
Does 18 divide 226/(-791) - 5114/(-14)?
False
Does 8 divide 0 + (-62409)/(-15) + (-480)/800?
True
Let k be -6 + 77/11 - -9. Let b(d) = -10*d**2 + 9 + d**3 - 21 + 14*d - 12. Is b(k) a multiple of 35?
False
Let q be (-6 - (-265)/(-55)) + 2/(-11). Let m(k) = -26*k - 70. Does 8 divide m(q)?
True
Suppose 28*t = 49676 + 32224. Does 39 divide t?
True
Let d be 3 + 2/(-2)*9. Does 7 divide (0 - (-148 + d))/2?
True
Suppose 279*y + 103*y - 33854967 = -149*y. Is y a multiple of 150?
False
Let f(i) be the second derivative of -14*i**3 - 3*i**2 + 7*i. Let y be f(2). Let k = 290 + y. Does 15 divide k?
False
Let s be 43*1 - (-1926)/214. Suppose 4*a - 2*l = -4*l + 48, -5*a - 2*l + 60 = 0. Suppose 10*x - a*x = -s. Is 26 a factor of x?
True
Let v = -34433 + 46328. Is 3 a factor of v?
True
Let h be (0 - 15/(-6))*(-24)/(-15). Suppose 135 = v + h*v - 5*b, 0 = -3*v + 4*b + 81. Does 4 divide v?
False
Is 2530/((-9 - -15) + -4) a multiple of 6?
False
Suppose 72*y - 32 = 64*y. Suppose u - 79 = -2*u - l, -2*l = y*u - 102. Does 16 divide u?
False
Suppose 1096 = 9*p - 8336. Is 17 a factor of (-8)/36 + p/18?
False
Suppose -2*g - 22 = 3*o - 4, -17 = 5*o - g. Let v be ((-4)/o + -5)*(-3 + 2). Suppose -v*k + 63 = -217. Is 10 a factor of k?
True
Suppose 0 = 74*v - 75*v + 4. Suppose d - 1 = g, v*g - 5 = -1. Suppose 2*p - 281 = 5*q, -8*q + 4*q - 276 = -d*p. Is 28 a factor of p?
False
Let p = 98 - 70. Suppose p = -4*c - 4*g - 4, -2*g + 2 = 0. Is c/2*154/(-11) a multiple of 21?
True
Let c(k) = -100*k - 5. Let l be c(5). Let g = -26 - l. Does 26 divide g?
False
Suppose 0 = -8*o - 26 - 6. Let q(y) = 2*y**2 + y - 4. Let a be q(o). Let u = 56 - a. Is 5 a factor of u?
False
Let k = -173 - -175. Suppose -7*g - 4*m = -k*g - 162, g - 18 = 4*m. Does 14 divide g?
False
Let l = -104 + 105. Let a(x) = 36*x**2 + 4*x - x**2 - 3*x. Is 6 a factor of a(l)?
True
Let l be 74 + 4 + (3 + -3)/2. Let v = 654 - l. Suppose -13*s - v = -17*s. Does 24 divide s?
True
Let f = -10354 - -45268. Is f a multiple of 23?
True
Let g = 68 - 80. Is (-518)/g - 7/42 - 4 a multiple of 3?
True
Let o = 3021 + 6420. Does 23 divide o?
False
Let a(s) = 76*s - 135. Let y be a(2). Let p = y + 163. Does 9 divide p?
True
Suppose 67*x = 54495 + 55586. Is x a multiple of 53?
True
Let o be -4 + 5004/24 + (-1)/2. Let i = o + -81. Does 22 divide i?
False
Let h be (4/10)/((-4)/(-4 - 56)). Let m be h - (12/4 - (-1 + 3)). Suppose 0 = -3*b - x + 39, -4 = -b - m*x + 9. Is 3 a factor of b?
False
Let c(m) = 710*m**2 - m + 3. Let w be c(-3). Suppose -18*n + w = 23*n. Is 26 a factor of n?
True
Suppose 5*u = -22*u - 10260. Let o = 131 - u. Is 17 a factor of o?
False
Let s(k) = 6 - 3 + 26 - k. Let b be s(16). Suppose -b*w + 16*w = 522. Does 30 divide w?
False
Suppose -9*x = -12*x + 24. Let o be (0 + -2)*(4/x - 2). Suppose 726 = 4*w + 2*h, -2*w - h = o*h - 354. Does 29 divide w?
False
Suppose 0 = -4*n + p + 12, -5*p + 4 = -4*n - 0*n. Suppose -n = -5*i + 66. Does 12 divide -132*((-36)/28 - (-4)/i)?
True
Suppose -o + 25 = 3*i, 0 = -5*i + o - 0*o + 55. Let g be ((-2)/(-5))/(-2) + 32/i. Does 13 divide (2 - g)*-43 - (1 + -4)?
False
Let u(t) = 5*t**2 - 4. Let l be u(0). Let n be l + 1*(178 - -3). Suppose 0 = -y - 3*g - 0 + 78, -g = -2*y + n. Does 54 divide y?
False
Suppose 0 = o - 24*g + 20*g - 589, 2927 = 5*o - 2*g. Is o a multiple of 39?
True
Is 36 a factor of 64/160 + (-2 - (-7028)/5)?
True
Suppose 21*d - 1136 = 5*d. Suppose 3*z - 355 = -5*n + 5*z, -d = -n - z. Suppose 6*a = 1903 + n. Does 47 divide a?
True
Let f(a) = 397*a**2 - 11*a + 133. Is f(5) a multiple of 26?
False
Suppose 0 = b - 117 - 53. Suppose 3*l = 5*s + 6*l - b, 4*l = 2*s - 42. Is 30 a factor of s?
False
Does 3 divide (-400)/40*(-27)/(-105)*(-56)/6?
True
Suppose -2*d = -2*g + 12, 4*g + 2 + 1 = -5*d. Let o be ((-24)/(-72))/(2/966). Suppose -o - 16 = -g*b. Is b a multiple of 26?
False
Let r(d) be the first derivative of -d**4/4 - 20*d**3/3 + d**2/2 + 39*d - 8. Let o be r(-20). Does 23 divide (-298)/(-4)*(-17 + o)?
False
Let z = 451 + -505. Let t = z + 68. Is 2 a factor of t?
True
Suppose m = -5*c + 175042, -262*m + 261*m = -3*c + 105038. Does 30 divide c?
True
Suppose -4*l = -4*m + 80, -4*m + 9*m = -2*l + 65. Let q be 43/(-4) + m/20. Let k(t) = -8*t + 53. Is k(q) a multiple of 19?
True
Let n(h) = 6*h**3 - 20*h**2 + 8*h - 20. Let u be n(5). Suppose 5*t - 12 = -5*b + 2*t, 5*t - 20 = -5*b. Suppose b*k - 3*k + u = 0. Is 30 a factor of k?
True
Let v be 1*-4*(-332 + 4). Let d be 1/2*(-2 + v). Suppose 12*j - 7*j = d. Does 27 divide j?
False
Let f(v) be the third derivative of v**6/120 - 7*v**5/60 + v**4/8 - v**3 + v**2. Suppose 4*y = y + 21. Is f(y) a multiple of 7?
False
Suppose -2*s + 2*q = -554, -2*s + 3*q - 1129 = -6*s. Is 3 a factor of s?
False
Let u(c) = 4*c**3 - 11*c**2 + 2*c - 7. Let i(o) = -o**3 + o**2 + o - 1. Let k(d) = 2*i(d) + u(d). Is 11 a factor of k(7)?
True
Suppose -5*z + 4516 = -134. Is 5 a factor of z?
True
Let h be ((-13)/((-182)/(-12)))/(1/56). Let x = h - -65. Suppose -406 = -5*b + s, -3*s + 419 = 5*b + x. Does 9 divide b?
True
Suppose 0 = -j + 2 + 1. Let h = 897 - 797. Suppose 0*q + q = 2*x + h, j*x - 309 = -3*q