 a(s) = 198*s**2 - s. Let o(l) = -l**2 - 5*l + 5. Let g be o(-6). Is a(g) a prime number?
True
Let n(h) = -h**3 - h**2 + 5*h + 3. Suppose 2*d = 4*d + 6. Let u be n(d). Is (-105)/(-9) - 4/u a composite number?
False
Let r(j) = -j**2 - 3*j + 7. Let k be r(-6). Suppose -4*u - 4*m - 120 = 0, 3*m = -2*u - 2*m - 60. Let g = k - u. Is g a composite number?
False
Let b be (-40)/(-2)*(-15)/(-4). Suppose 58 + b = d. Is d prime?
False
Suppose -5*f + 3*l = -83 - 12, -3*f + 2*l = -57. Is f composite?
False
Suppose -18 = -4*v + 2*v. Let j = 28 + v. Is j composite?
False
Let k be 4*(2 + 22/8). Suppose 0*h = -5*h + 15. Suppose h*b = k + 50. Is b composite?
False
Let y(c) = 3*c**2 - 4*c - 4. Let s be -1*3*(-1 + 0). Let f be ((-5)/s)/((-4)/(-12)). Is y(f) prime?
False
Let y = 10 - 4. Suppose 5*q + 145 = y*q. Is q composite?
True
Suppose -14*r + 371 = -7*r. Is r a prime number?
True
Let q(z) = -40*z - 4. Let y be q(-2). Suppose 0 = -n + 69 + y. Is n a prime number?
False
Let s(f) = f**2 - 9*f. Let g be s(9). Is -65*(g - (4 - 3)) a composite number?
True
Let d(v) = -v**2 - 29*v - 32. Is d(-19) composite?
True
Let m(t) = t**3 + 4*t**2 - 5*t. Let h be m(-5). Suppose -d + 3*d - 6 = h. Suppose -p + 2*p - d = 0. Is p composite?
False
Let x(r) = 6*r**3 + 45*r**2 + 74*r + 9. Let m(b) = -b**3 - 9*b**2 - 15*b - 2. Let l(q) = 11*m(q) + 2*x(q). Is l(13) a prime number?
False
Let r(t) = t**2 + 4*t + 2. Is r(-9) prime?
True
Suppose 0*g - 4*g + 473 = m, -m - 2*g + 475 = 0. Suppose m = 4*v - 535. Is v composite?
True
Suppose 2*z + 100 = -3*q, -3*q - z - 43 = 61. Is 8/q - 1534/(-18) composite?
True
Suppose -348 + 2399 = 7*t. Is t composite?
False
Suppose 5*t - 2*q = 182 + 815, 0 = -t - q + 205. Is t a composite number?
True
Suppose 2*s - 14 = 3*s. Let x = 99 + s. Is x a prime number?
False
Suppose -4*q + 4*z = 8, 2*q = z + 2*z - 8. Let v = 68 - 8. Suppose -c + v = c + q*f, 3*c = f + 106. Is c composite?
True
Suppose -18*t = -14*t - 268. Is t prime?
True
Suppose 4*z - 1047 = -107. Suppose 6*d = d - 25, -5*s - 2*d = -z. Is s a composite number?
True
Let w(v) = 59*v + 2. Is w(3) a prime number?
True
Let w(q) = 2*q**3 + 6*q + 4. Let t be w(-5). Is 1/2 - t/8 prime?
False
Let o be 383*3*3/9. Suppose 3*d + 2*f - o = 0, -2*d + 2*f - 256 = -4*d. Is d composite?
False
Suppose 0 = 5*d - 2*c - 6, -3*d + c + 3 = -1. Suppose -18 = -2*x + 2*m, 0*x - 3*x + d*m = -32. Is x composite?
True
Let c = 3 + -3. Suppose c*v + 2*v = 6. Is v prime?
True
Let z(l) = l**3 - l**2 - l + 14. Let b be z(0). Suppose 2*h = 4*h + b. Let a(f) = -18*f + 7. Is a(h) composite?
True
Suppose 2*r - 15 = -3*q, -11 - 1 = r - 5*q. Suppose 0 = r*i - 0*i, -5*s + 1015 = -5*i. Is s composite?
True
Suppose 0 = -5*l + 41 - 6. Suppose l*j = 10*j - 138. Is j a prime number?
False
Let l = 12 - 35. Let x = -13 - l. Suppose -x = -0*f - 5*f. Is f composite?
False
Is 156/2 - (-1 + 0) prime?
True
Let k = 15 - -5. Let l = 51 - k. Is l composite?
False
Let d be (-57)/(-21) + (-2)/(-7). Suppose -z + 188 = d*z. Is z composite?
False
Let t = -25 + 48. Suppose 9 = -3*l, -4*n + 6 = -6*n - 4*l. Suppose 2*b - 3*q - t = 0, 0*b - n*b + q = -31. Is b a prime number?
False
Let v = 10 - 8. Suppose v*k = -2*k + 2060. Is k a composite number?
True
Suppose 8 = -d - 3*d. Is d - (44*-3 - -3) a composite number?
False
Let f(g) = -2*g**2 - 16*g + 14. Let d be f(-13). Is (2 - d) + -4 + 4 prime?
False
Let o = 320 - -613. Is o composite?
True
Let l be 6/10 + 23/(-5). Let k(a) = -a**3 - 3*a**2 + 5*a + 6. Let u be k(l). Suppose u*c + 19 = 317. Is c a prime number?
True
Let z be (6*10 - 2) + -3. Let s = z + -18. Is s a composite number?
False
Suppose 0 = 4*f + 5*d + 27, 5 = 5*f - 5*d + 50. Is (-2)/f - 182/(-8) a prime number?
True
Let m(y) = y**2 + 19*y + 8. Let j be m(-10). Let s = j + 305. Is s composite?
False
Let q(v) be the second derivative of -1/2*v**2 + 293/20*v**5 + 0*v**3 + 1/12*v**4 + 0 - 2*v. Is q(1) composite?
False
Let h(z) = 11*z + 5*z**3 + 13*z**2 + 0 - z**3 - 4. Let v(r) = 5*r**3 + 14*r**2 + 11*r - 5. Let d(l) = 4*h(l) - 3*v(l). Is d(-8) composite?
True
Let q = 423 + -158. Is q a prime number?
False
Suppose -116 = -3*u + 382. Is u composite?
True
Suppose 4*s - 3*j + 15 = 2*s, 3*s + 5*j - 25 = 0. Let u(b) = 0*b + 19 + b + 3*b**2 - 2*b**2. Is u(s) prime?
True
Let b(t) = -t**3 + 6*t**2 - 2*t - 1. Let g be ((-13)/4 + 1)*4. Let f = g + 14. Is b(f) a prime number?
False
Let v = 5 + -2. Suppose v*w = -10 + 1. Is (-1)/(1*w/9) composite?
False
Let b be 1 + 0 + 0 + -4. Let l = 1 - b. Suppose 8 + 116 = l*q. Is q a composite number?
False
Let r be (-5664)/(-9) - 1/3. Suppose 1 = -i, 3*i + i = -3*j + r. Is j prime?
True
Let p = 0 - -5. Suppose 0 = y + 3*s - 178 + 36, -p*y = 3*s - 650. Is y a composite number?
False
Let j be (-1)/((-1)/(-8)*-2). Suppose 693 = j*b + 233. Is b a prime number?
False
Suppose -v + 4 = -1. Let x = v + -4. Is x/2 + (-675)/(-6) prime?
True
Suppose 0 = y + 5*a + 5, 5*a + 5 = -5*y - 0. Suppose -77 = -4*g - 5*m + 16, -2*g - 3*m + 47 = y. Is g a prime number?
False
Let w = 787 + -368. Is w a composite number?
False
Let n(s) = -s**3 - 6*s**2 - 2*s - 9. Let h be n(-6). Let v(t) = -5 + 0*t + h*t + t + 0*t. Is v(4) composite?
False
Let r = 19 - 9. Is 304 - r - (1 + 0) composite?
False
Suppose 0 = 2*x + 5*y - 9, -2*y + 6*y = -3*x + 17. Suppose -2*m - 86 = 5*i, 0 = -5*m - x*i + 3*i - 181. Let u = m + 70. Is u composite?
False
Suppose 0*r - 447 = -r - 4*g, 0 = r - 2*g - 477. Is r a prime number?
True
Let i be (-1 + 2)*(-127)/(-1). Let u be (i/(-2) - 0)*-2. Is u/6 + (-2)/12 a prime number?
False
Suppose -3*j = 1 - 7. Is j/7 + 1653/21 prime?
True
Let v(l) = -2*l - 4. Let c be v(-5). Is (-178)/3*(-9)/c a composite number?
False
Is (21/9)/7*753 a composite number?
False
Let o(l) = -l**3 - 3*l**2 - 6*l - 7. Let j be o(-5). Let w = j - -104. Is w composite?
True
Let i = 43 - -60. Let t = i - 29. Is t prime?
False
Is (-2)/14 + 88374/91 a prime number?
True
Is (-814)/(2/(3 + -4)) a prime number?
False
Let c(l) = 0*l**2 - l**3 - 4*l**2 - 4*l**2 - 4*l - 1. Suppose -4*v + 24 = -7*v. Is c(v) composite?
False
Let x be ((-3)/(-4))/((-1)/(-52)). Suppose -8 = y - x. Is y a prime number?
True
Suppose -8 = -6*i + 2*i. Let h = i + 2. Suppose -2*v = -5*a - 51, -15 = -h*a - 3. Is v composite?
True
Let z be 1*1053 + 1/(-1). Suppose -d + z = 4*a + d, 798 = 3*a - 3*d. Let i = -145 + a. Is i a composite number?
True
Let t = -27 - -38. Is 2785/t + 4/(-22) a prime number?
False
Let y(p) = 202*p + 9. Is y(7) a composite number?
False
Let g = -783 - -1424. Suppose -2*b + 2*l = -125 - 135, 5*b = 2*l + g. Is b a prime number?
True
Suppose 3*t = -125 + 920. Is t composite?
True
Is (-9)/(-6) + 14745/10 + 5 composite?
False
Suppose -3*d + 42 = 2*r - 0*d, 25 = 3*r - 5*d. Let f = r + -10. Suppose 8 = -f*g - 17, 4*x + 3*g - 301 = 0. Is x prime?
True
Let s(u) = -u**2 - u + 23. Let a be s(0). Suppose 2*w - 4*d + 26 = 0, w - a = 3*w - 3*d. Is 38/14 - 2/w a prime number?
True
Let p(d) = 2*d**3 - 2*d - 5. Is p(5) composite?
True
Let v = 3 - -4. Let c(n) = 0*n - 3 - 6*n**2 + n**3 - n - 2. Is c(v) a composite number?
False
Suppose 0 = 24*w - 79896 - 94656. Is w a composite number?
True
Is 766/2 + -4 + 0 a composite number?
False
Let y = -2 - -2. Let q = 7 + y. Suppose 0 = 4*i + q - 147. Is i a prime number?
False
Let n(z) = 25*z**2 + 4*z + 5. Is n(-4) prime?
True
Suppose -3*s + 149 = b - 25, -s + 58 = -2*b. Let d = s + 69. Is d a composite number?
False
Let u be 285 + 0 + -1 + 2. Suppose -6*t = -4*t - u. Is t composite?
True
Let v(r) = r**3 - 5*r**2 - 14*r - 23. Is v(16) prime?
False
Suppose -4*a - 134 = 46. Let d = 71 + a. Suppose 2*n = -0*n + d. Is n prime?
True
Let i(a) = -a + 83. Is i(0) prime?
True
Is 2/(6/1)*222 composite?
True
Let t be 13/6 + 3/(-18). Suppose 2*g + 2*g = -m + 1899, 4*g - 1914 = 2*m. Suppose 3*c = n - 244, c + g = t*n - c. Is n prime?
False
Let m(b) = 3*b. Let a be m(-3). Let v be 4/(-6) + (-6)/a. Suppose -2*i + 354 = 4*z, -93 = -v*z - z + 4*i. Is z a composite number?
False
Let z = -1080 + 1967. Is z composite?
False
Suppose -10*i + 711 = -7*i. Is i a composite number?
True
Let m = -7 + 11. Suppose 3*g - 159 = m*u + 50, 5*g - 329 = -3*u. Is g a composite number?
False
Let q be (4 - (-1 + 3))*2. Suppose -d + 5*d - q*x - 16 = 0, 2*d - 17 = -x. Is d a composite num