Let o(v) = 77*v + 1. Let b(l) = 155*l + 2. Suppose 4*c - 25 = -c. Let a(u) = c*o(u) - 3*b(u). Is a(-4) composite?
True
Let j = -5 - 28. Is j/6*(-1 - 13) a composite number?
True
Suppose 0 = -j - 4*a + 611, 4*j + a - 1468 = 1051. Is j prime?
True
Let a(h) = h**2 - 9*h - 6. Let u be a(10). Suppose -25 = -u*y - 9. Suppose -5*n = -20, -n + 224 = y*j + 4*n. Is j composite?
True
Let u = 319 + 684. Is u composite?
True
Suppose 4*f + 17 = n - f, 3*n + 4*f = -6. Suppose n*o + l - 358 = -2*o, o - 4*l = 81. Is o composite?
False
Let s = 186 + -44. Is s composite?
True
Let c(h) = -h**2 + 4*h + 3. Let x be c(4). Suppose -z - 1 = 14. Is z/(x/3)*-1 composite?
True
Is -7 - -4 - -967 - 5 composite?
True
Let d(r) = r**2 + 5*r - 2. Let v be d(-6). Suppose -2*w + 621 = 5*s - 279, -v*s = -4*w + 1856. Suppose -4*o = -0*o - w. Is o composite?
True
Suppose -3*z - 2*b = z + 248, 0 = 5*z + 3*b + 311. Let l = 104 + z. Is l composite?
False
Let l be (-2 + 3)*(-3)/(-1). Suppose -12 = a - l*a. Is a composite?
True
Let j(x) = 31 - 8*x + 4*x + 3*x + 2*x. Let z = 1 + -1. Is j(z) a prime number?
True
Suppose 3*t = 6*t - 21. Let w = 0 + t. Is w a composite number?
False
Let t(q) = -73*q + 6. Let i(l) = -73*l + 5. Let j(r) = -3*i(r) + 4*t(r). Is j(-4) a prime number?
False
Let v(u) = 56*u - 1. Is v(1) a composite number?
True
Let m = -21 + 52. Is m a composite number?
False
Suppose 3*j + 0*j + 7 = -2*b, -3*b = -4*j - 32. Suppose -8 = -s - b*r - 1, 0 = -5*s + 4*r + 35. Let a(d) = 5*d. Is a(s) a composite number?
True
Is 5656/35 - (-6)/(-10) composite?
True
Is (-2)/(-15)*3 - 78195/(-75) prime?
False
Let o(r) = -3*r**3 + 6*r**2 + 2*r - 3. Let f be o(5). Let i = f - -315. Is i composite?
False
Suppose 5*l - 3394 = 3*r, -22*l + 25*l = 4*r + 2043. Is l a composite number?
False
Let o be ((-1)/2)/((-1)/8). Suppose 2*c + 128 = 4*w, 0 = 2*c + o*w + 138 + 6. Let n = 11 - c. Is n a prime number?
True
Suppose j - 11 = 5. Let h be (2/3)/(-1)*3. Let x = j + h. Is x composite?
True
Suppose -2431 = -a - 584. Is a a prime number?
True
Let z(l) = -4 - 6*l + 2*l + 3*l. Let k be z(-6). Suppose 0 = -k*p - 3*p + 1055. Is p a prime number?
True
Suppose 3*u - 19 = x, 0 = 2*x - 4. Let z be (-4)/14 - (-37)/u. Suppose -3*y + 130 = 3*l - 113, -413 = -z*y - 3*l. Is y prime?
False
Suppose 3*r = -2*o + 4089, -2*r - 1349 = -3*r + 4*o. Is r a prime number?
True
Let d(x) = x**2 - 7*x + 3. Let i be d(5). Let z(u) = u**2 + 7*u + 5. Let w be z(i). Suppose -3*h = -w*a + 184, 93 = 3*a + 2*h + 2*h. Is a composite?
True
Suppose -150 + 6 = 4*f. Let l be 32/18 - 8/f. Suppose -5*a = 2*i - 209 + 22, 3*a - 109 = l*i. Is a composite?
False
Let r = 2106 - 1097. Is r prime?
True
Suppose 0 = -4*z + 16 - 4. Suppose -z*h = -27 - 36. Is h a composite number?
True
Is (7 + 1)*134 - -1 a prime number?
False
Is (2708/12)/(2/6) a prime number?
True
Let g = -3 + 74. Is g a composite number?
False
Suppose i - 20 = -4*i. Suppose -3*k - 1 = 2*m - 22, 0 = -i*k - 5*m + 28. Is k a composite number?
False
Let w(u) be the second derivative of 7*u**4/6 - u**3/2 - 3*u**2 + 3*u. Let j be w(-4). Let l = j - 163. Is l composite?
False
Let s(n) = -4*n**3 - 7*n**2 + 9*n + 5. Is s(-6) composite?
False
Suppose -2*i - 12 = -0*i. Let u be -1*-3*2/i. Is (-1)/(-1)*(54 + u) composite?
False
Is 3*(-1)/(-3) + 892/2 composite?
True
Let x be -33*1 - (3 - 3). Let b = -10 - x. Is b prime?
True
Let q = 6492 - 3694. Suppose -5*y + 12 + q = 0. Is (-6)/(-10) + y/5 a prime number?
True
Is (-444 - -9)*2/(-6) a composite number?
True
Is (13732*(-6)/(-12))/(1 + 1) composite?
False
Is (-1)/(-2 + 1573/787) a composite number?
False
Let x be 32*2 + (-2)/(-1). Let c = 25 + x. Is c a composite number?
True
Let u be (-1)/((-2)/8*2). Suppose -u*i + 332 - 66 = 0. Is i a composite number?
True
Suppose 2*p - 2*v = -6*v, -2*v = 4*p. Suppose p = -6*a + a + 3390. Suppose -4*d - s = -7*d + 672, a = 3*d - 3*s. Is d prime?
True
Suppose 3*y - 196 = 2165. Is y prime?
True
Suppose -4*q + 7*q - 3831 = 0. Is q a composite number?
False
Suppose 0 = b + 2*b - 9. Let r = b + 1. Is (237/(-6))/((-2)/r) a prime number?
True
Let k be 482 - (2 - (-3 - -3)). Suppose 4*w + 2*o - 763 = -295, -4*w = -o - k. Is w a composite number?
True
Suppose -2*b + 21 = -5*s, -24 = 5*b + 4*s + 6. Let i be 3/(-12) - b/8. Suppose i = -o - 0*o + 31. Is o a prime number?
True
Suppose -t = -6*t + 2405. Is t composite?
True
Let o = 9 + -4. Let g(k) = k**3 - 3*k**2 - 4*k - 6. Let i be g(5). Suppose o*n = -4*a + 387, a - 2*n - 63 = i. Is a a composite number?
True
Suppose -12*j = -7*j - 2980. Is (j/(-8))/(1/(-2)) a prime number?
True
Suppose -6 = -2*k, 4*r - 10 = -2*k + 12. Let x be 3/r - (-127)/(-4). Let o = x - -90. Is o prime?
True
Let i be (-8 + 3)*(-6)/10. Suppose -2*p = -5*m + 891, 540 = i*m - 3*p - 0*p. Is m composite?
True
Suppose 5*v - 2*v - 3*r = -6, 4*v - 37 = -5*r. Let t(h) = 1 - 5 - 1 - 3*h + v. Is t(-5) a composite number?
False
Let s(c) = c**3 + 14*c**2 + 15*c - 11. Is s(-11) a prime number?
False
Suppose 7*r = 2*r + 1055. Suppose -273 = -4*g + r. Is g composite?
True
Let a be 0/1 + 15/(-5). Let x = a + 5. Is 11 - (9/3 - x) composite?
True
Let s(z) = 5*z - 2. Suppose 3 = 3*w + h - 0, -4*w - 4*h + 12 = 0. Suppose w*l + 2*l = 14. Is s(l) composite?
True
Let x be (-303)/33 + (-2)/(-11). Let c = 28 - x. Suppose 2*p = 3*p - c. Is p a composite number?
False
Suppose -2*o = -3*b - 13228, 3*o + o - 26438 = -3*b. Is o a composite number?
True
Let l = -1 + 4. Suppose 2 = -2*s, -4*z + 2*s + 217 - 87 = 0. Suppose -x = -4, 0 = -q + l*q + x - z. Is q composite?
True
Suppose -2*x + 4 = -0*x. Suppose y + 38 = x*y. Is y composite?
True
Suppose 0 = 2*q - 3*q + 3. Suppose -8*g + 145 = -q*g. Suppose -i + 5*y = -2, -3*i - y = 7 - g. Is i a prime number?
True
Let r = 18 - 13. Suppose 4*t + 4 = 0, 0*d = 2*d - r*t + 1. Let a(z) = 6*z**2 - 3*z + 2. Is a(d) a prime number?
False
Suppose -5*j = -20, -2*f + 342 = 3*j - 796. Is f prime?
True
Let c(r) = 21*r**2 + 3*r - 1. Is c(-2) a composite number?
True
Suppose -25 + 279 = 2*z. Is z prime?
True
Suppose -32 + 150 = 2*b. Let d = 164 - -131. Suppose -5*s + d = -g, 0*s - s + 2*g = -b. Is s a composite number?
False
Let l = -2 + 7. Suppose -6 - 1 = -2*k + 3*h, 0 = -l*h - 25. Is ((-6)/k)/((-6)/(-92)) a composite number?
False
Let d(h) = h + 4. Let c be d(-6). Let t(l) = 3*l**2 - 2*l - 1. Is t(c) a prime number?
False
Suppose -q - 1 = t - 4, -4*q + 6 = t. Suppose 5*z - 59 = -3*j, t*z - 3*j + j - 14 = 0. Is 6/z - 172/(-5) prime?
False
Suppose -5*c + 100 = -f + 6*f, 0 = -4*c + 3*f + 45. Let i = c + 3. Let h = i - 5. Is h prime?
True
Suppose -4*o = 20, 2*x - 342 = -0*x + 2*o. Suppose 0 = -2*c + j + x, -8*j + 3*j = 0. Suppose 0*p + p = c. Is p a prime number?
True
Let n = 2012 + -1431. Is n a composite number?
True
Let w be (-14)/12*-3*16. Suppose -5*u + w - 211 = 0. Let k = u - -45. Is k a composite number?
True
Suppose -3*h - 3*z + 400 + 194 = 0, h - 3*z = 182. Is h composite?
True
Let l = -45 - -91. Let k = l - -51. Is k prime?
True
Suppose 5*s - 14 = -2*t, -5*s + 9*t - 4*t + 35 = 0. Suppose 1 = s*p + 81. Is 166/8 + (-5)/p a composite number?
True
Let j = 4 + -12. Let m(k) = k**2 + 4*k + 6. Let q(g) = 2*g**2 + 5*g + 5. Let o(r) = -2*m(r) + 3*q(r). Is o(j) a prime number?
False
Let x(o) = -o**3 + 4*o**2 + 7*o - 6. Let d be x(5). Let k be (d - 1)/(2/(-4)). Is (-357)/k + (-2)/4 prime?
True
Is -5*291*3/(-9) a prime number?
False
Suppose 3 = t - 2. Suppose 2*x + 5*o - 90 = 0, t*x - 2*o - 166 = 117. Is x a prime number?
False
Let c(p) = -p**3 + 30*p**2 + 25*p - 3. Is c(16) a prime number?
False
Suppose l = -c + 442, -6*l + 11*l + 2170 = 5*c. Let n = c - 107. Is n composite?
False
Let j(h) = -h**2 - 27*h + 9. Is j(-19) a composite number?
True
Let j = 57 - 19. Is j composite?
True
Suppose -2*a = -4*m - 1482, m = -2 - 0. Is a prime?
False
Suppose -3548 - 1252 = -5*k. Let m = k - 415. Is m a prime number?
False
Suppose 3*p + 3 = -4*n - 0, -3*n - 3*p = 3. Suppose 0 = 2*x, -2*x = -4*j + 94 + 30. Let r = n + j. Is r prime?
True
Let n = 7 + -7. Suppose -249 = -3*d - 3*s, -415 = -5*d + s - n*s. Is d a prime number?
True
Suppose 14*y - 2952 = 10*y. Suppose 2*w - 3*g - 367 = 0, -y = -4*w - 0*g + 2*g. Is w prime?
False
Suppose d = -2*d. Suppose -2*f + 3*f - 53 = d. Is f composite?
False
Suppose 4*s = 2*s - 3