True
Let q(z) = -3*z**3. Let n be q(-1). Is (160 - -1)*(n - 2) composite?
True
Let h = 380 + -253. Is h a prime number?
True
Let b(k) = -k**2 + k + 57. Suppose -4 - 6 = -5*v. Suppose v*d - 2*l - 6 = -d, 9 = 4*d - 3*l. Is b(d) a prime number?
False
Suppose -v + 5 + 22 = 0. Let j be -5*12/(-10)*2. Suppose 3*p - v = j. Is p a composite number?
False
Let i(a) = 7 + 4*a - a**3 + 6*a**2 - 3*a**3 + 3*a**3. Is i(6) a composite number?
False
Let c(d) = 510*d - 1. Is c(1) composite?
False
Let s = 127 + -50. Is s prime?
False
Let n = 693 + -248. Suppose 3*m = 8*m - n. Is m prime?
True
Is (-4)/(-2)*(-7)/(-2) a prime number?
True
Let j(o) = 6*o**3 + 2*o**2 - 2*o - 1. Let l be j(3). Suppose l + 22 = 3*z. Is z a prime number?
False
Suppose -d = -391 - 304. Suppose -2*v - 3*v + d = 0. Is v prime?
True
Let a(z) = 2*z - 7. Let s(i) = i**2 + i - 1. Let k be s(-3). Let l be a(k). Let w = 0 + l. Is w prime?
True
Let j be (-6)/15 + 51/15. Suppose -4*t - 7 = j*k, t + 3*k = -t - 11. Is t + (-4)/(-3)*3 a prime number?
False
Suppose -90 = -5*n + 85. Is n a composite number?
True
Suppose r = 4*t - 16, -2*r - 8 = -3*t + 4. Suppose 0 = -4*m + 3*m + 385. Suppose t*b - m = -b. Is b a composite number?
True
Suppose -5*k = -184 - 36. Suppose 3*p + 4*o - 271 = 0, -2*o + 43 + k = p. Is p composite?
False
Let n(o) = -228*o - 1. Let j(q) = 455*q + 2. Let i(k) = 6*j(k) + 13*n(k). Is i(-2) composite?
False
Is 8 - 11 - (0 - 310) a prime number?
True
Let s = 10 - 16. Let d = s + 27. Suppose -5*b = 10, -4*b + d = 2*k + 1. Is k a prime number?
False
Suppose -5*v - 1916 = -9*v. Is v a prime number?
True
Let y(q) = -q**3 + 9*q**2 - 10*q + 1. Let j be y(8). Let f = j + 27. Is ((-4)/f)/(1/(-237)) a composite number?
False
Let z be (-10)/15*3/(-1). Is 1/1*z + 109 a prime number?
False
Let k be ((-2)/5)/((-1)/(-15)). Let v = 16 + -6. Let b = v + k. Is b prime?
False
Let u = 0 - -2. Let d(g) = 13*g - g**2 + u + 4 - 5*g. Is d(5) prime?
False
Suppose 3*i - 16 = -4*z, 3*i - 3*z = -4*z + 13. Suppose -q = i*q - 25. Suppose -q*s = -4*c + c - 55, -4*c = -20. Is s a composite number?
True
Let g(y) = -56*y - 3. Let c(f) = 1. Let u(z) = -2*c(z) - g(z). Is u(1) a prime number?
False
Let l(z) = z**3 - 7*z**2 - 7*z - 9. Let u be l(8). Let x(t) = t**2 + 2*t + 1. Let f be x(u). Is 254*1/(f + 2) composite?
False
Let o be -16*4/(8/(-47)). Suppose r - o = -3*r. Is r a composite number?
True
Let k(t) = -182*t**3 + 2*t**2 - 1. Let h be k(2). Is (3/(-9))/(3/h) prime?
False
Is (-1)/(-2) + 1/((-2)/(-465)) a prime number?
True
Let u(d) = d**2 + 3*d + 5. Let p be u(-4). Let s = 24 - p. Is s composite?
True
Suppose -5*z - 240 = 2*i - 4341, -2*z - 4*i + 1634 = 0. Is z a prime number?
True
Let j be -3 - (-1)/2*0. Is -1*(63/j + -2) prime?
True
Let o be (-8 - -8) + (-1 - -1). Is 279/(3 + o) - -4 prime?
True
Suppose 5*d + 9 = 2*d. Let a be -1*d/6*0. Suppose a = -5*y + 2*z + 237, -3*z + 2 = 5. Is y a composite number?
False
Suppose -10*p = -5*p - 1115. Is p a composite number?
False
Let p(h) = -h**3 + 7*h**2 + 10*h - 10. Let w be p(8). Suppose 0 = -k + w*k - 485. Is k a prime number?
True
Suppose -4*r + 4*b + 8 = 0, 5*r - 8 = b + 14. Suppose -660 = -5*i - 0*o - 5*o, 0 = -r*i + 2*o + 625. Is i prime?
True
Let g = -3 + 5. Suppose -u = -2*v - 241, -g*v + 2*u = -2*u + 226. Let f = -72 - v. Is f prime?
False
Suppose -5*v + 9 = -8*v, 2*r = 5*v + 261. Suppose 0 = -3*i + 318 - r. Is i a composite number?
True
Let q(g) be the second derivative of -g**4/24 + 7*g**3/2 + g**2 - g. Let b(h) be the first derivative of q(h). Is b(0) a composite number?
True
Suppose 6095 = 4*s - 1329. Suppose -4*y - 3*m = -s, -2*y + 2*m + 34 = -908. Is y a prime number?
True
Suppose 0 = -y - 0*y + 4. Let n be (104/12)/(y/78). Suppose 2*j = 3*h - n, 5*h - j - 279 = 3*j. Is h prime?
True
Let z(n) = 3*n**3 + 2*n**3 - 4*n**3 + 13*n**2 + 8*n + 3*n + 6. Is z(-11) a prime number?
True
Let z be 1*(-2 - -1) + 80. Let g be 3 + -3 + (0 - 0). Suppose g = -3*p + 2*p + z. Is p a prime number?
True
Suppose -3*l + 112 + 257 = 0. Is l a prime number?
False
Let v be 0 + 10*3*1. Suppose -4*p - 30 = 4*j - 2*j, -3*p = 3*j + v. Is 59 + p + 3 + 2 prime?
True
Let h(k) = -147*k - 9. Let y(a) = 49*a + 3. Let z(b) = 6*h(b) + 17*y(b). Let q(c) = -c**2 - 6*c + 5. Let i be q(-7). Is z(i) a prime number?
False
Suppose 0 = 3*f - 203 - 91. Let r be -19*(4 + (-6)/2). Let o = r + f. Is o prime?
True
Suppose 5*i - 39 = -3*o + 10, -2*i + 5*o = -1. Suppose 4*m - 7 - 97 = 0. Let n = i + m. Is n composite?
True
Let a(u) be the second derivative of 13*u**3/3 - 3*u**2/2 - 14*u. Let m be 38/8 - (-1)/4. Is a(m) a prime number?
True
Let b = 51 - -530. Is b prime?
False
Let r = 89 + 26. Is r prime?
False
Suppose 10*a - 11*a + 341 = 0. Is a a composite number?
True
Suppose h - 78 = 100. Suppose -5*l = 768 - h. Let g = -83 - l. Is g a prime number?
False
Let q(s) = -27*s - 5. Let r be 1 - (7 - -2)/1. Is q(r) a prime number?
True
Suppose 5*y = 5*z - 1075, 3*z + 5*y - 597 = 16. Is z composite?
False
Suppose 0 = -17*g + 2062 + 947. Is g prime?
False
Let q(b) = b**2 + 5*b. Let n be q(-6). Let l = n + 0. Is l/2 - 108/(-2) prime?
False
Let h(v) = 2*v - 12. Let b be h(8). Suppose -o + 3 = -b. Suppose -2*w + o*w - 170 = 0. Is w a composite number?
True
Suppose -4*x + 7*x = 0. Suppose x*h = 2*h. Suppose 3*r = -l + 41, -3*l = -h*r - r - 163. Is l a composite number?
False
Suppose -34 = -6*q + 2*q + 5*u, -2*q - 4*u + 4 = 0. Suppose q*m - 79 = 5*m. Is m composite?
False
Suppose -2*z - 139 = -4*z + r, 5*r = -25. Suppose 2*s - 3*s + z = 0. Is s prime?
True
Suppose -620 - 685 = -5*d. Let q = d - 172. Is q composite?
False
Let x(f) = 2*f**3 + 3*f**2 - 4*f + 11. Is x(6) composite?
True
Let z(f) = -f**3 - f**2 + f - 3. Let o be z(-4). Let d = o + -18. Is d prime?
True
Let g(h) be the first derivative of -23*h**2 - 3*h + 3. Let l be g(-5). Suppose -118 - l = -5*j. Is j a prime number?
False
Let f(h) = 35*h - 24. Is f(14) a composite number?
True
Let a(i) = -4 + 3 + 0 + 10*i**2 + 2*i - 3 - i**3. Is a(7) a composite number?
False
Let b(c) = c - 5. Let p be b(3). Is 33 - 1*p/2 prime?
False
Suppose 2*c + 14 = -3*h + 769, -1514 = -4*c - 2*h. Is c a composite number?
False
Let i(c) = -c**3 + 10*c**2 + 4. Let g be i(10). Suppose 0*f + 10 = 3*w + g*f, -4*w + f = -26. Let d(y) = -y**2 + 7*y + 4. Is d(w) a composite number?
True
Let s(o) = -53*o - 1. Is s(-4) composite?
False
Suppose g = 419 + 254. Is g composite?
False
Let g be (-1)/(-2) - 1/(-2). Is g*(45 + 2) - 1 a composite number?
True
Let b(s) = 9*s**2 - 5*s + 5. Is b(5) prime?
False
Let y be -1 + 0 + (-10)/(-2). Let k = 22 - y. Suppose -r + 19 = -k. Is r composite?
False
Let o be 1 + (-6)/(-1 + -2). Suppose 3*t + o + 3 = 0. Let i(v) = 14*v**2 + v + 1. Is i(t) composite?
True
Is ((-1012)/6)/((-4)/6) a composite number?
True
Let c(i) = i**3 + 40 + 49 + 8 + 0*i**3. Is c(0) a prime number?
True
Suppose -12*u - 354 = -18*u. Is u composite?
False
Let z(x) = -x - 1. Let n be z(-6). Suppose 0 = -2*v - w + 39, 3*v - n*w - 13 - 13 = 0. Suppose -f = 4 - v. Is f a prime number?
True
Suppose -3425 = -6*q + q. Is q composite?
True
Let m = 15 - 15. Suppose -i - 5 = -0*i, 5*b - 3*i - 360 = m. Is b a composite number?
True
Let p be -1 - (620 - -1)/3. Let c be p/(-56) + 4/14. Suppose -140 = -c*l - 0*l. Is l composite?
True
Let p(a) = -a**3 - a**2 + 26*a + 16. Is p(-17) a composite number?
True
Let r be (-84)/((-4)/54*3). Let w = r - 155. Is w prime?
True
Let g(t) = -t + 9. Let o be g(0). Is 4076/36 - 2/o composite?
False
Let i(s) = 0 - 3*s + 10*s**2 - 7*s**2 - 3 + 11*s**2. Is i(4) a prime number?
False
Suppose -5*d + 9 = 2*x, x + 2*x = -3*d + 9. Suppose -x*i = 10, 4*c - 5*i + i = 20. Suppose c*o - 267 = -3*o. Is o prime?
True
Suppose 0 = 4*s - 0*s - 18284. Is s composite?
True
Let n(z) = z**3 + 1. Let r be n(-1). Suppose 4*j + 0*x + 2*x - 334 = r, -j + 82 = x. Is j composite?
True
Is (-426)/(-4)*(-3)/((-18)/44) a composite number?
True
Suppose -5*h = -0*h - 2*u, 0 = 3*h + u - 11. Suppose 5*k + 0 = -h*o + 49, 3*o + 3*k = 51. Let x = 63 - o. Is x composite?
True
Let h be (-32)/12*3/(-4). Let b(g) = g**3 - 2*g**2 - g + 2. Let v be b(2). Suppose v = 4*l - 5*d - 164, 5*d = -7*l + h*l + 250. Is l prime?
False
Suppose 430 = 2*h - 540. Is h composite?
True
Suppose -h - 5*h + 3390 = 0. Is h prime