e number?
True
Let n = 43 - 31. Suppose 0 = z + 3*b + 8, 2*z - 3*b + 2*b = n. Suppose -z*i = -v - 3*v - 92, -v = -5*i + 107. Is i a composite number?
True
Let n(a) = 7*a**2 + 7*a - 11. Let c be n(11). Suppose -5*x + c = -2*x + 2*l, 3*l = -x + 295. Is x prime?
True
Let p(r) be the third derivative of r**6/360 - 11*r**4/24 + r**3/3 + 2*r**2. Let z(k) be the first derivative of p(k). Is z(10) prime?
True
Let u = 1377 + -476. Is u prime?
False
Suppose 18 = 2*c - 168. Is c a composite number?
True
Suppose -c = -17 - 36. Is c prime?
True
Let j(t) = 50*t**2 + 1. Let x = -8 - -7. Is j(x) a prime number?
False
Suppose 0 = -4*o + 5*x + 1, 3*x = o - 2. Let v be (87/(-9))/(o/(-9)). Let h = v - -214. Is h prime?
True
Let z = -1 + 2. Let q = z - 1. Suppose 4*a - 99 - 217 = q. Is a composite?
False
Let v = 18 + -29. Let q = v + 15. Is q a composite number?
True
Let f(a) = -a**2 - 8*a - 7. Let u be f(-6). Suppose v = -4*d + 113, -d = u*v - 4*d - 450. Suppose -3*i - v = -6*i. Is i prime?
True
Let k be (-6)/(-4) - 35/(-10). Suppose 3*n - k = 19. Is n/4 + (9 - 2) a prime number?
False
Let s be (146/(-4))/((-7)/84). Let g = s - 300. Suppose k - g = -47. Is k prime?
False
Suppose k - 7 = -2*o, k + 0*o + 3*o - 9 = 0. Suppose -k*i + 8 = -103. Is i a composite number?
False
Suppose -2*l + 3*a + 0 = 7, 5*a - 3 = -l. Let x be (-2 - l)/(-1 + 3). Is 32 + 2 - (x + 1) prime?
False
Let y be (-2 - (-126)/4)*2. Suppose 5*x = -i + y, 0*i + 2*i - x - 162 = 0. Is i prime?
True
Let x be (-42)/(-12) - 3/(-2). Suppose x*k + 32 = -28. Is (-944)/k + 1/3 a composite number?
False
Let a be 359/2 + 1/(-2). Let d(t) = t**2 + 8*t. Let u be d(-8). Suppose -5*r - 15 = u, 3*c = -c - 3*r + a. Is c a composite number?
False
Suppose -2*b + 2*o = -808, b - o = 5*b - 1641. Is b a prime number?
True
Let r be ((-3)/(-6) - 0)*190. Let k = r - 64. Is k composite?
False
Let p(r) = r + 2. Let x be p(2). Suppose 0 = x*k + k - 435. Is k a prime number?
False
Let j = 496 - 137. Is j a composite number?
False
Let o be 1 - 0 - (16 - -1). Let h = -9 - o. Is h prime?
True
Let a = 6 - 0. Suppose -p = -a*p. Suppose 0 = -v - p*v + 35. Is v a prime number?
False
Let m be 16*(-38)/(-4) + -2. Let l = -4 - -7. Suppose -m = -l*n + 3*p - 0*p, -4*p = -2*n + 90. Is n prime?
False
Suppose -k + 785 = 4*k. Is k prime?
True
Is 4 + (-598)/(-2) + -4 a composite number?
True
Suppose 5*j - 85 = -5*o, 3*o - 5*o + 3*j + 49 = 0. Let y be 72/o - 2/(-5). Suppose -y*m = -29 - 11. Is m a composite number?
True
Suppose 7*i - 19508 - 9255 = 0. Is i a prime number?
False
Suppose -2*k = -3*k. Suppose k*z = -3*z + 6. Suppose -z*b - 2*b = -1060. Is b prime?
False
Suppose 2*h = 5*l - 2*h - 346, -l = h - 62. Suppose -l = -c + 61. Is c a prime number?
True
Let u(f) = -f**3 - 7*f**2 + 11*f + 10. Let t be u(-8). Let a(h) = 6*h + 1. Let i be a(4). Let m = i + t. Is m a prime number?
True
Suppose -3*y + 365 = -382. Is y composite?
True
Let s be (-3)/(-2 + 27/15). Is (-5)/s + 202/3 prime?
True
Suppose 0 = 5*j + 2*r - 27, 12 = 3*j + 2*r - 5. Suppose 3*a + j*k = 8*a - 1525, -5*a = -k - 1525. Is a a prime number?
False
Let w(b) = -20*b**3 - 3*b**2 - 2*b - 2. Let x be w(-2). Let a be (1 - (-3 + 7)) + 42. Suppose 7*k - 3*k - v = x, -v - a = -k. Is k prime?
True
Let z be 1*3*(-650)/(-15). Let g = -3 - -7. Suppose 4*o - 2*p - z = -g*p, -5*p = 2*o - 45. Is o composite?
True
Let l = 6024 + -4189. Is l a composite number?
True
Let f(m) be the third derivative of -m**2 + 77/120*m**6 + 0*m**4 + 1/60*m**5 - 1/6*m**3 + 0*m + 0. Is f(1) prime?
False
Suppose g - 3*f - 28 = 0, 5*g + 15 = -4*f + 117. Suppose 0 = -3*h - 4 + g. Let s = 8 - h. Is s composite?
False
Let a(s) = s + 40. Let y be a(0). Suppose 2*q = 4 + y. Is q a prime number?
False
Let g be (-2 - (-14)/5)*5. Is (-70 - g)*(-2)/4 composite?
False
Suppose 0 = i + i + 3*w - 4, -w = -3*i - 5. Let m be ((-1)/(-1))/(i/(-15)). Is (-117)/m*(0 + -5) prime?
False
Is (-1 - -1 - 116/(-8))*26 composite?
True
Let m(r) = 2*r**2 - 14*r + 11. Is m(15) prime?
True
Suppose -5*l - 3*o + o = -779, 4*l = -o + 625. Is l a composite number?
False
Suppose -k + 5*k = -8. Let y = 0 - k. Suppose f + 5*b - 28 = 0, -b = y*b + 15. Is f prime?
True
Is (-4 - -3 - -2)*131 prime?
True
Let d(w) = -3*w**2 + 4*w + 4 + 4*w**3 + 0*w**2 - 6*w**3 - 4*w**3. Suppose v = -2*v - 9. Is d(v) prime?
True
Let n = 83 + -57. Is n composite?
True
Suppose 0 = 3*m + 3*x - 154 + 16, -4*x = m - 52. Let a = 175 + m. Is a a prime number?
False
Let g = 193 - 114. Suppose x + g = 2*u, u + u - 4*x = 82. Is u a composite number?
True
Let l be ((-6)/(-12))/(1/12). Let p = l + 25. Is p a prime number?
True
Let j(b) = b**3 + 16*b**2 - 21*b + 11. Is j(-17) a composite number?
False
Let l(m) = -9*m**3 + 4*m**2 + 8*m - 9. Let g(k) = -9*k**3 + 5*k**2 + 9*k - 10. Let u(d) = 6*g(d) - 7*l(d). Let y = 0 + 2. Is u(y) composite?
False
Let a = -13 - -21. Let i be (-1)/4 - (-2682)/a. Is 4/(-18) + i/9 a prime number?
True
Let v(m) = 27*m + 20. Is v(9) composite?
False
Suppose -2*h - 236 = -6*h - v, 4*h + 4*v - 224 = 0. Suppose -3*b = h - 315. Is b a composite number?
True
Let m(y) = 2 - 3 + 2 + 5*y**2 - 2*y + 18*y**2. Is m(2) composite?
False
Is ((3 - 2)*-157)/(-1) a composite number?
False
Is (-704)/(-11) + 3*1 composite?
False
Let r(q) = q - 5. Let v be r(10). Let d = v - 0. Suppose -9*f = -d*f - 364. Is f a prime number?
False
Let d(c) = -c**3 - c**2 - 2*c - 3. Let s be d(3). Is 34*(s/(-6))/3 a composite number?
True
Let a(m) = 92*m - 5. Is a(17) a composite number?
False
Suppose 0 = -0*b + 4*b - 2260. Is b a prime number?
False
Let c = -1 + 8. Let d be 130/14 + (-2)/c. Let m(n) = n**2 - 5*n + 11. Is m(d) prime?
True
Suppose -2*q + 2*f + 238 = 0, -2*q - 5*f = 2*q - 494. Suppose 459 = 4*z - q. Is z a composite number?
True
Let x be (-6)/(-27)*-3*-99. Let c(r) = 31*r + 4. Let s be c(3). Let p = s - x. Is p prime?
True
Suppose 8*i - 6*i - 2798 = 0. Is i a prime number?
True
Let c(j) = 3*j**2 + j + 11. Is c(-6) a composite number?
False
Suppose 0 = -3*b + b + 398. Is b a composite number?
False
Let f(b) = 128*b**2 + 2. Is f(-2) prime?
False
Is (0 + -1)*(-1877 - 2) prime?
True
Let r be ((-300)/(-35))/(4/70). Let w = r + -23. Is w prime?
True
Let p = 9 - 6. Let v(j) = j + 11. Let d be v(-8). Suppose -d*m - 2*m + 2*q + 643 = 0, -3*m + p*q = -393. Is m prime?
True
Let r = 8 + -8. Let p = r - 6. Is (p/7)/(1/(-7)) a prime number?
False
Let g = 6 - 3. Suppose 5*t - 781 = r, -g*t + 0*t + 491 = 5*r. Is t prime?
True
Suppose 3*n = 2240 + 43. Is n a composite number?
False
Let o = -30 + 37. Is o a prime number?
True
Let d(j) = 9*j**2 - 3 - 5 - 3*j + 8 - 7. Is d(-3) a prime number?
True
Let x be (-6)/15 - (-633)/(-5). Is x*(1 - (1 - -1)) a prime number?
True
Let p(n) = -35*n**2 + 7*n - 7. Let g(d) = d**2 - d + 1. Let i(y) = -6*g(y) - p(y). Is i(-2) prime?
False
Suppose 2*u - n - 327 = 0, -n - 810 = -5*u - 0*n. Is u a composite number?
True
Is (724/8)/((-3)/(-6)) prime?
True
Suppose 2*a = 3*p - 11, 2*a - 4 = -p - p. Suppose -3*o - 88 = -x, 2*o = 2*x - p*o - 177. Is x a prime number?
False
Suppose 2 = d - 1. Suppose -129 = -d*u + 207. Let l = u + -45. Is l composite?
False
Let b = 119 - -12. Is b composite?
False
Is (-4)/(-6) + (-2345)/(-15) a composite number?
False
Let y = 157 + -62. Is y a composite number?
True
Suppose -t = -3*t + 12. Suppose 11*m = t*m. Suppose -4*j + 196 = -m*j. Is j prime?
False
Let v be 3 + -1 + 1 + 11. Let p = 2 - 3. Let o = p + v. Is o a prime number?
True
Suppose 3*g - 8897 = -5*c, -c - 2*g = -272 - 1513. Is c composite?
False
Let k(r) = -r**2 - 4*r - 2. Let n be k(-4). Is n/(-6) - (-280)/6 composite?
False
Suppose 4*x - 5*x = -39. Is x a composite number?
True
Let y(p) be the second derivative of -5*p**3/6 - 4*p**2 - p. Let g(c) = -6*c - 9. Let t(h) = -6*g(h) + 7*y(h). Is t(9) a prime number?
True
Suppose 120 = 2*p + 3*p. Is (-32)/p*(-3)/1 a prime number?
False
Let x(q) = -14*q**2 - 26*q - 5. Let j be (8/(-6))/(2/(-3)). Let n(d) = 3*d**2 + 5*d + 1. Let k(p) = j*x(p) + 11*n(p). Is k(-3) prime?
True
Let s(k) = 32*k**3 - 10*k**2 + k. Is s(5) a composite number?
True
Suppose 0 = -p - 53 + 2040. Is p a prime number?
True
Let m be 29/(3/(-36)*2). Let n = m - -346. Let t = -119 + n. Is t a prime number?
True
Suppose -5*b + 2*l + 59 = 0, 0 = -0*b - b + 3*l + 17. Let t = b 