z prime?
False
Suppose j - 11*j = 0. Suppose -3*y + 1226 + 5875 = j. Suppose -y = -4*q + 757. Is q composite?
True
Let l(p) be the first derivative of 1763*p**2/2 + 6*p + 175. Is l(1) composite?
True
Let z = -1502 - -8571. Is z a composite number?
False
Let t = 43388 + 101223. Is t prime?
True
Let l = -4 - 5. Let c be 6 - 3*6/l. Let y(z) = z**3 - 3*z**2 + 5*z - 1. Is y(c) a composite number?
False
Let z(t) = -7*t**3 - 16*t**2 - 6*t + 7. Let w(y) = -y**3 - y**2 - y. Let i(h) = -6*w(h) + z(h). Let v be i(-10). Suppose v*q - 3*q - 1084 = 0. Is q prime?
True
Let r be (-620)/8*4/(-10). Suppose -r*c + 232139 - 68056 = 0. Is c a prime number?
False
Suppose 373908 = 2*i - 4*z + 2*z, -747739 = -4*i - 7*z. Is i composite?
False
Let h = 868 - -1638. Suppose -2*y + 1202 + 1468 = 0. Let z = h - y. Is z a composite number?
False
Suppose 0*s + 3*b + 28638 = 3*s, -2*s = -3*b - 19092. Let z = -2729 + s. Is z prime?
False
Suppose -15 = 5*w + 5*o, 2*w - 5*o + 0*o - 1 = 0. Is 9 + -4 + w + 376 composite?
False
Let w be (-110929)/(-39) + 3/(-9). Suppose 11*p - w = -p. Is p composite?
True
Suppose -5*n + 7418 = 3*w + 573, 4*n + w = 5469. Suppose -18510 = 39*p - 9*p. Let a = n + p. Is a composite?
True
Suppose 0 = 4*y + 2*h - 67722, -5*y + 54060 + 30591 = h. Let x = y + -8271. Is x prime?
False
Let p(x) = 52288*x**2 + 42*x + 13. Is p(4) a prime number?
True
Let p = -42 - -52. Let w be (-4)/p*(-2140)/4. Is w - (2 + -3 + 2) composite?
True
Let f(n) = n + 15 + 15 - n**2 + 16 - 42*n**3 - 45. Let k = 1 + -3. Is f(k) a composite number?
False
Let q = -60076 - -87687. Is q a prime number?
True
Suppose 0 = 17*i - 34*i. Suppose u - 2*a - 5058 = i, -2*u = -4*a - a - 10114. Is u composite?
True
Let l(f) = -3*f**2 - 7*f - 39. Let q(o) = -4*o**2 - 7*o - 37. Let s(r) = 3*l(r) - 4*q(r). Is s(11) composite?
True
Is (6/4)/(-1*81/(-551394)) a prime number?
True
Suppose -3*q - 18 = -s, -2*q = 2*s - 7 - 5. Suppose v + s = 5*b, 2*b + 4 = -v + 30. Is 4*(12/3 - (-492)/v) a composite number?
False
Suppose -2*q + 4 = 0, -4*t + 19 = -5*q - 11. Is 452 + 1/(-2)*t composite?
True
Let q be (-35)/(-14) - 2/4. Let t be 5/((-40)/(-16))*(-13)/q. Let g(k) = k**3 + 14*k**2 + k + 5. Is g(t) a prime number?
False
Let i(q) = 15*q - 99. Let p be i(14). Suppose -p*u + 121*u = 770690. Is u a prime number?
True
Let z(r) = 288*r + 135*r - 52*r + 9 - 54. Is z(4) prime?
True
Let r(z) = -35*z**3 - 11*z**2 - 7*z - 23. Let l be r(-7). Suppose -l + 42544 = 4*o. Is o composite?
True
Let n = -36 + 39. Suppose -4 = d - n*y, 9 = 3*y - 0. Suppose -m = 5, -d*m + 1869 + 387 = i. Is i composite?
False
Let j(q) = 76525*q + 7189. Is j(4) a prime number?
True
Let j be (-360)/(-171) + 6/(-57). Suppose -5907 - 14479 = -j*o. Is o a prime number?
True
Let g(l) = -5*l**3 + l**2 - l - 22. Let n(p) = -9*p**3 + 2*p**2 - 2*p - 43. Let h(o) = -7*g(o) + 4*n(o). Let w be h(0). Is (-1031)/(-2) - w/12 composite?
True
Suppose b + 10 = 6*b. Let q be (b*-1)/(16/6536). Let d = 592 - q. Is d a prime number?
True
Suppose 31*h - 238 = -3*h. Suppose -16603 + 43350 = h*o. Is o a prime number?
True
Let s be 2/2 - (9 + -83003). Is 7/2 + -2 + s/10 composite?
True
Let w(s) = -24*s**3 - 3*s**2 - 2. Suppose -y = -31 + 28. Suppose -y*u = 3*h + 18, h - 3*h = 5*u + 18. Is w(h) a composite number?
True
Let h(j) be the third derivative of j**6/60 + j**5/15 + 17*j**4/24 + 7*j**3/6 + 81*j**2. Is h(8) a prime number?
True
Let a = -75 + 79. Suppose -7 = -4*n + 5*o - 4*o, -3 = a*n - 3*o. Suppose 0*p + 594 = 2*t - 2*p, n*p + 592 = 2*t. Is t prime?
False
Let b(v) = 2662*v - 14. Let i be b(-4). Is (i/(-8))/((-165)/20 + 9) a prime number?
True
Let b(g) = -g**3 + 12*g**2 - 3. Let y be b(12). Let i(q) = -10*q**2 + 2*q - 2. Let h be i(y). Let a = 147 + h. Is a a prime number?
False
Let a(q) = -q**3 - 4*q**2 - 5*q - 52. Let l be a(-13). Let i = 3779 - l. Is i composite?
True
Suppose -146*o - 101042 = -149*o + 5*y, 101032 = 3*o + 5*y. Is o composite?
False
Let l(t) = t**3 - 11*t**2 + 11*t - 6. Let k be l(10). Let o(h) = -2*h - 120*h**3 + h - k*h**2 - 26 + 22. Is o(-3) a prime number?
True
Let r be 2/9 + (-49)/(-63) + 2. Suppose 4*t - 13 = -r*w, 5*w = -2*t + t - 1. Suppose 0 = 4*j + t*v - 520, 2*j + 4*v = -3*j + 647. Is j a prime number?
True
Let k = 17583 + -9436. Is k a prime number?
True
Suppose -3*a + 72 = 24. Suppose 7*x - a*x = -23877. Is x a composite number?
True
Let o = 77 - 102. Let r = 28 + o. Is 5517*(-1)/(r + -6) prime?
False
Suppose 3*d + 5 = -j, 0 = 4*d - 5*j + j - 20. Suppose -3*w - 2*o = -1547 - 1471, d = -4*o. Is w composite?
True
Let i = 139 + -134. Suppose -4*q + i*q - 4177 = 0. Is q prime?
True
Suppose 5*k + 6 = -q, 5*q - 3*q + 5 = -3*k. Is -2579*(q + 0/3) prime?
True
Let v = -10387 + 17538. Is v prime?
True
Suppose h + h + 651535 = 5*g, 2*g - 3*h - 260603 = 0. Suppose 25897 = -2*k + g. Is (2/(-7))/(-1) + k/98 prime?
False
Let f be (-152)/(-26) - ((-74)/(-26) - 3). Suppose f*p + 1632 = -1038. Let k = p - -782. Is k a prime number?
True
Suppose 12*m + 3*m = -600. Is 6/48 + ((-40435)/m - 2) composite?
False
Let m be -2 + 0 + 1 + 4. Suppose -3*t - m*t - t = 0. Suppose 0*q + q - 37 = t. Is q a composite number?
False
Suppose 19*c = 15*c + f + 6939743, 3*c = 7*f + 5204776. Is c prime?
True
Let f be -2 - (-10 - -4 - -4509). Let d = -1726 - f. Is d composite?
True
Suppose 22*f - 128 = 48. Let z(n) be the first derivative of -n**4/4 + 8*n**3/3 + 2*n**2 + 5*n - 2. Is z(f) a composite number?
False
Let t = -211 + 3792. Suppose 10*h - 1849 - t = 0. Is h composite?
True
Let y = 118 + -104. Suppose 6120 = 5*c + 5*w, -2*c + 17*w = y*w - 2423. Is c a prime number?
False
Let p be (-34764)/(-8)*32/8. Suppose 69*s + p = 75*s. Is s a composite number?
False
Let g = -1593 + 5414. Is g a composite number?
False
Let w(d) = -9*d**3 - 19*d**2 - 17*d - 78. Let o(t) = -t**3 + t**2 + t - 1. Let b(q) = -5*o(q) + w(q). Is b(-12) a prime number?
False
Suppose 20*z - 15*z - 45 = 0. Let u(c) = -95*c + 1. Let g be u(z). Let q = 1541 - g. Is q a composite number?
True
Suppose -2394*o = -2367*o - 4960467. Is o composite?
True
Suppose -45 = 2*m - 5*l - 202, 2*m - 163 = -l. Let v = m - -656. Is v a composite number?
True
Suppose -m + 5*w = -96336, 19*w + 481800 = 5*m + 18*w. Is m prime?
False
Let v be 1*(3 - 5)*(-5)/10. Let x be ((-494)/(-6))/(v/24). Suppose 2959 = 3*s - 2*k - 2*k, 2*s - x = 2*k. Is s prime?
False
Is -15 - -2478 - -4*(-4 - -5) prime?
True
Suppose -h = -8*j + 3*j, -2*j = -2*h + 8. Suppose -5*l = -h*t + 23165, 2*l = -2*t + 5029 + 4229. Is t a prime number?
False
Let q be (-70)/(-22) - 3 - 31/(-11). Suppose w + 1 = z - q, -4*z = -3*w - 14. Is (16 + 9035)*w/(-6) a composite number?
True
Suppose -217594 = -167*t + 141*t. Is t composite?
False
Suppose 0*l = -3*h - 4*l + 822313, -3*h - 3*l + 822312 = 0. Is h a prime number?
True
Is -29 + 18 + 4214*6 a prime number?
False
Suppose -867*w - 14326 = -869*w. Suppose w = 2*k - 4*z + 2657, 8986 = 4*k + 5*z. Is k prime?
False
Let p = 3661 + 54996. Is p a prime number?
True
Let z(p) = 2767*p + 252. Let d be z(6). Let w = -1961 + d. Is w a prime number?
False
Suppose 4*h - 8 = -4*y - 0*h, -3*y + h + 10 = 0. Suppose -y*g + r = -2590, -4*g - 14*r = -9*r - 3428. Is g prime?
False
Let w(h) be the first derivative of h**4/4 - 2*h**3/3 - 3*h**2/2 + 4391*h - 121. Is w(0) composite?
False
Let f = -20 - -940. Let o = f - -479. Is o prime?
True
Suppose -3*a = 0, 6*a = -5*v + a. Suppose v = 8*x - 244 - 156. Is 20/x - 73566/(-10) prime?
False
Suppose -4*r + 3405997 = 9*r + 6*r. Is r a composite number?
True
Let r(v) = v**2 + v - 28. Let y be r(5). Let i be (-4)/18 + 76/18. Suppose 2*g = 3*p + 266, i*p - 3*p = -y*g + 250. Is g composite?
False
Suppose -591 - 489 = 8*u. Let z(s) = -3*s**3 - 3*s**2 - 2*s + 6. Let c be z(-5). Let x = u + c. Is x a prime number?
True
Let n be (-1)/((-1)/84) - (-4 + 4). Let y be n/(-4)*(-4)/(-6). Is (-2)/3*273/y a composite number?
False
Let j = 138 - 131. Is (-18)/(-3) - (-30947)/j prime?
False
Suppose 0 = -2*r + 232505 + 594273. Is r a composite number?
True
Let q = -30 + 37. Suppose -q - 43 = 5*z. Is (z/15)/(1 - 1403/1401) a prime number?
True
Suppose -2*z + 37103 = 2*m - 7*m, -3*z + 3*m + 55668 = 0. Is z prime?
False
Suppose -1921057 = -173*b + 24*b. Is b a composite number?
False
Let i = -28140 + 39409. Is i a comp