e number?
True
Suppose o - 75 = i, 4*o - 3*i - 31 = 268. Is o*((-6)/(-3) - 1) a composite number?
True
Is (-1)/(-1) + (8304/6)/4 prime?
True
Suppose s = 105 + 50. Suppose 2*a - s = -3*a. Is a prime?
True
Let y(n) = 252*n**2 + n - 2. Is y(1) prime?
True
Suppose -5 = f - 2*f. Suppose -3*p + f*p = 118. Is p a prime number?
True
Suppose -n + 73 = 3*q, -2*n + 5*q + 80 + 55 = 0. Suppose 0*y - 2*y + n = 0. Is y composite?
True
Suppose 9*h - 5*h = 1016. Is h a prime number?
False
Let x(d) = d**2 + 26*d + 75. Let l be x(-23). Let f(g) = -g**3 - 5*g**2 + 3. Let v be f(-5). Suppose -v*t = -l*t + 1191. Is t a composite number?
False
Is ((-2)/(-1))/((-4)/(-194)) composite?
False
Let t be (-9)/(-6)*(-8)/3. Let w = t - -6. Suppose -3*u - 2*v = -5*v - 174, -w*v = 6. Is u a prime number?
False
Let l(j) = -9*j + 10. Let n be l(5). Let g(v) = 24*v**3 - v**2 - v. Let o be g(-1). Let d = o - n. Is d a composite number?
False
Suppose 3*y + 1 - 7 = 3*h, 3*h + 11 = 4*y. Suppose 185 = 2*z + h*z. Is z prime?
True
Suppose 0 = -2*g + g + 80. Suppose -x - 3*x = -g. Suppose -2*f + x + 8 = 0. Is f a prime number?
False
Let w be 0 + (-1 - 1) - -7. Suppose -w*p = -820 - 535. Is p a prime number?
True
Let s(t) = 2*t**2 - 2*t + 1. Let u be s(2). Suppose w - u*g + 57 = 0, -7*w + 5*g = -3*w + 213. Let k = w - -85. Is k a prime number?
False
Suppose 2*d - d - 2*b = 113, 331 = 3*d + 2*b. Is d a prime number?
False
Let c(y) = y + 3. Let g be c(-6). Let p(w) = 21*w. Let z(l) = -43*l + 1. Let q(i) = -5*p(i) - 2*z(i). Is q(g) prime?
False
Let f(r) = 5 - 1 - 6*r - 3 + 13*r. Let x(p) = -p**2 + 8. Let c be x(0). Is f(c) prime?
False
Let h(v) = v + 1. Let z(w) = 3*w**2 + 2*w - 8. Let g(j) = -h(j) - z(j). Let i be g(-5). Let c = i - -104. Is c composite?
True
Let y(t) = -118*t - 50. Is y(-16) prime?
False
Suppose -193 + 23 = -p. Suppose -5*l + 3*l + p = 0. Is l a prime number?
False
Let x(r) = 9*r**2 - 2*r - 4. Let c be x(-4). Suppose -c = k - 5*k. Is k a composite number?
False
Let v = -562 + 957. Is v a composite number?
True
Let n(b) = 5*b + 5. Let t be n(-6). Let i = t + 188. Is i a composite number?
False
Let n(b) be the first derivative of b**4/4 + b**2/2 - 5. Let y be n(0). Suppose -3*i = 5*t - 301, 5*t = i - y*i - 87. Is i a prime number?
True
Let r(n) = -n**3 - 9*n**2 - 9*n - 3. Let k be r(-8). Suppose 0*d = -k*d + 35. Is d a prime number?
True
Let i = -642 - -1273. Is i a composite number?
False
Let a(i) = 53*i - 6. Suppose 0 = s + 5*s - 42. Is a(s) a prime number?
False
Suppose 0*j = j + 1. Let t(h) = -336*h**3 + 1. Is t(j) prime?
True
Suppose 0 = 4*z - 643 + 75. Is z prime?
False
Let f(n) = -300*n - 62. Let l(v) = 100*v + 21. Let a(r) = 4*f(r) + 11*l(r). Is a(-7) a composite number?
False
Let d = 672 + -437. Suppose 438 = 4*y + 2*l, 101 = 3*y - l - d. Is y a composite number?
True
Suppose 27 = 5*x - 3*s, -32 = -2*x - 2*x + 5*s. Suppose 7*o = -4*j + 3*o + 604, -j + x*o = -143. Is j a prime number?
True
Let q(l) be the third derivative of l**7/840 - l**6/720 - l**5/15 - l**2. Let n(v) be the third derivative of q(v). Is n(6) prime?
False
Let h = 6 + -12. Let i be -8*(-111)/h*-1. Suppose 6*c - i = 2*c. Is c a composite number?
False
Let r(q) be the third derivative of -7*q**4/12 - 5*q**3/6 - q**2. Is r(-6) prime?
True
Suppose 0 = -5*d - 5*o + 505, 0 = 3*d + 4*o - 232 - 66. Is d composite?
True
Let p(u) be the second derivative of -u**6/360 + u**5/8 - 3*u**4/8 - u**3/6 - 3*u. Let t(c) be the second derivative of p(c). Is t(11) a composite number?
True
Let s(r) = -2*r**2 + 14*r - 2. Let j be s(10). Let y = -43 - j. Is y a composite number?
False
Let w = 93 + 63. Suppose 0 = -3*l - j + 4*j + w, -j + 54 = l. Is l a composite number?
False
Suppose y = 3*y. Let i(q) = y*q**2 - 4*q**2 + 4*q**2 - q**2 - 18*q + 7. Is i(-8) a composite number?
True
Let k(o) be the third derivative of o**5/20 - o**3/6 + o**2. Let v be k(-1). Suppose 3*b - v*b = 22. Is b prime?
False
Let a(m) = 4*m. Let x be a(1). Suppose x = -w - 5*f - 11, -4*w - 6 = 2*f. Suppose w = -q + 28 + 11. Is q prime?
False
Suppose c - 16 = -5*v - 2, 3*c = -v - 14. Let w be c/(-9) - 10/6. Is (w/2)/((-3)/402) composite?
False
Let w = 15 - 14. Let b(z) = -z + 5. Let q be b(0). Suppose -q*n - 3*v = v - 171, w = -v. Is n composite?
True
Suppose 4*h + 0*t + 5*t - 1191 = 0, 3*h + 2*t - 895 = 0. Is h a prime number?
False
Is (-21410)/(-5) - (0 - 3) a composite number?
True
Let c(z) = 5*z**3 - 7*z**2 - 2*z - 1. Let g(f) = f**3 - 1. Let j(o) = -c(o) + 6*g(o). Is j(-6) a composite number?
False
Suppose 1143 + 1092 = 5*j. Is j prime?
False
Let a(w) = -34*w**3 + w**2 - 2*w + 1. Let z be a(1). Let v = z + 57. Is v a prime number?
True
Suppose 0 = -3*i + 2*i + 2. Is 1374/12 + 1/i prime?
False
Let v = 3 + -5. Let n = -10 + v. Let l = 23 - n. Is l composite?
True
Let p(m) = 2*m + 4. Let j(o) = -o. Let a(t) = -5*j(t) - p(t). Is a(6) prime?
False
Suppose -2*j = 8, -2*h - 5*j = -5*h - 274. Suppose -k - 28 = 15. Let u = k - h. Is u a prime number?
False
Let z = -2 + 11. Let b be (-6)/z - (-28)/6. Suppose 12 = b*l - 32. Is l a prime number?
True
Let k = -6 + -24. Suppose 4*u = -x + 3*x + 34, 59 = -4*x + 5*u. Let i = x - k. Is i prime?
True
Let w(s) = 12*s**2 - 5. Is w(5) a composite number?
True
Let u(d) = d**2 - 8*d**3 - 4*d**2 - 1 + 4*d**3 - 3*d. Is u(-3) a composite number?
False
Let d(s) = -s**2 - 5*s + 2. Let n be d(-5). Suppose -n*v + 3*c = -92, -3*v + 125 = -c + 3*c. Let g = 132 - v. Is g composite?
False
Suppose -33 = -3*k + 3*p + 72, 99 = 3*k + 3*p. Is k prime?
False
Let p(y) = y**3 + 7*y**2 - 8*y - 5. Let m be p(-6). Let x be ((-4)/(-6))/((-4)/(-6)). Is (1/1)/(x/m) composite?
False
Let p be (-3 - -3 - 2) + 2. Suppose -402 = -p*c - 2*c. Suppose c = 2*k + 35. Is k prime?
True
Is (-2)/(-6) - 7210/(-15) composite?
True
Suppose -5*t + 80 = -0*m + m, 2*m = -t + 25. Let b = t - 13. Is b a composite number?
False
Let w be (-234)/65 - 4/10. Let m(g) = -2*g - 5*g + 6*g**2 - 6 + 1. Is m(w) composite?
True
Suppose 3*v - 321 = 105. Is v prime?
False
Let q(a) = -6 + 0*a + 0*a**2 - 5*a + 2*a**2 + 4*a. Let b be q(-5). Let f = b + 112. Is f a composite number?
True
Suppose 9*d - 11*d = -526. Is d a composite number?
False
Is ((694/3)/(-2))/(3/(-9)) prime?
True
Let v(o) = -4*o + 3. Let h be v(-5). Suppose 2*m - h = m + 5*y, 48 = 4*m + 2*y. Is m a composite number?
False
Let t be ((-37)/(-3))/(1/(-6)). Let u = -126 - -74. Let d = u - t. Is d composite?
True
Suppose -2 = 4*v + 5*z - 17, -v = -5*z - 10. Suppose -2*o + 179 = t, -522 = -v*o - 2*t - 75. Is o a composite number?
False
Let h(m) = 17*m + 9. Let y be h(-6). Let g = 3 - y. Let d = g - 7. Is d a prime number?
True
Suppose y + d + 152 = 0, 4*y - 4*d = -367 - 225. Let b be 3*(0 - 309/9). Let k = b - y. Is k prime?
True
Let h = 6 + -1. Suppose 3*w - h*w + 4 = 0. Is (25/w)/((-3)/(-6)) prime?
False
Is ((-5294)/(-8))/((-2)/40*-5) composite?
False
Let x(g) = 2*g**2 + 2. Let q be x(-2). Suppose s = 33 - q. Is s a prime number?
True
Suppose -2*b = -0*b - 382. Is b a prime number?
True
Let s be (-2)/(-2)*(-1 - -1). Suppose s*n = 2*n + 3*d - 114, n + d = 57. Suppose v - 4*v = -n. Is v a prime number?
True
Suppose -2 + 1 = s - j, 0 = 5*j - 5. Suppose s = 5*z - 4 - 21. Suppose 30 = z*t - 75. Is t a prime number?
False
Let x(w) = -10*w. Let z be x(1). Let g be (-2)/6 - z/(-15). Is g - (-1 + (-21 - 2)) prime?
True
Let a(m) = 3*m**2 + 8*m - 5. Let f be a(-4). Is ((-209)/19)/((-1)/f) prime?
False
Let i = -20 - -12. Is 717/12 - (-6)/i a composite number?
False
Let f(n) = n**2 - 4*n - 8. Let a be f(6). Let o = a + 0. Is 1 + 2 - (4 - o) a prime number?
True
Let r = -31 + 120. Is r prime?
True
Let d(f) = -124*f. Let n be d(-1). Let s = n - 87. Is s composite?
False
Suppose 4*a = -2*t + 1058, 91 = a + t - 173. Suppose 0 = -s - 4*s + a. Is s prime?
True
Let v = 7 + -5. Suppose -3*s + 5*f + 12 = -2, -v*f = -s + 6. Is 1*254/s*-1 a prime number?
True
Suppose 2*p + 762 = 4*m - 630, 3*m = -p + 1044. Suppose -6*u + m = -2*u. Is u a composite number?
True
Let u be ((-4)/(-10))/(3/15). Suppose j + 2 = u*j. Suppose x + 71 = j*x. Is x a prime number?
True
Let l(v) = -v**3 + 19*v**2 + 14*v - 22. Is l(13) a composite number?
True
Let p(n) = n - 13. Let y be p(11). Let r be (y/(-2))/((-4)/12). Is 22/1 - 0/r composite?
True
Let k(h) = -h**