. Is b a composite number?
True
Let s(c) = -6*c**3 - 2*c**2 + 4*c - 1. Let u be 5*9/(-12) + 3/4. Is s(u) prime?
True
Suppose -4*q - q + 4*r = 51, -2*q - r = 10. Is -626*4/q - (-2)/7 composite?
True
Suppose 5 = 5*m, -4*p + 9*p - 92911 = 4*m. Is p composite?
False
Suppose 0 = -3*q + 4*s - 18, 3*q + 30 = -2*q - s. Let m be q/7*14/(-4). Suppose m*x - 427 = -5*k + 1068, -4*k = -4*x + 2036. Is x a composite number?
True
Let f(y) = 104*y**2 + 34*y + 251. Is f(30) a prime number?
False
Let q(o) = 3*o - 1. Let n be q(2). Let m(z) = -z**3 + 4*z**2 - z + 4. Let u be m(4). Suppose -9 = 3*s - n*a - 230, u = 5*s - a - 339. Is s a prime number?
True
Suppose b = -3*b + 2048. Suppose 5*g = 4*k - b, 0 = -3*k - 3*g - g + 415. Is k a composite number?
True
Suppose 2*t + 6*b - 2798 = 4*b, 4*b - 2798 = -2*t. Is t a prime number?
True
Suppose -5*j + 36190 = s - 302235, 0 = -5*j - 2*s + 338425. Is j prime?
False
Let l(v) = 103*v**2 + 5*v + 3. Is l(5) composite?
True
Let f = 93546 + -44123. Is f composite?
True
Suppose -9852 - 12279 = -9*c. Is c a composite number?
False
Let u(t) = 83*t**3 - 11*t**2 + 9*t + 7. Let b(r) = 41*r**3 - 5*r**2 + 4*r + 3. Let d(z) = 7*b(z) - 3*u(z). Is d(1) a prime number?
True
Let o(w) = -2*w**2 + 4*w + 26 - 26. Let a be o(2). Let r(i) = -i**3 - i**2 + i + 127. Is r(a) prime?
True
Let i = 89 + -104. Let g(s) = -s**2 - 29*s + 5. Is g(i) prime?
False
Let j = -9685 + 23436. Is j prime?
True
Let o(n) = -n**3 + 13*n**2 + 3. Let v be o(13). Suppose -3*q + 7*q = v*f - 437, 0 = -4*f + 4*q + 580. Is f composite?
True
Let d be (0/3)/(-1) + 2. Let h(a) = 9*a**2 - 8*a + 23. Let t be h(6). Suppose -z - 744 = -3*x - d*x, 2*x + z = t. Is x composite?
False
Let b be (-28)/(-5) + 4/10. Is (1814/b)/(2/(-30)*-5) a prime number?
True
Suppose 5*v = 6*v. Suppose o - 3*m - 2970 = -v*o, 11828 = 4*o + m. Suppose o = 6*z - 0*z. Is z a composite number?
True
Let z(w) = 2*w**2 - 23*w - 13. Let m be z(-17). Is m*((-5)/4 - (3 + -6)) a prime number?
False
Let p(y) = 2*y**3 + 14*y**2 - 2*y - 17. Let d be p(-7). Is ((-239)/2)/(d - 15/(-6)) composite?
False
Let h = 253 + 6. Suppose 6*w + h = 2161. Is w prime?
True
Let p(u) = 3*u**3 - 2*u**2 - 10*u - 1. Let b be p(8). Let a = b + 2464. Is a a composite number?
True
Let m(i) = -6*i**3 - 18*i**2 + 15*i + 2. Let y be m(15). Is y/(-38)*(3 + -1) composite?
True
Suppose -20*o = -38*o + 559134. Is o a composite number?
False
Let f(p) = -p**3 - 13*p**2 + 14*p + 2. Let g be f(-14). Let a(b) = -6 + 10*b**g + 3 + 1 - 7 + 3*b. Is a(4) prime?
True
Suppose 3*o - 2*o - 2*d = 15391, 0 = 3*d - 6. Is o a composite number?
True
Let c(z) = 122*z**2 + 6*z - 6. Is c(1) composite?
True
Let c(u) = -2*u - 7. Let p be c(-6). Suppose p*m - 2380 = 2515. Is m a composite number?
True
Suppose -13*f - 3218 = -14619. Is f prime?
True
Let m = 27 + -29. Is (1/(m/(-1346)))/1 composite?
False
Is (8/16)/((-189532)/47384 + 4) composite?
False
Let h(t) = 82*t + 98. Let i be h(6). Let c(q) = -22*q**2 - q + 3. Let w be c(4). Let s = i + w. Is s prime?
False
Let t(k) = 13*k**2 + 18*k + 3. Let f be t(16). Is 0 + (-6)/(-4) - f/(-2) a prime number?
True
Let a = -16724 - -25987. Is a prime?
False
Suppose -3 = 4*r - 11. Let n(w) = -7*w**r - 17*w + 1 + 12*w - 4*w**3 + 0 + w**2. Is n(-4) a composite number?
False
Let i = -35 - -17. Let z be (10/6)/((-6)/i). Suppose -624 - 661 = -z*q. Is q a prime number?
True
Is 3*(101780/42 - (1 - -4)) prime?
False
Let w = -2517 + 6808. Is w a composite number?
True
Suppose 0 = -2*u - 28. Let z be (10521/u)/((-3)/4). Let q = z + -263. Is q a prime number?
True
Let m(w) = -33*w**3 + 11*w**2 - 4*w - 6. Is m(-5) composite?
True
Suppose -44422 = -15*w + 12608. Is w a composite number?
True
Suppose 5 - 15 = -5*x. Suppose 3*r + 2*p - 3761 = 6*p, -2*p - 2508 = -x*r. Suppose -r = 7*z - 12*z. Is z a composite number?
False
Suppose 9 - 15 = -n. Suppose -4*i - n - 44 = 2*k, 3*k - 2 = i. Let q = -4 - i. Is q prime?
True
Let a(f) = 11*f**2 - 15*f + 65. Let r be a(5). Let v = 9 - 4. Suppose -3*k + r = -m, -4*m + 419 = -0*k + v*k. Is k composite?
True
Let r(j) = j**2 - 6*j + 12. Let l be r(5). Let n be 16/l - (-16)/(-56). Let h(d) = 17*d**3 - 2*d**2 - 2*d + 3. Is h(n) a composite number?
False
Suppose -4*u = -0*u - 848. Let h be 1/(2/4) - 4. Is 3*h*u/(-12) a composite number?
True
Suppose 0 = -2*s + 7*s - 3715. Is s a composite number?
False
Suppose r = -2*c + 20, 2*c = -2*r + 4 + 14. Let b = 19 - c. Let u(k) = 12*k**2 + 8*k + 3. Is u(b) prime?
False
Suppose 3*z - 663 = 4*g, -5*g - 3*z - 785 = 2*z. Let w = g - -419. Is w prime?
True
Let t be (-13)/143 - 68/(-22). Let o(z) = z**2 + 6*z + 2. Let k be o(-6). Suppose 0 = -t*m + 12, -2*u + k*m + 655 = u. Is u composite?
True
Let u = 494 + 83. Is u composite?
False
Suppose 0 = -f - q + 70, 0*f - 55 = -f - 4*q. Let m(r) = 23*r**2 - 2*r + 1. Let o be m(1). Suppose o = -n + f. Is n composite?
False
Let l(h) be the third derivative of 47*h**5/60 + h**4/6 + h**3/2 - 11*h**2. Is l(-1) composite?
True
Let z = 317 - 569. Let m = 463 + z. Suppose j - 4*h = -0*j + 211, -3*h + m = j. Is j prime?
True
Suppose 12*g = 238224 - 69612. Is g prime?
True
Suppose -2*p = -4*l + 4846, 0*l - 2*p - 1213 = -l. Is l a composite number?
True
Suppose 5*a - 12*a = -1120. Let y = 227 - a. Is y composite?
False
Let t(i) = -77*i - 24. Let u(q) = -3*q - 1. Let y be u(-2). Let a(g) = -77*g - 23. Let n(k) = y*a(k) - 4*t(k). Is n(-10) composite?
False
Suppose -9 = -2*x - 1, -5*s = 5*x + 5825. Let a = -492 - s. Is a a prime number?
True
Let n be ((-30)/25)/((-8)/60). Let f = 13 - n. Suppose -3*l - u + 217 = 0, -5*u + 59 = f*l - 212. Is l prime?
False
Let s be (-9)/21 + (-15)/(-35). Suppose 2 - 4 = -2*a. Is a + 331 + s + -1 a prime number?
True
Is (1649/34)/(4/1096) a prime number?
False
Let a(w) = -w + 2. Let d(j) = 3*j - 3. Let n be d(3). Let k be a(n). Is (-171)/k - 4/(-16) prime?
True
Suppose 36*n - 40*n = 4*u - 40240, -n + 10066 = -5*u. Is n composite?
False
Suppose -4*y + 521 + 1343 = 0. Suppose -c + 3*q + y = 2*q, -5*q - 462 = -c. Is c prime?
True
Suppose -4*j - 978 = -2706. Let s = j + -241. Is s a prime number?
True
Let p(k) = -1 - 16 + 4 - 99*k - 7. Is p(-9) a prime number?
False
Suppose -8 - 9 = -4*c + 5*s, -2*s = -c + 5. Suppose -2*b = 2*p - 6, -6 = 2*b - c*b - 2*p. Suppose i + i - 218 = b. Is i prime?
True
Suppose 56271 + 77072 = 43*s. Is s composite?
True
Let v(a) = -a**2 + 2*a - 9. Let k be v(-7). Let y be k/(-32) + (-2)/8. Is y/(-9) - (-2529)/81 prime?
True
Let g be 51*-37 - (-62 - -56). Let s(h) = 7*h**3 + 2*h**2 - 2*h + 1. Let m be s(1). Is g/(-44) + 2/m prime?
True
Let y = 7470 - 3512. Suppose 17*v - 19*v + y = 0. Is v a composite number?
False
Suppose 18 = -4*j + 7*j. Let b be 0/(j/(-2)) + 4. Suppose b*i + 67 + 87 = 5*g, -3*g + 106 = i. Is g composite?
True
Suppose 2359 = 276*o - 269*o. Is o a composite number?
False
Let f(k) = -k**2 + 12*k - 30. Let b be f(7). Suppose -4*d + 3938 = -5*n + 2*n, -2*d + b*n = -1976. Is d prime?
True
Suppose 0 = -h - 9076 + 38459. Is h a prime number?
True
Let d be (-3)/15 - 48/(-15). Let l be 2 - (d/(-3) - 0). Is 4/l*171/6 a composite number?
True
Let g(n) = 684*n + 395. Is g(13) prime?
False
Let r be (-10)/3 + 6/18. Let p be (-2)/(-8) - r/(-12). Suppose p = 4*w + 3*b - 200, w = -0*w - 3*b + 41. Is w a composite number?
False
Is 249718/18 + (3 - (-29)/(-9)) a composite number?
False
Let w(t) = 9*t**2 + 1. Let x be w(-1). Suppose 6610 = 2*n + 5*r - 2842, -x = -5*r. Is n a prime number?
True
Let m be 2/3 - 434/21. Is (57 - m/5) + -2 a prime number?
True
Suppose -4*k + 5435 = -3377. Is k composite?
False
Suppose 5*p - 1263 = 3487. Let n = p - 481. Is n a prime number?
False
Let c(a) = -101*a - 22. Let o be c(-12). Suppose -5*q + o = 5*q. Is q prime?
False
Let l be ((-26)/8)/(4/(-336)). Suppose l = -2*t - t. Let p = 120 - t. Is p a composite number?
False
Suppose 2*h - r = 15322, 3*h + r = -4241 + 27234. Is h a prime number?
False
Suppose 2*c = -5*g + 20, 4*g = g - 2*c + 16. Suppose -o + 954 = t, g*t - 4*o - 4743 = -3*t. Is t a composite number?
True
Suppose p + 43 = 934. Suppose 717 = 4*w - 3*o, 2*w + 3*w - 2*o - p = 0. Is w composite?
True
Let x(o) = 1424*o**3 - o**2 + 9*o - 9. Is x(1) a composite number?
False
Let j = 15 - 10. Let r(t) = -t**2 + 5*t + 4. Let o be r(j). Suppose -3*g - o*p + 