+ -7. Let v be ((-4)/(-5))/(i/(-10)). Suppose 89 = -z + v*z. Is z composite?
False
Let k = -1239 + 1804. Is k composite?
True
Suppose 28 = -3*k - 56. Let z(q) = q**3 - 2*q**2 + q - 2. Let d be z(-4). Is k/12*d/2 composite?
True
Let h be (-490)/(-8) - (-2)/(-8). Let c be (0 + 0 - -3) + -15. Let b = c + h. Is b a prime number?
False
Is (-177)/2*(-8)/12 composite?
False
Suppose -v - 2*v - 7 = -4*i, 3*i = 2*v + 6. Suppose d = v*d - 38. Is d composite?
False
Suppose 5*x - 4*o = 3233, -5*x + 0*x - 3*o + 3254 = 0. Is x composite?
True
Let y = -7 - -9. Suppose 339 = 5*q + y*i + 2*i, 3*i = -12. Suppose -q - 61 = -4*h. Is h a composite number?
True
Let g be (-1)/2*(283 - 1). Let k = 206 + g. Is k a prime number?
False
Is -307*(8/(-2))/4 prime?
True
Suppose 13*h + 180 = 28117. Is h composite?
True
Let i(n) = -200*n + 7. Is i(-4) composite?
True
Let q = 1127 + -608. Is q composite?
True
Let x be (-1*3)/((-1)/133). Suppose 12 = 4*y, 0*y - 4*y + x = 3*f. Suppose 2*l - f = a, -310 = -5*l + 2*a + 3*a. Is l a prime number?
True
Suppose -7*q = -8381 - 1986. Is q a composite number?
False
Suppose 5*i - 4*y - 8 - 8 = 0, 5*i - 3*y = 12. Let g(q) = -q**2 + q + 3. Let j be g(i). Is (382/j)/(10/15) prime?
True
Let f(x) = -66*x - 5. Is f(-2) prime?
True
Let v = -12 - -21. Suppose 3*k - 24 = -v. Suppose -k*s = d - 33, -s = -4*s. Is d a composite number?
True
Let m(g) = -19*g**3 - 2*g**2 + g. Is m(-2) a prime number?
False
Let h(l) = 7*l**2 - 2 - l + 3*l**2 - 3 + l**3. Let s be h(-10). Suppose 6*n - n + 90 = s*o, -2*o = 3*n - 61. Is o a prime number?
True
Let y(x) = x**2 - 3*x - 7. Let c be y(5). Suppose -3*j = j, 0 = c*m - 4*j - 9. Suppose m*o - 62 - 43 = 0. Is o a composite number?
True
Suppose -2*v = -v - 10. Suppose -2*b + v = 2, -5*i + 4*b + 279 = 0. Is i prime?
True
Suppose 7*s - 773 = 1320. Is s composite?
True
Let a be 4/(-12)*3*5. Is (-954)/a + (-4)/(-20) composite?
False
Let j(b) = b. Let s be j(0). Let z = -10 - -15. Suppose 2*v + 192 = 4*y - s*v, -4*y = z*v - 206. Is y prime?
False
Suppose 4*v - o + 6*o = 33, 0 = -2*v - 5*o + 29. Let h(z) = 3*z - 2. Let i be h(v). Suppose -i*x = -2*b - 354, 10 = b + b. Is x a composite number?
True
Let y = 189 - -208. Is y composite?
False
Let b(c) = -c**3 - 4*c**2 + 3*c + 6. Let x be b(-4). Is ((-14)/x)/((-7)/(-357)) composite?
True
Suppose d = -2*d + 381. Is d a prime number?
True
Suppose -4*o = -4*n + o + 3174, 3*n = 5*o + 2383. Is n a composite number?
True
Let z be 594/24 - 2/(-8). Suppose -3*x - t = -33, 0 = x + 3*t + 2*t - z. Is x prime?
False
Suppose 3*f = -2*h + 17, 2*f + f - 2*h = 13. Suppose -r = r + 3*m - 107, -4*r - f*m + 215 = 0. Is r composite?
True
Let h(l) = -l + 7. Let v be h(-10). Let y = 22 - 12. Let q = v - y. Is q prime?
True
Suppose 2*j - 5*j = -3. Let t = j + 1. Suppose 24 = 6*r - t*r. Is r a prime number?
False
Let t = -15 + 9. Is 111 + t/(-2) - 3 composite?
True
Suppose -4*f + 3*f = -203. Is f a prime number?
False
Let h(s) = -s**2 - s - 1. Let l(r) = 2*r**2 - 7*r + 1. Let b(y) = 3*h(y) + l(y). Is b(-8) a prime number?
False
Let u(d) = -2*d + 3*d**2 - 4*d**2 + 4 + 0*d. Let o be u(-7). Let p = o - -57. Is p a prime number?
False
Suppose 2*t - 109 = -3*k + 1604, -t = k - 571. Is k prime?
True
Let m(t) = t**2 + 3*t - 1. Let l be m(-4). Is (l/(-6) + 1)*194 a prime number?
True
Is (-16156)/(-105) - 9 - (-2)/15 a prime number?
False
Suppose 12 = 3*o - 3*y, 0*o + 5*y = o. Let t = o + -5. Suppose -5*c + 78 - 13 = t. Is c composite?
False
Let y = 3 + -2. Let a(f) = f**3. Let m be a(y). Is 3/m*(-2)/(-2) composite?
False
Suppose 0 = 7*p - 2*p - 10, 2*l + 4*p - 1498 = 0. Is l prime?
False
Let b be (4/(-6))/(2/3). Let g be 20 + -2*(0 - b). Is 532/36 - (-4)/g composite?
True
Let j be -2*(1 - 0 - 3). Suppose -j*b + 105 = b. Is b composite?
True
Let l = -476 - -813. Is l prime?
True
Let q(c) = -c**3 + 10*c**2 - c + 14. Let g be q(10). Let y = 1 - 1. Suppose y = 4*d - k - 192, -2*d + 18 = -g*k - 64. Is d a composite number?
True
Suppose 12 = -3*f, 3*z + z + 128 = 4*f. Is (-3426)/z + 2/(-12) prime?
False
Suppose -4*v + 2 = 18, -2*v + 40 = 3*b. Let j = -11 + b. Let x = j - -2. Is x prime?
True
Let r = 5599 - 3942. Is r prime?
True
Let g(p) = -p**2 - 7*p - 1. Let b be g(-6). Suppose 2365 = b*r - 460. Suppose -z + r = 4*z. Is z composite?
False
Let o(r) = -r**3 - 2*r**2 + r - 1. Let n be o(-2). Let h be (-3)/n + 206/(-1). Let c = 288 + h. Is c prime?
True
Let y = -174 - -467. Is y prime?
True
Suppose -3*o = 4*t - 2713, -o + 909 = -2*t + t. Is o prime?
True
Is (-4429)/(-3) + 4/6 a composite number?
True
Suppose 5*p - f + 4 = 0, -4*p + 2*f = -p + 8. Let z be (2 + -3)*(6 - p). Let n(i) = -35*i + 5. Is n(z) prime?
False
Suppose 3*m = 2*v - m - 498, -v = 2*m - 269. Is v composite?
True
Let q(d) = 2*d**2 + 2*d + 1. Let p be q(-2). Suppose 0 = -3*b + p*k - 9 + 27, 3*k + 9 = 0. Let w(l) = 24*l + 1. Is w(b) a composite number?
True
Suppose 0*u = -4*u + 1164. Let s = u - 172. Is s a composite number?
True
Suppose -5*w - 2*z + 13 = 0, 2*z + 1 + 1 = 0. Suppose 5 = 2*t - w. Let j(h) = 4*h**2 + 5*h + 3. Is j(t) prime?
False
Suppose 3*x - 152 = -5*o + 2572, -5*o + 2706 = -3*x. Is o a composite number?
True
Let m = 212 - 113. Suppose 2*k = 87 + m. Is k a prime number?
False
Let w be 58 - (2 - 4/4). Let v = 322 + w. Is v composite?
False
Let f = 832 - 87. Is f a composite number?
True
Suppose 4*w - 37 = 3*g, 0 = -4*w + 3*w + 2*g + 3. Is (-1)/(-7) + w/7 prime?
True
Let j = 1 - 2. Let f be j/((-2)/(-6))*-1. Suppose -2*c - f*s + 73 = 0, 0 = 2*c + 2*c - 3*s - 137. Is c a prime number?
False
Suppose 24 = 5*a + b - 0, 2*b = 5*a - 27. Let y(v) = -v**2 + 4*v + 5. Let z be y(a). Let u(r) = -r**2 + 37. Is u(z) prime?
True
Let s = 23 - -2. Is s composite?
True
Let b = 1 + 1. Suppose -d + 65 = 4*d + 5*f, 4*d - 60 = -b*f. Suppose d = -3*y + 182. Is y a prime number?
False
Suppose 2*j = 4*u + 498, u + 235 - 1480 = -5*j. Is j a composite number?
True
Suppose -5*a = 3*t - 2141, -a + 3*t + 183 + 238 = 0. Is a a prime number?
False
Is 18/(-15)*(345/(-6) + 0) prime?
False
Let b = 1 + 3. Suppose b*m = 33 + 235. Is m composite?
False
Suppose 0 = 4*s - n + 4, -5*s = -2*n - 3*n + 20. Let v(d) = -d + 59. Is v(s) composite?
False
Suppose -2*k = q - 500, 0 = -3*k + q - 213 + 968. Is k composite?
False
Let g = 45 - 76. Let c(z) = 3*z**2 - 2*z - 1. Let d be c(-1). Let t = d - g. Is t a composite number?
True
Suppose 413 = -0*u + u. Is u a composite number?
True
Let s be 0/(-2 - -1*5). Suppose -5*n = -s*n - 20. Suppose h + 3*f + 192 = n*h, -3 = -f. Is h a prime number?
True
Let b(k) = k**2 + 2*k + 5. Let z be b(-4). Let m be (-1100)/(-12) + (-2)/(-6). Suppose -z - m = -3*i. Is i prime?
False
Is (-1)/((-35)/10) + (-5647)/(-7) a composite number?
True
Is 1275/6 - 3/2 prime?
True
Let i(k) = 6*k. Let f be i(1). Let p be f/(-3) - (-1)/(-1). Is 0/p - (-19)/1 prime?
True
Suppose -2*o + 25 = -27. Suppose 0 = 5*s - s + 2*g - 16, o = 5*s + 4*g. Is -2*((-27)/s - -2) a composite number?
False
Suppose -2*h - 28 = -162. Is h composite?
False
Let v(y) = -7*y**3 + 2*y**3 + 0*y**3 - y + 3*y**2 - 4*y**2 - 2. Is v(-3) a prime number?
True
Let g = 342 - 171. Let n(k) = 4*k**2 + 9*k + 4. Let c be n(-6). Let l = g - c. Is l a composite number?
True
Suppose 2*t + 2 = -10. Is t/27 - (-2620)/45 prime?
False
Let w = 199 + -12. Is w composite?
True
Let h(s) = 7 - 3*s - s**3 - 22*s**2 + 4*s + 19*s**2. Is h(-6) composite?
False
Suppose 2*q + 8 = -f - 0*f, -5*f + 25 = -3*q. Let t = 5 + f. Is t a prime number?
True
Let q(o) = o**3. Let k be q(1). Let s(r) = -17*r**2 + 3*r + 1. Let t(g) = -52*g**2 + 8*g + 3. Let b(p) = 11*s(p) - 4*t(p). Is b(k) prime?
False
Let y(z) = z - 4. Let s be y(6). Let k = 17 - 12. Suppose -2*g - 5*w = -28, s*g - k*w = 1 + 7. Is g a composite number?
True
Let m(w) = 142*w**2 + 5*w - 1. Is m(-2) prime?
True
Let c be 45/9 - 6/2. Suppose -v - 4 = -c*v. Suppose 0*n + v*n = 628. Is n prime?
True
Let g(n) = 25*n**3 + 9*n**2 + 9*n - 20. Is g(7) prime?
True
Suppose -521 + 74 = -3*t. Is t a composite number?
False
Is 2 - (-136 + -4)/1 prime?
False
Suppose 0 = h + 5*r - 57, 5*h - 2*r - 78 = 3*h. Suppose -w + h + 9 = 0. Is w prime?
False
Is (-4 - (-26)/6)*1239 prime?
False
Suppose -2*r - 7 + 22 = 5*z, 2*r = 2*z - 6. Suppose r*t - 39 = -t. Is t a composite number?
True
Let s(a) 