x = 3*v - 2*x - 141. Let s = v + 42. Is s a composite number?
True
Let s(p) = p**3 + 4*p**2 - 5*p + 5. Let d be s(-5). Let i be 47/3 + 1/3. Suppose 4*g = -i, -j + 3*g = d*g - 141. Is j a composite number?
False
Is (3/6)/((-4)/(-13256)) prime?
True
Suppose p - 388 = 2*a + 481, 5*p + 3*a = 4345. Is p a composite number?
True
Let q = 220 - 313. Let v = q - -217. Suppose 0 = 3*k - 23 - v. Is k a prime number?
False
Let y be 0/(9/3 + 0). Let i(d) be the second derivative of -d**4/12 + 67*d**2/2 + d. Is i(y) a composite number?
False
Suppose -4*k = -2 - 10. Suppose -4*f + 4*v = -708, 291 = -k*f - 5*v + 806. Suppose 0 = 2*z + 3*z - f. Is z a prime number?
False
Let h(b) = 172*b**3 + 2*b**2 + 2*b + 1. Let d be h(-1). Let o = d - -332. Is o a prime number?
False
Suppose -6*n - 5930 = -n. Is (-6)/(-15) + n/(-10) composite?
True
Let y(v) = -3*v**3 - 7*v**2 + 16*v + 15. Let m(n) = 2*n**3 + 5*n**2 - 11*n - 10. Let q(c) = -7*m(c) - 5*y(c). Is q(4) prime?
True
Suppose 4*r + r = 10. Suppose -4*q + 6*a + 424 = 2*a, 212 = r*q - 3*a. Is q prime?
False
Suppose 4*r - 34 - 2 = 0. Let l(k) = 4*k - 5. Is l(r) prime?
True
Let n(b) = 143*b**3 - b**2 + 1. Let k be n(1). Suppose -o = 56 - k. Is o composite?
True
Let k = 6 + -6. Let c be k/((-4)/2) - -3. Is 0 - (1 - (c + 47)) a prime number?
False
Suppose 0 = -4*b - 56 + 480. Is (b/(-8))/(17/(-68)) composite?
False
Suppose -3*h = 6*y - 2*y - 347, 3*y - 15 = 0. Is h prime?
True
Let q(j) = -j**2 + 3*j - 1. Let w be q(7). Let o = w - -52. Is o a prime number?
True
Let r = -187 + 287. Suppose r = 2*d + 2*d. Is d prime?
False
Let h(o) = -6*o + 5. Let n(r) = -r. Let j(c) = h(c) + 5*n(c). Is j(-7) composite?
True
Suppose 9 = -5*p + 2*p, 3*p = -2*v + 149. Is v a prime number?
True
Let v(m) = 3*m**2 + 1. Let r be v(-1). Suppose -5*k + 119 = r. Is k prime?
True
Let z be (5/(-2))/(2/(-4)). Suppose -165 + 1090 = z*x. Is x composite?
True
Let c(w) = 71*w + 3. Is c(2) a composite number?
True
Let l = 5 - -13. Is 763/6 + (-3)/l a prime number?
True
Is (-2)/7 - 11583/(-91) a prime number?
True
Suppose -5*d = -187 - 423. Suppose -d = -a + 23. Is a composite?
True
Let q be (-1)/4 + (-52)/(-16). Suppose -3 = -j + 2. Suppose w + 72 = q*w + 2*i, -4*w + 99 = -j*i. Is w prime?
True
Suppose -44 = -h + 5*a, 2*a - 7*a = 0. Suppose 62 + 78 = 4*l. Let q = h + l. Is q prime?
True
Let d be (-747)/12 + 2/8. Let j = d + 189. Is j prime?
True
Let o = -141 + 208. Is o a prime number?
True
Suppose n - 2*b + 11 = 2*n, 1 = -n + b. Let v(l) = -100*l - 55. Let g(m) = 11*m + 6. Let o(a) = 55*g(a) + 6*v(a). Is o(n) a composite number?
True
Suppose 0 = 4*k - 3*k - 3. Suppose k*d - 203 = 3*f - 38, -f = 2*d - 104. Is d a composite number?
False
Let n(v) = 125*v - 2. Let p be n(4). Suppose 0*f = -3*f + p. Suppose -f = -t - t. Is t composite?
False
Let b = 10 - 7. Suppose 0*d - 291 = -b*d. Is d a composite number?
False
Let r(i) = i**3 + 3*i + 3. Is r(4) a composite number?
False
Suppose 3*g + 4*q - 75 = 23, 0 = 3*g - q - 73. Let b = 15 - g. Is (-339)/b - 6/(-33) composite?
False
Let t be (-4)/14 + 772/7. Let i = 14 + -11. Let v = i + t. Is v composite?
False
Suppose 5*m = -3262 + 25817. Is m a prime number?
False
Let b = -3 - -8. Suppose -l - 3*p + 58 + 6 = 0, 0 = b*l - 5*p - 420. Is l composite?
False
Let l(k) = 3*k**2 + k + 8. Let c be l(-7). Let x = c - -75. Is x a composite number?
False
Suppose g + 5*k - 291 = -33, 2*g = k + 505. Is g composite?
True
Let o(b) = -179*b - 20. Let m(l) = 119*l + 13. Let n(j) = -8*m(j) - 5*o(j). Is n(-7) composite?
True
Suppose 4*w - 3*h = 581, w - 4*h + 75 - 204 = 0. Is w a composite number?
False
Suppose 10845 = 5*f - 5*y, 2*y + 2090 + 77 = f. Is f a composite number?
True
Suppose -5*r = -c - 2, -r + 2*c - 4 = r. Is -2 + r - (-55 + 3) prime?
False
Let t(u) be the first derivative of 2*u**3 + 3*u**2/2 - u - 5. Is t(3) a prime number?
False
Let o(i) = i**2 + 8*i + 10. Let y be o(-8). Let n(s) = s**3 - 11*s**2 + 13*s - 7. Is n(y) composite?
False
Suppose n - 25 = 1. Suppose -2*d - n = -340. Is d prime?
True
Let k = -48 + 24. Let w = -8 - -42. Let a = k + w. Is a prime?
False
Suppose m - 70 = -m. Let x = 22 + m. Suppose 0*n + 3*n = x. Is n prime?
True
Suppose 5*j = n + 3*n, 4*n - 28 = -2*j. Suppose n*y + 581 = 2*h, 1 = -3*y + 4. Is h composite?
False
Let o(t) = 10*t**2 - 10*t + 21. Is o(10) a prime number?
False
Let q be (-8)/(-6) - (-1)/(-3). Let p(w) = 85*w**2 - w + 1. Is p(q) a prime number?
False
Suppose g = -4*m + 19, 2*m - 4*g - 9 = m. Suppose -3*q - 182 = -m*q. Is q composite?
True
Let h = -1 + 5. Suppose h*m + 6 = 22. Suppose -3*w - 20 = -m*g - 5*w, 0 = -5*g - 2*w + 27. Is g prime?
True
Suppose -d - 6*d + 5495 = 0. Is d a prime number?
False
Let t(c) = c**3 + 16*c**2 - c + 18. Let v be t(-16). Is (v/(-3))/(8/(-84)) composite?
True
Let q(m) = -m**2 + 3. Let z be q(0). Suppose 4*f = a + 1927, f - z*a - a - 493 = 0. Is f prime?
False
Let q(v) = v**2 - 5*v - 7. Suppose 0 = 2*c - 9 - 3. Let o be q(c). Let w(z) = -31*z. Is w(o) a composite number?
False
Suppose 3*d - 6 = l, 4*l - 5*d + 10 = -0*l. Suppose -m - h + 15 = 4*m, -5*m - 4*h + 15 = l. Suppose -m*o + 4*b = -341, 2*o - 93 - 165 = -5*b. Is o composite?
True
Let a(l) = l**3 - 7*l**2 + l - 2. Let f be a(7). Suppose f*d - d = 0. Let c = d - -14. Is c a prime number?
False
Let n(c) = -139*c**3 + 2*c**2 + 1. Is n(-2) a prime number?
False
Let h = 658 + -404. Is h composite?
True
Let z = -3 - -4. Let v be 14/1 + (2 - z). Is 208/3 - 5/v a prime number?
False
Suppose 4*g + 670 = -2*s, 0 = -4*s + 2*g + g - 1362. Let a = -146 - s. Let m = a - 114. Is m prime?
True
Is ((-118)/6)/(17/(-102)) a composite number?
True
Is 1*4/34 + 98845/85 prime?
True
Suppose 0 = -0*x + 2*x. Let h(w) = -w**2 - w + 97. Is h(x) prime?
True
Suppose -402 = -2*x - 32. Is x a composite number?
True
Suppose 0 = 2*y - 5*y - 3, 3*w - 2*y - 917 = 0. Is w a composite number?
True
Suppose 0*w - 4*t = 5*w - 2357, 5*t = w - 454. Is w prime?
False
Suppose -2*g + 4398 = -2380. Is g a prime number?
True
Let l(h) = -3 + h**3 + 22*h - 18*h - h**2 - 10*h. Is l(4) a prime number?
False
Suppose -5*g + 2*g - 12 = 0. Let i = -2 - g. Suppose f - q + 152 = i*f, 155 = f + 2*q. Is f a composite number?
False
Let a(g) = 7*g**2 - 7*g + 7. Is a(9) a prime number?
False
Let o = 36 + 7. Suppose 155 = 3*a - t, -4*a - 4*t = -3*a - o. Is a composite?
True
Let u be (3*-3)/3 + 132. Let d = 230 - u. Suppose 5*c - 178 = -3*g, -g - 3*g = -3*c + d. Is c a prime number?
False
Let q = -648 - -1087. Is q prime?
True
Let j be -1*3 - (4 + -253). Let h = j + -163. Is h a prime number?
True
Suppose h = 2*h - 2. Suppose -h*p + p = -119. Is p a composite number?
True
Let a = -99 + 156. Let z = a - 20. Is z composite?
False
Let n(j) = -2*j + 10. Let q be -4 + -1 - (0 + -2). Let i(g) = -g**2 + 1. Let y be i(q). Is n(y) a prime number?
False
Let i = 936 - 669. Is i a prime number?
False
Suppose 487 - 175 = -2*g. Let i = 105 + g. Let h = i + 178. Is h prime?
True
Let m(s) = 10*s**3 - 2*s**2 + 5. Let q(z) = -29*z**3 + 7*z**2 - z - 16. Let n(u) = 7*m(u) + 2*q(u). Is n(2) prime?
False
Let t = 381 + -176. Is t composite?
True
Let j(u) = u**3 + 12*u**2 + 8*u - 6. Let k be j(-11). Let p = 312 + k. Is p a composite number?
True
Suppose 2*h - 3*d = -2*h + 878, -5*h + 1111 = 3*d. Is h prime?
False
Suppose -2*k - 726 = 4*z, -4*k + 557 = -3*z - 3*k. Is ((-22)/(-8))/((-2)/z) a prime number?
False
Let m = 263 - 575. Let n = -196 - m. Suppose -2*s = 5*r - 467, -2*r - 5*s + 54 = -n. Is r a composite number?
True
Let l be (-3)/6*124/(-2). Suppose l = 5*x - 14. Is x a prime number?
False
Is (5 + -1 + -5)*203/(-1) a prime number?
False
Let a be (-1)/2*(1 + -9). Suppose 177 + 19 = a*m + 3*h, 5*m = h + 226. Is m a composite number?
True
Let q(g) = -3*g**3 + g**2 + g - 5. Let s be q(4). Let w = 380 + s. Is w composite?
True
Suppose 9 = 4*r - 3. Suppose -r*s + 339 = -0*s. Is s composite?
False
Let d(z) = -4*z - 6. Let p be d(5). Let g = p + 39. Is g a prime number?
True
Let r(h) = h + 3. Let t be r(6). Suppose -t = 3*a - 6*a. Suppose 5*q + w = 56, 0 = -q + a*w + 4 + 4. Is q prime?
True
Suppose 8*r - 104 = -0*r. Is r prime?
True
Let x be 16/6 - (-6)/(-9). Suppose 3*i - 2*u - 67 = 0, -u + 70 - 16 = x*i. Is i a composite number?
True
Suppose 3*o - 18 = 6. Let c = o + 47. Is c a pr