e 4/6 + (-2)/3. Let n be -2*(y - 57/(-2)). Let f = 94 + n. Is f a prime number?
True
Let f = -10925 + 15298. Is f composite?
False
Let o = -20 + 27. Suppose o*f = 3*f + 3596. Is f a composite number?
True
Let j = 3878 - 2239. Is j prime?
False
Is (1 - -3906)*3*7/21 a prime number?
True
Let o(p) = -2*p**2 + 8. Let s(u) = -u**2 - 2*u + 9. Let n(l) = -2*o(l) + 3*s(l). Let j(t) = -t**3 - t**2 + 4*t. Let r be j(-3). Is n(r) composite?
False
Let d(h) = 2*h**3 + 4*h**2 - 2*h - 1. Suppose 13*k = 5*k + 40. Is d(k) prime?
False
Suppose -3*c + 3 = 0, 5*c - 5 = u - 0*c. Suppose 0 = 2*r - 4*o + 12, u*o - 4*o - 44 = 5*r. Is ((-59)/(-2))/(r/(-16)) prime?
True
Suppose -5*u = 2*u + 147. Let c = u - -155. Is c a composite number?
True
Let x(v) be the second derivative of 11*v**4/4 - 3*v**3/2 + 13*v**2/2 - v + 1. Is x(-6) a composite number?
True
Let p = 936 + -610. Suppose 475 = 3*b - p. Is b a prime number?
False
Let r(m) = 956*m**2 - 12*m - 27. Is r(-2) a composite number?
False
Suppose -6*v + 152 = 32. Suppose 9*s = v + 88. Suppose -5*k + 36 = 3*r + s, -2*k - 45 = -3*r. Is r a composite number?
False
Let l(y) = y**2 + 14*y + 28. Let m be l(-12). Let c = -2 + 3. Is (-6)/m*(-3 + c) prime?
True
Suppose -4*t - k - k + 46 = 0, 41 = 4*t + 3*k. Let b be (-444)/(-14) + t/49. Let m = 253 - b. Is m composite?
True
Suppose -312*v = -316*v + 1676. Is v composite?
False
Let f = 254 + -243. Let d(q) be the first derivative of q**4/4 - 10*q**3/3 - 6*q**2 + 14*q - 2. Is d(f) composite?
False
Suppose 0 = 6*d + 6 - 30. Suppose -4*v + 198 = -3*v + j, d*j = -3*v + 598. Is v prime?
False
Let u = -35 - -37. Is u + 0 - (6 - 258) prime?
False
Let p be 9/12 - 63886/8. Is -1 + 28/36 - p/9 a prime number?
True
Suppose -5930 = -5*k - c, 3*c + 559 = 2*k - 1813. Is k prime?
False
Suppose 4*w + 1500 + 666 = 2*i, 0 = w. Suppose 0 = 7*d - 394 - i. Is d composite?
False
Suppose 4*b - 40 = -4*j, -4*j - 5 = -2*b - 15. Suppose -3*x + 429 + 594 = -3*f, 0 = -4*x - b*f + 1355. Suppose 5*u + x = 1455. Is u prime?
True
Suppose 2*x - 2*q = 10, -3 = -3*x - 2*q - q. Suppose -1438 = -x*h + r, 5*h = 3*r - 0*r + 2390. Is h prime?
False
Let u(n) = -n**3 + 7*n**2 - 7*n - 2. Let h be u(7). Let d be (-2)/8 - h/12. Suppose 63 = d*x - 89. Is x a composite number?
True
Let c(x) = 2043*x + 8. Let f be c(6). Suppose -f = -5*p + 3*n - 0*n, -4*p - 4*n + 9800 = 0. Suppose 17*q - 13*q - p = 0. Is q a composite number?
False
Suppose 3*y = 3, 18 = 3*s - 2*y + 2. Suppose 0 = 3*u - j - 1140, 2*j - 12 = s*j. Is u composite?
False
Let m(l) = -l - 10. Let o be m(-9). Let i be (30/(-20))/(o/2). Suppose -4*t = -4*g - 148, i*g = -2*g. Is t a prime number?
True
Suppose 6 = 3*t - 3*s, 2*s = -3*t - s + 12. Let q(c) = -63*c + 4 + t + 33*c. Is q(-5) a composite number?
False
Let q(b) = -b**3 + 9*b + 1. Let x be ((-81)/(-18))/((-2)/(-4)). Let y(g) = g**3 - 10*g**2 + 8*g + 3. Let h be y(x). Is q(h) a composite number?
False
Let l = -852 + 2179. Suppose -6*j - l = 653. Is (-41954)/j - (-2)/(-15) a prime number?
True
Let k = 1718 - 230. Suppose 0 = 9*v - 5*v - k. Suppose -2*j + 194 = -p - 41, 3*j = -5*p + v. Is j a composite number?
True
Suppose -7*s + 10*s - 3478 = 4*x, 0 = -5*s + 3*x + 5815. Suppose f + u = -0*u + s, 3493 = 3*f + 4*u. Is f prime?
True
Suppose -9*v + 1446 = -48. Suppose 27*u = 28*u - v. Is u prime?
False
Let b(j) = -j - 8. Let y(s) = 3*s + 17. Let t(a) = -5*b(a) - 2*y(a). Let z be t(7). Let v = z - -59. Is v prime?
False
Is 4696*(78/(-48))/(-13) prime?
True
Let h = 48 - -259. Is h prime?
True
Suppose -4 = -k - 1. Suppose -a = k*a. Suppose 395 = -a*d + 5*d. Is d prime?
True
Let l(s) be the first derivative of -s**4/4 - 8*s**3/3 - 3*s**2/2 + 2*s - 1. Let i(u) = -6*u**2 - 8*u - 10. Let h be i(-1). Is l(h) a composite number?
True
Let g be 0/(-2) + 6 - 3. Suppose 5*l - g*l = 10. Suppose -15 = -5*x, l*a + 0*x - x - 272 = 0. Is a a composite number?
True
Suppose 3*q = 113465 + 258382. Is q a prime number?
False
Let c = 501 + -32. Let w = -123 + 277. Let r = c + w. Is r composite?
True
Suppose -4 = -i, -5*s = -5*i - 2 - 38. Let w(c) = c**3 - 12*c**2 + 3*c - 13. Is w(s) a prime number?
True
Suppose 5*d - r = 4517, 5*r - 2561 = -4*d + 1041. Suppose 0 = 8*o - 11*o + d. Is o a composite number?
True
Is 188/(-376)*-1*10526*1 a prime number?
False
Let j(a) be the first derivative of a**3/3 + 7*a**2 + 2*a - 2. Let v be j(-14). Suppose v*l - 7*l = -10. Is l a composite number?
False
Let y(l) = 2*l + 10*l**2 + l**3 + 5 + l + 3*l. Is y(-4) prime?
False
Let k be (498/5)/((-4)/(-20)). Let y = -59 + k. Is y a composite number?
False
Let c(m) = -1. Let w(u) = 126*u + 2. Let x(j) = 5*c(j) + w(j). Let a(d) = 2*d**2 - 2*d - 2. Let p be a(2). Is x(p) prime?
False
Let y(m) = -m**3 - m**2 + m - 2. Let v be y(-2). Suppose 4*k - 1264 - 732 = v. Is k prime?
True
Suppose 0*u + 5*y = -2*u + 88, -3*u - 3*y = -114. Suppose 3*r - s - u = 6, -5*r = 5*s - 80. Suppose -f = f - r. Is f composite?
False
Let k = 1094 - 117. Suppose -k = -8*m + 3319. Is m a composite number?
True
Suppose 0 = 3*s - 2771 + 614. Suppose -5*w = -s - 691. Let o = w - 169. Is o composite?
False
Let p be 4/10 - (-10692)/(-30). Let k be 2 - (-1 + p + -2). Suppose 3*n - 1443 = -4*h, -112 - k = -n - 4*h. Is n composite?
True
Let z = 273 + -160. Let t = z - -156. Is t composite?
False
Suppose 0*j = -5*j + 10. Suppose 3 = j*q - 57. Suppose 0 = -4*k + k + q. Is k a prime number?
False
Let c(h) = -11*h**3 - 8*h**2 + 5*h + 15. Is c(-6) prime?
False
Let p(j) = 903*j + 304. Is p(31) a composite number?
False
Let j(u) be the third derivative of 269*u**4/24 - 17*u**3/6 + 7*u**2. Let k be j(7). Suppose 368 = c - 5*v, 2*c + 3*c + v - k = 0. Is c prime?
True
Let y be (3/(-9) - 0)*0. Suppose -4*j - 5*n + 58 + 521 = y, -4*j + n = -609. Let p = j + -93. Is p composite?
True
Let b be -1 + (7116/4 - 1). Suppose 363 = -2*g + b. Is g prime?
False
Let c(d) = -6*d + 2. Let s be c(-3). Let i = 6 + s. Suppose b - i = 51. Is b prime?
False
Let j be (-1 - -2) + 6165/3. Let t = -1161 + j. Is t prime?
False
Let n(w) = 3*w**2 + 5*w - 14. Let j(t) = -7*t**2 - 9*t + 29. Let k(v) = -2*j(v) - 5*n(v). Let m be k(-16). Let b = -63 - m. Is b composite?
True
Suppose -5*m = -11*m + 18. Suppose 0 = -4*y + c + 1233, -3*y - m*c + 247 = -659. Is y composite?
False
Suppose 3*n + 4*u = -15770, -8*n + 4*n - 3*u - 21015 = 0. Let c = n + 8969. Is c a composite number?
False
Let g(u) = 566*u**2 - 8*u + 45. Is g(6) prime?
False
Suppose 2*k + 2*f - 1497 = f, -2*f + 747 = k. Is k a composite number?
True
Suppose i - 18 = -i. Is (-2)/3*i/12*-7694 a prime number?
True
Let y = -7 - -16. Let g be -13 + y - (-137 - -1). Suppose g = 2*k - 40. Is k composite?
True
Is -1*(17 + -23 - 5521*5) composite?
False
Let s(a) = a**2 + 14*a + 8. Let u be s(-14). Suppose -g + u = 3*g. Suppose g*t - 5*i = 2506, 0*t = 4*t - 5*i - 5012. Is t a composite number?
True
Suppose 2*m = -543 - 457. Let k(h) = -h**3 - 6*h**2 + 12*h - 5. Let t be k(-12). Let g = t + m. Is g a prime number?
False
Suppose 0 = 21*y + 12*y - 41547. Is y a prime number?
True
Suppose -53254 - 17292 = 7*r. Is r*((-14)/(-4) + -4) composite?
False
Let a(c) = -4*c**3 + c**2 + 3*c + 3. Let u be a(-1). Suppose -5*j = -u*s + 575, -4*s + 2*j + 436 = 4*j. Is s prime?
False
Suppose 0*i = -3*i + n + 44, 2*i - 20 = 3*n. Let m(a) = a**3 - 12*a**2 + 10*a - 33. Is m(i) a prime number?
True
Suppose 42340 = 3*p - 45395. Is p a composite number?
True
Is 11053 - ((-2 - -4) + -6) composite?
False
Suppose 847 = -5*z - 278. Let m = 479 + z. Let c = m - 165. Is c a prime number?
True
Let k = -2 - -4. Suppose -4*q + 792 = -52. Suppose -k*z + 12 = 5*a - q, 0 = a - 1. Is z composite?
False
Suppose 0 = -0*r + 4*r - 12. Suppose -268 = -4*h - 2*u, 2*h - 110 = 8*u - r*u. Is h a composite number?
True
Suppose -h + 13 = -4*u, u + 14 = -2*h - u. Let j(m) = m + 3. Let q be j(h). Suppose q = -2*w + 4*f + 270, 0*f - 3*f = -3*w + 399. Is w composite?
False
Let n(w) = w**3 - 39*w**2 + 34*w + 92. Is n(39) a prime number?
False
Suppose -3*k - 5*j + 37 = 0, 2 = j - 0. Suppose k = 4*b - 3. Is b a prime number?
True
Let w = -38 + 46. Suppose 5*p - 11401 = -w*p. Is p prime?
True
Let g(h) = 9*h - 15 + 34*h**2 + 3*h - 10*h + 33*h**2. Is g(-4) a composite number?
False
Suppose 0 = -10*t + 29 - 109. Is t/68 - (-235976)/136 a prime 