uppose 0 = l - 4, z*v = v + u*l + 1088. Is v a composite number?
True
Suppose -a + 4 + 1 = 0. Suppose 3*k - 7 = a. Suppose 61 = k*t + 1. Is t composite?
True
Let t = -1 + 4. Is t/15*3070/2 prime?
True
Let q be ((-2740)/4 - -4) + -2. Let z = -474 - q. Is z a composite number?
True
Let y(s) = 20*s. Let k be y(-8). Let c be k/(-30) - 2/6. Suppose -c = 5*o, -l + o + 214 = -4*o. Is l a composite number?
True
Suppose -2*l - 2*b - 4 = 0, -13 - 2 = 4*l - 3*b. Let m be (2/4)/(l/(-30)). Suppose 2*a + 3*z - 146 = a, -4*z = m*a - 785. Is a prime?
False
Let v(a) = -23*a - 7. Let u(b) = -46*b - 15. Let w(q) = -3*u(q) + 5*v(q). Let x(m) = -12*m - 5. Let n(g) = 6*w(g) + 13*x(g). Is n(-3) prime?
False
Let x(d) = -3402*d - 133. Is x(-13) a prime number?
False
Let t(g) = -4*g**3 - 4*g**2 - 1. Suppose -b - w - 3 = 0, -4*w = b - 0*w - 6. Let l be t(b). Suppose -l + 84 = -5*o. Is o composite?
False
Let o = -33 - -40. Suppose 2*h + 6705 = o*h. Let z = h + -770. Is z prime?
True
Suppose 0 = 4*z - 3*s - 1779, 3*s + 959 - 74 = 2*z. Suppose 13*j - z = 10*j. Is j composite?
False
Is (982/(-5))/(2/(-5)) prime?
True
Let r(k) = 384*k**3 - 2*k**2 + 8*k - 1. Let p(a) = 769*a**3 - 5*a**2 + 17*a - 3. Let w(n) = 4*p(n) - 9*r(n). Is w(-1) composite?
False
Let h(y) = 15 - 346*y + 31 + 19. Is h(-8) composite?
False
Suppose -114*b + 116*b = 7570. Is b composite?
True
Suppose -c + 9 = -3*p, p - 2*p = 3*c - 7. Let n = -1 + c. Suppose n*j - 479 = 2279. Is j composite?
True
Let k be (18/(-2))/(1 - 24/30). Is (-18416)/(-10) - (-27)/k a composite number?
True
Suppose 8*o - 192 - 2504 = 0. Is o composite?
False
Let x(w) = -w**3 - 5*w**2 - w - 1. Let k be x(-5). Suppose k*l - 2 = -6, 0 = f + 4*l - 248. Let b = f - 133. Is b prime?
False
Let q = 1576 - 587. Is q prime?
False
Let c(x) = x - 4. Let f be c(7). Suppose 56 = f*s + s. Suppose -51 = -i - s. Is i a composite number?
False
Let m = -4772 + 21559. Is m a composite number?
False
Suppose 0 = -5*l - 5*q, -l + 7 = -q - 1. Suppose -4*r = -l*w - 2512, 5*w = 5*r - r - 2509. Is r prime?
True
Suppose -5*r + r - y - 24 = 0, 3*r + 5*y + 18 = 0. Let n be r/(-8) - (-11286)/24. Is 4/22 + n/11 prime?
True
Is 0 + 4677/(5 + -2) prime?
True
Let c(t) = -t**3 - 8*t**2 - 6*t + 7. Let o be c(-7). Let n(b) = b**3 + b**2 + 2*b + 1243. Is n(o) a prime number?
False
Let d = 101 + 88. Suppose -2*z + 125 = -d. Is z a prime number?
True
Let j(r) = r**2 + r + 37. Suppose -3*q + 3*g - 4 = 5, 5*q = -4*g + 12. Suppose 5*w - v = -0*v, 4*w - 2*v = q. Is j(w) a prime number?
True
Suppose 42 = g - 2*a, 172 = g + 3*g - 4*a. Let j = 14 + g. Is j prime?
False
Let r(m) = m - 6. Let g = 18 + -10. Let s be r(g). Is 3 + (s - -2 - 1) a prime number?
False
Suppose 7 = -z + 3. Is (z + 4 + -1)*-55 a composite number?
True
Suppose -3*t - 3*z + 7 + 5 = 0, -3*t + 12 = -5*z. Let l be (8/6)/((-2)/(-21)). Suppose -3*h + t*y - 15 = -4*h, 5*y - l = -h. Is h a composite number?
False
Let k = 35693 - 24894. Is k composite?
False
Let r(x) = -96*x + 12. Let a be r(-9). Suppose -3*w = -7*w + a. Suppose -o + c + 56 = -0*c, 4*o - w = 3*c. Is o a composite number?
True
Suppose 5*y - 7010 = -5*z, z - y - 1393 = y. Is z a composite number?
False
Let r = -8233 + 4500. Let w = -2472 - r. Is w a composite number?
True
Let t be (-1 - (-2)/(-1)) + 8. Suppose 3*h - 3*q = 12, t*h + 3*q = -2*q. Suppose 580 = h*u - 3*n, -8*u + 4*u + n + 1170 = 0. Is u composite?
False
Let g(r) = -50*r - 1. Let p be g(-3). Suppose c - p = 240. Is c a composite number?
False
Let v = -24 + 27. Suppose -3*f = -k + 464, 0 = -v*k + 3*f + 684 + 738. Is k composite?
False
Let r(v) = v**2 - 10*v - 22. Let z be r(12). Suppose -n = z*n - 2055. Is n composite?
True
Let d(g) = -2*g**2 - 73*g - 128. Is d(-33) a prime number?
True
Let o be 14/(-63) - (202/(-18) + 0). Suppose 2*f = o*f - 3033. Is f a composite number?
False
Suppose -24 - 9 = 2*x - 3*i, 2*x - 4*i = -38. Is -2 - ((-1894)/7 - x/(-21)) composite?
False
Suppose 0 = 2*m + m + 9, -2*j + 33 = -5*m. Let u = 53 - j. Suppose -u = -2*s - 0*s. Is s composite?
True
Let q = 54 - 45. Is ((-15)/q - 10/15)*-843 a composite number?
True
Let u(f) = -1 + 0*f**3 + 2 + 1 + f - 2*f**2 - f**3. Let d be u(-2). Let j(s) = -s**3 + 11. Is j(d) a prime number?
True
Suppose b + 10 = 5*d, d = 5*d - 12. Suppose 0 = 4*x - 2*k - 9332, -4*k = -b*x + 7602 + 4063. Is x a prime number?
True
Let d(q) = 112*q - 1. Let m be 1/((-15)/(-10) - 1). Is d(m) prime?
True
Let u be 10/35 - (120/(-21) + 2). Suppose -u*m + 1783 = 3. Is m a composite number?
True
Let g(s) = -9*s + 0 - 20*s - 1 - 3*s. Is g(-6) composite?
False
Let t(f) = f**3 + 16*f**2 + 27*f - 1. Let b be (-6)/(-4 + 2) - 0 - 14. Is t(b) composite?
False
Let z(q) be the third derivative of q**5/60 - q**4/12 - q**3/2 + 5*q**2. Let f be z(2). Is (-204)/f + 1 + -4 composite?
True
Suppose -5*u = -4*i - 16, 0 = -2*u + u + 4. Let d be -6 - -2 - 7/i. Is ((-2)/2)/(d/7909) prime?
True
Suppose 5*s + 37 = 4*r, 4*r - 4*s = 5*r + 17. Suppose 4*d - 2*a = 20, -3*a = -r*d + 15 + 3. Is (d - (-4 + 7)) + 778 prime?
False
Suppose -2*z - 3*z - 20 = h, -4*z - 16 = -3*h. Suppose -2*v + 5*v - 105 = h. Let t = v - 20. Is t prime?
False
Let z = -44 - -44. Suppose -6*q = -z*q - 582. Is q a composite number?
False
Suppose 3*x - 2*r + 14 = -3*r, 4*x = -4*r - 32. Let h(m) = -72*m - 5. Is h(x) prime?
True
Suppose -4 = -7*v + 10. Suppose 2*i = v*x - 364, 2*x - 422 = -5*i - 37. Is x a composite number?
True
Let s(k) = k**3 + 4*k**2 + k - 1. Let y be s(-3). Let t(g) = 11*g**3 + 3*g**2 + 7*g - 4. Is t(y) composite?
False
Suppose x + 22 = 2*y, y = -3*x + 2*y - 41. Let i(a) = a**2 + 11*a - 11. Let m be i(x). Is m - 6*10/(-3) prime?
False
Suppose 163*v - 162*v - 154267 = 0. Is v a prime number?
True
Suppose 12*d + 859634 = -175522. Is -5*(-12)/(-210) - d/7 composite?
False
Suppose 132 = -c + l, l - 120 = -4*c - 668. Let v = 293 + c. Is v prime?
True
Suppose -z = 2*z - 9. Suppose -3*m + 391 = 2*y, -3*m - 624 = -0*y - z*y. Is y a prime number?
False
Suppose 0 = -5*u - 4*b - 260, -u + 25 = 4*b + 77. Let j be (-152)/(-26) - 8/u. Let h = j - -143. Is h a composite number?
False
Suppose 6*l + 1060 - 7372 = 0. Let o = 538 - 26. Suppose -2*n - d - 2*d = -o, d = 4*n - l. Is n a prime number?
False
Let p(v) = -v + 1211. Let t be p(0). Suppose -t = 3*u - 4694. Let w = -770 + u. Is w prime?
False
Let b(s) = -17*s + 4. Suppose 3*v + 2*t = t, 0 = -4*v - 5*t. Suppose v*r + 3*r + 9 = 0. Is b(r) composite?
True
Suppose -1902 = -34*a + 28*a. Is a a composite number?
False
Is ((-4267)/3)/(9/(-351)) + -2 composite?
False
Let k be 10/35 + (-38)/(-14). Suppose k*s - 11*s = -424. Is s composite?
False
Let o = -3 - -2. Let y = o + 8. Is -9 + y + (-1 - -412) prime?
True
Suppose 0 = -3*d - 2*h + 175, 2*d - 2*h - 167 = -d. Suppose -b - 4*a + d = -654, 25 = -5*a. Is b prime?
False
Let r = 40 - 29. Let i = 14 - r. Let u(l) = 15*l + 1. Is u(i) a composite number?
True
Let y(h) = -h + 2. Let f be y(-5). Suppose -2*g + 95 = -f*g. Let n = 32 + g. Is n prime?
True
Suppose -5*g + 20153 = -3*k, 3*g - 2*k + 1944 = 14035. Is g prime?
False
Let o = 47 - 47. Suppose -4*a = -o*a - 10828. Is a a composite number?
False
Suppose 7*c - 792 = 4241. Is c prime?
True
Suppose -91684 = 32*z - 934148. Is z composite?
True
Let v(o) = 19*o - 16. Let b(r) = r**2 - 14*r - 23. Let j be b(16). Let i be v(j). Suppose -k = -6*k + i. Is k prime?
True
Suppose 5*v = 5*z - 25, -2*v + 7*z = 2*z + 13. Let u be 1212/v*(-2)/2. Let k = u + -154. Is k prime?
True
Suppose -5*x - 4 = 4*a + 33, -4*a + 4*x - 28 = 0. Is (-430)/4*a/20 a prime number?
True
Suppose 0*l + 4*l = -1660. Is (-3)/(-6)*0 - l composite?
True
Let u(q) = 2*q + 297. Let w be u(0). Let j = 422 + w. Is j prime?
True
Let g(l) be the first derivative of -l**4/4 + 8*l**3/3 + 3*l**2 + 12*l + 157. Let u(p) = p**3 - 7*p**2 + 6*p - 5. Let w be u(6). Is g(w) composite?
False
Let u(s) = -2*s**2 - 174*s - 35. Is u(-75) prime?
False
Let o be ((-9)/(-2))/(3/4). Let d be o/9*(2 - -127). Let i = 243 - d. Is i a composite number?
False
Suppose 9*m - 40209 - 14754 = 0. Is m a composite number?
True
Let a(t) = -3*t + 16. Let r be a(5). Suppose 2*l = 3 + r, -305 = -u + l. Is u a prime number?
True
Let g = -1176 + 58433. Is g a prime number?
False
Let l = 5309 + -2588. Is l composite?
True
Let q(v) = 89*v**2 - 6*v + 