2 + 5*c - 1. Is t(4) prime?
False
Suppose -2*y = -6*y + 4, -5*y + 20 = 3*u. Let s be (u - 6) + (-8)/(-2). Suppose s*d - 17 = 1. Is d prime?
False
Is 1914/12*((-1)/1 - -3) a prime number?
False
Let b(a) = -3*a**3 + 2*a**2 - 2*a - 18. Is b(-7) prime?
True
Suppose 4*o - 12*o = -1288. Is o a composite number?
True
Let s(t) = -t**3 + 5*t**2 + 3. Let g be s(3). Let a = 148 - g. Is a prime?
True
Let x(m) = 6*m**2 + 2*m - 2. Let c be x(5). Suppose -3*p - p + 5*j + 557 = 0, -p + c = -5*j. Is p composite?
True
Let k(l) = l - 2. Let g be k(5). Suppose 15 + 2 = 2*v + 3*i, g*v + 3*i - 30 = 0. Is v a prime number?
True
Suppose 2*b - 19 - 3 = 0. Suppose -s = -b - 3. Let h = -4 + s. Is h a prime number?
False
Let y be -1 - -4 - (-4 - -67). Let h = 151 - y. Is h a prime number?
True
Let f be (1/2)/(3/(-54)). Let i = 13 + f. Is (-1)/(-4) + 59/i prime?
False
Let b(i) = 1656*i**2 + i. Is b(1) composite?
False
Let i be (-1752)/18 - 2/3. Let z = -13 - i. Is z prime?
False
Let f be 1*(-1 - 0)*-90. Let o = -93 + 42. Let y = o + f. Is y a prime number?
False
Let f = 14 - 23. Is ((-44)/2)/(6/f) a prime number?
False
Let p(f) = -9 + 0*f**2 - 2*f - 8*f**2 + 7*f - f**3. Let l be p(-9). Let y = l - -28. Is y prime?
False
Let v = 71 - 1. Suppose q - 3*q = -v. Is q composite?
True
Let n = -41 - 65. Let a = 99 - n. Is a composite?
True
Suppose o - 316 = 103. Is o a composite number?
False
Let b = 530 + -314. Let y = b + -85. Is y a prime number?
True
Let d(h) be the third derivative of -47/24*h**4 - 2*h**2 + 0 - 1/2*h**3 + 0*h. Is d(-2) a composite number?
True
Suppose 3*i + i = 0. Suppose 3*b = -i*b + 468. Let d = -77 + b. Is d prime?
True
Suppose -2*h + 2 = -4*h, 0 = -5*m + h - 1049. Let b be 2*(m/(-4))/(-5). Is -2 + (-2 - -2) - b composite?
False
Suppose -231 = -q - 20. Is q a composite number?
False
Is (-6)/(-3)*(-131)/(-2) prime?
True
Is (219/(-12) + 9/6)*-4 composite?
False
Let h(v) = 2*v + 17. Let w = -4 + 11. Let p(x) = -x - 16. Let a(c) = w*p(c) + 6*h(c). Is a(7) a prime number?
False
Let l = -5 + 7. Suppose -5*d = 5*c - 20, 2*c = -0*d + 4*d + l. Suppose 0*t + c*t - 222 = 0. Is t a composite number?
True
Let b(s) = 128*s - 1. Let f be b(-2). Let x = -170 - f. Is x composite?
True
Let m(i) = -2*i + 1. Let f be m(4). Let c = 14 + f. Is c prime?
True
Suppose -11 = -4*g - 43. Let h be ((-4)/g)/((-1)/(-50)). Suppose 0 = -5*u - 4*m + h, m - 5 = 2*u - 28. Is u a prime number?
False
Suppose 0 = 4*f - t - 164 - 5494, -5*f + 4*t + 7067 = 0. Suppose -j = -4*o + 4*j + f, 0 = 5*j - 5. Is o composite?
True
Let v(n) = -3*n + 2. Let p be v(3). Let u = p + 14. Suppose -z + 26 = u. Is z a composite number?
False
Is ((-340)/(-12))/5*69 prime?
False
Let r(j) = j**2 + 7*j - 2. Let m be r(-8). Let k be (-2)/(-6) + 148/m. Let b = k + -14. Is b a composite number?
False
Let b(z) be the first derivative of -3/2*z**4 + 0*z**2 + z - z**3 - 2. Is b(-2) a composite number?
False
Let t(v) = v**2 + v + 14. Let l be t(-10). Let m = -49 + l. Is m composite?
True
Suppose -u = -4*u + 18. Suppose z = u*z - 245. Is z a prime number?
False
Let c be 8/6*(-4 - -1). Let x be (c/6)/((-3)/45). Suppose -3*t + 5*t = 2*p - 106, 0 = 5*t - x. Is p a composite number?
True
Suppose -2*y = -2*z + 12, -3*y + 10 = -5*z + 32. Is (1 - 2)/(y/236) prime?
True
Let j be (3 - (-321)/(-6))*2. Let k = j - -175. Is k prime?
False
Let w = -146 - -239. Suppose x - w = 140. Is x a prime number?
True
Let r be 2 - 1*(-7 - -2). Let u be (-80)/(-14) - (-2)/r. Let h(c) = c**3 - 6*c**2 + 2*c - 6. Is h(u) a composite number?
True
Suppose -175 = -2*u - 3*c, -4*u + c + 317 = -4*c. Is u a prime number?
True
Let f(v) = -v**2 + v + 4. Let y be f(0). Let t = 18 - 13. Suppose -y*s = -t*h + 55, 2*h + 2*s - 22 = s. Is h a prime number?
True
Is (1*3)/((-54)/(-24642)) a composite number?
True
Let n = 94 - 66. Suppose 0 = 4*w + 3*s - 4, -3*w + 0*w = -4*s - n. Suppose 9*l - w*l - m - 782 = 0, -4*l + 637 = 3*m. Is l prime?
True
Let n(m) = -3*m**3 - 5*m**2 - 3*m + 2. Let p(y) = 4*y - 3. Let x be p(6). Suppose -3*j - 11 = -4*r + 6, 3*r = 5*j + x. Is n(j) composite?
False
Let s = -127 - 336. Let x = s + 879. Is (22/(-8))/((-8)/x) composite?
True
Is 388 - -4 - (-1 + 2) composite?
True
Suppose 2*g + 2 = 0, 0 = -2*h - 2*h - 5*g + 1091. Is h a prime number?
False
Suppose 0 = 3*y + 3*z - 807, -4*y - 3*z = -5*z - 1082. Suppose -4*n + n = -y. Let c = n + -59. Is c a composite number?
False
Suppose -3*d = -4*d + 82. Is d a prime number?
False
Let f be (12/15)/((-3)/(-570)). Let t = f - 103. Is t composite?
True
Suppose 19 = -3*k - w, 25 = -5*k - 3*w - 2*w. Let t(g) be the second derivative of -g**4/12 - 4*g**3/3 + 3*g**2 + g. Is t(k) composite?
False
Let u = -6 - -10. Suppose n + 10 = 4*x, -x + u*n - 3 = n. Is 49 + x/(-3)*0 prime?
False
Suppose -3*q = 5*u - 32, 0*q + 2*q - 8 = 0. Let x be (-1)/2 + u/(-8). Is 50*(-1)/x - 1 prime?
False
Let n(c) = c + 7. Let t be n(-9). Is t - -2 - 3 - -100 a prime number?
True
Let w(c) = c**2 + 2*c. Let l be w(-2). Suppose l*p + p - 50 = -b, -3*p + 3*b + 162 = 0. Suppose -4*t + q + 35 = -3, -5*t - q + p = 0. Is t prime?
False
Let p be (1 - 0)*-1*-3. Is (-39 - -1)*p/(-6) prime?
True
Suppose 0*c - 30 = 5*c. Is c/(-10) - 1054/(-10) a composite number?
True
Let l(w) = w**2 - 6*w + 3. Let a be l(6). Suppose 18 = a*c - 3. Let r(z) = z**3 - 6*z**2 + 9*z + 9. Is r(c) composite?
True
Is 2 + 8/(-1)*-1 a composite number?
True
Let w = -15237 + 21696. Is w prime?
False
Let i = -2414 + 4327. Is i a prime number?
True
Suppose -8*w + 3*w = 20, 0 = -4*u + 3*w + 664. Is u composite?
False
Let f = 18 - 13. Let w(o) = 3 + f + o + 33 - 6. Is w(0) a composite number?
True
Let u(m) = 9*m + 1. Suppose 2*n - 20 = -3*c, 4*c - 43 = -5*n - 7. Is u(c) prime?
True
Suppose -4*c + 8*c = -4*o + 212, 2*o = -3*c + 159. Is c composite?
False
Suppose 48 + 42 = -2*y. Let f = y + 113. Suppose 4*r - 3*d - 79 = 20, -3*r + f = -d. Is r a prime number?
False
Let g(z) = -62*z + 5. Is g(-8) prime?
False
Is (-8)/32 + (-3)/((-24)/4378) a prime number?
True
Let u(j) = 96*j + 11. Is u(4) composite?
True
Suppose -6*z - 52 = -4*z. Let k(j) = 13*j + 4. Let a be k(-5). Let f = z - a. Is f a prime number?
False
Let w(z) = z**3 + z**2 + 373. Let g be w(0). Suppose 0 = -v + 42 + g. Is v a composite number?
True
Suppose 4*v = n + 2*n + 2939, -2940 = -4*v + 4*n. Is v composite?
True
Suppose 1202 = 2*q - 108. Is q a composite number?
True
Let r(t) = t - 9. Let p be r(10). Let q = p + 3. Suppose -q*w = -58 + 2. Is w a composite number?
True
Suppose k + 4*g + 40 = 15, -3*g = 3*k + 39. Let t be 2/k + (-40)/(-18). Is (3 + -1)*(t + 0) a composite number?
True
Let k(j) = -j**2 + 3*j + 3. Suppose -4*m + 14 = -2*n - 0*n, 2*n + 5*m = 31. Let s be k(n). Suppose -18 = -q - s. Is q composite?
True
Let i = -220 - -365. Is i composite?
True
Let a = -5 - -10. Suppose -28 = -a*b + 387. Is b composite?
False
Suppose -x - 4*x - 109 = 4*z, 79 = -4*z + x. Let g be -2 - (z - (-3 - -2)). Let u = g - -73. Is u composite?
True
Suppose 0 = 4*x, 0*x + 812 = 4*i - 5*x. Is i composite?
True
Let x be ((-24)/9)/(2/(-3)). Suppose x*u + 4 = 12. Suppose 0 = -u*f - 2*f + 28. Is f prime?
True
Suppose 4*o + 331 = 1527. Is o a prime number?
False
Suppose 0 = -5*q + q. Suppose 0 = -4*j + j, 4*a + 3*j - 8 = 0. Suppose 0 = a*k - q*k - 66. Is k prime?
False
Suppose -3*u = -0*u. Suppose 3*a + 3*c + 57 = u, 0 = -0*a + 5*a - 4*c + 122. Let o = a - -71. Is o composite?
True
Let i(p) = 6*p - 7. Suppose 14 = -2*u + 4*u. Is i(u) a prime number?
False
Is (-2)/((-6)/4443) - 0 prime?
True
Suppose -9*d + 173 = -124. Is d a composite number?
True
Let k(d) = -34*d - 19. Is k(-8) prime?
False
Let m(b) = 17*b**2 + 9*b + 9. Let v be m(7). Suppose 3*j + 2*z + 3*z - v = 0, 5*z = 20. Is j prime?
False
Let g be 0 + (0 - (-1 + -1)). Suppose v + v - 5*b = 77, -g*v + 37 = 3*b. Is v a prime number?
False
Suppose 520 = c + 4*c. Is 12360/c + (-4)/(-26) a prime number?
False
Suppose -2*u - u - 99 = 0. Let t = u + 66. Is t prime?
False
Let t be 4/(-3)*(-7605)/5. Is (-3)/5 - t/(-30) composite?
False
Let h = -1779 - -2566. Is h a composite number?
False
Let v = 532 - 227. Is v a prime number?
False
Is 7428/(-4)*2*1/(-6) a composite number?
False
Let z = 7 - 5. Suppose -265 = -z*x + 13. Is x prime?
True
Let s(m) = 3170*m**2. Let q be s(-1). Suppose 0 = 