i be 2 + 2/6*0. Let z be -1 - (-2 + i - 2). Is 2*z/(-4)*-1114 a composite number?
False
Let z = 663 + -325. Suppose 2*y = 4*y - z. Suppose y = r - 94. Is r a prime number?
True
Let c = -435 + 1689. Suppose 4*l - 4824 = 3*r, 3*l + r - c = 2377. Suppose -d - 5*o = 3*d - l, -2*d + 4*o = -598. Is d prime?
False
Let r(p) = -p**2 + 8*p - 10. Let u be r(5). Suppose j + 34 = -5*c + 12, 0 = u*j + 5*c + 10. Suppose -j*o = -4*n + 934, -464 = -n - n + 3*o. Is n composite?
True
Let a(s) = -780*s - 37. Is a(-16) a prime number?
False
Suppose -52*c = -46*c - 81948. Is c a prime number?
False
Suppose 170*p - 176*p + 37182 = 0. Is p a composite number?
False
Let o(r) = -r**3 + 11*r**2 + 5*r - 8. Is o(-9) composite?
False
Let g be 2/(10/65 + (-12)/(-91)). Let b(c) = 101*c - 28. Is b(g) prime?
False
Let j(f) = -f**2 + 2*f. Let u be j(2). Is u - (1754/(-3))/(4/6) composite?
False
Let h = 545794 - 363155. Is h composite?
False
Let z(j) = -j + 9. Let h be z(5). Suppose -h*f = 342 + 386. Let a = 277 + f. Is a a prime number?
False
Let c(m) = -2*m - 12. Let n be c(-6). Suppose 4 = 4*y - 2*y + 4*t, n = 4*y + 5*t - 8. Suppose -537 = -z - y*z. Is z a composite number?
False
Suppose 2*w - 2*g - 3768 - 4242 = 0, -3997 = -w + 3*g. Suppose 6*k - w = 4049. Is k a prime number?
False
Let d be (147/(-63))/((-2)/6). Suppose -d*u = u - 152. Is u a prime number?
True
Let x(l) = 107*l**2 - 17*l - 11. Is x(-6) a composite number?
False
Let u = -268 + 477. Is u a prime number?
False
Let q(f) = -12*f**2 - 19*f**2 + 13 - 6*f + 33*f**2. Is q(9) prime?
False
Let c(y) = y + 3. Let w be c(-2). Let m(h) = 914*h**2 + 3*h. Is m(w) a prime number?
False
Let v be (-2 + 6 - 4)/(-2). Suppose -2*u + 2984 = 4*q, v = -2*q + 3*q - 5*u - 735. Is q a prime number?
False
Suppose 4*o = 5*w + 228443, 171327 = 3*o - 7*w + 5*w. Is o a prime number?
True
Let g = -3379 - -16638. Is g composite?
False
Let z = -45 + 164. Let f = z - 66. Is f prime?
True
Let f = -134 - -50. Let i = f - -215. Is i prime?
True
Suppose 0*g - 2*g = -w + 53, 5*g + 5 = 0. Let t be (11 + (-12)/4)/2. Let o = w + t. Is o a composite number?
True
Let q be (-10778)/(-8) - (7/(-4) - -1). Suppose 0 = -5*s + 7*s - q. Is s composite?
True
Suppose 25 = 4*d + 9. Is 1/2 - (-5922)/d prime?
True
Let x = 15 + -28. Let b(q) = q**3 + 12*q**2 - 12*q + 13. Let a be b(x). Suppose a = -y + 6*y - 15. Is y prime?
True
Suppose -536 = 3*k - 7*k. Suppose 2*y = 4*h + k - 548, 4*h = -2*y + 410. Is h a composite number?
False
Suppose 0 = c - 3*c - 20. Let s be 256/(4 - (-625)/(-155)). Is (-2)/c - s/20 prime?
True
Suppose 0*m + 9 = -3*m. Is (1580/(-15))/(2/m) composite?
True
Suppose a - 3*a + 18 = 0. Suppose 121*o - 88 = 119*o. Let w = a + o. Is w prime?
True
Let f(n) = -215*n - 24. Is f(-7) a prime number?
True
Let q = 157040 + -36595. Is 2/(-3) - q/(-51) prime?
False
Let k = -48 - -50. Suppose k*m - 1433 - 245 = 0. Is m a prime number?
True
Let k = 13622 - 6105. Is k a prime number?
True
Let a = 26241 - 4928. Is a composite?
False
Let a = -25 + 19. Let c be 1006/10 - a/(-10). Suppose u + 125 = 7*h - 2*h, -c = -4*h + 2*u. Is h composite?
True
Let t(s) be the second derivative of 7*s**4/4 - s**3/3 - s**2/2 - 2*s. Let o(l) = 2*l**2 + 27*l + 15. Let f be o(-13). Is t(f) prime?
True
Suppose -4*x + 12 = 0, 2*a + x - 2213 = a. Let y = a - 739. Is y a composite number?
False
Suppose -3*c = 5*w - 25, -4*w - c + 20 = -0*w. Suppose -k + w = 0, -q + 5*k + 1553 = q. Is q a prime number?
False
Is 848853/(-135)*(1 - 3 - 3) composite?
True
Suppose 29 = -4*s + 13. Is -14503*(-2)/30 - s/30 prime?
True
Let d be 67 + ((-4)/26 - (-2)/13). Suppose d = -2*y + 3*y. Is y prime?
True
Let j(y) = 2*y - 11. Let g be j(5). Let l be 0/(g + 3 + 0). Is l - 1 - (-87 - -1) composite?
True
Suppose -240 = -r - 5*f + 94, 2*f + 1402 = 4*r. Suppose -3*o + r = 58. Let w = 60 + o. Is w composite?
False
Suppose 6 + 0 = 3*b. Let q(y) = 63*y + 1. Is q(b) a prime number?
True
Suppose -w + 5198 = -t, -5*w + 19188 = -3*t - 6804. Is w composite?
True
Let v(r) = 6*r**2 + 4*r - 7. Let l(i) = i**3 + i**2 + 5. Let t(n) = n**2 - 6*n + 5. Let b be t(5). Let s be l(b). Is v(s) prime?
True
Suppose k - 2*k + 3*t = -22, 4*k - 3*t = 115. Suppose -3*s - 13 = -k. Is s/24 + (-3867)/(-4) prime?
True
Let r(n) = n**3 + 16*n**2 + 8*n + 64. Is r(-11) a prime number?
False
Let b = 85 + -205. Let d be 1558/15 + (-16)/b. Suppose -4*m + 692 + d = 0. Is m a composite number?
False
Let f be (((-144)/(-20))/9)/((-4)/(-10)). Suppose 0 = 3*k + 5*q - 3*q - 645, q = -f*k + 431. Is k prime?
False
Let s = -1720 + 3987. Is s a prime number?
True
Let z = -7 + -1. Let y(g) = -80*g + 15. Is y(z) a composite number?
True
Let d(i) = 17 + 2*i - i**3 - 8*i - 15*i**2 + 7*i. Let q be d(-15). Suppose -q*z - 4*z = -474. Is z a prime number?
True
Let i(s) = -22*s + 19. Suppose 0 = -l - 2, -f = f + 2*l + 24. Is i(f) prime?
True
Let h be 2514/12 + -2 + (-5)/(-2). Let f = h - -508. Is f prime?
False
Let f be 2/(-7) + 0 + 40/(-7). Is 13089/21 + f/21 a composite number?
True
Let p = -4520 + 9394. Is (-7*2/(-7))/(4/p) a prime number?
True
Let z(t) = 10*t**2 + 10*t + 15. Suppose 0*l - 4*l = 44. Let i be z(l). Suppose -5*c + 3*p + i = 0, 5*c = -0*p - 4*p + 1115. Is c a composite number?
False
Let z(l) = 1916*l - 253. Is z(12) prime?
True
Let w(o) = 2*o**2 + 5*o + 9. Suppose -3*b = -6*b - 27. Let i be w(b). Suppose 0 = -4*f + 150 + i. Is f a composite number?
True
Let p(m) = -6*m**2 - 19*m. Let z be p(-4). Suppose 5*i = n + 13, 13 = i + n + 4*n. Is i/12 - 455/z a composite number?
False
Let z = 20 - 13. Let d be -1*(10 + (z - 3)). Let f(g) = -21*g - 7. Is f(d) composite?
True
Suppose -8*u + 4*u - t - 76 = 0, 0 = 5*u + 2*t + 98. Is (277/(-3))/(6/u) prime?
True
Let b = -273 - -1033. Let o be (6/(-5))/(8/b). Let a = o + 163. Is a prime?
False
Let q(u) = 2*u**2 + 552. Let a be q(0). Let w = a - 378. Suppose 3*n - 105 = w. Is n a composite number?
True
Let c = -1313 - -556. Let p = c + 373. Let b = -225 - p. Is b composite?
True
Suppose -q + 3 = -4. Let y(u) = 22*u - 48. Is y(q) composite?
True
Suppose -36*w + 623245 = -w. Is w a prime number?
True
Let b be 3/6 + 245/14. Let q(o) = 2*o**2 + 27*o - 19. Is q(b) composite?
True
Let s(i) = 2*i**2 - 3*i + 3. Let y be s(4). Let d = 25 - y. Suppose -8*m + d*m = -1578. Is m a prime number?
True
Let b(u) = 4*u**2 + u + 1. Let l be b(-1). Suppose q = 5*q - l*x - 1024, 0 = -2*x + 2. Is q a prime number?
True
Suppose -20196 = -4*n + 5560. Is n prime?
False
Suppose -6 = -2*s, 0*s = v + 2*s + 359. Let z = 1266 + v. Is z prime?
False
Let h be (-445)/(-3 - (-40)/15). Is ((-4)/6)/(4 - 5350/h) a prime number?
True
Let k(y) be the third derivative of 47*y**4/24 - 4*y**3/3 + 8*y**2. Is k(6) a prime number?
False
Suppose 9*u = -71926 + 548143. Is u a composite number?
True
Let o be 0 - ((-4)/(-4) + 1). Is 628/((-24)/(-10) - o/(-5)) composite?
True
Let t(o) = -o**3. Let x(p) = 4616*p**3 - p**2 + p - 1. Let r(s) = -6*t(s) + x(s). Is r(1) a prime number?
True
Let u(p) = -12*p + 45. Let s(q) = -6*q + 23. Let v(n) = 11*s(n) - 6*u(n). Is v(9) a prime number?
True
Suppose u = -3*m + 418, 0 = 5*u - 2*m - 0*m - 2005. Is u prime?
False
Let t be ((-446)/6)/(13/(-78)). Let s = t + 75. Is s composite?
False
Suppose 42*p - 5*p = 251711. Is p a composite number?
False
Let s = -1005 + 4349. Suppose -4*c - 156 + s = 0. Is c composite?
False
Suppose 0 = -2*q + 12 - 2. Let w(c) = -c**3 + c**2 - c + 7. Let b be w(q). Let u = 167 + b. Is u a prime number?
False
Let z(v) = -3*v - 5. Let i be z(-2). Is (i - (-141 + -1))*1 composite?
True
Let g(b) = 21 + 3*b**2 + 12*b - 34*b + 18*b + 35*b. Is g(-26) composite?
True
Suppose -3*m + 3282 = 4*c - 1080, -3*c + 5*m = -3257. Suppose -f = 2*f - c. Let z = f - 100. Is z composite?
False
Let x(y) = -3*y - 3 - 1 + 3 - 38*y. Let w(i) = 40*i + 1. Let g(k) = -2*w(k) - 3*x(k). Is g(2) composite?
True
Let j(h) = 17065*h - 23. Is j(2) a composite number?
True
Let j be (-3)/6 + (-3156828)/24. Is (j/10)/9*(3 - 5) prime?
False
Suppose 0 = -3*o + 3*s + 10280 + 5641, 5*o + 2*s - 26521 = 0. Is o a prime number?
False
Suppose 91940 = 3*v - 32443. Is v composite?
True
Let a be 21/14*10/3. Suppose 0 = x + 1, 3*s + a*x - 299 = 449. Is s a composite number?
False
Suppose 2*v + 6*d - 7*d = 3653, -3*v = -5*d - 5462. Is v prime?
False
S