Let x be -1 + (-7 - (-6)/2). Let m = w - x. Is m composite?
False
Let n(k) = k**3 + 8*k**2 + 2*k + 6. Let u be n(-8). Let q(a) = -2*a - 1. Is q(u) prime?
True
Let v = -37 - -72. Suppose -51 - v = -2*b. Is b prime?
True
Suppose -3*x = -8*x + 385. Is x composite?
True
Let z(m) = 13*m**3 - 12*m**2 - 23*m + 11. Let r(j) = 3*j**3 - 3*j**2 - 6*j + 3. Let i(q) = 9*r(q) - 2*z(q). Is i(5) prime?
False
Let b = 1214 - 729. Is b composite?
True
Suppose 573 = 2*d + d. Let o = d - 122. Is o composite?
True
Let j be ((-60)/(-35))/(2/7). Suppose 0 = -j*w + 2*w + 204. Is w composite?
True
Is 18120/42 - 3/7 a composite number?
False
Let c(a) = 4*a**2 - 2*a + 1. Let s be c(1). Suppose -k - 4 = -s*k. Suppose -k*f - 3*p + 182 = 0, 4*f + p + 91 = 5*f. Is f prime?
False
Suppose -3*k + 2*y + 4963 = 0, -k + 2*y = k - 3308. Is k prime?
False
Suppose 3*l - 4 = 4*l. Let z(k) = -k**3 - 3*k**2 + 5*k. Let h be z(l). Is (-93)/(-6) + 2/h prime?
False
Suppose -30730 = -4*c - 6*c. Is c composite?
True
Let c = 504 + 995. Is c prime?
True
Suppose 2*y - 102 = -3*s + 5*s, -2*y - 2*s = -82. Let o = y - -49. Is o prime?
False
Suppose 3*o + 12 = 0, 2*o = -3*q - 3*o - 20. Suppose q*h + 4*h = 88. Is h composite?
True
Suppose -955 = -0*m - 5*m. Is m composite?
False
Suppose 111 = -4*m + 511. Let t = -63 + m. Is t a prime number?
True
Is (119/(-21))/(2/(-426)) composite?
True
Suppose -g - 4 = -5*g. Suppose b - g = 4, -4*u - 3*b = 33. Is (4/u)/((-1)/381) composite?
False
Let c(x) = 20*x**2 + 23*x + 11. Let q(z) = 7*z**2 + 8*z + 4. Let s(p) = -6*c(p) + 17*q(p). Let j be s(-3). Is j - -80 - 0/(-3) a prime number?
True
Is 2/8 - 1388/(-16) a composite number?
True
Let p(a) = 5*a**2 - 7*a + 6. Is p(-8) prime?
False
Let p = 281 - -300. Suppose -2*w + w = -p. Is w a composite number?
True
Let s(v) = v**2 + 3*v + 3. Is s(16) prime?
True
Is (3 + -1)/(-4)*-582 a composite number?
True
Is 3/(-30) - (-3351)/10 a prime number?
False
Let r = -91 - -213. Is r prime?
False
Let l be (8/20)/(1/35). Is (-2)/(-4) + 805/l composite?
True
Let d(n) = 32*n. Let a be d(2). Let s = a - 31. Is s a composite number?
True
Is (7294/2)/(-15 + 16) a prime number?
False
Suppose 0 = -5*l - 3*x - 16 + 38, 2*l + 2*x - 12 = 0. Let s(w) = w**3 + 4*w**2 + 2. Let p be s(-4). Suppose 2*d - 2 = 3*b - l*b, -16 = -4*b + p*d. Is b prime?
False
Let w = 2 + -2. Suppose 12 = -3*c, -3*r - 4*c = -w*r - 5. Is r prime?
True
Suppose 2*j + 5 = -33. Let h = 51 + j. Let w = h - 17. Is w a prime number?
False
Suppose y = 2*y - 37. Is (y/(-3))/(3/(-9)) a prime number?
True
Let p be (-52)/(-3) + 3/(-9). Suppose z - p = -4*y, 4*z = 2*z - 2*y + 28. Is z composite?
False
Let r(i) be the second derivative of i**5/20 - i**4/6 - 5*i**3/6 + i**2/2 - 2*i. Let s be (36/16)/((-6)/(-16)). Is r(s) composite?
True
Let c(s) = 45*s - 6. Let i be c(8). Suppose -3*h = -h - i. Is h a composite number?
True
Let n(u) = 12*u - 7. Is n(13) composite?
False
Let s = 1 - -16. Suppose -5*m + 60 = k - s, 0 = -m - 4*k + 4. Is (-2 + m)*14/4 composite?
True
Suppose 0 = -2*z - 2 + 18. Suppose -5*s - z = -403. Is s a composite number?
False
Let p be -3*1 + 12 + -15. Let h = p - -16. Is h a prime number?
False
Let z = -60 + 467. Is z a composite number?
True
Suppose -127 = -2*f - 5*t, -3*t = -5*f + t + 268. Suppose -f - 1 = -j. Suppose -2*p = p - j. Is p a prime number?
True
Suppose -4*u - 4*m + 58 = -2*u, -205 = -5*u + 2*m. Suppose -116 - u = -5*o. Is o a composite number?
False
Is (-6)/21 - 33000/(-56) a prime number?
False
Let i be (16/(-24))/(2/(-3)). Is 2 - (-411 + 0)*i a prime number?
False
Let l(d) = 7*d**2 - 3*d - 5. Is l(-8) prime?
True
Let g(l) = 336*l**3 - l**2. Let h be g(1). Let p be 8/20*h/1. Suppose 3*m - p = m. Is m a prime number?
True
Let o(m) = -m**3 - 4*m**2 - m. Let t be o(-2). Let b be (-3)/t*-2*-102. Suppose -6*d + 3*d + b = 0. Is d a prime number?
False
Suppose -2*c - 3088 = -2*a, -c + 3081 = 2*a + 4*c. Is a a composite number?
False
Let d(m) = -4*m**2 + 85 + 5*m**2 + m - 2*m**2 + 30. Is d(0) a composite number?
True
Let x(n) = 21*n. Let r be x(6). Let g = -61 + r. Is g prime?
False
Suppose 5*x + 3*u - 27 = 0, 2*x + 0*x + 4*u = 8. Suppose 0 = 2*z + 4*h - x + 4, 4*z - 4 = 4*h. Is (z - -52)*2/2 a composite number?
False
Let a be 6 + (-1 - (-2 - -2)). Suppose 5*x = l + 8, -4*x + a*l + 29 = 10. Is 1/x + 13/1 prime?
False
Let m(o) = -o**3 + 4*o**2 + 4*o - 5. Let t be m(5). Let y be 1 + -4 + t/(-2). Suppose -y*d = -44 + 6. Is d composite?
False
Suppose 20 = 2*c - 4*i, -c + 0*i = -4*i - 14. Suppose -4*h + 6 = -c*h. Is (46 - h) + 6/(-2) a composite number?
True
Let w(b) = 2*b + 3. Suppose g - 18 = 4*g. Let n be w(g). Is 836/36 + 2/n a prime number?
True
Suppose 2*r = o + 10, 4*o = 3*r + 7 - 27. Let h(i) = -i**2 + 2*i + 1. Let q(n) = n**2 - n - 1. Let b(f) = 3*h(f) + 5*q(f). Is b(r) composite?
True
Let l(m) = 4*m**2 + 2*m - 4. Let g be l(-11). Suppose -2*d + g = -140. Is d prime?
False
Let t = 55 + -33. Is t a composite number?
True
Suppose -378 = -4*d - 5*i, 5*d - 327 = -2*i + 154. Is d prime?
True
Suppose -4*v + 528 = -0*m + 4*m, 0 = 3*v + 2*m - 395. Is v a composite number?
False
Let u(s) = -s**3 - 5*s**2 + 2*s + 7. Let a = -10 - -4. Is u(a) a composite number?
False
Let x(d) = -d**2 + d. Let z be x(0). Suppose -4 + z = -u. Suppose 2*l - 26 = -r, -l + r = 6*r - u. Is l a prime number?
False
Let r(z) = z**3 - z + 3. Let i be r(0). Let v be (-2)/i + 22/6. Suppose -u + 25 = 4*u - y, v*y = 15. Is u prime?
False
Let k(y) = y**3 + y**2 - y - 5. Let i be k(4). Suppose -2*a - i = u, -5*u + u = a + 53. Let o = -23 - a. Is o composite?
True
Let i be 12*2/(7 + -1). Suppose i*v + 0*v = 88. Is v a composite number?
True
Let a be (-2)/3*(-13 + -2). Suppose r + 4*r - a = 0. Suppose -3*t + 2*b + 228 = -b, 5*t - r*b = 365. Is t composite?
False
Let b = 0 - -4. Suppose -2*v = g + 26, 0*v - 68 = b*g - v. Is (-12)/4 + g/(-1) composite?
True
Let h be (-6)/(3/6 + 1). Let x(a) = -2*a - 6. Let z be x(h). Suppose -3*b = -5*y - 29, b + 3*y - z*y + 1 = 0. Is b composite?
False
Suppose -a = -2*a + 331. Is a composite?
False
Is 1450 + (-3 + 5)/2 a composite number?
False
Is 0 + 160 + (0 - -6)/(-2) prime?
True
Is (-8 - -12)*(-158)/(-8) a prime number?
True
Suppose 4*n = -3*q - 3, -3*q - 5*n = 2*q. Is q a composite number?
False
Suppose 13*s - 3268 = 9*s. Is s prime?
False
Let c(g) = 100*g**2 - g - 1. Is c(2) prime?
True
Suppose u + 3*g - 193 = -2*g, -4*g = -5*u + 907. Is u a prime number?
False
Let i(c) = -c**3 + 6*c**2 - 3*c - 7. Let z be i(5). Suppose -z*d - 5*v + 288 = 0, d - 93 = -4*v + 10. Is d prime?
False
Let g(r) = r - 3. Let m be g(-3). Let y(t) = -t - 1. Let p be y(m). Let w(n) = 18*n + 1. Is w(p) prime?
False
Let x = -8 - -3. Suppose 5*u + 2*w + 92 = 0, -u + 5*w = -2*u. Is (-2)/x - 172/u prime?
False
Let a(h) = 423*h**2 + 2*h + 1. Is a(-1) composite?
True
Let w(g) be the first derivative of -27*g**4/2 - g**2/2 + 4. Let h = -2 + 1. Is w(h) prime?
False
Let g = 524 - -1073. Is g composite?
False
Suppose -j = -4*i - 0*i - 10, 0 = 5*i + 5*j. Let x be i - -232 - (1 + -1). Let b = x - 141. Is b composite?
False
Let x(a) = -a**3 - 5*a**2 + 7. Let d = 4 + -1. Suppose -2*w - 30 = d*w. Is x(w) a composite number?
False
Is 0*6/48 - (-3388 + -1) a prime number?
True
Let l(z) = 32*z + 67. Is l(30) a composite number?
True
Let l be (-1)/3 + 178/(-6). Is (-2892)/l + (-3)/(-5) a composite number?
False
Let b = 790 - 323. Is b a composite number?
False
Let c = 7 - 4. Suppose -z - 4*a - 17 = 0, -c*a = 3*z + a + 11. Suppose 0 = z*t - 12, 3*t - 276 = -4*k - t. Is k a prime number?
False
Is (-6)/(-2) - (-11 + -5) composite?
False
Let b(n) = -n - 2. Let z be b(-5). Let f be (z/9)/(2/18). Suppose 0*o - f = -o. Is o composite?
False
Suppose -3*o + 21 = -5*w, 3*o + 0 = -4*w - 6. Suppose o*l + 0*l - 4*y - 312 = 0, -288 = -2*l - 2*y. Let p = l - 71. Is p prime?
False
Let o(l) = 1 - 6 - 12*l + 14*l. Is o(6) composite?
False
Let b(g) = g + 2. Let d be b(-1). Let k be 2*d + (-8)/(-4). Let m(s) = 2*s**3 - 3*s**2 - 3*s - 1. Is m(k) composite?
False
Let w(g) = -2*g - 2 + 3*g + 7*g**2 + 2*g**2 - 3*g. Is w(-2) prime?
False
Suppose 3*l = 7*l + 2240. Let w = l + 849. Is w a composite number?
True
Let z(u) be the first derivative of u**3/3 - 3*u**2 - 5*u - 4. Is z(10) a composite number?
True
Let r be (-48)/(-27)