 2*d = -3163. Is u prime?
True
Let q = -25 - -35. Suppose 5*i = 3*i + q. Suppose -i*g = -27 - 78. Is g a composite number?
True
Let q(u) = 68*u - 1. Is q(3) prime?
False
Suppose -5*m = -134 - 461. Is m a prime number?
False
Let k(o) = -o**2 - 6*o + 10. Let c be k(-7). Suppose -3*q = -6, -c*v = -0*v + 2*q - 13. Suppose -v*d - 815 = -8*d. Is d composite?
False
Let z be (-3)/(-6) - (-2)/(-4). Suppose -394 = -j + 3*k - 2*k, 3*j + 5*k - 1190 = z. Is j a composite number?
True
Suppose -4*a + 4 = 2*m, 5*m + 4*a - 16 = -0*a. Suppose y + 0*o = -m*o + 183, 2*o = -10. Is y prime?
False
Suppose -2*a - 5*q = 2*a - 27, 4*a + q - 15 = 0. Suppose 0*j + 12 = a*j, n - 51 = -5*j. Is n prime?
True
Let n = -75 - -140. Is n prime?
False
Suppose 10*s = 3275 - 225. Is s a prime number?
False
Is -1 - (-110248)/15 - 4/(-30) a composite number?
False
Let r be (-3 + 0)*4/6. Let u be ((-3)/6)/(1/r). Is (-14*(-3)/3)/u prime?
False
Suppose -12 = 3*k + 3*z, 4*z = -k - 13 - 3. Let h(a) = a**3 + 5*a**2 - a + 1. Let i be h(-5). Is k - (-3)/(i/38) prime?
True
Suppose 5*w = -4 + 74. Let r = 23 - w. Is r a prime number?
False
Suppose x + 0*x + 3*y - 20 = 0, 5*x = -3*y + 52. Let p = -6 + x. Suppose -3*z = -r - r - 423, -p*z + 4*r = -274. Is z prime?
False
Is ((-30)/(-18) + -2)*-13191 composite?
False
Suppose -314 - 1094 = -4*q. Suppose 5*x = h + q, 5*x - 364 = -2*h - h. Is x prime?
True
Let h(l) = 0*l**2 + l**2 + l - l**3 + 6 - 5*l**2. Suppose -21 = 4*p - 1. Is h(p) a composite number?
True
Suppose -4*t = -20, -r + 10 = 2*t + 49. Let i = r - -134. Is i composite?
True
Let q = -9 - -34. Let l = q + -12. Is l a prime number?
True
Let x = -2 - -4. Let a be (-194)/4 + x/(-4). Let y = a + 128. Is y a prime number?
True
Is 37317/14*-4*1/(-2) composite?
True
Let k = -4 - -38. Let b = k + -12. Is b prime?
False
Let o = -205 - -62. Let k = -24 - o. Is k a composite number?
True
Let b(p) = -p**2 + 4*p + 1. Let j be b(3). Let i(g) = g + j + 2*g**2 + 2*g**2 + 2*g**2. Is i(-5) a prime number?
True
Suppose -2*y + y + 15 = -4*d, 0 = -2*d - 6. Suppose -5*z - 15 = 5*w, -y*w + w = -2*z - 10. Is w*-1*-1*21 prime?
False
Let l be 649 - (-5)/((-5)/(-3)). Suppose 6*g - 10*g = -l. Is g prime?
True
Is -4 - 378/(0 - (-2)/(-7)) a prime number?
True
Suppose -u - 3*u + 32 = 0. Let n be 14/3 - u/12. Is 315/n - 3/(-12) composite?
False
Let u(a) = -a - 6. Let z(d) = -2*d - 12. Let q(f) = 7*u(f) - 3*z(f). Let m be q(-6). Suppose m = -4*w + 3*o + 463, -2*w + 124 = -5*o - 97. Is w prime?
False
Let k = 1243 - 446. Is k a composite number?
False
Let l(s) = s**2 - 3*s + 37. Is l(-9) a prime number?
False
Let d = 203 - -1434. Is d a composite number?
False
Let f(x) = -x - 4. Let h be f(-2). Let z(w) = -227*w - 5. Is z(h) prime?
True
Suppose -16*w = -17*w - 77. Let b = 4 - 46. Let i = b - w. Is i composite?
True
Let v = 20 - -39. Suppose 3*m - 2*k = 129, 2*k + 115 + v = 4*m. Is 1/(-5) - (-1584)/m composite?
True
Let j = -2 + -1. Is (2 + j)*22/(-2) a prime number?
True
Let h = 614 + -419. Let d = 59 + h. Is d composite?
True
Suppose t = -t. Is (1 - (2 - t))*-214 a prime number?
False
Let u be ((-12)/(-9))/((-1)/(-6)). Is 221/4 - u/32 a prime number?
False
Let o be ((-9)/6 + 1)*2. Let r be 2*(2 + -1 - o). Suppose r*k = 18 + 26. Is k a prime number?
True
Let c(w) = w + 2. Let h(t) = 1. Let i(n) = 4*c(n) - 9*h(n). Let j be i(3). Suppose -j = -0*g - g. Is g composite?
False
Let q(j) = j**2 - j + 127. Suppose -5*m = 4*a + 15, -3*a + 12 = 5*m + 27. Is q(a) a composite number?
False
Let w(y) = 67*y**2 - 2*y + 1. Let f be w(-3). Suppose 503 = 5*j - j - q, 0 = 5*j - 5*q - f. Is j a composite number?
False
Suppose -5*h + 5066 = -2074. Let j = 2011 - h. Is j a composite number?
True
Let k = 55 - 13. Is k*(2 + 0) - 1 composite?
False
Let k be -2*(2/(-1))/1. Suppose -k*r = r - 1655. Is r prime?
True
Suppose -25 = -5*n, -n + 5*n = 4*x - 552. Suppose -3*y + x = -214. Is y prime?
False
Let q be ((-8)/12)/(4/(-30)). Suppose 0 = -4*o - 4*x + 28, 5*o - 17 = q*x + 48. Let v(d) = d**3 - 10*d**2 + 4*d - 6. Is v(o) composite?
True
Suppose -6*r + 394 = -4*r. Let g = 282 - r. Is g composite?
True
Let z(d) = -76*d**3 + 1. Is z(-1) a composite number?
True
Let h be 21/(-4) + 10/40. Let l be (39/(-6))/(h/40). Suppose -2*s = 5*a + s - 67, 4*a + 2*s = l. Is a a prime number?
True
Let c(s) = 11*s - 18. Let a be c(9). Let z = a - 14. Is z a prime number?
True
Let y = -3 - -5. Suppose -y*b - 2286 = -2*d + 2*b, d - 5*b - 1143 = 0. Is (2/(-3))/((-6)/d) composite?
False
Let o = 12 - 6. Suppose 465 = o*u - u. Is u composite?
True
Let j(s) = s**2 + s - 1. Let d be j(-2). Let n(k) = 29*k + 0 - 1 + 51*k. Is n(d) a composite number?
False
Let g = -71 + 142. Let z = g - -18. Is z composite?
False
Let p = -98 - -10. Let d be p*(70/(-8))/7. Let q = 199 - d. Is q a prime number?
True
Suppose -3*c = -6*c + 9. Suppose c*a + 181 = 577. Let w = a - 53. Is w composite?
False
Suppose -m = -5*m + 20. Suppose u = -2, -3*u + 157 = 3*j - m*u. Is j a prime number?
False
Let h(q) = 2211*q**3 + 2*q**2 - 1. Let y be h(1). Let n = y - 1571. Is n a composite number?
False
Suppose -2*w - 2*d = -54, -4*w + 44 = -4*d - 72. Let n be (-266)/(-95)*1*-5. Let v = n + w. Is v a composite number?
True
Let y be ((-10)/4*-2)/1. Suppose -y*a + 400 = -915. Is a a composite number?
False
Suppose 2*w - 6*w + 1948 = 0. Is w a composite number?
False
Let b(r) = -r**2 + 11*r - 12. Let o be b(9). Is o + 254 - (2 - 1) a composite number?
True
Let x = 1552 - 1015. Is x composite?
True
Let v = -11 + 330. Is v composite?
True
Let v be (-4)/(-14) - (-430)/14. Let i(a) = -a**3 + 8*a**2 + 4. Let x be i(8). Let f = v + x. Is f a composite number?
True
Let u = -310 + 533. Is u a prime number?
True
Let y(f) = f**3 + 11*f**2 + 8*f - 13. Let j be 18*(1 - 6/4). Is y(j) prime?
False
Let n(v) = -39*v + 1. Let s = -7 - -13. Suppose 2*k + k + s = 0. Is n(k) composite?
False
Is (-26)/91 + (-11946)/(-14) prime?
True
Let h = 165 + -46. Is h a prime number?
False
Suppose -5*d + 272 + 173 = 4*i, -4*d - 4*i = -356. Is d prime?
True
Let n(y) = 3*y + 2*y**2 - 5*y - 3*y**3 + 2*y**3. Let a be n(2). Is 561/27 + a/(-18) composite?
True
Suppose -i = 4*i. Let l(b) = -65*b**3 + b - 1. Let s be l(1). Let q = i - s. Is q a prime number?
False
Suppose 0 = -0*d + 4*d. Suppose d*c - 2*c = -130. Is c a composite number?
True
Let s = -6299 - -9018. Is s a composite number?
False
Suppose 2*v = -0*v + 268. Suppose -499 = -3*i + v. Is i prime?
True
Let h = 19 - 15. Is 262/h - (-24)/16 a prime number?
True
Suppose g = -4*s + 621, -3 + 18 = -3*s. Is g composite?
False
Suppose -5*l + l + 18859 = 5*u, 4*l - 4*u - 18832 = 0. Is l prime?
False
Let q(j) = 5*j + 0 + 7 - 3. Let a be q(3). Let f = a + 32. Is f prime?
False
Suppose 6*b - 15 = b. Let k(d) = 12*d**3 - 2*d**2 - 2*d + 1. Is k(b) a prime number?
False
Let x = 10 - 6. Let r(k) = 6*k**2 - 7*k + 5. Let n(b) = 3*b**2 - 4*b + 3. Let q(g) = -7*n(g) + 4*r(g). Is q(x) a prime number?
True
Suppose k = -c + 4*c + 264, k = -4*c - 345. Is (1 + -3)/(2/c) a prime number?
False
Let h be -2 - -1 - 0 - 4. Let c = 14 + h. Suppose -c = 4*w - 37. Is w a prime number?
True
Suppose 2*t = 2*w + 6182, 10*t = 6*t + w + 12358. Is t prime?
True
Let y = 7 + -7. Suppose -4*h + 4*r - 243 + 703 = y, 4*h + 5*r - 460 = 0. Suppose 3*f = -2*k + h, 25 = k + 2*f - 34. Is k prime?
True
Suppose 0 = l + l - 14. Let j = -3 + l. Suppose -3*w = -5*b - 119, j*w + 3*b - 87 = w. Is w prime?
False
Suppose -2 = j + 5*a, -5*j = -j + a - 11. Let m = -445 + 750. Suppose 2*r = j*v - m, 1 + 195 = 2*v - 5*r. Is v composite?
False
Suppose -2*r + r = 10. Let b be 4/r + 3/(-5). Is b/(-2) + (-73)/(-2) prime?
True
Suppose -6 - 4 = -5*w + 2*j, -2*j + 10 = 0. Let y(f) = 7*f**2 + 2*f + 7. Is y(w) prime?
True
Let j(z) = 3*z**3 + 2*z**2 - 1. Let f be j(1). Suppose -3*r + 31 = w - 15, -f*r + 4*w + 72 = 0. Suppose -4*g - r = 0, 4*g - 53 = -4*s + 7. Is s prime?
True
Suppose -2*a + 25 = -5*c, a - 5*a + 5*c + 35 = 0. Suppose -a = -z + 1. Suppose 4*v + 3*m - 41 = 0, 4*m + 42 + z = 2*v. Is v composite?
True
Suppose 25 = 3*v - 3*m + 10, -5*v + m + 5 = 0. Suppose v = -4*g + 3*g + 33. Is g prime?
False
Suppose -4*b = 5*w - 2495, -4*w = 4*b - b - 1997. Is w a composite number?
False
Is (-732)/(-8) + 2/(-4) prime?
False
Suppose -y + 4*g - 14 = 0, 3*y + 0*g = -4