number?
False
Suppose -4708 = 8*f - 12*f. Is f composite?
True
Is (-2)/3*-15*94/4 prime?
False
Let a(w) = -3*w + 2. Let u be a(4). Let t = 4 - u. Is t prime?
False
Let i(g) be the second derivative of g**7/840 - g**6/60 - g**5/10 + g**4/24 - g**3/6 - g. Let m(u) be the second derivative of i(u). Is m(8) a composite number?
True
Suppose 4*x + 113 = -a + 300, -748 = -4*a + 2*x. Suppose -5*y = 5*c - 665, 4*y = -5*c + a + 479. Is c a prime number?
False
Let h = 2992 - 939. Is h a prime number?
True
Suppose -3*w = -0*w - 5*k - 19529, 4*w + 2*k = 26004. Is w prime?
False
Suppose 0 = -3*h + 2524 + 938. Suppose -h = -4*z - 150. Is z composite?
False
Let s(m) = m**2 + 4*m - 2. Let a be s(-5). Let i(w) = 2*w**2 + 1. Let r be i(1). Suppose -509 = -2*d + 3*x, a*d = -r*x - 0*x + 756. Is d prime?
False
Suppose 4*y - 20 = -5*z - 4, -3*y + 9 = 3*z. Let a(l) = 2*l**3 - l - 1. Let j be a(-1). Is (-1)/j - (-374)/z a composite number?
True
Suppose -10*b = -13*b + 2307. Is b a prime number?
True
Let n(c) = c**3 - 6*c**2 + 5*c + 3. Let v = -16 + 34. Suppose 5*x - v = 12. Is n(x) a composite number?
True
Let u = -1896 + 2809. Is u a composite number?
True
Let f(q) = q**3 - 3*q**2 - 4*q + 4. Let i be f(4). Let j be ((-5)/2)/(i/8). Let v = 16 + j. Is v a prime number?
True
Suppose 4*q + 4*u - 200 = 0, 3*u + 5 + 4 = 0. Is q composite?
False
Suppose w = 4*g - 4, 0 = g + 2*g - 4*w + 10. Suppose g*f = -3*b + 10, b + 10 = f + f. Suppose -2*a + 74 = -b*a. Is a prime?
True
Let w(u) = u**2 + 2*u + 4. Suppose a - 20 + 54 = 5*v, -4*v = 3*a - 31. Is w(v) a composite number?
False
Suppose 3*m - 1896 = 6*m. Is m/(-5) - 12/(-20) composite?
False
Let b = 900 + -23. Is b a composite number?
False
Let k be (34/10)/((-1)/(-5)). Let q = -12 + k. Suppose 588 = 4*u - 4*w, 4*u - 755 = -u - q*w. Is u a prime number?
True
Let c = 4 + -5. Is (c/1)/((-2)/130) a composite number?
True
Let m(x) = -x**3 - 4*x**2 + 2*x - 10. Is m(-7) composite?
True
Let r(x) = -114*x**3 - x - 2. Is r(-1) prime?
True
Suppose 6*i + 745 = 7*i. Is i prime?
False
Suppose 3*l = -4*s + 6 - 20, -2*s - 12 = -l. Is -1 + 5/(s/(-26)) composite?
True
Let r(a) = -168*a - 1. Let q be (0/(-1))/((-12)/(-6)). Suppose -4 + 7 = -3*n + g, n - 2*g - 4 = q. Is r(n) a composite number?
True
Let q(s) = -s**3 + 3*s**2 + s + 2. Let w be q(3). Suppose j + 0*v + 3 = -3*v, w*j = 3*v + 21. Suppose -2*f = j*f - 55. Is f a prime number?
True
Let t = -3814 - -6461. Is t prime?
True
Let j = -39 - -45. Let n be 2/(-1) - (-1 + -2). Is -3*(n - 44/j) a composite number?
False
Suppose -5*t + 48 + 3667 = 0. Is t a composite number?
False
Let b(l) = l**3 + l + 19. Is b(0) prime?
True
Let c(q) = -q**3 - 4*q**2 - 5*q - 2. Let v be c(-3). Suppose 4*x = -5*t + 23, -v*t + 0*x - 5*x = -13. Is t prime?
True
Suppose 6 = -2*m, 4*r - 2*m - 2 - 4 = 0. Suppose -1 = d - r*d. Let s = 38 + d. Is s a prime number?
True
Let q = -26 - -44. Let n(k) = k**2 + 11*k + 7. Let v be n(-4). Let x = q - v. Is x composite?
True
Is ((-1623)/9)/((-3)/9) composite?
False
Suppose 92*h = 102*h - 12170. Is h a composite number?
False
Suppose 5*k = k. Suppose -w - 6 = -t - k*w, -3*t + 2 = w. Is -12*(-4)/6 - t composite?
True
Let o = -4148 + 5955. Is o a prime number?
False
Let y(d) = -d**3 + 16*d**2 - 11*d - 17. Is y(14) a prime number?
False
Let n(z) = -z**3 - 11*z**2 - 9*z + 14. Let p be n(-10). Suppose 264 = p*y - 3*d - 38, -3*d - 148 = -2*y. Is y a prime number?
False
Let j = 51 - 103. Let q = j - -119. Is q composite?
False
Let r(t) = -31*t + 8. Is r(-6) a prime number?
False
Let c(d) = -d**2 - 6*d + 10. Let u be c(-7). Suppose -25 = -u*s + 35. Suppose g = -m + s, -m - 4*g + 13 = -10. Is m composite?
False
Let y(a) = 2*a**3 + 7*a**2 - a - 6. Let i be y(-5). Is 1 - (0/2 + i) composite?
True
Let u(a) be the third derivative of a**5/30 + a**3/6 + 5*a**2. Is u(9) a prime number?
True
Let l(g) = 5*g**2 - g + 3. Let u = 7 + -3. Is l(u) prime?
True
Suppose -2*j = -4*j. Let a(g) = 2*g + 36. Let p be a(0). Suppose -u + p - 2 = j. Is u composite?
True
Let a(j) = -3*j**3 + 8*j**2 + 2*j**3 + 2*j**3 - 13*j - 11. Is a(-9) prime?
False
Suppose 0 = -3*k + 4*k - 3. Let s be ((31*-3)/k)/(-1). Suppose -2*b + s = -7. Is b a prime number?
True
Let h(f) = -f + 1. Let m be h(-5). Suppose 4*x = -m*p + 2*p + 56, -x - 31 = -2*p. Is p a prime number?
False
Let h = -53 - -27. Let r be h/(-3)*(-30)/(-2). Suppose -r = -3*f - 19. Is f prime?
True
Suppose 0 = -3*z + 1 + 5. Let j(d) = -d**3 - 6*d**2 + 3*d - 3. Let m(s) = -s**3 - 5*s**2 + 3*s - 3. Let l(b) = 3*j(b) - 4*m(b). Is l(z) a composite number?
False
Let y(c) be the second derivative of 1/2*c**2 + 0 - 7/3*c**3 - 2*c. Is y(-1) a prime number?
False
Suppose 0*h = 5*h + 295. Let o = h - 28. Is 2 + 1/((-1)/o) composite?
False
Suppose d - 4*o - 689 = 0, 3*o = -18 + 6. Is d composite?
False
Let w(j) = -170*j. Let q(r) = -13*r. Let p(v) = -51*q(v) + 4*w(v). Let u be p(-8). Suppose u = 2*k + 2*k. Is k composite?
True
Let u(n) = 38*n - 3. Let r be u(9). Let f = 502 - r. Is f a prime number?
True
Let j(n) be the second derivative of n**4/6 - n**3/3 + n. Let y be j(2). Suppose y*q - 70 = 70. Is q a prime number?
False
Let r be (-28)/(-7) + 0 + -1. Suppose -q - 62 = -r*q. Is q a prime number?
True
Suppose 4*b - 843 = -t, 2*b + 1111 = 2*t - 625. Is t a composite number?
False
Let l(g) = -g - 4. Let v be l(-4). Let h(q) = q**3 - q**2 + 2*q - 121. Let c(d) = -d. Let n(w) = -c(w) - h(w). Is n(v) a composite number?
True
Let g(q) = -2*q - 29. Let j be g(-13). Suppose 1 = -2*l - 3. Is l/((-386)/(-130) + j) a prime number?
False
Suppose 2 = -b - 0*b - 3*v, -4*b - v = 19. Let y(u) = u**2 - 8*u + 7. Let h be y(5). Let w = b - h. Is w prime?
True
Let q be (1 - (-248 + 2)) + -2. Suppose 0 = -3*b - 0*b - 480. Let p = q + b. Is p prime?
False
Let p(i) = -2*i - 7. Let t be p(-8). Suppose 12 = 3*m + 3*q, t*m - 3*q + 20 = 4*m. Is m/6 + 993/18 composite?
True
Let h(i) = i**3 + 3*i**2 - 2. Let o be h(-2). Suppose -o*r = 3*z - 4 - 15, -4*z - 40 = -2*r. Is r prime?
False
Let h(o) = -14*o - 14. Let d be h(-6). Is d/4*(-2 + 4) composite?
True
Is (-43718)/(-12) - 11/66 composite?
False
Suppose 3*q - 790 = -4*d, -2*d + 3 = d. Is q a prime number?
False
Suppose -2*m - 9 = 4*v - 25, -3*m - v + 19 = 0. Let q be (-6)/4 + (-9)/m. Is (q - -2)/((-1)/13) a composite number?
False
Let o = -96 + 149. Is o a composite number?
False
Suppose 0 = -2*z - 5*j + 315, 2*j + 779 = 5*z + 6*j. Suppose -2*y + 7*y = z. Is y a prime number?
True
Let a(k) = -k**3 + 2*k**2 + 2*k + 3. Let u be a(3). Let q be u + 1 - -1 - 1. Is (-17)/(q/(-2) + 0) composite?
True
Let j(y) = 4*y + 2. Let p be j(-2). Let q be -4*(1 + p/4). Suppose -8 = -q*h + 22. Is h prime?
False
Let q be (-27)/6*2/(-3). Suppose 0*t + 4*v = 5*t - 255, 2*v + 155 = q*t. Let h = -36 + t. Is h a prime number?
True
Suppose -8 = -2*d - 0*d. Let g = 8 - d. Suppose 5*c - 187 = -2*p, g*p = -c - 0*c + 41. Is c a prime number?
True
Let h(v) = 2*v**2 + 5*v - 6. Suppose -5*f = 3*j + 10, -5*j - f = -0 + 24. Is h(j) prime?
True
Suppose 0 = -2*l - y - 7 + 188, 2*l - 5*y - 163 = 0. Suppose 0 = -4*b + 179 + l. Is b a prime number?
True
Suppose -9 = 3*t, 5*k + 2*t - t - 2927 = 0. Is k composite?
True
Suppose -3 = -4*b + r + 11, 5*b + 5*r = 5. Is 3 + -68*b/(-6) composite?
False
Is ((-58)/6)/((-9)/135) a composite number?
True
Let m(h) = 22*h**2 - 11*h - 1. Is m(-7) prime?
False
Let g = -70 - -103. Suppose l - g = -2*l. Is l a composite number?
False
Let h = 13 + -4. Suppose 11 = 5*p - h. Suppose 31 = p*r - 3*r. Is r a composite number?
False
Suppose -2*w = 3*y - 2221, -y + 4*w + 735 = 6*w. Is y prime?
True
Let b(t) = 2*t - 3 + 2*t**2 - 1 - 4*t**3 + 2 + t**3. Let g be b(-3). Let d = g - 54. Is d prime?
True
Let z be (2 - 0 - 1) + -227. Let m = -384 - z. Let k = -67 - m. Is k composite?
True
Let n = 98 + -22. Let j = -8 - -12. Suppose 0*h - n = -j*h. Is h a composite number?
False
Suppose 0 = -9*w + 5*w + 2284. Suppose -w = -5*q - 2*z, 4*q + z - 464 = 3*z. Is q a composite number?
True
Suppose -3 = 4*q - 511. Is q a prime number?
True
Suppose -j + 318 = c, 5*j = 2*c - 0*c + 1597. Is j prime?
False
Let b = -16 - -18. Suppose -y + v = 2*v - 445, 890 = b*y + 5*v. Is y prime?
False
Let p(k) = k**3 + 10*k**2 - 8*k - 13. Is p(-10) a composite number?
False
Suppose -6*d = -2*d + 88