
Let t(s) = -s**3 + 3*s**2 + s - 4. Let v be (-7)/(-4) - 13/(-52). Let g be t(v). Suppose 0*f + 789 = 2*r - f, -387 = -r + g*f. Is r prime?
True
Is (-3)/(-33) - (1 - 5110705/55) prime?
True
Suppose 23*c - 20*c - 42855 = 0. Is c composite?
True
Let a = 14119 - 3320. Is a composite?
False
Is (-474708)/(-54) + (-2)/(-18) a composite number?
True
Suppose z = -25*z + 120146. Is z a prime number?
True
Suppose 0 = 11*b - 24652 - 12649. Is b prime?
True
Suppose 6*o = 53426 + 22000. Is o a composite number?
True
Let j be ((-51)/(-34))/(3/4). Suppose j*u + u - 2*b = -512, 846 = -5*u - 4*b. Let z = u + 597. Is z a composite number?
True
Suppose 3595 = 4*v + o, 0*v + 2701 = 3*v - 4*o. Is v a prime number?
False
Suppose -5*g + 2*h + 2*h = -542, 4*g + 4*h = 448. Suppose g = q - 91. Is q prime?
False
Is (5/(-2) - -2)/(8/(-3376)) composite?
False
Let a(n) = n**2 - 3*n - 4. Let v be a(4). Suppose h + 120 = 6*h - 5*g, 2*h + 5*g - 13 = v. Let k = h - -2. Is k a prime number?
False
Let w be ((-12)/9)/2*-3. Is (-1 + w)/(10/4090) composite?
False
Suppose 8*a - 53897 = -9073. Is a prime?
False
Let i(y) = 4*y**2 - 11*y - 9. Let r(o) = o**2 + 10*o - 7. Let k be r(-8). Let x = -31 - k. Is i(x) prime?
False
Let d(m) = -7 + 4 - 2*m - 1. Let s be d(-4). Suppose p - 205 = -3*j, -j + 51 = -0*j - s*p. Is j a prime number?
True
Suppose -5*a + 2*y + 110 = 0, a = 2*y - 1 + 23. Suppose a + 66 = -r. Let i = -35 - r. Is i a prime number?
True
Let u = -96 - -104. Is (-8)/(u/3)*(-1119)/9 prime?
True
Let u(s) = s**2 - 11. Let j(m) = m**3 - 9*m**2 + 8*m + 2. Let i be j(8). Let d = 12 - i. Is u(d) prime?
True
Let j(y) be the third derivative of y**6/120 - 11*y**4/24 - 19*y**3/6 - 37*y**2. Is j(12) prime?
False
Suppose 4*t + 66650 = 2*v, 5*v = -11*t + 6*t + 166610. Is v a prime number?
False
Let c(u) = 5*u**2 - u - 2. Let i be c(-1). Suppose 2*x + 5*h = 519, 1029 = 4*x + i*h - 3*h. Is x prime?
True
Let o = -12342 - -27187. Is o composite?
True
Suppose 5*q + 6*q - 61435 = 0. Is q composite?
True
Let n = -52 + 58. Suppose n*f = 3*f + 1899. Is f a prime number?
False
Let d = 15 - 8. Suppose -4*s - 537 = -d*s. Is s prime?
True
Suppose -33*s + 36*s = 12. Suppose -1926 = -s*d + 214. Is d prime?
False
Let n = 64100 + -18271. Is n a composite number?
True
Let p(b) be the second derivative of -2*b**5/5 - b**4/4 - 2*b**2 - 2*b. Let i be p(-3). Suppose a + 22 = i. Is a prime?
True
Let p(q) = 27*q + 10. Let a be p(18). Suppose -2*c + 2*m + m = -349, a = 3*c + m. Is c a prime number?
True
Let h(w) = w**2 - w - 4. Let i be h(3). Suppose -3*r + 4*u = -437, 2*r + i*u - 276 = -8. Is r a composite number?
False
Suppose 8*o - 9*o + 4 = 0. Let t(n) = 141*n - 10. Is t(o) composite?
True
Suppose 3*g - 6 = 0, 9*g = -2*n + 5*g + 122890. Is n a prime number?
True
Let q(x) = -242*x + 10. Let l(v) = -v**3 - 6*v**2 + 5*v - 7. Let k be l(-7). Let s be q(k). Is (s/(-16) - 2)*4 a composite number?
True
Is 5754515/90 - (-11)/(-198) a composite number?
True
Let r be 5/(0 + 4/340). Suppose -v + r = -0*v + 3*u, 421 = v + 2*u. Is v prime?
False
Let t = 380 + 357. Is t a composite number?
True
Suppose -4*g + 2452 = -3*d, -2*g - 1240 = -4*g - 2*d. Suppose 0 = -2*w + w. Suppose w = -5*v + g - 171. Is v composite?
False
Let a be -10*((-28)/(-10) - 3). Suppose -5*r - c = -13024, -a*r + 6260 = -4*c + 1046. Suppose -2*u + r = 3*u. Is u a composite number?
False
Suppose 1667 = n - 2*q, 3*n + 1666 = 4*n - 3*q. Suppose 3*s = -502 + n. Is s prime?
True
Suppose -6*i + 7*i = 8519. Is i a composite number?
True
Suppose 11*o = 6*o. Suppose -5*k + 9*k - 20 = o. Suppose 3*u = 2*u + k*c + 31, -5*u - c + 155 = 0. Is u prime?
True
Suppose 27*w - 78727 = 24*w - 4*o, -4*o + 26253 = w. Is w a prime number?
True
Let v = 568 - 258. Let g = -107 + v. Is g composite?
True
Let j(k) = -33*k**3 + 2*k**2 + 4*k - 7. Let l be j(-4). Suppose 55*s - 52*s = l. Is s composite?
True
Let z(m) = 133*m + 9. Let q be z(5). Suppose 1312 = 6*u - q. Is u composite?
False
Let a(y) = y**2 - 8*y - 8. Let i be a(9). Is (-8 + 7)*(i - 956) a composite number?
True
Let o(w) = -187*w**3 + w**2 + 2*w + 3. Suppose 25*r = 29*r + 8. Is o(r) prime?
True
Let s(l) = -l**2 - 5*l - 2. Let n be s(-4). Suppose 7*b - 58 = n*b + k, k + 10 = b. Is ((-380)/6)/((-8)/b) a composite number?
True
Suppose 6*h + 3*o = 3*h - 15, 4*h = -3*o - 15. Let y(k) = -k**2 - 2*k - 2. Let b be y(-2). Is h - (-422)/(4 + b) a prime number?
True
Let d = 33618 - -1189. Is d a composite number?
False
Let h = 570 + 617. Is h a prime number?
True
Suppose -2*t = -5*o - 9582 - 6111, 4*o + 12559 = -3*t. Let r = o - -4982. Is r composite?
True
Let p be (0 + 4/16)*20. Suppose -2*m + 1022 = 4*y, p*y + m - 1273 = -0*m. Let w = 445 - y. Is w a composite number?
False
Suppose d + 3*a = 3404, -3*d + 5*a = -10227 + 85. Is d a composite number?
False
Suppose 66 + 312 = 6*b. Suppose 4*u = b + 21. Is u a prime number?
False
Suppose 0 = -9*k + 10*k - 4. Suppose -k*x + 11 + 113 = 0. Suppose 2*u - x + 5 = 0. Is u composite?
False
Let l = -2098 + 5931. Is l a prime number?
True
Is (92/(-20) - -2)*(-20 + -935) a prime number?
False
Suppose -22*s + 6514 = 4*i - 27*s, -2*i + 3258 = -2*s. Is i prime?
False
Suppose 0 = 7*o - 3*o - 12. Suppose 19 = -4*x - t, 2*t + o = -3. Let y(q) = 3*q**2 + 2*q - 7. Is y(x) composite?
True
Let p(g) = 9*g - 11. Let m be p(3). Let x(y) = y**2 - 6*y - 17. Is x(m) composite?
True
Let h(p) = 295*p**2 - 2*p - 1. Let l(z) = -z. Let c be l(3). Let q be h(c). Suppose -262 = -6*d + q. Is d composite?
False
Suppose -16*s = -3*s - 401739. Is s composite?
True
Suppose 38*i = 32*i + 139134. Is i composite?
False
Let g(i) = i. Let v(y) = -6*y + 4*y + 2 + 56*y**2 + y + 107*y**2. Let x(s) = 3*g(s) + v(s). Is x(-1) a prime number?
True
Let q(j) = -j**3 - 7*j**2 + j + 2. Let z be q(-9). Suppose 5*s = 320 + z. Suppose -3*n - 2*n = -s. Is n a composite number?
False
Let c(w) = w**3 + 9*w**2 - 10*w + 6. Let r be c(-10). Suppose -6*a = 6 + r. Is a/(2/(-165)) + -2 prime?
True
Suppose 739088 = 1337*i - 1321*i. Is i a composite number?
True
Suppose 4*c - 3*s = 2*s - 8, c - 5*s = -17. Suppose -5*t - c*v = -2339, 3*v = -2*v - 10. Is t a composite number?
True
Suppose 3*n + 10412 = 155. Let t = -1954 - n. Is t composite?
True
Let b be 44/8 + (-1)/(-2). Let d be b/(-2) + -279 + -2. Let l = -129 - d. Is l a composite number?
True
Let a be 4*38 - (-7 + 4). Suppose a = 4*d - 277. Suppose d = 4*n - 168. Is n prime?
False
Let h(x) = -54*x**2 - 14*x - 6. Let w(f) = 107*f**2 + 29*f + 11. Let z(l) = -7*h(l) - 3*w(l). Is z(-4) a composite number?
False
Is (5 + 5 + -5)/(15/449763) a composite number?
False
Let y = 171 - 167. Let f be 4 - (0 + (-4)/2). Let j = f + y. Is j composite?
True
Is (-5)/1 + 9/(-3) + 5253 a prime number?
False
Let d = 373 - -39721. Is d prime?
False
Is (-13)/156*47907*28/(-3) prime?
False
Let m be (171/4 + -3)*-4. Let p = 0 - m. Suppose 4*v - p = v. Is v a prime number?
True
Let a = 2 + -5. Let b be -3 + (a - 0) + 6. Suppose r = -2, b = g + 3*r + r - 387. Is g a composite number?
True
Let r be -1 + (1 - (4 + -13)). Let q = r - 5. Suppose 1303 = 5*u - 4*m - 0*m, 0 = -q*u - 3*m + 1030. Is u a prime number?
False
Suppose 6 = 2*w, -3*w + 12 = 5*i - 17. Suppose m + i*n - 41 = 26, 0 = 2*n. Is m a prime number?
True
Suppose k + 2 = 0, -4*k + 2 = m + 4*m. Is (10 - 13) + m*155 a prime number?
True
Is (-2178547)/(-21) + (-8)/(-12) prime?
False
Suppose -x = 2*x - 9. Is x/(-6) + (-21165)/(-6) composite?
False
Let t(f) = 84*f + 45. Let q(d) = 17*d + 9. Let y(v) = 11*q(v) - 2*t(v). Let k be y(7). Suppose 0 = 5*u - 3*u - k. Is u a prime number?
True
Let z be -1 - 4/(-6) - 156584/(-69). Suppose -3*i + 92 = -z. Is i prime?
True
Let t = 1388 + -847. Is t prime?
True
Let b be -20*1295/10*-3. Suppose 7*v + b - 29876 = 0. Is v a composite number?
True
Let d(l) be the second derivative of -l**5/20 - l**4 - 11*l**3/6 + l**2/2 - 5*l. Let g be d(-8). Let b = -118 - g. Is b a composite number?
True
Let a(p) be the first derivative of 75*p**2/2 - 31*p - 22. Is a(10) composite?
False
Let q(w) = 5*w**3 - 32*w**2 + 13*w + 1. Let f be q(7). Let t be 1*52*(-5)/2. Let b = f + t. Is b a prime number?
True
Let v be 4985/1*(-10)/(-10). Suppose -v = -7*c + 8280. Is c prime?
False
Let a(l) = 9*l**2 - 21*l + 49. Is a(22) a prime number?
True
Let b = -3