 a a prime number?
False
Suppose 0 = -2*s - 0*s - 804. Let w = 695 + s. Is w prime?
True
Let x = 8 + -5. Suppose -g = 5*t - 24, 0 = 2*g + t + x - 6. Is g/1 + -5 + 16 prime?
False
Let j be 1/(3/(30/2)). Suppose j*g = b + 20, -2*b + 0*b + 4*g - 16 = 0. Suppose 2*s - 2*a - 170 = b, 0 = -5*s - 3*a + 445 - 4. Is s a composite number?
True
Let v(w) = -w**2 + 3*w + 3. Let o be v(3). Suppose o*i = 9 + 33. Is i prime?
False
Suppose 0 = -3*s - 5*p + 140, 4*p = -0*s + s - 41. Suppose -r = 4*r - s. Let y = 60 - r. Is y prime?
False
Let h be 23 + (-2)/(-3 + 4). Let v = h - -10. Is v prime?
True
Suppose 0 = 3*c - 0*c - 147. Is c a prime number?
False
Let h(y) = 169*y**2 - y + 2. Let r be h(1). Let i(m) = -m**2 - m + 259. Let t be i(0). Let z = t - r. Is z a prime number?
True
Let u be 5 - -121 - (-3 - -2). Let z = u + -78. Is z a prime number?
False
Let u = 6 + 8. Is u prime?
False
Suppose -5*s + 11 = -3*j, -2*j - 11 = -5*s + 3. Suppose 2*l - j*l = -83. Is l a composite number?
False
Let w be 49/(-14) + (-3)/(-2). Is ((-88)/(-24))/(w/(-102)) a composite number?
True
Let a(g) = 22*g**2 - 26*g - 13. Is a(-9) composite?
False
Let m(p) = -2*p**3 - 12*p**2 - p + 11. Let i be m(-8). Suppose -7*t + 2*t = -i. Is t a composite number?
True
Suppose 7 + 1 = -4*h + 4*v, 5*v = 20. Suppose 0 = -h*d + 104 + 30. Is d prime?
True
Let r be (-358)/(-14) + (-36)/63. Suppose -z = 4*z - 2*t - 255, 0 = 5*t - r. Is z composite?
False
Suppose 98 = 4*x - 3*i, 3*x - 112 = -5*i - 24. Is x composite?
True
Let k = 2 - -3. Suppose 0 = -k*j + 137 + 98. Is j a prime number?
True
Let q = -4 + 6. Let j = -1 + q. Is (j + 26)*(-2)/(-6) a composite number?
True
Let i = -40 - -28. Let y be -57 - (2 - 2) - 2. Let a = i - y. Is a composite?
False
Let t(w) = 2*w + 8*w**2 + 2*w - 3*w - 5*w**2 + 3. Suppose -4*o - 28 = 3*p, o + 2*o = -4*p - 28. Is t(p) a prime number?
True
Let w(a) = a**3 + 3*a**2 + 3*a + 2. Let v be w(-2). Suppose v = 5*s - 3 - 7. Suppose 0*n - 98 = -5*n - 3*i, 0 = s*i - 2. Is n composite?
False
Let g = -4 - -7. Suppose 0 = -6*t + 3*t + 84. Suppose -z - g*z = -t. Is z a prime number?
True
Let f = -8 - -11. Suppose j - 6*x - 29 = -3*x, -f*j + 47 = -x. Is j prime?
False
Is (-3)/1*(-8 + -3365) a prime number?
False
Let g(p) = -1597*p + 2. Let z be g(-1). Suppose 18*j - 15*j = z. Is j a prime number?
False
Suppose 5*l = -4*o - 2 - 12, 3*o + 11 = -4*l. Is 190 + (0 - l/2) composite?
False
Let g(y) = y**3 - 8*y**2 + y - 7. Let h be g(8). Is h/(((-6)/57)/(-2)) composite?
False
Let b = -5 + 8. Suppose 0 = -q - b*t + 6, -6*t + t = 5*q - 20. Suppose 3*v + 63 = 3*d + 12, 93 = 5*d - q*v. Is d prime?
False
Let o(s) = s**3 - 8*s**2 + 19*s + 9. Is o(4) composite?
True
Suppose 5*p + 5*q - 4149 = 10021, 11334 = 4*p + 2*q. Is p a composite number?
False
Suppose 3*k = 5*k + 5*z - 31, 0 = -4*k + 3*z + 23. Let t be (0 + -1)*1*-14. Let x = t - k. Is x prime?
False
Let f be (-3 + 2)*3/(-1). Let t be ((12/(-1))/f)/(-2). Suppose l + 29 - 128 = -t*b, 178 = 4*b - 2*l. Is b a composite number?
False
Let a(k) = -k**3 + 7*k**2 + k - 6. Let i(o) = -o**3 + o**2 + o - 1. Let y(m) = a(m) - 4*i(m). Is y(3) a prime number?
True
Let v be 3/2*(-4 + 2). Let j(r) = r**3 + 2*r**2 - 2*r - 2. Let l be j(v). Is 6/(-30) - 171/l a composite number?
True
Let y(o) = -6*o - 17. Is y(-6) a composite number?
False
Let k(m) = 5*m**2 - 6*m - 33. Is k(10) prime?
False
Let g(n) = 8*n**2 + 3. Is g(-2) composite?
True
Let b(y) = -3*y**3 - 2*y**2. Let x be b(-4). Suppose -5 = -u - 0, 0 = -5*t + 3*u + x. Suppose 31 = 3*l - t. Is l prime?
False
Let t = -469 + 162. Let y = t + 430. Is y a composite number?
True
Let z be 5 + (1 - 2) - -1. Let h = -2 + z. Is h composite?
False
Suppose 4*a - 7759 = -3*o, 4*a - 7751 = -3*o + 8*o. Is a composite?
True
Let s be 2/(-7) - 33428/14. Is ((-8)/12)/(8/s) prime?
True
Let c = 13 + -10. Suppose b - v - 173 = 54, -5*b = c*v - 1103. Is b a composite number?
False
Let w be 2/8 - (-20769)/28. Suppose -4*q = -318 - w. Is q a composite number?
True
Let u(p) = -3*p**3 - 3*p**2 + 9*p - 4. Let l(t) = -t**3 + t. Let y(w) = -4*l(w) + u(w). Is y(3) composite?
False
Let n(f) = -f**2 + 11*f - 9. Suppose -2 + 11 = -3*x. Let p = 10 + x. Is n(p) a prime number?
True
Suppose -29 - 234 = -z. Is z composite?
False
Let w(d) = 11*d**2 - 13*d - 44. Is w(-7) a composite number?
True
Suppose 0 = 2*n - 4, -2*v - n + 1 = -1. Suppose -r - 4 = 0, 0 = -v*t + 4*t + 5*r - 2472. Is t a prime number?
False
Let k(a) = 1164*a - 10. Is k(1) a composite number?
True
Suppose 4*k - 1584 = d + 191, 0 = -2*k - 5*d + 871. Is k a prime number?
True
Suppose -f - 18 = 4*t, -4*f - 5*t - 17 = -0*t. Suppose f*c = a + 138, -4*a = 4*c - 2*c - 158. Is c a prime number?
True
Is 982 - (8/(-2) + 9) a prime number?
True
Let q = 76 - 39. Is q a prime number?
True
Let a = -46 + 195. Is a prime?
True
Suppose 0 = 5*y + 3*l - 16, 3*y + y + 3*l = 11. Let o = 97 + -53. Suppose -o = -3*h - y. Is h prime?
True
Suppose 17 = 3*i + 8. Let q be ((-3)/9)/(1/(-6)). Is (q/6)/(i/333) prime?
True
Is (-1 - 156)/(-5 + 6 + -2) composite?
False
Let c = 3 - -7. Let p be c/((-2)/1) - 0. Let u(b) = b**3 + 6*b**2 + 3*b. Is u(p) a composite number?
True
Is (0 - 1)*3 + 166 a prime number?
True
Is (-19444)/(-6)*(-12)/(-8) a composite number?
False
Is (-36592)/(-10) - 3/15 a composite number?
False
Suppose -2*m - 95 = 2*u - 427, -3*u + 2*m = -483. Is u a composite number?
False
Suppose 0 = 2*q + 5*o + 16, 2*o + 5 = -q - 1. Suppose 0 = -q*c - 6 + 26. Is c composite?
True
Let s = 3348 + -1343. Is s prime?
False
Let c(o) = 2*o**2 + 5. Let n be c(-8). Is n/(4/(-2) - -3) prime?
False
Let a = 2 - -1. Suppose -a*q + 4 = -4*z, -4*q + z = -2 + 1. Suppose q = -l - 3*o + 152, -4*o = l + 4*l - 793. Is l a prime number?
False
Let k = -1228 - -2093. Is k a prime number?
False
Let h = -2 - 3. Is 2095/h*2/(-2) prime?
True
Suppose 4*d = -d + 15. Suppose -3*q = -4*q + d*m + 4, -2*q - 3*m = -53. Is q a composite number?
False
Suppose 266 + 614 = 4*l - 3*k, 2*l = 5*k + 454. Is l a prime number?
False
Let b = -50 - -28. Is (0 - -4)*b/(-8) a composite number?
False
Let o = -44 + 66. Suppose d - o = -d. Is d composite?
False
Suppose -4*m = -2*w + 570, 3*w + m - 1467 = -577. Is w composite?
True
Let v = 271 + -64. Suppose h - 4*h = -v. Is h a prime number?
False
Let h = -12 + 7. Let n(q) = 4*q**2 + 6*q - 3. Is n(h) composite?
False
Let w(g) = -g + 7. Let i be w(5). Suppose -62 = 3*z - i*z. Let p = -28 - z. Is p a composite number?
True
Let u(l) = 2*l - 2. Let r be u(2). Let n(t) = 9*t**3 + 3*t**2 - 4*t + 3. Is n(r) a prime number?
True
Let k be ((-4)/6)/((-6)/(-99)). Let l = k - -302. Is l a prime number?
False
Suppose -3*a = -4*a + 5. Suppose 0 = 3*c + 4*b - 946, 5*c - 440 = a*b + 1090. Suppose 0 = y + l - 0*l - 156, -2*y + c = 4*l. Is y a prime number?
True
Let j(o) = 5*o**2 - 2*o - 5. Is j(6) composite?
False
Let l = -6 + 18. Suppose 11 + 5 = -p - 5*m, -4*m = p + l. Suppose -p*i + 0*i = -76. Is i a composite number?
False
Let w = 19 - -96. Is w composite?
True
Suppose 0 = -0*r + 3*r - 12. Suppose d + 0*d = r. Suppose 74 = 6*n - d*n. Is n a prime number?
True
Suppose -2*w - 69 = -4*m - w, 5*m - 105 = 5*w. Is (-12)/(-3)*1724/m a composite number?
False
Suppose -4*w = 147 - 1591. Let o = w + -150. Is o prime?
True
Suppose -5*c + 2*o + 5328 = 0, -573 = -c + 3*o + 503. Let q = -645 + c. Is q composite?
False
Let p = 9 + -25. Let a(u) = 2*u**2 + 8*u - 13. Is a(p) prime?
False
Let y(l) = -209*l**3 - 3*l**2 - 7*l - 5. Is y(-2) a prime number?
True
Let d = -1 + 0. Let m(x) = -x**3 + 2*x**2 - 12*x - 7. Let s(b) = b**2 + b. Let v(a) = d*m(a) - 6*s(a). Is v(8) a prime number?
False
Let p = 121 + -32. Is p prime?
True
Let v = 0 + -1. Let y be (-2)/1*(0 - v). Is (y/6)/(1/(-21)) composite?
False
Let i(p) = -877*p. Is i(-1) a prime number?
True
Let b = 84 + -47. Let j(h) = 16*h - 1. Let z be j(1). Suppose 2*v - z = b. Is v prime?
False
Let k = -5 - -14. Suppose -211 = -2*s + 4*d - k, 0 = -2*d - 4. Is s a prime number?
True
Let o be (3 - 0)/3*5. Suppose 5*p + 2 = o*q + 82, 0 = -3*p - 2*q + 33. Is p prime?
True
Is (-5519*(5 - 4))/(-1) a prime number?
True
Suppose 4*c + 12 = 0, 5*c - 7789 = -2*v + 8814. Is v prime?
False
Suppose -16*q + 18 = -13*q. Suppose q*d - 381 = 3*d. Is d composite?
False
Is (-2605)/10*4/(-2) a composite 