 (-1 + 3)/(12/c) a composite number?
False
Let h(x) = -58*x - 1. Is h(-1) prime?
False
Is (10/4)/(3321/(-666) + 5) prime?
False
Let y(t) = -111*t - 25. Is y(-14) composite?
True
Let z(r) = -r**2 - r**2 + r**2 - 1 + 0. Let s be z(-1). Is 2 + s + -1 + 60 composite?
False
Let q(f) = -f**2 - 8*f + 11. Let s be q(-9). Suppose y - 5*j + 3 = 61, y - s*j - 55 = 0. Is y prime?
True
Suppose 666 = 2*x - 580. Is x a prime number?
False
Let h be 1/((-1)/(33 - 0)). Let w = h + 64. Is w a composite number?
False
Suppose -12 = 4*j, 5*g - j + 296 = 1074. Is g prime?
False
Suppose -3*m + 3*v = -717, m + m = 5*v + 490. Is m a prime number?
False
Suppose 2892 + 283 = 5*x. Is x prime?
False
Let s = 68 - -20. Suppose n - s = 243. Is n a composite number?
False
Suppose -4*b + 78 = -22. Suppose 5*f - b = -0*f. Suppose -f*i + 132 = -i. Is i prime?
False
Suppose 2*f + 20 = -4*m, m + 3*m + 36 = -4*f. Is ((-74)/f)/((-1)/(-4)) a prime number?
True
Let u(b) = -2*b - 4. Let j be u(6). Let q = 131 + j. Is q a composite number?
True
Let x be (-138)/(-30) - (-2)/5. Let j = 254 - 123. Suppose x*a - 44 = j. Is a prime?
False
Let n be -2 - (-1 - (-2)/(-2)). Suppose -s = 4*p - 43 - 262, n = -4*p + 4*s + 320. Is p composite?
True
Let x(b) = b**3 + 13*b**2 + b + 7. Is x(-8) a prime number?
False
Let t be 0 - 0 - -3 - -2. Suppose 2 + 2 = 4*p - 4*g, -2*g = p + 2. Suppose -4*u + t + 39 = p. Is u a composite number?
False
Suppose -3*l = -5*h - 25, 2*h + 10 = -2*l + 3*l. Suppose 3*t + t - 268 = l. Is t a prime number?
True
Let i(v) be the second derivative of 1/3*v**3 - 3/4*v**4 + 0 + 1/20*v**5 - 1/2*v**2 - 4*v. Is i(10) a composite number?
True
Let r = 461 + 636. Is r a composite number?
False
Suppose 160 = -2*q + 2442. Is q composite?
True
Is (2/2)/((-25)/(-13525)) prime?
True
Suppose 368 = -0*a + 2*a. Suppose 3*j - 263 = a. Is j composite?
False
Let c(i) be the third derivative of -4*i**4 - i**3/6 + i**2. Is c(-2) composite?
False
Is 94170/50 + (-2)/10*2 a prime number?
False
Suppose 4*x = -2*p + 290, -2*p - 3*x + 137 + 155 = 0. Is p prime?
True
Let q(w) = 988*w + 1. Is q(1) a prime number?
False
Let c(l) = l**3 + 6*l**2 + 4*l. Let u be c(-5). Suppose 3*g + u = -2*o + 3*o, -2 = -o. Let i(r) = 113*r**2 - r - 1. Is i(g) prime?
True
Let r = -135 + 314. Is r a prime number?
True
Let s be (7 + -6)*3*-1. Is (-1)/s*(2 + 1441) a prime number?
False
Is (-4)/14 + 15957/63 prime?
False
Let z(j) be the first derivative of j**4/4 + 3*j**3 + 3*j**2/2 - 3*j - 1. Suppose 5*a + 0*t + 25 = t, 2*t - 14 = a. Is z(a) composite?
True
Let y(m) = -m**3 + 2*m**3 - 3*m**3. Let n = 2 - 3. Is y(n) a prime number?
True
Let m(u) = u**2 + 6*u - 9. Let r be m(-7). Let z = 48 + r. Suppose 5*h - z - 4 = 0. Is h prime?
False
Suppose -4*j + 0 = -24. Is j a composite number?
True
Suppose 2*n + 1147 = 2*r - 1035, -2182 = -2*r - 2*n. Is r composite?
False
Suppose -436 = -5*o + o. Is o prime?
True
Suppose r - 2 = -0. Let q be (r - -1)/(-3) + 28. Suppose -a + 3*s + q = 0, -2*s + 46 = 3*a - 13. Is a a composite number?
True
Let a(r) = r**3 + 11*r**2 + 13*r + 12. Is a(13) a composite number?
True
Let j be (1*3)/(6 - 5). Suppose -j*n - n + 3*q + 148 = 0, 0 = -n + 2*q + 37. Is n a prime number?
True
Is (4098/6)/(0 + 1) composite?
False
Suppose 2*h + 4 = 4*h. Let q be (-3 - -1)/h + 1. Let x(r) = r + 35. Is x(q) prime?
False
Let b(v) = 7*v**2 + 5*v + 5. Let g(q) = -q**2 - 1. Let c(o) = -b(o) - 6*g(o). Let a be c(-6). Is (-1593)/45*a*1 composite?
True
Let v be 6/(-9) - 4/(-6). Suppose y - 219 - 49 = v. Let h = y - 141. Is h a composite number?
False
Let j = 7 + -8. Let d be (-3 - j) + 2 + -3. Is d/(-1 + -2)*67 prime?
True
Let f = 6 + -5. Is (-2 - -2) + 30 + f a composite number?
False
Suppose 542 + 302 = 2*b. Let c(a) = a**3 + a**2 + 2*a + 174. Let d be c(0). Suppose 3*l + d = 5*l - 4*y, 5*l - b = -3*y. Is l a composite number?
True
Suppose h + 6 = 4*g, 5*h - 4*g + g - 4 = 0. Suppose -2*r + 5*r = -2*a + 29, -3*a + 26 = h*r. Is r composite?
False
Let h(n) = 7*n**2 - n. Let l be h(1). Is -10*1/(l/(-9)) a composite number?
True
Let d be (-4)/(-6)*(-57)/(-2). Suppose 0 = -3*b - 55 + d. Is 774/8 - 3/b composite?
False
Let u(b) = -b**3 + 3*b**2 + 8*b + 15. Is u(-7) composite?
False
Let v = -437 + 628. Let y = v + -13. Is y a composite number?
True
Suppose 2*t - 7 = 1. Suppose 2*b - b + 4*r = 10, b + 2*r = t. Is b + (-2*1 - -19) a composite number?
True
Suppose 0 = s - 0*s - 211. Is s a prime number?
True
Let r(k) = -2*k**3 - 4*k**2 - 7*k - 5. Let y = -6 - -2. Is r(y) a composite number?
True
Let o = -105 + 452. Is o a composite number?
False
Let m be 20/6 - 4/(-6). Suppose 0 = m*k - 0*k - 580. Is k prime?
False
Let u be 2/6*62*3. Suppose 0 = d - a - 6 - 21, 0 = 3*a - 12. Let t = u - d. Is t prime?
True
Let z = 943 - 156. Is z composite?
False
Let p = 547 + -230. Is p a prime number?
True
Suppose 3*a + a - 620 = 0. Let v = 274 - a. Is v a prime number?
False
Let m = 1190 + 347. Is m a prime number?
False
Let g be (4/(-5))/(4/(-10)). Is (-209)/(g - (-3)/(-1)) a prime number?
False
Let w(c) = -1 + 2 + 4*c + 0 + 4*c**2 - 2. Is w(-3) composite?
False
Suppose -4*n = -0*n - 32. Suppose -5*a = -n*a + 231. Is a composite?
True
Suppose 985 = -5*w + 3*d, 0*w + 394 = -2*w - 3*d. Let a = w + 312. Is a a composite number?
True
Suppose 16 = -2*c - 2*c - 4*a, 5*c = 3*a - 20. Let x(y) = -y**3 + y**2 + 5. Is x(c) composite?
True
Let j(q) = q**2 - 10*q - 6. Is j(23) a composite number?
False
Let k = -10220 - -6685. Is k/(-20) - 1/(-4) a composite number?
True
Let g(d) = -d**2 - d. Let w(v) = -23*v**3 - 7*v**2 - 7*v. Let p(h) = -35*g(h) + 5*w(h). Suppose -t - 4 = c, 3*t - 2*c - 7 = -4. Is p(t) a prime number?
False
Let q = -803 + 1360. Is q a composite number?
False
Suppose 0 = -p + 2*p. Let c(g) be the first derivative of -g**2/2 + 39*g - 1. Is c(p) prime?
False
Suppose v + 3*v = 5748. Suppose -4*a = -a - v. Is a prime?
True
Let y(w) = 50*w**2 - 3*w - 2. Is y(-1) a composite number?
True
Suppose 0 = 5*o - 522 - 733. Is o prime?
True
Let d be 0/(-1 - (3 - 2)). Suppose d = i + 3*z - 42, 2*i + z = -i + 150. Is i composite?
True
Suppose n = -0*n + 40. Let o(c) = 2*c**3 - 5*c**2 - 6*c + 4. Let g be o(5). Let w = g - n. Is w composite?
False
Suppose -5*d = 3*k - d - 4757, -k - 3*d = -1594. Is k prime?
True
Is (-103)/(-3) - (-24)/36 a composite number?
True
Let t(d) = 88*d - 2. Is t(1) composite?
True
Suppose 4*t - 5 = 3. Let j(k) = 3*k**2 - 6. Let w be j(-5). Suppose -t*i + w = i. Is i a prime number?
True
Suppose a + 3155 = 6*a. Is a a prime number?
True
Suppose 5*v - 11 = -4*j + 5, 0 = -v + 3*j - 12. Suppose 0*t = 5*t. Suppose -u = -2*f + 110, v = 4*f - t*u + 2*u - 204. Is f prime?
True
Suppose 4 + 2 = 2*k. Suppose k*q - 12 = 0, -3*q - 301 - 51 = -4*s. Is s a composite number?
True
Let z be (-1)/2 + (-18)/(-4). Suppose 0*r - 227 = -3*j - r, 5*j + z*r = 369. Is j composite?
True
Let n = 5 - 1. Is (2 + 1)*(n - 1) a composite number?
True
Suppose -5*w + 550 = 2*d, -4*d + 2*w + 1100 = 4*w. Suppose -2*t + d = -551. Is t composite?
True
Let z(s) be the third derivative of s**6/120 + s**5/10 - s**4/12 + s**3/2 - 4*s**2. Is z(-4) a composite number?
False
Let t(a) be the third derivative of -a**6/120 - a**4/24 + a**3/3 + 4*a**2. Is t(0) composite?
False
Let l(x) = x**3 + 17*x**2 - 2*x + 7. Is l(-16) a prime number?
False
Let i(c) = -19*c - 14. Is i(-7) a composite number?
True
Suppose j - 179 - 132 = 0. Is j a composite number?
False
Suppose 867 = -2*j + 2211. Let l = 1379 - j. Is l a composite number?
True
Suppose -5*b + 92 = -b. Is b a composite number?
False
Let i(v) be the third derivative of 0 + 11/24*v**4 + 1/6*v**3 + 0*v - v**2. Is i(2) composite?
False
Let u(p) = p + 1. Let v(w) = 28*w + 3. Let y(o) = -2*u(o) + v(o). Is y(2) a composite number?
False
Let g = -10 - -122. Is (g/40)/((-2)/(-35)) composite?
True
Let z(j) = -j**3 + 6*j**2 + j - 3. Let n be z(6). Suppose -w - 5 = -2*v, -v + n*w + 3 + 2 = 0. Let r(f) = 3*f**3 + 4*f**2 - 4*f + 3. Is r(v) composite?
True
Let z(l) = l**2 + 8*l + 6. Let m be z(-8). Let n(g) = 2*g**2 - g - 1. Is n(m) prime?
False
Is 291/(-2)*26/(-39) a composite number?
False
Let f be (1 - 0)*1/(-1). Let k be (2/f)/4*-2. Is 19*-3*k/(-3) a composite number?
False
Let d(i) = -12*i**2 - 2*i + 3. Let k be d(4). Let w = 42 - 152. Let r = 