Let r be u(v). Let a = r + 130. Is a composite?
True
Let s(m) = 2*m**2 + 98*m - 469. Is s(-72) a prime number?
True
Let o(n) = n**2 + 7*n + 1. Let a be o(-3). Let q = -8 - a. Suppose -q*s = -397 - 80. Is s a prime number?
False
Suppose -c + 0*c - 903 = 4*j, 4*j + 915 = -5*c. Let s = 82 - j. Is s composite?
False
Is (6/(-12))/(6/(-85812)) a prime number?
True
Suppose 0 = 3*u - 2*a - 833, -4*u + a + 1118 = 2*a. Suppose -271 = -b + s, -b + 6*s + u = 3*s. Is b prime?
False
Let h = 15093 - -24286. Is h composite?
True
Suppose 2*l - 5*m - 1391 = -22, l = 3*m + 685. Is 1 - 7 - -3 - -1*l a composite number?
True
Let i(v) = -v**3 + 12*v**2 + 14*v + 6. Let n(o) = -11*o**2 - 13*o - 5. Let f(u) = 3*i(u) + 4*n(u). Is f(-5) a prime number?
True
Suppose -115*o + 120*o = -4*n + 295951, -n = 4*o - 236763. Is o composite?
True
Suppose 17832 = 5*p + 2*q, 10*q + 14260 = 4*p + 6*q. Is p prime?
False
Suppose -898 - 7061 = -3*n. Is n prime?
False
Let o(m) be the third derivative of m**5/15 + m**4/12 - 7*m**3/6 - m**2. Suppose -2*x - 5*k - 27 = -3*x, -2*x + 5*k = -34. Is o(x) a prime number?
False
Is 110/(-22) + 3646 + -2 composite?
True
Suppose -n + 17 = 4*x, -n = -4*x + 2*x + 1. Let t be (8/n)/(12/30). Is 191/(0 + t + -3) a composite number?
False
Suppose -16 = -4*h - m, 4*m + 16 = 2*h + 2*h. Let z(l) = 20*l**3 - 6*l + 3. Is z(h) a prime number?
True
Let p(j) = -9*j + 14621. Is p(0) a prime number?
True
Suppose 184 = 2*z - 4*w, -2*w - w = 2*z - 205. Suppose -4*f + 6*f = z. Suppose -2*p + f = -p + b, -4*p + b = -196. Is p prime?
False
Suppose -40*j = 4*p - 35*j + 1201, -2*p + 5*j = 563. Let o be (-958)/(4/(-2)) - 0. Let z = p + o. Is z a prime number?
False
Let t = 8 + -22. Is 9136/56 + 2/t composite?
False
Let r(u) = 12*u - 13. Let c(v) = 23*v - 2. Let k be c(1). Is r(k) prime?
True
Let w(i) = 2*i**2 - 11*i + 28. Is w(19) prime?
True
Suppose 0 = -757*o + 758*o - 1895. Is o a composite number?
True
Let z(a) = -1403*a - 15. Let q be z(-3). Suppose 749 - q = -5*m. Is m composite?
True
Let x(i) = i**2 + 9*i - 22. Let h be x(-11). Suppose -t - 2*t + 1632 = h. Suppose -5*g = t - 1879. Is g a prime number?
False
Let o(y) = y. Let i(x) = -15*x**2 + 3*x + 7. Let g(a) = -i(a) + 2*o(a). Suppose -2*u = -4*u - 10. Is g(u) prime?
True
Let t(g) = 2217*g**2 - 10*g - 46. Is t(-3) a prime number?
True
Let p be -3*(-3)/(-6*(-1)/(-4)). Is 2130/(-40)*56/p prime?
False
Suppose -3304 = -2*g + 5*x - 7*x, -5*g + 5*x + 8290 = 0. Is g a prime number?
False
Suppose -6*h - 93 = -3*h. Let w(f) = f**3 - 4*f**2 + 7*f - 6. Let i be w(4). Let t = i - h. Is t a composite number?
False
Let o(m) = -m**3 + 30*m**2 - 36*m + 2. Let n be o(28). Let t(h) = 21*h**2 + 2*h - 4. Let p be t(3). Suppose a - n = -p. Is a composite?
True
Let r be 0 - -1*1/(-1). Let h be (1140 + r)/(2 + -1). Suppose -s - 1477 = -5*k, h + 51 = 4*k - 5*s. Is k prime?
False
Is -4037*(-3 - (0 + -4 + 2)) a prime number?
False
Suppose 3*m + 4*l - 345 = 0, -2*l = m + 16 - 133. Is (m/9)/(6/18) composite?
False
Is -3337*(-6)/(-24)*-4 prime?
False
Suppose 0 = -s - 1, 3*h + 3*s - 1657 = 914. Let o = h + 197. Suppose 5*v - o = 5*b, 0 = b - 4. Is v a composite number?
True
Let d be 236/6 + 5/(-15). Suppose -v = 2*v - d. Let p(s) = s**3 - 14*s**2 + 17*s + 15. Is p(v) a prime number?
True
Let i be (-58)/261 - 2/(-9). Suppose i = 5*b - 29127 + 9962. Is b composite?
False
Suppose -3*y + 4*b = -0*b + 10, -2*b = -3*y - 8. Is (-12 + 14)*(-541)/y prime?
True
Suppose -2*t + 4*j + 5 + 13 = 0, 4*t - 18 = -j. Suppose 2*z + 4*a - 74 - 10 = 0, -39 = -z - t*a. Let x = z - 7. Is x composite?
False
Suppose -8 - 4 = 2*v. Let y = -16 - v. Is 2/4 - 1425/y a prime number?
False
Suppose -3*z + 762 = -5*k, -4*k = 2*z - 7*z + 1257. Suppose 12 = -q + z. Is q a prime number?
False
Suppose -14 = -5*c + 11. Is -2*1/c + (-62744)/(-10) a composite number?
True
Suppose 3*w + 3*s = s + 39059, -39056 = -3*w + s. Is w prime?
False
Let p(m) be the first derivative of 282*m**2 - 3*m + 1. Let s be p(2). Suppose -3*d + 0*d + s = -2*b, b = -5*d + 1862. Is d prime?
True
Let i = -66851 - -98832. Is i composite?
False
Let h be 4/2 + -1 + 224. Let t(j) = -3*j + 348. Let z be t(0). Suppose -3*v + z = -h. Is v prime?
True
Suppose 5*a + 2*g = 157, -5*a - 11 = g - 167. Suppose -5*y - 172 = -c - a, 2*y = -5*c + 651. Is c a composite number?
False
Suppose -20*a + 9332 + 1408 = 0. Is a prime?
False
Let s(q) = 2*q - 3. Let i be s(6). Suppose -5*p + i = -5*w - 6, 0 = 5*w - 4*p + 12. Is 844/8*(w - -2) prime?
True
Suppose 3*b - 1 = 6*b + 4*o, 3*b - 2*o = 5. Let f(u) = 1350*u**2 + 2*u - 1. Is f(b) a prime number?
False
Let a be (804/8)/((-1)/2). Let i = -103 - a. Suppose 4*m - 3*y = i, -65 = -3*m - 3*y + y. Is m a prime number?
True
Let o(s) = -81*s**2 - 6*s + 7. Let c be o(5). Let d = c + 7081. Is d a composite number?
True
Let j(t) = 11*t**3 + 5*t**2 + t + 2. Is j(5) prime?
False
Let v(o) be the first derivative of 4*o**3/3 - 4*o**2 + o + 3. Let s be v(6). Suppose 34 = i - s. Is i composite?
False
Let w(p) = p**2 + 21. Let a(i) = -3*i - 1. Let k be a(-1). Suppose k*c - j + 2 = 0, -j - 3*j + 8 = c. Is w(c) composite?
True
Suppose -r = -4*r. Suppose r = -4*p - 3*m + 34, -5*m = 5*p - 51 + 6. Suppose -5*x + h = -347, p*h = 4*h - 6. Is x composite?
True
Let y = 43922 + -27955. Is y a prime number?
False
Let h(l) = 10*l**2 + 19*l + 136. Is h(-7) a prime number?
False
Let v(t) = -50*t - 19. Let z be v(-10). Suppose -84 = -5*d + z. Is d a prime number?
True
Let a be 3/2 + 27/(-2). Let c be -21*(-3 + (-32)/a). Let j(u) = 3*u - 19. Is j(c) composite?
False
Let r = 469 - -420. Is r a composite number?
True
Suppose 3*d = 14 - 2. Is -3 + d + 5/((-20)/(-2688)) a composite number?
False
Let m = 12 + -3. Let n(f) be the first derivative of f**3/3 - f**2 + 4*f - 9. Is n(m) a composite number?
False
Is (51922/(-39))/((-4)/78) a composite number?
True
Let n(s) = -14*s - 3. Let d be n(-8). Let v = d + 13. Is v composite?
True
Let w be (-14 + 1 + -1)/2. Let g(x) = 61*x**2 + x + 9. Let r be g(w). Suppose -2*c = c - r. Is c a composite number?
False
Let p = -22 + 20. Let r = p - -7. Suppose 95 = -0*u + r*u. Is u prime?
True
Let w be (147/6)/7*2. Suppose -19*b = -18*b - w. Is b a prime number?
True
Let u(k) = k + 9. Let x be u(-4). Suppose -c - c = -4*i + 34, -4*i = x*c + 71. Is (-10)/c + (-471)/(-9) a prime number?
True
Let u(i) = -2*i**2 - 42*i - 50. Let k(w) = w**2 + 14*w + 17. Let q = -2 - -6. Let l(n) = q*u(n) + 11*k(n). Is l(12) prime?
True
Suppose 2*o + o - 366 = 0. Suppose h - 4*r = o, 2*h - 3*r - 280 = -7*r. Is h a prime number?
False
Let v = -11 + 1. Let h(z) = -2*z - 15. Let t be h(v). Suppose -t*f + 0*f + 655 = 0. Is f a prime number?
True
Let y = 25 + -22. Suppose -k + 1447 = 3*q - q, -y*k + 4*q + 4391 = 0. Is k a prime number?
False
Let g(j) = 309*j + 42. Is g(9) a composite number?
True
Let k be (-19*2)/(3 + -2). Let m = k - -74. Suppose -x + 41 + m = 0. Is x a composite number?
True
Let h(d) = -2*d**3 + 58*d**2 + 61*d + 97. Is h(30) composite?
False
Let r(y) = -3864*y - 5. Is r(-2) prime?
True
Let x = -6 - -17. Let z = x + -6. Suppose -z*w + 414 = -31. Is w composite?
False
Suppose -14846 - 57128 = -14*o. Is o a composite number?
True
Suppose -3*c - 148 = -658. Suppose -2 + 10 = 4*r. Suppose -3*a + 5*x + 336 = a, c = 2*a - r*x. Is a composite?
False
Suppose -3*x - 5223 = 5*y + 2545, -4*y - 5*x - 6217 = 0. Let n = 1452 - y. Is n prime?
False
Suppose 3*o - 2478 = -4*h, -3*o + 5*o = -4*h + 1648. Suppose -l = -2*g + 1397, -3*g + 1267 + o = -2*l. Is g a prime number?
False
Let v = -247 + 410. Let q = -8 - -80. Let n = v - q. Is n prime?
False
Let f(i) = -i**2 - 88*i - 127. Is f(-34) a prime number?
True
Let b = 32 + -39. Let g(s) = -s**2 - 9*s - 10. Let i be g(b). Let c = i + 11. Is c a prime number?
False
Suppose -2*v = -v + 5*b - 5, -4*b - 20 = -4*v. Suppose v*q - 4*h - h = 5, -q - 3*h + 9 = 0. Is ((-526)/(-2) - q) + -1 a composite number?
True
Suppose 0 = 3*n + 5*b - 7*b - 26587, 0 = -2*n + 4*b + 17730. Is n a prime number?
True
Let s(t) = t**3 - 14*t**2 + 14*t - 3. Let v be s(13). Suppose 0 = -2*n - v, 4*n + 1781 = 2*w - 533. Is w a prime number?
False
Let g be 420/126*((-216)/10)/2. Let f = g - -1025. Is f prime?
False
Let q(p) = p**3 - 9*p**2 + 9. Let t(i) = -4*i**3 + 36*i**2 - i - 36. Let u(c) = -