t prime?
True
Let x(g) = 538*g**2 + g + 1. Let u be x(-1). Let t be (-2)/12 - u/12. Let l = 2 - t. Is l prime?
True
Let g(u) = u**2 + 6*u - 5. Let w be g(-7). Let q be (-142)/4 - w/4. Let z = q + 79. Is z prime?
True
Suppose -5 = 3*f + 2*f. Let q = 4 - f. Suppose -q*w + 166 = -o, 5*w + 3*o = -0*w + 182. Is w a composite number?
True
Let o = 0 + -2. Suppose -4*h + 0*h = 0, -3*c - 2*h = -6. Let q = c - o. Is q a prime number?
False
Let m be (4 + (-60)/8)*-10. Suppose -4*h = m - 183. Is h a composite number?
False
Let s(d) be the first derivative of 3*d**2 + d - 3. Is s(2) prime?
True
Let y be (-46)/1 + (-11 - -6 - -6). Let i = -199 + 11. Let l = y - i. Is l prime?
False
Suppose 0 = -5*t + 1375 + 60. Suppose t = -3*x + 4*x. Is x a composite number?
True
Let t(a) = -2*a**2 + 11*a + 7. Let q be t(-9). Let k = 445 + q. Is k a prime number?
True
Let q be (4/6)/(-1)*3. Let s(h) = -h**3 - h**2 + 2*h. Let u be s(q). Suppose u*m + 99 = 3*m. Is m a composite number?
True
Let y = -91 - -40. Is ((-5)/(-3))/(-1)*y a prime number?
False
Suppose -4*a + 7*a = 429. Is a a prime number?
False
Suppose 15 = 4*s + 3*w + 2*w, -2*s + 40 = -4*w. Let f(j) = 7*j - 1. Is f(s) a composite number?
True
Suppose 10 = -5*y - 5, -5*y + 78 = 3*q. Is q composite?
False
Let w = 6 - 26. Is (-2)/5 + (-1348)/w composite?
False
Suppose -w = -153 + 8. Is w prime?
False
Suppose g - 48 = -5*x + 30, 3*x + g = 48. Suppose 2*d = 1 - x. Is 6/21 + (-2063)/d prime?
False
Let i be (-2 + (4 - 3))*1. Is ((-15)/9)/(i/597) a composite number?
True
Let x = -24 + 45. Let m(l) = 9*l. Let j be m(-4). Let f = x - j. Is f a composite number?
True
Suppose -2*v - 2 = -n - 0*v, 4*n - 8 = -4*v. Is (-933)/(-6) + (-1)/n a composite number?
True
Suppose i - 3 = 4*w, 2*i = 7*i - 15. Suppose 0 = 4*s - 4, d + d - 3*s - 1 = 0. Suppose w = -r - d*m + 36, -3*r = r - 3*m - 199. Is r a composite number?
True
Is (0 - (-1 - 3)) + 1897 prime?
True
Let w(k) = 2*k**2 + k**2 + 5 - 5*k - 3*k + k. Suppose -3 - 9 = -3*g. Is w(g) a prime number?
False
Suppose -12 - 43 = -5*u. Is u composite?
False
Suppose -3 + 13 = 5*l. Suppose k = l*k - 163. Is k a prime number?
True
Suppose 7*z = 13*z - 14334. Is z a composite number?
False
Let x(o) be the third derivative of 47*o**5/60 - o**4/8 + o**3/2 + 2*o**2. Is x(2) a composite number?
True
Let j(f) = 7*f + 5. Let o(h) = -22*h - 14. Let x(i) = 17*j(i) + 6*o(i). Let d be x(-1). Suppose -46 - d = -4*m. Is m prime?
False
Let d(u) = -11*u - 13. Let z(n) = n. Let c(m) = -d(m) + z(m). Is c(11) composite?
True
Let h(s) be the third derivative of 0*s**4 + 0 + 2/3*s**5 - 1/6*s**3 - 3*s**2 + 0*s. Is h(-1) a prime number?
False
Let q = -130 - -261. Let k be (-2)/2*q*1. Let b = 220 + k. Is b a composite number?
False
Suppose 0 = y - 0*y + 2. Is y/9 + 10239/27 a composite number?
False
Let d(t) be the second derivative of -t**5/20 - t**4/12 + t**3/6 + 293*t**2/2 + 5*t. Let g(s) = -s**3 + 1. Let y be g(1). Is d(y) a composite number?
False
Suppose 0 = -b + 119 + 176. Is b prime?
False
Let d be -2 - (-6 - (-4)/2). Suppose 3*m = d*m + 19. Is m a prime number?
True
Let l = 7 - -12. Is l a composite number?
False
Suppose -v + 2*p = -2*v + 256, -5*v + 2*p = -1340. Let z = 12 - -87. Let d = v - z. Is d a prime number?
True
Suppose -2*g = -3*g + 114. Let p = -2 - -3. Let d = g + p. Is d a composite number?
True
Let x be 639/(-6)*116/6. Let h be x - 2*(-1)/2. Is h/(-24) - (-1)/4 prime?
False
Is (2 - (-12)/(-8)) + 1755/6 composite?
False
Suppose -5*n = 234 + 936. Suppose -1756 = -3*j - j. Let h = n + j. Is h a prime number?
False
Let f = 26 - -11. Is f composite?
False
Suppose -5*m + 2*m + 861 = 0. Is m a composite number?
True
Let y be 1*(-1)/(-3 - -2). Let h be 2/(-2) + y*47. Let l = h + -24. Is l a prime number?
False
Let w(z) = 2*z**2 - 3*z - 1. Let t be w(3). Suppose 3*q - 17 = -4*o, -4*q = -2*o - 6*q + t. Suppose o*b - 164 = 21. Is b a prime number?
True
Let d(f) = 26*f - 3*f - 5*f - 1. Is d(8) a composite number?
True
Is (-1 - 0)/(4/(-356)) prime?
True
Suppose -5*t - 2*h - 276 = 0, -t - 5*h = t + 102. Suppose 0 = -2*p + 28 + 158. Let r = p + t. Is r a prime number?
True
Suppose -4*p + 2*s + 338 = 0, 0 = p - 4*s - 75 - 13. Suppose 0 = u - 127 - p. Is u a composite number?
False
Suppose 5*w = -3*t + 271, -38 + 264 = 3*t - 4*w. Is t a prime number?
False
Let i = -24 - -46. Is i a prime number?
False
Let v(r) = r**3 - 8*r**2 - 5*r + 12. Let h be v(8). Let f = h - -53. Is f prime?
False
Suppose -5*s - 2*z = -239 - 314, -s + 114 = -3*z. Is s a composite number?
True
Suppose 2*n + 2*n = 1852. Suppose -5*x = f - n, -5*f + 0*x - 2*x = -2407. Suppose l - f = -2*l. Is l a prime number?
False
Suppose 4 - 32 = -4*w. Suppose -79 = y + 5*s, w*s = y + 3*s + 79. Is (y/2)/(2/(-4)) a prime number?
True
Is 2/((-126)/130 + 1) composite?
True
Is (-2)/(0 - -4) - (-15860)/8 a prime number?
False
Let i(w) = w**3 - 14*w**2 - 23. Is i(16) composite?
True
Let v(x) = 74*x - 7. Suppose 0*n + 15 = 5*n. Is v(n) a prime number?
False
Let f be 4/14 - (-1181)/7. Suppose 0*d = -d + 4. Suppose -d*g - w = -214, -g + 5*w - f = -4*g. Is g composite?
False
Suppose -2 = -3*c - b, 3*b + 13 = 1. Suppose -5*a + 4*i = -1103, c*i = -i + 9. Is a composite?
False
Suppose -4*a - 4*v + 6*v + 24 = 0, -4*v - 24 = -2*a. Suppose -4*n = -3*r - 349, -164 = -3*n + a*r + 89. Is n a composite number?
True
Let h be 9/6*(-8)/(-6). Suppose -h*s + 30 = -392. Is s prime?
True
Suppose 0 = -2*r - 4. Let p(a) = 15*a**2 - 1. Is p(r) a composite number?
False
Suppose -5*h = 3*v - 118, h + 3*v - 1 - 13 = 0. Suppose h = 3*r - 13. Is r composite?
False
Let x(p) be the third derivative of -p**6/120 - p**5/30 - p**4/6 - p**3 + p**2. Let k be x(-4). Suppose j - 9 - k = 0. Is j a prime number?
False
Suppose -1175 = -3*v + 1342. Is v a prime number?
True
Is 132741/35 - -6 - 2/(-5) prime?
False
Let j be 0/(-2*1) + 20. Suppose -4*z + j = 0, -2*w + 8*z - 3*z = 17. Is 74/w - (-2)/4 a composite number?
False
Let y be (0 + -1)/((-4)/48). Is 99/4 + 3/y prime?
False
Suppose 8*a = 13*a - 1805. Is a prime?
False
Let k(z) = 26*z + 0 + 8*z + 1. Is k(6) prime?
False
Is (5 - 8)*1191/9*-2 a composite number?
True
Suppose 2*o = -o + 6. Let k(v) = 5*v - 6*v + 0 + 19*v**3 - 1. Is k(o) composite?
False
Let m = -398 - -1251. Is m a prime number?
True
Let s be 3/5 - 97/(-5). Let m = 6 + s. Is m a composite number?
True
Is 15/(-20) - 143*2/(-8) composite?
True
Suppose 5*i + 6 = 2*t + 3*i, -5*i = 3*t - 33. Let z be t/8 - (-137)/4. Let p = -13 + z. Is p composite?
True
Suppose x - 8*x + 2471 = 0. Is x a composite number?
False
Let z(f) be the second derivative of f**5/20 + 5*f**4/12 - f**3/6 + 5*f**2/2 - 2*f. Is z(-5) prime?
False
Is (4 - -1320)*(-2)/(-8) a composite number?
False
Is 187*(-4 - -5) - 2 a composite number?
True
Let w = -5 - -8. Suppose -3*u + 7*u - w*q = 277, -5*q = -5*u + 350. Is u composite?
False
Let p(j) be the third derivative of -j**7/840 + j**6/120 + j**5/30 - j**4/24 - j**3/2 + 2*j**2. Let f(v) be the first derivative of p(v). Is f(3) prime?
True
Suppose 3*t = -2*d + 8 + 46, 2*t - 4*d - 52 = 0. Let s be 6*1*(-70)/t. Let b = 10 - s. Is b a composite number?
False
Let a = -61 - -120. Suppose -2*m - g + a = -6*g, 5*m - 125 = 5*g. Is m a composite number?
True
Suppose -n = -4*n + 33. Let w(v) = v**2 + 5*v + 15. Is w(n) a composite number?
False
Let x = -14 - -19. Suppose -x*u + 2*b = -1163, -468 = -u - u - 2*b. Is u composite?
False
Suppose -t + 5*n = t - 45, -69 = -2*t - 3*n. Let x = 52 - t. Is x a prime number?
False
Suppose -2*c + 3 = -7. Suppose -2*d + 316 = c*q, q = -2*d - 3*d + 77. Suppose 5*m + 27 - q = 0. Is m a prime number?
True
Let u be 3/(2 - 14/8). Suppose -4*y - u + 133 = 3*t, 2*t + 5*y - 69 = 0. Is t prime?
True
Let a = 164 + -84. Suppose 5*t + a = 825. Is t a prime number?
True
Let x(r) = -23*r**3 + 3*r**2 - 3. Let d(n) = 15*n**3 - 2*n**2 + 2. Let b(q) = 8*d(q) + 5*x(q). Suppose -3*h + 5*l = -0*h + 9, 4*l = -h + 14. Is b(h) composite?
False
Let y = 128 - 3. Suppose -y = -2*n - 3*n. Is n prime?
False
Let y = -3 + 7. Suppose -y*t = t - 155. Is t composite?
False
Suppose -2*o + 14 = 5*g - g, 0 = -g + 4. Is o - 2*21/(-3) prime?
True
Is 12/4 - 339*-2 prime?
False
Suppose -3 = 3*n - d - 3*d, -5*n - d - 28 = 0. Let t = n + 4. Is t*1*395/(-5) a prime number?
True
Suppose 