 + 7. Let w be a(-6). Is (w/(-2))/((-1)/(-4)) prime?
False
Let v = 3 - -74. Is v composite?
True
Suppose 56 = 5*r - 0*o - o, 4*r + 5*o = 68. Suppose 0 = -z + 2, n = 4*z + 33 + r. Is n a prime number?
True
Let y(d) = -d + 3. Let a be y(4). Let j = -2 + a. Let f(g) = -g**3 - g**2 + 5*g + 3. Is f(j) a composite number?
True
Suppose -5*a - 17 + 2 = 0. Is (-40)/a - 1/3 a composite number?
False
Let d = -4 - -5. Let h = d + 2. Is h*4/(-6)*-7 prime?
False
Let y be (0 + 80)*6/5. Suppose -y = -3*n + 4*c, 4*n + 5*c = 3*n + 13. Suppose 2*m - 16 = n. Is m a prime number?
False
Let f = 946 - 1343. Is (-4)/10 + f/(-5) composite?
False
Let m be (4/(-6))/(1/3). Let q(o) = -o**3 - 2*o**2 + 2*o + 1. Let l be q(m). Is (-356)/l - (-2)/6 prime?
False
Let a be (-6)/(-1)*1/1. Let h(u) = 3 + 3*u + 1 - 7*u**2 - a + u**3. Is h(7) a composite number?
False
Let k = 42 - 77. Let x = k - -74. Is x a composite number?
True
Let i(q) be the first derivative of q**4/4 - 8*q**3/3 + 3*q**2 + 7*q + 5. Is i(10) a prime number?
False
Suppose -3*t - 8 = -2*h, 1 + 11 = 3*h + 5*t. Let y = h - 10. Let n = 5 - y. Is n composite?
False
Let p be 2/(-1 - -3)*-25. Is (-1170)/p + 1/5 a prime number?
True
Let q(s) = -s**3 - s**2 - s - 1. Let j(i) = 2*i**3 + i**2 + i - 2. Let d(p) = j(p) + 3*q(p). Is d(-4) composite?
True
Let p(w) = 2*w**2 + 4*w + 7. Let o be (-8)/(-4) + (-1 - -1). Let g be (1/o)/((-3)/30). Is p(g) a prime number?
True
Suppose 5*z - 12*m = -8*m + 9021, 3*z + 2*m - 5395 = 0. Is z a composite number?
False
Let w = -703 - -1123. Let r = w - 259. Is r a composite number?
True
Suppose 5*m + 502 = 6*m. Is m a prime number?
False
Suppose -2*l + 737 = 2*k + 243, k + 1008 = 4*l. Is l prime?
True
Suppose -5*z + 0*z + 330 = 0. Let o = 119 - z. Is o composite?
False
Let m(d) = -6*d - 2 - d**2 + 2 - d**3 + 1. Is m(-5) a prime number?
True
Suppose 5*t - 7*t = -110. Let q = t - -22. Is q a composite number?
True
Suppose 0 = 2*l - 6 + 2. Suppose 3*i + l*a = 4*a + 55, -i + a = -18. Suppose -n + i = -0*n. Is n a composite number?
False
Suppose 13 - 755 = -2*z. Is z composite?
True
Let f(j) = 17*j**2 - 7*j + 7. Suppose 3*s - 6 = -30. Is f(s) prime?
True
Is 293 - 2 - (-1 + -1) prime?
True
Let p(y) = 34*y - 7. Let r be p(5). Suppose 3*v = 2*v + r. Is v prime?
True
Let y be (-1318)/(-6) - 2/(-6). Suppose 2*i - y = -3*i. Suppose 0 = 5*d - 21 - i. Is d a prime number?
True
Let l(s) = -s**2 - 6*s + 5. Let c be l(-6). Suppose -520 + 175 = -c*a. Is a composite?
True
Let b(s) = 5*s**2 - 2*s - 2. Let z be b(2). Suppose 3*v + 2 - z = 0. Suppose 0*x - 76 = -v*x. Is x prime?
True
Suppose 2*a - 428 = -0*a. Is a prime?
False
Let q be (3 - 6)*(-4)/6. Suppose 0 = -2*m - r + 138, -r - 2*r + 146 = q*m. Is m prime?
True
Let p = -4 + 1. Is (2/p)/(-2)*2667 a composite number?
True
Suppose n + 3 + 1 = 0. Let r be (-2)/n + (-15)/6. Is 1 - (-3 - r) - -131 prime?
False
Let k = -590 + 1291. Is k a composite number?
False
Let h(q) = -q**2 - 9*q - 3. Let c be h(-6). Suppose 5*n - c + 210 = 5*f, -4*f = 5*n - 138. Is f a prime number?
True
Suppose -5*h - 535 = -10*h + 5*t, 3*t = -4*h + 428. Suppose -k + h = -70. Is k a prime number?
False
Let r = -7 + 12. Suppose 0 = 4*n - r*l - 897, -l - 10 = n - 232. Is n a prime number?
True
Let n be 1/(((-4)/10)/(-2)). Let y(g) = 20*g + 3. Is y(n) a prime number?
True
Let x = -95 + 352. Is x a prime number?
True
Let i(n) = 0 - 4 + 3*n**2 + 0*n + n + 3*n**2. Is i(3) composite?
False
Let k(m) be the first derivative of -m**3/3 - 5*m**2 + 11*m - 1. Let j be k(-11). Suppose -3*c + s + 142 = j, 3*s = 2*c - 0*c - 97. Is c a composite number?
False
Is -3246*2/(-3) + -5 a prime number?
False
Suppose -12*j + 1099 = -11*j. Is j a composite number?
True
Let a(z) = -z**3 + 3*z**2 + 5. Let d be a(4). Let i = 33 + d. Is i a prime number?
False
Let l(z) = -4*z**3 - 6*z**2 + 9*z + 4. Let m(y) = -3*y**3 - 7*y**2 + 10*y + 4. Let n(v) = -4*l(v) + 5*m(v). Is n(11) a prime number?
False
Is (-6054)/(-5) - 1/(-5) a composite number?
True
Let g(o) = -2*o. Is g(-5) a composite number?
True
Suppose -5*d - 25 = 0, 3*d - 25 = -5*y - 0*d. Let b = y + -5. Suppose 19 = b*q - 26. Is q composite?
True
Let k(s) = s**3 + 6*s**2 - 3*s - 1. Is k(6) a prime number?
False
Let h(w) = 6*w. Let o be h(7). Suppose -2*r - r = -o. Is r composite?
True
Let y(z) = -z**2 + 2*z. Let g be y(2). Suppose g*u + 3*u - 93 = 0. Is u composite?
False
Suppose -11*w + 59120 + 4119 = 0. Is w prime?
True
Suppose 5*d = -2*d + 483. Is d prime?
False
Suppose 381 = f + x, -2*f + 4*x - 218 + 980 = 0. Is f prime?
False
Is (0 + 2)/2 - -58 prime?
True
Suppose 3*n - 8 = -4*r + 4, 0 = 5*n - r - 20. Let h be (n - 6) + (-70)/1. Let c = h - -103. Is c prime?
True
Suppose -101 = -5*y + 4*b + 214, -5 = b. Is y a prime number?
True
Suppose -13*t + 4197 = -10*t. Is t prime?
True
Let j be ((-273)/14)/((-1)/2). Suppose 2*r - r = j. Is r prime?
False
Let z = 85 + 28. Is z a composite number?
False
Suppose -3*r = -0*a + 2*a - 25, -4*a = -3*r - 5. Suppose -5*t + 0*t = a*p - 15, -2*t + 9 = -p. Suppose -4 = t*k - 392. Is k prime?
True
Let l(i) = -i**3 + 6*i**2 + 6*i + 3. Let d be l(7). Let p be -2*(-2)/d - -5. Suppose -5*m - 2*s + 22 = 0, -5 = p*s + 11. Is m a prime number?
False
Let c(d) = 17*d**2 - 2*d + 1. Let n = 14 - 12. Is c(n) a composite number?
True
Suppose 4*s + 244 = 4*r, 0*r - r = -5*s - 45. Is r a prime number?
False
Let g be -2 + 1 + 10/5. Suppose 5*s = -g + 26. Is (-94)/(-3) + s/(-15) composite?
False
Let c = -5 - -8. Let w be (2/5)/(c/30). Is (-65 - -3)/(w/(-2)) composite?
False
Suppose 3*s - 926 = -353. Is s a composite number?
False
Let o = 59 + -160. Let c = o - -166. Is c prime?
False
Let t be -3*(1 + 7/(-3)). Suppose -3*l = 5*a + 9, 7*l + t*a = 2*l - 2. Is l prime?
True
Suppose -y + 11 = -11. Is y composite?
True
Suppose j = 3*j. Suppose 3*v + j*v - 615 = 0. Is v a composite number?
True
Suppose -3*t - 374 = -6*a + 5*a, t + a = -122. Let c = t - -183. Is c a prime number?
True
Let a be (-16)/((3/1)/(-3)). Is (-3)/(-1 + a/17) prime?
False
Suppose -358 - 166 = -4*b. Suppose 7*n - 4*n - 360 = -x, n - b = -4*x. Is n a composite number?
True
Suppose -2*b + 15 = b, h - 794 = -b. Is h prime?
False
Let d(w) = w**3 - 13*w**2 + 10*w - 1. Is d(14) composite?
True
Suppose 90 = 2*y - 16. Is y a composite number?
False
Let s(o) = 2*o**2 - 7*o + 5. Let l = -1 + 7. Is s(l) a composite number?
True
Let f = 243 + -164. Is f composite?
False
Let g be (-1 + 0)/((-1)/3). Suppose -134 = p - g*p. Let r = p + -42. Is r prime?
False
Let v be (6/3)/(4/6). Let d(m) = -m**2 + 4*m - 2. Let f be d(v). Let i = 78 - f. Is i a prime number?
False
Suppose s - 19 = z, 4*s + 3*z + 2*z - 85 = 0. Suppose -4*o + 4*d = s, o - 3*d + 25 = 2*d. Suppose 0 = -o*g + 5*g + f - 30, 0 = -4*f. Is g composite?
True
Is 1324/8 - (-1)/2 prime?
False
Is (268/(-8))/((4/(-152))/1) a prime number?
False
Suppose -u - 3*w + 459 = -7*w, -4*u + 5*w = -1869. Is u prime?
False
Suppose 3*x - 1387 = 3920. Is x a prime number?
False
Suppose s + s + c - 21 = 0, 2*c = 2*s - 6. Suppose 0 = -2*o + s + 20. Is o a prime number?
False
Suppose 2*o = 5*v - 425, -2*v - 2*o + 38 = -132. Is v a composite number?
True
Is (-2)/4 - (-90)/4 composite?
True
Let h(i) = 3*i - 5. Let s be h(4). Let o = s - 4. Suppose -3*g = o*j - 30, -4*g + j = -0*j - 20. Is g a prime number?
False
Suppose 5*i = 4*f + 41, -4*f + 2*f = 8. Suppose 0 = 5*s - 10, 6*q - 16 = 3*q - 5*s. Suppose -i*v + q*r + 85 = 7*r, r = 3. Is v a prime number?
False
Is 6884/36 + (-6)/27 a composite number?
False
Suppose 2*f = 4*u - 12, -4*f + 2*f = -8. Suppose 5*h - u*x + 75 = 0, 5*h + x = -2*x - 91. Let j = h - -36. Is j a composite number?
False
Let x(b) be the first derivative of b**3/3 - 3*b**2/2 + b + 2. Let i be x(3). Is (i - (1 + 1))*-51 prime?
False
Let a = 3 - 4. Let z(x) = -118*x**3 + 2*x**2 + x. Is z(a) a composite number?
True
Suppose -5*p - a + 753 = a, -459 = -3*p - 3*a. Is p a composite number?
False
Suppose 0*r = r - 2. Is 0/(r + -1) + 91 a prime number?
False
Suppose -2 = 2*d - 6. Is d + 7*(0 + 7) prime?
False
Is (5530/(-15))/((-4)/6) a composite number?
True
Suppose 4*o = 2*d + 2, 0 = 2*o + 2*o - 8. Suppose -3*c + 4*s + 51 = -9, 0 = d*s. Let l = c + -9. Is l a prime number?
True
Let v(n) = -37*n + 1. Suppose 0*z + 4*z = -24. Is v(z) prime?
True
Suppose