*(f + -3) prime?
True
Suppose t + 9 = 496. Is t composite?
False
Is (-1)/((1 + -2)/178) prime?
False
Let z be 3/(0 + -3) - -1. Suppose -h - 1 = -z*h. Let n = 12 + h. Is n a composite number?
False
Let z(t) be the first derivative of 164*t**3/3 - t**2 + t - 2. Is z(1) a prime number?
True
Let q(c) be the third derivative of -7*c**4/6 + 7*c**3/6 - 2*c**2. Let k(y) = -9*y + 2. Let s(w) = 7*k(w) - 2*q(w). Is s(-7) prime?
False
Let s be 26/8 - (-3)/(-12). Let v(q) be the second derivative of 3*q**3/2 + 2*q**2 + 6*q. Is v(s) prime?
True
Let s(k) = -102*k**3 - k**2 - k. Let b be s(-1). Suppose w + w = b. Is w a composite number?
True
Let y(a) = 22*a**3 - a**2 - 3*a + 1. Let f be y(2). Let k = f - 91. Suppose -k = -4*m - 3*i, -3*m - 5*i = m - 76. Is m a composite number?
False
Let n(f) = -f**2 + 9*f + 5. Let q(u) = u + 4. Let d be q(4). Is n(d) a composite number?
False
Suppose -2*v + 425 = -3*o, 2*o = -0*v + 2*v - 420. Is v a composite number?
True
Let w = -100 + 435. Is w composite?
True
Let d(s) be the first derivative of s**3/3 - 6*s**2 + 10*s + 1. Is d(12) a composite number?
True
Let z = -8796 - -2400. Is (-1)/4 - z/48 prime?
False
Let n = 7 - 7. Suppose -4*j + 26 + 434 = n. Is j composite?
True
Suppose -3*v = -0*v - 6. Suppose v*t + 5 = a, -2*a = 4*t - 7*t - 9. Is (2 - -17)*3/a composite?
False
Let b(o) = o**2 + 6*o + 3. Suppose -4*g = -3*g - 7. Is b(g) a composite number?
True
Let f = -8 + 28. Suppose 5*s = s + f, -3*c - 5*s = -82. Suppose -2*q - c = -3*q. Is q a composite number?
False
Let r = -70 - -273. Is r prime?
False
Let t(i) = 3*i - 18. Let x be t(6). Suppose z + x*z = 51. Is z a composite number?
True
Let r = -1183 + 2188. Suppose -r = -5*m - 0*m - c, 4*c = 0. Is m a composite number?
True
Suppose -17 + 4473 = 8*y. Is y a composite number?
False
Suppose -3*m = 6, 0 = -0*j - 3*j - 3*m + 663. Is j prime?
True
Let r(j) = j**2 + 6*j - 5. Let b be -6 - (-1 - 0)/(-1). Is r(b) a prime number?
True
Let w(o) = 21*o**3 + 5*o**2 + 31*o - 20. Let i(m) = 4*m**3 + m**2 + 6*m - 4. Let y(b) = -11*i(b) + 2*w(b). Is y(-5) a composite number?
True
Let w = -1730 - -3253. Is w a prime number?
True
Suppose d - 2*z - 237 = 0, 0 = 4*d - 3*z - 0*z - 953. Is d a prime number?
True
Is 4 - -49 - 4 - -4 prime?
True
Let w(b) = 1 + 15*b + 0 + 13*b. Is w(3) a composite number?
True
Let l(m) = 5*m**2 + 0*m + 1 - m**2 + 3*m + 2*m**2. Is l(4) a prime number?
True
Let b = -268 - -401. Suppose 38 - b = -5*t. Is t composite?
False
Let s = -2020 + 2858. Suppose -3*a + a = -s. Is a composite?
False
Let a(w) be the second derivative of -w**7/2520 + w**6/144 - w**5/40 - w**4/12 - w. Let b(y) be the third derivative of a(y). Is b(2) a prime number?
True
Suppose -4*u - 8 = 0, -2*m + 6*m + 2*u = 1600. Is m a composite number?
False
Suppose 0 = -2*l - 4*m + 152 + 130, -4*l + 3*m + 553 = 0. Is l prime?
True
Let q be (1*-6)/(-3) + -1. Let t be (-2)/(-8) + q/(-4). Is (t - -33) + 0/2 prime?
False
Let v be (6/4)/((-18)/120). Is v/(-15) - (-398)/6 a prime number?
True
Let r be (-2)/(-7) - (-66)/14. Suppose -5 = -r*g, 3*z + 7 = -2*z + 2*g. Is 4*(z - (-7)/4) a prime number?
True
Let v = 148 - 105. Is v a prime number?
True
Suppose 3*g - w = 2*g + 229, 5*g = -w + 1169. Is g a prime number?
True
Let g(x) be the second derivative of x**5/20 + x**4/2 - x**3/6 + x**2/2 - x. Let t be g(-3). Let f = 2 + t. Is f composite?
True
Suppose 4*d + f - 168 = 0, 4*f - 24 = -d + 3. Is d a composite number?
False
Let r(j) = -j**2 - 16*j - 3. Let b be r(-8). Let h = b - 24. Is h a composite number?
False
Suppose -686 = 2*j - 7072. Is j prime?
False
Suppose 2*i - 169 = o, -4*i - i = -2*o - 342. Let k be (-5)/20 - o/4. Suppose 4*l - 38 = 5*c + 2, -4*l - 5*c + k = 0. Is l a composite number?
True
Let i = 2 + -5. Let r(w) = 11*w**2 + 4*w + 4. Is r(i) prime?
False
Let z(w) = 4 + 9*w**2 + 0*w**3 - 8*w + 3*w**2 - 5*w**2 + w**3. Let j be z(-8). Is (59/2)/(2/j) a composite number?
False
Let l(i) = i**2 + 2*i. Let n be l(-2). Suppose n = -a - 2*w + 221, -2*w - 231 = -a - 6*w. Is a composite?
False
Let y(v) = 429*v - 5. Is y(2) a composite number?
False
Let f be -6*(-2 + (-15)/(-9)). Is (-10)/(f/(-37) - 0) composite?
True
Let m(y) = -3*y + 4. Let b be m(3). Let g be 1 + (-5 - (b + 2)). Let a(t) = -12*t - 1. Is a(g) a prime number?
True
Suppose -2*a - 3*a = 0. Let f(i) = i**2 - i + 85. Is f(a) composite?
True
Let j be (-3)/(-2 + (-14)/(-6)). Let h(m) = -m**2 - 12*m - 8. Is h(j) a composite number?
False
Let q be 1/(2/(-4)) - -4. Let k(l) = 52*l + 1. Let v be k(3). Suppose 0 = -g + n + 71, 2*g + q*n + n = v. Is g composite?
True
Suppose 1518 - 4466 = -4*p. Is p composite?
True
Let a be -2 + 2 - (-3 - 5). Let y be (a/5)/(8/(-220)). Is (2 + 1)/((-6)/y) prime?
False
Suppose 4*o - 19 - 1 = 0. Suppose 0*m - 4*m - 5*p + 351 = 0, o*p = 5*m - 450. Is m composite?
False
Let d(k) = -13*k**3 + 2*k**2 - 2*k. Let q be d(3). Let x = -148 - q. Is x composite?
False
Is ((-16486)/(-10) - 0) + 4/10 prime?
False
Suppose -5*w - 6*x = -2*x - 76, w - x = 17. Suppose l + l = 10, h - 5*l = -w. Suppose 0 = -2*u - c + 367, -4*u = -h*u - 4*c + 913. Is u a prime number?
False
Let p = -15 - -20. Suppose 0*q = 5*q - 15. Suppose -q*f + 27 = -0*f - 3*n, 4*f = -p*n + 18. Is f a prime number?
True
Let l(v) be the third derivative of 5*v**4/8 - 7*v**3/6 - 2*v**2. Is l(10) a composite number?
True
Suppose 9*a = 4*a. Suppose a = -4*q + 2*z + 346, 4*q + 4*z - 287 = q. Is q a prime number?
True
Is (2/4)/(-4 + (-405279)/(-101318)) prime?
True
Let q(p) = 36*p + 17. Is q(11) composite?
True
Let k(r) be the first derivative of 2*r**3/3 + 2*r - 2. Let v(l) = -3*l + 1. Let h be v(1). Is k(h) a prime number?
False
Is 2*4/24*1191 prime?
True
Let l(p) = -79*p**3 + p**2 - 1. Is l(-1) composite?
False
Let j(i) = -i**3 - 5*i**2 + 9*i + 2. Let g(q) = q + 5. Let a be g(-3). Suppose 4*c + 4*w + 15 = -c, 5*w - 39 = a*c. Is j(c) composite?
False
Let x(z) = z**2 + 16*z - 1. Let j be x(-13). Let q = -17 - j. Is q a composite number?
False
Let k(t) = 9*t**2 - 6*t + 0*t**3 - t**3 + t - 1 - 4. Let z be k(8). Suppose 6*g = 5*g + z. Is g prime?
True
Let t(l) be the second derivative of 1/2*l**3 - l + 1/2*l**4 - 5/2*l**2 + 0 + 1/20*l**5. Is t(-4) a prime number?
False
Suppose 3*u = 2*d - 21, 0 = 3*d + 5*u - 3. Let g be (-8)/d - (-3)/9. Let a = g + 11. Is a composite?
True
Suppose 5*i - 16 = 2*c - c, -20 = -2*i - 3*c. Is 1006/4 - i/8 prime?
True
Suppose 0*j - 4*j + 1524 = 0. Suppose 0 = -4*n + 3*g + 515, 3*n + 2*g - j = -g. Suppose -n - 137 = -5*d. Is d prime?
True
Let p(b) = -b**2 + 6*b - 9. Let f be p(7). Let i be 24*f/(-6)*1. Is i/3 + (-1)/3 a prime number?
False
Let q(v) be the second derivative of -3*v**3 - 21*v**2/2 - 8*v. Is q(-9) prime?
False
Suppose 3*l = 5*l - 336. Suppose -4*z = -148 - l. Is z composite?
False
Is ((-16)/(-32))/((6/(-8404))/(-3)) a composite number?
True
Let d(j) = 13*j**2 - 10*j**2 + 2 - 11*j + 7. Is d(11) a composite number?
False
Suppose 69 = -u + 320. Is u composite?
False
Let u(s) = 27*s**2 - 1. Suppose 3*d + 2*l = 4, -5*d - l - 5 = -0*d. Let f be u(d). Suppose 82 = x + r, 3*x - 3*r - f = 121. Is x prime?
True
Let l = -6 + -4. Let b(g) = g**3 + 14*g**2 + 15*g + 13. Is b(l) prime?
True
Suppose t = 3*a - 275, 0 + 9 = -3*a. Let c = t - -613. Is c composite?
True
Let y(j) = -2 + 0 - 9*j**2 + 2*j + 64*j**2. Let i = -5 - -2. Is y(i) a prime number?
True
Let s = 2544 - 1485. Is s prime?
False
Suppose m + 5*f - 200 = -58, 3*f - 277 = -2*m. Suppose 0 = 4*k - i - 271, -2*k - i = -2*i - m. Is k a composite number?
False
Suppose 6 = 5*u - 4. Suppose 3*o - 285 = -2*p, -u*o = -p + 2*p - 191. Is o prime?
True
Suppose -3*x + 4*d + 2 = 8*d, -7 = -x + 5*d. Let c(o) = -3*o + o**2 - 2*o**2 + x*o**2. Is c(4) prime?
False
Suppose -k + 1 = -c, 0*c = -c - k + 3. Let u be 19 + 9/(2 + c). Let a = u + -12. Is a a composite number?
True
Suppose 5 = -5*i + 2*i - h, 0 = -2*h - 10. Suppose -2*p - 4*z + i*z = 24, 5*z = 2*p + 60. Let c = 165 + p. Is c composite?
True
Let k = 51 + -5. Is k a prime number?
False
Suppose -c - 2 = 0, -5*c - 5 = 2*x - 7*x. Let p(z) = z**2 + z. Let j be p(x). Suppose -5*y = 3*h - 1082, j = -4*y - 4*h + h + 865. Is y a prime number?
False
Let k(n) = n**3 + 4*n**2 - 3*n + 3. Let c be k(4). Suppose -r + m + 38 = -0*m, 0 = -3*r - 2*m + c. Is r prime?
Fals