se -2*w - 22 = -v*n - 0*w, 18 = n + 2*w. Is n + 2*-1*1 a prime number?
False
Let i(x) = 183*x**2 - 15*x + 5. Is i(6) a composite number?
True
Let i(v) = -2*v**3 + 8*v**2 + 3*v + 7. Let j be i(6). Let y = j - -289. Suppose y - 5 = 3*s. Is s a composite number?
True
Suppose -l = -0*l - 3. Suppose -l*v = v. Suppose v = -4*d + d - 2*m + 175, 4 = -4*m. Is d a prime number?
True
Let k(y) = y**3 - 2*y. Let s be k(3). Let z be 1/(s/9 + -2). Suppose -3*t - t + m + 143 = 0, 0 = m + z. Is t a prime number?
False
Suppose -3*l + 0*l = -489. Is l composite?
False
Let j(p) = p**3 - 9*p**2 + 28*p - 3. Is j(8) prime?
True
Let q = -393 + 802. Is q composite?
False
Let b(m) = -16*m**3 - 23*m**2 + 10*m - 2. Is b(-7) a prime number?
True
Let y(f) = 31*f**3 + 1. Let x be y(-1). Let r be 2/10 + 576/x. Let u = -12 - r. Is u prime?
True
Let o(w) = w**2 + 5*w + 3. Let n be o(-5). Suppose -2*c + 5*c = -6, -n*a + 4*c + 1343 = 0. Is a composite?
True
Let q = -14 - -16. Suppose 5*y - 82 + 290 = 4*r, -227 = -5*r - q*y. Is r composite?
False
Suppose -50 = -4*t - 6. Suppose q = -z + t + 3, 3*z - 30 = 3*q. Is 4/z - (-74)/3 a composite number?
True
Suppose 2*n = 3*n - 5. Suppose -3*z + 476 + 1871 = 2*y, 0 = z + n*y - 765. Is z a composite number?
True
Is 1/(1 + (-1560)/1564) a prime number?
False
Let o(d) = 3*d**3 - 2*d**2. Let s be o(2). Let p = -11 + s. Let v = -3 + p. Is v composite?
False
Let v(j) = j + 5. Let p be v(-5). Suppose 0 = -7*b + 4*b, p = x - b + 5. Let n(m) = m**3 + 7*m**2 + 3*m + 2. Is n(x) a composite number?
False
Suppose 3*m = 4*i, -m = -0*i - 2*i - 2. Is (m + -2)*(-314)/12 a prime number?
True
Let j(n) = -6*n**2 + n**3 + 6*n**2 - 1. Let p be j(3). Suppose 0*k = -k - 4*s + 22, 0 = -k - 5*s + p. Is k composite?
True
Suppose 2*r - 235 = r. Is r prime?
False
Let u(k) = k**3 - 5*k**2 - 3*k + 2. Let i be u(6). Suppose -3*t - t = z - 4, 5*z - t = i. Is z a composite number?
True
Suppose -3*h + t = -12, 2*h + 4*t + 2 = 10. Suppose 3*u = u - 2*b + 326, 0 = 2*u + h*b - 326. Is u composite?
False
Let v(o) = -o**3 + 7*o**2 + 4*o + 7. Is v(-5) composite?
True
Suppose 2*h - 29 = 5*d - 138, -3*d = 5*h - 53. Suppose 56 - 7 = 3*b - 4*u, -b + d = u. Is b composite?
False
Suppose 5 = 3*p + 2*p. Let n be 1/(-1 + p/2). Is 6*2*n/(-4) a composite number?
True
Let j = 251 - 138. Is j prime?
True
Let k(a) = -290*a - 19. Is k(-6) a composite number?
False
Is (-1)/(4 - 7623/1905) composite?
True
Let b = -51 - -98. Let v = b + -28. Is v composite?
False
Suppose -u + 524 = u - 3*j, 3*u - 797 = -j. Suppose n + 210 = 3*r - 2*n, 4*r - n - u = 0. Is r composite?
True
Suppose 0 = 3*l + 5*z - 189 - 249, -l = -5*z - 126. Is l composite?
True
Is (2 + 1 + -2)*127 a composite number?
False
Suppose m + 2 - 5 = -3*l, -5*l = 2*m - 8. Let n = m - 6. Is n/(-6)*(-236)/2 a composite number?
False
Let n(q) = -4*q - 2*q - q**2 + 7*q + 233 + 0*q**2. Is n(0) a prime number?
True
Suppose g - 2*i = 315, 744 = 3*g + 5*i - 245. Is g prime?
False
Suppose -5*k + 25 = 160. Let r = -14 - k. Is r prime?
True
Suppose -42 = -2*u - b, 0 = -3*u + b + 2*b + 45. Is u composite?
False
Let m(x) = -4*x + x**3 + 7 - 5*x**2 + 3*x + 4*x**3 - 4*x**3. Let s be m(5). Suppose 115 = 3*a - s*a. Is a a composite number?
True
Is 2/(-5) + (-1)/(10/(-514)) prime?
False
Suppose 4*l + 123 = -229. Let j = l - -267. Let f = j - 112. Is f a prime number?
True
Let f(c) = c**3 - 12*c**2 + 15*c + 11. Is f(12) a prime number?
True
Suppose 3*z = -1119 + 7566. Is z a prime number?
False
Suppose 0 = 2*v - 0*v - 12. Let b(l) = 6*l - 1 + 4 + 5 - 1. Is b(v) a composite number?
False
Let d(s) = s**3 + 3*s**2 - 2*s + 4. Let r be d(-4). Let g(w) = -8*w - 6. Is g(r) a composite number?
True
Let r(f) = -f**2 + 6*f - 1. Let m be r(6). Let d be 606/(2/2 - m). Suppose 5*z - 4*w = 405, -z - w + d = 3*z. Is z composite?
True
Suppose -3*g + 665 = -94. Is g a prime number?
False
Let g = -299 - -464. Let o = 308 - g. Is o a composite number?
True
Is (-7)/((-168)/2886) - 6/(-8) prime?
False
Suppose -l + 3*i + 41 = 0, 4*i = i - 6. Let g = l + -12. Is g prime?
True
Let c be (54/(-21))/((-12)/56). Let v = 23 - c. Is v prime?
True
Suppose m = -4*m + 10. Suppose -b + 62 = 5*k - 90, k = m*b + 37. Is k composite?
False
Let d(w) = 33*w**2 + 2*w + 4. Is d(5) prime?
True
Let m be 6 + -5 - -44*2. Suppose -k + 5*l = -m, 0 = -3*k - 2*l + 43 + 292. Is k composite?
False
Let r(p) = -5*p + 2. Let j be r(-2). Suppose j = -s + 5*s. Suppose 0 = -s*u + 6 + 36. Is u prime?
False
Suppose 3*l - 445 - 3103 = -4*v, 3*v - 1186 = -l. Suppose -4*x + 0*x + l = 0. Is x a composite number?
True
Is (3/(-15)*-5)/(1/263) a prime number?
True
Let z be 24/18*9/4. Is (-2)/(4/(-426)*z) a composite number?
False
Suppose -5*g + 40 = 5*k, -5*k + 4*g - 3 = 2. Suppose -2*s + 5*i = -2 - 87, 0 = -4*s - k*i + 243. Is s a prime number?
False
Let f be (7 - 2/1)/1. Suppose v = -0*v + f. Suppose j - v*j = -88. Is j a composite number?
True
Let m = -86 + 379. Is m prime?
True
Is (-1508)/(-6) + 3/(-9) a composite number?
False
Let t(n) = -2*n - 8. Let g be t(-6). Suppose g*p - 3*p = 5*x - 573, 0 = -4*x + 5*p + 450. Is x a composite number?
True
Let n(y) = -y + 3. Let k be n(-9). Let d = k + 41. Is d a prime number?
True
Let l be (-55)/15 - 2/(-3). Is 3/2*(-134)/l prime?
True
Let k(a) = 759*a**2 - 3*a - 2. Let t be k(-1). Suppose -5*l + 1875 - t = 0. Is l composite?
False
Let i(u) = 335*u**2 - 9*u - 31. Is i(-3) a prime number?
True
Suppose 0 = -0*o + 4*o - 508. Is o composite?
False
Let i(k) be the first derivative of 2*k**3 + 6*k**2 - 7*k + 3. Is i(-9) a prime number?
False
Let y(q) = 2*q - 6. Let a(j) = -j**3 - j**2 - j - 1. Let s be a(-2). Let v be y(s). Let u = 51 + v. Is u prime?
False
Suppose -14*x + 9*x + 12475 = 0. Is x a prime number?
False
Suppose 2*n = 8*b - 3*b + 55, -n + 8 = 4*b. Suppose z - n = -z. Is z a prime number?
False
Let r(v) = 26*v + 3. Is r(6) a composite number?
True
Let m be -40 - (4 - 1) - 1. Let d = -19 - m. Is d a prime number?
False
Let h(z) = 33*z**2 - 2*z - 2. Is h(-1) a prime number?
False
Let q be -415*(3 - (-17)/(-5)). Suppose 4*u - 1654 - q = 0. Is 6/(-8) - u/(-20) prime?
False
Suppose -y + 1170 = 4*y. Let m = 59 + y. Let z = 420 - m. Is z a composite number?
False
Let j(d) = -85*d - 29. Is j(-3) a composite number?
True
Let g be (-4)/6*6/4. Is (g/(-3))/((-1)/(-417)) a composite number?
False
Let t(y) = 3*y**2 - y**3 - 2 - 3*y + 2*y - 6*y**2. Suppose 0 = 5*z - 0*z + 25. Is t(z) prime?
True
Let j be 3/6*(0 - 0). Is 0 - (-19 - j/1) a composite number?
False
Suppose 0*r + 32 = s - r, 5*r = 4*s - 129. Is s prime?
True
Suppose -9 = 5*r - 674. Is r a composite number?
True
Let f be (-2)/(-9) + (-869)/(-99). Let h = f - -5. Is h a prime number?
False
Suppose 4*c = -g, -4*g = c - 0*c - 15. Let s = c - 1. Let w(l) = 2*l**2 - l + 1. Is w(s) a prime number?
True
Suppose -2*v + 288 = w, 3*w = -v + 6*v - 731. Suppose -c = -5*f + 129, v = 5*f - 7*c + 2*c. Is f a composite number?
True
Suppose -548 = -3*u + u + 2*l, u - 2*l - 274 = 0. Let v = 465 - u. Is v prime?
True
Let f(g) = -g**2 - 5*g - 4. Is f(-3) prime?
True
Let t be (-1)/(-3)*(8 + -2). Suppose -t*y + 140 = 2*y. Is y a composite number?
True
Suppose -126 = 3*r - 0*r. Suppose -5*y - 4 = 11, 107 = 2*a + y. Let v = a - r. Is v a composite number?
False
Suppose 4*z + 16 = 0, 5*q + 3*z = 2*z + 1311. Is q a prime number?
True
Let a(t) = 3*t**2 + 4*t - 1. Let b(r) = -r**2. Let k be b(2). Let f be 1/k + 105/(-28). Is a(f) composite?
False
Let t(q) = q**2 - 7*q - 4. Let o be t(8). Suppose o*n + 16 = 88. Let z = 55 - n. Is z prime?
True
Suppose 0 = 5*a - 4 - 11. Suppose 206 = 4*z + a*v, -5*z + 275 = -4*v - v. Is z a composite number?
False
Let j(b) = 18*b + 12. Let f(z) = -z + 1. Let o(r) = -5*f(r) + j(r). Is o(14) a prime number?
False
Let d(a) = a**3 - 4*a**2 + 2. Let k be d(3). Let b = 15 + -13. Is k/(1/(-14)*b) prime?
False
Let s(g) = g**3 + g + 177. Let c be s(0). Let h = -110 + c. Is h composite?
False
Let d be 5/((-30)/(-2308))*18. Is (-4)/14 - d/(-28) a prime number?
False
Let i(q) = 0 - q**3 + 13 - 3 + 9*q - 7*q**2. Let w be i(-8). Let x = w - -17. Is x a composite number?
False
Let u = -52 + 353. Is u prime?
False
Suppose 1311 = 2*q + 425. Is q composite?
False
Let r be ((-1)/(-3))/(3/18). Is 4/(-3)*(-39)/r prime?
False
Suppose -2*b