v - 2*v - 4*a = 4036, -3025 = 3*v + 4*a. Let s = v + r. Is s prime?
True
Let r = -67 + 65. Let k(b) = b**3 + 2*b**2 - 2*b - 4. Let h be k(r). Suppose h = 5*o - 5, 3*t - 1179 = -3*o - 99. Is t a composite number?
False
Suppose 0 = -2*p + 4 + 10. Suppose -i - 18 = -p*i. Suppose -i*f + 2774 + 2407 = 0. Is f a prime number?
False
Let r(m) = 18383*m**2 + 199*m - 727. Is r(4) a prime number?
False
Let o be ((-8)/(-10))/((-4)/(-10)). Suppose -o*m + x + 1439 = -30, 4*m - 2934 = -2*x. Is m a composite number?
True
Is 426766*((-22)/10 - -2)/(340/(-850)) a composite number?
False
Let t = 333 - 328. Is ((-1)/(-5))/(404896/(-80980) + t) composite?
False
Suppose 5*d = -10*y - 4*y + 9625203, 0 = -3*y - d + 2062544. Is y a prime number?
True
Let f(n) = 51*n**2 + 27*n - 379. Is f(25) a prime number?
False
Let f(t) = 169*t**2 - 35*t + 207. Is f(-11) a composite number?
True
Let w = -105 - -106. Suppose w = 2*g - 5. Suppose -3*b = 2*c - 2311, g*c + 2063 = 4*b - 1024. Is b a composite number?
True
Let y be (-1 - -1)*4/(8 - 4). Let z be y/(-3) - (-4 - 1). Suppose -z*i + 2140 = -4435. Is i prime?
False
Suppose -2*o + 45*o - 9177934 - 605211 = 0. Is o composite?
True
Suppose -154469 = -7*x - 52248. Suppose -3521 = 6*p - x. Is p a composite number?
False
Suppose 0 = 2*h - 1 - 5, 534999 = 2*p - h. Suppose 5*s + 215335 = 5*g, -5*g = 5*s - p + 52206. Is g a composite number?
False
Let w = 421679 - -111768. Is w prime?
True
Let q = -11162 - -18884. Let r be (-2)/(-4)*-2 - -4269. Suppose r = 10*g - q. Is g composite?
True
Let t(o) = 32*o**3 + 41*o**2 - 109*o + 835. Is t(41) a composite number?
False
Suppose -2*a + 3*h - 6900 + 22144 = 0, 0 = -4*a - 4*h + 30548. Is a composite?
True
Suppose 12239980 = 125*i - 10665895. Is i a prime number?
True
Let w(f) = -1752*f**2 - 20*f + 2. Let p be w(-8). Is (-2 + (-9)/(-6))/(3/p) prime?
True
Let j(f) be the second derivative of 347/4*f**4 + 0*f**3 + 0 - f**2 - 6*f. Is j(-1) composite?
False
Suppose 3*c = 5*z - 4581917, 34579 = z - 2*c - 881796. Is z a composite number?
False
Let z = -6532 - -1698. Let q = z - -8057. Is q a composite number?
True
Suppose 0 = -10*a + 2 + 8. Let n(c) = 6*c**3 - 3*c**2 + 3*c - 2. Let f be n(a). Suppose -2*u - x + 4*x = -137, 0 = -f*x - 4. Is u a composite number?
False
Suppose -96*w = -87*w. Let f = 412 + -219. Is f + (w - 2) + 0 a prime number?
True
Is 4453332/12 - (-12 - (-4)/1) prime?
False
Let b(h) = -9*h**3 + 8*h**2 + 2*h + 4. Let p(r) = -19*r**3 + 17*r**2 + 4*r + 8. Let t(k) = 13*b(k) - 6*p(k). Is t(-3) composite?
False
Let v = -360257 - -642106. Is v a composite number?
False
Suppose 3*m = -2*q - 1, 34 = 3*m - q - 4*q. Suppose 5*f - 2*x = 34709, 5*f - m*x = 14661 + 20050. Is f a prime number?
False
Suppose 0 = -220*m + 208*m + 3480756. Is m a composite number?
True
Suppose 3*f - 4*u + 1031 = 8704, 5*u = -f + 2583. Let o(z) = 12*z**3 - 79*z**2 + 40*z - 3. Let d be o(6). Is (1 - 0) + (f - d) prime?
True
Suppose 135*h = 60828577 + 123925966 - 38593148. Is h a composite number?
True
Let a(j) = 21*j - 96. Let b be a(5). Suppose -16979 = -b*g - 2390. Is g a prime number?
True
Let j = 190 - 191. Let t(m) = -64*m**3 + m**2 - m - 1. Is t(j) a composite number?
True
Let r be (112/(-280))/(4/(-4670)). Suppose 468*s - r*s = 491. Is s prime?
True
Suppose 0 = 9*s - 5*s + 68. Let z = 144 + 106. Let r = s + z. Is r prime?
True
Suppose -4*b + 9*b = 45. Suppose -l + t + 1 = 0, -4*l - 4*t + b = -3*t. Suppose 4*w - 778 = l*w. Is w a composite number?
False
Suppose 28*o + 11915 = -9561. Let m = -320 - o. Is m a prime number?
False
Is -1929236*((-574)/56 + 10) a prime number?
True
Let u be 45 - (4/(-10) - 16/(-40)). Suppose c - 21 = 2*i, -5*c + 4*c + u = -4*i. Let v(s) = -s**3 + s**2 - 12*s + 15. Is v(i) a composite number?
True
Suppose -4*i - 60 = -6*i. Suppose -12 = -7*p + i. Let k(g) = 40*g**2 + 3*g - 17. Is k(p) prime?
False
Is 1/2*(5/4 + 40849770/312) composite?
True
Suppose 381*b - 392*b = -813307. Let m = 124608 - b. Is m a prime number?
True
Let z = 717969 - 425836. Is z a composite number?
False
Let y(t) be the second derivative of t**4/4 + 5*t**3/2 - 2*t**2 + 8*t. Let i = -226 - -232. Is y(i) a composite number?
True
Let i = 43115 + -10790. Let w be (16/10 + -2)/((-15)/i). Let v = w - -397. Is v composite?
False
Suppose -3673325 = 11*w - 5*h - 9879782, 3*w = -4*h + 1692713. Is w prime?
True
Let t(f) = 85*f**2 - 4*f + 12. Suppose 5*h = h + 12. Suppose -8 + h = d. Is t(d) a prime number?
False
Let u be 1/4 + (-1)/4. Suppose -4*q - 3*o + 12 = 2*o, u = 4*o. Suppose -445 = -3*z + 5*s, -2*z + q*s + 731 = 3*z. Is z composite?
True
Suppose -12 = -18*l + 14*l, a = 4*l + 111823. Is a composite?
True
Let j(a) = 32*a**2 + a - 3. Let x be j(1). Let y be (1 - 10)/(-3) - x/(-10). Suppose 3358 = y*g - 2696. Is g a composite number?
False
Suppose 0 = 4*s - 3*c - 141, 5*c = 4*s - 0*c - 147. Suppose 31*y = s*y + 204. Is ((-4)/(-14) - y/(-14))*-173 prime?
False
Suppose 3948 = -5*k + 12*k. Let c = k + 285. Is c a prime number?
False
Let b = -223 + 224. Is 15/4*(b - 23506/(-6)) a prime number?
False
Let t(o) = 298*o - 3. Suppose -12 = -5*b + 3*b. Suppose b*f + 24 - 30 = 0. Is t(f) a prime number?
False
Let g(d) = -d**2 + 6*d + 9. Let b be g(7). Suppose b*h = 4*q - 0*h + 2, h - 7 = -q. Is (-2620)/(-6)*3/q composite?
True
Let q(f) = f**3 - 3*f**2 + 2*f + 5. Let v be q(2). Let s = 10 - v. Suppose 5*c - 5698 = 2*c + s*b, 9538 = 5*c + 2*b. Is c a composite number?
True
Is (67/4)/(((-16)/(-1024)*16)/983) composite?
True
Let u(o) = 3*o**2 + 14*o - 8. Let x be 20/(-2)*(-5 - (-35)/10). Is u(x) composite?
False
Let q(t) = 1418*t + 207. Is q(2) composite?
True
Suppose -s = -3*q + 4*s - 16, 4*q - 7 = s. Suppose 62559 = 4*z + 4*x + 18151, -33318 = -q*z + x. Suppose 8*w - z = 7*w. Is w a composite number?
True
Suppose o + o + 262 = -4*p, -o = -p + 116. Let u be 18/4*(0 - (-52)/(-3)). Let t = u - o. Is t a composite number?
False
Suppose 5*z + 7*o = 4*o + 22, 3*o = 3*z + 6. Suppose 9*v = -z*v - 2376. Let m = 589 + v. Is m prime?
True
Is (0 + 21)/(11/(-4490508)*-36) a composite number?
True
Let n(z) = -241*z + 112. Let l be ((-108)/24)/(-1*1/(-2)). Is n(l) composite?
False
Let n(d) be the first derivative of 22*d**3/3 - 23*d**2 - 71*d - 108. Is n(-17) a prime number?
True
Let l(f) = f**3 + 6*f**2 - 28*f + 115. Is l(16) composite?
True
Let s(h) = 38*h**2 - 5*h + 1. Let k(n) = -n. Let m(x) = -3*k(x) + s(x). Let j(a) = -5*a + 134. Let r be j(28). Is m(r) a composite number?
False
Let q = -7 - -21. Let b = 48 + -33. Is (b - q)/(2/118) a composite number?
False
Suppose 0 = -4*z + 5*k - 9, 3 = -3*z + 3*k - 3. Let h be (-7 + 5 + 3)/(2 + z). Is ((-25)/(-10))/(h/1006) prime?
False
Let i = 177 + 102. Suppose 3*l = 6*v - v + 370, -i = 4*v + l. Let x = -58 - v. Is x a prime number?
True
Suppose -2*z = -2*k - 60, -2*z - k = -9 - 42. Let d(g) = -g**3 + 27*g**2 + 32*g - 25. Is d(z) a composite number?
False
Let u be 200/6*(-1242)/(-15). Let m = 642 - 2191. Let c = u + m. Is c a prime number?
False
Suppose 4*u - 96 = -2*u. Suppose 15*f + u = 61. Suppose 0 = 3*s - 3*o + 2*o - 10372, 0 = -f*s - 3*o + 10368. Is s a composite number?
False
Let v = 148 + -149. Is ((-354)/(-12))/(v/(-34)) a prime number?
False
Let h(c) = -7067*c**3 + c**2 - 1. Let a be -4 + (-4 - -8) + (-2)/2. Is h(a) prime?
False
Let y = 693665 + -226572. Is y a prime number?
False
Let o(v) = -v**3 - 9*v**2 - 2*v - 14. Let t be o(-9). Suppose -2*z = t*z - 36. Suppose c - 154 = 5*s, -c - z*s + 5*s + 130 = 0. Is c a prime number?
False
Suppose 5*f + 6856 = -r, -4014 = -2*r + f - 17671. Let m = -2194 - r. Is m composite?
False
Let m be (24/(-72))/(0 + (-1)/(-93)). Let w = -28 - m. Is (-573)/4*(-8)/w prime?
False
Let i(r) = -6*r**3 - 30*r**2 - 21*r + 83. Is i(-28) prime?
True
Let z = -34 - -62. Let b = z + -30. Is 2/((-20)/1315)*b composite?
False
Let d(o) be the third derivative of -o**6/120 + 23*o**5/60 - o**4 + 5*o**3/3 + 21*o**2 + 2. Is d(14) a prime number?
False
Let w(j) = -22*j + 102. Let v(o) = 4*o - 17. Let p(g) = -34*v(g) - 6*w(g). Is p(-10) composite?
True
Let o(m) = 5846 - 11705 + 5822 - 104*m. Suppose -4*f = -2*k + 8, -5*k - 18 = -4*f - 8. Is o(k) a prime number?
True
Let y(u) = 49930*u**3 - 4*u**2 + 17*u - 9. Is y(2) a prime number?
False
Let s = 42921 - 23228. Is s a prime number?
Fal