s = 162 - 43. Is s composite?
True
Suppose -3*z - j = -7, 3*z - 2*j = -7*j - 13. Suppose 25 = -z*h + 501. Is h a composite number?
True
Let v be (-22)/(-8) - 4/(-16). Suppose 2*n - 1182 = -4*q, 2*n + n - 894 = -v*q. Is q a composite number?
False
Let z(v) = 2*v**2 - 4*v + 3. Is z(2) prime?
True
Let g(v) = v**2 + 8. Suppose 4*n + 14 = -14. Let k be g(n). Suppose 2*m = -m + k. Is m prime?
True
Let a(w) = 9 + 2*w - 3*w + 2*w. Let d be (-2)/6 - 20/3. Is a(d) composite?
False
Is 1238*(-4)/(-8) - 5 a composite number?
True
Let q(k) = 5*k - 3. Let r be q(-5). Is r/(-4)*11*1 a composite number?
True
Suppose -24 = 3*y - 2*q, -2*y = 5*q - q + 16. Let b be -742*2/y*2. Let i = b - 112. Is i a composite number?
True
Let d = -75 - -130. Is d a prime number?
False
Let u be -2*(-1)/(1/2). Suppose u*o - 2*o = -5*s + 15, -5*s = -2*o + 5. Suppose -2*v - i = -102, o*i - 39 = -v - 6. Is v prime?
True
Suppose -4*g + 4*z = -32, g - 2*g = z - 2. Suppose 4*l - 10 = -5*j + 2*j, -g*j - 18 = -2*l. Suppose -2*c = 5*a - 78, l*a = 2*a. Is c prime?
False
Let o(r) = -r**3. Let n(s) = -33*s**3 + 1. Suppose 0 = -2*t + 3*c + 8, 5*t + 0*t + c - 3 = 0. Let g(u) = t*n(u) + o(u). Is g(-1) a composite number?
True
Suppose -3*s - 5*c + 33 = -2*s, 0 = -5*c - 15. Let m(a) = -a**2 - 2*a - 1. Let h be m(-4). Let g = h + s. Is g composite?
True
Suppose 2*n - 659 = 603. Is n composite?
False
Let d(r) = r**2 - 5*r - 10. Let x be d(7). Suppose 5*f + 23 = x*h, -h + 2 = -f - 3. Is (0 - -13)*(5 - h) a composite number?
True
Let v = -21 + 21. Suppose v = -3*i, 65 = -f + 2*f + 4*i. Is f prime?
False
Let g = -3210 + 7987. Is g prime?
False
Let q = -7 + 6. Let t be -1*(q/(-1) + 2). Is 33 - (0 - 0/t) a composite number?
True
Let f(b) = -b**2 + 15*b + 3. Suppose 0 + 33 = 3*j. Is f(j) composite?
False
Let n(f) = f**2 + 2. Let j be n(0). Suppose 25 - 84 = 5*i + 3*b, 0 = -j*b - 6. Is (-32)/(-2) - i/(-5) composite?
True
Let x(b) be the third derivative of -b**6/120 - b**5/12 - b**4/6 + b**3 - b**2. Let k be x(-5). Suppose 5*q - 49 = k. Is q a prime number?
False
Is 15/35 - 7120/(-14) a composite number?
False
Suppose 3*j + 0*j = -4*w - 193, -3*w - j - 141 = 0. Let q = -16 + 7. Let n = q - w. Is n prime?
True
Let i = 0 - 1. Is 93 - 2 - (3 + i) prime?
True
Suppose 18 = 3*n + 2*w, 7*n - 14 = 2*n + 2*w. Suppose -n*r - d = -76, 13 + 63 = 4*r + 4*d. Is r prime?
True
Let r = -93 - -394. Is r a composite number?
True
Let l = 1512 - -881. Is l a composite number?
False
Suppose 5*p = 7 + 28. Let o(q) = 0 + 5*q**2 - 4*q**2 - 3*q - 3. Is o(p) prime?
False
Let y(n) = n**3 - n + 65. Suppose 0 = -3*m + 5*w - 5 - 0, -4*m = 3*w - 3. Is y(m) composite?
True
Let b = 10 + 177. Is b composite?
True
Let r(i) = 4*i + 479. Is r(0) a prime number?
True
Suppose 2*y - 31 + 1 = -3*z, 36 = 3*z + 4*y. Suppose 4*g - 84 = -z. Is g prime?
True
Let g = -2 - -6. Let z be g/(4/2) - 0. Suppose -z*o + 77 = 3*s, 6*o = 2*o - s + 129. Is o composite?
False
Let z = 2658 - -1543. Is z a prime number?
True
Let p(v) = 9*v**2 + 8*v + 5. Is p(6) a prime number?
False
Let m(t) = -t**3 - 18*t**2 - 12*t + 17. Is m(-18) composite?
False
Let t(d) = 6*d**2 + 2*d + 4. Let y be t(3). Let w be 8/(-2 - y/(-31)). Suppose 0*m - w = -4*m. Is m prime?
True
Suppose -y + 1757 = -5*t - 692, -5*y + 12245 = 4*t. Is y a prime number?
False
Let b(k) = 2*k**2 + 10*k + 3. Let x be b(-12). Let t = x + -41. Suppose 4*n + 2*u = t, 5*u = 3*n - 153 + 49. Is n composite?
True
Let g = 43 - 65. Let f = 31 - g. Is f composite?
False
Let d(l) = 5*l**2. Let s be d(1). Suppose 4*r - 4*v - 353 - 703 = 0, 0 = -s*r + 3*v + 1322. Is r composite?
True
Suppose -3 = -3*u, 2*v - 5*u - 1143 + 18 = 0. Is v a composite number?
True
Let z be 8/3*(4 + 143). Let j = z - 179. Is j composite?
True
Let q = -6 + -15. Let y = q + 70. Is y prime?
False
Suppose 0 = 4*l + 2*v + 10, 9 = 3*l - 2*v - 1. Suppose l*s - 395 = -5*s. Is s a prime number?
True
Suppose o - 76 = 3*s, -240 = -3*o - 0*s - 3*s. Is o a composite number?
False
Suppose 3*z + 3 = 0, -2*r + 3*r = z + 98. Is r a composite number?
False
Let q(s) = -114*s**3 - 8*s**2 - 3*s + 2. Is q(-3) a composite number?
True
Suppose 18 = -s + 4*s. Is s/(-15) + 267/5 composite?
False
Is ((-191)/(-4))/1*(8 - 4) a composite number?
False
Suppose 53 = a - 81. Is a prime?
False
Let m = -6 + 11. Let n be 58 - (3 + -1)*-1. Suppose -d - 72 = -2*v, -v + n = v + m*d. Is v prime?
False
Is 3186/4 + (14/4 - 3) a prime number?
True
Let v = -12 + 2. Let m = 35 + v. Is m composite?
True
Let j = -738 - -1419. Is j prime?
False
Suppose -3*z + 127 - 16 = 0. Is z/((-4 - -2)/(-2)) composite?
False
Let a be (-4)/(-3)*33/11. Is (-806)/(-4) - a/8 composite?
True
Let s = -2 - -2. Suppose s = -r + 28 + 121. Is r composite?
False
Is -1 + (3 + -4 - -305) prime?
False
Suppose -4*t + 0*m + 5*m - 21 = 0, -t + m - 6 = 0. Is (39/1)/(t - -10) a prime number?
False
Let c = 8 + -7. Is c/(1 + 58/(-59)) composite?
False
Suppose -2*g + 43 = 1. Is g a prime number?
False
Let j(k) = -5*k**3 - 15*k**2 - 9*k + 7. Is j(-8) a prime number?
False
Suppose -7274 = 21*d - 23*d. Is d a prime number?
True
Suppose -9 = m - 4*m. Suppose 0 = s + m*s - 508. Is s prime?
True
Suppose -4*g + 3*g - i - 19 = 0, g - 3*i = -3. Let v be (-395)/(-2)*(-12)/g. Suppose -149 = -4*l - 3*h + v, 3*l - 249 = 4*h. Is l a composite number?
False
Let g(u) be the third derivative of -u**6/120 - 3*u**5/20 + 7*u**4/24 - 4*u**3/3 + 2*u**2. Is g(-10) a prime number?
False
Suppose i + 3039 = 5*c - 2009, 5*c + 5*i = 5030. Is c a prime number?
True
Let o = 217 - -40. Is o prime?
True
Let l(i) = 2*i**2 + 30*i + 17. Is l(-20) prime?
False
Suppose -4*x + 90 = 3*m, 4*x + 6 = -6. Suppose 0 = 3*r + 5*f - 66 - 1, -2*r + 2*f = -m. Is r prime?
True
Let b be (-60)/(-16) - (-6)/(-8). Suppose -b*z = z - 16. Suppose z*c - 335 = -5*s, -3*c = -4*c + 5*s + 90. Is c a composite number?
True
Suppose -70 = -3*h + 74. Suppose f - 3 = -5, -4*f + h = -4*j. Is (-522)/j + 12/(-42) prime?
True
Let i(h) = 210*h + 1. Is i(4) composite?
True
Suppose 5*g = -4*i + 733 - 6, 4*i - g = 709. Is i composite?
True
Suppose 2*n + 4*n - 16398 = 0. Is n prime?
False
Let l = -3 - -338. Is l composite?
True
Suppose -5*w - 1 = -4*l + 57, 5*w - 5*l = -55. Let y be 1/(2*1/w). Let t(s) = s**2 + 3*s - 7. Is t(y) a prime number?
False
Let o(b) = -4*b + 13. Is o(-10) composite?
False
Let v be 0/2 + -4 + 5. Let t = v + 2. Suppose -3*b - 6 = 0, 5*p - 61 = t*b + 40. Is p prime?
True
Let b be 8/(-2) + 2 + 4. Is 0 + (93*b - -1) prime?
False
Let h = -156 + 233. Is h prime?
False
Suppose -9*c = -8*c - 2399. Suppose -2*u = v - 965, -5*u + 3*v + c = v. Is u a prime number?
False
Let y be 0/2 - (-6 + 1). Suppose 0*o + 3*b = 3*o - 225, -b = -y*o + 355. Is o + 6*3/(-6) composite?
False
Suppose -3 + 1 = -l. Suppose -3*y - 118 = -l*i, 4*i + y - 2*y - 236 = 0. Is i a composite number?
False
Suppose -7*r - 116 = -3*r. Let d = 18 + r. Let y(u) = u + 14. Is y(d) composite?
False
Suppose 2*r - 480 = -r. Suppose 30 - r = -2*f. Suppose 0 = -4*i - 2*o + 227 + 33, 5*o + f = i. Is i a prime number?
False
Suppose 0 = -3*k + 4*s - 5, 6*k - k - 2*s = 1. Let w be (216 + (k - -1))/2. Suppose t = -0*t + w. Is t prime?
True
Let h(r) = 2*r. Let y be h(1). Let n = y - 12. Let d = 37 - n. Is d a prime number?
True
Let u = 14 + -2. Suppose 4*f - 655 = w, 0*w + 4*w = -u. Is f composite?
False
Is (2/18*-3)/(3/(-2313)) a prime number?
True
Suppose -443 = 3*g - 1880. Is g a composite number?
False
Let s(x) = -41*x + 4 - 76*x - 2. Is s(-5) a prime number?
True
Let x(f) = -f**2 - 6*f + 2. Let n be x(-6). Suppose -445 = -5*p - 3*s, 2*p + 3*p + n*s = 445. Is p a prime number?
True
Suppose -100 = -7*p + 3*p. Suppose 0 = 5*t + p, 11 - 3 = -y - 2*t. Suppose -d + 111 = y*d. Is d a prime number?
True
Suppose -3*q + 3*i + 21 = 0, -4*q + i + 40 = 9. Suppose 0 = 4*l - 6*l + q. Suppose 4*j + r = 537, r + 482 + 45 = l*j. Is j a prime number?
False
Let s = 187 - 333. Let p = 35 - s. Is p prime?
True
Suppose -5*j + j - 20 = 0, 5*m - j - 3170 = 0. Is m composite?
True
Suppose o = 2*m + 313, -3*o + 915 = 4*m - 2*m. Is o composite?
False
Let p(v) = -v**2 + 4*v + 5. Suppose 4 = d - 0. Let j be p(d). Suppose j = -3*z + 44. Is z a prime number?
True
Let v(l) = -5*l**3 + l**2 + 4*l + 2. Let a be v(-5). Let q = a + -285. Is q a prime number?
Tru