rime number?
False
Let n be ((-63220)/(8/(-2)))/1. Let j = n + -6920. Is j composite?
True
Let u = 77027 + 31782. Is u prime?
False
Let c be (9*(-1)/2)/((-1)/12). Suppose 0 = -58*m + c*m + 12320. Suppose -4630 = -3*l + 4*r, 2*l - 4*l + m = -r. Is l composite?
True
Let r(g) be the third derivative of g**6/120 + 3*g**5/10 - 19*g**4/24 + 19*g**3/6 + 6*g**2. Let v be r(-19). Let x = v - 12. Is x prime?
True
Suppose 15*w + 3503139 - 24825890 = 100123084. Is w prime?
False
Let h be (-32)/(-3) - ((-16)/12)/(-2). Let a(q) = q**3 - 11*q**2 + 7*q - 12. Let w be a(h). Let g = 89 - w. Is g a composite number?
False
Let g = -687274 - -1392995. Is 4/9 + g/153 a prime number?
False
Let y = -627 - -372. Let s(q) = 10*q**2 - 190*q - 166. Let z be s(19). Let i = z - y. Is i prime?
True
Let h be (3/(-6) - -1)/(2/416). Is ((-5)/10)/((-2)/h) prime?
False
Suppose -f = 3, -5*f = 4*o + 1715 - 418768. Is o prime?
False
Let s(j) = 2*j - 6. Let g be s(4). Suppose -29*z - 1 = -28*z + 3*c, 4 = -2*z - 4*c. Is (-138)/4*z/g composite?
True
Suppose 0*x - 18*x + 26931390 = 4410168. Is x composite?
False
Suppose 8311 = 3*d + 2*f, -2777 = -d - 359*f + 357*f. Is d a composite number?
False
Let k(w) = 2*w**2 - 13*w + 6. Let i be k(6). Suppose 5*f - 1233 + 3883 = i. Is ((-9)/6)/(5/f) a prime number?
False
Suppose 2096*y - 2098*y + 1559022 = 0. Is y prime?
False
Suppose -2 = -3*r + 1. Let g be (0/(-5))/(1 + (2 - r)). Is (-1)/((1 - g)/(-1543)) a prime number?
True
Suppose -5*u + 2*p + 548263 = 0, 3*u - 78*p - 328960 = -79*p. Is u a prime number?
False
Let w = -136 - -140. Suppose 0 = -w*f - h + 17920, 4 - 24 = 5*h. Is f a composite number?
False
Suppose -16*n = -28*n + 20*n - 979976. Is n composite?
False
Suppose -6*n - 87 = -3*n + 4*c, -3*c = 5*n + 145. Let d = 29 + n. Suppose 0 = -d*g - 7*g + 3493. Is g prime?
True
Suppose 4898906 = 4*t - 2*a, 48*t + 5*a = 52*t - 4898927. Is t a prime number?
False
Let k = -16710 + 9624. Let v = -1683 - k. Let s = v + -3208. Is s a composite number?
True
Let w = 63891 + -40056. Suppose 4*q = -20, -68*v + 63*v - 4*q = -w. Is v a prime number?
False
Let k be (25/15 + -2)*-12. Suppose -54 = -k*v + 166. Let s = v - -432. Is s a prime number?
True
Let q(l) = 4*l + 145. Let o be q(-35). Is (-2)/o - 2192866/(-190) a composite number?
True
Let s = -232 + 237. Suppose s*l - 61997 = -2*i, -2*l - 24810 = -4*l + 2*i. Is l a prime number?
True
Let f be (-4)/3*75/(-20). Suppose -o - 5 = f*t + 7, -3*t - 6 = o. Suppose 1255 = 2*k + o*k. Is k a prime number?
True
Is (1 - -506541)/((-770)/(-385)) prime?
False
Suppose -2*b + 18*r = 15*r - 405595, 2*b = -2*r + 405600. Is b a composite number?
False
Suppose 36 - 31 = y. Suppose -f = y*n - 18 + 63, 3*n = 9. Is (6/(-4))/(f/4360) composite?
False
Suppose 0 = 32*o - 30*o + 16. Let d(p) = -17*p**3 - 10*p**2 - 6*p - 43. Is d(o) prime?
True
Let f = -64718 + 112305. Is f a composite number?
True
Let a = 27 - 55. Let x be ((-1)/(8/(-10)))/((-7)/a). Is (-1 + x)*1 + 9135/15 a prime number?
True
Is (2489694/9)/(((-36500)/(-105))/(-25) + 14) composite?
True
Is 8/((-1768)/(-921323)) + (-4)/(-34) composite?
True
Let v be ((-1)/(((-2)/4)/((-100)/(-40))))/1. Let o be (4845 - -1)/(1*2). Suppose -v*p + o = -3*b, 73 = p - 3*b - 402. Is p prime?
True
Let c(d) = 48*d**3 - 9*d**2 + 23*d - 21. Is c(4) a prime number?
True
Let s be (-45)/15 + 1 + 10631. Suppose -8*i + s = -7*i. Suppose t - 2149 = -k + 6*k, -5*t + i = 4*k. Is t a prime number?
True
Suppose 4*i - w - 111 = 0, 0*i - 5*i + 2*w + 135 = 0. Let h = i - 3. Is 4/h - (-54622)/26 a prime number?
False
Suppose 27*t = 163438 - 56707. Is t a composite number?
True
Suppose 0 = -2*v - v + 4*l - 16, -12 = 5*v - 3*l. Suppose v = 2*j + 2*h - 50, -5 = h - 2. Suppose j*r = 26*r + 506. Is r composite?
True
Suppose -6*g + 450023 = -2065393. Suppose g = 15*u - 398489. Is u a prime number?
False
Let u be (-7)/14*10*(1 - -4168). Let l = -13866 - u. Is l prime?
False
Let c(t) = 25*t - 71. Let s be c(5). Suppose -s*x + 44552 = 2486. Is x a prime number?
False
Let s(q) = 19*q**2 - 58*q + 1913. Is s(28) a prime number?
False
Is (85/(-20))/(19/(-192356)) prime?
False
Let f(z) = -2*z**3 - 50*z**2 - 366*z + 17. Is f(-28) a composite number?
False
Suppose -z = 183*d - 182*d - 556926, z + 3*d = 556916. Is z composite?
False
Let n(v) = 4*v - 11. Let f be n(-3). Let m(y) = y**3 + 24*y**2 + 20*y - 49. Let a be m(f). Suppose 5*t - 580 = -5*l, a = -0*t - 4*t. Is l composite?
True
Let h = -81572 - -446465. Is h composite?
True
Let i be (-923040)/(-168) + (-4)/14. Suppose -4*g = -5*o - i, 3*g - 2307 = -o + 1804. Is g a prime number?
False
Suppose 0 = -5*p - 7*n + 6767, -90*p + 93*p - 4011 = 4*n. Is p a prime number?
False
Let r be (27/(-3))/(1/(-7)). Suppose r*g - 65*g = -2460. Suppose -326 = -4*k + g. Is k prime?
True
Let z(s) be the first derivative of -s**3/3 + s**2 - 4*s + 15. Let c be z(4). Is (-4588)/c - 2/(-6)*-1 a prime number?
False
Suppose -7*w = 2*v - 4*w - 339640, 3*v - 509445 = 3*w. Is v a prime number?
True
Suppose -215118 = 16*d + 3875794. Is 9/6*d/(-21) a prime number?
False
Let n(q) = -56*q - 108. Let x be n(-2). Suppose 14 = -3*h - 7. Is (-2)/h + x/(-56)*-14962 prime?
True
Suppose 0 = -7*u + 53 - 11. Let m be u/15*-89 - 2/5. Let j = 113 + m. Is j a composite number?
True
Let k = -21768 + 275237. Is k a composite number?
False
Is (-6 + 741579/(-9))/((-51)/(-9) + -6) composite?
True
Let n(a) = 1166*a - 195. Let b(i) = -i**2 + 26*i - 127. Let f be b(7). Is n(f) a composite number?
True
Let q(w) = -23*w - 189. Let d(v) = -8*v - 63. Let i(r) = 7*d(r) - 2*q(r). Is i(-33) a prime number?
False
Let l = 1 - 5. Let b(y) = 22*y**3 - 2*y**2 + 12*y - 7. Let w(n) = -43*n**3 + 3*n**2 - 23*n + 12. Let k(s) = 7*b(s) + 4*w(s). Is k(l) a prime number?
True
Suppose 10*j = -30*j - 40. Let z(v) = -18030*v - 31. Is z(j) composite?
True
Let a(u) = u**3 - 2*u**2 + 133*u + 2089357. Is a(0) composite?
False
Let r(a) = 36*a + 170. Let u be r(-5). Let p(l) = 22*l**2 + 6*l + 21. Is p(u) prime?
True
Let g(x) = x**3 - 5*x**2 - 6*x + 11. Let a be g(6). Suppose 2514 = -5*s + a*s. Suppose 22*w = 21*w + s. Is w composite?
False
Let x = -55 + 80. Suppose 0 + 33 = 5*k + 3*p, -5*p - x = -5*k. Is -1 - (-3848)/k - (-28)/42 prime?
True
Let n = 114 - 22. Let j = n - 89. Suppose -j*u = -4037 - 454. Is u composite?
True
Suppose y = -3*f + 19 - 45, 5*f = -15. Suppose 0 = 37*l - 40*l - 1224. Let t = y - l. Is t a prime number?
False
Let b = 3115878 + -5229128. Is 4/(-42) + b/(-210) a composite number?
True
Let x be (5 - 3 - 4)/((-4)/626). Suppose -45*p - 5 = -46*p. Suppose z - 3*a - x = 0, -a + 1545 = p*z - 6*a. Is z a prime number?
True
Suppose 7*d - 1137471 = 2*y, -89*d + 90*d - 162517 = -5*y. Is d a prime number?
False
Suppose 0 = 41*u - 8054269 - 1662157. Is u composite?
True
Suppose -5*q - 5*d = -d - 188, 138 = 4*q - 3*d. Suppose 3*j - 2*c = -6*c + q, -5*j - 5*c + 55 = 0. Suppose j*s = 7*s + 35. Is s a prime number?
False
Let k = 313 + -634. Let g(b) = -b**3 - b**2 - b - 1. Let w be g(-1). Is -3 - (k - (1 - w)) a composite number?
True
Let u = 9269 - 3400. Suppose 16*x = u + 2403. Is x composite?
True
Let h(p) = -p - 3. Let x be h(-3). Suppose 2*r - 6 = 4*a + 20, x = -r - 5*a + 13. Suppose r*n = 3682 + 1245. Is n a composite number?
False
Let z(q) = 8*q + 2*q + 7 - 2*q - 3*q**2 - q**3. Let u be z(-4). Is (-5)/((-30)/u)*(-112 - -6) a composite number?
True
Suppose s = -6*k + 4*k + 274, 5*s = -k + 1415. Suppose -8*t - 21 + 237 = 0. Let n = s - t. Is n composite?
False
Let k(z) = 51 + 0*z + z + 14*z + z. Suppose 5*q = g + 32, -4*q + 22 = -11*g + 9*g. Is k(q) a prime number?
True
Let j(c) = 3779*c**2 - 5*c + 15. Is j(2) a prime number?
True
Let p(y) = 23588*y + 203. Is p(10) a prime number?
False
Suppose -n - n = -5*n. Suppose n*k = -k + 1693. Is k composite?
False
Suppose 54*i - 29970997 - 3260657 = 0. Is i composite?
False
Let a be -4*(-1)/(-2) + 621. Let i = a - 410. Is (2 - 0)*i/19 a composite number?
True
Let p(x) = -75*x - 37. Let u be p(11). Let q = u + 5393. Is q composite?
True
Suppose -4*r = -r - 3. Let h(n) = 1167*n**2 - n + 3. Is h(r) prime?
False
Let v(i) = 162*i + 46. Let q(u) = -u**3 - 7*u**2 + 6*u - 10. Let w be q(-8). Let o be v(w). Suppose -5448 = -5*y - o. Is y composite?
True
Let d be (-5 - -3)/((-5)/4915). Suppose 3*u +