) prime?
True
Suppose 2*m - 1 = -3*q - 2, 0 = -3*q + 4*m + 29. Suppose -3*t + d = -14, -8*t + 30 = -q*t - 5*d. Suppose -t*s - z = 4*z - 576, -3*s = -3*z - 459. Is s prime?
True
Let d(w) = -2*w**3 + 158*w**2 - 229*w - 24. Is d(77) a prime number?
False
Suppose 324*z + 659321 = 337*z. Is z composite?
True
Suppose -2*n + 12 = n. Suppose 25 - 9 = n*t. Suppose -t*s - 5*q = -1287 - 51, -4*s - q = -1346. Is s a composite number?
False
Suppose -8*v = -56933 + 4989. Is v a prime number?
False
Let k = -16 + 20. Suppose 76 = u - 2*v - 133, 0 = -5*u - k*v + 1017. Is u a composite number?
True
Let f = 30 - 35. Let q(c) = 6*c**2 + 8*c + 8. Is q(f) a prime number?
False
Let a(k) = 16*k - k + 5*k + 3*k. Is a(3) composite?
True
Suppose 0 = -5*t + b - 6*b, 0 = b. Suppose 3*i - 572 - 3511 = t. Is i composite?
False
Let v(k) = -k + 6. Let t be v(6). Suppose -2*o + o + 10 = t. Is (221/2)/(5/o) composite?
True
Let c(i) = -i**3 + 13*i**2 - 3*i + 24. Let m be c(12). Let s = m - 106. Is s a composite number?
True
Suppose 0 = 4*b - 17 + 9. Suppose 4*k = -4*c - 225 + 4201, -979 = -c + b*k. Is c a composite number?
True
Is -2 - (-4 - 1 - (1353 + 7)) a prime number?
False
Let y(i) = -2*i**3 - 9*i**2 + 5*i + 5. Let d = -13 - -9. Let k = -11 - d. Is y(k) composite?
True
Let y be ((-2)/6)/(3/(-45)). Let d be ((-10)/(-15))/(6/45). Suppose -545 = -y*l - 5*n, -2*l + d*n = -3*l + 93. Is l prime?
True
Suppose s = 2*u - 7*u + 3, 4*u = 2*s + 8. Let r = -5 - u. Is (478*(-3)/r)/1 a composite number?
False
Suppose 10*g - 4*g = 0. Suppose -5*l + 2019 + 1966 = g. Is l composite?
False
Let m(j) = 5*j**2 + 23*j - 605. Is m(61) a prime number?
True
Let s(t) = -2 - 5 + 2 + 7 + 117*t. Is s(1) a composite number?
True
Let d be (-13 - -14)/((-1)/9). Let t = d - -143. Let j = -79 + t. Is j prime?
False
Let l = -88 + -26. Let q(h) = 194*h + 6. Let p be q(-1). Let i = l - p. Is i a prime number?
False
Suppose 6*n + 2053 = 10369. Suppose -6*z = -3504 - n. Is z composite?
True
Suppose 12*q - 172370 = 2*q. Is q a composite number?
True
Suppose -5*i - 2*x - 6 = 0, -x - 4 = 4*i + x. Is (3/(24/(-370)))/(i/8) prime?
False
Suppose 2*r + 1 - 5 = 0. Suppose 2*d + 4 = -2*o, -4*d - r = 5*o + 11. Suppose s - 362 = d*a - 5*a, a - 183 = -s. Is a composite?
False
Let n = 336 - -295. Is n a prime number?
True
Let c(x) = -3*x**3 - 7*x - 7. Suppose 11 = -3*m + 14. Let p(k) = k**2 - 1. Let i(a) = m*c(a) - 3*p(a). Is i(-5) a prime number?
True
Is (2/(-3))/((-52)/78) - -32244 prime?
False
Suppose 3*h - 104786 = -5*q, -h - 2*q = -26665 - 8264. Is h prime?
False
Suppose -2*q + 9 = q. Suppose -q*a + 0*a - c = -4, -5*a + 5*c + 20 = 0. Suppose 3*u - 191 = -a*i - 0*i, 3*i = 5*u + 296. Is i composite?
False
Let z(k) = 106*k - 5. Let l(u) = u**3 + 15*u**2 + 15*u + 18. Let o be l(-14). Is z(o) a composite number?
False
Let d(o) be the first derivative of -4*o**3 - 4*o - 4 - 1/4*o**4 + 5*o**2. Is d(-13) prime?
False
Let s(p) = 53*p**2 + 6*p + 8*p**2 + p + 1. Is s(-3) prime?
False
Let l(x) = 20*x**2 + 13*x + 13. Let z(v) = -10*v**2 - 6*v - 7. Let f(c) = -4*l(c) - 9*z(c). Let y be f(-8). Suppose 0 = -h + 6*h - y. Is h a prime number?
True
Let i(l) = 194*l**2 + 9*l + 20. Is i(-3) prime?
False
Suppose -4*x - 20 = 0, 12*x - 3511 = -4*z + 11*x. Suppose 13*i - 16*i = -z. Is i composite?
False
Suppose 293 = 180*c - 179*c. Is c composite?
False
Let y(t) = 204*t**2 + 5*t - 3. Is y(-6) a prime number?
False
Suppose 5*d + 3*u + 3 - 29 = 0, -4*d = 5*u - 13. Suppose 2*t + 15 = 3*b, -d*t = -2*b - 2*t + 21. Suppose -3*f + 1614 = b*f. Is f prime?
True
Suppose -2*g = -2032 + 1074. Is g a composite number?
False
Let u(b) = 12*b**2 - 5*b - 9. Let f be u(-10). Suppose c - f - 326 = 0. Is c a prime number?
True
Suppose 7609 = -172*j + 179*j. Is j prime?
True
Let f(j) = 3*j**2 + 10*j - 3. Let p be f(15). Suppose -k = -5*t - p, 2*t = -2*t - k - 654. Let s = 511 + t. Is s a composite number?
False
Let f(h) = -4498*h + 55. Is f(-3) a prime number?
False
Let a(b) = -15*b**3 - 9*b**2 - 26*b + 9. Is a(-11) composite?
True
Suppose 0*w = -w + 11071. Is w composite?
False
Let u(q) = -6*q**2 + 5*q - q**2 + q**3 + 4 + 2 + 2. Let t be u(6). Suppose -t*v + 97 = -v. Is v prime?
True
Let d(c) = -c**2 + 15*c + 16. Let f be d(16). Suppose 0 = -3*y + 3, 3*b = -5*y - f*y + 2978. Is b prime?
True
Let c = 485 - 936. Let u be (-390)/9*2*3. Let q = u - c. Is q composite?
False
Suppose -17*v + 99 = 31. Suppose v*g + 2252 - 10664 = 0. Is g a composite number?
True
Let b = 14 - -4. Let g = b + -15. Suppose 0*n + g*n = 309. Is n prime?
True
Let l = -792 - -78. Let w = -491 - l. Is w composite?
False
Suppose -18*c + 3170 = -16*c. Suppose 0 = 4*i - 5*p - 3013, -c = -4*i + 2*p + 1437. Is i a composite number?
False
Suppose -4*l + 9*l = 5. Let p(x) = -l + 1 - 1 - 64*x. Is p(-2) a prime number?
True
Let s(y) = -4*y**2 - 4*y + 22. Let m(h) = h**2 - h + 1. Let k(b) = -m(b) - s(b). Is k(-13) prime?
True
Let h be 2*-1203*4/(-6). Suppose 0 = 2*v - 2282 - h. Is v prime?
False
Let t(a) = -a**2 + 4*a + 3. Let h be t(-2). Let r(z) = 5*z + 12. Let x be r(h). Is (-20 - -1)*x/3 prime?
False
Suppose 0*r - 881977 = -29*r. Is r prime?
False
Let p be ((-5)/(-3))/(1/3). Suppose v = p, 3*k - 36 = 2*v + 23. Is k a composite number?
False
Suppose -17 - 16 = 4*h - 3*f, 0 = 4*h - 5*f + 39. Let b(o) = -o**3 + 3*o**2 + 3*o + 1. Is b(h) composite?
False
Suppose 33 = -5*d - 4*g, 0*d = 5*d + 5*g + 35. Let n be (-3 + 8)*(-4)/d. Let a(t) = 3*t**3 - 4*t**2 - t - 3. Is a(n) prime?
False
Let a(f) = 10030*f - 103. Is a(5) prime?
True
Suppose -4*j + 32342 = -5*b, -15*j + 20*j - 4*b - 40423 = 0. Is j a prime number?
False
Let t = 2110 - -393. Is t a composite number?
False
Suppose 40*g - 44*g + 124400 = 4*f, -2*f - 5*g + 62203 = 0. Is f a prime number?
False
Suppose 2*k + 3*k = 0. Suppose k = 6*m - 10*m - 392. Let u = m - -137. Is u prime?
False
Let a(k) = k**3 + 8*k**2 - 3*k - 7. Let z = 23 - 25. Let u(x) = 2*x**3 + 3*x**2 - x - 3. Let t be u(z). Is a(t) a composite number?
False
Let h(k) = -15*k**3 + 9*k**2 - 21*k + 8. Let q be h(-9). Suppose -2417 = 4*y - q. Is y prime?
False
Let y = -3 + 6. Suppose -1697 = -5*i - y*p, 5*i = 2*p + 1558 + 119. Is i composite?
False
Let p(t) = t**3 - 3*t**2 - 55*t - 56. Is p(25) a prime number?
False
Let s = 1 - -5. Suppose 0 = d - 2*d + s. Suppose 5*i = d*i - 14. Is i prime?
False
Let n(q) = q**3 - 14*q**2 - 31*q - 30. Let v be n(16). Suppose 3*r = -0*r - 144. Let s = v - r. Is s a prime number?
False
Let i(f) = -32*f - 3. Let o be i(-7). Suppose 2*c + 4*d = -c + o, -2*c + 3*d = -170. Let k = c + -40. Is k a prime number?
False
Suppose 3*t + 554 = -4*r, -3*t = -5*r - 210 - 496. Let b(a) = 2*a**3 + 9*a**2 - 5*a - 1. Let p be b(-5). Is 0/7 - (r + p) composite?
True
Suppose -5*z - 6 = -5*y + 4, 4*z - y + 8 = 0. Let r(i) = i**2 + 2. Let x be r(2). Is z/x - (-14328)/54 a prime number?
False
Is 2/1*(911 - 4) a composite number?
True
Let n(q) = -q**2 + 6*q - 4. Let d be n(2). Let f(i) = 65 + 43 - d*i - i**2 - 29 + 5*i. Is f(0) a composite number?
False
Let x(j) = -8130*j + 97. Is x(-3) composite?
True
Let g be 40736/28 + (-5)/(-35). Suppose 4*i + 5*u - g = -39, 5*u = -3*i + 1057. Is i a prime number?
True
Suppose 3*w - 25093 = -p, -2*p = 2*w - 4*p - 16726. Suppose 0 = 17*m - w - 4267. Is m prime?
True
Let x = 19102 + -2771. Is x composite?
True
Let c be -1 + 2/(-2)*2. Let z(q) = 50*q - 144. Let j be z(3). Is j/(-18) + (-208)/c a composite number?
True
Let r(u) be the first derivative of u**2 + 2 + u**3 + u - 59/2*u**4. Is r(-2) a composite number?
False
Let k(l) = 67*l**2 + 16*l - 10. Is k(9) composite?
True
Suppose 0 = -i - 1, -2*i = -3*q + 1925 + 7404. Is q prime?
True
Let a(k) = -1564*k + 7. Is a(-6) a composite number?
False
Let s be 5/15*1263*-1. Let c = 644 + s. Suppose 0 = 2*d - 279 - c. Is d prime?
True
Let l = 2130 - 757. Is l a prime number?
True
Let f = -3802 + 5997. Is f prime?
False
Suppose -4*q + 7781 = 5*v, 0 = -25*q + 22*q + 3*v + 5856. Is q prime?
True
Let i = 6802 + -4804. Suppose -3*w = -i + 165. Suppose -x + 5*x = -4*l + 852, -3*l + w = -4*x. Is l prime?
False
Suppose -5*a - 4*c + 12 = 0, -3*a - c = c - 8. Suppose a*m - 1 = 7. Is (2 - m) + 2 + 29 a composite number?
False
Is 4742*(-9)/45*-5 a prime number?
False
Let u(z) = -257*z - 3. Let l be -2 + 2 - 40/5. Is u