
Let y be (-20)/3 + (-1)/3. Let v(h) = h**2 - 4*h + 4. Let f(t) = -4*t**2 + 16*t - 15. Let l(s) = 2*f(s) + 9*v(s). Is l(y) a prime number?
True
Let h = 271 + 395. Is (1/(-3))/((-6)/h) a prime number?
True
Suppose 18 = 3*i + 3*y, 0*i - i + 3*y - 10 = 0. Suppose 3*h + i*h - 155 = 0. Is h a composite number?
False
Let l = 20 - 20. Let t be 13/4 - (-1)/(-4). Suppose 2*a - 5*p - 5 = l, 4*p = -t*a + a + 50. Is a a composite number?
True
Suppose 4*x - 3*x - 2*k = -177, -4*x + 3*k - 703 = 0. Is x/(-3) - (-6)/9 prime?
True
Let b = 20 - 17. Let p = 394 - b. Is p composite?
True
Suppose -4*c + 60 = -n, -c + n = -2*n - 15. Suppose -1 = 3*t + 2*f - 8, -c = t + 5*f. Suppose -644 = -t*x + x. Is x a prime number?
False
Suppose 5*c - 3963 = 2302. Is c a prime number?
False
Let t = -389 + 872. Suppose 0 = -9*c + 6*c + t. Is c a composite number?
True
Let b be (0 + 0 + -1)/(-1). Let t = -2 - b. Is 1*2 - (-11 - t) prime?
False
Let a(d) = -278*d**3 + d**2 - d - 1. Let z be a(-1). Suppose z = 4*p - p. Suppose 0 = -4*s - 5*k + 331, s - 5*k = 21 + p. Is s a prime number?
True
Suppose -4605 = -14*s - s. Is s composite?
False
Let v(u) = -248*u**3 + 2*u + 1. Is v(-1) a prime number?
False
Let c(y) = 4*y + 12*y**2 + y + 0 + 2. Let f(t) = -t**3 + 14*t**2 + 14*t + 12. Let v be f(15). Is c(v) prime?
False
Let x be -110*1*3/(-2). Suppose 0*l + x = 3*f - l, 55 = f + 4*l. Is f composite?
True
Let v = 67 + 54. Is v composite?
True
Let o = 2 - 6. Is (-10)/o*(1 + 57) composite?
True
Let h(m) = -39*m + 2. Let o be h(-2). Let b be (0 - o)/1 - 2. Let g = b + 135. Is g composite?
False
Let m = -1 - 0. Is m/3*(-447 + 0) composite?
False
Let q(k) = -k**3 + k**2 + 3*k - 2. Let d be (-1)/(-6)*-2*-6. Let b be q(d). Suppose -2*g + 2*m + 148 = -b*m, -g + 2*m = -69. Is g prime?
True
Suppose 0 = -3*p + 6. Let t(d) = 10*d + 10*d - 3 + p. Is t(3) prime?
True
Let p = -52 - -74. Suppose 5*z = -2*v + 33, v = 3*z - 0*z - p. Is z prime?
True
Suppose -5*h = -5*i - 35, -2*h = -0*h - 6. Let l be 4*5/((-10)/i). Let g(w) = 5*w + 7. Is g(l) a composite number?
False
Let x = 2301 + -1570. Suppose -5*i - 2*q + x = 2*q, -q = 3*i - 433. Is i prime?
False
Let s(v) be the first derivative of -5*v**4/4 + v**2 + v + 4. Let w be s(-1). Suppose w = -q, -j + 4*q - 5 = -2*j. Is j composite?
True
Suppose -2*u - 3*k = u + 3, -4*k - 12 = 0. Let f(i) = -3*i + 6*i + i**3 - 2*i**2 + 1 - 4*i**u. Is f(6) a prime number?
True
Let h(l) be the first derivative of l**4 - l**3 - 2*l + 2. Is h(3) prime?
True
Let n(x) = -x**2 + x - 5. Let t(d) = -3*d**2 + d - 9. Let r(y) = -5*n(y) + 2*t(y). Let b be r(-5). Is 74*(7/2 + b) composite?
False
Let w(o) = 9*o + 1. Let z(x) = 8*x + 1. Let s(f) = 4*w(f) - 5*z(f). Is s(-5) composite?
False
Let t(d) = -2866*d + 7. Is t(-3) composite?
True
Suppose 10*i = 10109 + 7681. Is i a prime number?
False
Let r(a) = 294*a**2 + a. Is r(-1) prime?
True
Suppose -2*f - 4*j + 76 = 0, 0 = -5*f + 4*f - j + 39. Is f - -1*(0 + -1) a prime number?
False
Suppose 0 = 3*o - 2*v - 3*v - 2340, 0 = 5*o - 4*v - 3913. Is o a prime number?
False
Suppose 0*i = -3*i. Suppose i*n + 2*n = 332. Is n a composite number?
True
Let p(n) = -2*n - 5. Suppose -8 = -3*j - 2*a + 6, -20 = -4*j - 4*a. Let f be p(j). Let o = -9 - f. Is o a prime number?
False
Let y(d) = 9*d - 13. Let v(n) = 28*n - 39. Let w(r) = -4*v(r) + 11*y(r). Is w(-6) composite?
True
Let y be 107 - (0 + -1 + 0). Let f = -348 + y. Let l = f - -367. Is l composite?
False
Suppose -4*q = 7 - 23. Is q/14 - (-5490)/42 a composite number?
False
Let s = -1630 + 2835. Is s a composite number?
True
Is (2 - (-438)/4)*2 prime?
True
Let b = 50 + -20. Let y = b - 11. Is y composite?
False
Is (-3*(-21)/27)/((-3)/(-531)) a prime number?
False
Suppose 4*y - 3*v = 478, 462 = -0*y + 4*y + 5*v. Is (y/(-6))/((-12)/180) a prime number?
False
Suppose 5*o = -0*z - 4*z - 3, -8 = 4*z. Let d be 4*(2/o + -6). Is d/40 + 554/10 a prime number?
False
Suppose -5*d - 4*t + 1255 = 0, 10*t + 251 = d + 5*t. Is d composite?
False
Let m(r) be the second derivative of 0 + 1/12*r**4 + 5/3*r**3 + 4*r + 7*r**2. Is m(-10) a prime number?
False
Suppose 2*f + 3*h + 2*h + 19 = 0, -5*f + 40 = -5*h. Is 8/(-12)*-120 + f a composite number?
False
Let m(l) = 9*l**2 + 1. Let o be m(1). Suppose -5*d = o, 2*d = f - 13 - 208. Is f prime?
False
Suppose n - 1780 = 3*l, -5*n + 8964 = 4*l - 3*l. Suppose 0*r = 4*r - 4*t - n, 6 = 3*t. Suppose -q + 103 = -5*p, -q = -5*q + p + r. Is q composite?
False
Suppose 5*c + 559 = s, 4*s + 124 = -2*c - 82. Let d(p) = -8*p**2 - p - 2. Let x be d(-2). Let z = x - c. Is z prime?
True
Suppose m - 118 = -25. Let y = m + -55. Is y composite?
True
Let y(l) = l**3 - 4*l**2 + 3*l - 5. Let u be y(4). Let z be (-2)/7 + 23/u. Suppose -o + 3*f + 75 = f, 3*o - 189 = -z*f. Is o composite?
False
Let i(l) = l**3 + 5*l**2 - 5*l - 5. Let m be i(-5). Let v(s) = -s**3 + s**2 - s + 1. Let h be v(2). Let f = m + h. Is f composite?
True
Let m(o) = 3149*o**3 + 188*o**2. Let k(t) = -3*t**2 - 21*t**3 - 22*t**3 - 7*t**3. Let r(a) = 188*k(a) + 3*m(a). Is r(1) a composite number?
False
Let w be 2/(-2 + 4) - -1. Suppose 3*a - w*a = 2*f + 451, 4*f = -4. Is a a prime number?
True
Let r(v) = -v**3 + 6*v**2 + 2*v - 8. Let a be r(6). Suppose -4*p - p - 4*x = -175, -a*p + 140 = 3*x. Is p a composite number?
True
Suppose 0 = v - 5*c - 96, c + 552 = 5*v - 0*c. Let a = v + -46. Is a composite?
True
Suppose -900 = -4*t + 4*m - 60, 5*m = 2*t - 417. Is t prime?
True
Let s = 339 + 32. Is s a prime number?
False
Let w(v) = 2*v. Suppose 10 = -4*c - 6. Let d be w(c). Is (226/d)/((-3)/12) a prime number?
True
Let m = 2 + 0. Suppose 2 = -2*t, -m*t = r - 3 + 1. Suppose 62 = -r*f + 282. Is f a prime number?
False
Let z be (6/8)/((-2)/256). Let k = 225 + z. Is k/(-3)*(-1 - 0) composite?
False
Suppose 0 = b - 4*b + 9. Suppose -8 = b*r - 7*r. Suppose -3*g + 235 = r*g. Is g composite?
False
Let c = 103 + -50. Is c prime?
True
Is (-3)/(-6) - 543/(-6) prime?
False
Let l = -1 - -1. Suppose l = 5*j + 2*c - 118, j - 4*c - 26 - 2 = 0. Suppose j = 2*d + 2*d. Is d prime?
False
Let b = -494 - -699. Is b prime?
False
Suppose 8*b - 969 = 5*b. Is b a composite number?
True
Let v = -424 + 683. Is v prime?
False
Suppose 5*k - 22 - 18 = 0. Suppose 8 + k = 4*w. Suppose w*b - 17 = 23. Is b a composite number?
True
Let y(s) = -s**3 - 11*s**2 + 18*s - 7. Is y(-15) composite?
True
Let w = 4 - 2. Suppose 2*g + 508 = 5*i, -220 = -0*i - w*i + 5*g. Let c = -49 + i. Is c composite?
True
Suppose 0 = 2*q + 4 - 10. Suppose 0 = 2*x - q*l - 608, 0 = -4*x + 3*l + 399 + 823. Is x prime?
True
Is (-2)/(-2)*-221*(-6 - -5) prime?
False
Suppose 481 = 2*x + 125. Suppose 0*m + 2*m - x = 0. Is m prime?
True
Let z = 1193 + -22. Is z a composite number?
False
Suppose 19 = b - 5*u, -3*u + 0*u = 3*b - 129. Suppose 3*y - b = -0*y. Is y a composite number?
False
Suppose 3560 = 2*t + 6*t. Is t a composite number?
True
Suppose 0*b + 5*b + c + 940 = 0, 0 = 3*c - 15. Is (1 - (b + 3)) + -2 composite?
True
Is 1/(1/60) - 2 prime?
False
Suppose -6*q - 4*n = -4*q - 10, 4*q - 5*n = -6. Let l be 1/q + 1 - -898. Suppose -305 + l = 5*d. Is d a composite number?
True
Let o be ((-2)/4)/((-1)/(-236)). Let v be 6*2/(-3) + -68. Let w = v - o. Is w prime?
False
Suppose -i - 3*f = -869, 7*i = 2*i + f + 4313. Is i prime?
True
Let t(m) be the first derivative of m**2/2 + 37*m - 2. Is t(0) a prime number?
True
Let a = -17 + 17. Suppose z = -a + 14. Is z a composite number?
True
Let a(p) = -5 + 0 - 3*p**2 - 2*p**3 + p**3 - p**2 + 4*p. Is a(-6) prime?
True
Suppose 2*p + 0*p = -4*g + 454, -3*p + 673 = 2*g. Is p a composite number?
False
Let t = 3 + 2. Suppose 226 = h + 5*q, t*q - 10 = 5. Is h a prime number?
True
Let c(y) = 150*y - 1. Suppose -2 = -5*k + 3. Is c(k) prime?
True
Let z(f) = f**3 + 11*f**2 - 5*f + 12. Let j be z(-12). Let t = 5 - j. Is t a composite number?
True
Let q(y) = -y**3 + 6*y**2 - 4*y - 5. Let i be q(5). Suppose i = -5*k - h + 109, -h - 101 = -5*k - 0*h. Is k composite?
True
Let u be (-2240)/(-42)*(-2 + -1). Let r = 31 - u. Is r composite?
False
Suppose 2*g - 587 = -141. Is g a composite number?
False
Let a be (-24)/(-15) + 4/10. Let w be (12/(-8))/(a/4). Let b = 4 - w. Is b prime?
True
Let i(o) = -o**3 - 7*o**2 - 4*o + 3. Let l be i(-5). Let t = -8 - l. Is t composite?
False
Let g(f) =