4, -r + 8 = 4*l. Suppose l*k - 63 - 1065 = 0. Is k/16 - (-1)/(-4) composite?
True
Let o be ((2 + -2)/2)/(-1). Let x(j) = 8*j - 2 + o - j - 5. Is x(6) prime?
False
Let c(g) = 5*g**3 + 2*g**2 - 2*g + 1. Is c(6) a composite number?
True
Suppose 0*x = -2*x + 24. Suppose 3*t - x = o, -4*o + 0*t = 4*t. Let d(r) = 15*r**2 + r - 1. Is d(o) composite?
False
Let n(g) = -g**2 - 2*g - 1. Let h be n(-1). Suppose 3*t - 2 = -r - 4, 3*t + 5*r + 22 = h. Is 1 - (-5 - 1/t) prime?
True
Let c(t) = 62*t**2 - 2*t - 3. Let l(w) = w**2 + w + 1. Let j(a) = c(a) + 6*l(a). Is j(-2) a prime number?
False
Suppose 3*q - n - 30 = -4*n, 4*q + 5*n - 43 = 0. Let o be (-27)/4 - (-2)/(-8). Is 149/q + 2/o a composite number?
True
Suppose 2*x - 40 = 258. Is x a prime number?
True
Let o(v) = 45*v**2 - 14*v + 7. Is o(4) a composite number?
True
Let d = 9 - 5. Suppose -30 - 36 = -3*r. Suppose 2*z = w + r, d*z - w - 24 - 24 = 0. Is z a composite number?
False
Suppose 0 = 2*v + 3*v - 20. Suppose -f = -v*f + 102. Suppose -4*k + f = 3*i, -6 = -4*i - 5*k + 40. Is i prime?
False
Let d be ((-16)/(-10))/((-6)/(-15)). Suppose -c - 1 + d = 0. Suppose s - 62 = c*u, 131 = 2*s + 3*u - 2*u. Is s a composite number?
True
Let r = 2 + 1. Suppose 5*p = -b + 1097, r*b + 1091 = 5*p + b. Is p prime?
False
Let i(u) = u**3 + 9*u**2 + 10. Let s be i(-9). Let m = -7 + s. Suppose -m*w + 37 = -5. Is w composite?
True
Let l = 1108 - 629. Is l a composite number?
False
Let a = 132 - 209. Let v = -26 - a. Is v composite?
True
Let m = -2 + -7. Is (m/9)/(2/(-38)) a composite number?
False
Suppose -j + 0*j + 4*k = -219, -4*j + k = -846. Is j a composite number?
False
Let q = 24 - -103. Is q prime?
True
Suppose 0 = -3*n + 3. Is 0 - ((-62)/n)/2 a prime number?
True
Suppose -2*h = -5*h + 57. Let s be (-10 + -2)*h/3. Is (-1)/(-3)*3 - s a prime number?
False
Suppose 0*k - 5*k = -2*a - 9, k - 4*a + 9 = 0. Is 15*(0 + 43/k) a composite number?
True
Suppose 103 = 4*t - 49. Suppose 2*m - t = -0*m. Is m a prime number?
True
Let u(q) = q**3 - 4*q**2 + 5*q - 2. Let w be u(3). Let z be 2/w - (-2)/(-4). Suppose z = b - 0*b - 7. Is b composite?
False
Let v be (-16248)/(-30) + (-2)/(-5). Let n = -165 + v. Is n a composite number?
True
Suppose -4*x = -1369 - 555. Is x a composite number?
True
Suppose -3*c + 3162 = 3*u - 8*c, 4*u - 4184 = -4*c. Is u a prime number?
True
Let l = -4 - -8. Suppose l*r + 139 = 5*r. Is r composite?
False
Let r(o) = 197*o**2 - o + 1. Is r(2) a composite number?
False
Let y(u) = -5*u + 4. Suppose 0 = s - 0*s - 4. Let x be y(s). Is 1/4 - 492/x a prime number?
True
Let r(v) = 26*v**2 + 2*v - 5. Is r(-5) a prime number?
False
Suppose 6*b - 221 = 241. Is b a composite number?
True
Let l(c) be the third derivative of 0*c - c**2 + 1/4*c**4 + 0 - 1/6*c**3. Is l(2) a prime number?
True
Suppose -6*r = -r - 4420. Suppose -r = c - 5*c. Is c composite?
True
Let t = -11 - -14. Is t composite?
False
Let i(a) = 2*a**3 + 14*a**2 + 3*a + 4. Let z be i(-7). Let l(s) = -4*s + 4. Let v be l(-5). Let p = v + z. Is p a prime number?
True
Let c = -1 - -2. Is 1 + (-2)/c + 10 a prime number?
False
Suppose -3*s + 29 = 5. Suppose -n + 3*n = 22. Let c = s + n. Is c a prime number?
True
Let y = 535 - 198. Is y prime?
True
Is 2/14 - ((-1620)/28 - -5) a composite number?
False
Let i(x) be the third derivative of -x**6/60 - x**5/60 - x**4/6 - x**3/6 - 10*x**2. Let y(a) = -a - 4. Let l be y(0). Is i(l) composite?
False
Let g(d) = 14*d**2 - 22*d - 3. Is g(13) a prime number?
False
Let h = 7 + -5. Is (1 + (-55)/h)*-2 a composite number?
False
Let q = -110 + 45. Let v = q + 96. Is v a prime number?
True
Is 2/9 - (-21102)/54 a prime number?
False
Suppose 3*y + 0*y - 30 = 0. Is (-6)/(-10) - (-324)/y a composite number?
True
Let o(f) = 127*f**3 - 1. Let r be o(-1). Let h = -85 - r. Is h prime?
True
Let r(h) = 234*h**3 - 2*h**2 + 2*h - 1. Is r(1) a composite number?
False
Let i = 27 - -354. Is i composite?
True
Suppose -3*v - 5*v + 1256 = 0. Is v composite?
False
Let i = -3247 + 5564. Is i prime?
False
Let l be 3/((6/(-184))/(-1)). Suppose q - s + l - 268 = 0, 4*s = -5*q + 907. Suppose -2*x + 2*j + 376 = 0, 0 = x - 2*x - 2*j + q. Is x a prime number?
False
Suppose 2*n = -3*v + 48, 0 = 5*n - 3*v - 136 - 26. Suppose -3*l + 5*k = 76, -2*l = -0*l + 2*k + 24. Let j = n + l. Is j a prime number?
True
Suppose 3*w = 3*s - 5*s + 69, -12 = 4*s. Is w prime?
False
Let q be (-12)/54 - (-4)/18. Suppose q = -2*x - 169 - 163. Is -2 - ((-2)/(-2) + x) prime?
True
Let a = 2449 + -1268. Is a composite?
False
Suppose 5*n - 4 = -3*l, l - 2 + 12 = 4*n. Suppose 5*s + n*w - 24 = 0, 4*s - 3*w - w - 8 = 0. Suppose 4 = s*b, 0 = -3*h - 0*b - 3*b + 96. Is h composite?
False
Let u(t) = t**2 - 7*t + 5. Let a be u(5). Let c = -9 - a. Let d(f) = -f**3 - 3*f**2 + f - 2. Is d(c) a composite number?
True
Is (-522)/4*6/(-9) prime?
False
Suppose -3*y + 8006 = 5*d, 5*d + 3*y - 8003 = -y. Is d composite?
True
Is ((-434)/(-1))/(-2 - -4) composite?
True
Suppose -5*g = 3*h - 1, 21 = 5*h - 4*g + 7. Suppose -b - 2*d + 28 = 3*d, -h*d + 16 = 2*b. Suppose 0 = 3*k - 6, -3*f + b*k + 32 = -f. Is f a composite number?
False
Let v(y) = y**3 + 5*y**2 - 7*y - 2. Let s be v(-6). Let c(m) = -m**3 + 6*m**2 - 7*m + 6. Is c(s) a composite number?
True
Is 2/(-6)*(1 + -880) composite?
False
Let p = -1 - -3. Suppose 0 = a - p*a + 12. Is (-3)/a - 101/(-4) a composite number?
True
Let c = -149 - -474. Let l = c - 147. Is l a prime number?
False
Let z = -428 - -747. Is z a prime number?
False
Let k = 815 - 300. Is k composite?
True
Let k be 2/9 + 125/45. Suppose -k*b = b - 956. Is b a composite number?
False
Let o(y) = 2*y**3 + 5*y**2 - 2*y + 3. Let r be o(-4). Suppose -2*b + 0*b = 168. Let x = r - b. Is x composite?
False
Is (-1 + 4034/(-4))*(-14)/21 a composite number?
False
Is (14052/(-30))/((-4)/10) a composite number?
False
Let a be (-11984)/(-63) - (-4)/(-18). Let t = 275 - a. Is t prime?
False
Suppose 3*t = -8 - 7. Let i(v) = -5*v + 5. Let z be i(t). Suppose s = z + 5. Is s prime?
False
Let f be ((-5)/(-2))/(2/56). Let m = -45 + f. Is m a prime number?
False
Suppose -3*x + 2*s = -165, 2*s = 3*x + 4*s - 153. Is x a prime number?
True
Suppose -120 = 2*k - 4*g, 3*k - 4*g + 66 = -104. Let o = k + 4. Let h = 9 - o. Is h a composite number?
True
Is (-1)/(-4) + 6375/20 composite?
True
Let b = -42 + 64. Let t = 31 - b. Is t composite?
True
Suppose -2*v + 4*t = -4*v + 5890, 2*v = -5*t + 5886. Is v a composite number?
False
Let q = -12 + 8. Let s be 1/((12/15)/q). Let c(d) = -d**3 - 3*d**2 + 4*d + 7. Is c(s) prime?
True
Let u(d) = d**2 - 3*d - 6. Let v be u(5). Suppose v*p = 5*p - 5, 3*p = -3*c + 132. Is c prime?
False
Let o(d) = -d**3 + 10*d**2 - 11*d + 15. Is o(8) composite?
True
Suppose -3*i = i. Suppose 4*n + 3*d = 80, -3*d - 104 = -4*n - i*n. Is n prime?
True
Suppose 4*i + 6 - 58 = 0. Let r = i - -207. Suppose z = 5*z - r. Is z a composite number?
True
Let f be ((-14)/(-3))/((-2)/(-69)). Suppose 16 = -z + f. Is 27/(-18) + z/2 a composite number?
False
Let n(y) = y. Let i be n(3). Is -26*i/((-18)/39) a composite number?
True
Let t = 48 - 20. Is ((-1004)/(-10))/(t/70) a composite number?
False
Let c = 80 + -156. Let t = 83 - 122. Let h = t - c. Is h a prime number?
True
Let a(b) = -b + 5. Let u be a(7). Is u/3 + (-1964)/(-12) a composite number?
False
Is (3 + -6)*(-956)/12 a prime number?
True
Suppose 0 = a + n + 67, -4*a + 2*n - 232 = -3*n. Let b = a + 152. Is b a composite number?
False
Let c = 53 - -134. Is c prime?
False
Let l(x) = -2*x**3 - 3*x**2 + 4*x + 2. Let u(v) = v - 12. Let o be u(7). Is l(o) a prime number?
True
Let c = -19 + 43. Suppose -4*h + 3*m = -h, m - c = -5*h. Suppose -102 = -0*g - h*g - 2*u, -5*g - 5*u = -140. Is g prime?
True
Suppose 22 = -5*b - 38. Is 8/b + 224/3 a prime number?
False
Let h = 4 - 6. Is 1*(h - -3) - -148 a composite number?
False
Let q = 28 + 5. Suppose -q = k - 91. Is k prime?
False
Let p(i) = -4*i**3 - 4*i**2 + 4*i - 1. Is p(-5) prime?
True
Suppose 7 = -2*f - 3*s + 1, 4*s = -8. Suppose -2*q - 2 = f, -6*z + 2*z - 2*q = -318. Suppose 3*v - 2*h - z - 93 = 0, 2*h = v - 59. Is v composite?
True
Let h(l) = 19*l. Suppose -2*i - 3 + 5 = 0. Let y be h(i). Suppose -n = -2*n + y. Is n a prime number?
True
Let o be (-2)/10 + (-22)/(-10). Suppose -3*n - 4 = -o*n, c - 242 = 5*n. Is