s m prime?
True
Let c be (-6)/(-36)*6*7. Suppose -3*i + 2*x = c*x - 8713, 2895 = i + 4*x. Is i composite?
True
Let d be (-1 - 3)*(-7546)/14. Let r = d + -1113. Is r prime?
False
Let s(a) = 40*a**3 - 2*a**2 + a - 5. Let o be s(5). Suppose 3*f = 3*g + o, g - 8280 = -10*f + 5*f. Is f prime?
False
Suppose 2*m + 2*y = -50, -m + y - 17 - 14 = 0. Let j = m + 31. Is j a composite number?
False
Suppose -2*i = -4*i + 312. Let v = 161 + i. Is v composite?
False
Is (-28086)/(-24) + 6/8 a composite number?
False
Let z(k) = 291*k**3 + 5*k - 11. Is z(3) a prime number?
False
Let i(n) = -143*n + 1. Let z = 6 + -8. Is i(z) composite?
True
Suppose -2*x - 2*x + 8 = 0. Is ((-20)/(-4) - 3)*77/x composite?
True
Let r(a) = -4*a**3 + 7*a**2 + 5*a + 17. Let f(k) = -k**3 - k**2 - k + 1. Let g(z) = -3*f(z) + r(z). Let b(n) = 2*n + 10. Let y be b(0). Is g(y) composite?
True
Let y(d) = -46*d - 11. Let n(v) = -v + 3. Let o be n(0). Suppose -2*g - 6 = -2*r + 14, -4*g - o*r = 12. Is y(g) prime?
False
Let x be (-1 + 3)*(-30)/12. Let f = -2 - x. Suppose f*b + 4*s - 365 = -0*b, 0 = -5*b - 5*s + 615. Is b a composite number?
False
Let y(i) = -4*i**3 + 2*i**2 - 5*i + 4. Let g be y(-3). Let w = g - -109. Is w composite?
True
Suppose -4*b + 4*v + 18396 = -0*b, 23003 = 5*b - 3*v. Is b a composite number?
False
Let k(f) = -3*f**3 - 5*f**2 + f + 7. Let p(o) = -o - 2. Let n be p(4). Is k(n) a composite number?
True
Suppose -11*l + 13*l + 10 = 0. Let y(b) = -16*b - 9. Let i(m) = 31*m + 17. Let v(s) = l*y(s) - 3*i(s). Is v(-13) composite?
False
Let a(v) = v**2 + 4*v - 3. Let l be a(-5). Suppose l*i - 5*c = 1118, 2*i + 0*c = -c + 1106. Is i prime?
False
Let y be 4/3*(-3)/(-2). Is (5 + -3)*419/y a prime number?
True
Let d(x) be the second derivative of -x**6/360 + 11*x**4/24 - 5*x**3/6 - 5*x. Let w(a) be the second derivative of d(a). Is w(0) prime?
True
Let g be (3 + -1 - -31)*2. Let t(m) = 15*m**2. Let a be t(1). Suppose a - g = -r. Is r a composite number?
True
Is 4*(0 - 0 - (-97179)/116) a composite number?
True
Let h = 537 + -176. Is h a prime number?
False
Let y be (-3)/(-12)*(-4 + 0). Let s(v) = -5*v - 1. Let j be s(y). Suppose -5*n - 4*p + 1101 = 0, -3*p = n + j*n - 1097. Is n a composite number?
True
Suppose -d = -4*c - 7, -9*c - 5*d - 3 = -10*c. Is 10/4*c + 102 a composite number?
False
Let i = -4 - -4. Let m = i - 4. Is (-1)/2*m + 60 composite?
True
Let u(n) = 234*n**2 - 18*n + 71. Is u(7) a prime number?
True
Let k = 12 + -8. Let v = -73 - -75. Suppose -4*t - 2346 = -v*r, -k*r = 5*t + 1417 - 6044. Is r prime?
True
Suppose 3*z + z = -h + 289, -z + 71 = -h. Suppose -4*y = -2*f + y + 139, -z = -f + 2*y. Is f a prime number?
False
Suppose 0 = 4*o + 16, -4*t - 1136 = 4*o. Let h = -54 - t. Is h composite?
True
Let c be (4 + -130)*(-11)/6*2. Let t = c - 169. Is t prime?
True
Let i be (-3 - 3) + 9 - (-1634)/2. Let z = 2471 - i. Is z composite?
True
Suppose -2*r + 3 = -5. Let s(l) = -r*l**3 + 2*l - 4 + 3*l + 8. Is s(-3) a composite number?
False
Let g(k) = k**3 - k**2 + 1. Let h be g(1). Let a be (-83)/h*(-1 - 2). Let l = a + -128. Is l a prime number?
False
Let g(z) = -z**2 + 12*z - 4. Let t be g(8). Suppose -5*i - 4*l - 2 = 4, 4*i - 5*l - t = 0. Is 0/(-3 + i) - -97 prime?
True
Suppose -14*m = 3*d - 12*m - 85397, m - 142319 = -5*d. Is d a prime number?
True
Suppose -3*c = -6, 4*f + 7*c - 5*c - 224 = 0. Is f a prime number?
False
Suppose -14*s - 1244 = 5014. Is s/((2/2)/(12/(-18))) composite?
True
Let u = 21616 + -11483. Is u a composite number?
False
Suppose 5*s + 4*h - 3*h - 9 = 0, -2*s = -3*h - 7. Suppose 0 = s*b - 3*b + 307. Is b a composite number?
False
Suppose 3*l - 6*l = -12. Suppose 0 = l*z + 4, 0 = -2*o + z - 0*z + 1263. Is o composite?
False
Let i be (6/4)/((-1)/(-2)). Suppose -5*k + 5 = 0, 0 = -i*l + 3*k - 0*k + 192. Let t = l + 98. Is t prime?
True
Let y = 0 + 0. Suppose y = g - 2*t - 1, t = -t + 4. Let k(x) = 27*x + 14. Is k(g) a prime number?
True
Suppose -j = -4*j + 2019. Is j a composite number?
False
Let m(x) = 1604*x**3 + x**2 - 74*x + 220. Is m(3) a composite number?
True
Let v = -22 - -24. Suppose v*j + 2*j = 892. Is j prime?
True
Suppose 8777 = 4*v - 7007. Is v prime?
False
Let l = 64 + -22. Suppose -188 = -r - 3*g - l, -2*g - 276 = -2*r. Suppose -2*n + 2*f = -292, -r = -n - 0*f - f. Is n a composite number?
True
Suppose 5*z - 3*g + 21 = 0, 7*z + 22 = 3*z + 5*g. Let w = 9 + -6. Is w + z - (-2 + -9) composite?
False
Let c = 48186 + -25763. Is c prime?
False
Is (2 + -1)*17/(289/381157) a prime number?
False
Suppose -5 = -h + 4*b, -2*h - 3*h = -b + 13. Let s = 3 + h. Suppose 4*c - 329 = -5*v - 112, s = -3*v + 3. Is c a prime number?
True
Let r(f) = -55*f + 66*f + 88*f + 14*f - 9. Is r(4) prime?
True
Suppose 2*c = -5*q + 11 + 18, 0 = c - q - 4. Suppose 6*b + 133 = c*b. Is b a prime number?
False
Let o(t) = -t**2 + 11*t - 3. Let f be o(9). Suppose -r - 4*i + 20 = -0*i, 0 = 5*r + 3*i - f. Suppose r = -0*w - 5*w + 2585. Is w composite?
True
Is 7/(-28) - (-34)/8 - -2943 prime?
False
Suppose -35*p - 3 = -34*p. Is (2 - -6)*453/12 + p prime?
False
Let y = 741 - 381. Suppose -4*s + 5*f + y = 0, -2*s + 166 = -0*f + f. Is s a composite number?
True
Let q(n) = 9*n - 16. Let s(a) = -14*a + 24. Let r(l) = -8*q(l) - 5*s(l). Let b be r(3). Suppose -5*d + 480 = k, 0 = b*d + 3*d - k - 490. Is d a prime number?
True
Let r(x) = -x**2 + 7*x - 3. Let b be r(5). Suppose 10 = -b*d + 12*d. Is 30/4 + d/(-4) prime?
True
Let w be 1585/(-15)*(-3)/(-1) - -3. Suppose 5*y - 2*y - 9 = 0. Is (1 - y/2)*w prime?
True
Let h(y) = -y**2 - y + 2. Let b be h(-2). Suppose -8 = -b*q - 4*q. Let o(t) = 13*t**2 + t - 1. Is o(q) prime?
True
Let l(d) = 37*d**2 - 7*d + 17. Suppose -5*z - 7 = -32. Is l(z) a prime number?
True
Let t(g) = g**3 + 2*g**2 - 9*g - 3. Let o be t(-4). Is 330/o + (-5)/(-1) a composite number?
True
Let a(l) = -3*l + 11. Let b be a(-13). Let w = b - -861. Is w a composite number?
False
Let k(q) = -q. Let d be (-10)/25*(4 - -1). Let n be k(d). Suppose -y - n*y - 74 = -l, -3*y + 424 = 5*l. Is l prime?
True
Let x = 3298 + 3835. Is x a prime number?
False
Suppose 3 = -b + 4*h, b + 0*b = -5*h + 15. Suppose -28 = -b*r - q, 2*q = -3*r - 3 + 24. Suppose 3*y + 2*y - r*z = 935, 3*y - 561 = -z. Is y a composite number?
True
Let d = -11 - -18. Suppose -764 = 3*b - d*b. Is b prime?
True
Suppose 0 = -7*b + 8*b - 5447. Is b a composite number?
True
Let b = -30 + 43. Suppose -11*j = -b*j + 8. Suppose 4*s = -j*a + 2016, 5*a - 2517 = -s - s. Is a a composite number?
False
Let u(i) = -i**2 + 67. Let l be 6/(-8)*(-16)/6. Suppose 2*q = -l*q. Is u(q) a composite number?
False
Let z = 17 - 6. Let n be z - (-1 + 1 + 2). Suppose -n*l + 418 = -7*l. Is l composite?
True
Suppose 0*a + 3*a = 0. Suppose 3*z - 2*z = a. Suppose 2*y + z*y + 63 = 3*g, 0 = -2*g + y + 41. Is g prime?
True
Let h be 8/(-14) - (-17118)/189. Suppose -4*q = 4*w - 396, 6*q - 3*q = 2*w - 223. Let j = w + h. Is j a composite number?
True
Suppose -5*d - 3*z = 20, -20 = -5*d + 4*z + z. Let h be (-21)/(-2) + d/2. Is (-6)/15 + 1494/h composite?
False
Is (111/(-12))/((-23)/13708) prime?
False
Let i(t) = -4*t**2 - t + 1. Suppose 0 = b + 2*x + 7, 0*b + x + 5 = b. Let o be i(b). Is 0*2/o - -263 composite?
False
Let n = -5 + 8. Suppose n*y - 509 = 22. Suppose 0 = -3*z + y + 108. Is z prime?
False
Let x(q) = -45*q**2 - 2*q - 19. Let b(f) = -68*f**2 - 3*f - 29. Let m(p) = 5*b(p) - 8*x(p). Is m(6) a prime number?
True
Let i(s) be the second derivative of 19*s**3/3 - s**2/2 - 3*s. Is i(9) a composite number?
True
Suppose -45 = -5*z + 10. Suppose 10*r = z*r - 1187. Is r composite?
False
Suppose 1141 - 285 = 4*x. Let q = x + 187. Is q prime?
True
Is 4/(-5) + 115493/35 a composite number?
False
Let c = 422 - -1221. Is c prime?
False
Suppose 2*v = 38 + 74. Let x = v + -25. Is x composite?
False
Let a(k) = -1059*k - 31. Is a(-10) a prime number?
True
Let s(k) = k**3 + 5*k**2 - k + 8. Let f be s(-6). Suppose 0 = -6*i + 49 - 139. Let q = i - f. Is q prime?
True
Let v(b) = -b**3 + 4*b**2 + 10*b - 6. Let x be v(5). Suppose 5896 = -x*u + 23*u. Let m = u - 987. Is m a composite number?
False
Let z(x) = -15*x**2 - 1. Let f be z(-1). Is 5783/13 + f/(-104) prime?
False
Let z(r) = -r - 1. Let t(w) = 140*w + 10. Let p(g) = -t(g) - 5*z(g). Let o be p(7). Let y = o + 1363. Is y a