x composite?
True
Let f(a) = 37*a**3 - 2*a + 3. Let p be 3/(-15) + 22/10. Let d be f(p). Is 7/((-21)/6) + d prime?
True
Let q = 6 + -13. Let y(j) = 6*j**3 + j**2 + 4*j + 7. Let l(s) = s**3 - s**2 + s. Let b(k) = 5*l(k) - y(k). Is b(q) a prime number?
False
Let t = 5 - -5. Is t composite?
True
Suppose 0 = 2*c + 57 - 3443. Is c a prime number?
True
Let r(n) = -2*n + 3. Let f(a) = 5*a - 7. Let w(x) = 4*f(x) + 9*r(x). Is w(2) a prime number?
True
Let i(v) = -9*v**2 - 6*v + 15. Let h(s) = -14*s**2 - 9*s + 23. Let y(p) = 5*h(p) - 8*i(p). Is y(-4) prime?
False
Suppose -1 - 1 = -c. Suppose c*l + 0*l - 28 = 0. Let t = -4 + l. Is t prime?
False
Suppose 6*z - 4372 - 4022 = 0. Is z a prime number?
True
Suppose 3*u + 28 = -u. Let o = -7 - u. Suppose -2*s + 46 = -o*s. Is s prime?
True
Suppose 5*a - 6 = -3*d - 291, a = 0. Let v = d - -138. Is v prime?
True
Let q = 12 + -7. Suppose 3*l = -q*j + 149, 0 = 2*j - 0*j - l - 64. Is j prime?
True
Suppose -3*b = -b + 16. Let z = b - -13. Suppose -z*h = 127 - 612. Is h composite?
False
Let n = 49 - 81. Let a = n - -65. Is a prime?
False
Suppose -b + 4 = b. Suppose 3*s + b*s = 225. Let x = 83 - s. Is x a prime number?
False
Suppose -3*m + 1871 = 470. Is m composite?
False
Suppose 0 = -0*n + 6*n - 6870. Is n composite?
True
Suppose 0 = 4*d + 2*p - 318, 0 = -4*d - 2*p + 3*p + 321. Suppose x + d = 6*x + 5*a, 2*a = -5*x + 71. Is x composite?
False
Let d(a) = 3*a + 1. Let i be d(1). Suppose -i*s = -3*x - x + 260, 5*s = -2*x + 144. Is x composite?
False
Suppose -5*m + 2*v = -166, 4*m = -m + 4*v + 172. Is 6120/m - 2/8 a prime number?
True
Let l = 17 - 9. Suppose l*s - 3*s + 419 = j, -3*j + 4*s = -1257. Is j prime?
True
Is (41 + 8)*(1 - 0) a composite number?
True
Suppose 0 = -j - 0*j - 3*h + 12, -5*j = 3*h - 12. Let y be 0*((-2)/(-4) - j). Suppose y*c - 147 = -3*c. Is c a composite number?
True
Suppose 5*d = -4*k + 139, -k - 3*k + 3*d + 115 = 0. Is k composite?
False
Suppose -4*b + 1 = 4*d + d, 5*b + 3 = -2*d. Is (0 - b)/(-2)*-166 a prime number?
True
Suppose -u = -2 - 1. Suppose 0 = -2*j - j + u*r + 765, -2*j + 490 = 3*r. Is j prime?
True
Let f(b) = -b + 2. Let d be f(-2). Suppose 5*l - 150 = -5*t, -4*t + d*l + 84 = -2*t. Suppose -2*p = a - 29, -a - a = -4*p - t. Is a composite?
False
Let z(g) = -46*g**2 - 2*g - 1. Let u be z(-1). Let a = 76 + u. Is a prime?
True
Let d = 101 + -42. Is d a composite number?
False
Let s(a) = 54*a**2 - 3*a - 2. Suppose 5*b + 5*z = -15, -5*b - 7 = 2*z + 5. Let v be s(b). Suppose -2*k + 6*k - v = 0. Is k prime?
False
Let t(p) = -p**2 + 7*p + 10. Let j be t(8). Suppose 1187 = 5*m - n + 5*n, -j*n = 3*m - 711. Is m a prime number?
False
Let v(x) = -13*x + 5. Let k be v(-5). Let j = 57 + k. Is j composite?
False
Let k = 19 - -34. Is k a composite number?
False
Let h(o) = -o + 0 + o + 3 + o. Let z be h(-3). Suppose -5*u = -z*u - 155. Is u a prime number?
True
Suppose 0 = -8*b + 3*b. Suppose -5*h - 3 = z, -5*z - 3*h + 7 = -b*h. Is z a composite number?
False
Is -2*2 + (-4)/(20/(-6105)) a prime number?
True
Suppose -5*j = -2*c + 1346, 0 = -c - 2*j + j + 673. Is c composite?
False
Suppose -15*l = -15865 + 1135. Is l prime?
False
Suppose -4*r + j + 9 = -2, -5*r + 40 = 4*j. Let z be (r/8)/(1/44). Suppose -4*k + z + 246 = 0. Is k prime?
True
Let p = -10 + 41. Is p composite?
False
Suppose s = n + 3*s - 205, 5*s - 214 = -n. Is n prime?
True
Is 758/6 + 20/30 prime?
True
Let p(g) = -g**3 - 5*g**2 - 4*g + 5. Let h be p(-8). Suppose -3*m - 64 = -h. Is m prime?
False
Suppose -2*n + 970 = 4*p, 3*n = 4*p - p + 1482. Is n composite?
False
Suppose -o + 0*x - x + 1 = 0, -4*x = -5*o + 41. Suppose r + 9 = g, -9 = -r - o*g + 6. Let l(k) = k**3 + 5*k**2 - 8*k - 3. Is l(r) prime?
True
Let r = 92 + -51. Let x = r - 4. Is x composite?
False
Let w(j) = 2*j**2 - 8*j - 7. Suppose -2*r - 20 = d, 3*r - 5*d - 4 = r. Is w(r) prime?
False
Let v be 3/(2/(-6)*-3). Let a(y) be the second derivative of 2*y**3/3 + y**2 + y. Is a(v) composite?
True
Let s = 518 + -131. Let l = s + -172. Is l prime?
False
Let v(u) = -488*u + 7. Is v(-6) a prime number?
False
Let l(k) = -2*k + 5 + 16*k - 2*k. Let t(b) = -b**2 - 10*b - 11. Let d be t(-8). Is l(d) composite?
True
Suppose v + 3*v = -3*w + 23, 5*w - 29 = -2*v. Let x = w + -3. Suppose -3*b - 59 = -2*l + x*b, 5*l + 3*b = 101. Is l composite?
True
Let w = 46 + 14. Let i be w - 2 - 0 - 1. Suppose i = x + y, 4 = 3*y - 8. Is x a composite number?
False
Suppose -2*k = 3*y + 9, -5*k + 15 = -5*y - 0. Suppose 0*g + g = k. Suppose -2*x - 5*j + 84 = -g*x, -3*x - 5*j + 121 = 0. Is x a prime number?
True
Let j = -58 + 1013. Is j prime?
False
Let n(d) = d**3 - 5*d**2 + 6*d - 2. Let g be n(4). Suppose g*x - 7*x + 381 = 0. Is x a composite number?
True
Let m = -8 - -11. Let s be ((-9)/m)/((-2)/46). Suppose 5*g = 4*w - 490 + 184, 0 = -w + 5*g + s. Is w a prime number?
True
Let o(y) = y + 10*y - 6 + 4 + y. Is o(3) prime?
False
Let s(z) be the third derivative of -23*z**4/24 - z**2. Is s(-1) prime?
True
Let g be 2/(-3) - 26656/(-24). Is ((g - -1) + 3)/2 a prime number?
True
Suppose 0*i + 2*s = i - 5, -3*i + 2*s = -15. Suppose 6*c = c + 4*h - 12, -3*h + 14 = -i*c. Is (13/2)/(c/(-8)) a prime number?
True
Let u(b) = -b**2 + 8*b - 6. Let m be u(7). Is (1 - m) + 3 + 3 a prime number?
False
Let a(d) = -d**3 + 9*d**2 + 11*d - 3. Suppose -o = 4*o - 40. Is a(o) a prime number?
True
Let z(u) = -u**2 - 8*u + 13. Let j be z(-9). Suppose j*f - 3*n = -0*n + 293, 371 = 5*f + n. Is f a composite number?
True
Let x be (-5)/((-10)/(-4)) - -197. Suppose -4*z = -2*k - k - 758, 2*k = -z + x. Is z a prime number?
True
Suppose -10 = 3*w + 5*s, 3*w - 28 - 7 = 4*s. Suppose d - 2*z - 109 = 0, 3*z + 106 = d - 0*z. Suppose w*r - d = -40. Is r composite?
True
Let u = 44 - -167. Is u composite?
False
Suppose -l + 6 = 2*l, -3*a = -5*l - 74. Is (-16)/a - (-1041)/21 prime?
False
Let z be ((-8)/12)/((-4)/6). Suppose -7 - z = p. Is p/28 - (-550)/14 a composite number?
True
Let h be (4/2)/(7/28). Suppose -2*v - h = -v. Let w(b) = -b**3 - 6*b**2 + 11*b + 9. Is w(v) composite?
True
Let w(u) = 30*u**2 + 2*u - 1. Is w(1) a composite number?
False
Let a(v) = v**2 - 4*v + 2*v + v**2 - 2 + 3*v. Let s be ((-6)/(-3))/((-4)/6). Is a(s) composite?
False
Let v(z) = -17*z + 10. Let p be 56/(-6) - (-3)/9. Is v(p) composite?
False
Let c = 0 + -4. Let w be (9/(-4))/((-1)/c). Is (30/w - -3)*-159 a prime number?
True
Suppose 5*q + 5225 = 5*d, -2*q - 5211 = -5*d - 4*q. Is d a composite number?
True
Suppose 5*f = -4*d + 132, d = -2*d - 2*f + 99. Is d composite?
True
Let g be 1/3 + 80/(-6). Let x(p) = -p**3 - 13*p**2 - 11*p - 16. Is x(g) a composite number?
False
Is 4*2/2 + 259 composite?
False
Suppose 0*o = 5*o + 10. Let i(h) = 15*h**2 + 2*h + 3. Is i(o) a prime number?
True
Suppose 8*b - 6*b = 170. Is b a composite number?
True
Suppose -35 = -4*z - z. Let p(g) = 3*g - 3*g + g + z + 4*g. Is p(6) composite?
False
Let g = -4 + 7. Suppose -30 = -5*k + g*k. Is k a prime number?
False
Let j(g) = -58*g + 4. Is j(-1) a prime number?
False
Let c(y) be the first derivative of 2*y**3/3 + 2*y + 1. Let o be 2/4 - 20/8. Is c(o) composite?
True
Suppose 4*p = 3*p + 27. Suppose -2*w - p = -69. Is w composite?
True
Suppose -3*q + 67 = p, 2*p + p - 5*q - 159 = 0. Is p a composite number?
True
Suppose 2*f = -f + 90. Let g(y) = 10*y - 7. Let b be g(6). Let c = f + b. Is c prime?
True
Suppose 0 = 2*g - g + 5*c - 1, 4*g = -5*c - 11. Is 9/15*(181 - g) prime?
False
Let c = -23 + 19. Let l = 75 + c. Is l composite?
False
Let i(a) = -75*a. Let c be i(-3). Is 6/8 - c/(-4) prime?
False
Let i = -431 + 608. Is i a composite number?
True
Suppose -y = -5*y - k + 16, 4*k = -2*y + 22. Suppose y*c - 52 = 20. Suppose 0 = -3*z + a + c + 166, -5*a - 170 = -3*z. Is z a composite number?
True
Let l(d) = 7*d**2 - 3*d - 3. Let r(g) = g**2 + 7*g + 5. Let u be r(-5). Is l(u) prime?
False
Let d = 1983 + -1400. Is d composite?
True
Suppose -3*g = 4*f - 4, 6*f + 16 = 2*g + 2*f. Let p = g - 8. Let n = 13 + p. Is n a prime number?
False
Let k(i) = -i + 1. Let b be k(4). Let r(g) = -5*g**3 - g**2 + 5*g + 4. Is r(b) composite?
True
Suppose -3*y - 15*p + 17*p = -17953, -y + p = -5986. Is y prime?
True
Let z = 23 + -10. Let y(n) = -n**3 + 15*n**2 - 9*n + 12. Is y(z) composite?
False
Let q(s) = -8*s + 9. Let p(y) = y*