 of y?
True
Let x(t) = -t**2 + 14*t. Let b be x(14). Suppose b = 4*i - 2412 - 1416. Is i a multiple of 21?
False
Let r be (144/56)/((-1)/(-91)). Let g be ((-3)/9)/((-6)/r). Let k(y) = 11*y - 27. Is k(g) a multiple of 29?
True
Is 10 a factor of ((-3905)/142)/(2/(-16))?
True
Suppose 3*x - 7900 = 5*v, v - 10524 - 40 = -4*x. Is 30 a factor of x?
True
Suppose i + 3*r - 131 = -38, -186 = -2*i - 5*r. Is (164 - 2)*62/i a multiple of 6?
True
Let h be (-1)/(-2)*0/(-1). Suppose 5*w + 3*l = h, -2*l - 28 = -3*w - 9. Is (-4 + 8 + -2 - w)*-112 a multiple of 16?
True
Let n(g) = 3*g**3 - 8*g**2 - 3*g + 7. Let b be n(3). Suppose 810 = -b*m + 12*m. Is m a multiple of 10?
False
Let p(y) = 12*y**2 - 12*y - 10. Let c be p(-4). Suppose 5*i + 140 = j, -5*i - c = -5*j + 390. Is j a multiple of 10?
True
Let c(x) = 13*x**3 - x**2 + x - 2. Let w be c(2). Let p = w - -52. Is 8 a factor of p?
True
Suppose z - 824 = 2*h, 2*h - 2496 = -7*z + 4*z. Is 4*(-6)/144 + z/12 a multiple of 19?
False
Let q(o) be the second derivative of 5*o**3/2 - 35*o**2 + 2*o - 6. Is q(10) even?
True
Suppose 35*s + 12 = 29*s. Let a be (18/(-5))/(s + (-119)/(-70)). Let v = 4 + a. Is 8 a factor of v?
True
Suppose 822896 = -8*o + 59*o - 366934. Does 140 divide o?
False
Let m(l) = -l**3 + l**2 + l - 1. Let u(w) = 5*w**3 - 16*w**2 - 4*w + 35. Let r(h) = -6*m(h) - u(h). Suppose 362*s - 352*s + 50 = 0. Is 26 a factor of r(s)?
False
Let j(t) = -3*t + 42. Let i be j(14). Suppose -l = 3*l + 16, i = -2*y + l + 324. Does 40 divide y?
True
Let k be (-42)/(-56) + (-5)/((-20)/(-3)). Is 10 a factor of (-2)/4 + k + (-18208)/(-64)?
False
Suppose 0 = 4*l - o - 291, 0*l + 2*o = 3*l - 212. Let b = l - 68. Suppose -b*a + a + 2*f = -140, 0 = 3*a + f - 84. Is 14 a factor of a?
True
Let q = 3002 + -524. Does 60 divide q?
False
Let m(y) = 3*y**2 - 10*y + 18. Let c be m(3). Is (c/(-20))/((-3)/156) a multiple of 39?
True
Suppose -3*h - 5*b - 12 = -392, 3*b - 384 = -3*h. Let d = -58 + h. Is 18 a factor of d?
True
Suppose 0 = 27*r + 63*r - 1027620. Is r a multiple of 47?
False
Let c(y) = 4*y**2 - 21*y - 672. Does 13 divide c(38)?
False
Suppose 98 - 113 = -5*g. Suppose 4*l + 16 = 0, -1046 + 300 = -2*d - g*l. Is d a multiple of 45?
False
Let f = 23655 + -10385. Does 59 divide f?
False
Let f(b) = -12*b - 85*b - 35 + 37. Let s be f(-1). Does 28 divide (-2)/9 - (-11110)/s?
True
Suppose -4*h = -2*f - 942 + 6028, -3*h + 10161 = 4*f. Is 11 a factor of f?
True
Let r(t) = t**3 + 86*t**2 + 221*t + 345. Is r(-83) a multiple of 9?
False
Let q = 6777 + -1284. Is q a multiple of 63?
False
Let z(n) = 4*n**2 - 3*n - 2. Let p be z(-1). Let c(v) = 4*v**2 - 2*v + 9. Is 9 a factor of c(p)?
True
Suppose 0 = -5*d + 4*k + 21, 4*k - 2 = 2*k. Suppose -3*g + 70 = -2*m, -d*g + 118 = -m - m. Suppose -j + g + 53 = -3*z, 292 = 4*j + 4*z. Is j a multiple of 11?
False
Let z be (30/12 - 3)*-394. Suppose -v + z + 209 = -2*j, -6 = 2*j. Does 33 divide v?
False
Let q = 45 - 30. Let x be (-3)/(6/(-4)*2/6). Suppose -q*k + x*k = -324. Is 12 a factor of k?
True
Let g(u) be the second derivative of 7*u**3/6 + 9*u**2 - 53*u. Is 4 a factor of g(8)?
False
Suppose -34*k = -36*k + 72. Let o = 11 + -23. Let x = o + k. Is x a multiple of 12?
True
Let i(t) = 7*t**2 + 8*t - 16. Let d be i(5). Does 4 divide (d/3)/(4/12)?
False
Let l = 931 + -927. Let u = 0 + 2. Suppose 124 = 4*a - 0*o + u*o, o + 130 = l*a. Does 4 divide a?
True
Suppose t + y + 15 = 0, 0*y = -5*y - 10. Let l = t + 84. Let h = -37 + l. Is 34 a factor of h?
True
Let o(w) = -4*w**2 + w + 20. Let z be o(0). Does 20 divide z/8*-1*2 + 360?
False
Let u be (-115)/(-23) + (-1 - 1). Suppose -u*w - 2512 = -5*w - 2*t, 0 = w + 3*t - 1248. Does 18 divide w?
True
Does 7 divide -2884*((-2155)/5172 + (-2)/(-12) + 0)?
True
Suppose 0*r - 7 = 5*r + 2*k, 3*k = -3. Is 12 a factor of r - -1 - -26 - 5?
False
Suppose 0 = 48*i - 153*i + 48*i + 140505. Is 17 a factor of i?
True
Let h be -2*1*(-1738)/22. Suppose -310 = -3*a + h. Is 39 a factor of a?
True
Let t(j) = -j - 24. Let x be t(-26). Suppose 5*n - 230 = 4*n - x*r, 5*r - 692 = -3*n. Is 11 a factor of n?
False
Let z(u) = -10*u - 63. Let v be z(-6). Let g be (-16)/(-4) + 133 + -2 + v. Let w = 184 - g. Does 13 divide w?
True
Let h(w) = 373*w - 11913. Is 39 a factor of h(117)?
False
Does 23 divide 300503/49 - (4 + -2)*2/(-14)?
False
Suppose 109*w - 139*w + 112140 = 0. Does 14 divide w?
True
Let b = 82 + -152. Let k = b + 74. Is 38 a factor of (-19)/(k - (-196)/(-48))?
True
Let y = 3789 - -3427. Does 16 divide y?
True
Let c = 0 - -3. Let h(t) = 21*t**2 - 2*t + 8*t + 7*t**2 - 18*t**2 + 1 - 10. Is 15 a factor of h(c)?
False
Let d(k) be the first derivative of 9*k**2 - 95*k - 35. Is d(33) a multiple of 19?
False
Is 92548/(-51)*(-42)/8 - 5 a multiple of 69?
True
Let k be 276/10*-1 + 82/(-205). Is 22 a factor of 788/18 + k/(-126)?
True
Suppose -a - 3 = 0, -7*v - 2*a + 190 = -6*v. Suppose 245*m - 252*m = -v. Does 2 divide m?
True
Is (-2)/(-2)*13840/(-120)*-84 a multiple of 191?
False
Let s(c) = -c**3 - 11*c - 2 + 23*c**2 + 10 - 16*c**2. Let m be s(5). Is 8 a factor of (m/(-3) + 9)/1?
True
Let f(x) = -2*x + 32. Let t be f(11). Let r be (48/t)/((-8)/(-80)*3). Is (0 + 1)*1152/r a multiple of 7?
False
Let x = 22767 - 2177. Is 29 a factor of x?
True
Let l = -4261 - -18325. Is 16 a factor of l?
True
Let z = 42 + -38. Let x be 0 + (-4)/(3 - z). Suppose 0 = 5*m + x*n - 20, -n = 2*n. Is 4 a factor of m?
True
Let c = 2983 - -580. Does 7 divide c?
True
Suppose -16 = -37*p + 35*p. Suppose -5*w + 1366 = 3*q, p*w + 2*q = 4*w + 1092. Does 9 divide w?
False
Let v be 1/3 - 781/(-33). Suppose -x = -3*x + v. Suppose 10*n + x = 52. Does 4 divide n?
True
Let l(j) = 7*j**2 + 100*j + 2700. Is 100 a factor of l(-40)?
True
Let y(u) = -131*u - 4850. Is y(-50) even?
True
Let f(x) = 14*x - x**2 - 11 + 22*x + 0*x. Let c be f(23). Is (-20)/3*c/(-30) a multiple of 16?
True
Let l be (2/(-5))/((-39)/(-42705)). Does 89 divide 5/(-20)*-28 - l?
True
Suppose 2*x - 4936 = 5*i, i = -25*x + 27*x - 4952. Does 21 divide x?
True
Let g(c) = 7298*c + 655. Is 101 a factor of g(2)?
True
Suppose -27 = 5*t - 2*t. Let g be (432/(-63))/((-4)/14). Let z = g - t. Does 3 divide z?
True
Let l(r) = -196*r + 2600. Is 78 a factor of l(-52)?
True
Let v(i) = -i - 6. Let p be v(-6). Suppose p*h + 4*y + 61 = 3*h, 3*y = -12. Let x(j) = j + 32. Does 17 divide x(h)?
False
Let l(v) = 95*v**3 + v + 2. Let a be l(-1). Let k = 5 - a. Is k a multiple of 9?
True
Let w be (-2 - -224 - -1)/(-1). Let y = -95 - w. Is 16 a factor of 70/(-14)*y/(-10)?
True
Let o(a) = -101*a**3 - 5*a**2 + 8*a + 15. Let h(f) = 50*f**3 + 3*f**2 - 4*f - 8. Let z(j) = 11*h(j) + 6*o(j). Does 12 divide z(-2)?
False
Does 13 divide 315082/12 - 91/(-78)?
False
Let q(u) = -3*u - 7. Let j(d) = 12*d + 29. Let y(h) = -2*j(h) - 9*q(h). Let n be y(-9). Let s = 46 + n. Is 12 a factor of s?
True
Let v = 62 - 57. Suppose -861 = -v*b + y + 1098, -4*b - y + 1560 = 0. Is 23 a factor of b?
True
Let b(j) = 921*j - 763. Is 12 a factor of b(2)?
False
Suppose -3*t - 2*z = -138, -126 = -4*t - 2*z + 56. Suppose 32175 = t*d - 11*d. Does 62 divide d?
False
Let k(s) = 5707*s - 876. Is 16 a factor of k(4)?
True
Suppose -2*a = -64*a + 34534. Is 68 a factor of a?
False
Suppose 2*c + 71887 - 95709 = 0. Does 43 divide c?
True
Let b(r) be the first derivative of -r**3/3 + 19*r**2/2 + 20*r - 254. Suppose 5*d - 5*n = d + 60, 75 = 5*d - 4*n. Is 16 a factor of b(d)?
True
Let l(f) = -f**2 - 5*f - 17. Let m be l(20). Let d = -290 - m. Is d a multiple of 7?
False
Suppose 3*u - a - 103400 = 0, 3*u + 610*a = 613*a + 103416. Does 16 divide u?
True
Suppose -10*b + 7 = -9*b. Let a(p) = 4*p**2 + p + 3. Does 24 divide a(b)?
False
Suppose q = -5*v + 50880, v + 50880 = 6*v + 3*q. Does 53 divide v?
True
Suppose -3*m + 9 = 5*q, 4*q - m - 7 - 7 = 0. Let r(l) = -34*l**2 + 6 + l**q + 65*l**2 - 32*l**2. Does 2 divide r(3)?
True
Suppose a = -2*x + 469, x + 5*a - 129 - 101 = 0. Let o = -22 + x. Suppose 4*p = 5*n - 0*p - 1027, 3*p - o = -n. Is n a multiple of 23?
True
Does 11 divide -2910*(264/(-30))/4?
True
Suppose q = 3*i - 2*q - 35571, 0 = -i - q + 11859. Does 77 divide i?
True
Let x = -41 - -40. Let i be x/1 + 32 + 11 + -8. Let l = i - -4. Does 19 divide l?
True
Let o(x) = 5*x**2 + 54*x - 8. Let y be o(-11). Let f(h) = 20*h + 8. Let j be f(11