number?
True
Suppose 5*o = -15 - 25. Let g(v) = -v**2 - 11*v - 9. Let y be g(o). Let d = -5 + y. Is d a prime number?
False
Suppose 17 = 4*o + 3*g, -o + 7*g - 4*g = 7. Suppose -2 = -2*l + o. Is 1 + (-1 + 153)/l composite?
True
Let x(g) = -2*g**3 + 9*g**2 - 18*g + 13. Let h(i) = -i**3 + 5*i**2 - 9*i + 6. Let l(w) = -7*h(w) + 3*x(w). Let c = 5 - -2. Is l(c) prime?
True
Suppose 0*f + 838 = -2*f. Let u = -208 - f. Is u composite?
False
Let p = -173 - -74. Let d = -48 - p. Let o = 72 - d. Is o a prime number?
False
Let a be (6/15)/(2/20). Suppose -4*z + 30 = 3*j, a*z - 4 = -2*j + 20. Suppose -j*u + 2*u + 124 = 0. Is u prime?
True
Let k(f) = -f - 4. Let b be k(-6). Let t be b + (3 - (-6)/(-3)). Suppose -u + 13 - t = 0. Is u prime?
False
Suppose 14 - 2 = 2*a. Let o be 28/6 + (-4)/a. Let d = o + 2. Is d a composite number?
True
Let j(u) = -24*u**2 - 2*u - 1. Let x be 1/3 + 4/(-3). Let m be j(x). Let z = m + 70. Is z a composite number?
False
Let r(u) = -1370*u - 9. Is r(-1) prime?
True
Let l(i) = i**3 - i**2 - i + 5. Let k be l(0). Suppose 4*m + 15 = -k, 4*m + 585 = 5*z. Is z a composite number?
False
Suppose 2*d - 407 = 5*n, 8*d = 3*d + 2*n + 1007. Is d prime?
False
Let p = 98 + 723. Is p a prime number?
True
Let v = -5 - -8. Suppose 2*q = -q. Suppose v*x + 0*x - 285 = q. Is x composite?
True
Let p(g) = -g + 10. Let b be p(5). Let c(y) = -7*y - 7. Let t be c(-6). Suppose t = z + 2*f, -5*f - 75 - 100 = -b*z. Is z a prime number?
False
Suppose -2*u = -u. Suppose u = -5*n - 33 + 443. Let t = n - 47. Is t a prime number?
False
Suppose 0 = -3*q + 4 + 2. Suppose q*l + 4 = 32. Is l prime?
False
Suppose -2*j - 4*c - 6 = 14, 15 = -3*c. Suppose -4*f + 4 + 12 = j. Suppose 5*t - 383 = -4*a, 0 = 3*t - f*a + 22 - 271. Is t a prime number?
True
Let d be (-3 - -2)/(1 + 0). Let r be (1*(0 - 0))/d. Let u(y) = y**2 + y + 22. Is u(r) composite?
True
Suppose -3*g = m + 172, 182 = -3*g + 2*m - m. Let c be (0/(-2) - 1)*g. Is 1/(1/c - 0) a composite number?
False
Let u(x) = -x**3 - x**2 + 2*x - 6. Let w be u(-5). Suppose -w = -y - 5*l, l - 54 - 105 = -2*y. Is y prime?
True
Let z = -475 + 1524. Is z a composite number?
False
Let z = -2661 + 3864. Is z composite?
True
Let x(p) = p**3 + p**2 + 2*p + 3. Is x(11) composite?
True
Suppose 0 = 2*i + 12 - 92. Suppose y + y = i. Suppose 4*f - 32 - y = 0. Is f a composite number?
False
Let h(f) = 30*f**2 + 10*f + 3. Is h(7) a composite number?
False
Let f = -62 + 115. Is f composite?
False
Suppose -3*n = -5*n - 8. Let d = n - -6. Suppose 51 = d*y - 19. Is y composite?
True
Let p = -1043 - -1931. Let v = p - 595. Is v a composite number?
False
Let b(q) = -q - 5. Let c be b(-7). Suppose -4*i - 73 = -3*z + i, -4*i = -c*z + 48. Is z a composite number?
True
Suppose 142 + 88 = 5*h. Is h a composite number?
True
Let x = -604 - -985. Is x a prime number?
False
Let s = 840 - 451. Is s a composite number?
False
Suppose b - 2*b + 5 = 0. Let z(f) be the third derivative of f**5/60 - f**4/12 - 2*f**3/3 + 9*f**2. Is z(b) a prime number?
True
Suppose -j + 782 = p, 0*j - 4*p + 767 = j. Is j composite?
False
Let w be 4/(-14) + (-1402)/(-7). Let s = -39 + w. Is s a prime number?
False
Let h = 2 - 6. Let a(n) = -n**3 + n**2 - 3. Is a(h) prime?
False
Suppose 4*h - 8 = 884. Is h a prime number?
True
Let o(d) = 48*d + 1. Let k(w) = -w**2 + 5*w + 7. Let v be (18/15)/((-2)/(-10)). Let p be k(v). Is o(p) prime?
False
Suppose 3*t - 15 = 0, y + 5*t = 3*y - 561. Is y a prime number?
True
Let q(r) = -15*r. Let f be q(-6). Let a = f - -65. Is a a prime number?
False
Let f be (-15)/(-3) - (-2)/(-1). Suppose -78 = -2*p + f*g, 0*p + g = p - 37. Is p a composite number?
True
Let c(y) = y**3 + 6*y**2 + 6*y + 2. Let g be c(-5). Let r(f) = -f**3 - 4*f**2 - 4*f - 1. Let j be r(g). Let k(w) = w**3 - w**2 + w. Is k(j) prime?
False
Let n(y) = y**2 + 5*y + 5. Let l be n(-6). Let i = -7 + l. Let r(b) = 33*b - 5. Is r(i) a prime number?
True
Is 1*(1/1 + 126) a composite number?
False
Suppose -5*q = -3*k, -7*k - 3*q = -3*k. Suppose -81 = -i - k*i. Let w = -46 + i. Is w prime?
False
Suppose 2*z = -2*z + 16. Suppose -2*l + 1336 = l - z*p, 4*l - 1798 = -3*p. Suppose -5*g = 53 - l. Is g prime?
True
Let p(b) = -7*b**3 + b**2 - 2*b + 7. Is p(-3) composite?
False
Suppose -4*d + 279 = -193. Is d a prime number?
False
Let r(t) = 20*t + 1. Let p be r(-2). Let o be (78 - (-12)/(-3))*1. Let v = p + o. Is v a prime number?
False
Let s(w) = w**2 - 4*w + 3. Let v be s(3). Suppose v*z + 627 = 3*z. Is z prime?
False
Suppose 0 = -t + 1, -2*l + 5*l + 1 = -2*t. Let w be -2 - 710/(-1 + l). Suppose 2*n - 181 = -m, 4*n - m + 0*m = w. Is n prime?
True
Suppose 488 + 92 = 5*l. Suppose 114 = 5*f - l. Is f a prime number?
False
Suppose -18*q + 9*q = 54. Let d(j) = -11*j - 5 - 33*j - 2. Is d(q) a composite number?
False
Is 1/(3 + 4016/(-1340)) prime?
False
Let c(i) = -5*i**3 + 2*i - 1. Is c(-6) a prime number?
False
Let k = 114 - 73. Let j = 92 - k. Is j a composite number?
True
Let p(n) = -53*n - 2. Is p(-3) a composite number?
False
Suppose -9 - 28 = g. Let a be g/3 + (-3)/(-9). Let q = a - -19. Is q prime?
True
Let f = -49 - -430. Is f prime?
False
Let i(c) = -c + 5. Let t be i(10). Let f be ((-944)/20)/(2/t). Let a = f - 24. Is a prime?
False
Let g(n) = 2*n**2 - 2 - n**3 - 2*n**2. Suppose 4 = 3*o - 5*o. Is g(o) a composite number?
True
Suppose 5*u = -4*z + 30, 5*u = -6*z + 3*z + 25. Suppose 2524 = -u*i + 6*i - 4*f, -4*i + 2524 = -2*f. Is i a prime number?
True
Let b be ((-18)/(-5))/(21/(-70)). Is 1154/8 + b/(-16) a prime number?
False
Let v(x) = x**2 - 6*x - 5. Let t be v(7). Suppose l = -0*l - t. Is -5*((-118)/10 + l) prime?
False
Let b be 385 - 0/(2 + -1). Let r = -263 + b. Is r prime?
False
Suppose -192 = -2*u + 182. Suppose 4*i = 73 + u. Is i composite?
True
Suppose 5*y + 27 = 137. Suppose 8 + 6 = 2*f - 2*o, 5*f - 2*o - 26 = 0. Let x = f + y. Is x prime?
False
Let v be 1 + -2 + 3555/(-3). Let y = v - 139. Is 3/4 - y/20 composite?
False
Let x(c) = -c - 12. Let s be x(-14). Let j(n) = -n**3 - 5*n**2 - n + 3. Let k be j(-4). Let o = s - k. Is o prime?
True
Let n be 1/2*(-1 - -1). Suppose -4*h + 20 = -n*h. Suppose -h*c = -4*b + 59, -3*b + 0*b + 53 = -2*c. Is b prime?
False
Is 53/1 - (2 - 2) composite?
False
Suppose 3*n + 2*n - 915 = 0. Suppose -4*q = -q - n. Suppose 2*s - q = 117. Is s prime?
True
Suppose 0 = 10*j + 5 + 5. Let y(h) = -2*h**2 + 4. Let u be y(-5). Is j*(-2 + 1 + u) prime?
True
Is (-1)/(-2)*(222 + -4) a prime number?
True
Let v be (-10)/(-25) - 28/(-5). Let l = v + -2. Suppose 3*w + 0*j + 3*j = 42, 0 = w + l*j - 17. Is w composite?
False
Suppose 0 = 5*b + 7 + 3. Let r(h) = 17*h**2 + 2*h + 1. Is r(b) composite?
True
Let v(f) = 159*f**2 - 2*f + 1. Is v(-2) composite?
False
Let y(t) = 5*t**2 - 2*t - 2. Let u be y(-2). Suppose -u + 1 = -2*x + p, 3*x = -4*p + 15. Is x a composite number?
True
Suppose 0 = 5*g - 0*o - 3*o + 29, 0 = -3*g - 3*o - 3. Let i(j) = 7*j**2 + 6*j + 1. Is i(g) a prime number?
True
Let v(c) = 2*c**3 + 2*c**2 - 6*c + 1. Is v(7) composite?
False
Let v = 3 - 9. Let q be 2/6 + 2/v. Suppose -2*n + 142 = -q*n. Is n prime?
True
Let i(b) = 28*b**2 + 3*b + 3. Let l be i(-3). Let y = 11 + l. Is y a prime number?
True
Suppose -r = 4*k - 62, 3*r + 2*r + 65 = 5*k. Is k prime?
False
Let w = -36 + 18. Suppose -2*l + q = -93, -l + 2*q - 8 = -47. Let i = l + w. Is i a prime number?
True
Let n(t) = 206*t. Let b be n(-1). Let i = b - -146. Let h = i + 149. Is h composite?
False
Let n(l) = 7*l + 1. Let j(b) = 20*b + 4. Let r(h) = 6*j(h) - 17*n(h). Let x be r(-5). Suppose x*f - 67 = 3. Is f a prime number?
False
Let k(x) = 201*x. Let r(j) = j. Let z(f) = -k(f) - 268*r(f). Is z(-1) prime?
False
Let n = 9 - 6. Is 168 + 3/(n - 6) a prime number?
True
Suppose 2*q + 4*z - 3642 = 0, 2*q - 3*z + 0*z - 3607 = 0. Is q a prime number?
True
Let r = -366 - -677. Let b = r - 154. Is b prime?
True
Suppose 0 = 3*s - 3, 5*s = -0*h + 4*h - 403. Suppose 3*d - d + h = 5*l, l + 2*d = 30. Is 8/(-44) + 312/l a prime number?
False
Let l(k) = 28*k**2 - k + 2. Is l(3) prime?
True
Suppose 0 = -4*i + 5*q - 2 + 7, 0 = -2*i - 5*q + 25. Let u(c) = 4*c + 1. Is u(i) a composite number?
True
Suppose 0*n + 55 = -5*n. Let m(z) = -35*z + 10. Is m(n) a composite number?
True
Suppose 9 = -3*k + 5*z, 6*z - 3*z - 12 = 4*k. Let 