43?
True
Let v(r) be the second derivative of r**2 + 5/4*r**4 + 6*r + 5/2*r**3 + 1/20*r**5 + 0. Is v(-13) a multiple of 16?
False
Let u be (4/(-2))/(12/(-24)). Suppose 3*h - 309 = -5*g, -h + u*h - 309 = -3*g. Does 12 divide h?
False
Let v(q) = q**2 - 4*q + 1. Let a be v(5). Suppose 2*x + a = 10. Suppose 60 = 5*n + x*y, -3*n + 31 = n + 5*y. Does 14 divide n?
True
Suppose 7*o - 2*o - 15 = 0, 5*m + 2*o - 656 = 0. Does 13 divide m?
True
Suppose -4*o - 2*x + 47210 = 0, -9*x - 47217 = -4*o - 12*x. Is o a multiple of 19?
True
Let a be 14/(-4)*4/(-7). Suppose 10 - 2 = -a*g. Is 22 a factor of (g - 1) + 0 + 327?
False
Let c be -19 - -20 - (-127 + 0/3). Suppose -5*d + 4*b = -7*d + c, -5*d - 2*b + 304 = 0. Is d a multiple of 10?
True
Let f = 344 + -344. Suppose f = -77*j + 71*j + 4080. Does 40 divide j?
True
Let h be -2*(-3)/(-4) - (-2)/(-4). Let j be 36*(h - 25/(-10)). Let p(g) = g**3 - 19*g**2 + 20*g + 38. Is p(j) a multiple of 33?
False
Suppose -7*f = -57*f + 1739245 - 12045. Is 34 a factor of f?
True
Let n(o) = -4*o + 14. Let w be n(3). Suppose -g + 5*j = w*g - 35, -5*g - j = -77. Suppose g*v - 120 = 10*v. Is 8 a factor of v?
True
Let l = -8 + 13. Suppose -3*h - 178 = -5*q + 3*q, -491 = -l*q - 4*h. Is 26 a factor of q?
False
Suppose 3*x + c - 7 = 2*x, 2*x - 12 = -3*c. Suppose 0 = 4*h + x*h - 923. Is 2 a factor of h?
False
Let t = -36818 + 54188. Is t a multiple of 10?
True
Suppose -7*v - v + 9*v - 2857 = 0. Does 89 divide v?
False
Suppose 32*n - 47*n + 206665 = 47350. Is 69 a factor of n?
False
Let r = -40 + 47. Suppose -4*s + r = -9. Suppose -3*g + 3*v = -g - 214, -s*v = 3*g - 304. Is 11 a factor of g?
False
Is 5 a factor of -1*(18 - (-2873)/26)/((-2)/4)?
False
Is 891/(-198)*(-18332)/9 a multiple of 89?
False
Suppose -203*y = -210*y + 117992. Does 35 divide y?
False
Let c be 24/(-16) - -4 - 1017/(-2). Let l = 973 - c. Is l a multiple of 23?
False
Let m be 3*40/48*-10. Let q(v) = -v**2 - 37*v - 48. Does 18 divide q(m)?
True
Let s(i) = 103*i**2 + 132*i**2 + 4*i + 6 - 62*i**2 - 1. Is s(-1) a multiple of 42?
False
Suppose -342 = -n + 3*w, -2*w + 1328 = 4*n - 6*w. Let v = 413 - n. Is 6 a factor of v?
False
Let d = 29657 - 16770. Does 14 divide d?
False
Is 145 a factor of (4524/117)/(4/570)?
True
Let g(l) = l**3 - 40*l**2 + 382*l + 45. Let c be g(21). Let s be (-3113)/7 - (-2)/(-7). Let a = c - s. Does 8 divide a?
False
Let y(b) = 6*b - 20. Let r be y(4). Suppose -950 = -3*a - r*i, 0 = -2*a + 4*a + 2*i - 630. Suppose 2*v - 285 = -5*q, 0*v - 3*v - a = -5*q. Is q a multiple of 9?
False
Let w = -9236 - -10961. Is 23 a factor of w?
True
Suppose m - 7784 = -7*m. Suppose 18*l = -55 + m. Is 16 a factor of l?
False
Let f(t) = 287*t - 41. Let d be f(2). Suppose -2*q + 4*c = -6*q + 508, -c - d = -4*q. Is 11 a factor of q?
True
Suppose -63*d - 17113 + 483093 = 29*d. Is d a multiple of 29?
False
Let d = -1420 - -2411. Suppose 4*n - 1349 = d. Is 7 a factor of n?
False
Let p be 140/28*(1 + 0). Suppose 2 - 7 = 4*u - p*c, 0 = 5*u - 4*c + 4. Suppose u = -d - 132 + 312. Is d a multiple of 20?
True
Let d(t) = -3*t**3 - 7*t**2 + 7*t - 1. Let h be d(1). Does 21 divide 1 - -4 - (h - (-1 - -118))?
True
Let t be (-3 - 77/(-21))*(0 - -8454). Suppose 17*s = t - 60. Does 8 divide s?
True
Let w be -1*(1 + 3 + -51). Suppose -13 = -5*i + w. Suppose 2*g - 127 = p, 0*p = 4*p - i. Does 9 divide g?
False
Let b = 40603 + -20809. Is b a multiple of 38?
False
Suppose 376 = 5*o - 4*u, -35 = -o - 3*u + 25. Let q = o - -99. Is q a multiple of 9?
True
Is 247 a factor of (1 - 9)*1 + ((-536100)/(-5))/3?
False
Let q be 1/(-4)*2*(-34 - -4). Does 25 divide 1202/5*q/6?
False
Let r(q) = -98 - 14 + 82830*q - 82839*q. Does 4 divide r(-16)?
True
Let t be (-3)/((-15)/5 - 292/(-97)). Let j = t + 390. Does 3 divide j?
True
Suppose -4*i + 5*n = i - 19965, 4*i - n = 15984. Is i a multiple of 21?
False
Let w(v) = -2*v**3 - 49*v**2 - 99*v - 217. Let x(s) = -s**3 - 25*s**2 - 51*s - 109. Let c(h) = -6*w(h) + 11*x(h). Does 8 divide c(-17)?
True
Suppose -12301 - 1982 = -36*j + 26577. Is 12 a factor of j?
False
Let f(g) = -2*g**3 + 15*g**2 - 6*g - 8. Let h be f(7). Let c = h + 3. Suppose 5*i - 118 = c*v, 0 = 6*v - 2*v + 16. Is 11 a factor of i?
True
Suppose 4511*t - 4517*t + 1410 = 0. Is t a multiple of 68?
False
Let h(z) be the first derivative of -z**3/3 - 17*z**2 + 12*z + 67. Is h(-24) a multiple of 63?
True
Suppose 45*x + 29*x - 956326 = -284776. Does 75 divide x?
True
Suppose 66*c - 30*c = 31*c + 108965. Is 34 a factor of c?
False
Suppose u - 7302 = -v, -5089*v - 10 = -5084*v. Does 8 divide u?
True
Suppose v = -4*x + 15964, -3*v - 15419 = 4*x - 63279. Is 11 a factor of v?
False
Suppose 0 = -4*r - 5*r + 513. Let y = -37 + r. Suppose -5*m = -y, 5*j - 4*j - 3*m - 108 = 0. Is 30 a factor of j?
True
Let u(v) = v**3 + 20*v**2 + 22*v - 12. Let f be u(-19). Let q = -167 - f. Let d = -38 - q. Does 10 divide d?
True
Let r = 349 - 349. Suppose -5*t + 1620 = -3*q - 2*q, r = 5*t + 5*q - 1600. Does 23 divide t?
True
Let t(c) = 9*c**3 + c - 2. Let u be t(1). Is (1 - u)/(-4 + (-775)/(-195)) a multiple of 13?
True
Let u(r) = 1482*r - 48. Let g be u(3). Suppose 9*h - g = 1137. Is 41 a factor of h?
True
Suppose -4*l - 160 = 4*p, -l = -2*p + p - 42. Let x = p - -64. Suppose -m + x = -d, -d = 4*m - 4*d - 96. Is 9 a factor of m?
True
Let x = -6865 - -17443. Does 86 divide x?
True
Let b(z) = z**2 - 28*z + 198. Suppose 5*s + 690 = 20*s. Is b(s) a multiple of 38?
True
Does 45 divide (-1 + 7)*-1*-990?
True
Let a(w) be the first derivative of 129*w**2/2 + 30*w + 73. Is a(2) a multiple of 24?
True
Let f = -3519 + 5179. Does 20 divide f?
True
Suppose 117 = 6*u + 3*u. Let d(i) = -i**2 - 7*i + 12. Let x be d(-6). Let n = x - u. Is n a multiple of 3?
False
Let b(d) = 3*d**2 - 2*d + 1025. Does 3 divide b(-23)?
True
Does 18 divide 15992 + 21 - (-34)/2?
False
Let v(h) = -1 + 2703708*h**2 + 0 - 7*h - 2703647*h**2. Let o = 4 - 6. Is v(o) a multiple of 18?
False
Let x(h) = -262*h - 6374. Is x(-55) a multiple of 98?
True
Let q(j) = 64*j + 110. Let d(b) = -13*b - 22. Let c(y) = -11*d(y) - 2*q(y). Let m be c(-6). Let n = m + 110. Is n a multiple of 7?
True
Let b be (-2)/(-9) + (-9150)/(-135). Suppose -b = -l - l + t, 0 = 2*l + 2*t - 62. Let j = 7 + l. Is 10 a factor of j?
True
Suppose 0 = 3*j - j - 8. Suppose -2*h + 6 = 5*r, 3*h - r - j = 6*h. Does 19 divide 93 + -2 - -2 - h?
True
Let f(h) = h**2 - h + 2. Let a(c) = 3*c**2 + 37*c - 126. Let q(r) = a(r) - 4*f(r). Does 24 divide q(12)?
False
Is 30*(1416/(-59))/(6/(-152)) a multiple of 32?
True
Let m be (-24)/10*-1*(3 - 33). Let i = m + 86. Is i a multiple of 13?
False
Suppose 9*p = 15*p + 9*p - 138000. Is p a multiple of 72?
False
Suppose 4*m - 16 = 0, -5*m - 7568 - 4814 = -3*i. Is i a multiple of 24?
False
Let x(p) = 10*p**2 - 34*p + 550. Is x(23) a multiple of 53?
False
Let u = 5012 - 5178. Let l = 20 + -76. Let i = l - u. Is i a multiple of 10?
True
Suppose -15*o = 5*o - 1060. Let f = 272 + o. Is f a multiple of 26?
False
Let z(m) = -m + 12. Let o be z(8). Suppose 0 = -o*s + 279 + 369. Suppose s = 20*f - 19*f. Is 17 a factor of f?
False
Let z(s) = -s**3 - 12*s**2 - 26*s - 12. Suppose 5*v + 7 = p, p = -5*v - 0 - 3. Let t be ((-40)/(-14))/(p/(-7)). Does 6 divide z(t)?
True
Let v(c) = 24*c + 1457. Is 17 a factor of v(-47)?
False
Suppose -18065 = -y + 3*j, -4*y + 52891 = -2*j - 19399. Is y a multiple of 44?
False
Let i(h) be the second derivative of h**4 + 11*h**3/6 + 39*h**2/2 - 66*h. Is 45 a factor of i(-6)?
True
Let p = 213 + -169. Let l = 314 - p. Does 15 divide l?
True
Let q(l) = 1122*l + 436. Is 112 a factor of q(2)?
False
Let w = 292 - 276. Suppose w*c + 2124 = 22*c. Does 59 divide c?
True
Let i(z) = z - 17. Let v be i(16). Does 11 divide (((-479)/4)/((-2)/(-8)))/v?
False
Let f be (-124)/(-31) - (-1 - 4). Is 1/(-5)*2055/f*-3 a multiple of 26?
False
Suppose 8*m = 3*m - 25, -2*r - 6 = 2*m. Let l(h) = -5 + 16*h + 3*h**r + 3*h**2 + 5*h**3 - 2 - 6*h**3. Is 18 a factor of l(7)?
False
Let f(h) = h + 33. Let r be f(-29). Suppose -2*p - 4*z + 132 = 0, -r*p + 375 = p - 5*z. Does 24 divide p?
True
Suppose 17*b = 5*b. Suppose -s = 2*s + 4*k - 362, 5*s - 2*k - 638 = b. Let l = s - -66. Does 16 divide l?
True
Let j(m) = 972*m - 2086. Is j(8) a multiple of 31?
False
Let r(i) = -i**3 + 39*i**2 - 9*i - 7. Is r(