 number?
False
Suppose 230 = 5*p - 500. Let n = p - -254. Let o = n + 97. Is o a prime number?
False
Suppose 15 = 3*x, 3*s + 3*x = -s + 11. Is s + (-20)/(-5 - -3) composite?
True
Let a be (-2)/((-1*2)/2). Let d(k) = 6*k**3 + k**2 - k + 1. Let m be d(1). Suppose 2*l = -3*o + 253, -a*l - m*o = -3*o - 250. Is l composite?
False
Let l(u) be the first derivative of -2 + u + 1/4*u**4 + 1/2*u**2 - 1/3*u**3. Is l(3) a composite number?
True
Let s = -303 + 638. Is s a prime number?
False
Suppose 5*c - 13 = 4*j + 442, -2*j = -10. Suppose c = 6*z - z. Is z a composite number?
False
Let a = 332 + -147. Is a composite?
True
Let w = 53 + -32. Suppose -3*k + w = -36. Is k prime?
True
Let l(f) be the first derivative of 94*f**3/3 - f**2/2 - 1. Suppose -d + 2 - 3 = 0. Is l(d) a composite number?
True
Is (0 - (-1 - 626)) + 4 a composite number?
False
Let o be 0/((-2)/(-3)*3). Is (-3)/(o + 1) - -82 prime?
True
Let q(h) = 70*h - 11. Is q(7) prime?
True
Is 1*-1 - (-87 - 3) a composite number?
False
Suppose 25 + 52 = n + j, 3*n + j - 237 = 0. Suppose 4*k = 2*f + 82, 4*k = 5*f - f + n. Is k composite?
True
Let m = -3 + 6. Suppose -9 = -m*y - 0. Is 81 + -1*(-1 + y) prime?
True
Suppose -5*o - 9 = -44. Is (-1 - 288)*(-7)/o a composite number?
True
Let c(b) = -b**3 - 6*b**2 - 6*b + 2. Is c(-5) prime?
True
Let i = -8 + 8. Suppose 5*a + c + c = 69, i = -5*a + 3*c + 84. Is a a composite number?
True
Let v(j) = -13*j**3 + 2*j**2 - 3*j - 7. Is v(-4) a prime number?
False
Let a be -4*(-1)/2 + 1. Suppose -r + 3*t + 409 = 0, r - a*r + 818 = t. Is r prime?
True
Suppose 21 = 54*g - 53*g. Is g a composite number?
True
Suppose 0 = 5*d - 2*d - p - 7, 3*d = -2*p + 22. Suppose 0*u - d*u + 292 = 4*v, v - 77 = 3*u. Is v a prime number?
False
Let d = 63 - -146. Is d composite?
True
Suppose -m - m - 21 = -3*c, 5*m + 4*c = -87. Let t be (-6)/m + (-13)/(-5). Suppose t*o - 2*o = 119. Is o composite?
True
Let u(w) = w**3 + 3*w**2. Let d be u(-3). Suppose -323 = -4*b - 0*r - 3*r, d = 3*b + r - 236. Is b a prime number?
False
Let n = 462 - 251. Is n prime?
True
Suppose -13*z + 2828 = -9*z. Is z a composite number?
True
Suppose -v + h = -31, -4*v + h + 116 = -h. Let b = v - 4. Is b prime?
True
Suppose 5*o - 250 = 5*r, 3*o + r + 13 = 151. Is o prime?
True
Let v(a) = 99*a**2 - a + 3. Is v(-2) a composite number?
False
Let g(u) = -51*u + 17. Is g(-6) a prime number?
False
Let n(d) = -3*d**2 - 3*d - 11. Let t(w) = -w**3 - 9. Let j be t(0). Let o(g) = 7*g**2 + 7*g + 21. Let x(p) = j*n(p) - 4*o(p). Is x(0) prime?
False
Suppose -2*p - o + 258 = 0, -133 - 244 = -3*p + o. Is p prime?
True
Let p = 8 - 6. Let h = 367 + -262. Suppose -h = -s - p*s. Is s a composite number?
True
Let l(c) = c**3 - 5*c - 3. Let j be l(-5). Let k = j - -360. Is k a prime number?
True
Suppose g + 2*g = 0. Let v(a) = -2*a + g*a**2 - a**2 + 2*a**2 - 1. Is v(-1) a prime number?
True
Suppose 4*g = -0*g. Let k(u) = -u**3 + u + 149. Is k(g) prime?
True
Let z(i) = -i + 9. Let q be z(6). Suppose -q*u + 72 = -21. Is u prime?
True
Suppose -4294 + 16429 = 15*l. Is l a prime number?
True
Let n(f) = 4*f + 4. Let l be n(-5). Let t = 75 + l. Is t a composite number?
False
Let u = -3 + 4. Let a be (u + 5)*2/4. Is 0/(-6 + a) + 37 composite?
False
Suppose 248 = -0*v - 2*v. Let w = v - -183. Suppose 0 = -4*a + w + 1. Is a composite?
True
Suppose -4*m + 14*k = 11*k - 1632, 2*m = -5*k + 842. Is m a composite number?
True
Let l be 2/3 + 12/36. Is (-636)/(-9)*3 - l composite?
False
Is ((-3)/2)/((30/184)/(-5)) prime?
False
Suppose f - 5 = 32. Is f a composite number?
False
Is 3 + 33 + -1 + 0 prime?
False
Suppose 21 = -4*g - 7. Let a = g - -7. Suppose 4*w - 58 = -2*t, a*t - 100 = -4*t - 4*w. Is t a composite number?
True
Let t(p) = -2*p**3 - 3*p - 3. Let b be t(3). Let g be -4*(b/8 - -1). Let j = g + -18. Is j a prime number?
True
Let m = 608 + 243. Is m a prime number?
False
Suppose 4*b + 2*v - 6*v = 316, -146 = -2*b - 2*v. Suppose -y + 21 = -b. Is y a prime number?
True
Suppose -30 = -5*f + 5. Let w = f + -3. Suppose 5*l - 5*k = -0*k + 40, -l - w*k = -3. Is l composite?
False
Suppose -28*v + 33*v - 7045 = 0. Is v a prime number?
True
Suppose -40 = 3*s + 5*i, -s + 4*i = -i. Is (-146)/s + 2/5 prime?
False
Is 1/(-5) - ((-913896)/15)/12 composite?
False
Let h be 2/(-4)*0 - -6. Let t be 10 - (-2 - h/(-2)). Suppose -z = 2*z - t. Is z a composite number?
False
Let f = -4 + 3. Let u = f + 3. Is 122 + 0 + -1 - u prime?
False
Suppose 2*s - 36 = 146. Is s a prime number?
False
Let h = -4 - -8. Suppose c - 6*c + 80 = h*w, -4*w = -3*c + 80. Is (10/c)/(1/6) prime?
True
Let o(l) = l**3 + 10*l**2 - 3. Let v be o(-10). Let m = v + 1. Is (268/(-2))/(4/m) a prime number?
True
Suppose 97 - 32 = -5*c. Suppose 5*p + 2*j = 130, -1 = p - 0*p - 5*j. Let r = c + p. Is r prime?
True
Suppose -4*c = -67 - 105. Suppose -56 = 5*x + 2*h, 3*x - 3*h - 54 = 8*x. Let t = c - x. Is t a composite number?
True
Suppose -4*g + 544 + 100 = 4*c, -4*c = -5*g + 823. Is g a prime number?
True
Let q = 1012 + -495. Is q a composite number?
True
Suppose -800 + 165 = -5*f. Suppose 1516 = 3*z + f. Is z a prime number?
True
Suppose r - 2*k = 15, 18 = 4*r - 2*k - 12. Suppose 2*m + 3 = r*m. Is m/5 + (-164)/(-5) a composite number?
True
Suppose -3*w - 532 = 2*w + i, 0 = -2*w + 5*i - 202. Let o = w - -149. Suppose -5*m + z - 3*z = -113, -3*z = 2*m - o. Is m a prime number?
True
Let c = 3056 - 1988. Suppose -2*n + c = -0*r + r, n + r = 534. Suppose 0 = -4*a + n - 74. Is a a composite number?
True
Suppose y - 498 = 4*x, -4*y - x + 2*x = -2007. Is y composite?
True
Suppose 5*c + 2*l = 65, -27 - 3 = -3*c - 3*l. Let m(s) = 13 + s**2 - 5*s**2 - c*s + 0*s + 3*s**2. Is m(-9) prime?
True
Let x(c) = 2*c - 3. Let l be x(0). Is 180 + l + 2*1 prime?
True
Suppose 0*x = 4*x - 3*r + 11, 3*x - r + 7 = 0. Let k be (x/(-4))/(2/12). Suppose 0 = m + l - 12 + k, -5*m = l - 45. Is m a composite number?
True
Is 79*(-2 + 0)*(-2)/4 a prime number?
True
Suppose v = 2*k + 2 - 5, 2*k = -4*v - 12. Is v + (-2)/1*-113 composite?
False
Suppose -15 + 53 = -2*o. Is 6/6 + (-1 - o) a prime number?
True
Let c be (8/(-2))/(-1) - 0. Suppose -3 = -o - 5. Is 2/o - (-54 + c) a composite number?
True
Suppose 5*i - 2*g - 392 - 296 = 0, -156 = -i + 5*g. Let v = i - -94. Suppose -v = -5*l - f + 196, 5*l - 3*f - 422 = 0. Is l prime?
False
Let q(b) = 17*b**2 + 6*b + 3. Let r(y) = -3*y**3 - 2*y**2 + y. Let x be r(1). Is q(x) a composite number?
False
Suppose -1207 + 3881 = 14*h. Is h a prime number?
True
Suppose -3*k + 5*k - 18 = 0. Is 537/k - (-6)/(-9) prime?
True
Let f(x) = 6*x**2 + 6*x + 17. Is f(-12) composite?
False
Suppose -266 = -5*m + 259. Suppose 0 = -3*n + 174 + m. Is n a composite number?
True
Suppose 9*j - 22335 = -4470. Is j prime?
False
Let a = -1588 + 3497. Is a a composite number?
True
Let r(k) = 2*k**3 - 15*k - k**3 + 5*k**2 + 7*k**2 - 11. Is r(-13) prime?
False
Let a(s) = -s**3 + 15*s**2 + 4*s - 7. Is a(11) composite?
False
Suppose 1 = -5*v - 24. Let h = 11 + v. Is h a prime number?
False
Suppose 0 = -4*s + 2*u - 14, 5*s - 6*u + 16 = -3*u. Let p be (2/s)/(1/(-5)). Suppose p*q + 3*y - 89 = 0, -3*q - 5*y + 121 = -3*y. Is q composite?
False
Suppose -6*u = -4*u - 838. Is u a prime number?
True
Suppose 5*r - 52 - 18 = 0. Let y(x) = 3*x**2 - 3*x + 7. Let k be y(-5). Suppose 3*w - k = r. Is w a prime number?
True
Let r = 77 - 34. Is r a prime number?
True
Suppose 2*q + 74 = -2*y, 0*y + 139 = -4*y - q. Let b = y - -67. Is b composite?
True
Is ((-2)/3)/((-2)/537) composite?
False
Suppose -9*a + 6987 = -6*a. Is a a composite number?
True
Let u(v) = -v + 127. Suppose l = -4*l + 2*p - 6, 0 = -2*p + 6. Is u(l) prime?
True
Let q = -244 + 467. Is q a composite number?
False
Is ((-4)/6)/(3*6/(-25299)) prime?
True
Let s be (-26)/(-2) + (2 - 1). Suppose j - 2 = 0, 6*b - 3*b - 2*j = s. Suppose b*c - 425 = c. Is c prime?
False
Let y = -3 - -8. Let x(q) = -q + 9. Let s be x(y). Suppose s*u = 15 + 45. Is u composite?
True
Let f(x) = -3*x**3 + 3*x**2 + 2*x + 9. Let o(s) = 2*s**3 - 4*s**2 - s - 9. Let q(z) = -3*f(z) - 4*o(z). Let p(j) = -4*j + 1. Let k be p(2). Is q(k) composite?
False
Let m(p) = 428*p**2. Let c be m(1). Let a = c - 123. Is a composite?
True
Let y = -180 + 318. Suppose -7*r = -5*r - y. Is r composite?
True
Suppose 0 = 2*o + 3*o - 410. Let 