True
Let s be 328 + (-1)/1*3. Let x = s + -66. Is x a prime number?
False
Is 2/11 - (-2130)/22 prime?
True
Let l(s) = -s**2 + 1. Let b be 2 - (3 + -12)/(-3). Let q be l(b). Is 5*(q - 14/(-5)) prime?
False
Suppose -4*f - 4*k + 74 = -2*k, -5*k = 2*f - 57. Let b = 9 - f. Is (-331)/(-7) - (-2)/b a prime number?
True
Let i(y) = -y**2 + y - 3. Let n(x) = -x**2 - x + 2. Let q be n(-2). Let r be i(q). Is ((-2)/r)/(12/342) composite?
False
Is 817 - (5/(-5) + 3) a composite number?
True
Let y(b) = -23 + 30 - b**2 + 2*b**3 + 39 - 3*b**3 + b. Is y(0) prime?
False
Let q = -5 + -1. Let l be 61/9 + q/(-27). Let j(y) = 2*y + 9. Is j(l) composite?
False
Suppose 10 = -j + 2*i + 3, 4*j = 5*i - 13. Suppose 12 = j*k + k. Suppose -o = -0*o - k. Is o prime?
True
Let t = -661 + 996. Is t a prime number?
False
Let z(r) = -6*r + 5. Suppose 4*q = 12, 0*q + 9 = -2*u + 5*q. Suppose -b - u*b - 52 = 5*p, -b + 5 = -p. Is z(p) prime?
True
Is 3 + -5 + (82*17)/2 composite?
True
Let x be 2/4*2*-4. Let j be 10/x*(-24)/15. Let o = 21 + j. Is o prime?
False
Suppose -6*u + u + 255 = 0. Is u prime?
False
Suppose -92 - 2137 = -3*h. Is h a prime number?
True
Suppose -83 = -2*n + 879. Is n prime?
False
Let f = -8841 + -449. Is f/(-25) + (-3)/5 composite?
True
Let a be (-13419)/(-18) - (-1)/(-2). Suppose 4*y - 9*y = -a. Is y a composite number?
False
Suppose 2 = -r + i, 4*r = -3*i + 10 + 3. Is (-37)/3*(-4 + r) a composite number?
False
Let y(q) = 13*q**2 - 3*q + 3. Let n be y(-3). Suppose -2*x + 34 + 327 = -3*m, 5*m + 177 = x. Let l = x - n. Is l prime?
True
Let m be ((-1)/2 + 0)*2. Let t be 2 - 0 - 1 - m. Suppose -5*h = -t*l + 47 - 160, -4*l + 26 = 2*h. Is h a composite number?
True
Is 3/((-456)/465 - -1) a composite number?
True
Is ((-3466)/4)/(9/(-18)) a prime number?
True
Let k = -10 + 125. Is k prime?
False
Let n(z) = -z + 85. Is n(0) a prime number?
False
Let y(t) = -t**3 + t**2 + t + 844. Let q be y(0). Suppose -5*x = 0, q = 4*k - 2*x + 4*x. Is k a prime number?
True
Suppose 0*q + 184 = 2*q. Suppose 6*f = 3*f - j, -4*f = -2*j. Suppose 3*c - c - 30 = -3*l, f = -4*c + 2*l + q. Is c composite?
True
Let k = -318 + 476. Is k a prime number?
False
Suppose -209 = -2*n - 3*g + 419, n - 301 = 5*g. Is n composite?
False
Let o(j) = 7*j**2 - 3*j + 1. Let i(x) = -x**3 - 4*x**2 - x - 1. Let q be i(-4). Let g be o(q). Let d = 88 - g. Is d composite?
True
Let j(y) = -4*y - 10. Let b be (-3 + 3 + -7)/1. Let q be j(b). Is 2074/q + 2/(-9) a prime number?
False
Suppose -2*w + 2 - 16 = -x, 0 = -3*x + 3*w + 54. Is x a composite number?
True
Suppose 2*n = 2*r + 8, -4*r = -2*n - 0*n + 18. Let u be (-2)/2*(n + 0). Is (-384)/(-20) + u/(-5) composite?
False
Suppose 0 = -3*s - 6, -2*n + n - 20 = 4*s. Is 4/6 + (-388)/n prime?
False
Suppose 0 = -2*a - 2*a. Let q(h) = -h**2 + h + 11. Is q(a) a prime number?
True
Suppose 399 = a - 5*n, 4*a - 850 = 2*a - 3*n. Is a composite?
False
Suppose -18 = -3*n + 9. Suppose -2*l - 4*x + n = -93, 5*x - 48 = -l. Is l prime?
True
Let w be (-2)/7 + (-51)/(-7). Is (w + 30)/(1/5) prime?
False
Is 2830/18 - 2/9 composite?
False
Let k be 14/8 - 3/(-12). Is 1*(-6)/(-4)*k a composite number?
False
Let w(h) = 38*h - 7. Suppose 19 = 5*m - 6. Is w(m) prime?
False
Let r(c) = -3*c - 7. Suppose 2*l - 4 = 2*u - l, -2*u - 4*l - 18 = 0. Let i be r(u). Suppose 0 = -2*d + 66 + i. Is d a prime number?
True
Let g = 2 + 1. Suppose h + g*h - 5*m - 187 = 0, 200 = 5*h + 5*m. Is h a prime number?
True
Suppose -5*h = -390 - 485. Let i = h + -122. Is i a prime number?
True
Let o(l) = 4*l**3 - 4*l**2 - 8*l - 6. Let u be o(7). Is u/10 + 6/(-15) a prime number?
False
Let k = -4 - -1. Let s be ((-6)/4)/k*10. Is s*26*2/4 a composite number?
True
Suppose -214*u = -212*u - 17002. Is u a prime number?
True
Suppose 0*s - 4*s + 8 = 0. Let v(i) = 0*i**s + 3 - 3*i + 9*i**3 + i + 2*i**2. Is v(2) prime?
True
Suppose -298 = 3*b - 5*b. Is b prime?
True
Let f be 10/6 - 8/12. Is 0 + (21 - (-2)/f) a composite number?
False
Let r(a) = a**2 - 6*a - 5. Let x be r(7). Let c = -2 + 6. Suppose x*l = o - 41, -c*o + 7*o - 118 = 5*l. Is o a composite number?
False
Suppose 2*y = 94 + 158. Suppose c = 3*c - 4*d - y, 0 = -5*c + 4*d + 285. Is c a composite number?
False
Let c = 16 - -6. Suppose -3*m + 21 = 4*d, 5*m = -5*d + c + 3. Let o = 15 + d. Is o prime?
False
Suppose -4777 = -5*h - 3*x, 3*h - 2*x - 2612 - 239 = 0. Is h composite?
False
Let b(q) = 25*q**2 - 2*q - 2. Let h be b(-8). Suppose -6*n + h = -0*n. Is n a prime number?
True
Let s = 41 + 33. Is s a composite number?
True
Let u(z) = -z**2 + 7*z + 1. Let a be ((-18)/(-24))/(2/16). Let b be ((-2)/(-3))/(a/27). Is u(b) composite?
False
Is (-8)/3*-6*467/8 a composite number?
True
Let s be (-3)/(-8 + -1)*15. Suppose 2*v + 255 = s*v. Is v composite?
True
Let m(k) = k**3 - 2*k**2 - 11*k + 5. Let p be m(7). Suppose 0 = -5*z + p - 38. Suppose -5*h + z = -18. Is h composite?
True
Let v = -1 + 4. Suppose 0 = -i - 5*l - 87 + 250, v*i = 3*l + 417. Is i a prime number?
False
Let b(l) = 11*l. Let a(v) = -34*v + 1. Let z(u) = -2*a(u) - 7*b(u). Is z(-9) a composite number?
False
Let i be -2 - (36/(-3))/2. Let y(l) = -l + 2. Let d be y(i). Is (-1 - d) + 34 - -2 prime?
True
Let v = -3128 + 5799. Is v prime?
True
Suppose -5*q + b + 5 + 8 = 0, -4*q - 4 = 4*b. Suppose z + q = 87. Is z composite?
True
Let p = -1 - -1. Suppose -4*g + 6 + 2 = p. Suppose -3*h = -g*h - 37. Is h a prime number?
True
Suppose -7 = -5*l + 3. Suppose -l*c - c = -51. Suppose r + c = 96. Is r a prime number?
True
Suppose -5 = -2*m - j + 27, 5*m - 81 = -3*j. Is m a prime number?
False
Let g(h) = h**2 - h - 5. Suppose -4*b = 33 - 9. Is g(b) a prime number?
True
Let u(m) = -5*m + 1. Let p be u(-1). Suppose -p = -3*a, 4*i - i - 2*a - 425 = 0. Is i a prime number?
False
Let i = -11 - -342. Is i a composite number?
False
Suppose 4*b + 1707 = -b + 3*g, 2*b + 2*g + 686 = 0. Let t be 3/(-2 + 5) - b. Suppose 5*d = t + 42. Is d prime?
False
Let m be 2/(-5) + 243/45. Suppose f - 4*o + m = 52, -5*f + 4*o = -235. Is f a prime number?
True
Let i = 73 + 54. Is i a prime number?
True
Suppose 3*i = -3*q + 8 - 5, -5*q - 20 = 0. Suppose -24 = -i*g - 3*t, -5*g + 2*t = -3 - 6. Suppose 9 = -g*l, r = -4*r + 5*l + 230. Is r a composite number?
False
Suppose -g - 2*c + 0*c = 8, -22 = g - 5*c. Is -5 + 6 - (g - 1) a prime number?
False
Suppose 0*w + g - 286 = -5*w, 2*w = 3*g + 128. Is w a prime number?
False
Suppose 2 = v + 5*j + 5, -12 = 4*v - 3*j. Is -2*(v - 10/4) a prime number?
True
Suppose 15 = 3*g - 24. Suppose 2*r + 37 = g. Let d = 21 + r. Is d composite?
True
Let f(k) = -k**2 + 11*k - 5. Let d(v) = v + 10. Let q(g) = -6*g**3 - g**2 + 1. Let b be q(1). Let u be d(b). Is f(u) composite?
False
Let m = 0 - 0. Suppose m = x + 18 - 97. Is x a prime number?
True
Is 2/12*-2*1*-7077 a prime number?
False
Let m be 3/(((-2)/(-326))/1). Let c = m + -282. Let z = c + -4. Is z a prime number?
False
Let s = 19 - 3. Let t be 2/3 + s/(-6). Is ((-30)/4)/(1/t) prime?
False
Let o be 1/(-4) - (-567)/12. Suppose -5*b + 4*z = 3*z - o, b - 2*z = 4. Is b prime?
False
Suppose 0 = 2*t - 6*t - 2*y + 1494, -2*y + 10 = 0. Is t prime?
False
Let i(l) = -29*l. Is i(-5) a composite number?
True
Is 76 + (3 - (3 - 3)) prime?
True
Let z = -3 + -3. Let f(x) = -2*x**3 - 5*x**2 - x - 4. Is f(z) composite?
True
Suppose -y + 5*o + 287 = -0*y, -3*y + 2*o = -861. Is y composite?
True
Let k(f) = 151*f + 5. Let h = 23 + -21. Is k(h) a prime number?
True
Let w(x) = 4*x**2 - 115*x - 5. Is w(34) composite?
False
Let k = 193 + 20. Is k a composite number?
True
Let n = -33 + 75. Let w = n - -77. Is w prime?
False
Is 2448/42 + (-8)/28 a prime number?
False
Let g(j) be the first derivative of 25*j**2/2 - 6*j - 1. Let a be g(9). Suppose -5*t + a = -106. Is t composite?
True
Let z(m) be the third derivative of m**5/60 + m**4/24 - 5*m**3/6 - 2*m**2. Is z(-9) prime?
True
Let y = 15 - 27. Let t = y + 63. Is t composite?
True
Let s be (1 + 0)*20/(-10). Is (s - (-394)/(-4))*-2 a prime number?
False
Is ((-254)/(-2))/(1 + 0 + 0) a composite number?
False
Let w(l) be the second derivative of -3*l**5/20 - l**4/12 + l**3/6 - l**2/2 + 3*l. Let b be w(1). Let i(m) = -4*m**3 - 7*m**2 - 5*m - 3. Is i(b) composite?
True
Let j(m) = 13*m**2 - 1. Is j(-6) prime?
True
Is (2 + 0 - 5) + 340 a prime number?
True
Let 