 prime number?
True
Suppose 3*o = -2*z - 351, z + 282 = o + 114. Let b = 464 - z. Is b prime?
False
Is 3458/22 + 1*6/(-33) composite?
False
Let z(m) = -86*m**3 + 2*m**2 + 2. Let o be z(-2). Suppose -3*x + o = 215. Is x prime?
False
Suppose -x + 689 = -5*w, -1350 = -2*x - 0*w + 3*w. Is x a prime number?
False
Is 22/(-121) + 35/11 composite?
False
Let s be (0/2)/(1 + 0). Is (492/3)/2 + s prime?
False
Suppose 0 = 2*c - 7 + 3. Suppose -2*x + c = -104. Is x composite?
False
Is (13/(-3) + 1)/((-2)/159) composite?
True
Let i(d) = -4*d - 9. Let a(o) = -5*o**2 + o. Let w be a(-1). Let y be i(w). Suppose 3*j - 161 = 5*z + y, -3*z + 216 = 3*j. Is j a composite number?
False
Is 1/((-4)/(-295)) + (-2)/(-8) a composite number?
True
Let p(k) = 440*k - 1. Is p(1) a composite number?
False
Let w(n) = -n**2 + 14*n - 9. Is w(10) composite?
False
Let z(v) = 76*v**2 - 30*v - 2. Is z(6) a prime number?
False
Let j(f) = -12*f - 11. Let n(g) be the first derivative of 6*g**2 + 10*g - 1. Let b(z) = -3*j(z) - 4*n(z). Is b(-8) composite?
False
Let h be -2 - (-152)/(-2 + 4). Suppose 36 + h = 2*x. Let s = x - 18. Is s a composite number?
False
Suppose -4 = -4*y + 4. Let h be (1 + 162/4)*y. Suppose h + 53 = 4*k. Is k prime?
False
Let l = -9 - -12. Suppose c = -f + 69, -l*c - 3*f + 212 = f. Suppose 4*p - v - 38 - 35 = 0, 4*v = 4*p - c. Is p prime?
True
Let s(l) = -2*l**2 + 3*l - 7. Let a(z) = z**2 - z + 3. Let i(p) = 13*a(p) + 6*s(p). Let t(r) = -r**2 - 12*r - 7. Let k be t(-11). Is i(k) prime?
False
Suppose 0 = -2*o + 6, -3*h + 5*o = -5*h + 23. Suppose 69 = 6*u - h*u - l, 5*l + 86 = 3*u. Is u a composite number?
False
Let b(z) = -z**3 - 6*z**2 - 6*z - 7. Let o be b(-5). Let r(x) = -3*x - 2. Let i be r(o). Suppose i*f = -0*n + 3*n - 65, 4 = -2*f. Is n a composite number?
False
Let y be (-1 + 4279)*3/6. Suppose 0 = 22*t - 25*t + y. Is t a composite number?
True
Let j(b) = -12*b - 1. Let o be j(-4). Suppose -o = 5*w - 297. Suppose -w = -4*v + 386. Is v composite?
False
Let l = 11 + 68. Is l prime?
True
Let q = -1216 + 2873. Is q composite?
False
Let r = 136 - 210. Let y = 259 + r. Is y prime?
False
Let f(s) = -s - 12. Let l be f(-9). Let c be ((-2)/l)/((-12)/(-54)). Suppose -c*x = -6*x + 93. Is x a prime number?
True
Let b(o) = 97*o**2 - 4*o - 9. Is b(-4) a prime number?
True
Let d = 5744 + 4979. Is d prime?
True
Let f be (8 + -9)/(1/(-3)). Is 1 + (-570)/(-9)*f composite?
False
Let y(x) = x**2 - x - 1. Let i be y(-1). Is i*116/(-8)*-14 composite?
True
Is 2*((-3483)/(-6) + 5) composite?
False
Let v = -1 - 5. Let d(p) = -p**2 - 12*p - 9. Let w(t) = 5*t**2 + 49*t + 37. Let z(q) = 9*d(q) + 2*w(q). Is z(v) a prime number?
True
Let a(i) = -230*i - 6. Let t be a(-9). Suppose 5*h - t = d, -5*d + 2070 = 4*h + h. Is h composite?
True
Let b(l) be the second derivative of -13*l**5/120 - l**4/12 - 2*l**3/3 - 4*l. Let k(u) be the second derivative of b(u). Is k(-7) prime?
True
Let y(n) = -n**2 + 6*n + 6. Let p be y(7). Is (-10)/(-30)*(248 - p) a prime number?
True
Suppose -6*f = f - 6307. Is f composite?
True
Let q be (-5)/(-2) + (-1)/2. Suppose q*c - c = 89. Is c a prime number?
True
Suppose 0 = -4*f + 8*f. Let p(l) = f*l**2 + 2*l**2 - 5*l**3 - 4 - l + 3. Is p(-3) prime?
False
Let z = -4 + 9. Suppose 0 = -z*j + 4*j + 242. Let r = j - 127. Is r a composite number?
True
Suppose -54 = x - 430. Let f = 587 - x. Is f composite?
False
Suppose -s - 110 = -3*s. Is s a composite number?
True
Let f be ((-16)/(-6))/(-4)*9. Let p(h) = h**3 + 7*h**2 - 9*h - 2. Let n be p(f). Suppose -2*y = -6*y + n. Is y composite?
True
Suppose -5*s + f = 2*f - 340, 72 = s + f. Is s a prime number?
True
Suppose -2*c = 5*k - 234, -c + 131 + 16 = -5*k. Is c prime?
True
Suppose -3*d + 0*d - 31 = v, -2*v + 28 = -4*d. Is 2/d - 40/(-18) a composite number?
False
Let h be 0 + 2 - (2 + -1). Suppose -5*w = 5*w + 880. Is (w/(-20))/(h/5) prime?
False
Let k(d) = d**2 - 5*d - 2. Let o be k(6). Suppose -3*w - 2*w = o*t - 29, -4*w = 2*t - 22. Is t*(-99)/(3 - 6) a composite number?
True
Suppose -5*n = 5, -5*q - 5*n = -0*q - 740. Is q a composite number?
False
Let c(m) = -2*m + 1. Let v(l) = 5*l - 2. Let n(g) = -g. Let o(j) = -4*n(j) - v(j). Let w(b) = 3*c(b) - 2*o(b). Is w(-6) a prime number?
True
Suppose 5*z - 2*z = 0. Suppose -d = 2*w - 0*d + 8, 4*w - 4*d + 16 = z. Is ((-20)/(-2))/(w/(-10)) composite?
True
Let g(b) = b**3 + 6*b**2 + 2. Let p be g(-6). Let f = -5 + p. Is ((-1)/f)/((-1)/(-159)) composite?
False
Suppose 0 = -4*g, -4*h + 3*h - 3*g + 223 = 0. Is h prime?
True
Is 1198 + (0 - 1) - 2 composite?
True
Suppose -h + 2*i - 4 = 0, 4*h = -10*i + 5*i + 49. Let x(m) = m**3 - 6*m**2 + m - 6. Let s be x(h). Suppose 5*v + s*v = 275. Is v a prime number?
False
Suppose -t = -642 - 457. Is t a prime number?
False
Let s(p) = 63*p**2 + 2*p - 5. Is s(2) prime?
True
Let v(x) = 5*x**3 + 2*x**2 + 2*x - 2. Is v(3) a composite number?
False
Let s be -2 + 1*(-2 + 46). Let h = 11 + s. Is h a composite number?
False
Let q(h) = -h**2 - 24*h - 22. Is q(-17) prime?
True
Suppose 4*h = 124 + 584. Is h a composite number?
True
Is ((-356)/5)/((-6)/15) a composite number?
True
Let b(k) = k**3 - 6*k**2 + 5*k - 1. Let s be b(5). Suppose 0 = 3*r + 2*c - 4, -5*r - 18 = -c - 3. Is (74/r*s)/1 a composite number?
False
Suppose 0 = -3*d + 2*d + 4. Suppose d*j = -0*j + 132. Is j prime?
False
Let z(a) = 2*a**2 + a + 1. Let w be z(-1). Suppose 0 = -w*c + 6 + 38. Is c a composite number?
True
Suppose -4*y - 381 = -7*y. Is y a prime number?
True
Let u(y) = 4*y**2 - 3*y + 1. Let b be u(2). Let p = -6 - b. Let w = p - -56. Is w a prime number?
False
Suppose 2*o + 6 = 2*a, 2*o - 13 = -5. Let z(l) = 2*l**2 - 3*l. Is z(a) prime?
False
Is -556*1*3/(-12) a prime number?
True
Suppose -4*s + 3*s + 5 = 0. Let f = -12 + 36. Let c = f - s. Is c a composite number?
False
Suppose 0 = -5*h + 5*g + 2300, 0 = 2*g + 6. Is h composite?
False
Let p(n) be the first derivative of 7*n**2/2 - 8*n - 2. Let i be p(6). Let u = i + 3. Is u a prime number?
True
Let u(p) = -21*p - 17. Is u(-6) composite?
False
Let j(l) = -13*l + 2. Let a(i) = 40*i - 7. Let d(m) = -3*a(m) - 8*j(m). Suppose -3*s = 15, 3*s + s + 10 = 2*q. Is d(q) a composite number?
True
Let a(w) = -w**3 + 10*w**2 - 8*w - 9. Let y be a(9). Is 81 + -4 - y/3 a prime number?
False
Suppose -j + o - 69 = -o, 2*j = -5*o - 129. Let t = j - -124. Is t + 2*(1 - 2) a prime number?
False
Suppose 8*x = 3*x - 1985. Let j = x + 662. Is j composite?
True
Let o(h) be the second derivative of h**5/20 - h**4 - 2*h**3 + 4*h**2 - 5*h. Is o(13) a prime number?
False
Suppose -i + 87 - 1408 = -4*d, 3*i = -2*d + 671. Is d composite?
False
Let b = -728 + 127. Let s = b - -850. Is s a prime number?
False
Suppose -2*r = 4*o + 374, -o + 3*r - 2*r - 89 = 0. Let p = -44 - o. Let h = 19 + p. Is h prime?
True
Let t(w) = 6*w**2 - 6*w - 3. Is t(-5) a composite number?
True
Let t(x) = 3*x - 1. Suppose -3*i + 8 = i. Let c be 33/6 - i/4. Is t(c) a composite number?
True
Suppose -2*p = -936 + 194. Is p prime?
False
Let a = 120 - -70. Suppose -4*r + a = r. Let k = -13 + r. Is k a prime number?
False
Suppose -3*g = g - 36. Is g a composite number?
True
Is -2 + (0 - 2172)/(-4) a prime number?
True
Suppose 4*t - 3105 + 1229 = 0. Is t a prime number?
False
Let z be 0 + 3 + (1 - 1). Is (0 + 1)/(z/18) a composite number?
True
Suppose -2*o - 512 = -6*o. Suppose 3*a - o = -5*m, -132 = -5*m + 3*a - 5*a. Let w = -13 + m. Is w a composite number?
True
Suppose 3*j - 150 = -0*j + 5*f, 0 = -3*j - 2*f + 171. Suppose 5*r = 3*v - 2*v + 10, -2*r + j = 3*v. Is ((-18)/v)/(6/(-255)) composite?
True
Suppose -68 - 144 = -4*m. Is m composite?
False
Let a(g) = 5*g**2 - 7*g - 4. Is a(6) prime?
False
Let f(y) = y**2 + 14*y + 6. Let r be f(-7). Let u be (-1)/(-3) - (-227)/3. Let m = r + u. Is m prime?
False
Suppose 0 = 3*m - 4*j - 1273, -8 = 4*j + 8. Is m composite?
False
Let s be 1/2*(12 + -12). Suppose 11 + s = r. Is r a prime number?
True
Suppose 3*y - 31 - 74 = 0. Is y a composite number?
True
Suppose -3*x - 5935 = -2*v, 5*v + 0*x - 14885 = -2*x. Suppose v = 4*c - 837. Is c prime?
True
Is (-8877)/(-18) - (-5)/(-30) a prime number?
False
Suppose v = -10*v + 10043. Is v prime?
False
Let d(v) = v**3 + 9*v**2 - 9*v + 4. Let r be d(-10). Let c be r + (2/2)/1. Let o(a) = -6*a - 5. Is o(c) composit