 prime?
True
Suppose -2*l + 8 = 4*f - 2*f, 3*l - 17 = -4*f. Let u be 1 + 2 + (-2 - l). Suppose -u*a - 51 = -3*a. Is a prime?
False
Suppose -3*q - 155 = -542. Is q a prime number?
False
Suppose 5*u - 25 = 0, 5*u - 1806 = -5*m - 516. Suppose 2*o - 73 - m = 0. Is o prime?
True
Let m = 1242 - 601. Is m a composite number?
False
Suppose 681 + 1007 = 4*a. Is (-1 + 3)/(4/a) prime?
True
Let b be 1500/7 + (-2)/7. Suppose -4*p + b - 18 = 0. Is p prime?
False
Let l(t) = -t**2 - 7*t - 6. Let y be l(-5). Suppose -2*n + n - y*u = -5, -20 = 4*u. Is n composite?
True
Let p be (-1 + 1/2)*12. Let b = p + 9. Is b composite?
False
Let k(c) = 138*c**2 - 1. Is k(2) a composite number?
True
Let x(b) = b + 5. Let y be x(-2). Let a(j) = 28*j**2 + 0 - 2 + 1 + 2*j. Is a(y) composite?
False
Let p be (-2)/(-8) + 84/(-16). Let x(t) = t**2 - 4*t + 2. Let m be x(p). Suppose z - 8 = -w + 1, 3*z - m = -5*w. Is w composite?
True
Let i(v) = -11*v + 4. Let p be i(-4). Let j = p + -20. Suppose -j = -b - 5. Is b a prime number?
True
Let z be 3 + (-6)/3 + 2. Suppose -30 = -z*r - 0. Is r prime?
False
Let u(j) = -j**2 - 4*j - 3. Let y be u(-4). Is (5 + y)*(-39)/(-6) composite?
False
Let q = 78 + -47. Suppose -2*r + q = -13. Is r a prime number?
False
Let s(j) = j + 70. Let p be s(0). Suppose 11*g - 170 = 9*g. Suppose g = 5*l - p. Is l a prime number?
True
Suppose -4*a + 0*a = 56. Let v(h) = -11*h - 13. Is v(a) prime?
False
Let y be (-52)/(-12) - 2/6. Suppose -2*w - y = 2*w, -2*n + 4*w + 12 = 0. Suppose 2*s + 0*s + 4*g = 6, 2*g = n*s - 62. Is s a composite number?
False
Suppose f + 2 = 3*f. Let m = f - 4. Let p = m + 9. Is p a composite number?
True
Let g(x) = 3*x. Let r be g(3). Suppose u = -0*u + r. Suppose 5*o = -5, -2*h + 67 + u = -2*o. Is h a prime number?
True
Suppose 5*b - o = 8, -4*b + 0*o + 14 = 3*o. Is (127/(-3))/(b/(-6)) composite?
False
Let r = 9 + -9. Let g be (r - 1)/(5/(-5)). Is g/((-2)/(-253 + -1)) composite?
False
Let o(t) be the second derivative of t**4/12 + t**3/3 + t**2 - 3*t. Is o(-6) a composite number?
True
Let f(g) = -g**3 + g**2 + 2*g - 1. Let x be f(2). Is 144/4 - (x - -3) composite?
True
Let t be 4/((-36)/(-129))*-162. Let w be t/(-12) + 2/4. Suppose -4*i - 3*x = -8*x - 133, -3*x = 5*i - w. Is i prime?
True
Suppose 2052 = 3*s - 2*d - 3*d, -5*d + 15 = 0. Is s composite?
True
Let u(j) = j**2 + 5*j + 2. Let o be (-4)/(-14) - 37/7. Let q be u(o). Suppose -q*l - 3*l = -185. Is l composite?
False
Let m(k) = -13*k**3 + 5*k**2 - 3*k - 13. Is m(-4) a composite number?
False
Suppose -5*r = -9*r + 6052. Is r a prime number?
False
Let q be (-1694)/6 + 2/(-3). Let r = q + 494. Is r a composite number?
False
Suppose 3*u - 4*p - 1021 = 0, 3*p = -p - 16. Suppose -u = -x - 4*x. Is x a prime number?
True
Let r(h) = 188*h**2 + 4*h + 5. Let o(v) = 47*v**2 + v + 1. Let u = 16 - 7. Let q(k) = u*o(k) - 2*r(k). Is q(1) a composite number?
False
Suppose -4*r + 2524 = -2*r. Is r a composite number?
True
Suppose -4*a - 6 = -a. Let q be 284/6 + a/6. Suppose -q - 39 = -2*p + 5*k, -5*p + 3*k + 253 = 0. Is p a composite number?
False
Suppose -4*l - 3 = -4*o + o, 5*l + 3*o = 3. Let x = 53 + l. Is x composite?
False
Let i(a) = -a**2 + 5*a - 4. Let l be i(4). Suppose -f - 753 = -4*p - l*f, -2*p + 4*f + 394 = 0. Is p prime?
False
Let h(m) = m + 1. Let v be h(4). Suppose t - 5*i + 4*i + 9 = 0, 3*t = -v*i - 51. Is (-1064)/t + 2/6 composite?
False
Is (2 - 5) + 456 - 4 a composite number?
False
Let f(w) = -82*w - 9. Is f(-13) composite?
True
Let y be -1*1/(-2)*-2. Let k be -1 - 0 - y - -2. Suppose -k*m = 2*m - 60. Is m a prime number?
False
Suppose -807 - 231 = -3*c. Is c prime?
False
Let y = 8 - 7. Let z = -85 - y. Let x = z + 143. Is x composite?
True
Let f = -1 - -6. Let x = f + -13. Is x/28 - 144/(-14) prime?
False
Let r = -12 - -3. Let s(q) = -16*q + 5. Is s(r) prime?
True
Suppose 5*l + g - 7088 = 592, 2*l = -5*g + 3095. Is l composite?
True
Suppose 0 = -8*u + 8216 + 17856. Is u prime?
True
Let f(q) = q**3 + 7*q**2 + 4*q + 7. Suppose 0*p = 2*p - 24. Suppose c = -c - p. Is f(c) a composite number?
False
Suppose -2*r + 1 = -1. Let m be -138*(r + 6/(-4)). Let b = m + -32. Is b composite?
False
Let z(u) = u**3 - 4*u**2 + 5. Let o be z(4). Suppose 5*h = -5*y + 160, o*h - 41 - 69 = 5*y. Is (-2)/(-9) - (-3585)/h composite?
True
Suppose -4*h + 5*w = 6*w - 1563, h - 2*w = 393. Is h composite?
True
Let t(x) = 28*x. Let m be t(-3). Let r = m + 199. Is r a prime number?
False
Let s(p) be the second derivative of -p**6/720 + 19*p**5/120 - p**4/12 + p. Let x(r) be the third derivative of s(r). Is x(0) prime?
True
Let x(r) = -17*r - 5. Let z be x(5). Suppose -2*y + 365 = g, -y - 3*y - 5*g + 715 = 0. Let f = z + y. Is f a prime number?
False
Suppose -3*o + a + 336 = -2*a, 3*o = -3*a + 354. Is o prime?
False
Let i(p) = -2059*p - 10. Is i(-1) prime?
False
Suppose c = 6*c - 3745. Suppose c - 163 = 2*d. Is d prime?
True
Let s(q) = 2*q**2 - 1. Let c be s(1). Is (c + -3)/((-4)/134) composite?
False
Let j be (-3)/(2/56*-3). Suppose j = 3*f + f. Is f prime?
True
Is ((-276)/18)/((2/(-3))/2) a composite number?
True
Is -2 + -1 + 1400 + 2 prime?
True
Let l(b) = 2*b**3 + b**2 + 4*b - 1. Is l(6) a composite number?
False
Suppose 2*p - 372 = -5*n, p - 145 - 36 = -5*n. Is p a prime number?
True
Suppose -5*b + 164 = -186. Suppose -3*r + b = 2*r. Is r a prime number?
False
Let t = 4392 - 2211. Is t a composite number?
True
Suppose -s = 1 - 15. Suppose 5*t - 3*t = s. Is t prime?
True
Let u be ((-12)/2)/(-1)*2. Is u*(-4)/(-6) + -1 a composite number?
False
Let z be 1*2*(-2)/(-4). Let r(i) = 0 + 4 - z + i. Is r(8) composite?
False
Is (4*1219 - 2)*31/62 prime?
True
Let g be 1 - (-11)/(33/846). Suppose -18 = 5*y - g. Is y composite?
False
Suppose -3*d = -4*s + 18, 4*s - d - 5 - 9 = 0. Suppose 0*b = s*b - 237. Is b composite?
False
Let c(q) = 420*q**2 + q + 1. Let b be c(-1). Let t = b + -289. Is t a prime number?
True
Suppose 7 = 3*m - 2. Suppose -22 = -m*i + f, 4*i + 2*f = 2*i + 4. Is i composite?
True
Suppose 7*p - 243 = -82. Is p composite?
False
Suppose 2*l - d = -2*d + 4, -5*l - 5*d = 0. Let n = 6 - l. Is n/(-9) + (-209)/(-9) a prime number?
True
Is (-1294)/((-10)/15*3) a prime number?
True
Suppose 5*a = -w + 28 + 3, 0 = -2*w - 5*a + 37. Suppose 952 = w*c - 2*c. Suppose 3*b - 5*q + c = 4*b, 1160 = 5*b - 5*q. Is b prime?
True
Let p(q) = -2*q**3 - 8*q**2 + 3*q + 3. Is p(-8) a prime number?
True
Let b(d) = 98*d**2 + 2*d + 1. Is b(-2) a prime number?
True
Let h(s) = s**3 - 6*s**2 + 5*s - 3. Let u be h(5). Let y(n) = -3*n + 2. Let l be y(4). Let i = u - l. Is i prime?
True
Suppose -s - 3*s + 2*q + 1774 = 0, 4*q + 1318 = 3*s. Is s composite?
True
Let z(o) = -o + 134. Is z(0) composite?
True
Suppose -287 = -2*g + 95. Is g composite?
False
Suppose 3*k - b = -0*k + 1604, 4*b - 1046 = -2*k. Is k a composite number?
True
Let p(b) = -b**2 + 2*b. Suppose -j = -2 - 0. Let t be p(j). Suppose 2*d - 46 = -t*d. Is d prime?
True
Let f(m) = -32*m + 1. Let q be f(-5). Suppose a - q = -2*t, -4*t - 6 = a - 333. Is t a prime number?
True
Suppose 108 = 3*x - 207. Suppose -q - 2*q = -x. Is q prime?
False
Let c(u) = 132*u**3 - u**2 + u - 2. Let k be c(2). Is ((-1)/4)/((-1)/k) a composite number?
False
Suppose 2*o = -3*o + 35. Let y(m) = 2*m + 17. Is y(o) prime?
True
Let d(k) = 30*k + 11. Suppose -2*h + 14 = -2. Is d(h) a composite number?
False
Suppose 0 = 14*b - 39159 + 14533. Is b prime?
True
Let x(u) = -u**3 + 1 + 6*u - u - 2*u**2 - 2*u - u. Let a be x(-3). Suppose -a*z = -s - 135, z = 3*z + 3*s - 85. Is z a composite number?
True
Let n = 28 - 40. Let f = n + -31. Let j = 78 + f. Is j a composite number?
True
Let a = -245 + 354. Is a a composite number?
False
Let i = 1 + -1. Suppose -4*h + 372 = -i*h. Is h a prime number?
False
Let i = 533 - 273. Is i + 0 - (-15)/(-5) composite?
False
Let b be 164/14 + (-8)/(-28). Let k(h) = h - 8. Let r be k(9). Is b*1/r + -1 composite?
False
Let l(j) = j**2 - 2*j - 4. Let z be l(5). Suppose f - z = -4*d, 3*d - 17 = -d + 5*f. Suppose y - 356 = -d*y. Is y prime?
True
Let w(l) = -l + 4. Let z be w(6). Let r(m) = -2*m - 2. Let i be r(z). Suppose -i*s + 10 = -5*d, -5*d = s - 9 - 26. Is s composite?
True
Suppose 310 = 4*q - 3046. Is q composite?
False
Suppose 0 = -5*w - 2628 - 1317. Let f = w - -1256. Is f compos