s h a prime number?
True
Is ((-35)/10)/((-2)/92) prime?
False
Let u(h) = -h**3 - 6*h**2 + 5*h + 124. Let z(q) = -q**3 - 5*q**2 + 4*q + 123. Let p(j) = -5*u(j) + 6*z(j). Let r be p(0). Let d = r + -65. Is d composite?
False
Let v be (-6)/(-5)*5/2. Suppose -v*t = -360 + 15. Is t a prime number?
False
Let w(z) = -z**3 - 11*z**2 - 9*z + 13. Let n be w(-10). Is -2 - ((-27)/n - 3) a composite number?
True
Let n(d) = 2*d - 13. Let a(s) = 12*s**2 - s. Let y be a(-1). Is n(y) a composite number?
False
Let m be (-2)/3 + (-28)/(-6). Suppose -5*b = -m*s + 1163, 4*b - 849 = -4*s + s. Is s a prime number?
False
Let c(r) be the third derivative of r**4/24 - r**3/6 + r**2. Let u be c(3). Is (59 - u)/1 + -2 a composite number?
True
Let u = -4 + 11. Suppose -w - 3 = u. Is 5/w - 327/(-2) composite?
False
Suppose 5*s = 493 + 217. Let g be (-15)/(-120) + (-47)/(-8). Suppose -4*q + s = -g. Is q a composite number?
False
Let d(g) = -5*g**2 - 5*g + 2. Let l be d(-6). Let c = l + 281. Is c composite?
True
Suppose -t - 3*t - 12 = 0, -9945 = -3*i + t. Is i a prime number?
False
Let j be -22 + 0 + 1 + -2. Let q = j + 34. Suppose 2*c - 14 + 1 = -3*g, -g + c + q = 0. Is g a composite number?
False
Let b(y) = 83*y - 9. Is b(8) composite?
True
Suppose 595 = 3*s + 58. Is s a prime number?
True
Suppose 3*a - 916 = -a. Let k = 204 - 102. Let v = a - k. Is v a prime number?
True
Suppose 3*k - 215 = -n - 0*k, -n + 3*k + 191 = 0. Is n a prime number?
False
Let i be (6 + -6)/(-2*1). Suppose -3*u + 6*u - 339 = i. Is u prime?
True
Let w = 27 + -23. Suppose 0 = -4*s + 6*o - 2*o + 1652, 0 = w*s - o - 1640. Is s prime?
True
Let m(d) be the second derivative of d**4/12 + d**3/6 - 7*d**2/2 + 4*d. Is m(-6) a prime number?
True
Let o be ((-8)/6)/(16/(-24)). Suppose y = 2*y - o. Is (40/4)/(y/23) composite?
True
Let c(b) = b**3 + 8*b**2 + 5*b - 4. Let l be c(-7). Let w = -35 - -97. Is (0 + 5)*w/l composite?
False
Let t be 2/3 - (-4)/(-6). Suppose -3*y + t*y = -801. Suppose -3*z = -2*p + 104, -2*p + 4*z + y = 3*p. Is p composite?
True
Let w(b) = 1 + 69*b + 48*b + 9*b. Let h be (0 - 2)/(-2 + 0). Is w(h) a prime number?
True
Suppose -i + 3 = -0. Suppose i*d = 4 + 11. Suppose d*p + 4*r = -0*p + 237, 3*p - 143 = -2*r. Is p a composite number?
True
Let c = -167 + 347. Let t = c + -86. Let r = -59 + t. Is r a composite number?
True
Suppose -3*v + 3*h - 1985 = -713, 2*h - 424 = v. Let f = 372 - v. Suppose 48 = 4*b - f. Is b composite?
False
Let g(x) = -7*x**2 + 10*x - 10. Let i be g(12). Is i/(-6) - 2/3 a prime number?
True
Let z be (-1)/(3/18) - -1. Let k = z - -2. Let w(b) = 5*b**2 + 3*b + 3. Is w(k) prime?
False
Suppose -5*o = 2*w - 19, -1 = o + 4*w - 12. Suppose 4*r = o - 35. Is 4/r + (-14)/(-4) prime?
True
Let j(i) = 31*i**2 + 11*i + 1. Is j(4) composite?
False
Suppose 0 = -q + 113 - 7. Is q prime?
False
Suppose -3080 = -7*s + 4732. Suppose 0 = -5*a + s - 61. Is a prime?
True
Let b = -257 - -156. Let f = 192 + b. Is f a composite number?
True
Is (-104676)/(-55) - (-1)/(-5) a prime number?
False
Let b(p) = 6*p**2 - 2*p - 7. Is b(5) prime?
False
Suppose -4*s + 4*f - 468 = -3148, -5*f = 2*s - 1368. Is s composite?
True
Suppose 4*w = -5*n - 210, -5*n - w - 174 = 51. Let q = -9 - n. Is q a composite number?
False
Let f = 492 - 5. Is f a prime number?
True
Let t(x) = x**2 + 4*x - 6. Is t(-7) prime?
False
Let z(f) = 2 - 4 + 0*f - 5 + 3*f. Is z(11) a prime number?
False
Let k(m) = m**2 + m + 1. Let j(c) = 4*c**2 + 8*c + 7. Suppose -5*h - 3*x + 15 = 0, -3*h + 0 - 2 = 4*x. Let d(v) = h*k(v) - j(v). Is d(5) prime?
False
Is (-21)/(-63) - (1 - (-1247)/(-3)) a prime number?
False
Suppose 7*b - 18 = 2*b + 2*n, 2*n = -8. Suppose 0 = 4*q - 3*q - 2. Is q/b + 2 - -66 a composite number?
True
Let i = 20 - 14. Is 1*2/i*291 a composite number?
False
Let h(f) = -3*f**3 + 3*f**2 - 5*f + 3. Let a be h(2). Suppose 173 = 2*k + 61. Let d = a + k. Is d a prime number?
True
Suppose 5*t + 20 = 6*n - n, 3*t - 13 = -2*n. Let i(k) = k**2 - 5*k + 6. Is i(n) a composite number?
True
Let p = 297 + -174. Is p composite?
True
Let r(f) = 2*f**2 + f + 1. Let y be 4/(-3)*3/2. Is r(y) a prime number?
True
Let m(h) = h**3 - 5*h**2 + 7*h - 2. Is m(5) a prime number?
False
Suppose 0 = -2*f - 1349 + 7003. Is f composite?
True
Let m(u) = u**3 + u - 1. Let v(d) = 6*d**3 + 3*d**2 - 3*d + 8. Let i(k) = -5*m(k) - v(k). Is i(-2) composite?
True
Suppose -10 = 2*r, 4*r + 912 = -2*g + 6*g. Is g prime?
True
Let n(v) = -v**2 - v. Let u(h) = 4*h**2 + 14*h - 5. Let z(k) = -5*n(k) - u(k). Is z(-8) prime?
False
Suppose 3*o + 144 - 1579 = -4*y, -3*y = -5*o + 2440. Is o a composite number?
True
Suppose 4*b - 5*d - 3278 = 0, -2*d + 1597 + 1667 = 4*b. Suppose 4*c - i - b = 0, 4*c = -c + 3*i + 1016. Is c composite?
True
Let n(s) = s**3 - 6*s**2 + 7*s - 3. Suppose -i = -0*i - 5. Is n(i) prime?
True
Let r(z) = 24*z - 6. Let f be r(4). Suppose 2*k - 40 - f = 0. Is k a composite number?
True
Let j = 18 - 15. Suppose j*z - 1058 = -i - 3*i, 1309 = 5*i - 3*z. Is i prime?
True
Let x(p) = 6*p**2 + 35. Is x(-5) a composite number?
True
Suppose -3*q - 7 - 17 = 0. Let j be (q/12)/((-2)/(-3)). Let c(r) = -24*r**3 - 2*r**2 - r. Is c(j) a prime number?
True
Suppose 5*o - 2*n = -0 + 10, 4*n = 2*o - 20. Suppose -5*v - 2*l + 100 = 0, 3*v + 5*l - 41 = -o*l. Is v prime?
False
Let m = 10 - 3. Suppose -2*h + k = -m*h - 5, 3*h + k = -1. Is h/(-8) + (-1842)/(-24) a prime number?
False
Suppose 2*k + u = -u + 84, -2*u + 121 = 3*k. Suppose 3*w - 2*w - k = 0. Is w composite?
False
Let i(k) = -5*k - 1. Is i(-7) composite?
True
Suppose 847 = -c + v + 3572, 5470 = 2*c + 3*v. Is c a prime number?
True
Let r = 6 + -5. Let o be 10/(-2)*(-1 + 0). Suppose 0 = o*a + r - 36. Is a prime?
True
Let b(k) = 548*k**2 + 5*k - 11. Is b(2) a composite number?
True
Suppose -6*z - 24 = -2*q - 3*z, 3*z = -q + 3. Let r be (q/6)/((-6)/(-8)). Suppose -3*j + r*j + 3 = 0. Is j a prime number?
True
Let f be (-8)/1*3/(-6). Suppose f*r + 6*c - 3261 = 5*c, 0 = -4*r + 5*c + 3255. Is r prime?
False
Let v = 153 + -56. Is v a prime number?
True
Suppose 0 = 2*t + b + 2, -4 - 6 = -3*t + 5*b. Suppose -3*q = n - 0*n - 49, t = -5*q + 10. Is n a composite number?
False
Let v = 87 - -28. Let i = 316 + v. Is i a prime number?
True
Suppose 4*i + i = 0. Suppose 2*r - r - 419 = i. Is r prime?
True
Let t(u) = -u**3 - 10*u**2 + 21*u + 3. Is t(-14) prime?
False
Let r(k) = -1032*k - 11. Is r(-2) composite?
False
Suppose 2*v - 10 = v. Suppose -2*i = -7*i + v. Is (i/3)/((-4)/(-18)) a composite number?
False
Let w be 1/(-1) - (0 + -1). Suppose w = -0*k - 5*k + 4*o + 25, 0 = -2*o. Suppose 0 = k*z + 15, 25 = -3*t - 3*z + 73. Is t prime?
True
Let z(j) = -2*j**3 - j + 1. Let s be z(1). Let o be 7/s*84/(-2). Let c = o + -80. Is c a prime number?
True
Suppose 3*h + 4*o - 22 = 0, h = -3*h + 5*o + 81. Suppose 4*u - 2*z - 16 = 0, 3*u + 2*z - 4*z - h = 0. Is 61/2 - u/(-4) a prime number?
True
Suppose 0*n = 5*n - 275. Let y be (0 - (-3 - 0)) + 0. Suppose -y*z + n = -2*z. Is z a prime number?
False
Let o = 2 - 2. Let m be 20/(2/4 - o). Suppose -2*q - 3*q = -5*h + m, 4*h + 5*q - 23 = 0. Is h composite?
False
Suppose z + 3*z = -4, -3*b = 4*z + 64. Let f = -11 - b. Let o(u) = 2*u + 1. Is o(f) prime?
True
Suppose -3*q - 1898 = -u, -u - 3*u + 7606 = 2*q. Is u prime?
True
Let t = 1324 - 843. Is t prime?
False
Let a(l) = -20*l - 3. Let v(z) = z**2 + 2*z - 1. Let o be v(-3). Let n = o + -7. Is a(n) a prime number?
True
Let k = 8 - 5. Suppose 0 = -k*c - 316 + 850. Suppose 2*y - c = -0*y. Is y prime?
True
Let f(l) = -3*l - 47. Is f(-23) prime?
False
Let k(v) = 8*v**2 - 4*v - 7. Is k(-7) prime?
False
Suppose -2*r - 6 = -2*a, -2*a + 4 = -3*r + 1. Is ((-489)/6)/((-3)/a) a composite number?
False
Is (431/(-4))/(8/(-32)) a composite number?
False
Suppose 0 = -4*c + 86 + 6. Is c a prime number?
True
Let c(k) = -9*k + 1. Let f be c(-1). Is (5/f)/(2/820) composite?
True
Let v(s) = 16*s + 13. Suppose r - b = 4*b - 14, -4*r + 40 = 4*b. Is v(r) prime?
True
Let a(y) be the third derivative of -y**6/120 - y**5/15 - y**4/12 - 2*y**3/3 - 5*y**2. Is a(-7) a prime number?
True
Let j = 50824 + -28769. Is j/99 - 4/(-18) composite?
False
Let y be (-4)/18 + (-168)/(-27). Is y/(-15) + (-464)/(-10) composite?
True
Let t be 2*2/12*15. Let s(q) be the first derivative of -q**3/3 + 