**2 + 3*n - 2*n**2 + 135. Is t(v) a prime number?
True
Suppose 2*b - 2*h = -b + 625, 0 = 3*h + 6. Suppose -4*w + 317 = -b. Is w composite?
False
Suppose -z - 72 = -3*w - w, 3*z = -3*w + 69. Is w prime?
True
Let m be 50/6 + 1/(-3). Let x(w) = -w**3 + 9*w**2 + w + 5. Is x(m) composite?
True
Suppose 3*q = 9, 3*b + 0*b + q = 18. Suppose 3*r - 3260 = -2*r. Suppose x - b*x = -r. Is x a composite number?
False
Let d = 83 + -59. Is (0 - -291) + d/12 a prime number?
True
Suppose 0 = 3*f - 8*f + 815. Is f composite?
False
Suppose v = -v + 10. Let x(o) = 0 + 8*o - 5 + 0. Is x(v) a composite number?
True
Is ((-60)/(-16))/3*4*233 prime?
False
Suppose 0 = v - 1630 + 87. Is v a composite number?
False
Let h(n) = 14*n + 9. Let l be h(-13). Let p = l - -262. Is p prime?
True
Let i(g) = g + 1. Let u be i(4). Suppose -4*n = 2*o - 16, -u*o + 3 = -5*n - 7. Suppose -n*a = 4*p - 9*p + 179, 2*p = 5*a + 59. Is p a composite number?
False
Suppose 3*r + 5*h - 34 = 0, 2 = 2*r + 4*h - 24. Suppose 2*i = -r*f + 184, 495 - 52 = 5*i - f. Let j = i - 52. Is j composite?
False
Let l(r) be the first derivative of -r**3/3 + r**2/2 + r + 2. Let z be l(0). Is ((-2)/4)/(z/(-74)) a composite number?
False
Let q = -2604 - -4425. Is q a composite number?
True
Let j = 774 - 244. Suppose 0*c - 5*c - j = 0. Let z = -59 - c. Is z a composite number?
False
Let z(b) = -113*b - 3. Is z(-2) composite?
False
Suppose 4*s + 2*d - 18182 = 0, -5*s - 5070 = 2*d - 27799. Is s a composite number?
False
Suppose 0 = 19*l - 24*l + 75. Is l a composite number?
True
Let s(x) = -x**3 - 7*x**2 - 7*x - 7. Let d be s(-6). Is ((-95)/2)/(d/2) composite?
True
Let b(h) = 517*h**2. Is b(1) composite?
True
Suppose -4*d = -0*d - 12. Suppose -d*m = -2*u - m + 114, -u + 55 = -2*m. Is u prime?
True
Suppose -5*x + 152 = 4*u, -3*x + 144 = -3*u + 7*u. Suppose 0 = 4*m - u - 23. Is m prime?
False
Let x(d) = d**2 - 7*d - 11. Let j be x(7). Is (3/3 - j) + 2 prime?
False
Suppose 5*p - 109 = -39. Let n be (-6)/(-21) + 66/p. Suppose 40 + 77 = n*a + 3*c, 0 = 5*a - 2*c - 97. Is a prime?
False
Suppose 8*j - 3*j + b = 11, 3*b - 3 = -5*j. Let i = -3 - j. Is (-3)/i*-2*-7 composite?
False
Suppose -2*a + b = -5*a - 19, -2*a - b - 14 = 0. Is a + 3 + 24/2 a composite number?
True
Let t = -14 + 93. Is t a prime number?
True
Let w(u) = 73*u - 9. Let j be w(-5). Let h = -233 - j. Is h composite?
True
Let i = -25 - 10. Let y be 16/6*357/14. Let j = y + i. Is j a composite number?
True
Let y(c) = 2*c**2 - 15*c + 5. Is y(12) a prime number?
True
Suppose -x - 8 = -3*x. Suppose 274 - 46 = x*k. Suppose 0 = 5*j - k + 22. Is j prime?
True
Let w(r) = 5*r**2 + r + 1. Let g be w(5). Suppose -4*n + 15 = -n. Suppose 5 + 91 = 2*d - 2*o, 0 = 2*d + n*o - g. Is d a prime number?
True
Let d(k) = -14*k**2 + 9*k - 7. Let r be d(10). Is (-14)/35 + r/(-5) a composite number?
False
Is (-4 + 26/(-2))*-167 composite?
True
Is 1/((-8)/556*1/(-2)) a prime number?
True
Suppose 2*d - 12 = -r, 2*r - d - 11 = 38. Is r a composite number?
True
Suppose -4*b + 5*b + 56 = 0. Let c = b + 125. Is c composite?
True
Is 2997/39 + (-14)/(-91) a prime number?
False
Suppose -4*c = -3*g + 19, -2*c + 0 = g + 7. Suppose 0 = -p + g. Is p + 1 - 2 - -49 a prime number?
False
Let r(w) = w + 7. Let l be r(-7). Suppose -5*v + 4*g + 161 - 26 = l, v - 4*g - 43 = 0. Is v prime?
True
Let s(d) = -d**3 - 6*d**2 + 8*d - 7. Let l be 20/(-6)*12/5. Let n be s(l). Suppose n = 4*f - 139. Is f composite?
True
Suppose -3*d + 761 = 4*l, 2*d + 4*l + 243 = 3*d. Is d a composite number?
False
Let d = 5 + -7. Let o = -17 - 1. Is (4 - o)*d/(-4) prime?
True
Suppose -378 = -3*z + 3*v, 0 = -5*z - v + 364 + 272. Is z prime?
True
Let s = 7 + -4. Is s*4 + (1 - 0) composite?
False
Suppose -2*n - 621 = -2*b - 3*n, 609 = 2*b + 5*n. Let u = -17 + b. Suppose 0 = -2*w - 3*w + u. Is w prime?
True
Let d = 120 - -221. Let y = -226 + d. Is y a composite number?
True
Let x be (23/2)/1*-2. Suppose -g + 31 = -87. Let f = g + x. Is f composite?
True
Let v be (4/(-6))/(14/105). Suppose -3*q - 4 = 4*c + 4, -3*q + 27 = -3*c. Is v/(-20) + 211/q a prime number?
True
Suppose 2*g = 2*q + 14, 4*g - 14 = -5*q + 5. Suppose -6 = -3*c - 2*d + 10, d - g = -c. Suppose 0*z - z + 71 = -4*a, c*z - 224 = -4*a. Is z a prime number?
True
Suppose l = q + 550, 5*l - 1276 = -2*q + 1495. Is l prime?
False
Suppose -2*c + 338 = -4*w, c - 4*w = 3*c - 314. Is c composite?
False
Let q(b) = 5*b**2 - 4*b. Suppose -21 = -2*l - 0*o + 5*o, 0 = -l - o. Is q(l) a prime number?
False
Let l(f) = -16*f - 1 + 1 + 3 - 2*f. Let k be l(-5). Let t = 226 - k. Is t prime?
False
Let d(y) = -y**3 + 9*y**2 + 2*y - 3. Is d(7) prime?
True
Let d(v) = -364*v**3 - v**2 - 2*v - 1. Let a be d(-1). Suppose 0 = l + 3*l - a. Is l composite?
True
Suppose -17*m + 19*m - 596 = 0. Is m prime?
False
Let t be 9/1*2/(-2). Suppose 4*c - 5*h - 38 = 0, -c + 0*c + 11 = -2*h. Is (-6)/(1 + t/c) a composite number?
True
Let l = -3 - -3. Suppose l*f = 5*f. Suppose 4*p + n - 655 = -0*p, 4*p - n - 649 = f. Is p prime?
True
Let l be (-5 + 6)/(2 - 1). Let h(t) = 655*t. Is h(l) a prime number?
False
Let v(l) be the second derivative of -l**5/20 + 7*l**4/12 + l**3/6 + l. Let b be v(5). Let z = 114 - b. Is z a composite number?
False
Suppose -2*a - 2*o = -0*a - 8, a - 5*o + 8 = 0. Let h be (-20)/a*1/(-2). Suppose 115 = h*i + v, 1 = 4*i - v - 82. Is i a prime number?
False
Let d(m) = -6*m**3 - 5*m**2 - 5*m - 36. Let l(v) = 0*v - 5*v**3 - 35 - 7*v + 3*v - 4*v**2. Let z(j) = 4*d(j) - 5*l(j). Is z(0) a composite number?
False
Suppose -2*b - 1 + 5 = 0. Suppose -5*q - 2*k = -1861, -b*q - k = 2*k - 751. Is q composite?
True
Let x = 10 - 6. Suppose x*w - 280 = -3*b, 2*b = -w + 5*b + 55. Is w composite?
False
Let o be 2/4 + (-7)/(-2). Is -1 - (-88 + (2 - o)) prime?
True
Let p be 15*2 - (1 - 1). Let t = p + -13. Suppose -l + 16 + t = 0. Is l composite?
True
Let w = 4 - 8. Is 293 - 6/(1 + w) prime?
False
Suppose 7*c = 2*c. Suppose q + 7 = -c*q. Let w(j) = 7*j**2 + 4*j - 10. Is w(q) a prime number?
False
Let a be -3*(26 - 0) - 4. Let u = a - -1253. Is u prime?
True
Suppose -1382 = -4*q - 34. Is q a prime number?
True
Let j = 11 - 15. Let a(p) be the second derivative of -p**5/20 - p**4/4 - p**3/6 + 3*p**2/2 - 2*p. Is a(j) a composite number?
False
Let z(v) = -37*v + 33. Is z(-10) composite?
True
Let j = -319 - -545. Is j a prime number?
False
Let f = 113 + -391. Let h = -31 - f. Is h composite?
True
Let h = 1155 - 78. Is h composite?
True
Suppose -26*g + 18*g + 18024 = 0. Is g prime?
False
Suppose 4*n - 653 = 3*n. Is n a composite number?
False
Let w(l) = -l**2 + 13*l + 10. Let i be w(7). Suppose 0*c + i = 4*c. Suppose -17 = -3*g + c. Is g a prime number?
False
Suppose 5*f - 6 - 14 = 0. Suppose -142 = -4*d + 7*l - 2*l, 0 = f*d + 5*l - 122. Is d prime?
False
Let h(y) = -y**3 - 7*y**2 + y + 10. Let n be h(-7). Suppose 0 = -2*k + k + 4*c + 75, -5*c = -n*k + 246. Is k prime?
False
Let b(p) = -p + 7. Let a be b(4). Is 163/a + 2/3 a composite number?
True
Let t be 0 + 4/2 - -7. Suppose 0 = 3*w - 0*w - t. Suppose w*g - 34 = 167. Is g composite?
False
Let g(x) be the third derivative of -x**5/60 - x**4/8 - x**3/3 + 2*x**2. Let c be g(-2). Suppose 19 = d - c*d. Is d composite?
False
Let v(a) = 2*a**3 - 4*a**2 + 2*a. Let p be v(2). Suppose -p*o = -c + 24, -c + o = -0*c - 12. Suppose 2*l - c = 0, 3*w + 2*w - 2*l - 737 = 0. Is w prime?
True
Let m(w) = 13*w + 12. Is m(10) a composite number?
True
Let c(r) = -r**3 + 12*r**2 - 12*r + 10. Let p be c(11). Let h(a) = -114*a + 1. Is h(p) a composite number?
True
Let n be (-248128)/(-56) - 2/(-14). Is (n/(-6))/(-7)*2 a composite number?
False
Let g = 22 + 18. Suppose 2*u + g = 132. Is u a composite number?
True
Suppose -3*j + 5*y = -64, 43 = 3*j + y - 27. Suppose 2*o = o + j. Is o composite?
False
Let u(o) = -2*o**3 - 18*o**2 + 7*o + 9. Let c(f) = -f**3 - 9*f**2 + 4*f + 5. Let q(j) = -13*c(j) + 6*u(j). Let l = 5 - 14. Is q(l) a composite number?
False
Let i = -1487 - -4998. Is i prime?
True
Suppose 6 = -2*q - 4*n, -3*q - 3*n + 80 = -8*q. Let c = 78 + q. Is c a prime number?
False
Let j = 61 + 130. Suppose -6*i + i + j = 4*o, -2*o = 2*i - 78. Is i composite?
True
Suppose 2 = 5*c - 8. Suppose -32 + 166 = c*o. Is o composite?
False
Let j(a) = -2*a + 10. Let v be j(5). Suppose 3*u - 815 = -4*c