8 = -f + 4*z, z = 0. Is f composite?
False
Suppose -4*p = -309 - 727. Is p a prime number?
False
Suppose -489 + 183 = -2*q. Let y(h) = h**3 + h - 4. Let k be y(4). Let v = q - k. Is v prime?
True
Suppose 4*x + 15 = -x, 0 = 2*y - 3*x + 3. Let o(f) = -36*f - 1. Is o(y) prime?
False
Suppose -6*f + 198 = -264. Is f a prime number?
False
Let z(p) = -7*p**3 + 2*p**2 - 1. Let f be z(-1). Let u be (-1)/(1 - 6/f). Is 44*((-65)/u)/5 prime?
False
Suppose 53*q = 52*q + 5329. Is q a composite number?
True
Is (10 + 2)*2315/20 a prime number?
False
Suppose 5*q - 7*q = -z, -3*z = 4*q. Suppose q = -5*m + f + 693, 0 = 8*m - 3*m + 5*f - 705. Is m prime?
True
Is 5065/20 - (-2)/(-8) prime?
False
Let f(n) = 6*n**3 - 2*n + 1. Is f(4) a prime number?
False
Suppose 0 = -3*c + 139 + 119. Suppose -4*x = -3*a - c, x - 5*a - 4 = 9. Is x prime?
True
Let b(o) = 2*o**2 + o + 4. Let y(n) = n**2 + 12*n + 14. Let j be y(-10). Let c be (-6)/(-18) - 28/j. Is b(c) a composite number?
False
Let b(k) = 589*k - 3. Is b(1) prime?
False
Let m(p) = 4*p. Let l be m(-2). Let g(a) be the first derivative of a**3/3 + a**2 + a - 2. Is g(l) a composite number?
True
Let g(l) = l**2 - l + 245. Let n(s) = s**3 - s. Let j be n(0). Let b be g(j). Suppose 33 = -4*a + b. Is a a prime number?
True
Let a = 0 + 1. Suppose m = 5*c - a - 1, -4*m - 3*c + 61 = 0. Is m prime?
True
Let h(p) = -114*p - 41. Is h(-14) composite?
True
Let b = -804 - -1283. Is b prime?
True
Suppose 4*r - 390 = m, 0 = -2*m - 0*r + 2*r - 756. Is m/(-18) + (-4)/(-18) composite?
True
Let a(t) = 7 - t - 17 - 3*t. Is a(-8) a composite number?
True
Let r be ((-35)/14)/(1/(-46)). Suppose 4*g + 3*h = r, -g + 0*h = -h - 34. Is g prime?
True
Let r(u) = -14*u + 2. Let n be -1*20/(-3)*3. Let a be ((-6)/5)/(6/n). Is r(a) a composite number?
True
Is 1 + (569 - 1/(4/(-12))) prime?
False
Is 5441/3 - (-12)/36 prime?
False
Let v(f) = f**2 + 5*f. Let k(s) = -s**3 - 7. Let j be 0/(1 + (2 - 1)). Let p be k(j). Is v(p) prime?
False
Let p(f) = -60*f + 77. Is p(-20) a prime number?
True
Let y = -1409 + 2635. Is y prime?
False
Is (0 - 0) + 503 + -2 composite?
True
Let p(g) = -g**3 - 7*g**2 - g - 2. Let q be p(-7). Let o be q - (2 + -5 + 4). Suppose -v = -o*w + 510, -2*w - 75 = -4*v - 337. Is w composite?
False
Let f be 11/5 - 1/5. Suppose -f*y = -2*i - 78, 27 + 18 = y - 4*i. Suppose -z + 0*z + y = 0. Is z a composite number?
False
Let r = -293 - -624. Is r a composite number?
False
Suppose 5*s - 4626 = -4*s. Is s prime?
False
Suppose 0 = 2*i + 2*i - 580. Suppose -i = 3*a - 7. Is 3/((-18)/a)*3 prime?
True
Let a(o) = -18 + 21 + o + 31. Let i = 63 + -63. Is a(i) a prime number?
False
Let v = -1156 - -2063. Is v a composite number?
False
Is (-1 + -1)*(-1358)/4 composite?
True
Let r(y) = y**3 + 2*y**2 - 3*y + 4. Let c be r(-3). Let z(g) = c*g - g**2 + 0 - g - 1 - 2*g**3. Is z(-3) a composite number?
True
Let y(c) = -11*c**2 - 10*c + 8. Let u(m) = 16*m**2 + 15*m - 12. Let r(p) = -5*u(p) - 8*y(p). Is r(3) prime?
True
Suppose -c + 5 = u, 2*c + 3*c = 3*u + 17. Suppose c*x - 12 = 3*k, -2*x - 4 = 2*x + k. Suppose 0 = -x*f - 3*f + 39. Is f prime?
True
Suppose -5 = -2*z - 3*z. Let q be (z - -1) + 3/3. Is 36 - 1/3*q composite?
True
Suppose -3*s + 2*m = 983, 0 = 3*s - 8*s + 4*m - 1635. Let y = s - -638. Is y a prime number?
True
Suppose -5*a = -u - 33, -3*a + 5 = -10. Let g = u - 6. Is 8/(-28) - 88/g a prime number?
False
Is ((-24684)/(-16) - 0) + (-2)/(-8) composite?
False
Suppose 2*x = -2*x - 4. Let j(s) = -8*s. Let y be j(x). Suppose 3*o - 2*i - 3*i = -1, -2*o = i - y. Is o composite?
False
Let z(d) = -5 - 3 + 1 + 10*d + 1. Let b be z(4). Suppose 3*s - 97 = -b. Is s a composite number?
True
Let s(z) = -z**3 + 3*z**2. Let h be s(2). Let u(f) be the first derivative of f**4/4 + f**3/3 + 3*f**2/2 - 3*f - 16. Is u(h) a prime number?
True
Let i(h) = 35*h**2 + 6*h - 4. Is i(-3) a prime number?
True
Suppose -40 = -0*r - 5*r. Suppose 0*a + a + 13 = 4*s, -s = -4*a + r. Is (28/s)/(2/10) a composite number?
True
Let u(l) = l**3 + 6*l**2 - 3*l + 4. Let x(m) = -m**3 - 3*m**2 + m - 2. Let a(g) = -3*u(g) - 5*x(g). Is a(3) a composite number?
False
Let w = 10 - 7. Is 909/w - (-4)/2 prime?
False
Suppose -4*u = -2*m - 2*m - 1064, -4*m - 263 = -u. Is u a composite number?
True
Let g be -2 + (-2 - -2 - -2). Let k = 3 - g. Suppose 58 = k*i - j, -i - 5*j + 42 = -4. Is i a composite number?
True
Let o(b) = -b**2 + 5*b + 3. Let p be o(4). Let z(j) = -4*j - 3. Let q(f) = -f**2 - 1. Let d(u) = -q(u) + z(u). Is d(p) prime?
True
Let v = 23 + -37. Is 188/6*(-21)/v prime?
True
Suppose -3*o + 373 = 4*r - 3, 2*o + 8 = 0. Suppose 6*z = 3*z + 54. Let s = r - z. Is s prime?
True
Let o(z) = z**2 + z. Let l(c) = 6*c**2 + 7*c + 6. Let y(v) = l(v) + o(v). Let s(b) = 2*b**2 + 3*b + 2. Let n(m) = -8*s(m) + 3*y(m). Is n(-3) prime?
True
Let b be (-61)/(-3) - (-2)/(-6). Suppose 2*f = 6*f - 5*s - 109, -4*s = b. Is f a composite number?
True
Suppose -1016 - 1699 = 5*t. Is 0/(-4) + -2 - t composite?
False
Let u be -14*7/((-147)/30). Suppose -1 = 2*c + 13. Let k = u + c. Is k a composite number?
False
Suppose 0 = 3*l - 0*l + 4*n - 24, 0 = -l - 4*n + 16. Suppose -q = 3*c, l*q + 5 - 13 = -4*c. Is q a composite number?
False
Let b = -1 + 4. Is (-93)/(-3)*(b + -2) prime?
True
Let d = 5 + -5. Suppose 0*s - 2*s = d. Suppose s = -3*w - 0*w + 102. Is w a composite number?
True
Suppose 2*x + 10 = 7*x. Suppose q = x*o + 3*q - 188, 0 = o + 5*q - 106. Is o a prime number?
False
Suppose -3*m - 50 = -0*m - 4*q, 0 = 2*m - 5*q + 31. Let g(i) = -2*i**3 + 3*i**2 + 5*i + 3. Let c be g(-3). Let a = c + m. Is a a prime number?
False
Let g = -4 + 12. Suppose -4 - 10 = 4*t + 2*m, t - 2*m = 4. Let i = g + t. Is i prime?
False
Suppose f + p + p = 365, 0 = -5*f + 4*p + 1755. Is f a composite number?
True
Suppose -2 = -u + 2*g - 5*g, 3*g = -5*u + 58. Is u prime?
False
Let n(m) = 8*m**3 + 4*m**2 - 2*m + 5. Is n(3) prime?
True
Suppose -x - 5*h = -218, x - 84 = 2*h + 141. Is x a composite number?
False
Suppose 24 = -5*x + 509. Is x prime?
True
Let f be -1 - 3 - -2 - -4. Suppose -f*b + v + 7 = 0, 5*b - 3*v - 12 = 3. Is (-120)/(-9) + (-2)/b prime?
True
Let u(x) be the first derivative of -x**5/12 + 7*x**4/24 - x**3 + 1. Let g(v) be the third derivative of u(v). Is g(-9) composite?
False
Let c = 2949 + -1994. Is c a prime number?
False
Suppose 0*g = g + 5. Let c be -2 + g - (-1 - 2). Is (-22)/(-8) - 1/c composite?
False
Let n(g) = -4*g**2 - 9*g - 7. Let t(v) = v**2 + v + 1. Let p(j) = n(j) + 5*t(j). Let w be p(-3). Suppose 2*o - 3*o = -w. Is o composite?
False
Suppose h + 4 = -2. Let l = h + 22. Let p = 22 - l. Is p a prime number?
False
Is 5823/6*(-12)/(-18) a composite number?
False
Let y(w) = -692*w + 5. Is y(-3) a composite number?
False
Let k(s) = 6*s - 5. Let o be k(4). Let p = o + 16. Is p a composite number?
True
Suppose 69 = -4*v + 165. Let h be (218/6)/(4/v). Is (-2)/(-10) - h/(-10) prime?
False
Suppose -n + 125 = u, -5*n + 119 = -4*n - u. Suppose 3*o + n = 5*p, 3*o - 10 = -5*p + 118. Is p a composite number?
True
Is (10/(-15) + 1)*9573 a composite number?
False
Let q(t) = t - 355. Let f be q(0). Is f*(-8)/60*3 a prime number?
False
Suppose 5 + 94 = 3*w. Is w prime?
False
Let j(d) = 2*d - 4. Let b be j(7). Suppose r + 4*u = 2, -5*r + b + 19 = u. Is r composite?
True
Suppose 0*w = -w + 16. Let t(d) = 31*d + 5. Is t(w) a prime number?
False
Let y(h) = -2*h**3 - 13*h**2 - h - 3. Is y(-7) composite?
False
Let v(z) = z**3 + 11 - 11*z + z**2 - 2*z**3 + 9*z**2. Is v(8) a prime number?
False
Suppose -5*i - d = -7, 5*d + 7 = -i - 3*i. Let f(j) = j**2 - 2 + 2 - i*j + 3 + 2. Is f(-6) a prime number?
True
Suppose 4*l = 13 + 3. Suppose 0*a - 4*a - l = 0. Is (a + -13)*(-5)/10 a prime number?
True
Let q(c) = c**2 - 6*c + 2. Let b be q(6). Suppose -v + 1 - b = 0. Let l = v + 35. Is l composite?
True
Suppose -123 = -3*y - 42. Let u = y + 32. Is u composite?
False
Let z = 11 - 0. Suppose z*x = 7*x + 260. Is x a composite number?
True
Let d(l) = l**2 - 2. Let v be d(-2). Let g be ((-57)/(-12))/(v/40). Suppose -g = -5*y + 90. Is y composite?
False
Let s = 643 - 290. Is s prime?
True
Let k(m) = m**3 + 5*m**2 - 8*m + 3. Let u(s) = -s**2 + 6*s + 5. Let t be u(5). Suppose g + b = -4*b - 16, 0 = g + 2*b + t. Is k(g) prime?
False
Let j = 142 - -121. Is j a 