= 4*p, 92 = p + 5*t - c*t. Is p composite?
True
Let m = -5 + 8. Suppose 25 = 8*j - m*j. Suppose -j*h = 3*o - 373, -h + 389 = 4*h - o. Is h composite?
True
Let y be (2355/6)/((-1)/(-6)). Suppose 10*u - 5*u = y. Suppose -3*d + 6*d - u = 0. Is d a composite number?
False
Suppose -2*j = -3*j + 4. Suppose -j*p + 6 = -2. Is -4 + p + 78 + 1 a prime number?
False
Let q be ((-6)/(-1))/((-8)/(-4)). Let n(j) = 4*j**2 + j - 2. Is n(q) composite?
False
Let p(a) be the second derivative of 3*a**4/4 + 2*a**3/3 - a**2/2 - 6*a. Is p(-4) a prime number?
True
Let y(g) = 2*g**2 + 3*g + 2. Let a be y(-2). Suppose -3*j + a*j - 51 = 0. Is j a prime number?
False
Let f(i) be the second derivative of 7*i**3/6 - i**2 + 2*i. Is f(5) a composite number?
True
Let d be (-3 - 1)*(5 + -6). Is 834/d + (-3)/(-6) a composite number?
True
Suppose 0 = -2*z - 2*g - 0 - 6, 0 = -3*z + 2*g + 16. Let j(a) = 2*a**3 + 3*a + 4. Let d be j(4). Suppose f + z*t = -3*f + d, 2*f + 4*t = 66. Is f prime?
True
Let n = -2 - -4. Suppose -5*z - 5*x + 1645 = 0, -2*x = 3*z + n*x - 987. Is z a prime number?
False
Let g = -6546 + 10139. Is g a composite number?
False
Suppose 3*b = -5*w + 436, -4*w + 4*b = -439 + 71. Is w composite?
False
Let a be 10/35 - (-52)/14. Suppose c - 4*o = 2*c + 5, a*o = 2*c - 38. Is c composite?
False
Let q = -1172 - -2989. Is q composite?
True
Let y = -2293 + 3252. Is y a prime number?
False
Let h = 331 - 35. Suppose -y = -2*p + 2*y + h, -6 = 3*y. Is p prime?
False
Suppose -5 = -v - 3, 4*b + 3*v - 1514 = 0. Is b composite?
True
Suppose -2*d + 444 = -a, -54 - 611 = -3*d + 2*a. Is d a composite number?
False
Let m(k) = -k**3 + 9*k**2 + 2*k - 15. Let d be m(9). Let o(q) = 4 - 4*q + 2*q**2 + 0*q**2 + 0*q**2 + 3*q**3. Is o(d) a composite number?
True
Let a = 0 - -4. Suppose 0*m + a*m = 12. Suppose 4*j + u - 133 = 762, -660 = -3*j + m*u. Is j a prime number?
True
Let j(z) = -z**2 - 7*z - 3. Let l be j(-6). Let y(d) = d**3 + 2*d**2 - 2*d - 2. Let b be y(l). Suppose -3*c + 4*c = b. Is c a composite number?
False
Suppose 6 = 3*r - 51. Suppose 5*q - 2*q + n = 65, -q = n - r. Is q composite?
False
Suppose -m + 212 = 3*m. Is m a prime number?
True
Let p = 14 - -109. Is p composite?
True
Let m = 5 - 2. Suppose 233 = 5*g + m*x, 3*g + g = -5*x + 189. Is g prime?
False
Let d = -81 + 82. Let l(s) be the first derivative of 95*s**3/3 + 1. Is l(d) a prime number?
False
Let o be (-15)/(1/(-1 - 0)). Suppose 15 = -0*y + 2*y + 3*i, 0 = -5*i + o. Suppose -w = -4*d + 3 + 20, y = 4*d - 5*w. Is d composite?
False
Suppose 3*z - 5*z = 5*u - 7381, -3*u + 4425 = 3*z. Is u composite?
True
Let v(g) = -3*g**3 - g**2 - 4. Suppose -3*f = 2*m + 17, 4*f + 6 = 2*m + 2. Let k be v(f). Suppose 65 = r + 4*j, -5*j + 2*j = r - k. Is r composite?
True
Suppose -2*f - f + 138 = 0. Is f prime?
False
Let z(j) = 483*j - 2. Is z(1) prime?
False
Let h be 246/9 + (-2)/6. Let x(y) = -7*y - 1. Let p be x(-7). Suppose -5*a + h = -p. Is a prime?
False
Let s be 18/8 + 6/8. Suppose 3*i - 242 - 109 = -3*u, i = -s*u + 343. Is u a prime number?
True
Let j = 31 + -45. Is (-2)/7 + (-2678)/j prime?
True
Let d(i) = -i - 5. Let r be d(-5). Is r - -10*(-23)/(-2) composite?
True
Let x(p) = -p**3 - 6*p**2 - 10*p - 9. Let j be x(-6). Suppose -2*b = -j + 5. Is b a prime number?
True
Let x(l) = 5*l**3 - 6*l**2 + 8*l - 16. Is x(5) prime?
True
Let u = -15 - -8. Is 2/u - 23413/(-91) composite?
False
Suppose -6*v + 11*v + 10 = 0. Is 952 - (0 + -3 - v) composite?
False
Let h(n) = -n**3 + 2*n**2 + 2*n - 1. Let v be h(2). Is (-118)/(-3)*v/2 a composite number?
False
Let m be 30/7 - 4/14. Let h = 0 + m. Suppose -106 = -h*i + 90. Is i prime?
False
Let m(u) = 4*u + 7. Let v be 1/(1*(-1 + 0)). Let s = v + 7. Is m(s) a composite number?
False
Suppose 10628 = u + 3*u. Is u prime?
True
Let m(s) = s + 48. Let j be m(0). Suppose 5*l - 5*c = -2*c + 82, 4*l = -2*c + j. Is l composite?
True
Let h = 842 + -21. Is h a composite number?
False
Let x be 3/(-9) - 10/(-3). Suppose -h - 1369 = -x*c + h, -c - 4*h + 433 = 0. Is c prime?
False
Let a = 1 + 1. Suppose -s - 11 = -a*s. Is (-1)/(-2)*10*s composite?
True
Let c be ((-3)/3)/(1/4). Let p(t) = 21*t + 3. Let y(a) = 22*a + 3. Let z(l) = -4*p(l) + 3*y(l). Is z(c) prime?
False
Let r(q) = 153*q**2 - 10*q - 11. Is r(6) a prime number?
True
Suppose 3*t - 1247 = 5*w, 0 = 2*t - w - 2*w - 832. Is t composite?
False
Suppose 0 = -3*c + 3654 + 429. Is c composite?
False
Let n be (-4)/(-14) + 78/21. Suppose 0 = 2*q + n*i - 60, 0 = 2*q - 3*i - 17 - 71. Is q prime?
False
Let u(x) = -59*x - 27. Is u(-10) a composite number?
False
Let o(i) = 6*i**2 + 3*i + 5. Let v be o(-4). Let y = 81 - 25. Let u = v - y. Is u a prime number?
False
Let z(x) = -5*x**3 + 2*x**2 + 2. Let n be z(-2). Let s = 116 - n. Suppose -g + s = g. Is g prime?
False
Let o(v) = v**3 - 8*v**2 - 9*v - 9. Let z be o(9). Let l = 13 + z. Is (l/3)/(4/12) prime?
False
Let t(o) = 5*o + 1. Let l be t(-1). Let v(c) = c. Let s be v(l). Is ((-2)/s)/(-1)*-14 prime?
True
Let y(d) = 242*d + 3. Is y(2) a composite number?
False
Let c = 1191 - -128. Is c a composite number?
False
Let f be 37/(-4) - 3/(-12). Let u(o) = o**3 + 8*o**2 - 9*o + 5. Let r be u(f). Suppose 3*n - 391 = -r*j + 6*n, j + 4*n = 69. Is j a composite number?
True
Let i = 7 + -9. Let k be (i/(-3))/((-4)/(-18)). Suppose k*g = g + 466. Is g composite?
False
Suppose -2*y - 1110 = -5*l + 3*y, -2*y - 890 = -4*l. Is l prime?
True
Let g(h) = h**2 - 3*h. Let i be g(3). Suppose 3*k + 2*k - 2095 = i. Is k prime?
True
Suppose 4*l - 4 = -8. Let w be (-1 + 3)*1/l. Is w + (0 - -1) - -16 prime?
False
Let d(f) = 10*f**2 - 22*f + 17. Is d(-11) a composite number?
True
Suppose -3*r + 9 = 3. Let v be 8 - r*6/4. Suppose -2*m = -f + 85, -2*f = -v*f - 2*m + 287. Is f prime?
False
Let u be 1 - 7/(7/(-150)). Suppose -3*t = -4*g + u, 0 = 2*g + g + t - 110. Is g prime?
True
Suppose -2*y - d + 2627 = 0, 2*y + 4*d = -d + 2615. Is y a composite number?
True
Suppose 5*x + 12 + 13 = 5*u, 0 = 5*x - 5. Is (-1393)/(-21) - (-4)/u prime?
True
Let k(l) = 23*l**2 + 13*l + 5. Is k(-6) composite?
True
Let z(u) = u**2 - u + 1. Let b be z(2). Let p(a) = 4*a**3 - 4*a + 2*a**2 - 3*a**3 + b*a. Is p(1) prime?
True
Suppose 0*r + 20 = 5*r. Let n be (0/2)/(r/2). Let m(t) = t + 31. Is m(n) prime?
True
Let w be (1 - 3) + 3 - -115. Let m = -81 + w. Is m a prime number?
False
Suppose 0 = -3*o + 314 + 943. Is o a prime number?
True
Let n(a) = -23*a + 9. Let g(m) = 70*m - 26. Let f(p) = 3*g(p) + 8*n(p). Let w(l) = 25*l - 5. Let s(v) = -6*f(v) + 7*w(v). Is s(2) composite?
True
Suppose 3*o + 5*g = 496, 5*o = -3*g + g + 833. Suppose -5*h + o = -178. Is h a composite number?
True
Suppose -1021 = -4*f + 399. Is f a composite number?
True
Let n(w) = -22*w**3 + 13*w**2 + 6*w. Is n(-7) a composite number?
True
Let y = 894 + -499. Suppose -2*b = -7*b + y. Is b prime?
True
Is ((-6)/(-9))/(2/951) composite?
False
Is ((-77)/14)/((-1)/22) composite?
True
Let k(h) = -h**3 - 4*h**2 + 12*h + 6. Is k(-8) a prime number?
False
Suppose -5*o + 1240 = -585. Is o composite?
True
Suppose 0 = 2*u + 4*k - 30, 0*u + 3*u - 35 = -4*k. Suppose 2*y + 3*y - 635 = 5*h, 3*h - 635 = -u*y. Is y composite?
False
Let o = 10 + 13. Suppose x + 5*z + o = -6, 3*z + 35 = -5*x. Let m(j) = j**2 - 6*j - 5. Is m(x) prime?
False
Let x(d) = -5*d - 3. Let i be x(-2). Let z = 1 + i. Suppose 0 = -3*w - z + 50. Is w a prime number?
False
Let l(i) = -7*i - 18. Let t(d) = -3*d - 9. Let v(b) = -3*l(b) + 5*t(b). Let c be 7 - (-1 + 1 - 0). Is v(c) a prime number?
False
Let r be 46/10 + 3/(-5). Is 11/(-22) + 646/r prime?
False
Is 216 + ((-2)/1 - -3) prime?
False
Let c(x) = -x - 1. Let y be c(-2). Let g be -4 - -5 - (y - 64). Let u = g - -15. Is u a prime number?
True
Let g(p) be the third derivative of 26*p**4/3 + p**3/6 + 2*p**2. Is g(1) composite?
True
Suppose 0 = 8*v - 4*v + 24. Let s(m) = -11*m + 3. Is s(v) prime?
False
Suppose 6*x = 2*x - 4*b - 80, -x - 2*b = 15. Let c = 48 + x. Suppose -h - c + 92 = 0. Is h composite?
True
Suppose t - 5*t + 162 = -2*o, -3*t + 3*o + 126 = 0. Suppose 0*n = n - t. Is 2/(80/n + -2) prime?
False
Suppose y + 2*y = 1545. Let q = -356 + y. Suppose 4*j - j - q = 0. Is j a prime number?
True
Let z be ((-4182)/(-9))/(4/6). Suppose 5*d - 898 = z. Is d prime?
False
Is 45/60 - (-705)/4 a prime numb