composite?
True
Let h be ((-13)/3)/(8/6 + -1). Is (-4770)/(-1) + h/(-13) composite?
True
Let p(s) = 1270*s - 59. Let r be p(6). Is r + 0 + (-10)/(-5) a composite number?
True
Suppose 0 = 4*y, -2*m = -3*m + 3*y + 2757. Is m a composite number?
True
Suppose 59*o - 55*o + 15 = 3*f, f + o = 5. Suppose -2*l + 2*d = -5406, 0*l = f*l + 2*d - 13529. Is l a prime number?
False
Let q(c) = 624*c - 3375*c - 1770 + 1796. Is q(-1) a prime number?
True
Let p(h) = -9*h + 12. Let r be p(1). Suppose -2*j = g - 293, 302 = g + r*j + 9. Is g prime?
True
Let a = -16 + 26. Let o(z) be the second derivative of 9*z**3/2 - z**2/2 + 1788*z. Is o(a) a composite number?
False
Is (15/9)/(84749/(-21189) + 4) prime?
False
Let c = 281 + -285. Let o(m) = -12*m**3 + 2*m**2 + m - 27. Is o(c) a composite number?
False
Let j(l) = -18325*l + 4519. Is j(-10) a prime number?
False
Let x = 84925 + 79438. Is x a prime number?
True
Suppose 0 = -4*a + 16, -4*f - a = 2*a - 45388. Let y = 19263 - f. Is y a prime number?
True
Is 1 - (12 - 1) - (13 - 286612) composite?
False
Suppose -13320*l = -13347*l + 6004071. Is l a composite number?
True
Let f be (-24)/60 - ((-134)/10 - -2). Suppose 5*z + 216 + 1094 = 0. Is (1/(-2))/(f/77)*z composite?
True
Let w(m) = 3*m**3 - 38*m**2 + 41*m - 23. Let j(b) = -b**2 - 3*b + 21. Let v be j(-3). Is w(v) prime?
True
Let c(p) be the third derivative of p**4/24 - 7*p**2. Let z be c(0). Suppose z = 4*b - 455 - 37. Is b a composite number?
True
Suppose 4*i + 59*i - 29*i - 6118946 = 0. Is i prime?
True
Suppose -3*j + 5*j = 6996. Let q be 0 - 8*(-1)/2. Is j/8 + (q - (-85)/(-20)) a prime number?
False
Let l(w) = -376*w + 12. Let t be -4 + (-12)/(-4) + -3. Let c be l(t). Suppose -g + 502 = 5*v, -5*g - 2*v = c - 4141. Is g composite?
True
Suppose z = 2, 4*z - z = -2*r + 10. Let l(u) = 168*u**3 + u**2 - u + 2. Let t be l(r). Suppose o - 5*d - t = 0, -o + 1926 = -4*d + 579. Is o a composite number?
True
Let g be 5 + (-3)/((-9)/(-28668)). Let t = g + 20112. Is t prime?
False
Let o(r) = -r**3 + 8*r**2 + 25*r + 5. Let u(n) = -2*n**3 + 9*n**2 + 27*n + 6. Let x(y) = -3*o(y) + 2*u(y). Is x(-22) a composite number?
True
Suppose -d + 0*d = -6. Suppose 29*l - d*l = 85399. Is l a prime number?
False
Suppose -2*p - 16352 = -16*p. Let o = 1797 - p. Is o composite?
True
Let k(t) = t - 1. Let x(y) = -3*y - 13. Let v(h) = -4*k(h) - x(h). Let o be v(8). Suppose 0 = -2*g + 4*p + 16, -p - o = -4*p. Is g composite?
True
Suppose -n = -2*t - 657 - 97, -4*n + 3064 = 4*t. Let y = 17 - 17. Suppose y = 2*m + 4*h - 538, 0*h - 3*h = -3*m + n. Is m a prime number?
False
Let h(a) be the first derivative of 5*a**3/3 - 7*a**2 - 20*a - 1. Let u = -6556 + 6547. Is h(u) a prime number?
False
Suppose 3*w + 64 = 4. Let x = w + 21. Is x/2*-4611*50/(-75) prime?
False
Let h(r) = r**3 - 7*r**2 - r - 3. Let o be h(5). Let j = -57 - o. Is 2784 - ((7 - 3) + j) composite?
True
Let p be (-4 + (-1)/3*-13)*6. Suppose -14513 = -3*v + 2*c, 0*v + 9677 = p*v - 3*c. Is v a prime number?
False
Suppose -2*q + 3*r = -35, q - 12 - 1 = 3*r. Let k = 529 + q. Is k a composite number?
True
Suppose -4*z - 184405 = -3*m - 5*z, 0 = -m - 2*z + 61475. Suppose -11*n = -32*n + m. Is n a prime number?
True
Let j(r) = -2*r**2 - 4*r + 492. Let n be j(0). Let m = n - 13. Is m a prime number?
True
Let j be 1 - (-2 - (281 - 5)). Suppose -j = -16*y + 265. Is y composite?
True
Let s(h) = h**2 - 5*h - 24. Let t be s(12). Let n = t + 4. Let m = -33 + n. Is m prime?
True
Suppose m - 7 = -4*m - 3*z, -4*m + 10 = -2*z. Let u be (-1 - -6 - 2/(-1))*(80 + -79). Suppose -5*r + 3770 = -5*f, 2*r = u*f - m*f + 1517. Is r prime?
True
Suppose -9*h - 4*y - 681 = -10*h, -3424 = -5*h + y. Suppose -3*l = -d + h + 867, 4*l - 4617 = -3*d. Is d a composite number?
False
Let g be (87052/1)/(-5 - -7). Suppose -3*k = -5*k - 5*d + g, -5*d = -4*k + 87052. Is k a composite number?
True
Suppose -2*c = -2*m - 4, 4*c - 2*m + 21 = 7*c. Is (7 - c)/(4/4742) a prime number?
True
Let l be -1*(7 + 0) + 7622. Let n = 226 + l. Is n prime?
True
Suppose c = 3*c - 170. Let f be (-3)/(-27)*448 + (-22)/(-99). Let q = c - f. Is q prime?
False
Suppose 9*l - 31867 - 1445427 = 1151273. Is l prime?
False
Suppose 4*g - 2 = -22, 0 = 4*q + g + 57. Let s be q + 12 - 3*1. Is (2/s - -1)*1802 a prime number?
False
Let l = -4747 - -3329. Let q = -3440 + 1305. Let k = l - q. Is k a prime number?
False
Suppose 5*j = -19*j + 240. Suppose j*m = 247062 + 32948. Is m a composite number?
False
Suppose 5*t - 545209 + 2515046 = 6*m, 4 = 4*t. Is m a prime number?
False
Suppose 0 = 391*c - 434*c + 1653228 + 2710627. Is c a prime number?
False
Suppose -3*k + k - 3*h + 748 = 0, 0 = -2*k - 5*h + 748. Suppose -3*v - 4239 = -6*v. Let l = v - k. Is l prime?
True
Suppose 0 = 4*r - 3*d + 6, 0*r - 2*d + 4 = -4*r. Suppose 4*j + 3 - 11 = r. Suppose 0 = 5*y + j*v - 589, -3*y - 2*v = -2*y - 113. Is y composite?
True
Let n(s) = 5*s**3 - 39*s**2 + 3*s + 46. Is n(12) a composite number?
True
Let a = 1265783 + -852004. Is a a composite number?
False
Let w(j) = -15*j**2 - 692*j - 93. Let l be w(-46). Let m(v) be the second derivative of -1509*v**5/20 + v**4/12 - v**3/3 - v**2/2 + v. Is m(l) composite?
False
Suppose r - 5 = 2*r, -2*r = 4*x - 130. Let w = x + -5. Suppose 0 = -35*f + w*f + 5335. Is f a prime number?
False
Let a(f) = -49*f + 42. Let n be a(-18). Let m be (-224 - -1)*7/(9 + -2). Let v = n + m. Is v prime?
True
Let a(k) = k**3 + 29*k**2 - 15*k - 18. Let x be a(-29). Suppose 4*c = x + 2731. Is c a prime number?
True
Is (2261796/18)/((-54)/(-405)) a composite number?
True
Let v(m) = -279*m - 674. Is v(-19) a composite number?
True
Let w(u) = -2*u**3 - 42*u**2 - 56*u - 161. Is w(-27) a prime number?
True
Let a = 2867784 - 1994231. Is a composite?
False
Let d be 3*(-13)/(-9)*3. Suppose 5*k = -3*s - 1322 + 16892, 4*s = -2*k + 6214. Suppose 12*h = d*h - k. Is h a prime number?
False
Let p(t) be the first derivative of 1171*t**2/2 + 32*t - 4. Let a be p(10). Suppose -17*z = -35671 - a. Is z a composite number?
False
Let y(q) = 54*q**2 + 7*q. Let k(u) = 2*u + 5. Let b be k(-8). Let f be y(b). Suppose f = 10*m + m. Is m composite?
False
Is (((-40)/(-35))/(-4))/(24/(-1270164)) composite?
False
Let x(t) = -t**2 + 16*t - 53. Let y(r) = -2*r**2 + 17*r - 52. Let v(w) = -3*x(w) + 2*y(w). Let k be v(-17). Is 1/k - (-8673)/12 a composite number?
True
Let k = -194771 + 66855. Is -10*10/(-75) - k/12 prime?
False
Suppose -36954479 = -232*q + 104092977 + 26724272. Is q prime?
False
Let r(v) = 67*v - 647*v - 3 + 21*v - 66*v. Let h(a) = 624*a + 2. Let j(d) = 2*h(d) + 3*r(d). Is j(-2) prime?
True
Suppose -213*o = 332*o - 41735555. Is o prime?
True
Suppose 0 = x + 2*n + 3, 4 + 6 = -5*n. Let r be (1086/18)/(x/6). Suppose q - r = -2*f - 44, -q = -2*f + 326. Is f a prime number?
False
Is 63571 - 2 - (4/1 - (-40)/(-10)) a composite number?
True
Let w(h) = -h**3 - 15*h**2 + 14*h - 27. Let r be w(-16). Suppose 2*z = 5*z - p - 10162, r*z - 4*p = 16925. Is z composite?
False
Let i = 64 - 47. Suppose 3 = z + 2*x - 10, -4*z = x - i. Suppose z*u = -0*u + 597. Is u prime?
True
Let a be (3/9)/((-7)/(-84)). Suppose 3*g - 2*x - 5829 = 0, a*g + 5829 = 7*g - x. Is g prime?
False
Suppose 2*c - 2*y = 71790, 0 = -4*c - 54*y + 51*y + 143594. Is c composite?
False
Is (-26)/((-2288)/66) + 6897250/8 + 0 a prime number?
True
Suppose 25*s = 2*s + 226803 + 104236. Is s composite?
True
Let k(u) = u**3 + 7*u**2 + 8*u + 7. Let o be k(-6). Suppose 0 = 2*w - 4*w - 3*l + 9, -2*w - 21 = -3*l. Is (1 + 1 + w)/(o/2215) composite?
False
Suppose 4*g = -3*s + 218090, 2*s = g - 5*g + 218088. Is g composite?
False
Let c(d) = 2706*d**3 + 2*d**2 - 11*d + 22. Is c(3) a composite number?
True
Suppose 19*c - 3*c + 8608 = 0. Let z = c - -864. Is z prime?
False
Let p(u) be the first derivative of 789*u**2/2 - 65*u + 30. Is p(7) prime?
False
Let w = 4479 + 1672. Suppose q - w = 1440. Is q a composite number?
False
Suppose 24*n - 23*n = 0. Suppose n = -38*q + 29*q + 6633. Is q prime?
False
Let a be (-4)/6*((-52860)/(-8))/5. Let z = a - -2998. Is z prime?
False
Suppose 5*y = 0, 5*g = 3*g + 6*y - 0*y + 1478. Is g composite?
False
Let b(p) = -2*p**2 + 13*p + 97. Let q be b(-5). Is (-1087)/(114/q + 6) a composite number?
True
Suppose 3*n - 169950 = 5*b, 7*n = 11*n - 2*b - 226614. Suppose -