-6))/(-1). Suppose -x = -3*x + c. Is x prime?
True
Let d be 2/5 + (-46)/(-10). Let w be (-1344)/(-30) - (-1)/d. Let v = -32 + w. Is v composite?
False
Let b(i) = 2*i**2 - 47*i + 11. Is b(24) composite?
True
Let v(o) = 38*o**2 - 2*o + 1. Let q(d) = -2*d - 4. Let j = -3 + 0. Let a be q(j). Is v(a) composite?
False
Let l be 513 + (3 - 4)*1. Let g = l + -363. Is g prime?
True
Let g(o) be the second derivative of o**4/12 - o**3/3 - 5*o**2/2 - 4*o. Is g(-4) prime?
True
Let o be -4 + 3*(-1 - -2). Let a be (-4 - o) + (4 - -1). Suppose 0 = g + a*g - 63. Is g a prime number?
False
Let g(x) = 512*x**2 - x - 2. Is g(-1) a composite number?
True
Is 2/(-12)*-2042 - 30/(-45) a composite number?
True
Suppose -5*i + 6149 = 934. Is i a composite number?
True
Let s = -17 + 15. Is -3 + 29 - (s + 5) a prime number?
True
Suppose -3*n + 65 = 2*n + 5*f, 2*f = -5*n + 50. Suppose k = 11 + n. Let b = k + -10. Is b prime?
False
Let g = 4 + -4. Suppose 0 = 2*k - g*k - 18. Let n = 19 - k. Is n composite?
True
Suppose i = 5*g + 282, -g + 546 = -5*i + 1980. Is i prime?
False
Is (-8)/(-12)*(-4194)/(-12) prime?
True
Is (4/(-6) - 10/(-15)) + 1711 composite?
True
Let a(i) = 409 - 409 - 14*i. Suppose 0 = 4*p - 4*l - 0*l + 8, 0 = 2*p + 2*l. Is a(p) prime?
False
Suppose 2*a - 517 = -3*x, 323 = 2*x - 4*a - 11. Let m(y) = -y**3 + 3*y**2 + 2*y - 4. Let r be m(3). Suppose -2*u - r*u + x = 5*s, s - 47 = -4*u. Is s composite?
False
Let y be (-1166)/14 - (-2)/7. Let a = 128 - y. Is a a composite number?
False
Let m(i) = -i**2 + 11*i - 13. Let p be m(10). Is 2 - -46 - p/3 composite?
True
Let o be 0 - (-4 + 2) - 9. Let b be 2/3 - o/3. Suppose t - 2*r = 57, 49 = 2*t - b*r - 63. Is t composite?
False
Suppose 2*z - 7 = 53. Suppose -3*i = -3 + z. Let y = i - -31. Is y a composite number?
True
Let b = 40 - -291. Is b prime?
True
Let l(o) be the first derivative of -12*o**2 + o + 3. Suppose 5*t = -2 - 8. Is l(t) a composite number?
True
Suppose 5*m - 5*y = 15, -3*y + 1 = 10. Let l(g) = g + 1. Let z be l(m). Suppose -z - 7 = -2*u. Is u a prime number?
False
Let v(q) = q**2 - 7*q + 6. Let g be v(4). Is (0 + (-21)/g)*26 prime?
False
Let b = 26 - 16. Let u(d) = d**2 - 10*d + 10. Is u(b) a prime number?
False
Let q(b) = -b + 5. Suppose 0 = -5*j - 25, -3*j = -5*z - j + 10. Let v be q(z). Suppose 0*o - 9 = -3*o, -4*o + 107 = v*t. Is t a composite number?
False
Suppose -5*m - 5491 = 989. Let b = 1817 + m. Is b composite?
False
Suppose 3*g + 0*a = 5*a + 26, 10 = 3*g - a. Suppose -o + 11 = 3*c, -5*c = -g*o - o - 23. Suppose 575 = c*y + y. Is y a prime number?
False
Suppose -354 = 3*p + 198. Is (p/6)/((-4)/6) a composite number?
True
Is 1*(25 - (1 - -1)) a prime number?
True
Suppose 0*t - 3*t + 5*v = -338, 4*t + 5*v - 439 = 0. Is t a prime number?
False
Let l(s) = 20*s**2 - 2*s + 1. Suppose -5*d + 20 = 5*a, 0*d - 8 = -2*d + 3*a. Suppose 3*v - 7 = -d. Is l(v) a composite number?
False
Is 14106/9 + (-7)/3 + 2 composite?
False
Suppose -4*w - x + 3 = 0, 5*x = 3*w + x - 7. Let t = w + 2. Let o = t + 11. Is o a prime number?
False
Let k = 9 + -4. Is 3/k - (-2968)/20 a prime number?
True
Let f be (81/12)/(4/32). Let h = 69 + f. Is h prime?
False
Suppose -3*d - 8 = -7*d. Suppose -w - 92 = -d*n, n = -n - w + 96. Is n a composite number?
False
Let k(d) = -d**3 - 3*d**2 - 2*d - 2. Let p(s) = -s**2 + 3*s - 3. Let o be p(3). Let z be k(o). Suppose -2*n - 110 = -z*n. Is n a prime number?
False
Let b(y) = -y + 95. Let j be b(0). Suppose 3 = 3*f - 2*f, -p + 4*f + j = 0. Let z = 186 - p. Is z a composite number?
False
Let z = -42 + 91. Is z a prime number?
False
Let s be 64/11 + 10/55. Let j(u) = u - 8. Let r be j(s). Is r/5 + 1334/10 a prime number?
False
Let t = -776 - -1849. Is t a composite number?
True
Let g(y) = y**2 - 5*y - 3. Let l be g(5). Let a be 97*l/(2 + 1). Let u = 66 - a. Is u prime?
True
Suppose -2*k + 15 = k. Suppose -2*d = -2*s + 84, 2*s - 2*d = k*s - 101. Is s composite?
False
Let h(q) = -q**3 + 11*q**2 - 5*q - 1. Is h(6) a prime number?
True
Let p(a) = a**2 - 5*a + 9. Let u be p(7). Suppose -3*d = 2*i - 31, i + 9 = -d + u. Is i prime?
True
Suppose 5*d = -2*o - 0*o - 14, -5*d = 3*o + 11. Let w be 104 - (-1)/(-2)*2. Suppose 4*f - 4*s - w = 25, -o*f + 97 = -4*s. Is f a prime number?
True
Suppose 2*m - 8 = 4. Is (-1 - (-111)/m)*2 composite?
True
Let y(s) be the first derivative of -s**3/3 - 7*s**2/2 + 4. Is y(-5) prime?
False
Suppose -3*w - 1336 = -4*l, l + 3*l + 2*w = 1316. Is l a prime number?
True
Suppose 2*l + 40 = -0*l. Let c = -10 - l. Is c a composite number?
True
Let q(j) = j + 26. Suppose -3 = -s - 14. Let g be q(s). Suppose -o - g = -49. Is o composite?
True
Suppose -v + 3 = 2*d - d, -4*v = -5*d + 15. Suppose 4*b + w - 102 = v, 4*b + 5*w - 44 = 50. Is b prime?
False
Suppose 0 = -j + 128 + 63. Is j composite?
False
Let r be -30*2*(-2)/(-6). Is r/(-50) - (-3066)/10 composite?
False
Suppose 0*y = 4*y - 4*d - 3880, -4*y - 2*d = -3862. Is y a prime number?
True
Let b(f) = -11*f - 21*f - 2*f - f - 12. Is b(-5) a composite number?
False
Let n be (1/2)/(1/(-78)). Let s = 73 + n. Is s - -1*(1 + 0) prime?
False
Suppose -3*z + 7*z + 4 = 0. Let x = z - -110. Is x a composite number?
False
Suppose p - 22 = -3*b, -157 = -5*p + b + 17. Let o be (21*1)/(0 + 1). Let q = o + p. Is q composite?
True
Let u(x) = 2*x**2 + 6*x - 2. Let g(q) = 2*q + 1. Let k be g(4). Suppose -5*y - 2*f = k + 29, 4*y + 4 = 5*f. Is u(y) a composite number?
True
Let b(v) = v**3 - 3*v**2 + 3*v - 1. Let s be b(2). Let d be (-1 + (-5)/(-2))*2. Is s/(d - 248/83) composite?
False
Let l be (1/1)/(1/6). Let o be (l/(-4))/((-3)/20). Suppose f - o = -4. Is f prime?
False
Let o = -495 + 836. Is o prime?
False
Suppose -10 = 2*y, -4*i - 2*y + 419 = 3*y. Let k = i - 56. Is k a prime number?
False
Let c = -1261 + 2004. Is c composite?
False
Suppose -4*r + 16 = 0, -2*t + 256 + 766 = -4*r. Is t prime?
False
Let i = -252 + 398. Is i prime?
False
Let c(z) = 12*z - 23. Let f(t) = -1 - 5 - 5 + 6*t + 0*t. Let v(n) = -6*c(n) + 13*f(n). Is v(7) prime?
True
Let v(a) = -a**3 + a**2 + a - 20. Let x be v(0). Let b be (x/4)/(-1 - 0). Suppose 3*f - b*f + 118 = 0. Is f a composite number?
False
Let l(c) = 2 + 1 - 2*c - 4. Let y be l(2). Let o(k) = 2*k**2 + 5*k - 2. Is o(y) prime?
True
Suppose -3*u + 4*u = -3, -4*r = -5*u - 9611. Is r a prime number?
True
Suppose -24 = -5*y - 4. Suppose 0 = -y*a - a + 20. Suppose -a = -b + 7. Is b prime?
True
Let i = 0 + 6. Let g = i - 3. Suppose -c + g*k = -k - 43, -c - 3*k = -64. Is c a prime number?
False
Let j(s) = s**2 - 6*s - 6. Let k be j(6). Let a = k + 8. Suppose -5*r = -a*r - 93. Is r a prime number?
True
Let h be 414/3 + -1 + 2. Suppose -62 = -3*i + h. Is i a prime number?
True
Suppose 3*n + h + 5 = 0, 2*h = 4*n + 4*h + 10. Suppose -3*w = -n*w - 1659. Is w prime?
False
Let s(w) = -5*w**3 + w**2 + w - 49. Let v(m) = -11*m**3 + 2*m**2 + 2*m - 97. Suppose 0 = 4*o - 9 - 15. Let u(j) = o*v(j) - 13*s(j). Is u(0) composite?
True
Let k = -25 - -61. Suppose 176 = 4*m - k. Suppose m = 5*u - 72. Is u composite?
True
Suppose -2*n - 16 = 3*y - n, 5*y + 2*n + 27 = 0. Is 2 + y*1*-15 composite?
True
Suppose 0 = -z + 5 - 1. Suppose -p = -z*r + 5, 7 = 4*p - 5*r - 6. Is p a prime number?
True
Suppose -2*v = -4*p - 205 - 125, 4 = -p. Is v prime?
True
Let z = -5514 + 9361. Is z a composite number?
False
Suppose x = 4*x - 12. Let g = x + 1. Suppose -4*p = v - 5 + 22, 0 = -g*v + 4*p + 35. Is v composite?
False
Let m(d) = 18*d**2 - 5*d - 2. Let h(g) = -19*g**2 + 4*g + 1. Let t(n) = 4*h(n) + 3*m(n). Let w be t(-4). Let x = w + 665. Is x composite?
False
Let f = 10 - 11. Let j = f + 113. Suppose 4*o = 4*a - 204, 0 = a + a + 3*o - j. Is a a prime number?
True
Let h = 1320 - 457. Is h prime?
True
Let d = 53 + -51. Let o(h) = -4*h. Let t be o(-1). Suppose t*c - 370 = d*c. Is c composite?
True
Let s(t) = -3*t - 1. Let i be s(-1). Let j be i/((3/(-1))/(-6)). Let g = j + 15. Is g a composite number?
False
Suppose 0 = -2*l + 4*l + 44. Is 2034/66 + (-4)/l composite?
False
Let h = 6 + -2. Suppose -h*l = l - 10. Suppose -l*p - 20 = -318. Is p a composite number?
False
Suppose 0*v = -v + 508. Suppose v + 647 = 5*z. Is z/12 - 1/4 prime?
True
Suppose -721 = v - 8047. Is (v/27)/(4/6) prime?
False
Suppose -4*p + 15 = p, -5*s + 1225 = -5*p. Suppose 73 = -5*f + s. 