2*n + 5452 = 4*t. Is t a prime number?
True
Let z(g) = -g**2 - 6*g + 5. Let u be z(-7). Let i = -23 - -31. Is 4/i + (-43)/u a prime number?
False
Suppose 2*g + v = -24, 3*g - v + 40 = 4. Let p(f) = f**3 - 7*f**2 + 14*f - 46. Let d be p(6). Is g/(-8)*170 - d a prime number?
False
Let j be 12*3/30*-20. Let k be 1520/25 + (-1)/(-5). Let z = j + k. Is z prime?
True
Let p(t) = 1225*t**2 - 52*t + 53. Is p(1) prime?
False
Suppose 2*k = -5*q + 2816, 3*k = -4*q + 2*k + 2251. Is q a prime number?
False
Let m be 6/(-33) + (39730/11)/(-1). Is 1 - (-6)/(-10) - m/20 composite?
False
Let j = -30536 - -66507. Is j a prime number?
False
Let i(c) = 24*c**3 - 4*c**2 + 3*c - 7. Let s be -2 + 5 + 0 + 3. Is i(s) prime?
True
Suppose -2271 = -19*r + 16*r. Suppose r = 2*l - 437. Is l prime?
False
Suppose 4*g = -3*k - 4554, 5*k + 0*k = 4*g + 4538. Let x = g + 763. Let w = -256 - x. Is w a prime number?
False
Suppose -4*p + 15 = -1. Suppose a = -1 + p. Is (1 + 162)/(a + -2) composite?
False
Suppose 0 = 2*v + 4*l - 17337 - 32057, -4*v - 5*l + 98779 = 0. Is v a prime number?
True
Let t be 8/((-105)/(-33) - (-2 + 5)). Is (t/(-22))/(4/(-1738)) a composite number?
True
Suppose 0 = -16*w + 14*w - 4*n + 596, -5*n = -w + 298. Is w a prime number?
False
Let o(m) = m**2 + 5*m - 6. Let g be o(9). Suppose -l + 3*l = -6, -4*j = 3*l + 341. Let k = j + g. Is k composite?
False
Suppose 0 = -10*r + 7*r - 18. Let f(h) = -18*h + 5. Is f(r) a prime number?
True
Suppose 3 = 3*w, w - 2*w = -3*d - 34. Let g(t) = t - 11. Let u be g(d). Let z = u - -60. Is z a prime number?
False
Let x be 15*((-12)/(-24) - (-1)/2). Suppose 11*n = x*n - 4012. Is n a composite number?
True
Let x(u) be the first derivative of 39*u**2 - 13*u - 1. Is x(10) a composite number?
True
Let n be 0 - -27 - (0 + -1). Suppose n*u - 30*u = -1006. Is u a composite number?
False
Let t(u) = 6*u**2 - 10*u + 15. Is t(8) a prime number?
False
Suppose 14*k + 20 = 19*k. Suppose -4818 + 1990 = -k*j. Is j a composite number?
True
Suppose 5*g + 5*b = 9520, g - 1596 = -2*b + 305. Is g prime?
True
Suppose -g + 2*r + 56 = -6*g, 5*g + 50 = -5*r. Let w be g/8*(-10)/3. Suppose -844 = c - w*c. Is c a prime number?
True
Let c = -17789 - -27730. Is c a prime number?
True
Let h be (-4433)/6 + (-6)/36. Let c = 1737 + h. Is c composite?
True
Suppose -694 = -2*s + 156. Let d = 956 + s. Is d composite?
False
Suppose 12*b - 3370 = 662. Let z = 917 + b. Is z a prime number?
False
Let m(y) = 5*y**2 - 30*y + 31. Suppose 5*o - 4*o - 14 = 0. Is m(o) a prime number?
False
Suppose -2*d = -5*w + 2*w + 43, d - 5*w + 25 = 0. Let y = -15 - d. Is 1490/y*1/2 composite?
False
Let d = 40 - 72. Suppose -7*g + 3*g - 237 = -3*k, 0 = 5*k - 5*g - 395. Let r = k + d. Is r composite?
False
Let c = 4 - 0. Let g be (-2)/(7/(4914/c)). Let q = -188 - g. Is q prime?
True
Suppose 0 = -5*p - 4*h + 59, 3 + 39 = 4*p - 2*h. Let x(y) = 4*y**2 + 5*y + 24. Is x(p) a prime number?
True
Let w = -832 - -1781. Is w a composite number?
True
Let y(p) = p**3 + p**2 + 941. Let b(m) = -m**3 - 7*m**2 - 9*m + 5. Let s be b(-5). Is y(s) a composite number?
False
Suppose v + 0*v = 0. Suppose -2*z - 10 = v, -4*a + 4*z = -2*a - 1978. Is a a prime number?
False
Suppose 0 = -2*b + 6. Suppose b*p = -0*p + 57. Is p a composite number?
False
Suppose -6*z + 3*z - 4*d + 3965 = 0, z = -5*d + 1329. Is z a prime number?
True
Suppose -1172 = 7*y - 3*y. Let t = -56 - y. Is t composite?
True
Suppose -3*t + 3*w = -4431, 5*t - 3682 - 3731 = -2*w. Suppose -1973 = -8*m + 4*m + 3*y, 2*y = 3*m - t. Is m a prime number?
False
Let k(z) = 82*z**2 + 11*z + 11. Let u be k(-8). Let f = u - 2838. Is f a composite number?
False
Let p(l) = -l**3 - 2*l**2 + 33*l + 55. Is p(-17) a prime number?
False
Suppose -3*i = 5*x - 85, -3*i - 3*x + 0*x = -75. Let h = -20 + i. Suppose -2*c + 1201 + 177 = h. Is c a composite number?
True
Let u = -9336 - -42701. Is u a composite number?
True
Let v(d) = 798*d - 44. Let l be v(7). Suppose 11*g - l - 4017 = 0. Is g prime?
False
Let b be 327/(4 + (-15)/6). Suppose 4*i + 352 = 2*g - b, 4*i = -3*g + 905. Is g composite?
True
Let y = -589 - -5542. Suppose -3*f - z - 1599 = -y, -4*f - z = -4471. Is f prime?
True
Let k = -27775 + 47052. Is k a composite number?
True
Let z(j) = 153*j - 298. Is z(27) prime?
True
Let i be (-16)/9 + 14/(-63). Let f be 8/12*(-21)/i. Suppose -f*o + 3*o = -1636. Is o a composite number?
False
Suppose 0 = n - 2*q - 414, -2596 + 916 = -4*n + 2*q. Suppose 10*m + 45 = -35. Is -4*(3 + n/m) composite?
False
Let x(i) = -844*i**2 + 12*i + 6. Let k(r) = -844*r**2 + 13*r + 7. Let j(z) = 5*k(z) - 6*x(z). Is j(-2) composite?
False
Let i be 8 + (-2)/4*6 - 1. Let f(r) = 6*r**3 - 5*r**2 + 2*r - 5. Is f(i) prime?
True
Let t be 4/3 - 6*(-1)/9. Let a = -33 - -184. Suppose t*d = a + 375. Is d prime?
True
Suppose p - 5*t = -446 + 4164, -5*t + 10 = 0. Suppose 10*d - 62 = p. Is d a composite number?
False
Let u(j) = 93*j**3 + 8*j**2 - 2*j - 6. Is u(9) composite?
True
Suppose -36314 = -7*r + 24943. Is r prime?
False
Suppose -5*x = -20, -2*q + 4*x - 298945 = -5*q. Is q composite?
False
Suppose v = -24 + 26. Suppose 5*z + 2*u = 3987, 6*u - 4 = v*u. Is z a composite number?
False
Let q be (-463)/(-4) - 3/(1*-12). Is (204/48)/(1/q) a prime number?
False
Suppose c + c = -2014. Let k = c + 2934. Is k a composite number?
True
Is (-4)/30 - 3800078/(-510) prime?
True
Let p(f) = -41*f + 5. Let d(l) = -l**2 + 2*l + 2. Let i be d(-2). Is p(i) a composite number?
False
Suppose 2*t - 3 = t - 3*i, 5*i = 5. Let a be 178 + t/(-2)*1. Let x = -111 + a. Is x prime?
True
Let j(o) = -926*o**3 - 12*o**2 + 6*o + 6. Let f(q) = -309*q**3 - 4*q**2 + 2*q + 2. Let h(d) = -7*f(d) + 2*j(d). Is h(2) a composite number?
True
Let d = -534 - -1234. Suppose -3*o - 142 = -d. Let p = o + 27. Is p a composite number?
True
Let c(b) = -11*b**3 + 8*b**2 + 7*b + 10. Is c(-3) a prime number?
False
Let o(w) = w**2 + 8*w + 3. Let j be o(-5). Let r = j - -14. Suppose r*g = l - 0*l + 228, -3*g - 3*l = -333. Is g composite?
False
Let t(j) = -4*j. Let d(v) = 5*v - 1. Let u(l) = -5*d(l) - 4*t(l). Let y = -32 + 26. Is u(y) a composite number?
False
Let x be 3/(-4) + 354/24. Let t(o) = -29 + 7 - 96*o + x*o + 13. Is t(-7) a prime number?
False
Suppose 6*s - 15 = 3*p + 3*s, 10 = -2*p + s. Let m(q) be the first derivative of 2*q**3 + q**2 - 6*q + 3. Is m(p) a prime number?
False
Let u = 3766 + -572. Is u prime?
False
Suppose 5*t = 32 - 12. Let a be t/(-10) - (-44)/10. Suppose y - 255 = -f, 0 = 4*y - a + 12. Is f prime?
True
Suppose 0 = 4*k - 3*c - 4296 + 1472, k = c + 705. Is k a composite number?
False
Let q(t) be the third derivative of t**6/120 + t**5/15 + t**4/6 - 5*t**3/3 + 5*t**2. Is q(7) prime?
True
Let a(y) = 15*y - 1. Let q be a(1). Let s = -14 + q. Let w(j) = -3*j + 95. Is w(s) composite?
True
Let l = -19 - -26. Suppose -2*y = -l*y - 10. Is (-102)/y - 10/(-5) a composite number?
False
Is (22/(-66))/((-1)/94407) composite?
False
Let p be (-4)/14 - 2/(-7). Suppose p = j, 0 = -3*t + t + 5*j + 502. Is t a prime number?
True
Let o(c) = 4*c**2 + 8*c - 15. Suppose -3*s - 55 = 2*s. Is o(s) a composite number?
True
Let s = -18 - -22. Let z be (16/(-10))/(s/(-20)). Suppose -6*x - 98 = -z*x. Is x a prime number?
False
Let i = -24 - -116. Suppose 3*j = 4*l - 16, 4 = -3*j + l - 0*l. Suppose 4*o + i - 360 = j. Is o a composite number?
False
Let y be (-12)/28 - (-9)/21. Suppose -z + 2 = -y*z. Suppose 3*a - z*a - 14 = 0. Is a prime?
False
Suppose -i = -2*i. Let f(h) = -h**2 + h + 1. Let g be f(i). Suppose z = -g, 5*q + z - 929 = 5*z. Is q a prime number?
False
Suppose 2*t - 171 = -73. Let v(l) = l**3 + 4*l**2 - 3*l - 6. Let i be v(-5). Let x = t + i. Is x prime?
False
Let g(a) = a**3 + 7*a**2 + 8*a - 3. Let o be g(-6). Let c = 15 + o. Suppose c = -3*j + 99 + 894. Is j a composite number?
False
Let u(l) = l**2 - 6*l - 3. Let v be u(7). Let x(n) = 117*n + 6. Let i be x(v). Suppose -g = -5*g - 2*w + i, 0 = -5*w - 5. Is g a composite number?
True
Let z(i) = -7*i**2 + 5*i - 7. Let c(d) = -15*d**2 + 11*d - 15. Let n(g) = 6*c(g) - 13*z(g). Let b = 5 + -8. Is n(b) a composite number?
False
Let c be -5*-2*(-2)/(-4). Suppose c*x + 2380 - 6685 = 0. Let b = -308 + x. Is b composite?
True
Let q(k) be the first derivative of 19/4*k**4 + 2*k**2 + k - 6 - k**3. Is q(3) 