se 46 = x*v - 245. Is v a composite number?
False
Let c = -136 + 327. Is c composite?
False
Suppose 3*r - 734 = -5*m, -4*m = 3*r - 85 - 654. Is r a prime number?
False
Let o(a) = a**3 - 9*a**2 - a + 11. Let b be o(9). Suppose 7*k - b*k = 205. Let q = 76 - k. Is q a prime number?
False
Suppose 27083 = 7*r - 55762. Is 4/(-10) + r/25 a composite number?
True
Suppose -7*s + 507 = -256. Is s a composite number?
False
Let k(s) = -s**2 - 12*s + 18. Let t be k(-13). Suppose 7*a - 118 = t*a. Is a a composite number?
False
Suppose 0*p - 3*p + 11697 = 0. Is p prime?
False
Suppose 0 = -y + 3*y - 514. Is y prime?
True
Let c = 160 + -27. Is c prime?
False
Let n(w) = -w**2 + 10*w + 3. Is n(8) prime?
True
Let k(o) = 5*o + 2. Let l be k(2). Suppose -l = 3*j, 4*t + 2*j + 4 = -0. Is (0 - 0) + 89*t composite?
False
Suppose -x = -2*o - 1035, 0 = 4*x - o + 2*o - 4176. Is x a prime number?
False
Suppose -k = 3*i - 8, 5 = 5*k - 4*i + 3. Let p be k - (2 + (-4)/2). Suppose -g - 5*l = -41, p*g - 4*l + 100 = 6*g. Is g a composite number?
True
Suppose g = 4, 2*g - 20 - 286 = -2*f. Is f a prime number?
True
Let w be 2/2 - (-3)/(-3). Suppose w = -0*x + x - 69. Is x prime?
False
Let a be 8/(-20) + 2/5. Suppose -3*q + a*q + 402 = 0. Is q a composite number?
True
Is 574/4 - 2/4 composite?
True
Is ((-2)/6)/(10/(-102570)) prime?
False
Let r(d) = 7*d + 1. Suppose -3*a = 2*a - 15. Is r(a) a prime number?
False
Let c be ((-6)/12)/((-1)/10). Let a(f) = f**2 + 1. Let t(b) = b**2 + 9*b + 7. Let j(g) = -2*a(g) + t(g). Is j(c) composite?
True
Suppose -7*b + 1457 = -860. Is b a composite number?
False
Suppose 3*m + 33 = 3*v, m - 2*m = v - 5. Let x = 23 - v. Suppose -4*f = f - x. Is f a prime number?
True
Let h(k) = 4 - 1 - 34*k - 2. Let r(n) = -2*n**3 + 2*n**2 - 2*n + 1. Let o be r(1). Is h(o) a composite number?
True
Let g(r) = -r**3 + 12*r**2 - 9*r + 1. Suppose 2*d - 22 - 4 = -o, 30 = 2*d + 2*o. Is g(d) a composite number?
False
Suppose -2*d + 86 = -18. Suppose -2*k + d = 2*k. Is k a prime number?
True
Let w(h) = -h**2 + 4*h + 2. Let v be w(3). Suppose 3 = 4*u - v. Suppose 84 + 26 = u*p. Is p a prime number?
False
Suppose 3*t = -220 - 788. Let j = -85 - t. Is j a prime number?
True
Let h(d) = -d**2 - 9*d - 5. Let q be h(-6). Let o(s) = -3*s - 23. Let i be o(-9). Suppose -3*n - i = -q. Is n composite?
False
Let g(s) = 17*s**3 + 14*s**2 + 12*s - 5. Let q(v) = -6*v**3 - 5*v**2 - 4*v + 2. Let d(k) = -3*g(k) - 8*q(k). Is d(-3) a prime number?
False
Let b = -17 + 29. Suppose 2*q = -2*q + b. Let u = 1 + q. Is u composite?
True
Let c(r) = -r**2 + 11*r + 1. Let j = 23 + -13. Is c(j) a prime number?
True
Let f(x) = -41*x - 3. Let n(i) = i + 7. Let m be n(-11). Is f(m) prime?
False
Suppose -5*y + 2*n - 693 = 0, 4*y + 0*y = 5*n - 551. Let u = 298 + y. Is u prime?
False
Let i be (3/1)/((-1)/146). Let j = -171 - i. Suppose f = 4*f - j. Is f a composite number?
False
Suppose 0 = -2*y - 2*v + 8, 0 = -y - 5*v - 0*v. Suppose -y*x + 19 + 366 = 0. Is x prime?
False
Let t be (0 - 3/(-6))*2. Let n(l) = 264*l**2 + 2*l - 1. Is n(t) a composite number?
True
Let u be (-9)/15*(3 + -8). Suppose q - 2*q - 3 = o, -5*q = u*o + 5. Suppose -w = 2*k - 77, q = -3*k - 1. Is w a composite number?
False
Let r = 22 + -49. Let v = 73 - 31. Let w = v + r. Is w a prime number?
False
Suppose 4*c + y - 3 = 8, -c - 13 = -5*y. Let r(v) = 3 - 2*v + v**c + 2*v. Is r(-4) prime?
True
Let n = -551 + 804. Is n prime?
False
Let r(l) = l**2 + l - 2. Let o be r(2). Suppose -2*f + 18 = o*y, 7 = -5*f - 2*y + 28. Suppose 5*z = 2*z + f*c + 45, 2*z - 4*c = 22. Is z a composite number?
False
Let t(y) be the first derivative of -2*y**2 + 22*y + 3. Let w(c) = 3*c - 21. Let u(a) = -2*t(a) - 3*w(a). Is u(0) a composite number?
False
Let d be (-26)/(-10) + (-3)/5. Suppose y - h = -d*y + 112, -5*y + 182 = 3*h. Suppose i = -0*i + y. Is i composite?
False
Suppose y - 18 = -4*p, -5*y - 5*p + 165 = -0*y. Suppose -2*s - 5*r = -62, 0 = -2*s + 4*s - r - y. Is s composite?
True
Suppose -o + 4*g + 383 = 0, 0 = -2*o + 2*g - 274 + 1052. Is o a composite number?
True
Suppose -2*a = 2*g - 12, 4*a + 7*g - 22 = 4*g. Suppose -3*p = a*b - 9, -6*p = -4*p - 3*b - 6. Is ((-130)/(-15))/(2/p) composite?
False
Let g(p) be the third derivative of p**5/60 + p**4/24 + 31*p**3/2 + 5*p**2. Is g(0) a prime number?
False
Suppose 0 = -0*f + 5*f. Suppose -5*g = -10*g - 2*u - 26, f = g - u + 8. Let l = 7 - g. Is l a composite number?
False
Suppose -3*x + 6 + 12 = 0. Is (-457)/(-7) + x/(-21) a prime number?
False
Is 77962/8 + 5/(-20) a prime number?
False
Suppose 2019 = -27*t + 30*t. Is t a prime number?
True
Let q(u) = -u**2 + 1117. Is q(0) a prime number?
True
Let v be 415/4 + 5/20. Suppose 2*c - 8 = 0, 0*c = -4*i - 5*c + v. Is i a composite number?
True
Suppose -5*n = 3*n - 4616. Is n a composite number?
False
Let u = -222 + 471. Is u a composite number?
True
Let l = 12 - 6. Let m = 197 - 138. Let r = m + l. Is r a prime number?
False
Suppose 11*q - 9010 = q. Is q prime?
False
Let p(h) = -12*h**2 - h - 6. Let o(x) = -23*x**2 - 2*x - 13. Let t(v) = 2*o(v) - 5*p(v). Is t(3) composite?
True
Suppose 4*b - 1152 = 1372. Is b composite?
False
Is (-1523)/(-9) - (1 - (-28)/(-36)) a prime number?
False
Let p be (-8)/(-2)*(-1)/(-2). Suppose 1 + p = t. Is t*4/6 + 35 a composite number?
False
Let k = -303 - -526. Is k a composite number?
False
Suppose -5*o + o = -16. Suppose 5*w - 3*h = 2*h + 320, o*w - 301 = -5*h. Is w prime?
False
Let n(b) = b**2 - 4*b. Let c be n(5). Suppose 223 - 53 = c*r. Is r prime?
False
Suppose -n + 62 = 2*f, 0 = -0*n - 2*n + 5*f + 160. Let s = 3 - n. Is (-6 + 4)/(2/s) prime?
True
Is (326/3)/((-12)/(-198)) prime?
False
Let r(k) = 56*k**2 - 2*k - 1. Suppose -2*i - 3 = i. Is r(i) composite?
True
Let j(q) = 15*q**3 - q**2 + 1. Is j(3) prime?
True
Suppose -4*s = -c + 4, 2*c = -2*s + 3*c - 4. Suppose s = -4*n + 10 - 2. Is n a prime number?
True
Let p be 0 + -1 + -2 + 1. Let i be (-8)/p*10/8. Let b(u) = 7*u. Is b(i) a prime number?
False
Let g be 1 + ((-3)/(-3) - -1). Suppose -2*w = -t - 2, 2*t - w + g*w - 20 = 0. Is 153/t*2 - -2 a composite number?
False
Suppose -2*s + 29 = -123. Suppose 4*m - 144 - s = 0. Is m prime?
False
Let y(w) = -9*w + 64. Is y(-19) prime?
False
Let r(p) be the third derivative of -25*p**4/8 - 2*p**3/3 + 6*p**2. Is r(-5) a prime number?
False
Suppose 4*x = 5*y - 25, y + 5*x = -8 - 16. Is y/1 + -3 + 15 prime?
True
Let w(r) = -r**2 - 7*r + 1. Let f be w(-7). Let c(n) = 7*n - 1. Let u be c(f). Suppose l - u = -2*l. Is l composite?
False
Suppose 16 = -4*m, -m = 2*r - 4*r + 320. Is r a composite number?
True
Let y(o) be the second derivative of -o**5/10 - 7*o**4/12 + 7*o**3/6 + 7*o**2/2 - o. Suppose 0 = 3*u + a + 22, 0 = -4*u - u - 2*a - 38. Is y(u) prime?
False
Suppose -4*y = -i - 2*i + 221, 0 = -3*i - y + 241. Is i a prime number?
True
Suppose s + 5*k + 16 = -s, -2*k + 5 = -3*s. Let g(r) = -2*r**3 - 2*r**2 + r + 1. Is g(s) a prime number?
False
Let q(d) = -8*d**2 + 5*d + 1. Let y(h) = 7*h**2 - 4*h - 1. Let c(k) = 6*q(k) + 7*y(k). Is c(-4) a composite number?
False
Let b = -609 - -1786. Is b prime?
False
Let k(h) = -h**2 + 8*h + 5. Let q be k(8). Suppose -2*v - 2*p + 5*p + 166 = 0, 20 = q*p. Is v a composite number?
False
Suppose 78 - 12 = -4*u + 5*r, 0 = -3*u + 3*r - 48. Let i = u + 23. Is i composite?
True
Suppose -79*f + 6756 = -73*f. Is f a composite number?
True
Let j(d) = -d**3 - 3*d**2 - 2. Let n be j(-4). Is (-1)/2 + 91/n prime?
False
Let z(y) = y**2 + 8*y + 10. Let m be z(-7). Suppose -5*f + m*p = -336, -f + 4*p = 4*f - 338. Suppose -3 = -3*q + f. Is q a prime number?
True
Let h be (-2914)/(-7) + (-2)/7. Suppose -2*j + h = 5*v, v + 4*v = 2*j - 396. Is j prime?
False
Let o(q) = -974*q - 17. Is o(-2) a composite number?
False
Let g(v) = -4*v**2 + 3 + 2 - v**3 - 4*v + 0*v**3. Let l(p) = -p - 2. Let q be l(2). Is g(q) composite?
True
Let l = 10 - 7. Let t(v) = -l - 3 + 2*v + 1. Is t(4) prime?
True
Let l = 330 - 233. Is l a prime number?
True
Suppose 12*k - 7523 = 12169. Is k a prime number?
False
Suppose 2*t + 29 + 12 = 3*y, -2*y = 5*t + 93. Let j = 32 + t. Is j composite?
False
Suppose -3*q + 2*w = w - 1116, 0 = 2*q - 4*w - 734. Is q prime?
True
Let q be (-4 - 1)*-43*1. Let v = q - 136. Is v a prime number?
True
Let q be -1 - 1 - 158/1. Let o = 