 p a composite number?
False
Let m be (-2042)/(-10) - 2/10. Suppose g = 4*g - m. Let k = g + -37. Is k a composite number?
False
Let l(t) = 24*t + 1. Let v(q) = -24*q - 1. Let g(a) = -4*l(a) - 5*v(a). Is g(4) composite?
False
Let j = 523 - 322. Is j prime?
False
Suppose 5*j - 474 - 701 = 0. Is j a prime number?
False
Let g(w) = -w + 2. Let x(z) = z**3 - 2*z**2 + z - 2. Let k be x(2). Let i be g(k). Suppose 0 = -p - 4*m + 47, p + i*m - 5 = 52. Is p composite?
False
Suppose 0 = -2*x - 5*c + 5769, 0 = 2*x + 4*c - 8512 + 2738. Is x a composite number?
False
Suppose -4*x - 6645 = -7*x + y, 3*x - 6657 = -3*y. Suppose -2*p + 0*p + x = 0. Suppose 4*z - 208 = p. Is z a prime number?
False
Suppose 0*h - 10 = -h. Is 648/h + (-6)/(-30) composite?
True
Suppose -9 = -5*t + 2*t. Is 1/((-3)/(-168)) - t composite?
False
Let d = -39 - -116. Is d prime?
False
Let a = -73 - -1582. Is a prime?
False
Let m = -9 + 11. Is -3 - (0 - m)*34 a composite number?
True
Let u(r) = 2*r**2 + 25*r - 25. Is u(-26) a prime number?
True
Suppose -a = -5*g - 427, -3*g + 4*a - 2*a = 252. Let h = -40 - g. Suppose -h = -p - 8. Is p composite?
True
Suppose 3*i = 2 + 16. Suppose -3*l + i*l - 4*s - 97 = 0, -5*l - 3*s = -152. Is l a composite number?
False
Suppose j - 3*j = 0. Let b = j + 3. Is 39/(-9)*b*-1 prime?
True
Let r be (2/4 - 1)*-446. Is (r/2)/(3/6) a prime number?
True
Let w be (-8)/20 + 78/(-5). Let m = 3 - w. Is m prime?
True
Let p(w) = -w**3 - 2*w + 89. Is p(0) a prime number?
True
Suppose 5*p - 28 = p. Suppose -635 = -p*j + 2*j. Is j prime?
True
Let p(i) = -i**3 - 20*i**2 - 4*i - 1. Is p(-20) composite?
False
Suppose 0 = -3*n - 2*n + 70. Suppose -4*q + 6 = -6. Let v = n - q. Is v composite?
False
Suppose 1207 = 7*y - 5366. Is y a prime number?
False
Let f be 1*1*(2 - -1). Suppose -f*s - 3*z + z = -22, 5*s = 5*z + 70. Is s prime?
False
Let r(q) be the third derivative of q**5/30 - 5*q**4/24 - q**3/2 + 4*q**2. Is r(5) composite?
True
Let k be -1*(0 - 1) + 11. Suppose 2*z = z + 4*y - 20, -15 = -3*y. Suppose z = x + x - k. Is x composite?
True
Suppose 16*c - 14*c - 14 = 0. Is c composite?
False
Suppose 6 = 2*f + 2*g, 0 = -4*f - f - 3*g + 13. Is 100 - f*12/8 a composite number?
False
Suppose 1302 = 7*g - g. Is g a prime number?
False
Suppose 0*r = 2*r - 148. Is r a prime number?
False
Let i be 6/9*(0 + 3). Suppose -i*q - 6 + 26 = 0. Is q prime?
False
Let k(l) = -4*l**2 + 3*l - 3. Let o(t) = -t**2 - t + 1. Let g(j) = -k(j) + o(j). Is g(9) a composite number?
False
Let w(x) = -2*x - 3*x**2 + 6*x + 1 + 5*x**2. Is w(-3) a composite number?
False
Let i(q) = q**2 - 3*q - 4. Let v be i(4). Suppose 5*g + 2*m + 2 = g, 3*m + 3 = v. Suppose -t + 7 = -2*s + 3*s, g = s. Is t composite?
False
Let z = 2 - 0. Suppose x - 5*t = 2*x - 218, x - z*t - 197 = 0. Is x a composite number?
True
Let t be 3/(-7) + (-6464)/(-7). Suppose -2*r = 5*q - t, 2*q - 3*r - 197 = 176. Is q composite?
True
Let x = -222 + 1361. Is x prime?
False
Let h = 4 + -6. Let u be 2*h/(-4)*-1. Is u/3 - (-34)/3 composite?
False
Suppose 4*y - 1328 = -5*z, 237 = y + z - 96. Is y prime?
True
Let u = 18 + -5. Let v(s) = s**2 - 6*s - 2. Is v(u) composite?
False
Suppose -4*v + 318 = f, 5*f - f - 8 = 0. Is v a prime number?
True
Let c(d) = -d - 13. Let g be c(-11). Is g/(1 + -3)*53 prime?
True
Suppose 0 = 3*n + 20 - 278. Suppose 5*j = -106 - 89. Let y = n + j. Is y a composite number?
False
Let k = -8 + 10. Suppose -863 = -4*i - s - 2*s, 0 = -5*i - k*s + 1077. Is i a composite number?
True
Let h(v) = v + 8. Let m be (-5)/2*(-2 - -4). Let y be h(m). Suppose y*s + 58 = 4*s. Is s a composite number?
True
Let y(x) = x**3 - 4*x**2 + 3*x - 4. Let o be y(4). Let j(s) = -s + 11. Let i be j(o). Suppose -5*d = -i*d - 68. Is d composite?
True
Let x(z) = 4*z**2 + z - 10. Let t(j) = -3*j**2 + 10. Let k(l) = 5*t(l) + 4*x(l). Let y = 0 - 7. Is k(y) composite?
False
Let k be 0*1/(-2) + 4. Suppose x - k*x = -3*m + 435, -m - 4*x = -165. Is m a prime number?
True
Let h = 5 + 76. Suppose h = 4*v - 2*v - r, 0 = -2*v - 4*r + 106. Is v composite?
False
Let p = 39 - 19. Suppose 0 = 2*c - 3*x - 19, 5*c - 7*x + 3*x = 30. Suppose 3*n - c*a - p = n, 6 = 2*a. Is n composite?
False
Let q = 4 - 15. Let f = 29 + q. Suppose i = 3*z - 108, -5*i - 208 = -5*z - f. Is z a prime number?
False
Let x(m) = -25*m + 4. Let s = 11 - 9. Let a be (s/(-6))/(3/27). Is x(a) a prime number?
True
Let k(x) = 11*x**3 - 5*x**2 + 4*x - 7. Is k(3) composite?
False
Suppose -2*v - v + 3827 = 4*i, i = 5*v + 974. Is i a prime number?
False
Suppose 3*h + b = 11, -2*b = -0*b + 8. Suppose 12 = h*k - 13. Suppose -c = -5*u - 257, -u + 793 = 3*c - k*u. Is c composite?
True
Let k = 37 - 79. Let d = k - -89. Is d a composite number?
False
Suppose 3 = 3*t + c, -2*t + 1 = 4*c - 3*c. Suppose -t*w + 114 = -16. Is w a prime number?
False
Suppose 38 = 5*o - o + 2*d, 4*d - 40 = -4*o. Let q = -6 + o. Suppose q*x + 29 = 266. Is x a prime number?
True
Let w(y) = -y + 31. Let o be w(0). Let b(t) = -t**3 - 8*t**2 - 4*t + 5. Let v be b(-7). Let s = o + v. Is s composite?
True
Let f(n) = 4*n + 3. Is f(7) prime?
True
Let a be (-4 - 0) + 3 - -537. Suppose -3*j + 253 = -a. Is j composite?
False
Is (8394/(-8))/((-9)/12) composite?
False
Suppose -3*m + 2 = -7. Suppose -6*s - 20 = -2*s, v = -m*s - 13. Suppose 0 = -3*d + v*j + 82 + 73, 5*j + 255 = 5*d. Is d a prime number?
True
Is (0 + -2)/(20/(-250)) a prime number?
False
Let i(p) = p**3 + 12*p**2 - 17*p - 5. Suppose -4*o = -0*o - 4. Let t be -3 + o*(1 + -10). Is i(t) a prime number?
True
Suppose -3*b + 7*b - 200 = 0. Let d = b - 31. Is d prime?
True
Is 4/((-4)/4490*-1*5) a composite number?
True
Let c(u) = 4. Let n(p) = -p. Let v(q) = -c(q) + n(q). Let a be v(-8). Suppose -o = -a*o + 249. Is o a composite number?
False
Is ((-5)/((-20)/911))/(2/8) composite?
False
Let d be (-2)/12 + (-51)/18. Is -2 - ((-3)/d + -25) a composite number?
True
Let y(z) = 17*z**2 - 6*z - 17. Is y(-12) a prime number?
True
Suppose 4*s + 16 = 0, 0 = -4*a - 4*s - 0*s - 8. Suppose -a*z = 4*j - 28 + 4, -15 = -5*j. Is z prime?
False
Let f(n) = n**3 + 7*n**2 - 2*n - 5. Let u be (1 + 0)*(2 - 7). Let x be f(u). Suppose -r = -0*r - x. Is r a composite number?
True
Let t(v) = 37*v. Is t(3) a prime number?
False
Let u = 62 + -23. Is u composite?
True
Let q be (-4)/14 + 210/49. Let c = -6 + q. Is (2/c + 2)*7 prime?
True
Let p = -54 + 110. Let r(o) = 3*o - 13. Let a be r(9). Suppose p = 2*b + a. Is b prime?
False
Let m(w) = -w + 1. Let i be m(3). Let j = 1 + i. Is 23/(1*(j + 2)) prime?
True
Let g be (-12 - -13)*-1*5. Let c(k) = -183*k - 10. Is c(g) composite?
True
Suppose 5*t - 12145 = 3*y - y, 5*y = -5*t + 12110. Is t composite?
True
Suppose 3*p + 5*s + 76 = 0, 2*s = -5*p - 43 - 109. Let r be 251/4 + 2/8. Let t = r - p. Is t a composite number?
True
Let z = 392 - 624. Let c = -17 - z. Is c prime?
False
Suppose -l = 0, 0*s - 4*l - 10 = -2*s. Suppose n = -s*v + 9, -v + 9 = -5*n + 28. Let x(q) = 3*q - 1. Is x(n) prime?
True
Is (1 + 1)*128 - 5 composite?
False
Let l be 0 + -1 + (-180)/2. Let p be l - (0 + (-2 - -2)). Let f = 182 + p. Is f a composite number?
True
Let p(g) = 2*g**2 + g. Is p(-2) prime?
False
Let x(v) = -v - 7. Let h be x(-9). Let q(b) = 261*b - 1. Is q(h) a composite number?
False
Let a = 135 - 81. Let v = -1 - -5. Suppose -20 = v*w + 4*y - 116, 0 = -3*w + 3*y + a. Is w a prime number?
False
Suppose -i + 1 - 18 = -5*f, -4*f + 1 = i. Let b(p) = -3*p**2 - p. Let k(l) = l**2. Let n(h) = -6*b(h) - 17*k(h). Is n(i) prime?
True
Let j(r) = -r + 11. Let n be j(8). Suppose -n*p = p - 92. Suppose 0 = -x - 2 + p. Is x a composite number?
True
Suppose -6*d + k + 146 = -3*d, -5*d + 3*k + 246 = 0. Suppose -4*p + 0*p = 5*t - 76, -4*p = -2*t - d. Is p prime?
False
Suppose 5*y + 10 = 5*p, -y + 4*y = -9. Let m = 12 - p. Is m composite?
False
Let u(w) = -w + 1. Let o be u(-3). Suppose a + 201 = o*a. Is a a composite number?
False
Suppose 33 = b + t, -7*t + 3*t = -b + 13. Suppose 0 = g + b - 88. Is g composite?
False
Suppose j + 14 = 3*k, -4*j - 2*k = -j - 13. Let w be j*(4 + -1) + -12. Is ((-894)/w)/((-4)/(-6)) a prime number?
True
Suppose n = -204 + 5. Is n*(2 - -1)/(-3) prime?
True
Let t(b) = 27*b + 39. Is t(22) prime?
False
Suppose 10 = 5*b, -5*z + 0*b + b + 13 = 0. Suppose -4*y - l = -z*l - 1232, 2 = -l. Is