j + w + h = 5*j. Is j composite?
True
Suppose 5*n - 941 - 2774 = 0. Is n composite?
False
Is 1/((-2)/(-1046) - 0) - 2 a prime number?
True
Suppose 3*g = 2*g + 1637. Is g a prime number?
True
Suppose -g + 3 = 3*i, 0 = -g + 2*i + 4 + 24. Let z = 1 - 1. Suppose z = 4*u + 2*r - 7*r - 33, -3*u = 3*r - g. Is u prime?
True
Let j(l) = -8*l - 17. Is j(-5) prime?
True
Let s be (1 + 0)/(6/24). Suppose -5*v + s*k = -126, -v + 3*v - 4*k = 48. Is v composite?
True
Let q(t) be the second derivative of t**3/6 - 3*t**2/2 - 2*t. Let c be q(5). Suppose -c*h + 6*h = 2*x + 636, 2*h - 2*x = 322. Is h a prime number?
True
Let s(z) = -49*z**3 + 1 - 85*z**3 + 3*z - 2*z + 41*z**3. Is s(-1) a prime number?
False
Suppose 2*k - k - 136 = 0. Let g = k - 79. Is g a prime number?
False
Let v(u) be the second derivative of u**4/12 + u**3 - u**2/2 - 10*u. Is v(8) a composite number?
True
Let r = 6 + -9. Let z(o) = -2*o. Let k be z(r). Let u(f) = f**3 - 5*f**2 - 4*f + 3. Is u(k) a prime number?
False
Suppose 4*w - 3*w = 0. Suppose -6 = -2*u - w*u. Is u prime?
True
Suppose 2*w + 6 = l + l, 0 = 3*w + 3*l + 39. Let f be 2/w + (-85)/(-20). Let u(s) = 33*s - 5. Is u(f) composite?
False
Suppose 3*k = -6*k + 603. Is k a prime number?
True
Let p be 2/(-7) + (-844)/(-14). Suppose 0 = 2*v - 4*v + p. Let y = v - 8. Is y a prime number?
False
Suppose 0 = -2*z - 66 - 0. Let n = -8 - z. Is n a prime number?
False
Suppose -x = 2*x - 225. Let u(b) = -b**3 - 4*b**2 + 2. Let s be u(-4). Suppose -3*l + x = s*l. Is l a composite number?
True
Let k(c) be the third derivative of -1/4*c**4 + 0*c + 0 + 1/12*c**5 + 2/3*c**3 - 2*c**2. Is k(-5) composite?
True
Let l = -245 - -394. Is l prime?
True
Let h be (6/(-15))/(5/(-50)). Suppose -h*x = -x - 633. Is x composite?
False
Suppose 3*n = n + 8. Suppose y = n*y - 654. Suppose y + 242 = 4*q. Is q a composite number?
True
Suppose 0 = 11*m - 5*m - 2682. Is m a composite number?
True
Let a = 0 - -3. Is a a composite number?
False
Let h be (1/(-4))/((-13)/50284). Let n = h - 556. Is n composite?
True
Suppose -4*b = m - 5*m - 3136, -4*m = 3*b - 2373. Is b composite?
False
Let g(n) = -72*n + 2. Suppose 2*o - 9 + 11 = 0. Is g(o) prime?
False
Let i(x) = 3*x + 5. Let h be i(4). Suppose 182 - h = z. Suppose -2*u - z = -5*u. Is u composite?
True
Suppose -d + 239 = -285. Suppose -188 = j - d. Let r = 573 - j. Is r composite?
True
Suppose -2*i = -5*i + 2088. Let a = i + -155. Is a a composite number?
False
Let y = -9 - -5. Is 5019/15 + y/(-10) a prime number?
False
Suppose 3*q + 4*b = 416, -q + 3*q - 5*b - 262 = 0. Suppose f = -2*g + q, -3*g - 2*f = -12 - 193. Is g composite?
False
Suppose -3*s + 0*j = 3*j + 21, -2*j - 16 = 3*s. Let h be (7 - 8)/(s/266). Suppose h = 2*t - 165. Is t prime?
True
Is 265 + 3 - (-2 + 5) composite?
True
Suppose q - 3*q + 694 = 0. Is q a composite number?
False
Let l = 1526 + -528. Is l prime?
False
Let g(p) = 2*p**2 - 23*p + 36. Is g(17) prime?
True
Suppose 2*c - 7 = -1. Suppose 5*a - 16 - 9 = 5*q, -c*q - 10 = -2*a. Suppose 0 = 4*m - 0*z + z - 268, 4*m - 3*z - 268 = q. Is m prime?
True
Let f(p) = p**3 + p**2 - p + 89. Is f(0) a composite number?
False
Suppose -4*j + 24 = 2*u, 0*j = j + 3*u - 16. Suppose j*p - 4*o - 2712 = 0, 0*p + 5*o = p - 682. Is p prime?
True
Suppose 9 = 3*y - 0. Suppose 0 = w - y*l - 104, -2*w = -7*w - l + 440. Is w composite?
False
Let x = 146 - 74. Let p = x - 38. Is p prime?
False
Let j(h) = 2*h - 9. Let i be j(6). Suppose q - 2*q + 4 = 0, i*p = 4*q + 485. Is p a prime number?
True
Suppose 3*n + 3*t = 18, -5*n + 3*t = -3 - 3. Suppose -4*u + 2*f + 0*f = -1506, -1147 = -n*u - 2*f. Is u composite?
False
Suppose 0 = 2*o - 6*o. Suppose 3*p - 6*p + 18 = o. Is 334/p + 6/(-9) prime?
False
Suppose -2*z - 1362 = -5*z. Is z a composite number?
True
Suppose -y - 6 = -3*j, -3*j - 5 = -4*y + 16. Suppose -4*r + y = 1. Suppose 3*p + 4 = -p, 2*x - 68 = r*p. Is x composite?
True
Suppose -9235 = -13*a + 8*a. Is a prime?
True
Let r(h) = -h**2 + 9*h - 7. Let o be r(7). Let q = o + -7. Suppose -m - m + 178 = q. Is m composite?
False
Let m(h) = -2*h**2 - 3*h + 1657. Is m(0) prime?
True
Let p be (-24)/(-10) + 21/35. Is 166/12 + p/18 prime?
False
Suppose 7 = 5*m + 4*y, 2*y = 4*m - 0*y - 16. Suppose 0 = -2*k + 3*b + 117, k + m*b + 9 = 45. Is k a prime number?
False
Let j(z) = 2*z**2 + 2*z - 2. Let a be j(-2). Suppose 8*f = 5*f + 234. Suppose a*d - x = -0*x + 41, 3*d - f = -4*x. Is d composite?
True
Let d(r) = -r**2 - 8*r + 3. Let a be d(-8). Suppose -6 = -4*i + a*w, 4 = -4*i + w - 3*w. Suppose -310 = -4*g + y, 5*g - g + 4*y - 300 = i. Is g a prime number?
False
Suppose 4*h + 629 + 852 = 3*l, l + h - 482 = 0. Is l composite?
False
Suppose -3*v - 3*y = -804, -3*v = -4*v - 4*y + 277. Is v a prime number?
False
Is (-262)/(-8) - (14/(-8))/7 prime?
False
Suppose 0 = -0*f + f + p - 3, 0 = -f + 2*p + 6. Suppose 4*j + 0*r - 184 = -r, j - 31 = -f*r. Suppose y - j = 80. Is y prime?
True
Let z = 12 - 17. Let l = z - -13. Let m = l + 5. Is m composite?
False
Let f = 577 + -344. Is f a prime number?
True
Suppose -3*r = 5*m - 3 - 4, 5*r + 5*m - 15 = 0. Is (-1)/r + 2781/36 composite?
True
Suppose 0 = a + 2*a - c + 29, -5*a - 45 = -c. Is a*(-9)/1 + -3 a prime number?
False
Let h = -12 + 20. Suppose 0*a - a - 5*d + 23 = 0, -2*d = -h. Suppose a*f + 565 = 8*f. Is f a composite number?
False
Let k = 5579 - 2356. Is k a prime number?
False
Let f be 6/4*(-44)/(-33). Suppose 0 = -f*a + 177 + 325. Is a prime?
True
Let c = -296 + 194. Is c/(-9) - 2/6 composite?
False
Suppose -13 + 3 = 5*q. Is (-676)/(-12) - q/3 a composite number?
True
Let c(f) be the first derivative of f**4/4 + 2*f**3/3 + f**2 - f - 1. Let m(h) = h**3 - 8*h**2 + 7*h + 2. Let t be m(7). Is c(t) composite?
False
Suppose 7*x - x - 25926 = 0. Is x a prime number?
False
Let y(m) = 21*m**2 + 6*m + 4. Let a be y(-4). Let i = a + -113. Is i a composite number?
True
Suppose -301 = -f + 5*i, -i + 502 + 78 = 2*f. Suppose -f = -2*d + 547. Is d prime?
True
Let w(l) = -2*l**2 - 374. Let d(h) = h**2 + 187. Let g(t) = 7*d(t) + 3*w(t). Is g(0) a prime number?
False
Let n(l) = -l**3 + 20*l**2 + 11*l + 7. Is n(14) a composite number?
True
Is -5*1*818/(-2) prime?
False
Let q(y) = -y**2 + 7*y - 5. Let l = 17 - 10. Let o be q(l). Is (182/(-35))/(2/o) a prime number?
True
Let d = -6 - -8. Suppose -d*b + 3*s = -16, 3*b + 2*s = 11 - 0. Suppose -b*x + 274 = 9. Is x a prime number?
True
Suppose -1052 = -4*r + 4*n, 0*n = -4*r - 5*n + 1061. Let f = r + -82. Let m = f - 27. Is m prime?
False
Suppose -4*b + 28 = -2*b - 3*c, -20 = 5*c. Let r(u) = u**2 - 8*u - 3. Let o be r(b). Is ((-298)/8)/(o/12) composite?
False
Is (-19 - -18)*(-1)/1*2467 a prime number?
True
Let b = 20 - 14. Let s = 1 + b. Is -4*s*39/(-12) prime?
False
Let w = 7 + -11. Let q(a) = -4*a + 0*a + 2*a**2 + 5 - a**2. Is q(w) a prime number?
True
Suppose 36 = d - 3*n - 1627, 5*d - 4*n - 8293 = 0. Is d prime?
True
Let j(r) = 36*r + 7. Is j(6) composite?
False
Suppose -5*a = -144 - 1. Let d = a + 82. Is d prime?
False
Suppose 0 = -2*i + 7*i - 95. Is i a composite number?
False
Let b(c) = -c**3 - 4*c**2 - 2*c - 1. Suppose 0 = 4*l + 12 - 76. Suppose l = -4*g - 4. Is b(g) a prime number?
False
Is (1 - -16)/((-3)/(-6)) a composite number?
True
Suppose 0 = 3*s - b - 7485, -2*b + 4990 = 3*s - s. Is s prime?
False
Suppose 50 = 3*z - 8*z + 5*q, -30 = 3*z - q. Is (-4)/z - 326/(-10) prime?
False
Let z be 26/8 - 3/12. Let y = 1 + z. Let f(q) = q**3 - q**2 + 2*q - 3. Is f(y) a prime number?
True
Suppose c + y - 307 = 0, 2*c - 328 - 286 = -3*y. Is c a composite number?
False
Suppose -4*g - 4*h = -4, -2*h = -2*g - 7*h - 4. Suppose -g*l = -4*l + 3, -f + 91 = 4*l. Is f composite?
False
Suppose 5*z = -3*j - 1078, -z - 638 = 2*z + 4*j. Let o = -129 - z. Is o a prime number?
True
Let n = -167 + 640. Is n composite?
True
Let r = -4 + 3. Let a = r - -6. Suppose 0 = 7*o - 4*o - 3*g - 84, -o = a*g + 2. Is o a composite number?
False
Let y(p) = -p**3 + 3*p**2 - 6. Let r be y(5). Let d = r + 171. Is d a prime number?
False
Let d = 1692 + -149. Is d a prime number?
True
Let a(g) = -3*g**3 - g**2 - g - 1. Let k be a(-1). Let q be (k + 2 + -2)/1. Suppose -q*u = -3*u + 37. Is u a composite number?
False
Let d(n) = n - 5. Let k be d(7). Suppose -140 = k*u - 6*u. Is u composite?
True
Suppose 5*s +