y(x). Is r(8) composite?
True
Let z = -13 + 1374. Is z prime?
True
Let d = -101 + 190. Let f = d - -204. Is f composite?
False
Let a(l) = -3*l**3 - 2*l**2 - l - 2. Let h be a(-4). Suppose -2*t - 5*x + h = 0, -t - t + 5*x = -122. Is t a prime number?
True
Suppose -2761 - 92 = -9*u. Is u prime?
True
Let d = 11743 + -5238. Is d prime?
False
Let x(n) = 32*n**2 + 4*n - 1. Let p be x(3). Let i = p + -88. Is i composite?
False
Let u(t) = -t**2 - 8*t - 3. Let z be u(-3). Suppose 2*l + 94 = -z. Let y = -34 - l. Is y a prime number?
True
Suppose -4*j - b + 5 = 2*b, -j + 5*b + 30 = 0. Suppose j*p + 385 = 5*q, -5*p + 2 = -8. Is q a composite number?
False
Suppose 0 = 4*a - 9 - 3. Suppose a*d = 156 + 186. Suppose 5*s - 20 = 0, 2*g - 2*s + 44 = d. Is g a prime number?
False
Let r(h) = h**2 - h + 37. Is r(15) prime?
False
Let a = -4 - -7. Suppose -a*t + t + 106 = 0. Is t a composite number?
False
Suppose -155 + 57 = -2*s - 2*r, -5*r = -3*s + 139. Let a = s - 26. Is a a prime number?
False
Suppose -z - 1067 = -5*l, -629 = -5*l - 3*z + 430. Is l a prime number?
False
Is -971*((-2 - 1) + 2) a composite number?
False
Let i = 55 + -22. Let c = 48 - i. Is c composite?
True
Suppose -4929 = -5*g - 1144. Is g prime?
True
Let g = 9 + -4. Suppose -191 = -g*p - 2*d, -4*d + d + 150 = 4*p. Is p a composite number?
True
Suppose 5*t + 1775 = 10*t. Is t a composite number?
True
Is (5/10)/((-1)/(-814)) a composite number?
True
Let k = 567 + -188. Is k a composite number?
False
Let p = -1 - -6. Suppose -4 = 3*j - p*j. Suppose -j*k - 6 + 122 = 5*o, -o - 210 = -4*k. Is k a composite number?
False
Let x(t) = -t**2 + t - 501. Let o be x(0). Let u = o + 838. Is u a prime number?
True
Suppose -3*x + 5 = -1. Suppose -3 = -2*c + r, 0 = x*c + 3*c - 3*r - 9. Suppose 0 = -a - p + 32, 0 = -3*a - 4*p - c*p + 97. Is a a prime number?
True
Is (-1494)/(-4) - (-4)/(-8) prime?
True
Let q be 1/(-6) + (-125)/(-30). Is (-372)/(-8)*q/6 a composite number?
False
Let x(s) = -74*s + 7. Is x(-9) a prime number?
True
Let f be (-5)/(5/(-108)) - -2. Let s be (-8)/10 - 2/10. Is f/8*(-4)/s composite?
True
Let v be (-96)/(-15) + (-6)/15. Is 1/v + 295/30 a composite number?
True
Let d(l) = -l**3 + 9*l**2 + 2*l - 5. Suppose 0*x + 24 = 4*x. Is d(x) a composite number?
True
Let w(r) = 56*r**3 - 2*r + 1. Is w(1) a composite number?
True
Suppose -4*w + 3 = -5*w. Let z be 2/8 + w/12. Suppose z*r = -3*r + 111. Is r prime?
True
Suppose g + 0*g = -1. Let q be g/(-3) - 11/(-3). Suppose -48 = -2*a - w, -q*w + 58 = 2*a + 4. Is a a prime number?
True
Suppose -44 = 5*l + 26. Let q be (24/l)/((-4)/28). Suppose 4*u - q = 4. Is u a composite number?
True
Suppose -3*w + 13 = 2*b - 0*b, -b = -4*w + 10. Suppose 2*p - 209 = -x, -2*p = w*x - 0*p - 611. Is (x/(-6))/((-2)/4) a composite number?
False
Let b be 1/3 + (-395)/(-3). Suppose 27 = 3*g - b. Is g composite?
False
Is -599*1*(-3)/3 prime?
True
Let b = -137 + 286. Is b a composite number?
False
Let t(n) = n**3 + 6*n**2 - 2*n + 3. Let j be t(-5). Suppose 14 - j = -4*i. Suppose 3*o = i*o - 5*a - 206, 5*o = 5*a + 360. Is o a composite number?
True
Let o = -1 - -6. Suppose d - 54 = 3*z + 35, -4*d + o*z = -321. Is d a composite number?
True
Let m = -4 + 5. Is (381 + m)/(3 - 1) prime?
True
Suppose 0 = -6*l - 1384 + 6502. Is l prime?
True
Let c = 728 - 505. Is c a prime number?
True
Let n(s) = -s**2 + 5*s - 3. Let a be n(3). Suppose 2*y + 6 = 0, 0 = 3*b + y - a*y - 183. Is b composite?
False
Let g(n) = n**3 + n**2 + 1. Suppose 5*x = -2 - 3. Let i(z) = 4*z**2 - 5*z - 2. Let a(w) = x*i(w) + g(w). Is a(6) composite?
True
Suppose t + 12 = 4*w, 0*t = 3*t. Suppose 2*v + w*z = -z + 226, 4*v - 491 = 5*z. Is v composite?
True
Suppose 3*k - 12 = -k. Suppose 0 = k*p + 2*z - 107 - 67, -p - z = -58. Is p prime?
False
Let c = 6 + 0. Suppose 2*n = -0*n + c. Is n prime?
True
Suppose -7*g + 5 = -2*g. Let y = g - 2. Is (y/2)/(1/(-178)) a prime number?
True
Suppose 5*d - 1499 - 1616 = 0. Is d prime?
False
Is 12/9 - 3/(-18)*9358 prime?
False
Suppose -3 = -2*m + 7. Suppose -5*y = -5*f + 155, -7 - 44 = -f + m*y. Is f composite?
True
Suppose a + 1 - 2 = 0. Is 11/(a - 48/51) prime?
False
Suppose -c + 2381 = 3*i + c, 3*c + 2406 = 3*i. Is i a composite number?
False
Suppose 4*u + 236 = 4*o, 5*o - u - 236 = o. Is o a composite number?
False
Let g = -107 + 181. Suppose d + d = g. Is d a composite number?
False
Let d = 229 + -120. Let j = d + -20. Is j prime?
True
Suppose 0 = -2*w - 0*w + 5*k - 5, 0 = -2*w - 4*k + 22. Suppose -4*u = w*i - 634, -3*u - u = -3*i - 650. Is u a prime number?
False
Let m(q) = 2*q + 3758. Let s be m(0). Let t = s + -2361. Is t a composite number?
True
Let v be 1/(-1 - (-6)/5). Suppose 0 = v*t + 5*g - 10, 0 = -4*t - g - g + 8. Suppose 2*f = -t*f + 652. Is f prime?
True
Suppose -8*m + 3*m = -20. Suppose -m*l - 1435 = -5*z - 9*l, z + 2*l = 287. Is z composite?
True
Let n(l) = 5*l**2 + 9*l + 12. Is n(-10) prime?
False
Let g(j) be the first derivative of 0*j + 2 + 7/2*j**2 + 5/3*j**3 - 1/4*j**4. Is g(5) a composite number?
True
Let f(t) = t**3 - 5*t**2 + 4*t + 5. Let o be f(6). Suppose -3*u = -94 - o. Is u a prime number?
True
Suppose 458 = d - 2*v - 135, 3*v = -d + 583. Is d a prime number?
False
Suppose 3*u - 411 = -0*u - 3*j, 0 = 5*u + 3*j - 683. Let w = u - 213. Let o = w - -130. Is o composite?
False
Let v = 1 + 1. Suppose -4*x = -342 + v. Is x a prime number?
False
Is 8/28 + 35244/28 a composite number?
False
Let v(i) = -7*i - 2. Let m(f) = -f. Let c(y) = 6*m(y) - 2*v(y). Let u be c(-7). Let k = u + 107. Is k prime?
False
Let k(v) = v + 3. Let o be k(8). Suppose o - 169 = -2*u. Is u prime?
True
Suppose -4*v + 3607 = 899. Is v a composite number?
False
Let o be (205/10)/((-1)/(-36)). Suppose -5*p + 1783 = -4*h, 5*p + 3*h = 1031 + o. Is p a prime number?
False
Is (-21)/6*40/(-14) prime?
False
Let k(i) = i + 3. Let n be k(0). Suppose -n*w - 1 - 8 = 0. Let a(x) = -85*x + 4. Is a(w) prime?
False
Suppose 0 = -k + m - 7, 4*k + m = -m - 4. Let g(w) = -w. Let j be g(k). Suppose 12 = -j*q, -h + 45 = -q - q. Is h composite?
False
Let w = 15 + -11. Suppose 25 = n + w*n. Suppose -n = -a + 17. Is a a prime number?
False
Let h(n) = n**2 + 2*n - 1. Let v be h(-3). Suppose -v*r + 291 = r. Is r composite?
False
Suppose 0 = -2*i - i + 15. Let y(l) = -l**3 + 8*l**2 - 3*l - 7. Is y(i) prime?
True
Let t = -5 - -6. Let n(b) = b**3 - 2*b**2 + 1. Let y be n(t). Suppose y = 2*d + d - 6. Is d a composite number?
False
Let x(v) = 3*v. Let q(o) = -5*o + 1. Let k(f) = -4*q(f) - 7*x(f). Let r be k(-4). Is (-4 - -138)/(r - -2) prime?
True
Let g = 228 - 105. Let z = 197 - g. Let q = z + -25. Is q a prime number?
False
Suppose 5*h + 529 = 4*p, -587 = -5*p + 4*h + 72. Is p a prime number?
True
Let r(i) = i - 4. Let j be r(4). Suppose k + 3*k - 4*b = 76, j = -2*k + 4*b + 38. Is k a prime number?
True
Let u(f) = -2*f + 4 - 4 - 18*f**2 + 2 + 2. Let w be u(3). Let y = w - -469. Is y prime?
False
Let q = 133 + -220. Let v = 100 - q. Is v composite?
True
Suppose 2*r - 4*r = -w + 15, -2*r - 99 = -5*w. Suppose -205 = -2*z + w. Is z composite?
False
Let c = -470 - -757. Is c a prime number?
False
Let q = -2 - -136. Is q composite?
True
Suppose 75 = k - 2. Is k a prime number?
False
Let s(h) = -2*h**3 - h**2 + 3*h + 1. Is s(-5) prime?
True
Let u = -1704 + 3347. Is u a prime number?
False
Let v(g) = g**2 - 7*g + 3. Let r be v(7). Suppose -j + 9 + 3 = k, -3*k - 30 = -r*j. Is j a composite number?
False
Let m(t) = -60*t**3 + t**2 - t - 1. Is m(-2) prime?
False
Let g = -6 - -10. Suppose 5*a - 2*b - 16 = 0, -b + g = 2. Suppose 2*c + a*i = 54, 0 = 5*c + i + 4*i - 160. Is c a composite number?
False
Let q(l) = 18*l**3 + 2*l + 1. Let s(n) = -n + 2. Let i = -5 - -5. Let w be s(i). Is q(w) a prime number?
True
Suppose 0 = -0*y + 3*y - 15. Let i = -7 + y. Is (80/1 - i) + 3 a composite number?
True
Let v(h) = 3*h - 4*h**2 + 6*h**2 + 8 - 7 - 13. Is v(5) prime?
True
Let f be (-4)/(-22) - (-13192)/44. Suppose 135 + f = 3*o. Suppose 3*j = -43 + o. Is j a prime number?
False
Let n = 1 - 6. Suppose -3*l - 5 = 4*p + 6, -4*p + 4*l - 4 = 0. Is 114/10 - p/n composite?
False
Suppose 8 + 32 = -5*r. Suppose 0*q + 6 = -q. Let t = q - r. Is t a composite number?
False
Let q(f) = 70*f**3 - f**2 - 4 + 3 + 0*f**2 - 2*f. Let g be q(-1). Let m = g - -101. 