. Let j be f(-3). Suppose -j = q - 5*q. Is q a prime number?
True
Suppose q - 411 - 628 = 0. Is q a composite number?
False
Suppose -3*d - 38 = -5*d. Is d a prime number?
True
Let q = -3 - -4. Is 2*(7/2 + q) composite?
True
Suppose -4*u = y - 80, 4*u - 4*y - y - 80 = 0. Suppose -3*a = -3*c - 12, c - a + u = -4*a. Is ((-45)/12)/(3/c) a composite number?
True
Let z = -3 + 5. Suppose 5*n - 230 = -z*a - 3*a, 5*a = 0. Is n prime?
False
Let g be 16/(1 - (-18)/(-15)). Let w = -49 - g. Is w composite?
False
Is 28/126 - (-9025)/9 a composite number?
True
Is (-1)/3*0 - -559 prime?
False
Let c(r) = 23*r**2 + 2*r - 31. Is c(6) a prime number?
True
Let l(g) = -8*g + 51. Is l(-23) a composite number?
True
Let q(m) be the first derivative of -m**4/4 - 2*m**3 + 7*m**2/2 + 3*m - 2. Let o be q(-7). Suppose 6 = o*x - x. Is x a prime number?
True
Let d = -989 + 3718. Is d a prime number?
True
Let a be (-3 - -1) + -1 - -12. Let u = -7 + a. Suppose u*k = -3*k + 75. Is k a prime number?
False
Let w be (-339)/(-3) + 1 + 0. Suppose 3*n - 171 = w. Is n prime?
False
Let q be (10/6)/1*3. Suppose -4*s - o = -2*o - 238, -2*s - q*o + 108 = 0. Is s prime?
True
Let u(o) = 2*o**2 - o - 4. Suppose -w = -3*w - 2*j, 15 = 4*w - j. Let h(d) = -d**3 + 2*d**2 + 5*d - 3. Let t be h(w). Is u(t) composite?
False
Suppose 3608 + 39 = j. Is j a prime number?
False
Let s(l) = -l**3 - 6*l**2 - 2*l - 7. Let g be s(-6). Let z(c) = c**3 + 4*c**2 + 6*c + 4. Is z(g) prime?
False
Let k(p) = -49*p**2 - 2 - 3*p + 3*p. Let h be k(2). Let o = -119 - h. Is o composite?
False
Let f(a) = a**3 + 7*a**2 - 2*a + 6. Let c be f(-7). Let u = 35 - c. Is u a prime number?
False
Let d = 6 + -4. Let y = 12 - d. Let h(m) = -m**3 + 10*m**2 + 3*m - 11. Is h(y) composite?
False
Let v be (1 + -1 - -2) + 53. Let t = -4 + v. Is t a composite number?
True
Let k be -6*(-5 + 12/4). Suppose k*n = 10*n + 44. Is n a composite number?
True
Let k be (-2)/(-8) - 3471/12. Let r = k + 94. Let d = -106 - r. Is d composite?
False
Let u(o) = 4*o - 5. Suppose 111 = 5*h - 39. Let d be ((-3)/5)/((-2)/h). Is u(d) a composite number?
False
Suppose 3*z = -p + 109, -5*z - 5 = -4*z. Suppose 5*g = -t + p, 7 = g + 2*t - 16. Is g a composite number?
True
Suppose 5*z + 25 = 4*l + l, -5*l + 4*z = -24. Let u = 40 + -17. Suppose l = -q + u. Is q a prime number?
True
Suppose -20 = -4*g - 0. Let m = g + -3. Is m + 32 + -1 + 2 prime?
False
Let o = 7 - 12. Let b = o - -8. Suppose 3*w = -2*w + b*g + 433, -2*g = -8. Is w composite?
False
Let r be (-8)/(-60)*12*5. Suppose -2*t + 272 = g, -3*t - t + g = -538. Let z = t - r. Is z a composite number?
False
Is (3/(-9))/(-2*3/10494) prime?
False
Let o(k) = k**3 - 10*k**2 + 13*k - 1. Is o(12) a composite number?
False
Suppose 0*h = -h + 2*q, 0 = 3*h + 4*q + 20. Let n(t) = 2*t**2 + 5*t - 4. Let y be n(h). Let z(c) = c**3 - 6*c**2 - 6*c - 1. Is z(y) prime?
True
Let y(j) = 23*j - 6. Let n be y(4). Suppose -2*p + 0*p + n = 0. Is p prime?
True
Suppose -y - 52 = -16. Let a = -23 - y. Suppose 0 = -3*c + 4*c - a. Is c composite?
False
Is ((-4)/6 - 4/12)*-997 a prime number?
True
Suppose -4 = 4*z, 2*j - 3*z = -2*j + 847. Is j composite?
False
Suppose -5*z - 3*l + 1475 = 0, 5*l - 1905 + 430 = -5*z. Is z a prime number?
False
Suppose 0*j - t = 3*j - 1013, 0 = -4*j - 2*t + 1352. Is j prime?
True
Is (-142)/((-9)/((-135)/(-6))) composite?
True
Let t(l) = -l**3 - 5*l**2 - 2*l - 6. Let n be t(-5). Suppose 3*v - 2 - 1 = 0, -5*v - 960 = -5*h. Suppose 699 + h = n*r. Is r a prime number?
True
Let h(s) = -188*s**3 - 1. Let p(g) = g**3 - 4*g**2 + 3*g - 1. Let i be p(3). Is h(i) a composite number?
True
Let q = 52 + 63. Is q prime?
False
Suppose 0 = 2*j + 2*x + 1 + 3, x = 4*j + 13. Let q(b) = -b**2 - b - 3. Let l be q(j). Is (-23 + 2)*15/l a prime number?
False
Suppose 0 = z - 2*z + 5. Suppose -15 = -z*d, -3*d - 292 = -5*g - 2*d. Is g prime?
True
Is 2/(-4)*(7 - 1049) composite?
False
Let i(a) = 105*a + 1. Is i(6) a composite number?
False
Let h(z) = -z**3 - 11*z**2 - 10*z + 4. Let o be h(-10). Suppose 30 = o*t + t. Is 15*((-8)/t)/(-2) a composite number?
True
Suppose -4*s - 379 - 265 = 0. Let b = 228 + s. Is b a composite number?
False
Suppose 68 - 8 = -4*b - 4*t, 0 = 2*t - 8. Let s = 26 + -68. Let c = b - s. Is c prime?
True
Let w(n) = n**2 + 6*n + 5. Let g be w(-6). Suppose -r = -3*r - 8. Is r/10 - (-257)/g a composite number?
True
Let k be -2 + 4 + 3 + -1. Suppose k*x - 335 = -67. Is x prime?
True
Let g(r) = 11*r**2 - 2*r + 3. Suppose -3*u + 9 = -3*a, 3*a + u + 14 = 1. Is g(a) a prime number?
False
Let u(a) = 6*a**2 + 38*a - 17. Is u(-15) a composite number?
True
Let w(j) = 685*j**2 - 2*j - 1. Let t be w(2). Let r be t/25 + (-2)/5. Suppose -n + r = 12. Is n a composite number?
False
Suppose 3*z = 4*a - 1174, -2*a + z = -0*z - 588. Is a composite?
True
Let r(t) = -t**3 - 2*t**2 + 1. Let p be r(-6). Suppose -5*k = 15, -p = -4*j - 3*k + 2*k. Is j prime?
True
Suppose -2*p - r + 103 = -9, 5*p - 4*r = 267. Is p a composite number?
True
Let m be (-1)/(1 - 4/3). Suppose -o - 1127 = -3*k, 5*k - 1119 = 2*k + m*o. Is k composite?
True
Suppose 12 = 4*f + 5*m, 0 = -0*f + f + m - 2. Let j(p) = -13*p**3 - p**2 - p + 1. Let w be j(f). Let t = w - 54. Is t a prime number?
False
Let a = -6 + 6. Is a*(-1)/(-3) + 337 a prime number?
True
Let h = 7 + 1. Suppose 0 = 5*r + k - 20, h = 4*r - 2*r - 2*k. Is (r*13)/(1 + 1) a prime number?
False
Let w(x) = -x**2 + x + 2. Let k be w(2). Suppose k*d = d + 70. Let v = 121 + d. Is v composite?
True
Let k(c) = 69*c**2. Suppose 0 = t - 2*j - 16 + 5, 4*j = 4*t - 24. Is k(t) a composite number?
True
Let v(u) = -u**3 + 6*u**2 + 7*u - 5. Let x(a) = -a**3 - a - 2. Let j be x(0). Let r be ((-3)/j)/((-6)/(-24)). Is v(r) composite?
False
Suppose 2*d - 230 = -4*s, -d + 5*d + 5*s - 466 = 0. Is d a prime number?
False
Is (-4)/(-14) + (-3 - (-9344)/28) prime?
True
Suppose -4*u + 4*h + 585 = -3*u, -4*h + 2901 = 5*u. Is u composite?
True
Suppose 5*m = 430 + 3955. Is m a composite number?
False
Let s = -12 - -4. Let b = 11 + s. Is (-1 + 0)*(-237)/b a prime number?
True
Let v(q) = -q**3 + q**2 - q + 8. Let p be v(0). Suppose p*c = 3*c - 25. Let l(x) = -x**3 - 3*x**2 + 3*x - 1. Is l(c) prime?
False
Suppose 4*j = p - 102, -3*p + 5*j = 2*p - 510. Let h be 2/(-2) - (-32 - 0). Suppose -5*z - 2*q - h = -154, 4*z = 2*q + p. Is z prime?
False
Let d(x) = -x + 8. Let y be d(4). Suppose -4*c - y*l + 0*l + 20 = 0, 0 = 3*c - l - 11. Suppose c*r = -16, -r - 320 = -5*b + b. Is b a composite number?
False
Suppose -3*k + 2*v = -1, 4*k - 2*v = v + 1. Suppose 3*r - k - 5 = 0. Suppose -r*c + 172 = -2*f, 4*c - 2*f = 360 - 10. Is c a prime number?
True
Suppose -4*v = 2*v - 5466. Is v composite?
False
Suppose 0*l - 20 = 4*l, -4*u + 2447 = l. Is u prime?
True
Suppose 5*b = 6*b - 2. Suppose 182 = b*f + 3*m, 9*f - 4*f - 2*m = 493. Is f a prime number?
True
Let f = -1778 + 2517. Is f prime?
True
Let b(l) = l**2 + l + 2. Let q be b(0). Suppose 0 = -4*x + 3*g - 131, 3*g - 4*g = -2*x - 63. Is 3 - x*2 - q composite?
False
Suppose -2*w + 4*i - 186 = -4*w, 58 = w - 5*i. Is w a prime number?
True
Suppose -5*y - 3*w + 367 = -4*y, -5*y = 5*w - 1875. Let k = 558 - y. Is k a prime number?
True
Let k(w) = w - 12. Suppose 0 = -n + 5*z - 25, 3*n + 0*z = -4*z + 20. Let o be k(n). Let g = o - -25. Is g composite?
False
Let p(h) = h - 8. Let y = 6 + 2. Let d be p(y). Suppose d = 2*v + 3 - 77. Is v composite?
False
Suppose -29 = -2*a - 7. Is a prime?
True
Let g(t) = 6*t - 2. Suppose 0 = 5*h - 10, 4*l + 3*h = -11 + 41. Is g(l) composite?
True
Let v = -8 - -11. Suppose -v*u + 54 + 45 = 0. Is u prime?
False
Let n = 92 - 144. Is (-2)/4*n/2 composite?
False
Let x be 5*(-3 + 5 + -3). Let w be (-60)/x*(-1)/(-3). Suppose 0*a + 124 = w*a. Is a prime?
True
Let m = -3 + 4. Suppose -g = m, 0*i = i - 3*g - 50. Is i a prime number?
True
Let b = -260 + 73. Let k be (-6)/(3 + b/63). Let l = 338 + k. Is l a composite number?
False
Let u = 17 - 14. Let j = u - -124. Is j composite?
False
Let v(g) = g**2 - 2. Let a be v(-3). Suppose -o - 2*o - a = -2*m, -9 = -3*m + 3*o. Suppose -m*b = -4*n + 74, 1 - 12 = -n + 2*b. Is n composite?
True
Let c(y) = y**2 + 5*y + 9. Let j be c(-4). Suppose 0 = -q - 2*h + 189 - 54, 615 = 5*q - j*h. Is q a prime number?
True
Let j(d) = -d**2 - d + 4. Let k be j(