0, 2*w - 4*w = 3*o + q. Is (-1)/(((-25)/w)/(-5)) a multiple of 9?
False
Let l be (-1 - -2)*((-16)/(-4))/(-4). Let z(g) = -g**3 - 4*g**2 + 10*g + 9. Let y be z(-6). Let b = y - l. Is 3 a factor of b?
False
Let c(g) be the first derivative of 3*g**4/2 + 7*g**3/3 + 4*g**2 - 9*g - 58. Does 40 divide c(4)?
False
Let b(s) = -4*s + 42 + 47 + 3*s - 82. Suppose -x + 2*d - 8 = 0, 2*x - d - 9 = -2*d. Is 5 a factor of b(x)?
True
Let q = 4210 - 1441. Is 9 a factor of q?
False
Let d(r) = 177*r**2 - 64*r - 238. Does 83 divide d(18)?
False
Let q = -16 - -10. Let m(v) = -8*v**3 - 9*v + 3. Let f(u) = -7*u**3 - u**2 - 8*u + 2. Let x(t) = -7*f(t) + 6*m(t). Is 6 a factor of x(q)?
False
Suppose -34*q = -37*q + 12. Suppose -7*p = h - 2*p - 148, q*h - 550 = p. Is 23 a factor of h?
True
Suppose o - 2*g = 132, 0*o = 4*o - 3*g - 503. Let n = 232 - o. Suppose 308 = 5*t - 4*j, -j + 6*j = -2*t + n. Does 13 divide t?
False
Let v be (-1)/(-4) - 3/(-4). Suppose 0 = 5*j - 4*c - 18, 48*j - 45*j + 4*c + 2 = 0. Is 3 a factor of (43 + 3)*v/j?
False
Let y be -60*(275/(-15) - 7). Suppose 16*h - y = 12*h. Is 39 a factor of h?
False
Let v(o) = 3*o - 41. Let k(t) = -t + 1. Let f(i) = -4*k(i) + v(i). Let h be f(6). Does 14 divide -1 - (-55 + 3 - h)?
False
Suppose -39 = -30*z + 1401. Suppose 44*i = z*i - 992. Is i a multiple of 8?
True
Let m(w) = w**3 + 8*w**2 + w - 9. Let t = -41 - -132. Suppose -g + t = 98. Is 11 a factor of m(g)?
True
Suppose h - 4*s - 606 = 0, 3298 - 874 = 4*h - 2*s. Suppose -1792 = -3*c + z, 2*c + 4*z - h = c. Is 23 a factor of c?
True
Let u(i) = 86*i - 1176. Is 4 a factor of u(28)?
True
Suppose 3*l + 20 = -2*q, 7 = -2*l + 3*q - 2. Let i be (l/8)/((-1)/4). Suppose 5*m - i*b - 425 = -0*m, b - 445 = -5*m. Is 11 a factor of m?
True
Let a be (0 - 14)/((-1)/(6/(-12))). Is 309 + ((-3)/(a - -4))/(-1) a multiple of 14?
True
Let h = -59 - -429. Let y = h + -161. Is y a multiple of 19?
True
Let x = 12 + -6. Let b(g) = 30*g + 15. Let m be b(x). Suppose 6*z - m = 357. Is z a multiple of 21?
False
Suppose 5*t - 1770 = -t. Suppose -5*v + t = -x, -x + 85 = v + 4*x. Does 10 divide v?
True
Let h = 48 + -42. Suppose 0 = -5*o + m + 162, -2*o - 10*m + 78 = -h*m. Does 11 divide o?
True
Is (-3 - -11) + (688 - -4) a multiple of 14?
True
Let j(o) = -4*o + 15. Suppose -4*s - 7 = n, 13 = -n + s - 4. Does 15 divide j(n)?
True
Let u = 3952 - -177. Does 5 divide u?
False
Suppose -2*g + 3*g + 42 = 2*v, -2*g = 2*v - 30. Suppose v = 9*j + 1. Suppose -3*q = -l + 2*l - 169, -j*q = -5*l - 124. Is q a multiple of 10?
False
Suppose -23 = l - 0*l - 5*c, 0 = 5*l + c + 11. Let k be (l/(-5) - 1)*-70. Let f = -10 + k. Is f a multiple of 14?
False
Let i(g) = g**3 + 7*g**2 + 4*g - 10. Let c be i(-6). Let p(h) = -8 - 16*h**2 + 19*h**2 - c. Does 19 divide p(-4)?
True
Let x(t) = 5*t**3 + 19*t**2 - 3*t - 32. Let c(a) = -3*a**3 - 9*a**2 + 2*a + 16. Let g(j) = 7*c(j) + 4*x(j). Let p be g(13). Does 10 divide ((-4)/6)/(p/(-405))?
False
Let q(c) = c**3 - 8*c**2 + 8*c - 3. Let p be q(2). Let d be (11/p)/((-2)/(-80)*-2). Suppose 4*r = 80 + d. Is r a multiple of 5?
True
Let h = -64 - -91. Suppose -h*g + 25*g = 26. Is 7808/52 - (-2)/g a multiple of 30?
True
Suppose -a = v - 632, -3*v - 2919 = -5*a + 225. Is 35 a factor of a?
True
Suppose -5*s + 5193 = 3*v + 3*s, 0 = -4*v + 5*s + 6877. Does 48 divide v?
False
Let b(k) = 21*k**2 - k - 27. Let i be b(-10). Suppose -5*y = 2*m - i, 2028 = 5*y - 3*m - 35. Is 49 a factor of y?
False
Suppose -2*h + 45946 = s, -h = 25*s - 1347412 + 199007. Is s a multiple of 33?
True
Let v = -1759 + 3299. Is 4 - (v/(-7) + 4) a multiple of 20?
True
Let d = 5 - 0. Let s(f) = -f**3 + 14*f - 23. Let o be s(-8). Suppose 4*w - 538 = -3*v, d*w - 4*v + o = 1065. Does 34 divide w?
True
Suppose -5*r + 20 = 0, 992 = 4*a + 2*r + 2*r. Suppose 0 = j - 4, 0*f = 4*f - 2*j - a. Is 7 a factor of f?
True
Let a = -495 - -501. Suppose 1283 - 4931 = -a*t. Is 49 a factor of t?
False
Let n(a) = -a**2 + 15*a - 12. Let u(g) = -75*g + 3. Let v be u(1). Let l = v - -84. Is n(l) a multiple of 12?
True
Suppose k - 8 = -3*k. Suppose k*p = -4*u - 14, 2*u - u + 5*p = 1. Is 9 a factor of u + 4 + 70 + 0?
False
Let g(r) = -26 + 42 - 9*r**2 + 12*r + 2*r**2. Let s(t) = -t**2 + t - 1. Let n(c) = -g(c) + 4*s(c). Is 14 a factor of n(-7)?
False
Is 18/(-12) - ((-61015)/10 + -5) a multiple of 33?
True
Suppose 0 = -10*b + 14*b - 24960. Suppose 5*p + 16810 = -b. Does 14 divide p/(-55) - (-4)/22?
True
Let d(q) = 16*q**2 + 6*q - 3. Let v be d(2). Let j = v - 55. Is 3 a factor of j?
True
Let p = -29445 + 58405. Is p a multiple of 113?
False
Let l be 6/(-15) + ((-394)/(-10) - 1). Suppose 0 = 3*u + 4*s - l, 2*u - 1 - 1 = 2*s. Suppose 0 = 4*k - 4*z - 360, 2*z - 348 = -u*k + 2*k. Is k a multiple of 22?
True
Let q(l) = -82*l - 4. Let z(d) = -327*d - 15. Let a(b) = -22*q(b) + 6*z(b). Let c be a(-1). Suppose 4*s - s = c. Does 9 divide s?
False
Suppose -90641 - 104036 = -29*q. Is q a multiple of 68?
False
Suppose 0 = 9*t - 43088 - 744 - 4606. Is 3 a factor of t?
True
Let w be 6*(16/(-64))/(1/2). Is w - (-3 + -186) - (-32)/(-8) a multiple of 7?
True
Suppose 29*t - 28*t - 12 = 0. Let x be 0/(-3 + (-1 - -5)). Suppose r - 256 = -4*z, x = 5*r - 2*r + t. Is z a multiple of 14?
False
Suppose -f = -4*d + 422, -524 = -5*d + 7*f - 4*f. Let j = 48 + d. Does 32 divide j?
False
Let q = -220 - -217. Is (2/q)/(14/(-6069)) a multiple of 17?
True
Let r(w) = w**3 - 11*w**2 + 15*w + 16. Suppose 3*j = 93 - 57. Is 34 a factor of r(j)?
True
Is 6 a factor of 0 - (-6)/3*(10 + (-69648)/(-32))?
False
Let r be (((-70)/21)/10)/(1/15). Let o(m) = -103*m - 39. Does 77 divide o(r)?
False
Let v be 6 - (-2)/(-2)*-34. Suppose 49*t - 315 = v*t. Does 35 divide t?
True
Suppose 38 = 8*j - 2. Suppose -j*n - 71 = -81. Suppose -2*k = -d - n*d + 184, -d + 2*k = -64. Does 12 divide d?
True
Suppose 836879 - 305579 = 35*z. Does 23 divide z?
True
Let j(a) be the first derivative of a**4/4 + a**3 - 3*a**2/2 + 8*a + 11. Let p be j(-4). Suppose p*g = -3*x + 289, g + 335 = 6*g - 5*x. Is 7 a factor of g?
True
Let n = 11455 - 8189. Does 23 divide n?
True
Suppose 0 = -3*v - 0*v + y + 50779, -2*y = -16. Is 9 a factor of v?
True
Suppose -5*l = 4*x - 3387, 25*l + 2*x - 2706 = 21*l. Is 15 a factor of l?
True
Let u = -97 + 100. Let k(s) = -6*s - 1 + 51*s**3 - 52*s**3 + 3 + 12*s**2 + u. Is 25 a factor of k(9)?
False
Let n = 1367 - -9593. Is 80 a factor of n?
True
Let n = -1449 + 2468. Suppose -n + 67 = -7*w. Is 34 a factor of w?
True
Suppose -88*d + 7096038 = -15*d. Does 15 divide (3/18*-2)/((-17)/d)?
False
Suppose 5*v + 0*v = 10. Suppose 3*o - 4*t = -v*t + 100, -2*o + 55 = t. Suppose -3*s = 5*f - o, 3*f - 4*s = 7*f - 16. Is 5 a factor of f?
False
Let x = -520 - -571. Let n = 190 - x. Is 11 a factor of n?
False
Suppose 3*a = -5*t + 1598, 2*a = 315*t - 316*t + 314. Is 49 a factor of t?
False
Let v = 9347 - 9040. Is 11 a factor of v?
False
Suppose 174*s - 400*s + 123788 = -198*s. Is s a multiple of 11?
False
Suppose 9*y - 17630 = 22123. Is y a multiple of 141?
False
Suppose 1552 = 8*n + 8*n. Suppose -5*j + 465 = 5*q, -3*j = -q - 6*j + n. Let c = -73 + q. Is c a multiple of 4?
False
Let g be 0 + 6/10 + 11392/(-320). Is 20 a factor of -3*g/(-15)*-40?
True
Let m = 4032 - -12138. Is m a multiple of 10?
True
Is 66 a factor of 173/173*(-8685)/(-1)?
False
Suppose -17876 = -d - 4*p, -1980*d + p = -1977*d - 53680. Does 4 divide d?
True
Suppose 0*r + 3 = 4*o + 5*r, -o + r = -3. Is 23 a factor of (46/o)/((18/3)/42)?
True
Let w(u) be the second derivative of u**4/3 + 5*u**3/6 - 5*u**2/2 + 9*u. Let z be w(-8). Suppose -4*x = 7 - z. Is 17 a factor of x?
True
Is (-28)/(-98) + 939*(-255)/(-63) a multiple of 37?
False
Let c = 353 - 171. Let r be 2*c*45/20. Suppose 6*y = -y + r. Is 17 a factor of y?
False
Suppose 6451 - 1169 = 38*b. Suppose 0 = -4*v - 4*l - l + b, -5*l + 108 = 3*v. Is v a multiple of 31?
True
Suppose 73*a - 58*a - 75 = 0. Suppose 2*c - 669 = -l, a*l - 19 = 6. Is c a multiple of 15?
False
Suppose -37*v - 65 = -36*v. Let a = v - -66. Suppose 3*q - 160 = -2*s + 117, a = -s. Is 31 a factor of q?
True
Let q = 8222 - -11668. Is q a multiple of 5?
True
Suppose -98*h - 1254 = -100*h. Let p = h + -290. Does 19 divide p?
False
Let o(r) = -r**2 + 14*r + 43. Let a be o(9). Is (-1)/4 - (-70422)/a a multiple of 25?
True
Le