 1/(t/(-6) - 2). Suppose 5*v = s*v + 165. Is v composite?
True
Let z(a) = 63*a + 1. Let u(q) = q**2 + 5*q - 4. Let n be u(-6). Is z(n) prime?
True
Let v(t) be the third derivative of t**5/60 + t**4/24 - 2*t**2. Let a be v(-1). Suppose 0 = r - a*r - 37. Is r a composite number?
False
Let u(v) be the second derivative of -v**4/12 + v**3 - v**2/2 - 2*v. Let k be u(5). Suppose k*d = -3*x + 16, 4*d = -3*x - 2*x + 16. Is d a composite number?
True
Let m = -313 - -1089. Let l = m - 439. Is l composite?
False
Let i be 26/6 - 3/9. Suppose 4*j = 16, -s - i*j + 2*j + 97 = 0. Is s prime?
True
Let d be (-9)/6*(1 - -1). Let z be d + 0 + 128 + 2. Is z*(-3 - (-8)/2) composite?
False
Let w = 21 - 18. Is w a composite number?
False
Let f = 2815 - -1426. Is f prime?
True
Suppose -57 - 1198 = -5*n. Is n a prime number?
True
Let f(x) = -20*x - 9. Is f(-10) a prime number?
True
Let h be ((-9)/27)/(1/(-183)). Suppose h = 4*f - 87. Is f a prime number?
True
Suppose -8516 = 282*f - 284*f. Is f composite?
True
Let b(r) be the third derivative of -1/3*r**3 - 1/60*r**5 - r**2 - 1/4*r**4 + 0 + 0*r. Is b(-4) prime?
False
Let s be 0/1 - -1 - 0. Is (-3 + 132)*s/3 prime?
True
Is (-3 - -771) + 1 + 0 a prime number?
True
Let s = 1146 - 35. Is s composite?
True
Suppose 2701 = 2*v + 5*h, -h = -3*v + v + 2731. Is v a composite number?
True
Suppose -4*j + 25 = 3*o, 2*j - 4*o + 7 = o. Is (931/28)/(1/j) composite?
True
Suppose -14 = -o + 3*h, 2*o = 2*h - 3*h + 21. Is o composite?
False
Suppose 5*t + 10 = 0, u - 9 = 3*t - 1. Suppose x - 5*n + 8 = -6, -3*x - u*n = -9. Is (x - 1)/(-3) - -23 prime?
True
Suppose 5*h - 10 = -2*d, -5*h + 2*h + d = -17. Let l(x) = 0*x**3 + 2*x**3 + x**3 + x + h - 4*x**2 - 5*x**3. Is l(-5) prime?
True
Let k(j) = j**2 + 2*j - 3. Let i be k(-4). Suppose i*s - 52 = -7. Is (-2)/9 - (-929)/s prime?
True
Let b(a) = -a**3 + 7*a**2 - 3*a + 5. Is b(6) a prime number?
True
Suppose 2*t + t - 537 = 0. Is t a composite number?
False
Let f(j) = 0*j + 0*j - 3*j - j**2 + 2*j**2. Is f(4) prime?
False
Let n be (-2)/(-8) + 1/(-4). Suppose n*g + 4*l - 234 = -2*g, -3*g + 5*l + 340 = 0. Is g a prime number?
False
Suppose 9*z = -4*z + 2743. Is z composite?
False
Let s be 43*(-3)/(-6)*10. Let c = s + -104. Is c a prime number?
False
Let g be (-2)/(-1) - (4 + -5). Suppose g*h = -2*h - 3*x + 2125, -447 = -h - 5*x. Suppose 3*w = h + 211. Is w a prime number?
True
Let b(i) = 160*i**2 + i - 2. Is b(1) prime?
False
Let a(l) = -l**2 - 3*l. Let r be a(-3). Let z be r - (-1 + 1 + 0). Suppose z = -5*k - 3*c + 24 + 149, 4*c = 4. Is k prime?
False
Suppose 18 = -0*x - 2*x. Is (-9)/6*2046/x composite?
True
Let u = 8 - 6. Suppose -u*c + 58 = -34. Is c a prime number?
False
Let w be 0/(-2) - 0/(-10). Suppose -3*a = 3*o - 99, 2*a - 140 = -4*o - w*a. Is o a prime number?
True
Let l(p) = -5*p**3 - p**2. Let b be l(-1). Suppose k + k = b. Suppose -q + 49 = 4*h, -2*q - 2*h + 98 = k*h. Is q composite?
True
Let s = 78 + 83. Suppose -3*n + s = -322. Is n a composite number?
True
Let n be 1659/9 + 2/3. Let y = 272 - 390. Let k = y + n. Is k a composite number?
False
Suppose -3*d + 3 + 6 = 0. Suppose 0 = -4*g + d + 5, 2*g + 98 = 3*j. Is j prime?
False
Let l = -6 + 4. Let d(p) = 20*p**2 - 3*p - 1. Is d(l) prime?
False
Suppose u + 4435 = 6*u. Is u composite?
False
Suppose 10 = 2*h - 7*h. Let j(d) = d**2. Let y(s) = s**3 + 7*s**2 - 8*s - 11. Let i(p) = h*j(p) - y(p). Is i(-10) prime?
True
Suppose -h - 16 = -0*h. Let n = 73 - h. Is n composite?
False
Let f(k) = -k**2 - 4*k. Let n be f(-4). Suppose -3*j - 3*s + 186 = n, -6*j + j = -5*s - 360. Is j a composite number?
False
Let t = 6 - 10. Let f = 8 + t. Suppose -f*s + 14 + 62 = 0. Is s composite?
False
Let k(b) = -7*b**3 - 8*b**2 - 10*b + 11. Let r(s) = -8*s**3 - 9*s**2 - 11*s + 12. Let a(f) = 7*k(f) - 6*r(f). Is a(-4) a composite number?
False
Suppose 3*w + 2*w + 2*t = -78, -4*w = t + 63. Is (844/6)/(w/(-24)) composite?
False
Let c(o) = -59*o. Let g be (2/6)/(1/(-3)). Is c(g) composite?
False
Suppose 3*a - 1184 - 853 = -3*x, -4*x + 2671 = -5*a. Is x a composite number?
True
Let j = -5 + 8. Suppose 0 = -a + 5*a + 4*h, -j*a + 2 = 2*h. Is (15/4)/(a/8) a composite number?
True
Let i(t) = 9*t**2 - 2*t - 1. Let n = 1 + -2. Let b be i(n). Suppose -3*z + b = -35. Is z a composite number?
True
Let q = 2 - 6. Let l(r) = -4*r. Let u be l(-2). Is q*((-30)/u - 2) prime?
True
Suppose k + 5*n = -2*k - 436, 2*n + 695 = -5*k. Let f = -52 - k. Is f a composite number?
True
Let q = 4 - 2. Suppose 0 = q*i + 4*b - 62, 3*i - 2*b = -2*i + 107. Suppose 4*m + 0*m + i = l, -4*l = 5*m - 29. Is l a composite number?
False
Suppose -3 + 0 = -c. Let g(h) = 117*h + 4. Is g(c) composite?
True
Let h(c) be the third derivative of -c**6/40 - c**5/30 + c**4/8 - c**3/2 + c**2. Is h(-3) composite?
True
Let j(f) = 50*f + 1. Suppose 0 = 4*q - 2*q - 10. Is j(q) a prime number?
True
Let g be ((-355)/4)/(1/(-4)). Suppose -2*r = -7*r + g. Is r prime?
True
Let x be (102/5)/(9/(-60)). Suppose 3*f + f = 804. Let w = x + f. Is w a composite number?
True
Let p = -312 - -780. Suppose p = y + y. Suppose 3 + y = 3*u. Is u a prime number?
True
Suppose 3*g = 2*l + 1505, 0*g + 2*l - 1000 = -2*g. Is g a prime number?
False
Is ((-13)/3)/((2/(-1))/138) prime?
False
Is (-1)/(8/14)*-52 a composite number?
True
Let o(a) = 2*a - 6. Let j be o(5). Let b be 2/(2 - 3) - 0. Is (5 - j)/(b/(-70)) a prime number?
False
Let k be (-1)/(-4) + 1/(-4). Suppose k = 6*z - z + 3*q - 227, 0 = -3*z - 4*q + 134. Suppose 2*j - z = -4*m, j = 3*m - 6 - 16. Is m composite?
True
Suppose 0*b - 1827 = -b. Is (-1)/4 - b/(-28) a prime number?
False
Let c = 0 - -42. Let r = c + -70. Is (-4)/(-14) + (-2316)/r composite?
False
Let m be ((-1)/3)/((-1)/6). Suppose 0*b + 3*a - 98 = -2*b, -a = m. Let w = -29 + b. Is w composite?
False
Let s(p) = 81*p - 8. Is s(5) a composite number?
False
Let x(i) = -8*i - 1. Let v be x(-1). Suppose -3*p + 119 + 31 = 0. Let h = p - v. Is h a prime number?
True
Suppose 2*x - 6*x + 5444 = 0. Is x a prime number?
True
Let b(c) = -6*c**2 - 3*c. Let p be b(6). Let x = -29 - p. Is x composite?
True
Let u(w) = -132*w - 1. Suppose -5*v + 57 + 23 = 0. Suppose -5*l - 20 = -o - 4*o, o + 3*l = -v. Is u(o) prime?
True
Let j(c) = 9*c**3 + 2*c**2 - 2*c - 1. Let r = -3 + 5. Let t be j(r). Suppose 4*a - 77 = t. Is a a composite number?
True
Suppose -328 = 2*m + 2*m. Let f = -43 - m. Is f a composite number?
True
Suppose 3*h + 4*i - 1007 = 0, -4*h - i + 300 + 1047 = 0. Is h a composite number?
False
Let j = -82 - -137. Suppose 4*n + j = 419. Is n a composite number?
True
Let h be (-1 + 2)/((-1)/(-2)). Let y(m) = -m**3 + 10*m**2 + 1 - m**h - 4*m - 2*m**2. Is y(3) prime?
False
Suppose 4*a = 3*a + 86. Let p = -33 + a. Is p composite?
False
Let f be 1 + 0 + (5 - 10). Is 182 - 1*(f - -1) prime?
False
Suppose 4*u - 2*u - 186 = 0. Let x = u - -202. Is x a prime number?
False
Let f(k) = k**2 - 3*k - 5. Is f(-4) composite?
False
Let m = -81 + 151. Suppose -m = -i + 51. Is i composite?
True
Let b(x) be the second derivative of -1/2*x**2 + 1/4*x**4 - 1/20*x**5 + x + 0 + 2/3*x**3. Is b(-4) a composite number?
True
Let f(r) = -r**2 - 6*r - 3. Let i be f(-5). Suppose -3*q + i*y = -q - 52, -29 = -q + 2*y. Is q prime?
True
Let j = -105 - -193. Suppose -x - 3*x = -j. Is x composite?
True
Suppose 3*x - 28 = -x + 4*y, 5*x + 2*y - 35 = 0. Let c = -5 + x. Is c/((-6)/(-27) + 0) a composite number?
True
Suppose 4*b + 1308 = 2*b. Is b/(-4)*12/18 composite?
False
Let i(l) = -l**3 + 7*l**2 + 8*l - 3. Let k be i(8). Is 334/k*6/(-4) composite?
False
Let u be (2 + -2)/5*-1. Let h = 196 + 228. Suppose 17 - h = -5*p + 3*v, -p - 5*v + 59 = u. Is p prime?
True
Let g(t) = 3*t**2 - t. Let i be g(1). Suppose 0 = v - 3*m - 84, 0*m = -2*v - i*m + 176. Is v composite?
True
Suppose -2*t + 25 = 3*t. Suppose -3*m = -t*p - 71, -4*p + 2*p = 2*m - 42. Suppose -30 = -2*n + 2*w + m, -2*w = 10. Is n prime?
False
Let v(i) = 5*i**3 - 9*i**2 + 6*i + 8. Let c be v(8). Suppose c = 5*u + 695. Is u composite?
False
Let t be 7/3 - 2/6. Suppose -t*a + 21 = -a. Is a a prime number?
False
Let w(k) = -k + 9. Let o be w(5). Suppose o*f = -8 + 24. Suppose 155 = -3*s + f*s. Is s prime?
False
Suppose -216 = -y - 5*q, -2*q = 4*y - 372 - 474. Is y composite?
False
Let y(b) = b**3 + 7*b**2 - 7*b + 9. S