. Is l prime?
False
Is 17630/14 + 4 + (-30)/7 a composite number?
False
Suppose 3*a = -4*x + 15141, -a = 2*a + 5*x - 15138. Is a composite?
False
Suppose 16*p - 21*p = -2465. Is p prime?
False
Let g(z) be the third derivative of z**5/30 + 5*z**4/24 - z**3/3 + 3*z**2. Is g(-5) composite?
False
Suppose -2*x - y - 26 = -536, 5*x - 5*y = 1245. Is x prime?
False
Let y(n) = 4*n**2 - 3*n**3 - n**2 + 2*n**2 - n**2 - 8 - 2*n. Let x(j) = 5*j**3 - 9*j**2 + 4*j + 16. Let s(c) = -4*x(c) - 7*y(c). Is s(-7) a composite number?
True
Let c = -3 - -1. Let v = c - -1. Is 1*(1 + -10)/v a composite number?
True
Suppose -4*k + r + 18 = 0, 2*r + 3 - 7 = -2*k. Suppose y = -2*b - 5, 9*y = k*y - 5*b - 5. Suppose y*p - 50 - 127 = 0. Is p prime?
True
Let x(f) = 27*f**2 + 3*f + 5. Is x(4) composite?
False
Suppose 5*x - 3*s = 2577, 4*x - 2094 = 5*s - 35. Suppose -l + 2*z + 248 = z, -2*z = 2*l - x. Is l a prime number?
False
Let k be (710/10)/(2/4). Suppose l + k = 3*l. Is l composite?
False
Let y(m) = -3 - 6*m + 1 - 9. Suppose -32 = 2*u + 2*u. Is y(u) composite?
False
Suppose 2*h = 2*p - 812, -3*p + 1631 = p + 3*h. Is p a composite number?
True
Let t(d) = -6*d**3 + 3*d**2 + 2*d + 3. Is t(-2) prime?
True
Let x be (3 - (1 - 3)) + -3. Suppose 2*g + 1285 = 5*h, -h + 0*h + 257 = -x*g. Is h composite?
False
Suppose -c + y = 5*y - 523, -1031 = -2*c - 3*y. Is c composite?
True
Suppose 2*v - 509 = 25. Is v composite?
True
Let v(g) = -g**3 - 6*g**2 + g - 7. Let c be v(-6). Let b = 20 - c. Let w = 58 - b. Is w prime?
False
Suppose -f + 12 + 25 = 0. Is f a composite number?
False
Let y = -11 + 20. Is (-426)/y*-3 + 3 a prime number?
False
Let f = -3 + 6. Suppose h + f = 4*h. Suppose -41 = -4*b - h. Is b a composite number?
True
Is (-7)/(-392)*8 + (-35292)/(-14) a prime number?
True
Let m = 29 + -13. Is (-316)/(-3) - m/(-24) composite?
True
Let t(g) be the second derivative of -3*g**4/2 - g**3/3 + 3*g**2/2 + g. Let v be t(2). Let w = 104 + v. Is w composite?
False
Is (75/20 - 4)*-3556 composite?
True
Suppose -9621 - 4051 = -8*z. Is z a composite number?
False
Let w be (8/5)/(10/25). Suppose 5*j = w*j + 253. Is j prime?
False
Let s(p) = p**3 - 8*p**2 + 2*p - 11. Let a be s(8). Suppose 0 = -a*h + 11 - 141. Let w = 63 + h. Is w prime?
True
Let i be 14*1 - 0/(-2). Suppose 3*r = 2*s + i, 3*s = -3*r - 9 + 3. Suppose 5*n = 5*k - 390, -176 = -r*k - 0*k - 2*n. Is k a prime number?
True
Let k be -3 + 7/((-21)/(-60)). Suppose 136 + k = 3*w. Is w a prime number?
False
Is (-4584)/16*(-4)/6 a prime number?
True
Let y = 1 + -1. Suppose y*u - 3 = -u, -29 = -4*s - 3*u. Suppose s*m - 190 = 4*x, -m + 38 = 3*x + x. Is m composite?
True
Suppose 0*k + 3*k - 183 = 0. Suppose 1 = -q - 27. Let t = k + q. Is t a prime number?
False
Suppose 3*k - 572 = 307. Is k a prime number?
True
Let v = 9 - 5. Suppose 4*f + 0*f = -12, -v*f - 44 = 4*m. Let g = -2 - m. Is g a composite number?
True
Is ((-2)/((-2)/(-299)))/(-1) a composite number?
True
Let d = 4 + 0. Let b be 5 - (0 + (2 - d)). Suppose -b*y + 24 = -3*y - 5*o, o = -3*y + 37. Is y a prime number?
True
Let f = 69 + -2. Is f prime?
True
Suppose 0 = 5*k - 4*k + 3. Let v be 652/k*3/(-2). Is v*(-1)/(-2 + 0) prime?
True
Suppose -18 = -2*w - w - 3*a, -3*w + 22 = 5*a. Suppose 6 = -w*q + 2*q. Is q/12 - (-122)/8 a composite number?
True
Suppose -4*b + 6 = g - 6, 5*g + 5*b - 105 = 0. Suppose -y + 22 = -g. Is y prime?
False
Let n(j) = -j - 7. Let a be n(-9). Let p be (3/2)/(3/a). Let l(w) = 54*w**2 + 2*w - 1. Is l(p) prime?
False
Suppose 664 = -2*v + 6*v. Is v prime?
False
Let w = -17 - -21. Is (w - 2)*(-37)/(-2) prime?
True
Let h = 200 - 38. Suppose 0 = 32*c - 33*c - 109. Let t = c + h. Is t prime?
True
Let b(o) = o**3 - 3*o**2 - 8*o + 22. Let x be b(9). Let h(a) = -275*a**2. Let w be h(1). Let g = x + w. Is g composite?
True
Suppose 2*t - 3*t = -3. Suppose 5*y - t*y + 29 = k, 2*y - 66 = -4*k. Is k a prime number?
True
Let v(y) = 6*y**2 + 3*y - 8. Is v(-7) prime?
False
Suppose 4*b + 4 = -5*s - 6, 3*b + 13 = -s. Suppose -2*k + 341 = 3*r + 77, s*k + 2*r = 264. Suppose -3*z + k = -33. Is z prime?
False
Suppose -4*b + 29 + 11 = 0. Is ((-185)/b)/((-1)/6) a composite number?
True
Let v(n) = -n + 21. Suppose 0 = 3*r + a - 3, 2*a = -a + 9. Is v(r) a prime number?
False
Suppose 3*h = -5*h + 30568. Is h a prime number?
True
Let k be ((-24)/(-10))/(12/1890). Suppose 0 = -3*n - 143 - 598. Let i = k + n. Is i a prime number?
True
Suppose -3*v + v + 1098 = 4*s, 3*s - 553 = -v. Is v a prime number?
True
Let z = 619 + -166. Is z a prime number?
False
Let n be 8 + ((-8)/4 - 1). Let u = 5 - 2. Suppose -2*y + 47 = n*t, 4*t + u = 3*y - 10. Is y prime?
True
Suppose 3*p + 14337 + 866 = 5*m, m - 3047 = -p. Is m prime?
False
Suppose -p = 4*p - 115. Is p a composite number?
False
Let t = 26 + -15. Is 2/(-11) - (-585)/t composite?
False
Suppose -10 = -n - 2*f - 4, 4*f = 0. Suppose -1265 = x - n*x. Is x prime?
False
Let m(y) = 5*y**2 - y - 1. Let u be m(-1). Suppose -u*o + 260 = -135. Is o composite?
False
Let c(n) = -n**2 - 11*n - 4. Let v be c(-13). Let x = 42 + v. Let h = x - -45. Is h prime?
False
Suppose -3*p = 4*o + 344, -5*o = -5*p - 0*o - 620. Let r = p + 511. Is r prime?
False
Let t(h) = 6*h + 4. Is t(7) composite?
True
Suppose 0 = 3*d - 23 - 1. Let o = 3 + d. Is o a prime number?
True
Let v(q) = 2*q**2 - 18*q - 17. Is v(-18) a composite number?
True
Suppose 0 = -5*w + 21 + 9. Suppose 0 = 4*s + k - 17, -w*s = -s + 5*k - 40. Is 2/(-3) + 188/s a prime number?
False
Let g(f) = f**3 - 5*f**2 + f - 3. Let l be g(5). Is (l/4)/(1/74) composite?
False
Let l = 0 - 0. Let c = 21 + -18. Suppose -4*q + l*q + 4*b = -476, -c*b = 12. Is q a prime number?
False
Let b(k) = -k**3 + 6*k**2 + 2*k - 6. Let s be b(6). Let f(r) = 7*r - 14. Let v(y) = -4*y + 7. Let q(j) = -6*f(j) - 11*v(j). Is q(s) a prime number?
True
Suppose 5*z - 371 - 284 = 0. Suppose -2*o + 4*w - z = -3*o, -5*o - w + 674 = 0. Let d = o - 16. Is d a prime number?
False
Let m(j) = -12*j - 25. Is m(-9) a composite number?
False
Suppose 0 = 2*b + 4*v - 8, 5 = 5*b - b - 3*v. Let y(w) = 7 + 1 + w**2 - w**3 - b + 5. Is y(0) a composite number?
False
Suppose 4*b + 27 = 7. Let w(u) = -u**3 + 3*u**2 - 1. Let x be w(3). Is (1 - x) + (70 - b) a prime number?
False
Let a be 8/6 + (-4)/(-6). Suppose -a*r = 3*k - 381, -2*k + 5*k + 351 = 2*r. Is r a composite number?
True
Suppose -4*x + x = 0. Suppose -3*m - 40 - 20 = x. Is ((-254)/3)/(m/30) prime?
True
Let j(a) = 30*a + 23. Is j(8) a composite number?
False
Suppose 0 = -7*k + 4*k + 4227. Is k a prime number?
True
Let g be 2 + 0 + 0/(-1). Suppose 3*m - g*r - 101 = 0, -5*m + 21 = 4*r - 118. Is m composite?
False
Let x(a) = 27*a**2 + 17*a + 39. Is x(-14) a composite number?
True
Let g(b) = 9*b**2 - 2*b - 5. Is g(6) a prime number?
True
Suppose 0 = -7*h + 2*h - 5. Let m be -1 + h + 1 - -26. Suppose p + 0*p = m. Is p prime?
False
Suppose -6651 + 22515 = 12*d. Is d a composite number?
True
Let n(c) = -c**3 - 8*c**2 + 12*c - 1. Let s be n(-10). Suppose s = 2*q - 7. Is q prime?
True
Let w(m) be the second derivative of m**5/20 + m**4/4 - m**3/6 - m**2/2 + m. Let y be w(-3). Suppose y*f + 1 = 31. Is f a prime number?
False
Let j = 411 - 158. Is j a composite number?
True
Let y(d) = -2 - 2*d - 2 + 1. Let v be y(-4). Suppose -5*o + 175 = -3*a, -a - 3*a = v*o - 175. Is o prime?
False
Suppose 0 = 3*k - 12. Let r(l) = 56*l - 1. Is r(k) prime?
True
Let h = 633 + -373. Suppose -3*a + 7*a = h. Suppose -3*s = 5*o - a, -s - o + 31 = 3*o. Is s composite?
True
Suppose 2*r = -10, -c - c - 11 = 3*r. Is ((-57)/(-6))/(c/4) a composite number?
False
Let c = 528 - 309. Is c prime?
False
Let z(n) = -n - 2. Let m be z(0). Let j = m - -5. Is (-532)/((-2)/1) - j prime?
True
Let m(n) = -2*n**3 + 23*n**2 - 31*n + 9. Let c(o) = o**3 - 11*o**2 + 16*o - 4. Let w(x) = 5*c(x) + 3*m(x). Is w(13) composite?
False
Let s(m) = m**2 + 4*m - 6. Let k be s(9). Suppose -w - k = -4*w. Is w prime?
True
Let f(d) = d**2 - 7*d + 4. Let p be f(4). Let c = -15 - p. Let j(v) = -v**2 - 7*v + 10. Is j(c) a composite number?
True
Let u(n) = 8*n**2 + n - 5. Let m(a) = a**3 - a**2 - a - 5. Let s be m(0). Let v(y) = y**2 + 5*y + 4. Let p be v(s). Is u(p) prime?
True
Let o(v) = 8*v**2 - v + 4*v + 19*v**2 - 1. Is o(2) a prime number?
True
Suppose 0 = -8*q + 3*q + 24