pose -5*k + 215 = 5*p + c, 0 = -4*p + 20. Is k a composite number?
True
Suppose 10*u = 3*u + 3157. Is u composite?
True
Let d(y) = -8*y**2 + 10*y - 8. Let n be d(-8). Is 2/7 - n/7 composite?
True
Suppose 172 = 4*h - 48. Is h a composite number?
True
Let z(a) = 2*a**2 + 5*a - 3. Let w be z(-5). Suppose o - w = 11. Is o composite?
True
Let x(b) = 496*b + 1. Is x(1) composite?
True
Suppose f = 5*r + 1463, 5*r + 578 = 3*r - 2*f. Let w = r + 515. Is w a prime number?
True
Let m(f) = -246*f - 5. Is m(-2) a composite number?
False
Suppose 1 = -2*o + 21. Suppose -2*w + 0*w = o. Let a = w + 26. Is a prime?
False
Let b(j) = 149*j. Is b(2) a prime number?
False
Let k(s) = -8*s + 2. Is k(-4) prime?
False
Let j be (-2 + (0 - -1))*-3. Suppose -578 = -4*x - x + j*y, 4*x - 457 = -3*y. Is x a prime number?
False
Let t(h) = h**3 - 5*h**2 - 2*h - 13. Let f be (-390)/(-42) - (-4)/(-14). Is t(f) a composite number?
False
Let p be (-69)/2 + 1/2. Let c(b) = -4*b**2 + 19*b + 8. Let j be c(5). Let n = j - p. Is n a composite number?
False
Suppose 5*q - 2*m = 1862, -5*q + 1863 = -0*q - 3*m. Let u = 1007 - q. Is u prime?
False
Let u(p) = p**3 + 10*p**2 + 8*p - 9. Let w be u(-9). Suppose 0 = -w*s + 4*s - 2456. Suppose 5*z - 3*f = s, 2*z + 4*f - 2*f = 236. Is z a composite number?
True
Suppose 5*x - 3*x - 4*o = 6, -4 = -2*x + 5*o. Suppose x*d - 2*d = 1440. Let f = -161 + d. Is f a composite number?
False
Let c = 174 + -63. Is c a prime number?
False
Let b be 77/91 + (-2)/(-13). Is (-1*b)/(16/(-416)) composite?
True
Let u(p) = 3*p**3 - p**2 + 2*p + 10. Let m(y) = y**3 + y + 5. Let a(v) = -5*m(v) + 2*u(v). Is a(4) prime?
True
Suppose -3*c = -3*z - 27, 0 = -3*c - 0*c + 5*z + 37. Suppose 0*b + 4*b - 12 = 0, -c*b = r - 58. Is r a prime number?
False
Let y = -4 - -4. Suppose g - 5*g + 220 = y. Is g prime?
False
Is (-18)/(-10) - (-13)/65 prime?
True
Suppose 132*f + 46 = 134*f. Is f a prime number?
True
Is 2529 + ((-5)/15)/(2/(-12)) a prime number?
True
Let v(u) = 7*u**2 - 2*u - 7. Is v(5) a composite number?
True
Let h = 393 + -262. Is h prime?
True
Let v(a) = -a**3 - 8*a**2 - 3*a - 5. Let h be v(-8). Suppose 4*z = 3*w - 58, 4*z + 25 = 2*w - h. Is w a prime number?
False
Suppose -4*z - 7 = 5, 2*x - z - 9 = 0. Let h be 1/x*(191 + -5). Suppose -8*y = -6*y - h. Is y prime?
True
Let k be (-3)/(-1) - (-1)/(-1). Let t be -3*17*1/(-3). Suppose k*g - 27 = t. Is g prime?
False
Let g(w) = -10*w**3 + 11*w**2 + 5*w + 9. Let i(y) = -9*y**3 + 10*y**2 + 4*y + 8. Let q(f) = -6*g(f) + 7*i(f). Let h be q(6). Is (-2)/3 - h/6 a prime number?
False
Suppose -2*n = -n - 3*l - 2, 2*n = -4*l - 6. Let u be 3 + -4 + (n - -24). Is 334/u + (-4)/22 composite?
True
Let c = -3662 - -2498. Is c/(-8) + 2/4 composite?
True
Let w = -14 - -8. Let t(m) = -4*m**3 + 19*m**2 - 16*m + 22. Let x(b) = -b**3 + 6*b**2 - 5*b + 7. Let z(c) = 2*t(c) - 7*x(c). Is z(w) a prime number?
False
Let a(s) = s**3 - 4*s**2 + s - 2. Let d be a(4). Let i = 11 + d. Is i prime?
True
Is (1726/4)/((12/(-2))/(-12)) prime?
True
Let z be (1 - -1)*3/2. Let a(y) be the first derivative of 11*y**2/2 - 2*y - 2. Is a(z) a composite number?
False
Let m = 3 + -11. Is m/(-12) - 471/(-9) a composite number?
False
Let y = -68 - -135. Is y a composite number?
False
Suppose 3*z = 4*z - 1867. Is z a prime number?
True
Is (-2)/3*(-1749)/22 composite?
False
Let k(x) = -32*x**2 - x. Let a be k(-2). Suppose -i = -2*f + i + 432, 2*f - 427 = i. Let r = f + a. Is r a prime number?
False
Let u(c) = 549*c - 22. Is u(5) prime?
False
Suppose -2*y - 1662 = -5*y - 3*w, 5*y - 4*w = 2797. Is y a composite number?
False
Suppose -4*g + 7*g + 30 = 0. Let b = 50 + -16. Is b - (g - -1)/3 composite?
False
Let b(w) = w**2 - w - 1. Let s(r) = -2*r**2 + 7*r + 2. Let i(l) = -b(l) - s(l). Let u(d) = -7*d**3 + d**2. Let k be u(-1). Is i(k) a prime number?
False
Suppose -4*c - 4 = -10*k + 5*k, -5*c - 5*k - 50 = 0. Is (2 + 0)*(-159)/c a prime number?
True
Let a(s) = 2*s**2 - 2*s + 1. Is a(-7) composite?
False
Let v(x) = 36*x - 5. Is v(6) a composite number?
False
Let n(b) = -3*b - 4. Let q be n(-3). Suppose -q*w + 1380 = -w. Suppose 0 = -0*p + 3*p - w. Is p composite?
True
Suppose 0 = t - 3*t. Let m = 16 - t. Suppose -h + m = -17. Is h a prime number?
False
Let u = 16 + -6. Let f = u - 6. Suppose 2*q + 3*q - f*n = 107, 5*n - 61 = -4*q. Is q prime?
True
Suppose 0 = 3*k - 3 - 6. Suppose -2*d + 206 = k*b + 49, 0 = -4*d + 4*b + 304. Is d a composite number?
True
Suppose -2*a = 5*b - 29, b - 25 = -4*b. Let w be 8/(-10)*2680/(-16). Suppose a*f = -0*f + w. Is f composite?
False
Suppose -497 = -4*q + 507. Is q a composite number?
False
Suppose 872 = -0*u + 4*u. Is u a prime number?
False
Suppose 5*k = -529 - 311. Let l = k + 289. Is l a composite number?
True
Let p(a) = 2*a + a + a + 6. Let q be p(6). Let s = q - -277. Is s composite?
False
Let f = 7 + -3. Is 1/4 - (-339)/f composite?
True
Is (771/9)/((-8)/(-24)) prime?
True
Let m be (-2 + -2)/(0 - -2). Is (-4381)/(-39) + m/(-3) prime?
True
Let s be 106*3*17/6. Suppose 4*v - 1455 = s. Is v a prime number?
False
Is 6/(-3)*(-1335)/6 composite?
True
Let a = -204 - -347. Is a prime?
False
Let r(a) = 5*a**2 - 7*a + 5. Let l(w) = -w**2 - w. Let i(p) = -4*l(p) - r(p). Is i(7) a prime number?
True
Suppose 5*t + 531 = 8*t. Is t a prime number?
False
Let m(x) = -11*x + 21. Is m(-23) prime?
False
Is ((-15)/12)/(-5)*524 composite?
False
Suppose 5231 + 2461 = 4*g. Is g prime?
False
Let u(p) = -26*p**3 - p**2 + p + 1. Let d be u(-1). Suppose z + 9 - d = 0. Let k = -5 + z. Is k a composite number?
False
Let k(m) = -3*m**2 - 5*m - 9. Let t(w) = w**2 + 2*w + 5. Let l(f) = -2*k(f) - 5*t(f). Let u be l(5). Suppose -d = -5*i + 38, 4*i + u - 61 = 5*d. Is i composite?
False
Let s be (-241)/4 + (-4)/(-16). Let q = 191 + s. Is q a prime number?
True
Let l = 7 + -2. Let d(t) = -309*t**3 - t**2. Let s be d(-1). Suppose l*j = j + s. Is j prime?
False
Let t(v) be the first derivative of v**2/2 + v - 2. Let g be t(2). Suppose 4*a - 24 = -g*h + 79, -a = -h - 24. Is a a composite number?
True
Let d = -11 - -3. Is d/(-20) + 1266/10 a prime number?
True
Let h = 25 - -8. Is h a prime number?
False
Suppose 5*j = 34 + 81. Is j a prime number?
True
Let c(t) = 25*t + 12. Let w(r) = -62*r - 30. Let z(y) = 12*c(y) + 5*w(y). Let m be z(-6). Is m + (1 + -2)/(-1) a composite number?
True
Suppose -40 + 0 = 4*a. Let d = 25 - a. Is d composite?
True
Suppose 15 = 5*h, 4*h - 22 = -z - 7. Is 252 - (2 + z/(-3)) a composite number?
False
Let u be (-13 - 1)/((-3)/(-3)). Let r(i) = 4*i + 11. Let l be r(-9). Let o = u - l. Is o a prime number?
True
Let b = -570 - -911. Is b prime?
False
Let j(y) = -y**3 - 7*y**2 + y + 9. Let u be j(-7). Suppose -15 = 6*n - 2*n - 3*p, 4*n = u*p - 10. Let s(a) = a + 31. Is s(n) prime?
True
Suppose -4*d = -d - 639. Is d prime?
False
Is (2149/4)/((-18)/(-72)) prime?
False
Let v(o) = 1 + 3*o + 2 + 3*o + 286*o**2. Is v(-2) a prime number?
False
Suppose 0 = r + 1, -a + 0*a = -r - 6. Suppose -4*h - 76 = -2*o, 4*o - 185 = a*h - 39. Is o a prime number?
False
Suppose 0 = -4*p - 5*i + 34, -p + i + 3 = -1. Let j = 6 - p. Suppose j*t = 2*t - 134. Is t prime?
True
Let t(x) be the third derivative of x**4/24 - 2*x**2. Let i(j) = -7*j - 1. Let m(y) = -i(y) - 2*t(y). Is m(4) composite?
True
Suppose -3*u - 240 = -2*p, -u - 367 = -3*p - 0*u. Is p prime?
False
Let h be (-1376)/(-10) - 10/(-25). Suppose 0 = l + 15 - h. Is l composite?
True
Let o = -434 + -1035. Is (-4)/18 + o/(-9) a composite number?
False
Suppose 2*o = 5*o + 18. Let u(z) = 20*z**2 - 3*z - 12*z**2 - 7*z**2 + 1. Is u(o) a composite number?
True
Is ((-1842)/24)/(1/(-4)) a composite number?
False
Suppose 4 = -4*c + 20. Suppose -c*m = -2*m - 4. Is (-2)/((-4)/145)*m a prime number?
False
Let t be 204/(-4) - (-1 + 2). Let r = 34 - t. Is r a composite number?
True
Let m(x) = 260*x**2 - 1. Is m(1) prime?
False
Let x = 2 - -2. Is 1/2 + 90/x a composite number?
False
Let t(s) = 20*s**2 - s + 10. Is t(7) composite?
False
Let k = -1 + -4. Is (5/(k/(-203)))/1 a composite number?
True
Let n be (-35)/14*6/(-5). Suppose n*b + 76 = 559. Is b composite?
True
Let s(f) = f**3 - f**2 - 18*f - 13. Is s(13) prime?
False
Let s be 3/(1/(-68)*-6). Suppose s = 2*p - 16. Is p a prime number?
False
Let u(k) be the third derivative of k**5/10