+ 1. Let p be t(r). Is p*-1*(3 - 208) a composite number?
True
Let u(a) = 2*a + 2. Let n be u(-3). Let l be (-2)/n + (-2)/4. Suppose -5*v - 13 = -r - 10*v, l = -5*r + 5*v + 5. Is r a prime number?
True
Is 69*((-13)/(-11) + (-12)/66) prime?
False
Is 4/14 + (-42654)/(-14) a prime number?
False
Let d(a) = -a**2. Let o be d(1). Is o/((-3)/(235 + 2)) a composite number?
False
Is (-26474)/(-35) - (-3)/5 prime?
True
Suppose 3*j = -2*j + 1185. Is j a composite number?
True
Let j(z) = 78*z - 5. Let i be j(4). Let s = i + -168. Is s prime?
True
Suppose 0 = 2*l + 18 + 130. Is (-1 + 2)/((-1)/l) a composite number?
True
Let x be (-30)/(-25)*(0 - -5). Let r(g) = -g**2 - 5*g - 6. Let p(q) = 3*q**2 + 9*q + 13. Let z(s) = 3*p(s) + 7*r(s). Is z(x) prime?
False
Let s(b) = 58*b**2 - b + 11. Is s(-4) a prime number?
False
Suppose a - 3*a + 7 = 5*u, 2*u + 2*a + 2 = 0. Suppose 0 = 4*g, -212 = -7*s + 3*s - u*g. Is s a composite number?
False
Suppose 3*k - 7*t - 3027 = -3*t, -k - 5*t + 1009 = 0. Is k prime?
True
Let l = 1191 + 2892. Is l a prime number?
False
Let o(l) = -l**2 + 10*l + 14. Let a be o(11). Suppose a*n = -0*n + 69. Is n a prime number?
True
Let l(j) = j**2 - 5*j - 5. Suppose 3*v + v = 12. Suppose -29 = -v*r - 8. Is l(r) composite?
True
Let w(k) = -k + 4. Let p be w(0). Suppose 3*y + 61 = -5*u + p*u, -4*y + 4*u = 60. Let t = y + 41. Is t a prime number?
False
Suppose 0 = 13*v + 18011 - 46806. Is v a prime number?
False
Suppose 4*o = -w, -4*o - 4*w + w - 8 = 0. Let u be (1 - (0 - -1))/o. Let v = u + 19. Is v a composite number?
False
Let c(a) = -8*a + 5. Let p(v) = 2*v - 1. Let w(b) = 2*c(b) + 9*p(b). Suppose 0 = 5*x - 4 - 11. Is w(x) a composite number?
False
Let b = -1710 - -2771. Is b prime?
True
Let i = 2208 + -1577. Is i prime?
True
Let n(g) = -2*g**2 + 2*g - 2. Let m be n(2). Let b(d) = 14*d + 23. Let f(r) = 9*r + 15. Let t(k) = 5*b(k) - 8*f(k). Is t(m) prime?
True
Let l = -205 + 1026. Is l a composite number?
False
Let v be (1 - 0)/((-3)/(-15)). Let w = v + -4. Let a = w + 6. Is a composite?
False
Let j(k) be the third derivative of k**4/24 + k**3 + 2*k**2. Let i be j(-3). Suppose -2*l + 21 = -i*f - 50, -1 = -f. Is l prime?
True
Is (4/2)/((-30)/(-1335)) prime?
True
Suppose -5*p + 262 = -1468. Is p prime?
False
Let p(q) = -6*q**2 - 4*q - 1. Let a be p(-3). Let x = a + 30. Let f = x - -142. Is f a composite number?
True
Suppose 2*l - 20 = -4*i, -l + 2*i = -3*i + 25. Let w be 4/(4 - (2 - l)). Suppose 41 - 207 = -w*k. Is k prime?
True
Let o(n) = -n + 2. Let w = 7 - 5. Let q be o(w). Suppose k + 2*k - 339 = q. Is k a prime number?
True
Let n = 19 + -27. Suppose 5*s - 2*s - 5*h - 48 = 0, -4*s + 78 = -2*h. Let r = s + n. Is r composite?
False
Let h be -4 - -1 - -1 - -5. Let k be (0/(2 - h))/(-2). Suppose t + k*t + 3*s = 19, -8 = -2*t + 4*s. Is t prime?
False
Let v(d) = d + 4. Let w be v(-5). Let x = -5 - w. Let c = -1 - x. Is c a prime number?
True
Is (-2)/((24/669)/(-4)) a prime number?
True
Let i(u) = 5*u**3 - 14*u**2 + 15*u + 20. Let g(r) = -r**3 + 3*r**2 - 3*r - 4. Let z(b) = -11*g(b) - 2*i(b). Suppose -3*p - 5 = -20. Is z(p) a prime number?
True
Let r be (-9)/6*4/(-3). Suppose -4*l + 4 = -s, l - r*l = -4*s - 1. Suppose -3*t + 4*t - 19 = s. Is t a composite number?
False
Let k = 257 + 311. Suppose -211 = 3*y - k. Is y composite?
True
Let o = -7119 + 11968. Is o prime?
False
Suppose -z - 3*z = s + 2, 2*s + z - 3 = 0. Let k(g) = 16*g**2 + 3*g - 3. Is k(s) prime?
True
Suppose 2*r + h = 791, 4*r + 292 - 1889 = 3*h. Is r a prime number?
True
Let x(i) = 3*i**2 + 3*i - 3. Let s be x(-4). Let d = s - 2. Is d composite?
False
Suppose -z - 2*h - 5 = 2*z, 3*z = -h - 7. Let d = z - -24. Is d prime?
False
Let n(g) = 28*g - 45. Is n(17) prime?
True
Let s(l) = 44*l - 5. Is s(3) a composite number?
False
Is (-1 + 320)*8/8 prime?
False
Suppose 7*a - 4*a - 486 = 4*g, -5*a = -5*g - 815. Is a composite?
True
Let r be ((-2)/2 - -2)*-7. Let m(b) = -3*b + 11. Let y be m(-5). Let s = y + r. Is s prime?
True
Let g be 542 - (2 + 6/(-3)). Is (3*4)/4 + g a prime number?
False
Let t(l) = -l**2 + 6*l - 3. Let r be t(5). Suppose -w - 2 = -4*j, r*w + 5*j = 3*w + 6. Is w a composite number?
True
Let n be 0/3 + 2 + -2. Let i = n - -1. Is (14/(-4))/(i/(-2)) a composite number?
False
Let w = -66 - -193. Is w composite?
False
Suppose -7*a = -11*a + 5444. Is a prime?
True
Let n be ((-8)/(-10))/((-2)/(-5)). Suppose -2*s + t + 0*t + 154 = 0, 0 = n*s + 4*t - 164. Is 0 + 1 + s + -2 composite?
True
Suppose 70 = 2*f + 5*p - 39, p = -5. Is f composite?
False
Suppose -8*n = -986 - 190. Suppose 3*u - 4 = u. Suppose 0 = a + u*a - n. Is a prime?
False
Let h be 22/4 + 1/(-2). Suppose x + h*q - 151 = 24, -2*q - 559 = -3*x. Suppose -x = -4*l - 61. Is l a composite number?
False
Suppose 155002 + 74239 = 23*k. Is k a prime number?
True
Suppose 6*m - 3*m + 9 = 0. Let r = m - -6. Suppose -r*o - 117 = -6*o. Is o composite?
True
Let t(x) = -x**3 + 6*x**2 + 2*x - 9. Let c be t(6). Suppose c*z = 5*z - 42. Is z composite?
True
Let c be 24/(-20)*10/(-3). Suppose b = -3*s + 64, -5*s + b + c*b = -100. Is s a composite number?
True
Let s = -11 - -15. Suppose s*l - 125 = -3*d, 0 = -4*d + 2*d + 4*l + 70. Is d a composite number?
True
Is 194*2/(-16)*-4 prime?
True
Let l(o) = 2*o - 3. Let f(p) = p**2 + 9*p + 11. Let w be f(-8). Let v be l(w). Suppose v*x - b = -6*b + 24, -2*b + 18 = 4*x. Is x a composite number?
False
Let d(r) = -r + 4. Let w(h) = -h**3 + 13*h**2 - h + 8. Let p be w(13). Is d(p) a prime number?
False
Let z be (-2 + 2)/(3 - 1). Let x = 3 - z. Is x composite?
False
Let l = 319 + -162. Is l composite?
False
Suppose 5*b + 0*a - 11 = a, 2*b - 5*a - 9 = 0. Suppose -z + m = -0*z - 4, z - 5*m = 4. Suppose z*j + v = 158, 4*j - 160 = -0*v - b*v. Is j composite?
True
Let d(j) = -2*j**2 + j - 7. Let r(a) = a. Let m(s) = -d(s) + 6*r(s). Is m(6) prime?
True
Suppose -2*n = 3*q - n - 430, -5*n + 291 = 2*q. Is q prime?
False
Suppose -4*m + 16 = -x, 5*m = 5*x - 0*m + 5. Suppose p - 3*p - x*n = -26, 30 = 2*p + 3*n. Is p a prime number?
False
Suppose -5*c = 1 + 9. Is 53/(-4*c/8) a prime number?
True
Let i(f) = 3*f - 11. Let x(d) = d**2 - 3*d - 5. Let u be x(4). Let n be ((-3)/u)/(3/10). Is i(n) a composite number?
False
Suppose 332 = 5*w - 3*w. Is w prime?
False
Let q = 62 + 189. Is q composite?
False
Let q = 19 + -13. Suppose 3*t - q*t = -z + 22, 0 = 5*t + 5. Is z a composite number?
False
Let v be ((-1)/(-3))/((-2)/(-24)). Let z = v + -5. Let k(s) = 15*s**2 - 1. Is k(z) a prime number?
False
Let y = -19 - -16. Is (109 - -3) + 6 + y a prime number?
False
Suppose 1062 - 277 = 5*c. Is c composite?
False
Let l be (-8)/(3/6 - 1). Let y = 4 - l. Let w = 2 - y. Is w a prime number?
False
Suppose -2*g + 5*f = 3*f - 280, -2*f = 4*g - 542. Let j = g + -42. Is j composite?
True
Let o = -2002 + 2840. Is o a prime number?
False
Let z be 4236/2 - (-2)/1. Suppose -7*a = -3*a - 5*m - z, 3*m = 0. Is a/8 + 3/4 composite?
False
Let r(v) = 5*v**3 + 1. Let i be r(1). Is 4/(-6) - (-238)/i a prime number?
False
Let h be (18/(-12))/(6/(-4)). Let v = 2 + h. Suppose 0 = 5*b - 5, 2*f + v*b = 32 + 129. Is f composite?
False
Suppose -5*n + 179 + 321 = 5*m, 4*m = -n + 391. Is m a prime number?
True
Let m = -95 + -100. Let f = 122 - m. Is f prime?
True
Suppose -k + 13 = -0*k. Is k composite?
False
Let q = -49 + 118. Suppose h - 6*h = -2*u - 291, -h + q = 5*u. Is h composite?
False
Let k = 1525 + -878. Is k prime?
True
Suppose q - 1394 = -r, -r + 4212 = 2*r - 3*q. Is r composite?
False
Let d(f) = -8*f**2 + f**3 + 2 - 2 + 8*f - 5. Let u be d(7). Is 11*10*1/u composite?
True
Suppose 0*i - i = -319. Is i prime?
False
Suppose -2307 = -3*c + 3. Suppose 3*x - 2*l = 6*x - 567, 0 = 4*x - 2*l - c. Is x prime?
True
Let i(w) = w - 1. Let n(k) = -64*k + 1. Let v(p) = -5*i(p) - n(p). Let r be v(-4). Let l = r + 345. Is l a prime number?
True
Is -4 + 4/(-8)*-454 a composite number?
False
Suppose 3*p + 4342 = 5*k, k + 0*p - 871 = -2*p. Is k a prime number?
False
Let l be ((-2)/(-4) + 0)*-4. Is (-2 + 165)*(3 + l) a composite number?
False
Suppose 3 = 3*s - 0. Is 1 - (-14 - 3 - s) a composite number?
False
Let c = 29 - -59. Let l = -9 - -12. Suppose l*p = -p + c. Is p prime?
False
Suppose 70 = -4*j - 4*x + 3*x, -78 = 4*j + 5*x. Let i = j + 31. Is i composite?
True