s n(i) a prime number?
False
Let n(t) = 8*t - 3*t**2 + 1 + t**3 - 2*t**3 + t**2. Let r = -16 - -10. Is n(r) a prime number?
True
Let u(b) = 3*b + 1042. Is u(0) prime?
False
Let y(u) = 2*u + 3. Let x be y(-3). Is ((-2)/x)/(8/444) prime?
True
Let t(i) = 3*i + 0 - 1 - i. Let z be t(1). Is -2*z*26/(-4) prime?
True
Let q = -262 - -935. Is q prime?
True
Suppose 0 = -6*y + 1099 + 239. Is y composite?
False
Is -1 + (-11752)/(-28) - (-4)/14 prime?
True
Let x be 2/5 + (-36)/(-10). Let f = -1 + x. Suppose -d + 0*p + 57 = f*p, -81 = -d + 3*p. Is d a prime number?
False
Let r = -32 - -11. Is -1 - 2/(-1) - r prime?
False
Let q(r) = -r**3 - 3*r**2 - 2*r + 2. Let c be q(-2). Let d be (c - 0)/(4/34). Suppose -5*s + 257 = -2*g, -3*s + g + 172 = d. Is s a composite number?
False
Suppose -p + 68 = -4*o - 5*p, -p + 25 = -2*o. Is (18/(-12))/(1/o) a prime number?
False
Suppose 3*o + 0*o + y = 334, -4*y - 585 = -5*o. Is o composite?
False
Let n = -7 - -10. Suppose n*g = -g + 124. Is g prime?
True
Suppose 0 = 3*y - y - 3*n - 1077, 5*n - 2680 = -5*y. Suppose y = 4*s - s. Is s composite?
False
Let r(h) = 0*h**2 - 4*h + 2 + h**2 + 6*h**2. Let j = 58 - 55. Is r(j) a prime number?
True
Let a(d) be the second derivative of -8*d**3/3 + 3*d**2 + 2*d. Is a(-8) prime?
False
Is 2 - -3108 - (1 - 0) a composite number?
False
Let f = 20 - 17. Is (56 + f)*(1 + 2) a composite number?
True
Is 2918/(-3 + 9 + -4) composite?
False
Suppose 2*x + 230 = 4*x. Is 2 + 0 + 1 + x composite?
True
Suppose 0 = 3*x - 6*x + 1755. Suppose 2*m - t = 667, 4*t + 15 = -t. Let i = x - m. Is i composite?
True
Suppose -r = -6*r + 465. Suppose -2*d - d = -r. Is d prime?
True
Let l = -66 - -49. Suppose -582 = -4*p + 2*d, -p + 2*d = -3*p + 282. Let r = l + p. Is r prime?
True
Let y(i) = 7*i**2 + 3*i + 9. Is y(8) a composite number?
True
Suppose 5*r = 2*l + 3*r + 14, 5*l - 4*r = -40. Let a be l/(-18) + 8/(-3). Let k(c) = c**2 - 2*c - 1. Is k(a) a prime number?
True
Let m(o) = 466*o + 2. Let k be m(2). Suppose -3*l - 5*s = -0*s - k, 4*l + 4*s - 1232 = 0. Suppose i + 256 = 5*i - 5*y, 5*i - 2*y = l. Is i a composite number?
False
Is 13/26 + 1162/4 composite?
True
Suppose -58 = -t - 5. Is t a composite number?
False
Suppose 4*z + 13 + 9 = -5*b, 8 = -2*z - b. Let s(r) = 51*r**2 + 4*r - 1. Is s(z) a prime number?
False
Let i be 4/(-12) + (-166)/(-3). Suppose -2*v = 17 - i. Is v a composite number?
False
Let d(w) = 9*w + 5. Let f(h) = 19*h + 11. Let l(a) = -9*d(a) + 4*f(a). Let u(c) = -c**2 - c - 1. Let k be u(-2). Is l(k) prime?
False
Suppose -5*s = 2*z - 81, s - 40 = -z - s. Let x be z/(-1 - (-9)/6). Let i = x + -54. Is i prime?
False
Let t be 2 - ((4 - 2) + -3). Suppose -t*c - c = -124. Is c prime?
True
Suppose -10042 = -4*s - 2*p + 9090, -3*s = -2*p - 14349. Is s prime?
True
Let i be 3/(6 - 3)*-3015. Is (-6)/(-9)*i/(-6) composite?
True
Let s = -1066 + 1639. Suppose s = -2*i + 5*i. Is i a composite number?
False
Suppose 0 = k - 3*d + 19, -3*d = 5*k + 5 - 0. Is (30/k)/(15/(-20)) a prime number?
False
Let c = 29 - 12. Suppose -151 - c = -2*j. Suppose -4*k = -8*k + j. Is k a prime number?
False
Let p(l) = 774*l - 5. Is p(2) a composite number?
False
Let n(y) = 2*y + 12*y**2 - 7*y - 2*y - 4*y - y**3 + 8. Let t be n(11). Let a(u) = u**3 - 8*u**2 + 2*u + 3. Is a(t) composite?
False
Let z(g) = -g**2 + 247. Is z(0) a prime number?
False
Let y(o) = 3*o**2 + 6*o + 3. Let f be y(-5). Let c be ((-6)/(-8))/(2/f). Suppose -5*b - c + 113 = 0. Is b a composite number?
False
Suppose -732 = -7*z + 3*z. Is z prime?
False
Let p(y) = 26*y**2 - y - 4. Is p(-7) a prime number?
True
Let k = -411 - -181. Is -1 - -2 - (k + -2) a composite number?
False
Let d be 1 - 2 - 2600/(-2). Suppose -5*s + b + 1319 = 2*b, 4*b + d = 5*s. Is s a prime number?
True
Suppose -158 = -k - j, 0*k + 4*j = 4*k - 624. Is k a composite number?
False
Let k(o) = o**3 + 18*o**2 + 21*o + 12. Let b be k(-14). Is b/22 - (-10)/55 prime?
True
Suppose -3*z - 4*o + 16 = 0, 0*z - 3*z + 7 = -5*o. Let h = z + 7. Is h composite?
False
Let b(q) = 110*q + 1. Suppose 2 = 2*t + j, 2*j = t + 4*t - 14. Is b(t) prime?
False
Let d(g) = 81*g - 3. Let o be d(6). Suppose -o = -2*k - k. Is k a composite number?
True
Suppose 2*v + 20 = 5*f + 80, -4*v = 20. Is 1559/7 + (-4)/f composite?
False
Suppose 0*u = -2*u. Suppose u = 6*n - n + 15. Is ((-15)/6)/(n/66) prime?
False
Suppose 3*a = 7*a - 108. Let g = 2 + a. Suppose 2*l - 73 = g. Is l composite?
True
Let i = -1860 - -3079. Is i prime?
False
Let t(v) = v + 38. Is t(24) composite?
True
Suppose 12*y - 657 - 1035 = 0. Is y composite?
True
Let d(y) = y**3 + y**2 - y + 1. Let t(h) = 7*h**2 - 6*h + 6. Let c(p) = -6*d(p) + t(p). Is c(-1) prime?
True
Let h(y) = -y**3 - y**2 + 293. Is h(0) a prime number?
True
Suppose 0*k + 8 = 2*k. Let v(q) = -q**3 + 5*q**2 - 2*q + 2. Let l be v(k). Is (-2)/5 + 894/l a composite number?
False
Let h be 6/(-3 + 564/184). Let l = -53 + h. Is l composite?
True
Is -1*9210/12*(-1 - 1) a composite number?
True
Suppose 0 = -i - 4*h + 958, -i + 5*h = 2*i - 2874. Is i a prime number?
False
Let d(a) = 3*a**2 + a. Let r be d(-1). Let n be r/4 + 665/10. Let k = n - 32. Is k composite?
True
Suppose -d - 2*d = 0. Suppose -u + 2*u = d. Suppose -3*w - 3*a - 74 = -4*w, u = a + 5. Is w composite?
False
Is 3/(3/2158) + 3 a composite number?
False
Suppose 2*c = -22 + 1502. Suppose 2*p - 314 = 2*f, -2*f - 2*f + c = 5*p. Suppose p = 4*a - 0*a. Is a a composite number?
True
Let a = -52 - -117. Suppose -4*f + a = -123. Is f composite?
False
Let c = 92 - 45. Is c composite?
False
Is 4/(-3)*(-17055)/60 prime?
True
Let u be 0 - (-6)/((-9)/(-3)). Is u*(1 + 13 + -1) prime?
False
Suppose -3*h = 3*f - 132, 12 = 3*f + h - 124. Let s = f + 373. Is s a composite number?
False
Let r be (8 - 1 - 2) + -2. Suppose r*h + h + 4*v - 388 = 0, 3*v + 388 = 4*h. Is h a prime number?
True
Suppose -3*n - 399 = -10*n. Is n a prime number?
False
Suppose r - 386 = -0*r + 5*k, 0 = r - 3*k - 380. Is r composite?
True
Let d = 4 + -6. Suppose 12 - 14 = 2*a. Is (a - d)/(3/69) composite?
False
Let d = -12 - -15. Suppose -19 = -u + d*a, u - 15 = -4*a + 11. Is u a composite number?
True
Let q be (-2)/(-5) - (-32)/(-5). Let j(w) = 0 + 5 - 2*w**2 - 2*w + 3*w**2. Is j(q) composite?
False
Suppose 5*j - 10 = 4*a, 2*j = -j - 6. Let b = a - -3. Let p(f) = 6*f**2 - f. Is p(b) composite?
True
Suppose -22 = -5*w + 2843. Is w composite?
True
Suppose 5*l - 1479 = -2*v, -2*l = 5*v - 0*l - 3687. Is v composite?
True
Suppose -5*f = -4239 + 784. Is f composite?
False
Suppose -5*x - 4*t + 16 = 0, 2*x + 2*t = 3 + 3. Suppose 25 = 5*f, -y - f + 39 = x*f. Is y a prime number?
False
Let g = -129 + 268. Is g a prime number?
True
Let b = 4 + -6. Is (230/(-15))/(b/15) a composite number?
True
Let z = -15 - -21. Is 22/(-33) + 682/z prime?
True
Let g(q) = 2*q**3 + 8*q**2 - 8*q + 3. Is g(5) composite?
True
Let l = -2984 + 4345. Is l a composite number?
False
Let n(v) = -5*v**3 - 24 - v - 13 + 6*v**3. Let q be n(0). Let c = -14 - q. Is c prime?
True
Let j(c) = -c**2 + 4*c - 6. Let f(z) = 2*z**2 - 7*z + 11. Let t(o) = 6*f(o) + 11*j(o). Let k be t(-2). Suppose -4*l + 220 + 88 = k. Is l composite?
True
Suppose -4 = -6*x + 4*x. Suppose -4*w = -2*s - 384, x*w = -5*s - 372 - 588. Is s/(-10) - 3/15 a prime number?
True
Suppose -26 = -5*s - 2*g, -s + 2*g = 2*s - 6. Suppose w - 2052 = s*w. Let o = -458 - w. Is o a prime number?
False
Let w(u) = 23*u + 2. Let y be w(-3). Suppose 3*k - 149 = 73. Let j = k - y. Is j a prime number?
False
Let b = -275 - -96. Let s = -60 - b. Is s a composite number?
True
Let t = 6 + -8. Let i be (-6 - t)/(-1 + 0). Is 33 + 2/i*4 composite?
True
Let u(w) = 2*w + 2 + 3 - 1 + 9*w. Let c be u(-3). Let t = c - -80. Is t prime?
False
Let l(o) = -2*o**2 + o + 2. Let m be l(2). Let v(w) be the second derivative of -w**5/4 - w**4/3 + 5*w**3/6 - 3*w**2/2 + 12*w. Is v(m) prime?
True
Let o(m) = m**2 - 8*m + 2. Let k(x) = -x**2 + 9*x - 3. Let n(u) = 6*k(u) + 5*o(u). Let c be n(6). Let w = c - 3. Is w a composite number?
False
Suppose 4*x + h + 0*h - 582 = 0, 3*h = x - 139. Is x a prime number?
False
Suppose 2985 - 31995 = -6*s. Is s a composite number?
True
Suppose -4*i = -6*i - 2. Is (0 + 1)/i + 23 a prime number?
False
Let q(m) = m**3 + 2*m**2 + 3*m - 5. Suppose -2 = -2*x + 4*k + 20, 0 = 4