19 + 28 + 0*h**2 - 44 + o*h**2. Is 3 a factor of n(3)?
True
Let s(v) be the second derivative of v**4/12 + v**3/3 - 15*v**2/2 - 10*v. Does 8 divide s(-9)?
True
Let p = 19 + -77. Let y = -56 - p. Suppose -133 = -y*q - 43. Is 5 a factor of q?
True
Suppose 3*y - h + 7 + 9 = 0, 5*y + 4*h + 38 = 0. Let i(w) = 6*w**2 - 4*w. Is 10 a factor of i(y)?
True
Let l = -4462 - -8648. Suppose 2288 = 6*k - l. Does 19 divide k?
False
Suppose 3*k - 69 = 3*u, -4*u = -5*k - 0*k + 115. Let i(h) = -h**2 + 14*h + 54. Let p be i(17). Suppose 2*z = k - p. Is z a multiple of 4?
False
Let r = 1983 + -1303. Suppose -18*p = -p - r. Is p a multiple of 4?
True
Let l(d) = 151*d**3 - 4*d**2 + 14*d - 22. Is 27 a factor of l(4)?
False
Suppose -4*p = -4*y + 4312, 3234 = 4*y - y - p. Suppose 349*u - y = 342*u. Does 11 divide u?
True
Let c(h) = 5*h**3 + h**2 + h - 1. Let g be c(1). Let p(j) = -29*j + 5. Let o be p(0). Is -15*o/((-25)/g) a multiple of 6?
True
Suppose -20 + 137 = 3*x. Let b be (3*(-1)/(-9))/((-2)/(-54)). Suppose 5*k = -m + x, m + 3*m = k + b. Is k a multiple of 6?
False
Let k(x) = x**2 - x - 4. Suppose -f = -t - 5, 2*t + 5 = -5*f - 5. Let p be k(t). Let n = 5 + p. Is 13 a factor of n?
False
Suppose -3*p = -2*g + 19460, 0 = -5*g + 135*p - 138*p + 48608. Is 17 a factor of g?
True
Is ((-442)/34 - -7)*(9414/(-4) - 0) a multiple of 27?
True
Suppose -16*q + 820 + 5244 = 0. Is 5 a factor of q?
False
Suppose -143208 = 3*u - 54*u. Is 54 a factor of u?
True
Suppose 8 = -4*h, -3*o + 4*h = -28 + 8. Suppose -4*m + 4 = 2*v + 3*v, 4*v + o*m = 4. Suppose v = 24*i - 27*i + 162. Is 8 a factor of i?
False
Suppose 188921 + 3288604 = 64*u + 788245. Does 22 divide u?
True
Suppose 235*p - 809072 = 42*p + 592494. Does 19 divide p?
False
Let j(m) = 205*m**2 - 376*m - 7. Is j(6) a multiple of 119?
True
Suppose -3*j + 3*u - 12 = 0, 2*j + 4*u + 8 = u. Let k be 63/4 - 3/(-12). Does 14 divide 42/(j/k*-4)?
True
Let a = -102 - -80. Let y(d) = d**3 + 24*d**2 + 26*d - 6. Does 23 divide y(a)?
False
Suppose 0 = -4*k + s + 282734, 23*k - 28*k = -2*s - 353422. Is k a multiple of 59?
True
Let i(c) = 167*c + 1. Let o be i(1). Let x(u) = -16*u + 135. Let g be x(8). Suppose -3*v + g*v - o = 0. Is 7 a factor of v?
True
Is (461 - 459)/(552/(-554) - -1) a multiple of 15?
False
Suppose -4*y = -20*y + 160. Is -2*(4 + (-1415)/y) a multiple of 10?
False
Suppose -3*n - 84 = -7*n. Suppose -6*q = -q - 35. Is 8 a factor of 55 - (q/n + 2/3)?
False
Suppose -9*h - 5*z - 15 = -4*h, 3*z + 9 = -2*h. Suppose h*w = 6*w - 1134. Is w a multiple of 21?
True
Let y(z) = 25*z**2 + 7*z - 8. Let c be y(-8). Suppose c = 4*w + 368. Suppose w + 608 = 9*q. Is q a multiple of 13?
False
Let p be -2 - 12/4 - -3. Let d(v) = -349*v - 19. Is 97 a factor of d(p)?
True
Is 8 a factor of 1/(-3) - 20/((-780)/18109)?
True
Suppose -2*j + 5*b = 1359, 2*j - 62 = b - 1433. Let q = j - -1042. Is q a multiple of 61?
False
Let t(x) = x**2 + 4*x - 29. Suppose -21*g = 167 + 169. Does 3 divide t(g)?
False
Let l(v) = 320*v - 15. Let p(y) = -318*y + 15. Let a(s) = 7*l(s) + 6*p(s). Is a(2) a multiple of 32?
False
Suppose 9*h = -5*h - 798. Let p = 169 + h. Suppose -2*u - 2*n = -p - 106, 2 = -n. Is 7 a factor of u?
False
Suppose 990*p - 1022372 = 943*p + 247944. Does 29 divide p?
True
Suppose -1 = 2*a + 13. Let k(i) = -14*i + 11. Let p be k(a). Suppose -127 = -2*q + p. Is q a multiple of 15?
False
Is 41 a factor of 15233530/2730 + (-5)/105?
False
Does 18 divide 1245960/46 + (30/345*-139 - -12)?
False
Suppose 3*k - 21 = -12. Suppose 488 = 4*p - k*v, -603 = -p - 4*p + 2*v. Is p even?
False
Suppose 20*y - 12521 = -321. Let m = y + 92. Does 12 divide m?
False
Let n(x) = -341*x - 46. Let w be n(-15). Suppose -79 = -18*t + w. Is t a multiple of 59?
False
Let x(c) = c**2 - 7*c + 32. Let j be x(3). Suppose -j*f = -4*f - 10448. Does 13 divide f?
False
Let x(z) = z**3 + 8*z**2 - 8*z + 17. Suppose -5*y = 13 + 22. Let n be x(y). Let b = 83 + n. Is b a multiple of 41?
True
Let o be 25/75 - 3602/(-3). Let i = -842 + o. Does 18 divide i?
False
Suppose 48*o - 28*o - 77376 = 16*o. Is o a multiple of 6?
True
Let q(x) = 16970*x + 142. Is 69 a factor of q(1)?
True
Let g(j) be the first derivative of -9*j**2 - 16*j + 1. Suppose 44*m + 241 + 67 = 0. Does 21 divide g(m)?
False
Let v(a) = -a**2 + 31*a - 28. Let g be v(29). Suppose -34*j + g*j + 856 = 0. Is j a multiple of 87?
False
Let j be -13 + 12 + (1 - -22). Suppose 0 = -j*x + 15*x + 35. Suppose 2*z + 5*f - 10 = 102, -x*z + 210 = -5*f. Is z a multiple of 19?
False
Let s = 448 - 437. Suppose 17*n = s*n + 750. Is n a multiple of 26?
False
Suppose 16*l - 202*l + 1865146 + 1261886 = 0. Is 7 a factor of l?
False
Let u = 312 + 2799. Does 17 divide u?
True
Let s(a) = 6*a + 40. Let n be s(-6). Let x = 52 + -50. Suppose x*l + n*l = 288. Does 5 divide l?
False
Let i = -11212 + 21438. Is 89 a factor of i?
False
Let t(s) = -7*s - 65. Let z be t(-23). Suppose w - 6*w + 2*d = -240, -2*w - 2*d + z = 0. Is w a multiple of 9?
False
Suppose -10*i + 43*i = 146091 + 245553. Does 129 divide i?
True
Let n(b) = -2053*b**2 + b**3 + 1019*b**2 + 1028*b**2 + 4*b - 3. Is n(9) a multiple of 14?
False
Suppose -2*j = -0*j - 0*j. Suppose j = -z + 4*u + u + 365, -5*z + 4*u + 1762 = 0. Does 35 divide z?
True
Let l be 1/8*4 + (-5)/(-2). Suppose 2*p + l = 7. Suppose -4*n - p*k = -248, 1 - 125 = -2*n + 4*k. Does 33 divide n?
False
Suppose -o + 4*d + 6409 = -1221, 7635 = o - 5*d. Is o a multiple of 9?
False
Let b be ((7/3)/(-7))/((-3)/459). Suppose -303 = 7*o - b. Let g = 0 - o. Does 12 divide g?
True
Suppose -2*s - 16*s + 21098 = -18592. Does 49 divide s?
True
Let g(m) = 2*m**2 - 4*m + 5. Let x be 1*(-4)/20*-5. Suppose 8 = -2*d - 2*z, 0 = -4*d - z - 15 - x. Does 15 divide g(d)?
False
Suppose 0*s + 27952 - 1042 = 5*s. Does 26 divide s?
True
Let x(j) = 151*j - 632. Is x(24) a multiple of 34?
True
Let t be (-2 - 80/(-15))*-21. Is 9 a factor of (14/(t/45))/((-2)/2)?
True
Let z = 599 - -1241. Suppose 11*i = i + z. Is i a multiple of 10?
False
Let a be -5 + 5 - (-5 - -9). Let y be ((-6)/4 + 2)/(2/a). Does 6 divide (-24)/10*(y - 1 - 8)?
True
Let c = 6 + -12. Does 15 divide 111*(-28)/c - 7?
False
Suppose 715 + 533 = -8*i. Is 5 a factor of (-8)/(-6)*(-16497)/i?
False
Suppose 0*n = 3*n - 9. Suppose -99 = -2*l + n*c + 14, 5*l - c - 250 = 0. Let u = l - 30. Is u a multiple of 10?
False
Suppose 28*u - 695 + 295 = -2808. Suppose -3*v + 126 = -252. Let w = v + u. Does 8 divide w?
True
Let g(f) = f**2 + 21*f + 2. Let m be g(-19). Let s = m + 129. Suppose -5*b - s = -4*i + 69, -3*b = 3*i - 135. Does 21 divide i?
False
Let f be (-4 - 24/(-6) - 22)*-47. Let o = f - -16. Does 30 divide o?
True
Let j be -1213 + (-5 - (-9 - -3)). Does 19 divide 9/(81/j)*-6?
False
Suppose 31*q - 24*q = 14. Suppose q*k = -4*k - 12. Is 16 a factor of k/((-6)/(-8) + 869/(-1144))?
True
Let k(d) = -d**2 + 22*d + 27. Let z be k(23). Suppose -5*m + 20 = 5*c, 3*m + 16 = -0*c + z*c. Suppose 9*w - c*w = 930. Is 25 a factor of w?
False
Let x be 18/(-12) + 826/(-4). Let u = x + 232. Is 24 a factor of u?
True
Does 14 divide 12630/65 - (-80)/(-260)?
False
Suppose 2*b = 2 - 10. Let r be (-2644)/(-22) - 4/(-88)*b. Suppose -10*m = -4*m - r. Does 17 divide m?
False
Suppose 5*n = -0*p + 4*p + 67, 2*n - 16 = -2*p. Suppose 0 = -2*h + n - 21. Does 15 divide (-527)/h + ((-80)/(-25))/(-8)?
True
Let g(n) = 2*n**2 + 5*n + 27. Let b be ((-6)/(-10))/((-25)/(-125)). Suppose 0 = -a + 2 - 7, -b*a = 4*p + 67. Does 30 divide g(p)?
True
Let i be 514*(20/8*-2 - -4). Let t = i - -794. Is t a multiple of 28?
True
Let g be (20/3)/(22/(-66)). Let x = 23 + g. Suppose -k + b = x*k - 448, k = b + 112. Is 12 a factor of k?
False
Let a(d) = 5*d**2 - 91*d - 3208. Is a(-30) a multiple of 233?
False
Let v = -105 - -128. Let i = 19 + v. Is i a multiple of 7?
True
Suppose 97310 = 21*g + 14543 - 1821. Does 9 divide g?
False
Let z = 538 - 242. Suppose 0 = 11*h - z - 639. Is 26 a factor of h?
False
Let s(b) = -9*b - 6. Let u(x) = -3*x**2 + 6*x - 6. Suppose -5*t = -5 - 5. Let a be u(t). Does 24 divide s(a)?
True
Suppose 2*m + 1 = -4*i - 3*m, 0 = 3*i - 4*m - 38. Let v(b) = 21*b - 1. Let z be v(3). Suppose -j + z - i = 0. Is 28 a factor of j?
True
Let k(g) = 136*g**2 - 83*g**2 + 1 + 4*g + 5 - 3. Let w be k(-2). Suppose 1211 = 4*j + w. Is j a multiple of 20?
F