= 2*t. Is t a prime number?
True
Let d be 1985*(1/(-5) + 1). Suppose w + d = 5*w. Is w a prime number?
True
Suppose 12381 = 4*q + 2633. Suppose 2*w + 0*w - 3*o = 4874, w + 3*o - q = 0. Is w a prime number?
True
Suppose 11*a = 3*a - 48. Is (14790/18 + a/9)*1 a prime number?
True
Suppose 0 = -3*q + 8582 + 4573. Is q composite?
True
Let z(p) = -11*p + 6. Let f be z(2). Suppose -c - 3*w + 210 = 0, -5*w = 2*c + c - 610. Let v = c + f. Is v a prime number?
True
Suppose -j = -q + 13, -5*q + q + 5*j = -47. Suppose -f + q = -4*f. Let i = f - -73. Is i prime?
True
Suppose 4 + 20 = 2*r. Let a(v) = 52*v + 17. Is a(r) a composite number?
False
Let k be (-9)/((-54)/4)*6/(-2). Is (-17)/((k - -4)/(-62)) a composite number?
True
Let y(n) = n - 7. Let l be y(8). Is (0 - l)/((-5)/3385) prime?
True
Let b(p) = -p**2 + 19*p + 2. Let k be b(13). Suppose -k = 4*g - 1852. Is g composite?
False
Suppose 15*u = 20*u - 30. Is (7592/12 - -3) + (-4)/u a prime number?
False
Let b = 3059 + -76. Is b a composite number?
True
Suppose -9950 = -3*u + 25537. Is u prime?
False
Let x be (-1)/2 - 77/22. Let z be ((-194)/x)/((-1)/(-2)). Suppose 4*b + 5 = z. Is b composite?
False
Let r(q) = -68*q**3 - 2*q**2 - q - 3. Is r(-4) prime?
False
Suppose -5*r = -2*h - 8, -r + 4*r - 4*h - 2 = 0. Let k be ((-2970)/(-88))/(r/(-8)). Let w = k + 466. Is w a composite number?
False
Let k = -2142 + 4305. Let l = -14 + k. Is l prime?
False
Suppose -24*b + 21*b = -140631. Is b composite?
False
Suppose 0 = 4*t + 2*f - 8586, 5*f - 1512 + 5811 = 2*t. Is t prime?
False
Let k(j) = 313*j**2 - j - 15. Let v be k(4). Let t = v - 3352. Is t prime?
True
Suppose 4*v = 5*o - 52, -4*o + o = -5*v - 52. Let a(t) = t**3 + 8*t**2 - 21*t - 11. Is a(v) composite?
False
Let z = 1606 - 378. Suppose -2*l = -1282 - z. Is l prime?
False
Let z = 15 + 5. Let s(y) = z*y + 2 - 39*y + 2 - 20*y. Is s(-3) prime?
False
Let b(z) = 297*z + 32. Is b(7) prime?
True
Let d = 14 - 12. Suppose 5*r = -15, r - d*r - 409 = -2*j. Is j prime?
False
Suppose -1 = 2*p - 15. Let a(g) = 8*g**2 + 6*g - 12. Is a(p) composite?
True
Let u = -119 + 119. Suppose 13*n - 69 - 334 = u. Is n a prime number?
True
Suppose 0*m = m - 3*m. Suppose 2*o - 4408 = -m*u - 4*u, -2*u + 2210 = 4*o. Is u composite?
True
Let i(r) = 37*r**2 - 2*r + 10. Let v be i(3). Let d = v + -86. Is d prime?
True
Suppose 0 = 1005*g - 1000*g - 15815. Is g prime?
True
Let a = -385 + 3107. Is a composite?
True
Suppose 2*y - 121 = 141. Let t(o) = -2*o + 16. Let k be t(-13). Let j = y - k. Is j a prime number?
True
Suppose 0 = 5*q - 3*l - 563284, 12*l = 4*q + 9*l - 450629. Is q a prime number?
False
Let y(u) = -u**2 + 7*u + 13. Let d be y(8). Suppose -d*c - 77 = -1647. Is c a prime number?
False
Let k(m) = m**2 + 10*m - 9. Let r be k(-11). Suppose -3*g - g - 5*u = 17, 0 = 3*g - 5*u - 31. Suppose r*y = -g*y + 1148. Is y composite?
True
Let v = -4447 + 7446. Is v composite?
False
Let k = 52997 + -17746. Is k a composite number?
False
Suppose -k - 651 = -2*k. Let m be 15/6 - 6/(-4). Suppose -m*h = -h - k. Is h prime?
False
Suppose 0 = 4*k + 9 + 3. Let a be k/(-1) + 9 + -8. Suppose -v = -2*b - 177, a*b - 221 - 499 = -4*v. Is v a prime number?
True
Let c(h) = h**2 + 18*h - 36. Let k be c(-18). Is 164/(-6)*270/k a composite number?
True
Suppose p + 3 = 8. Suppose 0 = 2*i - 3*y + y - 298, p*y = 0. Is i composite?
False
Suppose 0 = 9*l - 21312 - 24984. Suppose 5*d - l - 11621 = 0. Is d a composite number?
True
Suppose -5*k = 10, 14*q - 11*q - 9595 = -k. Suppose -2*w - 3*d = -1291, -4*w + 2*d = w - q. Is w composite?
False
Let s = 48 + -44. Is 14/56 + 34971/s composite?
True
Let l be 13/2 + 1/(-2). Suppose 0 = 5*k + 14 + l. Let r(z) = -13*z - 5. Is r(k) composite?
False
Suppose 3*p = 7*p. Let r = p + 2. Suppose -f - 205 = -r*f - o, -f = 5*o - 213. Is f composite?
True
Let p(m) be the third derivative of 61*m**4/24 + m**3/3 - 11*m**2. Is p(3) prime?
False
Let m(s) = s**3 + 14*s**2 + 5*s - 7. Suppose 3*j = -27 - 0. Is m(j) composite?
False
Let j(o) = 4*o**2 + 11*o - 7. Suppose 0 = 3*h + 4*r - 2, -4*r + 3 = -5. Let u be ((-24)/18)/(h/(-12)). Is j(u) composite?
True
Let y(z) = 13*z**3 + 29*z**2 + 5*z - 21. Let o(g) = 3*g**3 + 7*g**2 + g - 5. Let p(d) = 9*o(d) - 2*y(d). Let c be p(6). Is ((-6)/9 + 1)*c a composite number?
True
Suppose -1185372 = 102*p - 3678150. Is p a prime number?
True
Let p(h) = -3*h**2 + 9*h. Let d be p(3). Suppose 4*u + 84 - 608 = d. Is u a composite number?
False
Suppose 1994 = 4*t + f - 5300, -2*f + 4 = 0. Is t composite?
False
Suppose -8*b + 854 = 6534. Let c = 231 - b. Let j = c - -26. Is j a prime number?
True
Let j(r) = 2*r**2 - r - 2. Let z be j(2). Let t be (-1)/z - 112641/(-4). Is t/48 - (-1)/3 a prime number?
True
Let c = -33 - -20. Let s = -9 - c. Is (3 - s)*(0 - 23) a prime number?
True
Let t(f) = 2*f + 8. Let d be t(-3). Suppose -13942 = -5*c + 3*m, d*m = -2*c - 251 + 5831. Is c a prime number?
True
Is (41/123)/((-1)/8634*-2) a prime number?
True
Let q = -9 - -9. Let j = q + 4. Suppose -4*o - 4*d + 1148 = 0, 0*d - d = j*o - 1148. Is o prime?
False
Suppose 7460 = 4*n - 0*n. Is n a prime number?
False
Let n = 1 - -1. Let z(v) = -3*v + 11*v + 1 + 39*v - n. Is z(2) a prime number?
False
Let s = 18 + -15. Let d(w) = 136*w - 6 + 46*w - s. Is d(4) prime?
True
Let v = -24 - -44. Suppose s - l + 288 = -3*s, -5*l - v = 0. Let a = 138 - s. Is a composite?
False
Suppose 0 = -3*h - 3*x + 2*x + 10826, 0 = -5*h + 5*x + 18010. Is h a composite number?
False
Suppose 0 = -4*f + 19432 - 3252. Is f composite?
True
Let p(z) = 16*z**3 + 3*z**2 + 70*z + 38. Is p(15) a composite number?
False
Suppose -3*a + 10*a = 665. Suppose 5*j - 120 + 31 = -2*l, -2*l + j + a = 0. Is l a composite number?
False
Let n(r) = -r**3 + 18*r**2 - 33*r - 2. Let o be n(14). Suppose -o = -f + c + 2*c, f - 4*c - 321 = 0. Is f a prime number?
True
Let z(k) = 10*k + 587. Is z(0) composite?
False
Let b = -4319 - -1749. Is b/15*(-6)/4 a prime number?
True
Let o(v) = v**2 - 12*v + 29. Let q be o(9). Suppose 0 = -q*y + 52 - 14. Is y a prime number?
True
Let u be 356/(-4) + 2/4*8. Is 1*2/(-10) - 128452/u prime?
True
Let g(s) = s**3 - 14*s**2 + 12*s + 13. Let z(k) = -3*k - 23. Let r be z(-12). Let b be g(r). Let u(w) = -3*w + 82. Is u(b) a prime number?
False
Suppose 35*t = 45*t - 29110. Is t composite?
True
Suppose 6 + 1 = -7*o. Let j be (3 - o)*(34 + -3). Suppose 0 = -p - j + 311. Is p prime?
False
Suppose 5*n + b - 215 - 45 = 0, 122 = 2*n + 4*b. Suppose 5*t - n = -4*g, -5 = -2*t - t + 4*g. Is t composite?
False
Let h(u) = 49*u - 14. Let i be h(15). Suppose -2*f - i = -3*f. Is f composite?
True
Let n = 30 + -28. Suppose n*u - 2*j = 586, -5*u + 0*j - 2*j + 1479 = 0. Is u prime?
False
Let g = -16 - -29. Is 479/g - 2/(-13) composite?
False
Let l = 7681 + 5958. Is l a prime number?
False
Let z = -57 + 68. Let s(c) = -2*c + c + 2*c + 3. Is s(z) composite?
True
Let v = 445 - 234. Let b = 328 - v. Suppose -5*z - b - 222 = -2*n, -4*z - 165 = -n. Is n composite?
True
Let o be (10/3 - 2)*48. Suppose -4*y = y - 25. Let u = o + y. Is u a composite number?
True
Suppose 7*o + 61 + 86 = 0. Is ((-849)/3)/(3/o) composite?
True
Let d(q) = 2*q**3 - 7*q**2 - 3*q + 5. Let a be d(5). Suppose -3*x + 0*t + 219 = 4*t, x - a = -4*t. Is x composite?
True
Suppose 16*j = 6*j + 70. Is -3 + j + (1855 - 2) composite?
True
Let c(b) = -2*b**3 + b**2 + b + 557. Suppose 0 = 9*h - 6*h. Is c(h) composite?
False
Suppose 9*s = 7*s - 6, 4*x - 4*s = 3128. Is x a prime number?
False
Let o(w) = 8*w**2 - 8*w - 39. Let k(h) = 8*h**2 - 7*h - 38. Let i(n) = 4*k(n) - 3*o(n). Is i(-9) a prime number?
False
Let y(c) be the first derivative of -368*c**2 + 5*c - 11. Is y(-2) composite?
True
Suppose -4*l = 28 + 20. Let i = -2 - l. Suppose 0 = -7*z + i*z - 1533. Is z prime?
False
Suppose 0 = -4*t + 15463 + 12465. Is t composite?
True
Let l(c) = 63477*c**2 - 4*c + 6. Is l(-1) prime?
True
Suppose -2*g = 2*v - 36 - 118, -3*g = -5*v - 231. Is g prime?
False
Let f = 5789 + -2850. Is f composite?
False
Let x = -4214 - -32409. Is x composite?
True
Suppose -d - 12 = -10, 0 = -3*l + 3*d + 3855. Is l a prime number?
True
Is (-6)/(-9) - 286923/(-117) prime?
False
Suppose -2*o = -i - 10240 - 17416, -13825 = -o + 2*i. Is o composite?
False
Let j = 1910 - 2184. Suppose -3*i + 1521 = -528. L