v a prime number?
True
Suppose -4*a = -2537 - 5043. Is a a composite number?
True
Let t(s) = s**3 - 4*s**2 - s + 3. Let f be t(5). Suppose -f + 93 = -5*k. Let c = 17 - k. Is c composite?
False
Let x = 2057 - 3473. Is x/(9/(-3)) + -3 prime?
False
Suppose -2*l + 32 = -4*y, -7 = 5*y + 4*l + 20. Let w(u) = 3*u**2 + 8*u + 5. Let n be w(y). Suppose -5*m - 4*f + 547 = 0, -3*f + n + 120 = 2*m. Is m prime?
False
Let o be 238/63 + 1 + 14/(-18). Suppose 3*j = 3*h + 1008, -o*h - 1459 - 222 = -5*j. Is j a prime number?
True
Let l = -2155 - -6188. Is l composite?
True
Suppose 0 = 5*r - 2605 - 2700. Is r prime?
True
Let k be (-4)/(-6) + (-4)/6. Suppose -p = -k*p. Suppose -7*r + 3*r = d - 103, d + 2*r - 111 = p. Is d prime?
False
Let a be ((-12)/(-16))/(3/16). Suppose -2*g = -a*g + 2506. Is g prime?
False
Let j be 8*(6/8)/((-15)/(-10)). Let l(s) = 17*s**3 - 7*s**2 - 6*s + 1. Is l(j) a prime number?
True
Let s(x) = x**3 - 23*x**2 + 23*x - 26. Let i be s(22). Is 15*i/(-12) - -2454 a composite number?
False
Suppose 24 = 16*x - 14*x. Suppose 4*z = 50 - 2. Is 2679/x + (-3)/z composite?
False
Is (1205/(-5))/((-1)/41) a prime number?
False
Let b be 98/42*(0 - -3). Suppose 2*a - 207 = -o, -3*a + 3*o = -b*a + 415. Is a a composite number?
False
Suppose -4*y + y + 24 = -3*r, 25 = 5*y - 2*r. Let z(u) = 2*u + 3*u**3 - 16 - 3*u**y - 10*u**2 - u**3 + 2*u**3. Is z(11) a prime number?
True
Let s(n) be the second derivative of -5*n + 1/2*n**2 - 23/6*n**3 + 0. Is s(-6) a prime number?
True
Is 1 + 47339 - (-59)/(-59) a prime number?
True
Let g(a) = 111*a**3 + a**2 - a + 4. Is g(3) a prime number?
False
Suppose 2648 + 1184 = 4*y. Suppose 2*k + 3*k = -2*a + y, -5*a = 5*k - 2365. Is a a prime number?
False
Let y = -252 - -125. Let f be (-3)/((-3)/y) + -2. Let a = f + 460. Is a a prime number?
True
Suppose -3*s + 2*s = -5. Suppose -o + 4*u = -19 - s, -2*o = 3*u + 7. Suppose -4*y - 3*d = -174 + 38, 4*y = -o*d + 132. Is y composite?
False
Suppose 3 + 2 = f. Suppose 0 = -f*d + 10*d - 10. Suppose 4*q + k - 4841 = 0, 4*q - d*k - 7581 = -2731. Is q composite?
True
Suppose 3*t - 3 = 0, 218*t = 2*v + 219*t - 115791. Is v a composite number?
True
Suppose -3*l = -5429 - 3820. Is l prime?
True
Let m = -11 - -14. Let v = -177 + 662. Suppose m*q = 4*q - v. Is q a prime number?
False
Is 3/6 - 129276/(-24) composite?
False
Suppose 0 = 3*c - 6*c + 165. Let h = 22 + c. Is h prime?
False
Let p(s) = s**2 - 18*s + 14. Let h be p(17). Is h - (-6)/3*27 composite?
True
Let a(u) = -u**3 - 6*u**2 + 8*u + 9. Let d be a(-7). Suppose -x - 559 = -d*x. Is x a prime number?
False
Suppose 9761 = d - 4*h - 23280, -132202 = -4*d - 3*h. Is d prime?
True
Let p(o) = 45 + 194*o**3 - 10 - 193*o**3. Is p(0) a composite number?
True
Suppose -5 = -0*a - a. Suppose a*m - 1524 = -m. Is m prime?
False
Suppose 0 = -270*y + 265*y + 34115. Is y prime?
True
Suppose -28*v = -5*r - 33*v + 2620, -2*v = -2*r + 1060. Is r prime?
False
Let a(x) = -25 - x + 14 + 21*x**3 + 4. Is a(3) prime?
True
Let r = -67 + 72. Suppose 6*h = 2*h + 16. Suppose 4*m = a + 624, h*m + 163 = r*m - 2*a. Is m prime?
False
Let t(d) = d**3 - 3*d**2 + 2*d - 4. Let w be t(3). Let v(q) = 20*q + 143. Let z be v(-7). Suppose -w*a + 166 = -z*l, -a + 4*l = 3*l - 81. Is a composite?
True
Let f = -5410 + 10721. Is f a prime number?
False
Let o(b) = 36*b**2 - 2*b - 1. Let f(x) = -37*x**2 + 3*x + 2. Let l(j) = 6*f(j) + 7*o(j). Is l(6) a composite number?
False
Let b(v) = 211*v + 9. Let k be b(17). Suppose -7*m + k = 355. Is m prime?
True
Let o = 2398 + -5522. Is (-2)/(8/o) + -3 a composite number?
True
Is (-312)/16*2514/(-9) prime?
False
Suppose 4*s - 4*m = -87 + 439, 2*s + 4*m = 182. Suppose 0 = -0*t - t + s. Is t a prime number?
True
Let w = 6164 - -3497. Is w prime?
True
Let x = -26 - 13. Let j be x/(-18) - (-4)/(-24). Suppose 4*q + 1926 = 2*r, -7*q = -j*q + 20. Is r prime?
False
Suppose -2*u = -s + 3, -2*u + 2*s = -0*u + 6. Is 6224/18 + u - 68/(-306) prime?
False
Let o(t) = -3*t**3 - 8*t**2 + 4*t - 9. Is o(-14) prime?
True
Let n(s) = 123*s**3 - 5*s**2 + 11*s - 2. Is n(3) a composite number?
False
Let p(l) = 325*l**2 - l. Let g be p(2). Let y = -827 + g. Is y a prime number?
False
Suppose -29*g + 40752 = -99811. Is g prime?
False
Suppose 0 = -j - 834 + 8195. Is j composite?
True
Is (-75*15 + 2)*(-4 - -3) a composite number?
False
Let z = -3354 + 4951. Suppose 0 = 2*n - s + z, 0 = -2*n + 4*s - 0*s - 1606. Let c = n + 1206. Is c prime?
True
Suppose 0 = -48*h + 45*h + 1524. Suppose -4*x - r + 270 = -746, 0 = 2*x - 4*r - h. Is x a composite number?
True
Suppose -213130 = -14*p + 4*p. Is p composite?
False
Let x = -1507 - -5708. Is x prime?
True
Suppose 4*s + 4*w + 250 = 1414, -1168 = -4*s - 2*w. Is s a composite number?
False
Let f(u) = -9*u + 20. Let v be f(-9). Suppose -691 = 3*c + v. Let t = c - -475. Is t a prime number?
True
Suppose -5*x = -2*f - 604, 0 = -4*x + 4*f + 88 + 400. Let r = x - -67. Is r a composite number?
True
Let z = 9402 + -6503. Is z prime?
False
Let v = -318 + 320. Let p(r) be the third derivative of 4*r**5/15 - r**4/6 + r**3/2 - r**2. Is p(v) a composite number?
False
Let m(i) be the second derivative of i**5/20 + i**4 + i**3 - 17*i**2/2 + i. Let x be -13 - (1 + (-12)/2). Is m(x) composite?
False
Suppose -5*q = -25962 + 8732. Let p = q + -2346. Let r = p + -615. Is r prime?
False
Is ((-19)/38)/(-1*2/1508) composite?
True
Let q = -24 + 26. Suppose 0 = -q*i - 2*r + 1105 + 329, -3*r = -3*i + 2163. Is i composite?
False
Let m(t) = 2*t**3 + 13*t**2 - 6*t + 7. Let o be m(-7). Let d = 29 + -18. Suppose -2*g + d + 503 = o. Is g a composite number?
False
Suppose s + 9 = 4*i, -2*i - s = -2*s - 3. Suppose 4*a - 5*a + 752 = 3*j, -j + 248 = i*a. Is j prime?
True
Let n(y) = -y + 1. Let o(m) = 6*m**3 - 2*m**2 + 5*m - 8. Let j(l) = 4*n(l) + o(l). Is j(3) composite?
True
Let r = 3731 - 1908. Is r a composite number?
False
Suppose 2*g + 950 = 374. Suppose 206 = -87*s + 86*s. Let u = s - g. Is u composite?
True
Suppose -4*a = -12*a + 76696. Is a a composite number?
False
Suppose 41*j + 5*k = 39*j + 21275, 2*j + 4*k = 21278. Is j composite?
True
Let f be (4/5)/(1/(-1510)). Let r = 3047 + f. Is r a composite number?
True
Suppose 2*w - 1071 + 4599 = 4*u, 0 = -u - 2*w + 887. Suppose i = -d - 158 + u, -4*d + 1458 = 2*i. Is i a prime number?
False
Suppose -24184 = -4*z + 9228. Is z a prime number?
True
Let h = 297 - -1042. Is h a composite number?
True
Suppose 0 = 13*t - t - 304596. Is t composite?
True
Let s be 30/(-2 - (-5254)/2624). Suppose 4045 = -5*z + s. Suppose -2*p + z = b + 29, 3*p - 2689 = b. Is p a prime number?
False
Let y = 24 + 5. Suppose 5*c + 5 = 0, -7*b + 2*b + 4*c = -y. Suppose 209 = b*g - 66. Is g a composite number?
True
Let m = -684 + 1903. Is m prime?
False
Let f(t) = -t**3 - 13*t**2 - 13*t - 10. Let q be f(-12). Suppose y = q*y. Suppose -5*l + 4*m = -101, 5*l = -y*m + 3*m + 102. Is l a composite number?
True
Let q be 3/(6 - -3) - (-33)/9. Is 3/((-42)/q) + (-867042)/(-126) a prime number?
False
Suppose 133 + 31 = l. Suppose -l - 30 = -k. Is k a prime number?
False
Suppose o = 3*n - 22243, 0*n + 7425 = n + 5*o. Is n prime?
False
Let y(i) = 22*i + 9. Let u = 6 + -6. Suppose -2*z + 5*q - 17 = u, 0 = z - q + 3 - 2. Is y(z) a composite number?
False
Suppose 2*p + 2026 = 4*h, 5*p = h - 151 - 342. Let i be (1 + (-7)/4)/((-27)/108). Suppose -i*d - d = -h. Is d a prime number?
True
Let k(t) = 1. Let u(y) = y - 8. Let g(b) = 2*k(b) + u(b). Let q be g(6). Is q + -1 + 260 + 0 a prime number?
False
Let p(i) = i**3 - i + 3049. Is p(0) a composite number?
False
Let y(u) = 36*u**2 + 81*u - 163. Is y(32) a prime number?
True
Suppose 1157 = 2*f + 3*p, -f - 2*p - 204 = -782. Suppose -2*w + f = 134. Is w composite?
False
Let i(j) = 396*j - 4. Let k be i(2). Suppose 3*t + k = 2729. Is t a composite number?
False
Let s(j) = -30*j + 8461. Is s(0) composite?
False
Let j be 3/(-9) - (-5)/15. Suppose -7*w + j*w = -21. Suppose p = 2*p + 5, p + 170 = w*q. Is q a composite number?
True
Let g(n) = 89*n**2 - n + 4. Let h be g(4). Let u = -469 + h. Is u prime?
False
Suppose 21 = m + 2*s, m - 35 = -3*s - 10. Suppose m*b = -3*b + 20144. Is b prime?
True
Let p(m) = 4*m**2 - 3*m**2 + 16 + m**2 + 4*m - 13. Let t be p(-2). Suppose -4*c + 16 = 0, c + 154 = -2*l + t*l. Is l a composite n