Let u(m) = 9660*m**2 + 2*m - 1. Is u(1) prime?
True
Let m = 78 + -7. Is m a composite number?
False
Let s(m) = 3*m**3 - m**2 + 1. Let u be s(4). Suppose -197 = -2*o + u. Is o a composite number?
True
Let i = -84 - -42. Is (-5154)/i + 2/7 a composite number?
True
Suppose -3*o = -3*p - 3, -4*o + 2*p - 3*p + 14 = 0. Suppose -t = -o + 2. Is t/(-3)*777/(-7) composite?
False
Is 1 - 0 - ((-7 - 278) + -7) a composite number?
False
Let k(j) = j**2 + 2*j - 5. Let b(v) = v**3 - 6*v**2 + 2*v - 1. Let f be b(6). Suppose 0 = n - p + 4, 3*n = 5*p + 3 - f. Is k(n) a prime number?
True
Let l(i) = i**3 + 16*i**2 + 12*i - 1. Is l(-10) prime?
True
Suppose -6*w - 6 = -8*w. Suppose 0 = -3*m, -m = w*a + a. Suppose a = -k - 3*k + 196. Is k composite?
True
Suppose 4 = 4*b, o + 2*b - 2726 = -3*o. Is o prime?
False
Let h = -135 - -854. Is h a prime number?
True
Suppose v - 5*v = 2*q - 20, -10 = -2*v - 3*q. Suppose -94 = -v*h + 571. Is h a prime number?
False
Suppose 4*y - 423 = y. Let a = -72 + y. Is a a prime number?
False
Let r = 1582 + -669. Is r a prime number?
False
Let b(w) = 0*w - w + 12*w**2 - 8*w - 4. Is b(9) prime?
True
Let a(q) = q**2 - 5*q + 2. Let f be a(6). Suppose -26 = -x + k, 3*x = f*x - 3*k - 120. Is x a prime number?
False
Is 114/1 - 3/((-12)/16) a prime number?
False
Let i = 69 - 64. Let b(m) = m**3 - 3 + 4*m**2 - 6*m**2 - 2 + 3*m. Is b(i) a composite number?
True
Let v = 412 - 218. Is v prime?
False
Let z(j) = -89*j. Let m be z(-1). Let d = m - 42. Is d a composite number?
False
Suppose 3*a = 9*a - 6828. Is a prime?
False
Let m = -703 + 1. Let t = m - -1201. Is t prime?
True
Suppose 5*q = -3*o + 5*o - 2658, 3*o + q - 3953 = 0. Is o a composite number?
False
Let p be (-4 + 3)/((-3)/15). Suppose 4 = p*q - 11. Suppose 0 = 2*f + q*f - 75. Is f prime?
False
Let o be 4/(-10) - 14/(-10). Let c be 6*o/(-3 + 2). Is ((-4)/c)/(4/78) a composite number?
False
Let z be 20 - (5 + -3 + -2). Suppose -3*i = 3*v + 306, -z = 4*i - 0. Let s = 176 + v. Is s a composite number?
False
Let k(y) = -y**2 - y + 1. Let i(w) = w**2 - 4*w + 1. Let r be i(4). Let b(p) = p**2 + 4*p + 4. Let o(h) = r*b(h) - 2*k(h). Is o(-5) composite?
False
Suppose 5*x + 4*q + 0*q = 1794, 5*q = 5*x - 1785. Is x composite?
True
Let o be ((-32)/20)/((-4)/10). Suppose 3*z + o*p - 261 = 0, -3*z + 4*z = -2*p + 89. Is z composite?
False
Let r be 6 + 213 - (0 - 1). Suppose 0 = l - r + 59. Is l composite?
True
Let a(x) = x**2 - 3*x + 1. Let t(z) = -z**3 - 4*z**2 + 6*z + 7. Let n be t(-5). Let b be a(n). Is (3 + b)*(-13)/(-2) prime?
True
Let c = -161 + 89. Let s = c - -284. Suppose 0 = p - 5*p + s. Is p composite?
False
Suppose -3*b = 2*b. Let t be (0 + 2/(-2))*-5. Suppose 2*a + t*j - 163 = b, 0 = -0*a - a + j + 71. Is a a composite number?
True
Let c(b) = b + 7. Let k = 1 - 1. Is c(k) a prime number?
True
Let s(v) = -2*v + 3 + 0*v - 2. Let f be s(-1). Let a = f + 3. Is a composite?
True
Suppose 6 = -2*s + 14. Suppose d = s - 2. Suppose -d*l - 149 = -3*l. Is l composite?
False
Suppose -2*p = -148 - 430. Is p composite?
True
Let x(y) = 292*y + 1. Let d(l) = l + 3. Let p be d(-3). Suppose 0 = -p*i + 5*i - 5. Is x(i) prime?
True
Is (-8)/8 - (0 + -1797) - 3 a prime number?
False
Let z(m) = 2*m**2 + 3*m. Let n be z(-2). Let k(p) = 21*p - 1. Let w be k(n). Suppose 8*x = 3*x + 3*h + w, 4*h - 6 = -2*x. Is x a prime number?
True
Let z = -6 - -12. Let g(j) = -13*j + 2. Let t be g(-8). Suppose -4*w = -z*w + t. Is w a composite number?
False
Is 53006/(-102)*(0 - 3 - 0) prime?
True
Let n = 374 + -200. Let j = -103 + n. Is j composite?
False
Let p(q) = 8*q + 6. Let v be p(9). Suppose -v = -y + 2*j, -j - 30 = -y + 47. Is ((-1)/2)/((-1)/y) prime?
False
Suppose -2*n = -5*n - 5*c + 1016, 0 = -4*n + 2*c + 1398. Is n prime?
True
Let l be (-74)/(-8) + 1/(-4). Let g = 6 + l. Is g prime?
False
Let y = -62 - -115. Is y composite?
False
Suppose -5*b - 40 = -5*h, 4*b = 2*b + 4. Let u = h - -283. Is u a prime number?
True
Let a be ((-4)/(-1))/((-4)/(-2)). Suppose a*m - m = 10. Is m composite?
True
Suppose 3*s + 36 = -3*w, w - s - 1 = -5. Let k = 34 + -7. Let u = w + k. Is u prime?
True
Let b(g) be the third derivative of 1/40*g**6 - 1/20*g**5 + 2*g**2 + 1/6*g**3 - 1/4*g**4 + 0*g + 0. Is b(4) composite?
True
Suppose 0 = -5*t - t - 918. Is (-18)/t - (-11099)/17 a composite number?
False
Let y(r) = 51*r + 10. Let t be y(6). Let d = t + -65. Is d a composite number?
False
Let x = 1 - 7. Let b(p) = 7*p**2 + 8*p + 3. Let h(z) = 6*z**2 + 8*z + 4. Let s(a) = -3*b(a) + 4*h(a). Is s(x) composite?
False
Let t be 18/4*(1 - -1). Let w = -7 - -11. Suppose -3*j - t = -0*j, -w*j + 63 = 3*o. Is o a composite number?
True
Let b(n) = -n**2 - 13*n - 2. Let m be b(-7). Suppose f - 3*p - m = 0, -f + 0*p = -p - 34. Is f prime?
True
Let l(k) be the third derivative of 1/120*k**6 + k**2 - 1/2*k**3 + 1/12*k**4 + 0 - 1/30*k**5 + 0*k. Is l(4) prime?
True
Let p be (234/(-27))/((-2)/3). Let v = 68 - p. Is v prime?
False
Let i = 30 + 13. Suppose 6 = -3*u + 3*g + 21, -3*u = 4*g - i. Is 4/(-18) - (-695)/u composite?
True
Let c = 7 - 3. Let q be 16*(-2 - -4)/c. Is -26*2/q*-10 a composite number?
True
Suppose 2 = -5*r + 4*h, -2*r = 2*r + h - 11. Let i be (0 - r) + 0 + 5. Suppose 0*y - i*y + 21 = 0. Is y a prime number?
True
Let x(h) = -4*h + 7. Let j(r) = -r - 4. Let t be j(4). Let c be x(t). Is 0/5 + 0 + c prime?
False
Let y = -3 - 281. Let x = 439 + y. Is x a composite number?
True
Let i(o) = o**3 - 12*o**2 - 12. Let r be i(12). Suppose -j - 5*k + 68 = -3*j, -4*k = -4*j - 136. Let a = r - j. Is a a composite number?
True
Let y(n) = -n**3 + n**2 - n + 415. Let r be y(0). Suppose 3*z = -2*z + r. Is z a composite number?
False
Let s(x) = -47*x + 1. Let d(y) = y**2 + 6*y - 2. Let g be d(-6). Let n be 2/2 + g + -1. Is s(n) a composite number?
True
Suppose 0 = -5*p + 3*p. Suppose -5*s - 5*h + 185 = 0, -s + 49 = -p*s - 3*h. Suppose -6*f + 2*f = -s. Is f composite?
True
Let w(p) = 318*p**3 - p**2 + 2*p - 2. Is w(1) a composite number?
False
Let i = -4 - -5. Suppose 0 = 4*f - b - 2537, 3 - i = -2*b. Is (-6)/27 + f/18 prime?
False
Let r = 6 + 29. Is r prime?
False
Suppose 0*i - 2*t = 4*i - 1174, 3*i - 2*t - 877 = 0. Is i composite?
False
Is (-340 - -9)/(0 + -1) a prime number?
True
Let w = -272 + 489. Is w prime?
False
Let i(o) be the second derivative of o**5/15 - o**4/12 - o**3/6 + 2*o. Let t(w) be the second derivative of i(w). Is t(5) a prime number?
False
Let x = 3151 - 722. Is x prime?
False
Suppose 0 = -0*x - 2*x + 660. Suppose -5*b - 103 = g + 455, -3*b = -g + x. Let c = b - -158. Is c prime?
True
Suppose 4*i + 2*y = y + 15, -y + 3 = 0. Suppose i*r - 33 = -5*m + 6, -4*m + 4*r + 12 = 0. Is m composite?
True
Let y(p) = -4*p**2 + p + 4. Let k(j) = -8*j**2 + 2*j + 7. Let h(t) = -4*k(t) + 7*y(t). Is h(2) a prime number?
False
Let h(f) = 3*f**3 - 1. Let u be h(1). Suppose -3*j - u*j = -10. Suppose -2*b - j*b + 268 = 0. Is b composite?
False
Let i be 4 - 0/(-1 - -2). Suppose 5*s = 3*s - h - 930, -i*h - 1864 = 4*s. Let j = s + 717. Is j prime?
False
Is 66417/17 - 10/(-85) prime?
True
Let l(t) = -t**2 - 11*t - 2. Let f be l(-8). Suppose 5*g - 8 = 2*u + 3, -f = -u - 3*g. Let r = 116 - u. Is r composite?
False
Let g = -696 + 2285. Is g composite?
True
Suppose -h + 5*x + 442 = 0, -426 = -3*h + 2*h + x. Is h a prime number?
False
Let l(p) = p**2 + p - 3. Let i be l(2). Is 1/(i*(-4)/(-924)) prime?
False
Let g(a) = 2*a**2 + a - 5. Is g(-16) a composite number?
False
Let u(s) = -s + 14. Suppose 0 = 3*h - 2*h. Suppose w = -5*c + 5, -2*c - w = -h*w - 5. Is u(c) a prime number?
False
Let o be 2*(30/4)/5. Let w be ((-2)/6)/(1/o). Is 0 - 1/(w/15) composite?
True
Is 14676/16 - 3/12 a prime number?
False
Let m(n) = -277*n - 5. Let s be m(-3). Suppose s = -5*t + 3171. Is t prime?
False
Let b be -4 + (-1 - (-8)/2). Is 1 + 1/(b/(-126)) prime?
True
Suppose 5*c - 582 = 473. Is c composite?
False
Let k(z) = 33*z + 9. Let t = 12 + -4. Let c be k(t). Suppose -3*s + 3*w = -95 - 181, 3*s - 2*w = c. Is s a composite number?
False
Suppose z + 0*z = 1653. Let v be (-2)/(6/z*-1). Suppose 0 = 2*f - v + 181. Is f a prime number?
False
Let g be 0/3 - (0 + -2). Suppose 0 = 3*s + d + 4*d + 8, 0 = s - g*d - 1. Let j(m) = 22*m**2 + 1. Is j(s) composite?
False
Let f be (10/6)/((-4)/12). Let t(r) = -r**2 - 5