Suppose -5*s + 13 = -2. Suppose f - s*f = -5*y + 1, -3*y - 7 = -5*f. Suppose 415 = 3*c + f*c. Is c prime?
True
Suppose v - 1443 = -2*v. Is v composite?
True
Let v(y) = -y**2 + 5*y + 2. Let x be v(5). Suppose -x*w - 104 = -1028. Let d = w - 271. Is d a prime number?
True
Suppose 5*j + 11 = -2*d, 4 = 5*j + d + 12. Let k = 56 - j. Is k a composite number?
True
Let h be 2 + ((-12)/1)/2. Is ((-233)/h)/(9/36) a prime number?
True
Let a(n) = 40*n**2 - 2*n + 7. Is a(-3) a prime number?
True
Suppose -140 = 3*t + 94. Let w = 136 + t. Is w prime?
False
Suppose 1279 = 7*s - 1388. Is s a composite number?
True
Let d be (26/(-6))/(2/6). Let z = 17 + d. Is z composite?
True
Is 156 + (-4 - -3)*-3 prime?
False
Suppose 2*s = -s - 5*u + 2, -3*u + 18 = -s. Suppose -5*v - 20 - 46 = n, -2*n - 54 = 4*v. Let m = s - v. Is m a prime number?
True
Is 223 + 0*(-2)/6 a prime number?
True
Suppose 2*n - 5 + 1 = 0. Is n/(-4*(-2)/508) a composite number?
False
Suppose 7*i = 3*w + 3*i - 2057, i + 5 = 0. Is w a prime number?
False
Let y = 8 - -36. Suppose 3*s = -s + y. Is s a prime number?
True
Let a(k) = 2*k + 49. Is a(0) a composite number?
True
Suppose -6*q + 2*q = -3300. Suppose 5*l - 3*r - q = 0, -r = -2*l - 0*r + 330. Suppose -a = -6*a + l. Is a a prime number?
False
Let l(o) = -193*o - 88. Is l(-18) a composite number?
True
Suppose -4*h + h = -15. Suppose -h*u + 181 = -a, a + 144 = 4*u - 0*a. Is u prime?
True
Let n be (-20)/(-4)*(3 - 2). Suppose 102 + 163 = n*l. Is l a prime number?
True
Is 4588/16 - 2/(-8) a composite number?
True
Let t(y) = -y**2 + 5. Let p be t(0). Suppose 0 = n + p*o - 7 - 25, 3*n + 3*o = 36. Let s(f) = f**3 - 6*f**2 - f - 9. Is s(n) prime?
False
Let v(d) = -1030*d - 41. Is v(-3) prime?
True
Let c(d) = 12*d**3 + 2*d**2 + d. Let a be c(-2). Let t = a + 203. Is t a composite number?
False
Let h(a) = a**3 - 5*a**2 + 2*a + 1. Let t be h(3). Let f(z) = 7 - 4*z - 6*z**2 - 23 - 5*z**2 - z**3 - 5*z. Is f(t) a composite number?
False
Let g(b) = -b**2 + 5*b + 5. Let j be g(6). Let s = 1 + j. Suppose s = -3*d + 6, 4*f - 9*f + 71 = -2*d. Is f composite?
True
Let h(p) = 3*p**2 - 4*p + 2. Let s be h(2). Let l = -4 + 9. Suppose -q + l*u = 3, s*q + 4*u - 43 = q. Is q a prime number?
True
Suppose 4*a + 74 = -2*m + 944, m + 3*a = 437. Is m prime?
True
Let b be (-2 + 1)*68/(-2). Suppose 86 + 9 = 5*d. Let c = b - d. Is c prime?
False
Let y = 5 + -3. Suppose y*j = -4*z + 84, -5*z + 4*j = -2*z - 41. Is z composite?
False
Suppose -5*k + 5*x + 2550 = 0, -2*k + 0*x + 1025 = 3*x. Is k a prime number?
False
Suppose 0 = i + 4*i - 10. Suppose 0 = -i*h - r - 88 + 305, -h = -3*r - 91. Is h composite?
True
Is 1 - ((-9)/(-12))/(4/(-5216)) composite?
True
Let q(f) = -f**2 + 6*f + 5. Let p = 14 + -7. Let d be q(p). Is 33/(-6)*d/1 prime?
True
Let u(n) = 3 - 3 - 6*n - 4. Is u(-3) composite?
True
Suppose 0 = -3*v + 3, -3*d - 7*v + 13 = -3*v. Suppose -332 = -5*x - 3*y, -d*y + 131 = 2*x - 0*y. Is x a composite number?
False
Let v(c) = c - 8. Let a be v(10). Let t be (5/(-10))/(a/24). Is (14/t)/(1/(-123)) prime?
False
Suppose -8*h - h + 4311 = 0. Is h prime?
True
Suppose 4*p - 860 = -2*t, -3*t + 1077 = 2*p + 3*p. Is p prime?
False
Suppose -17*t - 44 = -21*t. Is t composite?
False
Let g(l) = 22*l**2 + 5. Is g(2) a composite number?
True
Suppose 4*d = 4*j - 120 - 272, 2*d + 181 = 5*j. Let t = -68 - d. Is t a composite number?
True
Suppose y = 5*j - 15, -y - 1 = -3*j - 2*y. Let x(w) = 35*w**2 + 4*w - 3. Is x(j) composite?
True
Suppose -84 = -0*z - 3*z. Suppose -i - z = -251. Is i a composite number?
False
Let w = 524 + -333. Is w composite?
False
Let g(n) = -n**2 - 3*n - 2. Let u be g(-4). Is (1 + 67)*(-3)/u a prime number?
False
Suppose -8*d + 11*d - 132 = 0. Suppose s - 171 + d = 0. Is s composite?
False
Let j = -215 + 466. Is j a prime number?
True
Let j(s) = -4*s - 1. Let a be j(-2). Let o(i) = i**3 - 7*i**2 + 8*i - 3. Let p be o(a). Is (-2 - (-3 + 0))*p composite?
False
Is (-5)/(2 - (-1915)/(-955)) composite?
True
Let q(t) = t**3 + 6*t**2 + 6*t + 7. Let d be q(-5). Suppose d*b = 71 + 155. Is b prime?
True
Let h = 2 + 3. Suppose 11 + 9 = -4*m, h*r + 3*m + 85 = 0. Is (-746)/r - (-2)/(-7) a prime number?
True
Let v be (-5 + -17)*(-1)/(-2). Let s = -4 - v. Is s composite?
False
Suppose -4341 = -4*j + 2079. Let w be j/(-20)*8/(-3). Let f = 347 - w. Is f prime?
False
Suppose 2*i = 5*i. Suppose i = -2*a + w + 33, 0 = -5*a + w + w + 85. Is a a prime number?
True
Let b(x) = -34*x**3 + x + 1. Let d be 3/(13/(-8) + 2). Let a = 7 - d. Is b(a) prime?
False
Suppose 0*w = 4*w - 356. Is w a composite number?
False
Let g = 6 + -1. Let x(w) = -12*w. Let p be x(-2). Suppose -g*k + p = -k. Is k a prime number?
False
Let d(m) = -m - 3. Let s be d(-5). Suppose s*g + 0 = 8. Suppose g*r + 4*y + y - 153 = 0, -4*y + 189 = 5*r. Is r a composite number?
False
Let u = -3 + 8. Suppose 565 = 5*q - u*m, -3*q - m = -q - 211. Let n = q + 5. Is n a prime number?
True
Suppose 3 = -2*f - a + 13, 4*a = -f + 12. Suppose -l + 2*l - 2*x = -f, -2*x = -6. Suppose p - 5*m = -2*p + 28, -l*p + 17 = -5*m. Is p prime?
True
Suppose 5*y = -10 - 5, -3*a + 4*y = -96. Suppose -3*b - 2*d - a = 0, 3*b = 2*d - 6 - 2. Let m(q) = -12*q - 5. Is m(b) prime?
True
Let k = 30 + -26. Is k prime?
False
Let l(h) be the third derivative of 2*h**4/3 - h**3/6 + 8*h**2. Is l(5) a composite number?
False
Let j = 32 + -10. Is j a composite number?
True
Let c(m) = 14*m**2 + 3*m. Is c(5) prime?
False
Let y(i) = -i**3 + 3*i**2 - 1. Let b be y(2). Suppose -b*m + 13 = -116. Is m a prime number?
True
Let a be (5/2)/(3/6). Let y(b) = 2*b**2 - 4*b - 7. Is y(a) composite?
False
Suppose 1653 = -32*o + 35*o. Is o a prime number?
False
Let l = 4942 - 2469. Is l a prime number?
True
Let l(o) = -94*o**3 + o**2 + o + 1. Let s be l(-1). Let y = -10 + s. Is y composite?
True
Suppose a - 34 = 3. Is a prime?
True
Suppose 1 = -m + 3, -34 = -4*k + 5*m. Suppose -20 = 4*t, -4*q - k = -t - 40. Suppose 4*c - c = q. Is c prime?
True
Let p = 11 + -9. Is ((-339)/(-6))/(1/p) prime?
True
Suppose -4*p = -215 - 1841. Is p a composite number?
True
Suppose -q + 121 = -2*s, 13 = 3*s - 2. Is q prime?
True
Suppose -2274 = -6*j - 0. Is j prime?
True
Let j(i) be the second derivative of -i**5 - i**4/12 + 3*i. Suppose -25 = 5*x + 5*r, -2*x + 8 = 2*x - 3*r. Is j(x) a prime number?
True
Suppose 5*k = 3*o - 19 - 817, -312 = -o - 5*k. Is o prime?
False
Suppose 5*u - 26 - 4 = 0. Is u composite?
True
Let w = -13 - 11. Let p = 103 - w. Is p a composite number?
False
Let u = -4 + 9. Suppose -2*g = -6*g - k + 61, 0 = u*g - 5*k - 70. Is g prime?
False
Is (11/22)/(2/1868) a composite number?
False
Let i(v) = -v + 2*v**2 + 0*v**2 + 5*v**2 + 1. Is i(-3) composite?
False
Let f = 5 + -1. Suppose -f*l - 5 = -8*l - r, l = -5*r - 13. Suppose l*g - 62 = -h + 51, -g = 4*h - 445. Is h a composite number?
True
Let i = 1620 + -947. Is i a prime number?
True
Let r be (6/8)/((-2)/(-8)). Suppose 95 = 2*n + r*n. Is n a prime number?
True
Let l = -1 + 4. Suppose -s - l = -6. Suppose 5*h - 121 = 4*v, s*h + 2*h = 3*v + 122. Is h prime?
False
Suppose 2*j - j - 1337 = -3*v, -v = 5*j - 6657. Is 2/(-3) + j/3 prime?
True
Let t(n) = -24*n - 13. Is t(-11) prime?
True
Suppose 51 + 98 = j. Is j prime?
True
Let q be 0 + 3 + (1 - 0). Suppose 4*n - 4*c = -q, 5*n + 0*c + 3*c - 19 = 0. Suppose n*m - 35 = 71. Is m prime?
True
Let i = -3 + 5. Let a(f) = f - 2. Let z be a(5). Suppose -s = 4*s - i*t - 161, -3*s + 102 = -z*t. Is s composite?
False
Let d(t) = 8*t**2 - 8*t - 3. Is d(5) composite?
False
Let c = 1482 - 475. Is c a prime number?
False
Suppose 5*d - 3*t = -2344 + 9740, 0 = -2*d - t + 2965. Is d a prime number?
True
Suppose -555 = -5*m + 160. Is m a prime number?
False
Let l = -955 - -2802. Is l prime?
True
Suppose 3*q = 3, r + 2*q = q + 6. Suppose r*t + 4*a = 483, -3*t + 4*t - 97 = -a. Is t a prime number?
False
Let g = -2 + 3. Let n be (-2 + (-2 - -4))/g. Suppose 5*c + 4*j - 249 = n, 3*c = 4*j + 31 + 144. Is c prime?
True
Let r(k) = 2*k**3 - 7*k**2 - 6*k + 10. Let h(g) = -4*g**3 + 15*g**2 + 11*g - 20. Let x(v) = -3*h(v) - 5*r(v). Is x(9) a composite number?
False
Suppose -3*r + 2711 = 5*p, 4*r + 1619 = 3*p + 2*r. Is p prime?
True
Let m be 4/10 + 2/(-5). Suppose -4*o + 79 + 877 = m. Is o a prime number?
True
Suppose -z = -4*h - 34