 5*v = 859. Is r a composite number?
True
Suppose 2*t = -5*x + 675, -x = -4*t - 2*x + 1377. Let a(k) = -2*k - 11. Let c be a(-7). Suppose -d = -4*w + d + 460, -2*d - t = -c*w. Is w a prime number?
False
Let t(u) = -u**3 + 16*u**2 + 31*u - 11. Is t(13) composite?
True
Suppose 2*r - 4681 = -3*m, 4*r = 2*m + 2*m - 6248. Is m prime?
False
Let x(o) = o**3 - 4*o + 3. Let d be x(2). Is (2/(-6))/(d/(-225)) composite?
True
Let k be (-1)/(-4) - 7/28. Suppose k = -3*y + 6*y - 333. Is y composite?
True
Suppose s + 3*i = -37, 3*s + 0*s = 3*i - 51. Let o(y) = y**2 + 2*y + 3. Let d be o(-4). Let q = d - s. Is q composite?
True
Let o(v) = 25*v + 4. Let j be -2 - -1*(-4)/(-1). Let r be (4 - 1)*(-1 + j). Is o(r) a composite number?
False
Is 2342*(6/(-4))/(-3) a composite number?
False
Let i(g) = g - 7. Let a be i(0). Let l = 161 + a. Let w = l + -77. Is w a prime number?
False
Suppose -s = s + 2*f - 76, 0 = 3*f - 15. Let x = s + 20. Is x prime?
True
Let h(b) = -b**3 - 3*b**2 - 3*b - 5. Let v be h(-7). Suppose v = 2*p - 450. Is p a prime number?
True
Let t(a) = 146*a**2 - 3*a + 2. Let x be t(2). Suppose -3*g = 5*z - x, -4*z + 553 = -g + 72. Is z prime?
False
Let c(w) = -w**3 - 11*w**2 - 19*w + 23. Is c(-14) a composite number?
False
Let c(b) = -b + 57. Let q be c(0). Suppose 3*r - 6*r + q = 0. Is r a prime number?
True
Is -10*14/35 - (-3302 + -1) a prime number?
True
Let x(t) = -165*t - 5. Is x(-4) prime?
False
Let x(n) = -n**2 + 8*n - 4. Let h be x(7). Suppose 4*d - 2 = h*d. Suppose -d*t + 165 = 3*t. Is t prime?
False
Let x be (-17)/3 + 6/(-18). Let m(p) = p**2 - p - 5. Is m(x) a prime number?
True
Let c = 2 - 0. Let y(d) = 3*d**2 - 5 + 4 - d**c + 10*d**3. Is y(1) composite?
False
Let w be (-12)/8*66/(-9). Let g(f) = -f**2 + 15*f - 5. Is g(w) a composite number?
True
Suppose -g + 510 = 2*l - 3*g, 5*g - 781 = -3*l. Is l prime?
True
Let k(w) = 2*w**2 - 3*w - 4. Is k(9) a composite number?
False
Let g(f) = 107*f**2 + f - 1. Let j be g(1). Let a = 39 - j. Is a/((-6)/3) + 1 prime?
False
Let v(y) = 4*y**2 - 2*y + 1. Let p(z) = z. Let m(l) = l - 1. Let h(u) = m(u) - 3*p(u). Let t be h(-2). Is v(t) a composite number?
False
Let q(o) = -4*o - 4*o - 4 + o + o**3 - 4*o**2. Is q(6) a composite number?
True
Let g(m) = 16*m**3 - 4*m**2 + 2*m + 3. Let v be g(3). Suppose -80 - v = -5*b. Is b prime?
True
Suppose 1 - 13 = -3*z. Let h(a) = 3*a**3 + 5*a**2 - 3*a - 5. Let f be h(z). Suppose -5*s = -0*s - f. Is s prime?
False
Suppose -4*p + 3*h + 1577 = 337, -1244 = -4*p + 4*h. Is p a prime number?
True
Suppose -3*s + 110 = -5*b + b, s - b - 37 = 0. Is s a prime number?
False
Let n(h) = -19*h**3 - 6*h**2 - 6*h - 3. Let k be n(-4). Suppose -k = -3*p + 98. Is p prime?
False
Let n = -7590 - -10699. Is n composite?
False
Suppose -1 = -2*g + 7. Suppose 8*l - g*l - 260 = 0. Is l a prime number?
False
Suppose -8*d + 16471 = -16449. Is d prime?
False
Let y(d) = -d - 1. Let g be y(-3). Suppose 140 = g*z + 2*z. Is z a prime number?
False
Let i = 982 + 13. Is i a prime number?
False
Is (451/(-2))/(5/(-10)) a prime number?
False
Let c(x) be the second derivative of x**4/3 + x**3/2 + 3*x**2 - 2*x. Is c(7) composite?
False
Suppose 2*t + 11418 = 8*t. Is t composite?
True
Let n = 417 + -1198. Let x = -558 - n. Is x composite?
False
Let k = 63 - 119. Let v = 93 - k. Is v prime?
True
Let f(u) = -122*u + 17. Is f(-6) composite?
True
Is 3 + (1237/6 - (-14)/(-84)) a prime number?
False
Is 883 + 0 - 12/(-3) a composite number?
False
Suppose 0 = -r - m - 5 + 237, 0 = 4*r + m - 925. Let p = r - 16. Is p composite?
True
Let u = 670 + -89. Let j = u - -42. Is j composite?
True
Let g = 8 - 5. Let f be (-232)/3 - 2/g. Is (f/9)/((-4)/6) prime?
True
Let r(a) = -9*a**3 + 2*a**2 + 2*a - 1. Let x be r(-2). Suppose -x = -5*c + 90. Is c a composite number?
True
Let f = 1692 - 169. Is f a composite number?
False
Let t = 3 + -6. Let c(r) = 3*r**2 + r - 3. Is c(t) a composite number?
True
Let a(z) = z**2 - 5*z + 5. Suppose 0 = v + 3*v + 24. Let c(q) = q**3 + 5*q**2 - 6*q - 7. Let r be c(v). Is a(r) a prime number?
True
Let l be 10*(-1 - (0 - 2)). Let x = 6 - l. Is x*2/(-4) - -7 composite?
True
Let l be (-1 + 63/2)*2. Let x = l + -24. Is x a prime number?
True
Suppose 0 = t - 2*t + 622. Let j = -214 + t. Suppose j = 4*f + 92. Is f a composite number?
False
Let r(n) = n**3 - 4*n**2 - n + 1. Let s be r(4). Let a be 395*1 + s/1. Let y = -181 + a. Is y a prime number?
True
Suppose 0 = 4*n - 6*n. Suppose n = c + 21 - 100. Is c a composite number?
False
Let m(o) = o**2 + 3*o - 4. Let k(v) = v + 5. Let w be k(-9). Let f be m(w). Suppose f = i - 0*i - 47. Is i a prime number?
True
Let v(o) = o**3 + 6*o**2 + 4*o - 3. Let s(w) = -w**2 + 6*w + 1. Let b be s(6). Let r(t) = -t**3. Let j(g) = b*v(g) + 2*r(g). Is j(6) a prime number?
False
Let n be ((-4)/10)/((-10)/650). Is n*(1/(-2) - -3) a prime number?
False
Is ((-218)/(-2))/(2/2) a prime number?
True
Let s(c) = -34*c**3 - 2*c**2 - 3*c - 7. Is s(-4) a composite number?
True
Let w(u) = 1398*u + 23. Is w(4) a composite number?
True
Is (-16)/28 - 15678/(-21) a composite number?
True
Suppose 24 = 3*z + 4*p - 54, 0 = z + 5*p - 15. Is (356/(-6))/((-20)/z) prime?
True
Suppose -r - 5*p - 20 = 0, 2*r - 4*p + 8*p + 40 = 0. Is (-1 - r)*10 + 1 composite?
False
Let r = -66 + 125. Let k be (-30)/(12/(-16)*-1). Let g = r + k. Is g composite?
False
Let a be (1/3)/((-3)/(-81)). Is 714/a - (-2)/(-6) a composite number?
False
Suppose 0*k - 4*a - 156 = -4*k, -4*a + 188 = 4*k. Suppose 4*x - k = 33. Is x composite?
False
Is 158/22 - 6/33 a prime number?
True
Is 2/6 + (-18840)/(-45) prime?
True
Let j = 2 - -9. Let k = 36 - j. Is k a composite number?
True
Suppose -4*q + 0*q = -2076. Is q a composite number?
True
Let h(t) = 4*t + 7. Let k(p) = p**2 + 6. Suppose -5*f = -s - 3*f - 8, s = f - 4. Let g be k(s). Is h(g) prime?
True
Let a = -1 - -1. Suppose a = -3*h + 710 + 151. Suppose 31 = -3*n - 5*c + h, -4*c - 134 = -2*n. Is n prime?
False
Suppose 2*g + g = 3*l + 777, 3*g - l = 773. Is g prime?
True
Suppose -4*i = 5*q - q - 12, -5*i + 15 = -4*q. Suppose i*t + 2*t - 10 = 0, 2*h + 2*t = 118. Is h a composite number?
True
Let q(y) be the third derivative of 0*y + 1/6*y**4 + 0 + 1/3*y**3 + y**2. Is q(6) a prime number?
False
Let z(f) = -f**3 - 4*f**2 + 5*f + 5. Let x be z(-5). Suppose -q = -h - 1 - 15, q - 4 = x*h. Is q a composite number?
False
Suppose 7*s - 2*s = -145. Let w = s + 56. Let v = w + -8. Is v a prime number?
True
Suppose 4*m - 9*m = -95. Is m a prime number?
True
Let g(a) = -a**3 - 2*a**2 + 5*a + 4. Let s be g(-4). Let p = 10 - 28. Let c = s - p. Is c composite?
True
Suppose -3*r + 802 = 2*q, 0 = 3*r - 5*r + q + 523. Let m = 0 + 2. Is m/(-1) + -3 + r a composite number?
True
Let u = 1 + 3. Let y = -13 - -16. Suppose -u*k = 2*x - 13 - 75, 2*k = -y*x + 40. Is k a prime number?
True
Suppose 722 = 2*j + 172. Is j/(-10)*(-2 - 0) a prime number?
False
Let m(n) = 9*n**2 + 7*n - 49. Is m(5) a composite number?
False
Let x(y) = -y**3 + y**2 + y + 15. Suppose -11 - 9 = -2*r + 5*i, -19 = -3*r + 2*i. Suppose 5*z = r*j - 15, -j + 2*z - 12 = 6*z. Is x(j) prime?
False
Let g be (5/15)/((-2)/(-18)). Let p(o) = 8*o**2 + 3*o + 2. Let k be p(-3). Suppose 4*f = g*f + k. Is f a composite number?
True
Let n be 2 - 4 - (1322 + 2). Let g = -761 - n. Is g a composite number?
True
Suppose -2*x + 2 + 6 = 0. Suppose -5*b = -i + 42, -x*b + 20 = -0*b. Is i prime?
True
Suppose 0 = -5*r - 162 + 1457. Is r prime?
False
Let n be ((-4)/3)/((-4)/6). Let s = -4 + n. Is (-160)/(-3) - s/(-6) a composite number?
False
Suppose -3 = s + a - 451, -1777 = -4*s - a. Is s a composite number?
False
Suppose -j - 8 = -3*f, -3*j + 4 = j. Let n be (-10)/(104/(-34) + 3). Suppose -f*l - 2*l = -n. Is l prime?
False
Suppose 3*f - 31 + 151 = 0. Let r = f - -9. Let n = r - -54. Is n a prime number?
True
Let u(h) = -h**2 + 11*h - 6. Let b be u(10). Suppose 3*y = -l + 465, b*y - 620 = -l - 0*l. Is y a composite number?
True
Let f(o) = 190*o**3 + 2*o**2 - 1. Is f(1) prime?
True
Let m(q) = -q**2 + 15*q + 2. Let p be m(7). Let x = -251 - -356. Let j = x - p. Is j prime?
True
Is (-1)/(-2) - (-3368)/16 a prime number?
True
Let m be (519/(-9))/(1/(-3)). Suppose -5*x = -3*u + m, -2*x + 325 = 5*u - 3*x. Let q = 103 - u. Is q a composite number?
False
Let p = 