*y**2 - 1. Is i(1) prime?
True
Let a = 9 + -17. Is (108/a - 1)*-4 a composite number?
True
Let c(o) = o**3 + 6*o**2 - 2. Suppose -q = 2*m + 4*q + 35, 3*m - 5 = 4*q. Is c(m) prime?
True
Suppose 0 = -2*r - 4*x - 12, 4*r - 5*x + 24 = -x. Let i = r - -8. Suppose i*f + 1 - 19 = 0. Is f a composite number?
True
Suppose -p - 4*p = 0. Is 11*(p + 0 - -1) composite?
False
Suppose -71 = -3*b - 4*i + 367, 5*b + 2*i - 730 = 0. Suppose -159 = -p + b. Is p prime?
False
Suppose g = 1 + 9. Let n be (16/g)/(4/(-20)). Let k = n - -15. Is k a composite number?
False
Suppose 0 = 3*u - 3 - 6. Suppose 0*f - 177 = -u*f. Is f prime?
True
Suppose -2*k - 11 = -0*g - g, 25 = 5*g + 5*k. Let r(s) = 3*s + 2. Is r(g) a prime number?
True
Suppose 8*n + 339 = 4*n - b, 0 = 3*n + 3*b + 261. Let q(u) = -u**2 - u - 41. Let s be q(0). Let t = s - n. Is t a composite number?
False
Suppose -2*t - 5*i + 16 = 2*t, 2*t = -i + 8. Let s(y) = -t - 2 + 5 - 12*y. Is s(-2) a composite number?
False
Let v(y) = 5*y + y**2 - 3 - 4*y + 3*y. Let m be v(-4). Is m + 3/3 + 37 a prime number?
False
Let d(q) = q**2 + 5*q - 11. Let y(v) = -2*v + 4. Let m(s) = 3*d(s) + 8*y(s). Let n be m(5). Suppose -4*g = -g - n. Is g prime?
True
Let q = -773 + 2760. Is q a composite number?
False
Let i = 9 - 6. Suppose i*c - 5*c + 8 = 0. Suppose -4*h = c, -2*h = 3*u - 0*h - 169. Is u composite?
True
Suppose b - 4*m - 313 = 0, -4*b + m + 2000 = 688. Is b a prime number?
False
Let y(f) be the third derivative of f**4/8 + f**3/3 + 2*f**2. Let u be y(2). Suppose 2*m + 5*w - 596 - 42 = 0, -u = 2*w. Is m a prime number?
False
Let o = -31 + 174. Is o a prime number?
False
Suppose -5*c - h + 119 = -151, 2*h = 2*c - 120. Is c a prime number?
False
Let q be (-1122)/(-26) - 6/39. Suppose q + 4 = c. Is c prime?
True
Let l(u) be the first derivative of 10*u - 3 - 3/2*u**2. Is l(-9) a prime number?
True
Let p(r) = 9*r - 4. Let b be p(3). Suppose 359 = 4*i + b. Suppose -5*y - 14 + i = 0. Is y a prime number?
False
Suppose 4*r - 14 = 3*n, 5*r + 2*n - 14 = 15. Suppose y - 58 = -r*l, -21 - 4 = -5*l. Suppose -2*a - y = -2*w - 3*a, 0 = -2*a - 10. Is w composite?
False
Let b be (-5 - -2)/((-9)/12). Suppose b*c - 5 = -4*v - 1, 0 = 4*c + 5*v - 2. Suppose c*j - 348 = -j. Is j prime?
False
Let g = 0 - 0. Let h = 38 - 28. Let b = h - g. Is b a prime number?
False
Let f be (44/6)/(2/9). Let o = f + -11. Is o a composite number?
True
Let n(m) = m**2 - 8*m + 4. Let w = 33 - 18. Is n(w) composite?
False
Let j be (-21)/(3 + (-18)/4). Is ((-2)/3)/(j/(-903)) a prime number?
True
Let u(r) = r**2 + 4*r - 8. Let m be u(-6). Suppose -q = -d + 33, 5*q - 102 - 75 = -m*d. Is d composite?
True
Let d(w) = 28*w**2 - 2*w - 1. Let t be d(-1). Suppose 5*a = 9 - t, -6 = -u - 2*a. Is u a composite number?
True
Let y be -3*(-8)/6 + 0. Let p(h) = -3*h**3 + 3*h**2 - 5*h + 8. Let n(b) = -b**3 + b**2 + 1. Let o(q) = 2*n(q) - p(q). Is o(y) composite?
True
Let p be (-6)/(-18) + (-2)/(-3). Let g(c) = 79*c**2 - c + 1. Is g(p) composite?
False
Let a be (-1 + -1)/((-4)/10). Suppose -z - 5*x + 122 = -1, -3*z + 4*x + 369 = 0. Suppose -3*q - 3*i + 30 = -z, 0 = a*i. Is q composite?
True
Is (0 - 4/(-8))*2*397 prime?
True
Let l(g) = -10*g - 5. Suppose 24 = -4*w - c, 4*w = 3*c - 28 + 4. Is l(w) a prime number?
False
Is 1099 + (40/70)/((-4)/(-14)) a composite number?
True
Suppose 2*q + 560 = k, -5*k + 664 = 2*q - 2112. Suppose -4*d = -f + 115, 5*f - k = -0*d + d. Is f composite?
True
Is 1270/15*6/4 composite?
False
Suppose -y + b = 2*y + 68, 5*y = -3*b - 90. Let t = -15 - y. Let m(x) = 2*x**2 + x - 1. Is m(t) prime?
False
Suppose 4*w = -5*t + 5010, -w + t + 909 = -348. Is w composite?
True
Let a = 335 + -113. Suppose 2*o - 688 + a = 0. Is o prime?
True
Let j = -19 - -27. Let z(u) = -u**3 + 9*u**2 + 4*u - 9. Is z(j) a prime number?
False
Suppose -19*s = -3889 - 116742. Is s prime?
False
Let s(v) = -v**2 - 5*v - 9. Let j be s(-6). Let l = -6 - j. Let n = 6 + l. Is n a composite number?
True
Is ((3 - -185)/(-4))/(-1) a prime number?
True
Suppose -7328 = -5*l - 3*n, -l - 4*l - 2*n = -7327. Is l composite?
True
Let x be 118/8 + (-5)/(-20). Suppose 2*b - x = 7*b. Is b + 3 + -2 + 67 a prime number?
False
Suppose 2*s - 954 = 4*i, 4*i + i - 5 = 0. Is s prime?
True
Let j(y) be the first derivative of -y**4/4 - y**3 - y**2 + 2. Let h be j(-2). Suppose -4*f - 4*g + 1476 = h, 2*g - 1484 = -4*f - 0*f. Is f prime?
True
Let v be 37 + (12/3)/4. Suppose -d + 73 + v = 0. Is d a prime number?
False
Suppose 3*i = 4*x + 2025, -2*x - 6 = -0*x. Is i prime?
False
Let d(b) = -99*b + 13. Is d(-4) a composite number?
False
Let g(k) = 14*k - 1. Let a be g(11). Let y = -104 + a. Is y prime?
False
Let n(z) = -17*z - 3. Let l be n(-2). Suppose i - l - 54 = 0. Is i composite?
True
Is 2*-38*2/(-8) prime?
True
Suppose -2*z - 20 = -6*z. Suppose 0 = i - 5, 7*i + 100 = z*j + 2*i. Is j prime?
False
Let b = 20 + -11. Suppose 0 = 4*f - b*f + 235. Is f composite?
False
Suppose 2217 + 473 = 2*b. Is b a prime number?
False
Is (48/(-2))/(-1) - 3 a composite number?
True
Suppose 0 = -b + 57 - 22. Suppose b = -0*x + 5*x. Is x composite?
False
Suppose -2*h + d = -5499, 2*h - 9439 + 3934 = -d. Is 2/5 + h/35 composite?
False
Suppose 2*l = -3*n + 222 + 315, n - 166 = -5*l. Let q = 3 - 1. Suppose -4*a - n = -5*m, q*m = m - 4*a + 41. Is m prime?
True
Is 5/(-10) + (-1198)/(-4) composite?
True
Suppose -5*x - 280 = -5*w - 0*x, 5 = x. Let u = w + 10. Is u composite?
False
Let w = -269 + 192. Let n = w + 204. Is n a prime number?
True
Suppose -20 = -3*s - 2*s. Suppose s*g - 412 = t + 386, 3*t + 5*g + 2326 = 0. Is t/(-6) - 2/(-3) composite?
False
Is (-9)/(-6)*(-1558)/(-3) prime?
False
Suppose 0 = -o - o + 26. Is o a prime number?
True
Suppose -6*i - 21 = -2*i - n, 0 = -5*i - 5*n - 45. Let h = i - -4. Is h/11 + 6216/66 a prime number?
False
Suppose -3*p + 485 = 5*y + 2*p, 4*y = 3*p + 388. Suppose -4*i - w + 142 = 0, -7*i + 4*w = -4*i - y. Is i a composite number?
True
Suppose 3*r - 114 = -u, -5*u - 1 = -16. Is r a prime number?
True
Suppose 2 = -n + 6. Suppose -a + j = 4, -n*a + j - 17 = -1. Is (-246)/(-8) - 1/a prime?
True
Let v(x) = -x - 6. Let a be v(-8). Suppose 3*i + 31 = s, -a*s + 4*i - 19 = -83. Is s a composite number?
True
Let p = 3209 + -1260. Is p composite?
False
Suppose -5*c = 2*a - 8, 0 = 2*c + c + a - 4. Suppose -3*t = w - 1347, -5*w - 1347 = -c*t - 3*t. Is t a prime number?
True
Let u = -467 + 931. Let b = 753 - u. Is b composite?
True
Let k(g) = -g + 7. Let d be k(5). Suppose 132 = d*c + c. Let r = c - 18. Is r a composite number?
True
Let o(f) = 24*f + 22. Is o(20) a prime number?
False
Let k = 19 + 57. Suppose h - 197 = -k. Is h a prime number?
False
Let p(s) = 9*s**2 - 17. Is p(6) a composite number?
False
Let a be 1 + 1*(1 - 0). Suppose k - 4*u - 443 = -4*k, -3*k + 257 = a*u. Is k prime?
False
Suppose 5*y - 4*s - 2664 = 0, 0*s - 5*s - 2665 = -5*y. Suppose b = -3*b + y. Is b prime?
False
Let f be (237/(-4))/((-5)/(-60)). Let o = 1012 + f. Is o prime?
False
Let h = -40 - -15. Let m = 164 + h. Is m a prime number?
True
Suppose -2*a - c = 2*a - 6520, c + 8159 = 5*a. Is a a prime number?
False
Let t be (-44)/12 - (-2)/3. Is (-12)/t + -4 - -39 a prime number?
False
Let v(p) be the first derivative of -p**4/4 + 5*p**3/3 + 3*p**2 - 2*p + 2. Let n be v(6). Is (-93)/(-5) - n/5 a prime number?
True
Is 2*(-4 + 3) - -221 a prime number?
False
Let v be 24 + 2*(-3)/(-2). Is v - (1 + 0 + 1) prime?
False
Let d be (5 - -1)*2/4. Suppose 10 = d*f - f. Suppose -5*h + 9 = 4*l - 174, -4*h + 150 = f*l. Is h composite?
True
Let b(s) = 49*s + 21*s - 7 + 0. Let f be b(-5). Is (-6)/9 - f/9 a composite number?
True
Is (-11)/22*13*-22 prime?
False
Let d(k) = -17*k + 108. Is d(-13) a composite number?
True
Let z(a) = a**2 - a - 7. Let o be z(5). Suppose -29 = -2*d + o. Is d composite?
True
Is (-5)/2*(-184)/10 composite?
True
Let d(w) = 2*w**2 + 6*w + 1. Suppose -1 = v - 2. Let j = -7 + v. Is d(j) a composite number?
False
Let w be ((-6)/(-4))/((-9)/12). Is 2 + (-2)/(w/19) a composite number?
True
Suppose 3*s + 270 = 804. Is s composite?
True
Suppose -4*u - 3*w + 0*w = 114, 5*u - 4*w + 158 = 0. Let s be ((-1)/(-2))/((-5)/u). Suppose -5*o = 3*k - 47, -4*k + 2*o + 86 = -s*o. Is k prime?
True
Suppose 3*i - 1696 - 17 = 0. Is i a prime number?
True
Is (0