g = 9 + -6. Suppose -g*c - v + 112 = 9, 0 = -4*c - 5*v + 130. Suppose -2*j + c = 3*j. Is j prime?
True
Let b(p) = -61*p + 7. Is b(-4) composite?
False
Let q(a) = 12*a**3 + 2*a - 2. Let z be q(3). Suppose -4*x = m - 93, -4*m - 5*x + z = -0*m. Is m prime?
False
Let z(k) = -k**3 - 10*k**2 + 2. Let x be z(-10). Suppose 0*d + 3*d + 4*u - 145 = 0, 5*d = x*u + 207. Is d composite?
False
Let d(c) = 268*c**2 - 11*c - 4. Is d(-3) a prime number?
True
Is -47*((-1)/3 - 160/15) prime?
False
Let i be 2 + (2 - (-2 + -315)). Let c = i - -152. Suppose c = 5*j + 138. Is j a composite number?
False
Suppose 0 = -2*i - 3 - 1. Is i/3 - 485/(-3) composite?
True
Let y(v) = -v**2 + v. Suppose 3*c - 10 = -2*s, 0 = -2*s + 7 + 3. Let h be y(c). Suppose -4*w + q = -1026, w = -h*w + 5*q + 247. Is w composite?
False
Let p(q) = -q**3 - 29*q**2 + 44*q + 5. Is p(-31) a composite number?
False
Let q = 48 + -17. Let b(i) = 2*i**3 + i**2 + i + 4. Let n be b(4). Let x = n - q. Is x composite?
True
Let w be -1 - (-10 - 4/(-2)). Suppose 4*q = 3*q + 5*v - w, q + 5 = 4*v. Suppose -4*o + 9 = -q*o. Is o composite?
True
Let f(n) = 13*n**2 + 2*n - 3. Suppose -5*b + 2*a + 2*a + 7 = 0, -3*a + 12 = 2*b. Suppose -4 = -b*l + 2. Is f(l) prime?
True
Suppose -r = 2*z - 100, 2*r + 224 = 4*z - 2*r. Let n = -19 + z. Is n a prime number?
False
Suppose -5*j + 6 = -9. Suppose d + 2*r = -3*d + 888, j*d + 5*r = 673. Is d prime?
False
Is 896/5 + 10/(-50) prime?
True
Let i(l) = -8*l**2 + l - 1. Let p be i(1). Is ((-148)/p)/((-2)/(-4)) a prime number?
True
Let g be (-4)/8 + (-18)/(-4). Suppose -g*u = -u + 9, -4*v = 2*u - 2. Suppose v*q - 20 = 46. Is q a prime number?
False
Is -1527*(-2 + (-15)/(-9)) a composite number?
False
Suppose -4*x + 12 + 8 = 0. Suppose 2*i - x*w = 509, 4*w - 521 + 39 = -2*i. Is i prime?
False
Let g = 208 - -137. Suppose g = -2*v + 7*v. Is v a composite number?
True
Suppose 2*x - 3*f = 6*x - 6, 2*f = -4*x + 4. Suppose 0*c - c + 100 = x. Suppose 0 = 4*i - 0*i - c. Is i prime?
False
Let s be (3/6)/((-1)/(-28)). Suppose 4*t + k - 8 = 4*k, 0 = 3*t - 4*k + 1. Suppose 0 = -5*o - t, 0 = p + 2*o - 47 + s. Is p a prime number?
False
Let q(x) = x**2 - x + 141. Let r = -21 - -21. Is q(r) a prime number?
False
Suppose -4*k + 94 = -6*k. Let a = -3 - -2. Let s = a - k. Is s a composite number?
True
Is 276/3 - 2 - 1 composite?
False
Let a be 10/(-6)*-3 + -2. Suppose 6*l - a*l = 177. Is l a composite number?
False
Let s(p) = p**2 + 9*p + 12. Let m be s(-8). Let q(n) = -n - 5 + 2*n - 2*n + n**2. Is q(m) composite?
False
Let m(c) = -4*c. Let w be m(2). Let f(a) = a**3 + 8*a**2 - 6*a - 14. Is f(w) a prime number?
False
Let o(w) = -15*w**2. Let i be o(2). Let l be (3/2)/((-4)/72). Let m = l - i. Is m composite?
True
Suppose 5*p = -5*x + 1095, -2*p + 4*x - 1098 = -7*p. Suppose -3*i - p = -6*i. Let y = i - 43. Is y a prime number?
True
Let z(s) = -164*s**3 + s**2 + s + 1. Let t be z(-1). Suppose -4*x = x - t. Is x a composite number?
True
Let z(x) = 2*x - 2. Suppose 0 = -2*s - 5*j - 14, -5*s = 5*j - 0 + 5. Let a be z(s). Suppose -p = -3*k + 212, -2 = a*p + 18. Is k prime?
False
Let b = -1 + 0. Let y = 11 - -12. Is y - (0 - (b + 1)) composite?
False
Suppose 4*d - 348 - 688 = 0. Is d a composite number?
True
Suppose 1 = 2*v - 3. Suppose v*r - 27 = 71. Is r prime?
False
Let d(h) = 85*h**2 - h - 11. Is d(-5) prime?
False
Is 2 - (-45354)/(6 + 0) prime?
True
Suppose f - 3*f = 2*v - 6, v = 3*f - 29. Suppose -2*y = -2*r + 14 + f, -y - r = 19. Let t = y - -34. Is t a prime number?
True
Let i(o) = o**2 - 3*o - 7. Let y be i(5). Suppose -y = -3*z + 6. Suppose -t + r + 43 = 8, 5*r = -z*t + 89. Is t a composite number?
True
Suppose -3*k + 8*k - 15 = 0. Suppose 6 = 3*w - 0*w. Suppose 108 = 3*u + k*g + 27, -w*g + 123 = 5*u. Is u composite?
False
Is (-1030)/15*(-9)/6 a prime number?
True
Let l = 6 - -1. Let u(y) = -y**3 + 9*y**2 - 1. Let v be u(l). Suppose -x = -0*x - v. Is x composite?
False
Let o be (-6)/4 - (-274)/4. Suppose 4*i = o - 11. Is i composite?
True
Let v be (-4 + -2)*2/(-3). Suppose -5*r = -2*c - 95, v*r - 72 - 4 = -3*c. Is r a composite number?
False
Let o(t) = t + 10. Let l be o(-10). Suppose 3 = -a - 5*s, 4*a + l*s = 5*s + 13. Suppose -v = -2*h + 163, 0 = -v + a*v - 3. Is h prime?
True
Is (-3143)/(-5) - (-16)/40 composite?
True
Let x be -8 - -12 - (-24 - -1). Let u be 1 - (2 + -1 + -8). Suppose 0 = m - x - u. Is m a prime number?
False
Suppose -2*d - d + 12 = 0. Suppose 2*f = 7*f. Suppose 0 = -d*j - i + 195, 5*i = -2*j - f*j + 93. Is j composite?
True
Suppose 367 = 7*j - 1194. Is j a prime number?
True
Suppose -165 = -5*m + 170. Suppose 2*a - 25 - m = 0. Is a a prime number?
False
Is -4 - (-134 - (1 + -4)) a prime number?
True
Suppose -260 = 6*i - 7*i. Suppose -1235 - i = -5*p. Is p a prime number?
False
Let b be 1242/5 - (-2)/(-5). Suppose 178 = -v + 9. Let s = v + b. Is s a prime number?
True
Let a(x) = x**2 - 5*x + 1. Let p be a(6). Suppose 0 = -g + 3 - p. Is 58*1*(-14)/g prime?
False
Let d(r) = 3*r - 4*r + 9 + 2*r. Let b be d(0). Suppose -a - 4*y - 6 = 0, 4*y = -3*a + b + 13. Is a a prime number?
False
Let x(u) = 90*u - 1. Is x(1) composite?
False
Let c be (2/4)/(1/(-2)). Let i = c + 1. Suppose 2*f - 14 - 32 = i. Is f a prime number?
True
Is (-40715)/(-135)*3 + (-4)/(-18) composite?
True
Let q be (-18)/(-4)*8/(-6). Is ((-26)/(-4))/((-1)/q) a composite number?
True
Suppose 2*r - 10 = -0*r, 0 = -4*p - 4*r + 1344. Is p prime?
True
Suppose 0*a + 1570 = 5*a. Suppose -5*v = -3*v - a. Is v a prime number?
True
Suppose -3*x - 421 - 8 = 0. Let a = x + 254. Is a a prime number?
False
Let v be -2 + 5 - (-5)/(-1). Is v/(-2)*(-28)/(-2) a prime number?
False
Let t = 810 + -551. Is t a prime number?
False
Suppose 0 = -d - 3*d - 12. Let g(j) = 2*j**2 - 25*j - 28. Let s(v) = -v**2 + 13*v + 14. Let z(q) = d*g(q) - 5*s(q). Is z(10) a prime number?
False
Let t be 0/(2/(0 + 1)). Suppose -4*l + 303 + 461 = t. Is l prime?
True
Suppose -3*m + 2*m - 2*j - 14 = 0, -3*m + 3*j = -3. Is (15/m)/((-6)/16) a prime number?
False
Let l be -36 - (-2 + 1 - -1). Let t = 149 + l. Is t prime?
True
Let z(f) = -f**3 + 8*f**2 - f + 11. Suppose 2*j - 22 = 2*l, -l + 4*l = j - 17. Let q be z(j). Suppose -q*k - 59 = -326. Is k a composite number?
False
Let w = -66 + -308. Let k = 585 + w. Is k a prime number?
True
Suppose -5*k + 36 = -19. Suppose p + k = u, 3*p - u + 26 = -5*u. Is ((-4)/(-10))/((-1)/p) a composite number?
True
Let g = 343 + -53. Let z = 409 - g. Is z prime?
False
Let z(v) = -166*v - 11. Is z(-13) prime?
False
Let k = -385 - -887. Is k composite?
True
Let m(c) = 61*c**2 - 8*c + 6. Is m(7) prime?
True
Let d(w) = -w - 11. Let b be d(-8). Let m be 109 - (2 + -1 + b). Suppose -3*k + 0*k + m = 0. Is k a composite number?
False
Suppose -3*h - 4*v + 22 = 0, 0 = -h - h - 4*v + 16. Suppose k - 3*g + 460 = h*k, -104 = -k - 3*g. Is k prime?
True
Let i be -6 - (1 - (2 - 1)). Let d(v) = v**2 + 2*v - 1. Is d(i) a prime number?
True
Let j(v) = v**3 - v**2 - 5*v. Let t(h) = h**2 + 1. Let w(a) = j(a) + 6*t(a). Is w(-5) a composite number?
False
Let v be 4*(-3)/(-18)*3. Suppose 0 = f - v, -2*f = -p + 65 - 11. Is p prime?
False
Let n be 6/(1 + 2) + -5. Let r be 2/6 - (-1)/n. Suppose r = -3*t + 51 + 120. Is t composite?
True
Suppose 0 = -i - 2*i + 18. Is (-142)/(-6) - 4/i a prime number?
True
Suppose 0*v = 2*v. Let q be (0 + 2)*1 + v. Suppose -c = q + 1, -5*o - 3*c + 6 = 0. Is o prime?
True
Let d be (-2)/1 + 4 + 1. Let x = 57 - 41. Suppose -d*i + x = -2. Is i a prime number?
False
Suppose 435 = -5*z + 5*t, -t = 2*z - 6*z - 336. Is (-1 - z - 3)*1 a prime number?
True
Suppose 0 = w - 3*w - 10. Let s be (-2)/w*(3 + 7). Suppose 0 = 3*a + 12, s*a + 31 = 8*c - 3*c. Is c a composite number?
False
Let v(z) = -z - 2. Let r be v(-6). Suppose -r*t - 1150 = -9*d + 4*d, 727 = 3*d + 5*t. Suppose d = 3*i + x, i - 2*x = 5*i - 314. Is i composite?
True
Suppose 13 = -3*x + a - 3*a, 2*x - 2 = -4*a. Let t = -48 - x. Let u = -10 - t. Is u a prime number?
True
Let d(t) = 78*t**2 + 3*t + 12. Is d(5) composite?
True
Suppose 0*a - 3*a - 75 = -3*n, 0 = -5*a - 15. Let p = n - -3. Is p a composite number?
True
Let k(i) = i**2 - 8*i + 7. Let g be k(6). Let h be (-1652)/g + 3/5. Suppose -4*v + 697 + h = 0. Is v composite?
False
Let b(w) = -27*w**3 - 3*w**2 - w - 5. Let o(m) 