 -11 - -10. Is y + 6*(-192)/(-9) prime?
True
Suppose -5*k = 4*g + 747, 2*k + 3*g - 41 + 344 = 0. Let m = k + 296. Is m a composite number?
False
Let u = 312 - 109. Is u a prime number?
False
Let w(v) = 47*v - 4. Let g(p) = -p + 1. Let t(l) = 3*g(l) + w(l). Is t(7) a prime number?
True
Let s(j) = -16*j - 1. Let t be s(-2). Suppose 0 = 3*h - t - 23. Suppose 0 = 2*b + h - 84. Is b composite?
True
Let k be (1/(2/14))/(-1). Let l(z) = 4*z**2 - 39*z - 34. Let u(i) = -3*i**2 + 26*i + 23. Let x(f) = 5*l(f) + 7*u(f). Is x(k) composite?
True
Suppose u + 3*u = -8. Let l(o) be the second derivative of -4*o**3/3 - o**2 - 5*o. Is l(u) prime?
False
Is 12/(-28) + 1116/7 a prime number?
False
Let u be -3*(-1 - -2 - 2). Suppose u*h + 4 - 22 = 0. Is (2/h)/((-2)/(-318)) composite?
False
Let y = 4 + -2. Suppose y*i + 0*i = 174. Is i prime?
False
Suppose o + 3*o + 5 = 3*h, 3*h + 3*o - 12 = 0. Suppose 0 = -3*k - h*k + 1284. Is k prime?
False
Suppose 9*s = 4*s + 10. Let h be 2*(-2)/4 - s. Is (-148 - -1)*1/h prime?
False
Suppose -238 = -24*r + 17*r. Is r a composite number?
True
Let b(r) = r**2 - 6*r + 7. Let h be b(5). Is -1 + h + 66 + 0 composite?
False
Suppose 8 = -4*l, -2*v + 3*l = 69 - 823. Suppose v = m + m. Is m a composite number?
True
Suppose 61 = 5*u - 4804. Is u a composite number?
True
Let r be -3*6/(-9) - 2. Suppose r = y - 6 + 2. Suppose 4*p + 27 = 5*p + y*s, 3*p - 67 = 2*s. Is p a prime number?
True
Suppose 0*t = t + 10. Let m be (4/t)/(2/20). Is m/(-18) + (-124)/(-9) a prime number?
False
Let b = -566 + 1363. Is b prime?
True
Let k(p) = -7*p - 3. Suppose -3*c = -3*o - 24, 0 = -2*o + 3*c - 16. Is k(o) a composite number?
False
Let t = -97 - -188. Is t a prime number?
False
Let v = 5 + 23. Suppose -5*r = 2*r + 63. Let n = v + r. Is n composite?
False
Suppose -18 = 3*d - 3*c, -5*d - 23 = -0*c + 2*c. Is (-732)/(-20) + (-2)/d a composite number?
False
Suppose -y + 4 = y, -5*y + 68 = -2*u. Let p = u + 106. Is p a composite number?
True
Suppose 616 = f - 247. Is f a composite number?
False
Suppose -5*t - 116 = -2*h + 23, -h + 83 = -3*t. Let m be (-418)/(-7) - (-2)/7. Let l = m + t. Is l composite?
True
Let t(q) = -q**3 + 32*q**2 + 37*q - 47. Is t(27) prime?
True
Let u(i) = -18*i + 1. Let n = 10 + -3. Suppose -n*j = -3*j + 12. Is u(j) a prime number?
False
Suppose -135 = 2*q + 55. Let j be q*-3*(-2)/(-2). Suppose w = 4*w - j. Is w prime?
False
Is 2/3*378/12 a prime number?
False
Let y = -185 + 372. Is y prime?
False
Suppose 0 = 6*v - 22 + 4. Suppose 0*c + 14 = c + 2*i, -c - 3*i = -12. Let j = c + v. Is j prime?
False
Suppose -21*l + 22*l = 991. Is l a prime number?
True
Let l = -18 + 21. Suppose -238 = -l*h - 79. Is h a composite number?
False
Let k = -12 + 6. Let x(n) = -n**3 + 5*n - 9. Is x(k) composite?
True
Let y(i) = 3*i + 5. Let d be y(4). Suppose -5*l + 3 + 7 = 0. Let p = d + l. Is p a composite number?
False
Let z(d) be the first derivative of 7*d**3/3 - 3*d**2/2 - d - 3. Is z(3) a composite number?
False
Let r = -4 + 9. Suppose -34 = -r*l + 1. Is l a composite number?
False
Suppose -30 = -z + 119. Is z a composite number?
False
Let g = 2 - -1. Let x be (-1)/g*12/4. Is (-23)/x + (2 - 4) composite?
True
Suppose -4*d = -0*d + 716. Let m = 306 + d. Is m a composite number?
False
Let u(r) = -r**3 - 14*r**2 - 6*r + 11. Let j = -3 - 11. Is u(j) prime?
False
Suppose -5*k + u = -710, -k - 2*u = -5*u - 128. Is k a prime number?
False
Let p be ((-16)/(-4) + 61)*5. Suppose -4*o + 271 = -p. Is o prime?
True
Let l(h) = h**2 - 3*h + 3. Let m be l(5). Suppose r = -2*r - 3, c + 3*r = -m. Let o = c + 57. Is o a prime number?
True
Suppose 0 = -5*v + 2*t, -4*v - 26 = -v + 4*t. Let o(b) = -b. Let i be o(2). Is (i/4)/(v/56) a composite number?
True
Suppose 0 = -d - 4*f + 277, 3*d + 2*f + 121 = 992. Is d composite?
False
Suppose 4*z + 5*b = 503, -5*b - 158 = -z - 26. Is z composite?
False
Let l be (0 + 10)*1/(-2). Let j = 2 - l. Is j prime?
True
Suppose 3*o - 4*p = o + 524, 0 = -o + p + 257. Suppose k = 3*h - 2*k - o, -164 = -2*h - 2*k. Is h a prime number?
True
Suppose -2*u + 1230 = 400. Is u a composite number?
True
Let o(k) = k**3 + 23*k**2 + 31*k - 35. Is o(-18) a composite number?
True
Suppose 3*j = -5*n + 70, -5*n - 21 = -4*j + 49. Let z be 24/5*j/2. Is (-12)/4 + z/2 prime?
False
Suppose 2*y = 2*u + 772, y + u - 57 - 335 = 0. Is y a composite number?
False
Let g(v) be the third derivative of -v**6/120 - v**5/20 - v**4/12 + 11*v**3/6 + 4*v**2. Is g(-6) composite?
False
Let i(y) = y - 1. Let u be i(-1). Is (u + 12/5)*235 composite?
True
Suppose -4*g - 191 = -2451. Is g a prime number?
False
Let l = 1668 - -91. Is l a prime number?
True
Is -3 + 0 + 26 - (-3 + 0) a prime number?
False
Suppose -92 = -m + 57. Is m a prime number?
True
Suppose -2*n + 3 = -3*n. Let y(q) = -q**2 + 9*q + 14. Let a be y(10). Let p = a - n. Is p a composite number?
False
Suppose 5*t - 54 = b, -3*t + 46 = -5*b + b. Is 776/t + 3/(-5) composite?
True
Suppose -3*f = -1 + 4. Is ((f + -795)/4)/(-1) a prime number?
True
Let d(s) be the second derivative of s**6/120 + 11*s**5/120 + 7*s**4/24 - s**3/3 + 3*s. Let r(a) be the second derivative of d(a). Is r(-8) prime?
False
Suppose 288 = 3*d + 3*n, -d + 2*n = 7*n - 116. Is d a prime number?
False
Let m(t) = -43*t + 6. Is m(-5) a prime number?
False
Let j(i) = 2*i**2 + 3*i. Let y be j(-2). Suppose 0 = 4*x - y*x - 6. Let n(c) = 26*c + 1. Is n(x) a prime number?
True
Suppose w - 175 = -m, 4*m - 5 = 3*m. Let i = 257 - w. Suppose -2*g = -i - 19. Is g a composite number?
False
Let s be (-2)/4 - 1/2. Is (-93)/12*s*4 composite?
False
Is 1/(1988/662 + -3) composite?
False
Suppose n - m - 116 = 51, -2*m = -5*n + 847. Let v = n - 94. Is v composite?
True
Let r be (-4)/(-10) - (-52)/20. Let k be (1/2*124)/2. Suppose 164 = r*c - k. Is c a prime number?
False
Let f = 421 + -198. Is f a prime number?
True
Let y(d) = -13*d**3 - 13*d**2 - 3*d + 7. Let u(l) = 3*l**3 + 3*l**2 + l - 2. Let o(h) = 9*u(h) + 2*y(h). Is o(5) composite?
True
Let h(d) = 4*d - 1. Let s be h(2). Let b = 146 + s. Suppose -3*y + 0 = -b. Is y prime?
False
Let m = 8 + -4. Let b = 6 - m. Suppose -5*v + 88 = -2*s - 29, -b = 2*s. Is v a composite number?
False
Suppose 1067 + 3713 = 4*x. Is x composite?
True
Let r be (-2)/(-6) - 6/(-9). Let u(a) = 11*a**2 + 31*a**2 - a - 10*a**2 + 0*a. Is u(r) composite?
False
Let p(v) = -v**3 - 8*v**2 + 7*v - 12. Is p(-10) a prime number?
False
Suppose 2*p - 447 = k, -5*p + 0*p = -3*k - 1118. Is p a prime number?
True
Let h(o) be the first derivative of 2 - 1/2*o**2 + 53*o. Is h(0) a composite number?
False
Let a(n) = -220*n - 1. Is a(-1) prime?
False
Is ((-58)/(-6))/(8/552) a composite number?
True
Let l(b) = 6*b + 4. Is l(7) a composite number?
True
Let m be 0 - (-2)/2 - -1. Suppose -a = -35 - 27. Suppose -m*l = -a - 116. Is l a prime number?
True
Let u(q) = -3*q + 2. Let i be u(-7). Let t = 16 - i. Is (-13)/(-2 + (-13)/t) prime?
False
Let x(q) = -2*q - 13. Let y be x(-9). Suppose -y*k + 623 - 168 = 0. Is k composite?
True
Suppose -3 + 10 = -4*o + 3*n, 4*o + 2*n - 18 = 0. Is o*(-58)/(-2) - 3 a composite number?
True
Let i(s) = 6*s**2 - s**3 - 3 + 3 + 2. Let g be i(6). Suppose 2*f + l - 32 = 6*l, -f + 17 = -g*l. Is f a composite number?
True
Let l(g) = 4 - 2*g + 11*g + 3*g + 10. Is l(10) composite?
True
Let x(y) = 6*y**2 - 18*y + 3. Let s be x(14). Is (s/(-12) + 4)*-28 composite?
True
Is (-1104 + 3)*(42/9)/(-7) a composite number?
True
Let j(r) = -r + 5. Let o be j(0). Suppose 5*s + 415 = 2*z + 67, 2*s = -o*z + 870. Let b = z - 83. Is b a composite number?
True
Let p = 510 + 47. Is p composite?
False
Let a(q) = 8*q**3 - q**2 - 4. Is a(3) composite?
True
Let r = 737 - 370. Is r a composite number?
False
Let t(z) = 2*z**3 - 2*z**2 + 2*z + 1. Is t(5) prime?
True
Let y be (-78)/10 + (-2)/10. Let v(b) = b**2 + 8*b + 2. Let q be v(y). Suppose -2*d + 3*i - q*i = -36, -3*d = -3*i - 51. Is d a composite number?
False
Suppose -50554 = -4*k - 10*k. Is k composite?
True
Suppose 5*d - d - 2980 = y, -d + 745 = -y. Let u = -528 + d. Is u prime?
False
Let q be (-10)/((-7)/(28/8)). Suppose q*l - 542 = -207. Is l composite?
False
Let a = 25 - -348. Is a a prime number?
True
Let x = -15 - -19. Suppose 226 = -3*u + 5*u - 4*o, 3*u + x*o - 389 = 0. Is u prime?
False
Suppose -5*p + 385 = -l,