2. Let o be x(-2). Let f = 15 + o. Is f prime?
True
Let i(n) = 12*n + 1. Let h be i(-1). Let p = h + 36. Let y = p - -6. Is y a prime number?
True
Suppose -5*b + 955 = -0*b. Is b prime?
True
Let v(w) = -w**3 - w**2 - w + 745. Is v(0) composite?
True
Let y = -12 - -4. Let k = 5 + y. Is (-10)/(1/(k/2)) a composite number?
True
Suppose -2*k + 7 = -1. Suppose b + b = -4. Is 62/(b/k*-4) a prime number?
True
Let f(g) = -38*g - 11. Let a = 20 + 24. Suppose a = -v - 3*v. Is f(v) composite?
True
Suppose -l = -3*k - 4*l + 5529, 5*k - 5*l - 9215 = 0. Is k composite?
True
Suppose 3*x - 6*x = 0. Let j = -126 + 286. Suppose -4*m - 12 + j = x. Is m a prime number?
True
Let h be 2/7 + 36/21. Suppose 4*j - 2*w + 0*w = -8, 0 = 4*j + 3*w - 12. Suppose -h*l + 19 + 51 = j. Is l a composite number?
True
Suppose -5*w = -w - 32. Let x = 6 + w. Is x composite?
True
Let g(o) = -7*o + 1211. Is g(0) composite?
True
Suppose -2*f + 175 = 3*f. Is f a prime number?
False
Let i be (-24)/(-14) - 4/(-14). Let d(x) = 25*x - 3. Is d(i) prime?
True
Let i be ((-2)/2)/(2/(-4)). Suppose 3*l = -3*h - 220 - 41, -4 = i*h. Let v = -48 - l. Is v prime?
True
Let q(n) = -2*n**3 + 29*n**2 - 11*n - 20. Let l be q(14). Suppose 0 = 5*m + 167 - 1072. Suppose -m + l = -3*c. Is c composite?
False
Let x(a) = 8*a**2 + 6*a + 5. Suppose 7 = 2*o - 5. Is x(o) composite?
True
Suppose -4*q = m - 0*q, 5*m - 5*q = 0. Suppose m*x + 2*x = 178. Is x composite?
False
Is (8 + (-36)/6)*289/2 a composite number?
True
Suppose -p + 3*n - 1520 = -5*p, 4*n = 0. Is 2/6 + p/3 a prime number?
True
Suppose -f + 10 = -52. Is f composite?
True
Suppose 0 = 5*j + l + 4*l - 620, 242 = 2*j + 4*l. Is j prime?
True
Let b(c) = -c**3 + 4*c**2 + 4*c - 3. Let u(v) = -2. Let h(a) = -a - 10. Let k(p) = 2*h(p) - 6*u(p). Let s be k(-6). Is b(s) a composite number?
False
Suppose -5*j + 75 = -0. Is (-1)/(-3) + 280/j composite?
False
Let x(m) = 510*m**2 - 2*m + 1. Is x(1) composite?
False
Suppose 2*v + 0 = -10. Let s = 4 - v. Is s a prime number?
False
Suppose -2*i - 2*d + 4 = 0, 4*i - 5 = -3*d + 2. Suppose 5*f - i - 4 = 0. Is f + 29 - (-3 + 0) a prime number?
False
Let k(y) = -4 + 3*y**2 - 1 + y**2 + 4*y**2 - 6*y - y**3. Let l be k(7). Suppose -3*n + 21 = h, -6*n + 3*n = -l*h + 6. Is h a composite number?
True
Let s be 2 - (4 - (1 + 1)). Suppose s = -6*f + 3*f - 12. Let z = f - -6. Is z prime?
True
Let h(c) = -2*c + 5. Let n be (-78)/(-4)*10/(-15). Is h(n) a composite number?
False
Suppose -10*t - 15 = -5*t. Let v(n) = -97*n + 2. Is v(t) a prime number?
True
Let q be ((-44)/(-2))/(2/1). Let p = 11 + q. Is p composite?
True
Let k = -109 - -162. Is k composite?
False
Suppose 4*f - 173 - 403 = 4*z, -5*f = -2*z - 735. Is f a composite number?
False
Let o(g) = 4*g**2 + 7*g - 4. Is o(13) a composite number?
True
Suppose 0 = 2*w + 2*o - 4674, -4*w + 2*o = 3*o - 9336. Is w prime?
True
Let m = -212 - -93. Let g = m - -198. Is g composite?
False
Let a(f) = f**2 + 6*f + 5. Let k be a(-6). Suppose c - 52 = 167. Suppose -u = -4*t + c, -u + 273 = k*t - 3*u. Is t a prime number?
False
Suppose h - 3*r = -r - 4, -3*r = -3*h + 3. Let f = 8 + -11. Is f/h*-158*1 a prime number?
True
Suppose 2*j = -5*h + 16, j - 2 = -3*h + 7. Let g be j*1 - (-4 + 4). Suppose g*y + 4*i = 53, -2*i - 60 = -4*y - 4. Is y prime?
False
Suppose 0 = -2*d + 714 + 1420. Is d composite?
True
Suppose -54 = -3*t + 57. Suppose t + 78 = -5*z. Let m = z - -45. Is m prime?
False
Suppose -7*a + 10753 - 2346 = 0. Is a composite?
False
Let i = 15440 - 10719. Is i prime?
True
Let z(q) = 16*q + 7. Suppose 10 = 5*f - 5. Suppose -2*j = 4*v - 0*v - 6, 4*j - f*v - 34 = 0. Is z(j) a prime number?
False
Let s = 39 - 55. Is s/(-56) + 369/7 prime?
True
Suppose 2*v = -v + 5*d + 21, 13 = 2*v - 3*d. Suppose -7*k + 290 = -v*k. Is k prime?
False
Let x be (-2 - 1)*2/(-3). Suppose -3*u + x*i = 54, 3*u + 52 = u - 4*i. Let v = 57 + u. Is v composite?
False
Let f = 1 + -1. Suppose -30 = -5*i + 2*a, i - 6 + f = -a. Is (-268)/6*(-9)/i prime?
True
Suppose x - 6 + 2 = 0. Suppose 7 = x*p - 1. Suppose p*q = -q + 105. Is q a prime number?
False
Suppose -885 = -3*f - 132. Is f composite?
False
Suppose 2*d + 2*f = -260, d + 3*d + 5*f = -518. Let i = d + 295. Is i prime?
True
Let a(s) = 30*s**2 + 7*s + 43. Is a(16) composite?
True
Is ((-8)/12 - (-5)/3)*373 composite?
False
Let a(r) = 41*r**2 - r + 1. Suppose 0 = 3*j + 2*j + 3*u + 6, 0 = -5*u + 15. Let n be a(j). Suppose 0*c = c - 4*i - 111, -3*c + n = -2*i. Is c composite?
False
Suppose s = 3*s - 4. Let o be (s/(-4))/(1/38). Let u = o - -130. Is u a composite number?
True
Is 2*3/6*201 a prime number?
False
Let z = 10 - -5. Is z prime?
False
Is (-2)/((32/(-3196))/4) prime?
False
Suppose -4*h + 1262 = -2*h. Is h composite?
False
Suppose -2*x + 2196 = 2*z, x - 5*x + 4394 = 2*z. Is x a prime number?
False
Suppose 2*c + 3*q + 4 = 0, -3*c + q + 0 = 6. Let s be 0 - c - (-3)/3. Let y(o) = 5*o**3 - 2*o**2 - 2. Is y(s) prime?
False
Suppose 4*o = -5*v - 0*v + 1065, -o - 5*v = -255. Let n = 61 + 60. Let p = o - n. Is p a composite number?
False
Is 5192/12*(-9)/(-6) composite?
True
Suppose -n + 168 = 43. Suppose 5*l - 209 = -5*g + 456, g = l + n. Is g prime?
False
Suppose 0 = 4*t + 2*k - 5*k - 1040, 3*t - 4*k - 787 = 0. Is t a composite number?
False
Suppose -556 = -v + 307. Is v a prime number?
True
Let b be (-1)/(-3 - (-28)/10). Is b*((-9)/(-3) - -26) composite?
True
Let w be ((-2)/5)/(3/(-30)). Suppose -3*f + 5*v = -462, 41 = 2*f - w*v - 265. Suppose t = -2*t + f. Is t a composite number?
False
Let l be (-5)/(-10)*(7 - -1). Suppose -6*f + 38 = -l*f. Is f composite?
False
Let i be ((-8)/6)/(4/(-6)). Let l(r) = 4*r**3 + r**3 - 6*r**i - 7*r**3 - 3 - 2*r. Is l(-4) prime?
True
Let k(n) = 2*n**2 - 2*n - 5. Is k(5) prime?
False
Let v = -19 - -32. Suppose 5*w - r - 3*r = v, -4*r - 8 = -4*w. Suppose 2*o - 5*o = 3, w*o = -2*f + 41. Is f a prime number?
True
Suppose -b + 12 = 3*g, -8 = -4*b - 3*g + 4. Suppose b = -2*q + 196 - 8. Is q a composite number?
True
Let f(y) = -30*y + 1. Let n be f(3). Is (-8)/32 + n/(-4) composite?
True
Let o(k) = 35*k**2 + 14*k + 20. Is o(-9) composite?
False
Let k = -5 - -7. Suppose -u - 2*t + 27 = 0, 3*t - k - 1 = 0. Is u a prime number?
False
Let w(y) = -y**3 + 8*y**2 - 4*y + 12. Let q be w(8). Is (q/6)/(1/(-3)) prime?
False
Suppose -3*b + 12 = -0*b. Suppose b*d - 49 = 35. Is d a prime number?
False
Let m = -12 - -3. Let p(h) = -h**3 - 8*h**2 + 5*h - 13. Is p(m) a prime number?
True
Suppose 3*w + 2*j - 5*j = -3, 0 = 5*w + 3*j - 35. Suppose -3*o = -134 - w. Is o a composite number?
True
Let q = 387 + -189. Suppose 2*v = 4*v - q. Suppose 0*p = -3*p + v. Is p composite?
True
Let d = -1053 - -1712. Is d a prime number?
True
Is -4 + (54 - -2 - 1) composite?
True
Suppose 5*q - 1475 = -0*q. Is q a composite number?
True
Let b(z) be the first derivative of -z**3/3 + 4*z**2 - 6*z + 2. Let l be b(6). Suppose -4*j - 26 = -l*j. Is j prime?
True
Let k(w) = 7*w + 1. Let j be k(1). Suppose 0 = 4*n + j, -6*n + 3*n = -h - 6. Is (1 - (-21)/h)*-4 a prime number?
True
Let m(o) = -3*o**3 + o**2 - 7*o + 1. Let v(s) = 2*s**3 + s + 5*s + 3 - 5. Let j(w) = -3*m(w) - 4*v(w). Is j(6) a composite number?
True
Let g = -11 - -15. Suppose -3*a + 3 = -5*n - 0, a - g*n = -6. Is ((-4)/a)/(2/(-267)) a composite number?
False
Let u = 269 + -472. Let w = 127 + u. Let d = 197 + w. Is d a composite number?
True
Let v = 12 + -14. Is (2/(-2))/(v/116) a prime number?
False
Let z(a) = -a - 1. Let o be z(-4). Suppose 405 = -2*s - o*s. Let g = -34 - s. Is g a composite number?
False
Suppose 0 = 10*a - 12*a + 524. Is a a composite number?
True
Let y be ((-30)/21)/((-2)/14). Let v = 36 + y. Is v prime?
False
Let m = -8 + 11. Let u(h) = h + 1. Let q be u(m). Suppose -2*g = -q*j - 34, g - j - 11 = 9. Is g prime?
True
Is (12 - -112)/(2 + 0) a composite number?
True
Is (58/(-8))/((5/1)/(-380)) a prime number?
False
Let c = 181 - -232. Is c prime?
False
Let s(p) = 190*p - 26. Is s(6) a composite number?
True
Let n be 0/(1 - (3 - 0)). Let q be (-3)/(-2 - (-1 - n)). Suppose -269 + 2 = -q*o. Is o a composite number?
False
Let x be ((-4)/3)/(4/(-6)). Suppose -x*w = -4*w + 46. Is w a prime number?
True
Let i(y) = -y + 127. Suppose 2*b - 5*g = 4*b, 0 = -4*b + 2*g. Is i(b) a composite number?
False
Let y be (-2)/8 - 17