/14 + 6/21. Is -266*2/w*-1 prime?
False
Let z(g) = -g**2 - 5*g - 1. Let w be z(-5). Let u be -1*(-4 + (-2)/w). Suppose 0 = -p - u*p - t + 296, -2*t + 107 = p. Is p a prime number?
True
Suppose -4*t - 63 = u, 4*u + 3*t + 257 - 31 = 0. Let b = 204 + u. Is b a composite number?
False
Let l(v) = -8*v**3 + 2*v**2 + 6. Let a(k) = -7*k**3 + k**2 + 5. Let g(m) = -5*a(m) + 4*l(m). Let h be 2 + (1 - 1) + 0. Is g(h) a composite number?
True
Suppose -5*z = -0*r - 5*r - 5, z = 1. Suppose 2*y - 4*y + 74 = r. Is y a composite number?
False
Suppose 6*s - 282 - 840 = 0. Is s a prime number?
False
Suppose 2*w - 254 = 8. Is w a composite number?
False
Suppose -q - 213 = -4*q. Is q composite?
False
Let x(s) be the first derivative of s**3/3 - s**2/2 - 26*s - 2. Let m be x(0). Let g = m - -40. Is g a prime number?
False
Is 9/6 + 710/4 a prime number?
True
Let h(r) = -r**2 - 1. Let l(v) = -5*v**2 - 7*v - 5. Let o(i) = 3*h(i) - l(i). Is o(5) a composite number?
True
Let v(j) = 6*j**3 - 3*j - 2. Let m be v(-4). Let q = -183 - m. Is q a prime number?
True
Let q = 550 - -849. Is q prime?
True
Suppose -3*h + 1090 = -659. Is h a prime number?
False
Let w be 2/2 - (-3)/(-3). Let l(f) = -f**3 - f**2 + 5. Let t be l(w). Suppose -5*o = 5*z - 440, -t*z - o - 3*o = -439. Is z a composite number?
True
Suppose 3*h - 150 = -3*t, 3*h = 2*h + 5*t + 68. Is h a composite number?
False
Let y(q) = 25*q**2 - 9*q + 8. Let u be y(7). Suppose 0 = -h - h - u. Is h/(-11) + 2/(-11) a composite number?
False
Let l = -1146 + 1967. Let h = l + -274. Is h prime?
True
Let m(r) = 12*r**2 - 14*r - 7. Is m(-7) a prime number?
False
Let a = -19 - -29. Let p be ((-2)/5)/((-2)/a). Suppose 0 = p*z - 54 - 16. Is z a composite number?
True
Let g = -67 - -129. Suppose -2*u = -0*u - g. Is u a prime number?
True
Suppose h + 2*d - 9 = 2, -8 = 4*h - 5*d. Suppose -c - h*c + 1056 = -4*j, 3*j - 3 = 0. Is c a prime number?
False
Let d(a) = -3*a**3 + 2*a + 3. Let q be d(-2). Suppose -5*o - 4*l + q = 0, 3*l = o + 1 + 2. Is o composite?
False
Suppose 4*w + 2*w = 138. Is w composite?
False
Let b(i) = -i**2 + 14*i - 9. Let m be b(13). Is m + 465 - 0/(-2) prime?
False
Suppose w - 4 = -0. Suppose -w*z - 6 + 98 = 0. Is z a prime number?
True
Let w be 132/(-8) + (-1)/(-2). Let k = -26 - w. Is (k/15)/((-2)/57) composite?
False
Let l(m) = -m**3 + 12*m**2 + 9*m + 11. Let b be l(10). Suppose -3*f + u - 599 = -7*f, 2*f = -u + b. Is f composite?
False
Let v = 1 + -1. Suppose -1128 = -v*y - 3*y. Let q = -83 + y. Is q prime?
True
Suppose -4*y + 43 = -57. Is y composite?
True
Suppose 2*t - 105 = -t. Is (-5)/(-2)*10514/t prime?
True
Is (-4)/(-8) + (1 - 2686/(-4)) prime?
True
Let g(s) = -3*s**3 - 6*s**2 - 3*s - 1. Is g(-6) composite?
False
Suppose -5*z = -3*k + 2*k + 1283, 4*k - 5*z = 5132. Is k a composite number?
False
Let m = 11 + -8. Suppose 0 = m*y - 7*y + 3644. Is y composite?
False
Is 2 - 1*(-13 - -2) a prime number?
True
Is (-2)/5 + (-20909)/(-35) a composite number?
True
Let u(d) be the first derivative of -d**4/2 + d**3/3 + d**2 + 3*d + 1. Is u(-2) a prime number?
True
Suppose 0*t - t = 0, -2*t = -4*a + 12404. Is a prime?
False
Suppose 8*u = 5*s + 3*u - 1095, 5*s + u = 1107. Is s a prime number?
False
Let y be (12/(-10))/(12/(-280)). Is 2 + (-1 + y)*7 a prime number?
True
Let x = -17 - -39. Suppose -3*f - n - 4*n = -57, -2*n - x = -2*f. Is f a prime number?
False
Let j(c) = 9*c**2 - 5. Is j(6) a composite number?
True
Let o = 7699 + -5090. Is o prime?
True
Let c = 1 + 30. Is c a composite number?
False
Let g(m) = -m**3 + 15*m**2 - 15*m + 15. Is g(13) prime?
False
Let f = 18 + 6. Suppose -f = -5*s + 311. Is s a prime number?
True
Let x(t) = 85*t + 1. Is x(16) a prime number?
True
Suppose -n + 76 = -0*n. Let y = n + -39. Is y prime?
True
Suppose 2*k - 234 - 20 = 0. Is k prime?
True
Suppose 4*j = 3*p - 3, 0 - 2 = -2*p + 3*j. Is (-1 - 0)/p - -54 prime?
True
Suppose 7*c = 3*c - 16. Is (c/(-8))/((-2)/(-460)) composite?
True
Suppose -5*v + 221 = -4*v. Is v composite?
True
Suppose -86 - 74 = -5*w. Suppose -w = -d + 5*m, -5*d + 14 + 98 = -m. Is d composite?
True
Suppose -4*c = -5*c - 3*x + 434, 2*c = -x + 843. Is c a prime number?
True
Let j be 2/10 + 1262/(-10). Let q = 68 - j. Is q composite?
True
Let y(j) = 2*j + 6. Let x be y(-6). Is (172/3)/((-4)/x) a prime number?
False
Let f = -1 - 1. Is -2*(51/f - 1) composite?
False
Suppose -3*s = 2*b - 4069, 9*b = 4*s + 4*b - 5433. Is s prime?
False
Let v = 18 - -11. Suppose -5*m = -3*c - 41, 0*m - 3*c + v = 5*m. Is m composite?
False
Suppose 0 = -y, 5*n - 3*y - 10 = -4*y. Let j = n - 2. Suppose j = -3*x + 5*x + s - 246, -3*s + 375 = 3*x. Is x prime?
False
Let n(y) = y**3 - 6*y**2 + 6*y - 5. Let f be n(5). Suppose f = r, -7*d + 172 = -3*d + 5*r. Is d a composite number?
False
Suppose -m + 1250 = -5*r, 5*m - 6271 = 2*r + 2*r. Is m prime?
False
Let c be ((-5856)/2 - -2)*-1. Is (2/4)/(7/c) composite?
True
Let a = -122 - -171. Is a composite?
True
Is (-2187 - -5)*(-1)/2 a composite number?
False
Suppose 0 = 45*f - 42*f - 5541. Is f prime?
True
Let j(r) = 1260*r - 1. Is j(1) composite?
False
Let o be (6/10)/(2/20). Is o/14 + (-5072)/(-56) a prime number?
False
Suppose -2*q = -q - 15. Let f be (q/(-12))/(2/(-8)). Suppose -104 = 3*t - f*t + 2*l, 263 = 5*t - 2*l. Is t a prime number?
True
Let m = 561 + -352. Is m a prime number?
False
Let u = -1 - -7. Let w(j) = -j**2 + 6*j - 5. Let r be w(5). Suppose 5*q = -f - u, 0 = -4*f - r*f + 4*q + 96. Is f a composite number?
False
Suppose 0*z + 18 = 2*z. Let v(f) = 3*f**3 - 3*f**2 - f - 6. Let j(l) = 13*l**3 - 13*l**2 - 4*l - 24. Let g(w) = z*v(w) - 2*j(w). Is g(5) composite?
False
Let i be 170 - 5 - 2/1. Suppose -v - b + 56 = 0, -v - 2*b - i = -4*v. Is v prime?
False
Let u = 3 + 0. Suppose 22 = 3*d + u*a - 8, -5*d - 4*a = -47. Is d a composite number?
False
Let r(a) = 95*a - 7. Is r(4) a composite number?
False
Suppose -10*q + 25 = -5*q. Suppose -10*b = -q*b - 670. Is b prime?
False
Suppose 0 = -5*f + 6 + 29. Let h be (-446)/f + 2/(-7). Let x = h - -103. Is x prime?
False
Suppose 0 = 5*r + g + 3*g - 1457, -r + 289 = 2*g. Is r a composite number?
False
Suppose -2*f = -l + 4, f - 4*f - 12 = 0. Let t = l + 5. Is t/(3/432) - -1 a composite number?
True
Let l = 29 + -14. Suppose 2*z - z = l. Suppose -z = -2*f + 51. Is f a prime number?
False
Let u(a) = -162*a**2 + 3*a + 4. Let c(j) = 162*j**2 - 2*j - 3. Let t(g) = 4*c(g) + 3*u(g). Is t(-1) a composite number?
True
Suppose -j + 870 = 4*j. Let o = j + -366. Let r = -79 - o. Is r a prime number?
True
Suppose 16*a - 4451 = -1395. Is a a composite number?
False
Let l = 9 + -4. Suppose 0*u + u - 77 = 2*d, 2*u - 163 = -l*d. Is u prime?
True
Let a(i) = -i**3 + 7*i**2 + 3*i - 1. Let d be a(7). Suppose -5*m - d = 0, -6*m - 206 = -2*k - m. Is k a prime number?
False
Let a = -28 - -128. Let o(v) = -3*v**2 + 7*v - 7. Let c be o(5). Let m = a + c. Is m a prime number?
True
Let h = 678 + -411. Suppose -31 + h = 4*z. Is z a prime number?
True
Let d(c) = 115*c**2 - 3*c - 3. Is d(-5) composite?
False
Let b = 5 - 1. Suppose -2*v + 5*c + 13 = -0, -b*v = 5*c - 11. Let u = v + 3. Is u composite?
False
Let l be (-4)/6 + 42/9. Suppose 2*v - 4*v = 3*b - 11, v = l*b. Suppose 0 = -2*m + v*m - 22. Is m prime?
True
Let z = -4 - -6. Suppose 0 = -2*p + 5*i - 129, 0 = 2*p + z*i - 6*i + 124. Is (-1)/2*2 - p prime?
False
Let m(t) = -2*t**3 + 2*t - 4. Let l be m(-3). Let n be (l/6)/((-5)/15). Let z = n - -101. Is z composite?
False
Suppose -7 = -o - d + 1918, -5*o - 2*d = -9613. Is o a prime number?
False
Let h(r) = -r**2 - 9*r + 7. Let x be h(-10). Let a be ((-12)/16)/(x/(-12)). Is (-2)/(a/117*2) composite?
True
Let r = 482 + -175. Is r prime?
True
Is (62/(-12))/((-12)/72) composite?
False
Suppose -4*z = 2*w - 3*w - 186, 2*z - 402 = 2*w. Let k = -91 - w. Is k prime?
False
Let y(x) = -9*x**2 - 16*x - 11. Let f(j) = -4*j**2 - 8*j - 5. Let s(d) = 7*f(d) - 3*y(d). Let b be s(-8). Is 2*((-21)/b + 1) prime?
True
Let j(y) = -y**3 + 27*y**2 + 24*y + 49. Is j(27) a composite number?
True
Let f = -212 - -361. Is f a prime number?
True
Suppose 1651 + 638 = 3*z. Is z composite?
True
Let h(g) = -g**3 + 17*g**2 - 13*g. Let z be h(14). Suppose -2*k = -0*k - z. Is k a composite number?
True
Is (-5 + 0)/5 + 224 a composite number?
False
Let a(t) = -t**3 - 