t - 187. Is z a prime number?
False
Suppose q + q = 150. Let t = -50 + q. Is t prime?
False
Suppose -3*v = 4*c + 627, -3*c - v = -2*c + 156. Let k = -92 - c. Is k prime?
True
Let t be (-6)/2*(-2 + -5). Suppose -2 = p - t. Is p composite?
False
Let v(q) = 37*q - 31. Is v(6) a prime number?
True
Suppose -x - 6*b = -3*b - 40, -5*b - 72 = -x. Let r = -5 + 10. Suppose 0 = -r*m + 203 + x. Is m composite?
True
Let s(p) be the second derivative of -p**5/60 - 3*p**4/8 - p**3/6 - p**2/2 + 4*p. Let f(d) be the first derivative of s(d). Is f(-4) prime?
True
Let h(v) = -v**3 + 12*v**2 - v + 17. Let l be h(12). Suppose 7*d - l*d - 194 = 0. Is d prime?
True
Suppose 3*r - 566 = 412. Let n = r - -29. Is n composite?
True
Let z(j) be the second derivative of -j**3/6 + 7*j**2/2 + 3*j. Let p be z(5). Is (2 + 27/6)*p composite?
False
Let c = -95 + 286. Suppose 0*l = l - c. Is l composite?
False
Let w = -6 - 3. Let i(c) = -2*c + 15. Is i(w) a prime number?
False
Let f = 70 - 42. Suppose 5*p + 30 = 5*a, -3*a + 10 = 4*p - 5*p. Suppose j = -d + f, -122 = d - 5*d - a*j. Is d a composite number?
True
Suppose 3*l = 4*r - 130, 4*l = -3*r - r - 192. Let x be l/(0 - (-1)/2). Is ((-6)/2)/(4/x) a prime number?
False
Suppose 2*o + 281 + 233 = -4*u, 4*u = o + 269. Let j = o - -178. Is (3 + -1)*j/(-2) a prime number?
True
Let m = -84 - -143. Is m composite?
False
Let o be ((-3)/3)/(2/(-12)). Suppose -4*x - 3*z = -48, o*z - 4*z = 4*x - 68. Is x composite?
True
Let h be (-1 + 0 - -2) + 267. Is (-3)/(-2)*h/6 prime?
True
Let g = -22 - -1. Let n = g - -55. Is n composite?
True
Suppose -5*j = 4*k - 0*j + 1, k = 5*j + 6. Let c = 0 + -1. Let w = k - c. Is w composite?
False
Suppose -8 = -p - 3*p. Let j be (p/(-3))/((-4)/18). Is 2*j*(-6)/(-4) prime?
False
Let a(s) = 190*s**3 + 1. Is a(1) composite?
False
Let j = 916 + -390. Is j composite?
True
Let m = 990 - 697. Is m prime?
True
Suppose 0 = -5*b + 174 + 21. Let f = 65 - b. Is 1*f*1/2 a prime number?
True
Is 5083/9 - 10/(-45) a prime number?
False
Let c be 8/(-28) - 682/14. Let a = c + 80. Is a a prime number?
True
Let r(a) = -a**2 - 6*a + 7. Let c be r(-7). Suppose -y - f + 79 = c, -4*y + 121 = 2*f - 191. Suppose -3*k = 2*j - 119, 5*j = 3*k - 14 - y. Is k a prime number?
True
Let j(v) = -v + 12. Let o be j(6). Suppose o*x - 2*k - 125 = 5*x, -k - 262 = -2*x. Is x composite?
True
Let s(j) = -18*j**2 - j + 1. Suppose x - z = 4, 5*x - 7 - 7 = 3*z. Let v be s(x). Let r = v + 29. Is r prime?
True
Let z = 282 + -77. Let l = 396 - z. Is l composite?
False
Suppose -381 = -s + 395. Suppose -d = 2*l - 603 - s, 2*d = -l + 685. Is l a prime number?
True
Let j = -5466 - -8327. Is j prime?
True
Suppose 0*z - 3*z = -1185. Is z a composite number?
True
Let u(s) = -62*s - 7. Is u(-6) a prime number?
False
Let v be (-1)/3 - (-10)/3. Let o = 3 - v. Suppose o = 5*j - 12 - 38. Is j a prime number?
False
Let r(w) = 3*w - 65. Let o(u) = -16*u + 325. Suppose 3*a - 4 = -5*y, -y = -3*a + y - 10. Let i(v) = a*o(v) - 11*r(v). Is i(0) a composite number?
True
Suppose -3*x + 11*x - 728 = 0. Is x a composite number?
True
Is (-7749)/(-14) - -4*1/(-8) a prime number?
False
Suppose 2*t - 3 = 1. Let n = 0 + t. Suppose 370 = n*s - 0*s. Is s a composite number?
True
Let k(c) = 2*c + 1. Let n(m) = 2*m + 1. Let w(l) = 5*k(l) - 6*n(l). Let g(q) = q**2 - q - 8. Let v be g(3). Is w(v) composite?
False
Let f(c) = -91*c - 18. Is f(-13) prime?
False
Let r be 3 - 3/(-9)*0. Suppose -r*p - 441 = 3. Let m = p - -267. Is m prime?
False
Let i(r) = -r**3 - r**2 + 7*r - 5. Let f be i(4). Suppose -3*c = -2*j + 2*c + 213, 0 = -4*j + c + 381. Let z = j + f. Is z a prime number?
True
Suppose 2*y - 2*z = -y - 43, 0 = 5*y - 5*z + 70. Let d(g) = g - 22. Let q be d(0). Let b = y - q. Is b a composite number?
False
Suppose 0 = -4*t + 24 + 4. Suppose 3*f + 20 = -2*f. Let c = t + f. Is c composite?
False
Let w = 90 - -23. Suppose -l = -p + 31, -w = -p - 2*p - 2*l. Is p a composite number?
True
Let f(x) = x**3 + 11*x**2 + 10*x + 2. Let s(t) = -3*t**2 - t. Let a be s(-2). Let c be f(a). Suppose 15 + 11 = c*i. Is i a prime number?
True
Let b = 1 - -4. Suppose b*t - 5*n = 1100, -12 = n + 3*n. Is t composite?
True
Let d = 311 - 181. Let n = d - 91. Is n a prime number?
False
Suppose 0 + 6 = -3*u, 3*x + 2*u - 38 = 0. Suppose -5*r = -5*w - 15, -4*w - r - r + 6 = 0. Is (1 - w) + 0 + x prime?
False
Let c(u) = 2*u**2 - 6*u - 7. Let j be c(9). Suppose r = -2, -4*r - j = -b + 170. Is b a prime number?
True
Let a(n) = -n + 5. Let i be a(5). Suppose f + 2 = 5*t, -5*f + 0*f - 10 = i. Is (1 + t)*(2 + 12) composite?
True
Let c(m) = -2*m + 8. Let u be c(6). Let f be u/3*216/16. Is -6*1*117/f prime?
False
Let c = -46 - -84. Is c a composite number?
True
Let t(o) = 7*o**3 - 4*o**2 + 2*o + 2. Is t(5) prime?
True
Suppose 0 = 3*j - x + 12, 3*x = 2*j + 13 + 2. Let p be -138*(-1 + j + 3). Let o = p - 49. Is o a prime number?
True
Let a = 23 + -11. Is (-2124)/a*(-2)/6 composite?
False
Let l = 461 + -270. Is l prime?
True
Suppose 0 = -5*s - 6 + 16. Suppose s*q = -q + 1113. Is q composite?
True
Let w = 6 - 3. Suppose 5*y - 2*y = w. Let d(t) = 14*t**3 - 2*t**2 + t. Is d(y) a composite number?
False
Suppose -5*o + 10 = -5. Suppose 2*a + 58 = 3*a - 5*l, -o*a = 2*l - 106. Is a a prime number?
False
Suppose 0 = -4*j - 3*t + 986, 0 = 2*j - 5*t - 64 - 442. Suppose -o = -z - 87, 4*o + 3*z - 72 = j. Is o composite?
False
Let q = 160 - 66. Is q prime?
False
Let x be (-18)/(-81) - 25/(-9). Suppose -x*t = -t - 154. Is t prime?
False
Suppose 9455 = 5*y + 2*z, 3*y - 8*z = -3*z + 5642. Is y a composite number?
False
Suppose -14 = 3*r + 4*x, 3*x + 2 = -4. Is (-1 + 243/(-6))*r prime?
True
Let c(j) = -245*j + 9. Let f(u) = -367*u + 14. Let t(g) = 8*c(g) - 5*f(g). Is t(-1) prime?
True
Suppose 94*m = 92*m + 398. Is m a composite number?
False
Suppose -3*p + 3*o + 19449 = 0, 7*p - 4*o = 4*p + 19447. Is p/25 + (-4)/10 a prime number?
False
Let g be (-215)/(-10) - (-2)/(-4). Suppose -v = 6*y - y - 9, -5*v - y + g = 0. Suppose -v*w + 3*d + 389 = 0, -622 = -5*w + 2*d - 141. Is w a composite number?
True
Suppose 11*o = 6*o - 20. Is 0 + (94 - 12/o) a prime number?
True
Let s be 414 - (2 - 0/1). Let r = -235 + s. Is r prime?
False
Suppose 4*x - 4401 = -3*l - 2*l, -l - 4*x + 893 = 0. Is l prime?
True
Is 1*(1 - (-543)/4)*28 composite?
True
Let s(x) = 5*x**2 - 16*x + 29. Is s(12) a prime number?
True
Let t(f) = -185*f + 4. Let a(b) = b**2 - 9*b - 5. Let g be a(9). Is t(g) prime?
True
Suppose 5*d + 2*h = 13 + 7, d - 7 = -h. Suppose i = d*r - 177, -9 + 4 = -5*i. Is r prime?
True
Let q = -10 - 44. Let r = q - -145. Is r composite?
True
Let t(m) = -3*m**3 + 4*m**2 - 4*m + 3. Let w be t(3). Let u = 213 + w. Suppose u = 3*i - 0*i. Is i composite?
False
Suppose -7*m + 1239 = -910. Is m a prime number?
True
Suppose c = -3*c - 492. Let a = -44 - c. Is a a prime number?
True
Let c be (-1 - 9)*(-2)/4. Let h(w) be the first derivative of 3*w**4/4 - 7*w**3/3 + w**2/2 + 6*w + 4. Is h(c) composite?
False
Let h(l) = 6*l**2 - 4*l - 9. Is h(11) a composite number?
False
Let g(f) = f**2 + 2*f + 1. Let a be g(-3). Suppose -4*x + 442 = -4*p - p, -454 = -a*x - p. Is x composite?
False
Suppose -m = 2*m - 3*t - 174, 10 = 2*t. Suppose 6*f = 4*f + 284. Let y = f - m. Is y a prime number?
True
Let d(m) = m - 5. Let w be d(9). Suppose c - z = 169, w + 6 = -5*z. Is c composite?
False
Let x = -800 - -2115. Is x prime?
False
Suppose x + 98 = -0*x. Let s = x - -147. Is s a prime number?
False
Let v(p) = p**3 + 4*p**2 - 4*p - 4. Let y be v(-4). Let h be (341 - 2)*4/y. Suppose u - 14 = h. Is u a prime number?
True
Let g = -561 - -796. Is g prime?
False
Suppose 0 = -7*a + 4*a + 6. Let w(g) = 5*g**2 - 4*g**a - 6*g + 5*g**2 - 1. Is w(-4) a composite number?
True
Suppose 22 = 3*f - 8. Let h = f - 7. Suppose 4*z = 3*p + 345, h*z - z - 3*p - 171 = 0. Is z composite?
True
Let f(y) = y**2 + 10*y - 5. Let q be f(-11). Is ((-186)/(-5))/(q/15) composite?
True
Let d be (-16)/(-10)*5/2. Let r = d - 5. Is 1240/8 - (1 + r) composite?
True
Suppose -4*k - 111 = -31. Let t be (12/(-10))/(6/k). Suppose t*f - 36 = -2*i, -2*i + i + 2*f = -26. Is i composite?
True
Let o(l) = 2*l**2 + 1. Let q(k) = -2*k**2 + 4*k - 3. Let f be q(2). Is o(f) composite?
False
Suppose 0 = -2*f + 4. Let a be 1/2*f + 24. Suppose 0*