ose -1 - 11 = -3*r. Suppose r*h = 3*h - 3. Is -1*(1 + h - 57) a prime number?
True
Let h = 5 + -4. Let t = -2 + h. Is (t - -4)*(-28)/(-6) prime?
False
Suppose 5 = 4*o - 51. Let u(a) = o*a**2 - 4*a**2 - 3*a + 0*a + a**3 - 5. Is u(-10) prime?
False
Let p(u) = 72*u + 9. Let b be p(-5). Let i = -240 - b. Is i a composite number?
True
Let v be 2/(12/(-8) + 1). Is v*1/(-4)*21 a composite number?
True
Let b(d) = 15*d**2 - 2*d + 13. Is b(6) a prime number?
True
Let k(f) = 16*f + 1. Let t(h) = 2*h + 7. Let p(i) = -i + 1. Let x(l) = -6*p(l) + t(l). Let b(g) = 2*k(g) - 5*x(g). Is b(-5) a prime number?
True
Suppose -h + 5 = 2*w, 0 = 4*h + h - 3*w + 14. Let f = h - -6. Let z(v) = 2*v**2 - 7*v + 6. Is z(f) a prime number?
False
Is (-16)/72 - 9551/(-9) prime?
True
Let b = 153 - 73. Suppose -2*x + r + 4*r + b = 0, -2*x + 80 = 5*r. Suppose n = -5*y + x, -4*y + 2*y = -10. Is n a composite number?
True
Let y = 5 + -5. Suppose 5*j = 4*x - y*x - 180, -2*x = -5*j - 100. Let i = 51 + x. Is i composite?
True
Let a = -10 + 11. Suppose -2*l + 5 = -a. Suppose -7*n = -l*n - 412. Is n a prime number?
True
Let z(b) = b**3 - 2*b**2 + 4*b + 2. Suppose 2*o = 3 + 7. Is z(o) a prime number?
True
Let o be 38/8 - 1/(-4). Suppose 0 = 5*x - r - 250, -o*x + 275 = 6*r - 2*r. Is x composite?
True
Let t = -4 - -5. Is 61 - (4 + (-1)/t) composite?
True
Let q be -1 - -1*(8 - 2). Is q/(-15) - (-166)/3 composite?
True
Let v = -10 + 1. Is (-1)/((v/867)/3) prime?
False
Let h = -30 - -151. Is h composite?
True
Is 326 - (0 + (-25)/5) prime?
True
Suppose 2*i - 20 = -2*i, 3*n = 3*i - 15. Suppose 4*h + 11 = -9, -2*r - 4*h + 192 = n. Is r a composite number?
True
Let j(v) = v**2 - 3*v. Let q be j(4). Is (52/(-5))/(q/(-10)) a composite number?
True
Let v(i) = -i**2 - 2*i + 3 + i**2 + 0 + i**3. Is v(5) a prime number?
False
Let h(u) = 269*u + 12. Is h(5) prime?
False
Let b(s) = s**3 - 5*s**2 - 4*s + 1. Is b(11) a composite number?
False
Suppose 2 - 3 = w. Is 2 - (57/w + 2) a prime number?
False
Let d(z) = -z**3 + 9*z**2 - 2*z - 3. Let c be d(9). Is 2/(-7) - 1371/c prime?
False
Suppose h - 1 = 1. Is h/(-1)*(-894)/12 a composite number?
False
Suppose -3*k + 4983 = -4*g, 0 = k + 2*g - 0*g - 1651. Is k prime?
True
Suppose 0 = 5*c - 5*f, 3*c + 4*f = 6*c + 3. Is c*(12 - -1 - 2) composite?
True
Is 1640 + (-1)/((16/12)/4) composite?
False
Let c = 73 + 1. Suppose -4*a + 2*a + c = 0. Is a a composite number?
False
Let d = -342 - -506. Let y(f) = 34*f. Let m be y(2). Suppose m + d = 4*r. Is r composite?
True
Let g = 45 + 253. Is g composite?
True
Is (-17258)/(-18) - 6/(-27) a composite number?
True
Let o(l) = 8*l - 2. Is o(11) composite?
True
Suppose 2*l + 3 = -l, 3*v - 3*l + 27 = 0. Is 160 - (-2 + v/(-2)) composite?
False
Suppose 17 = -5*m + 2. Is 642/(-12)*m*2 a prime number?
False
Suppose 4*m - 3*f - 1334 - 1016 = 0, 4*m - 2342 = -f. Is m composite?
True
Suppose -s - 742 = -5*s + 5*m, -2*s + 358 = 4*m. Let p = s + 4. Is p a composite number?
True
Suppose 0 = -b + 4*y + 262 - 17, 5*y = -5*b + 1250. Is b composite?
True
Let c(d) = -d + 11. Let b be c(6). Suppose b*f - 550 = 45. Is f composite?
True
Let u(t) = -20*t. Let f(y) = 61*y + 1. Let w(b) = 4*f(b) + 11*u(b). Let c be w(-6). Is 3/(-2)*c/6 composite?
True
Suppose 784 = z - 303. Is z a prime number?
True
Let m(c) = -14*c + 16. Is m(-17) a prime number?
False
Let m(n) = -5*n**2 - 6*n - 21. Let u(z) = 3*z**2 + 3*z + 11. Let c(f) = 4*m(f) + 7*u(f). Is c(7) composite?
True
Let g = 2 - 4. Let f = 2 + g. Suppose f*y + 3*y - 39 = 0. Is y prime?
True
Suppose -43 = -5*i + 2. Let v(c) = 10*c - 35. Let f be v(9). Let p = f - i. Is p a composite number?
True
Let r = 1694 + -993. Is r prime?
True
Let a(n) = n**2 + 9*n - 4. Let w be a(-10). Suppose z = w*z - 175. Suppose -t = -0*t - z. Is t composite?
True
Suppose 2*m + 4*d - 76 = 62, m - 63 = 4*d. Is m a composite number?
False
Let s = -1801 - -3030. Is s a prime number?
True
Let t(b) = -b**2 - 4*b + 10. Let y be t(-5). Suppose 5*a = 2*r - 1179, -2353 = -r - 3*r + y*a. Is r prime?
True
Let c(y) = y**3 + 9*y**2 - 13*y + 7. Suppose -5*q = 3*l - 32, 3*l - 2*q = 5 - 1. Suppose -4*t + 8 - 2 = u, 2*u + l = -4*t. Is c(u) prime?
True
Let o(l) = -l**2 - 5*l - 1. Let z be o(-4). Suppose 268 = z*x + x. Is x a prime number?
True
Suppose 2*b + 3 = 15. Let t(o) = 11*o + 17*o - 1 + b*o. Is t(2) prime?
True
Suppose 2*v - 7 + 1 = 0. Suppose 0 = b - 5*b - o + 214, -2*b = -v*o - 100. Is b a composite number?
False
Let i = 4 - 0. Suppose -6*b = -i*b - 138. Is b a composite number?
True
Let t(l) = -l**3 + 4*l**2 + 2*l - 3. Let u be t(4). Let b = 18 + u. Is b prime?
True
Let l = 19 + 2. Is 28/l*(-42)/(-4) a composite number?
True
Let p = 42 - -175. Is p composite?
True
Suppose -127 = -2*g + 1231. Is g composite?
True
Suppose 4419 = 16*t - 13*t. Is t a prime number?
False
Is (4/16)/((-3)/(-11337))*4 a prime number?
True
Suppose -5*o = 5 - 25. Suppose p = q + 3*p - 6, -4*p - 12 = -o*q. Suppose q*w - 3*w = 211. Is w a composite number?
False
Suppose -4*n - j + 1194 = 0, 3*n + 5*j = -0*n + 904. Is n a prime number?
False
Let g(u) = -395*u + 7. Let t(l) = 132*l - 2. Let c(z) = 2*g(z) + 7*t(z). Let h be c(1). Let j = h - 79. Is j a composite number?
True
Let q be 1/(-5) + 93/15. Suppose 0 = -d + q*d - 470. Is (-6 + 4)*d/(-4) a composite number?
False
Let u = 41 + -238. Let o = -110 - u. Suppose o = v - w, -5*v + 128 = -2*w - 295. Is v a prime number?
True
Let p = -1994 + 4701. Is p prime?
True
Let w(o) = -o**2 + 9*o. Let f be w(10). Is (4 - f)*29/2 a composite number?
True
Let l be 9 + -2 + -3 + 1. Let o(y) = 2*y**2 + 5*y - 1. Is o(l) a composite number?
True
Let x(d) = d**2 + 2*d - 1. Is x(8) composite?
False
Let z = 90 + 1. Is z a prime number?
False
Let v(s) = -63*s - 1. Suppose 0 = d + 2*u, -5*u = -3*d - 2*u - 18. Is v(d) prime?
True
Let g = -22 + -7. Let c = g - -10. Let k = -8 - c. Is k composite?
False
Let y(o) = 117*o - 10. Let j be y(5). Suppose -3*z = 2*z - j. Is z composite?
True
Let u(b) = 8*b - 11. Let l(s) = -9*s + 12. Let v(z) = -6*l(z) - 7*u(z). Let o be (10 - 5)/(1 + -2). Is v(o) prime?
False
Let m(a) = -a**3 + a**2 + a + 23. Is m(0) a prime number?
True
Let c be (-39)/(4/156*-1). Let t = -310 + c. Is t a composite number?
True
Suppose 16 = 5*z + 2*w, 6*z - 22 = z - 4*w. Is 219/6 + z/4 prime?
True
Suppose 0 = -0*y + 2*y + 280. Let t = y + 249. Is t composite?
False
Suppose -1128 + 276 = -12*g. Is g prime?
True
Let z(y) = y**3 - 8*y**2 - 9*y + 1. Let f be z(9). Let i be (-68)/10 + f/(-5). Let u = i - -74. Is u a prime number?
True
Let j(b) = -8*b**3 - b + 1. Is j(-2) prime?
True
Suppose 2*n = n. Suppose 5*h - 869 - 186 = n. Is h prime?
True
Is (-10 + 9)*(0 - 139) a composite number?
False
Let t be 1 + (217 - (-3 + 3)). Suppose -5*o + t = 4*p - 2455, -2*o + 1058 = -4*p. Is o composite?
True
Let v be 1/(-2) - 1/2. Let t be (-3)/(3/v)*1. Let h(u) = 49*u**2 + u - 1. Is h(t) a prime number?
False
Let j = 319 - 190. Is j a prime number?
False
Let x = 2 - -2. Suppose -a - 3*a + 124 = -x*i, -3*a - 3*i = -105. Is a a composite number?
True
Let o(k) be the second derivative of k**4/24 + 49*k**3/6 - k**2 - 2*k. Let g(b) be the first derivative of o(b). Is g(0) prime?
False
Suppose 4*x + 34 = -78. Is 8/x - 835/(-7) a composite number?
True
Let f(u) = u**3 + 11*u**2 - 14*u - 11. Is f(-11) a composite number?
True
Let h(m) = 11*m**3 + 2*m**2 - 5*m - 7. Is h(3) a prime number?
True
Suppose 0*n = 8*n - 9736. Is n a prime number?
True
Suppose -l = 3*g + 169, 2*g - l - l + 118 = 0. Let u be 6*g/6 - 3. Let w = u - -247. Is w prime?
False
Suppose -2*v - 2 = -4. Is (4 - v) + 184 + 0 a prime number?
False
Let v(p) = -p**3 + 13*p**2 - 9. Is v(11) composite?
False
Let h = -454 + 822. Suppose -5*g - 2*z + 13 = -918, h = 2*g + 3*z. Is g a prime number?
False
Suppose -11*f + 26884 = 3542. Is f a composite number?
True
Suppose 3*z = -2*b, -3*z = -2*b - 2*z + 8. Suppose -397 - 239 = -3*f. Suppose -b*k - k = -f. Is k a prime number?
True
Let f be (2 + 358)*(-22)/(-5). Let z = f - 1097. Is z a composite number?
False
Is 449 - ((-12)/3 - -4) prime?
True
Suppose 4*y + y = 430. Let b(v) = 6*v. Let q be b(-1). Is 3*(-1)/q*y composite?
False
Let j be (1/2)/((-2)/(-12)). Suppose -178 = -j*b + b. Is b composite?
False
Let z be (40/25)/(4/10). Suppose -z*g = g - 6