= -0*b + b. Let c = q - 7. Is (-34)/(-3) + c/(-12) a prime number?
True
Let o be 60/14 - (-4)/(-14). Suppose -o*f + 5*w = -f - 388, w = -5*f + 656. Is f a prime number?
True
Let m(p) = p**3 + 15*p**2 + 15*p + 10. Let k(d) = d**3 + 8*d**2 + 8*d + 5. Suppose 0 = 5*l + 15 - 0. Let f(v) = l*m(v) + 5*k(v). Is f(5) a prime number?
False
Let g(v) = 561*v - 2. Let n be g(-4). Is n/(-12) - 3/18 a composite number?
True
Let d = -24 + 56. Let q(b) = -b - d*b**3 - b + 3*b. Is q(-1) prime?
True
Is (3548/(-6))/(10/(-15)) a prime number?
True
Suppose -7640 = -x - 7*x. Is x prime?
False
Let w = -1394 + 2385. Is w a composite number?
False
Suppose -163 = -4*b + 13. Let m be (-1 + b/(-6))*-30. Suppose 4*d + 2*r - 376 = 0, -3*d + 3*r + 32 = -m. Is d a composite number?
True
Let b(c) = -c + 10. Let v(h) = -2*h - 7. Let y be v(-7). Let x be b(y). Is (0 + -25)/(-4 + x) a prime number?
False
Suppose 5*f = o - 0*o + 6, 3*f - 2 = o. Suppose 3*y - 69 = o*z, -y - 4*y - 4*z + 83 = 0. Is y prime?
True
Suppose 7781 + 276 = 7*p. Is p composite?
False
Let x = 49 - 35. Is (-6)/21 - (-1838)/x composite?
False
Let s(j) = 168*j**2 - 3*j + 29. Is s(4) a composite number?
True
Suppose -4624 = -4*u + 5*o, 5*u = -4*o - 0*o + 5739. Is u prime?
True
Let m be 56/2*57/12. Suppose -4*w + m = 3*c, 18 = -4*w - c + 145. Is w prime?
True
Let q = -28 + 38. Is (-4)/20 - (-8892)/q a prime number?
False
Let l(r) = 3*r**2 - 15*r + 5. Is l(7) a prime number?
True
Suppose -4167 = -4*t + 9269. Is t a composite number?
False
Let f be 3/(-2) - 449/2. Is (f/(-5))/(2/5) a prime number?
True
Let f = -13 + 13. Suppose f*t + 940 = 4*t. Is t a composite number?
True
Suppose 0 = -3*l + 8*l - 1535. Is l prime?
True
Let w be 4/10 - (-28)/5. Let o(c) = c**3 - 5*c**2 - 6*c + 4. Let k be o(w). Let x = 17 - k. Is x a prime number?
True
Suppose -8*t + 258 = -2*t. Is t a prime number?
True
Let l(s) = -s + 3. Suppose -25 = -3*p - 2*p. Let d be l(p). Is 1/d + 204/8 composite?
True
Let u be 1/2 + 70/4. Let d(r) = -r**3 + 17*r**2 + 18*r + 6. Is d(u) composite?
True
Let z be 0 - (-4)/((-12)/(-9)). Suppose 2*h + 0*d - 600 = 2*d, z*h - 898 = 5*d. Is h composite?
True
Suppose -w - 3*w = -24. Is 2564/w*3/2 a prime number?
True
Let o = 127 + -64. Suppose 3*g - o = -237. Let v = g + 107. Is v a composite number?
True
Let o be 1/((-2)/2116*2). Let c = -132 - o. Is c a prime number?
True
Let r be 2/(34/10 - 3). Suppose -r*o = -6 - 284. Is o a composite number?
True
Let s(p) = 699*p**2 + p. Let t be s(-1). Let m = t + -462. Suppose -2*k - 2*k + m = 0. Is k a prime number?
True
Let c(x) = -x**2 + x - 1. Let j(w) = -3*w**2 + 14*w + 4. Let n(f) = c(f) - j(f). Is n(12) prime?
True
Suppose 35*x - 40*x = -635. Is x composite?
False
Let p = -37 + -56. Let g = -56 - p. Is g a prime number?
True
Suppose 26 = 4*g + 2*p, 0 = 5*g + p + 4*p - 25. Suppose 5*z - 11 = 2*a + 15, z - g = -a. Is z a prime number?
False
Suppose -66 = -x - x. Is x a prime number?
False
Let i(k) = 14*k**2 - 17*k - 1. Let v(r) = 5*r**2 - 6*r. Let a(h) = -6*i(h) + 17*v(h). Is a(-5) composite?
False
Suppose 39 = 3*j - 3*h, -4*j - 5*h + 86 = -11. Suppose -j = 2*c - 4*c. Is c prime?
False
Let j(m) = 3*m**2 + 5*m - 3. Let g(o) = -7*o**2 - 11*o + 7. Let f(s) = -4*g(s) - 9*j(s). Is f(5) prime?
True
Let t be 132/21 - (-4)/(-14). Is (501/t)/(1/2) a prime number?
True
Suppose -3*w - w = -8. Suppose 3*q - 5*f - 6 = 0, w*q + 4*f - 5*f = 4. Suppose q*b = -o + 19, o + 21 = 4*o - 3*b. Is o a prime number?
True
Suppose -5*j - 8275 = -5*u, -4*u + 6622 = -0*u - 3*j. Is u composite?
False
Let t = -281 + 494. Is t composite?
True
Let l be (-1 - -6)/(1/(-31)). Let d = -88 - l. Is d a prime number?
True
Let x(y) = 128*y**3 - 1. Is x(1) a composite number?
False
Let u(t) = t**2 + 6*t + 7. Suppose -r - 3 = 0, -3 = o - 3*o - r. Let x be (o + 3)*6/(-4). Is u(x) composite?
True
Let l(j) = -4*j + 2*j + 4*j. Let p be l(-3). Let x = p + 45. Is x a composite number?
True
Let j be (0 - 7)*(-1 - 13). Let i = 28 - 9. Let c = j - i. Is c a composite number?
False
Let v be (-188)/(-2) - (-5 + 8). Let c = v - -75. Is c a composite number?
True
Let q(u) = 7*u**3 + u**2 - u + 4. Is q(3) prime?
True
Suppose -5*u + 0*m + 10 = 2*m, -4*u + m + 8 = 0. Suppose -3*s + 4*c + 113 = 0, 5*s + u*c = -3*c + 130. Is s composite?
False
Is (0 - (-1)/2)*786 a composite number?
True
Let y(d) = d**3 + 7*d**2 + 4*d + 2. Let n be 6/2 - 30/3. Let r be y(n). Let k = -15 - r. Is k composite?
False
Let n(l) = 2*l**3 - l + 1. Let p be n(1). Let h(g) = 0 + 3 + 4*g**2 + 2*g**p - 2. Is h(2) a prime number?
False
Suppose -p - 181 = -3*z + 3*p, -p - 4 = 0. Suppose 0*d - 4*d = 4*t - 220, -z = -t - 4*d. Is t prime?
False
Is (-25 + -1232)*(-1)/3 a composite number?
False
Let d(z) = 31*z - 2. Let g be d(3). Let j = -36 + g. Is j a composite number?
True
Let o(n) = -5*n + 5 - n**2 - 3*n - 2. Let a = -6 - 2. Is o(a) composite?
False
Suppose 2*h = -2*w - 2*w + 10, 4*h + 4 = 4*w. Is (-6)/w*77/(-21) a prime number?
True
Let d be -2 - (0 + 3 - 22). Suppose 3*c - d = 5*i + 6, -5*i = 5. Is c a composite number?
True
Let p be -1*12*2/(-3). Let h(g) = -g**2 + 10*g - 9. Is h(p) prime?
True
Suppose -10 = -2*p, -w + 3*w - 2506 = -4*p. Is w a composite number?
True
Suppose 2*y + 4 = 3*y. Suppose y*a + 14 = -5*o + 179, -99 = -2*o + 5*a. Is o a composite number?
False
Let l be (2 - (-1005 - -1))*-1. Let a = l - -1493. Let r = -284 + a. Is r composite?
True
Is (-1 + 3 - 4) + 637 a composite number?
True
Let a(x) = -x**2 - 4*x + 2. Let b be a(-5). Let u(m) = 5*m**2 + 4*m + 2. Is u(b) prime?
False
Is 3*1*(5 - -26) composite?
True
Let h = 2922 + -1441. Is h a prime number?
True
Let k be (-6)/(-9) + (-561)/(-9). Let h = k - 99. Let d = h - -69. Is d a composite number?
True
Let r(c) = -4*c**3 + c**2 + 2*c + 1. Let b be r(-1). Suppose 5*m - 16 = -3*n + 67, -22 = -2*m - b*n. Is m a prime number?
True
Let g(v) = 3*v**2 - v - 2. Let n be g(2). Let t(x) = -4*x + 6 + 5*x + 4*x. Is t(n) composite?
True
Let g = 0 + -8. Let x = g + 7. Is x/(((-4)/(-106))/(-2)) a composite number?
False
Let l be (-56)/10*100/8. Is (l/6)/((-5)/15) composite?
True
Let x(t) = t**3 + 7*t**2 - 8*t - 2. Let p be x(-8). Let k be p/1*(87 - -2). Let y = -95 - k. Is y a prime number?
True
Let q(u) = -u**3 - 3*u**2 - 7*u + 7. Is q(-6) a prime number?
True
Let s(t) = 4*t**2 + 7*t + 8. Let p be 44/(-6) + 2/6. Let z be s(p). Suppose z = -0*f + 5*f. Is f a composite number?
False
Let i = 423 - 290. Let u = -359 + i. Is 10/(-15) - u/6 composite?
False
Let f(k) = k**2 - 5*k + 6. Let t be f(4). Let q be t/6 + 25/15. Let y = q + 4. Is y prime?
False
Suppose 0 = -6*a + 8*a - 10. Let z(b) = -64*b + 5. Let v be z(a). Let t = v + 460. Is t prime?
False
Suppose 457 + 2821 = 5*n + 4*j, 5*j = -15. Let k = n + -389. Is k composite?
False
Suppose 3*z + 6 = 24. Let k(q) = 2*q**3 - 8*q**2 + q - 5. Is k(z) prime?
False
Let o(j) = 51*j + 1. Let h(u) = 26*u + 1. Let t(k) = 9*h(k) - 4*o(k). Let w be t(5). Suppose 6*m - w = m. Is m composite?
False
Let j = -96 + 427. Is j composite?
False
Let z(f) = f**3 - 2*f. Let b be z(2). Let d = -267 + 446. Suppose b*r - 4*v - 136 - 20 = 0, 0 = -5*r + v + d. Is r a prime number?
False
Suppose -4*o + 10 = o. Suppose -97 - 4 = -o*s + 5*j, s - 5*j - 48 = 0. Is s a composite number?
False
Let p = 138 - 11. Is p prime?
True
Suppose p - 2*p = -1099. Is p composite?
True
Let i be 33/2*(-1938)/(-9). Suppose 3529 = 2*t + 3*t - 4*x, 5*t + 2*x = i. Is t a composite number?
False
Suppose -2*a = -6*a - 1020. Is (a/(-25))/((-1)/(-5)) prime?
False
Suppose 0*d = 5*d - 100. Is (-12)/d + 2236/10 composite?
False
Let a(w) = 58*w - 3. Suppose 4*k = 5*k - 2. Is a(k) prime?
True
Let u(v) = -9*v + 3. Suppose 24 = -4*a - x, -a - 2*x - 13 = -0*x. Let m(o) = 4*o - 2. Let f(r) = a*m(r) - 3*u(r). Is f(2) composite?
True
Suppose 0*s - s = -25. Suppose 0 = -4*y + 19 + 1, 2*d - s = -y. Is 4/d + 1283/5 composite?
False
Let f(z) = -z**3 + 3*z**2 + 4*z + 2. Let n be f(4). Suppose -2 = -n*y - 0. Is (0 - y)*(-30)/2 composite?
True
Let s(t) = -80*t. Let v be s(-1). Suppose n - 2 = 0, -2*q + 4*n = -7*q + 33. Suppose g - o = -3*g + v, -79 = -q*g - 4*o. Is g composite?
False
Suppose -l - 48 = 2*l. Let g = 18 + l. Is g a composite number?
False
Is ((-114)/18)/((-2)/114) a composite number?
True
Suppose -4*q = 5*b - 76, 