*r + 8. Suppose r = 11*x + 199 - 7833. Is x composite?
True
Let g = 9 + -11. Let w(y) = -94*y - 1. Let v(x) = 188*x + 1. Let r(t) = -4*v(t) - 7*w(t). Is r(g) prime?
True
Let f(s) be the third derivative of 53*s**4/24 - 13*s**3/3 + 6*s**2. Is f(11) a prime number?
True
Suppose -i - 4*i = 2*n + 298, -4*n + 184 = -3*i. Suppose -5*p = -3*v + 4*v - 110, 2*p = -2. Let y = v + i. Is y prime?
False
Let l(f) = -f + 596. Let a be -2 + 3 + -4 + 3. Let r be l(a). Is (r/(-6))/(18/(-27)) a prime number?
True
Let a(b) = 9404*b**2 + 7*b + 22. Is a(3) a prime number?
False
Let g = 2784 + -227. Is g a composite number?
False
Let h = 30727 - -1387. Is h a composite number?
True
Suppose y - 14*a = -13*a + 732, 2*y - 1461 = 5*a. Is y a composite number?
False
Let o be (1*12/9)/((-4)/(-834)). Let w = 259 + o. Is w a prime number?
False
Suppose -4*b - 26 = -106. Let t(k) = k**2 - 18*k + 25. Is t(b) a composite number?
True
Let v = 28 + -13. Let q be (-2)/5 + 1716/v. Let h = q + -61. Is h composite?
False
Let y be -4 + (12/4 - 85). Let t = y + 153. Is t prime?
True
Let g be (34/10 - 4)*(-4 + -1). Suppose -5*b - 2*w + 5223 = 0, 5293 = 4*b + g*w + 1109. Is b composite?
True
Let x(y) be the second derivative of -37*y**5/120 - 19*y**4/24 + y**3/6 + 10*y. Let n(w) be the second derivative of x(w). Is n(-6) a composite number?
True
Is 23473 + 10 + (-30)/5 - 0 a prime number?
False
Let a(s) = -s**3 - 3*s**2 + s - 4. Let o be a(-3). Let y(l) = 2 + 11*l - 1 - 23*l - 18*l. Is y(o) a prime number?
True
Let l be 140/65 + (-6)/39. Suppose 3*x - l*b = -442 + 84, -2*x - 246 = -5*b. Let q = 383 + x. Is q prime?
False
Let s be 3809 + -4 + (12 + -3)/(-3). Suppose -n = n - s. Is n a prime number?
True
Let d = -9 + 22. Let y = d - 11. Suppose -y*m - c = -1150, -2*c + 5*c = -m + 585. Is m a composite number?
True
Let d(m) be the first derivative of -m**3/3 - 68*m - 1. Let t be d(0). Is ((-35)/14)/(2/t) a composite number?
True
Suppose -7*b = -2*b - s - 102084, 0 = 4*s - 4. Is b a prime number?
False
Let a(s) = -s**3 + 18*s**2 + 18*s + 22. Let f be a(19). Suppose 3180 = f*m + r, 3*m = -2*r - r + 3174. Is m a composite number?
False
Suppose -l = 13 + 6. Let v = l + 21. Suppose -h + 5*x + 449 = h, -v*h = x - 479. Is h a composite number?
True
Let r(p) = -17*p**3 - p**2 + 12*p - 1 - 2*p**2 - 9*p. Is r(-3) a prime number?
False
Is (35/5 - -30)*23 composite?
True
Let p = 10914 + -7047. Is p prime?
False
Let c = -3635 - -6214. Is c a composite number?
False
Let d(k) = 848*k + 21. Is d(17) prime?
True
Let k be 33/22*20/6. Suppose -5*c - k*b = -3970, 3*c - 5*b - 2406 = -0*c. Is c prime?
True
Let q = -42 - -25. Let r = q + 20. Suppose -4*n + 275 = 3*d, 3*n = r*d - 0*d - 303. Is d composite?
False
Suppose 53119 = 31*z - 20*z. Is z a prime number?
False
Suppose 338*j - 336*j = 104042. Is j composite?
False
Let i(w) = -w**2 + 5*w - 34. Let o be i(10). Suppose 153 = s - 144. Let h = s - o. Is h a composite number?
True
Is ((-12476)/16)/((-42)/2184) prime?
False
Let s be 85/3 - 1 - 16/(-24). Is 3864/s - -1*(1 - 0) prime?
True
Suppose u - 5*u + 8 = 0. Suppose 0 = -0*i + u*i + 3*p + 18, -3*p - 6 = 0. Is 160/25 + i/(-10) composite?
False
Suppose 3*x - x = 5*g + 4230, g + 4222 = 2*x. Suppose 11*f - 13*f + x = 0. Is f prime?
False
Suppose -2*o = -5*o - 2*z + 1099, 5*o - 3*z - 1857 = 0. Let d = o - -12. Is d prime?
False
Let j(x) = -809*x + 2. Let t(h) = -h**2 + 10*h + 23. Let z be t(12). Is j(z) a prime number?
True
Suppose 2*i - 5*q - 5798 = 0, -2*q - 2155 = -2*i + 3637. Is i composite?
True
Let a(t) = 5*t**2 - 17*t - 9. Let l(f) = -f**3 - f**2 - f. Let d(k) = -a(k) + l(k). Is d(-8) a composite number?
True
Suppose -3*k + 1969 = -0*l - 4*l, 3*l = 2*k - 1312. Let p = k - 332. Is p a prime number?
False
Let h(k) be the first derivative of k**4/4 - 5*k**3/3 - k**2/2 + 5*k - 6. Let o be h(5). Suppose o = -7*c - 435 + 2584. Is c a composite number?
False
Suppose 5*r + 38590 = 15*r. Is r composite?
True
Let g(q) be the second derivative of 5*q**4/6 - q**3/6 - 7*q**2/2 - 12*q. Is g(-8) a prime number?
True
Let d(v) = -v**2 - 3*v + 3. Let x be d(-4). Let c be (x - 2) + 1*4. Is ((-44)/12)/(c/(-9)) a composite number?
True
Let x be 4/(-4)*(0 + -5). Suppose 0 = -x*h - 8 + 38. Suppose 0 = -9*f + h*f + 237. Is f a prime number?
True
Suppose 3*l - 3*u = 37284 + 87960, 3*l + 3*u - 125274 = 0. Is l composite?
True
Let k(j) = -j**3 - 9*j**2 + 2. Let p be k(-9). Let i be p/(-6) + (-152)/(-24). Is i/(-4)*248/(-6) a composite number?
True
Let f be ((-3)/(-4))/(5/(-60)). Let l = f - -9. Is 1 - l - -1*144 a composite number?
True
Let c be (3/(-2))/(2/(40/(-15))). Suppose c*b - 6 + 16 = 0, b = 2*d - 3607. Is d composite?
False
Let v = 14 + -1. Suppose o = v*o - 1860. Is o composite?
True
Let b be (6 + (0 - 4))/((-2)/(-3)). Suppose -b*r = -12*r + 1899. Is r composite?
False
Suppose -7*t = -8*t + 4269. Is t a prime number?
False
Let z(y) = y**3 - 6*y**2 + 3*y - 21 - 2*y**2 + 9*y + y**3. Is z(8) prime?
True
Let f(t) be the first derivative of 1/4*t**4 - 9/2*t**2 + 1/3*t**3 - 2 + 2*t. Is f(4) a prime number?
False
Suppose 295*q - 281*q = 19306. Is q prime?
False
Suppose -28 = -7*s + 7. Suppose 4*h - 4*k - k - 28478 = 0, -s*h + 35591 = -3*k. Is h a composite number?
True
Let u(p) be the second derivative of 77*p**4/12 + p**3 - p**2 + 7*p. Is u(3) composite?
False
Let l(o) = -o**3 + 5*o**2 + 2*o - 8. Let b be l(5). Let v(u) = -19 - 5*u + 2*u**b - 9*u + 7*u. Is v(-14) prime?
False
Let u = 184558 - 106067. Is u a composite number?
True
Suppose 0 = -s + 16. Let o(t) = t**2 - 7*t + 5. Is o(s) prime?
True
Suppose -2*v + 4*t - 10347 = -5*v, 3*v - 10353 = -2*t. Is v composite?
True
Is 1565/10*-2*5/(-1) prime?
False
Let b(l) = l**3 + 7*l**2 - 8*l - 8. Suppose -2*p + 4*p = -2*o - 16, -2*p + 20 = -4*o. Let d be b(o). Suppose 0 = 5*g - d + 26. Is g composite?
True
Let q(p) = 90*p**2 - 49*p - 28. Is q(-15) composite?
True
Let d(k) = -k**2 + 2*k + 3. Let x be d(3). Suppose x = 2*g - 6. Suppose -g*u = -134 - 4. Is u a composite number?
True
Let x(q) = -q**3 - 17*q**2 + 26*q - 7. Let l be x(-18). Let j = l + 824. Is j composite?
False
Is (-10)/(179224/35848 + -6 + 1) a composite number?
True
Let o be 2/4 + 9/6. Suppose -4*n = -o*u - 6, 5*u - n = n + 9. Suppose 1270 = 2*s + u*s. Is s a prime number?
False
Suppose -5843 + 71522 = 3*m. Is m a composite number?
False
Let j = 695 + 62. Is j a prime number?
True
Let w = 4199 - -2338. Is w prime?
False
Let y(w) = -3*w**2 + 4*w + 7. Let k be y(-2). Suppose -3*f + 7*f + 4 = 0, -f = 2*p - 611. Let j = p + k. Is j a composite number?
False
Suppose 0 = -8*y - 17453 + 104061. Is y a composite number?
True
Let q(g) = 744*g + 131. Is q(19) prime?
False
Let j = -18130 + 57879. Is j a prime number?
True
Let r(g) be the third derivative of g**8/4032 + g**7/720 - g**6/90 - g**5/12 + g**2. Let j(y) be the third derivative of r(y). Is j(-10) prime?
False
Let y be 2*((-12)/16 + (-49)/(-4)). Let j(c) = 65*c + 18. Is j(y) composite?
True
Suppose s - 1 = 2*p, 2*p = -0*s + 4*s - 10. Let b be 164/16 + p/(-4). Is 10/b + -1 + 185 a composite number?
True
Let a be ((-6)/(-9))/((-4)/18). Let q(j) = -j**3 + j**2 - 2*j + 5. Is q(a) a prime number?
True
Suppose 5944 = 6*z - 74. Suppose -l + z = -0*l. Is l a composite number?
True
Let g = -7 - -10. Let y(k) = k + 1. Let v be y(g). Suppose v*s - 8*s + 220 = 0. Is s prime?
False
Let h = 55263 + -25810. Is h composite?
False
Suppose -f - 3*f + 28540 = 0. Is f prime?
False
Let w = -37 + 38. Let c(d) = -26*d + 76*d**2 - w + 18*d + 10*d. Is c(1) prime?
False
Let b(a) = 494*a**3 + a**2 - 1. Let p be b(-1). Let h = p + 751. Is -4 - (0 + -1)*h composite?
True
Let g = -1 - -3. Suppose -441 = -g*a - a. Is (a - (-12)/4) + -1 composite?
False
Let v(t) = t**3 - 4*t**2 - t - 16. Let w be v(11). Let z = 1191 - w. Is z composite?
True
Let h(b) be the third derivative of -19*b**4/6 - 37*b**3/6 - 44*b**2. Is h(-6) a prime number?
True
Let i = -170000 - -308349. Is i a prime number?
True
Let i = -28 - -33. Suppose -3*f = -12, 82 = -5*a + i*f + 1132. Is a a composite number?
True
Let n(j) = j**3 + 5*j**2 - 7*j + 4. Let c be n(-6). Let f = c + -6. Suppose 3*x + 7 = f*x. Is x prime?
True
Let t(d) = -d**2 + d + 6. Suppose 2*g - 11 = -5*c, 3*c - 4*g - 20 = -c. Let k be t(c). Suppose 0 = -k*u + 2*u + 4*h