 = 1196 + 879, i + k*l - 411 = 0. Is i composite?
False
Suppose 4673 = w - 3*u, 0 = 10*u - 12*u. Is w a composite number?
False
Suppose 4*k = -5*s + 7037, -2*s = 14*k - 17*k + 5249. Is k a composite number?
False
Is (-4170 - -151)*-1*(2 - -3) composite?
True
Let b(o) = 3*o**3 - 2*o**2 - 3*o + 1. Let t = -19 - -23. Is b(t) a prime number?
True
Suppose 2*z + b - 30805 = 0, 0 = z - 5*b - 15555 + 147. Is z prime?
False
Let l(y) = -y**2 - 5*y - 116. Let m(u) = u + 1. Let t(d) = -l(d) - 5*m(d). Is t(0) prime?
False
Let s be ((-4)/(-1) - -791) + 0. Suppose -5*o + 0*o + s = 0. Is o prime?
False
Let c(q) = q**3 + 59*q**2 + 71*q - 94. Is c(-31) a prime number?
False
Suppose -4*v + 36 = 16. Suppose -11018 = -v*b + 3*b. Is b prime?
False
Let u(w) = w**2. Let a(h) = -7*h**2 - 6*h. Let i(k) = a(k) + 6*u(k). Let p be i(-5). Suppose p*q - 327 = 2*q. Is q a composite number?
False
Suppose -5*g + 5*s = -6573 - 5777, -2*g + 5*s = -4931. Is g composite?
False
Let u = 18 + -13. Suppose -u*v = -3411 - 6844. Is v prime?
False
Suppose 0 = 8*c - 14*c + 6. Is c/3*3*1213 prime?
True
Let y be 4/(-20) + (-2)/(-10). Let k = 3 + y. Is 1/k + (-1160)/(-12) prime?
True
Let d(i) = 366*i + 1. Let f be (-3 + 1 + 3)*12/4. Is d(f) prime?
False
Let o = -16132 + 28281. Is o prime?
True
Suppose -4 = 2*y, -2*p - y = 4*y + 1292. Let h(k) = 44*k**3 - 2. Let u be h(-2). Let c = u - p. Is c composite?
True
Is 6186 - (-12 - (-19 - -8)) composite?
True
Let p be (-28)/(-12)*(7 + -1). Let r be (66/(-8))/(p/(-168)). Suppose 0 = -2*z - 2, z + 175 = 3*n - r. Is n prime?
False
Is -4 + 10/6*3987 prime?
False
Suppose 1369792 = 37*c - 69619. Is c prime?
True
Let o(t) = t + 8. Let s be o(-6). Suppose 3*l - 2 = s*u + 3, 3*u - 5*l = -9. Is 0 + (u - (1 - 66)) a prime number?
True
Let d = 556 - -6681. Is d prime?
True
Suppose 4*a - 159 = 5*p, 5*a - 67 = 2*p - 0*a. Let c = p - 100. Is (1 + 0)*-1*c composite?
False
Let p(y) = y - 2. Let r be p(7). Let g be (-14)/(-6) - (-16)/24. Is (1 - g) + (r - -318) a composite number?
True
Let y be 10/4 + -2 + 427/(-14). Let v(s) = -7*s - 25. Is v(y) composite?
True
Let t = 31543 - 22410. Is t a composite number?
False
Let i = 0 - -4. Let b(t) = -t**2 + 9*t - 4. Let s be b(8). Suppose -5*c + 2*w - s*w = -453, -i*c = 5*w - 359. Is c prime?
False
Is (15479/(-46))/(1/(-2)) a composite number?
False
Let o(b) = -b**3 + 7*b**2 + b - 7. Let g be o(7). Let x(p) = p + 28. Let a be x(g). Let z = -18 + a. Is z a prime number?
False
Let v = -9858 - -15809. Is v a prime number?
False
Is (-628012)/(-52) - 12/78 composite?
True
Suppose 0 = -h - 5*h - 6. Let c be (-2 - -1 - -8)/h. Is 242*((-21)/6)/c composite?
True
Let v = 4512 - 3047. Is v prime?
False
Let t(s) = s + 5. Let q be t(-4). Suppose 5*z = -4 - q. Is (79 + z)/2 - 2 a composite number?
False
Let y(a) = 167*a**3 - 5*a**2 - 6*a - 7. Let m(o) = 501*o**3 - 14*o**2 - 17*o - 20. Let s(k) = 6*m(k) - 17*y(k). Is s(1) a composite number?
False
Let w(k) = 4*k - 5. Let x be w(2). Suppose -x = -6*z + 21. Suppose -z*b + 5*p = -2145, -p - 792 = -2*b + 279. Is b prime?
False
Suppose 3*z = -n + 9 + 9, 12 = 2*z - 3*n. Let f be (-6)/9 + (-236)/z. Let v = f - -125. Is v a prime number?
False
Is 2 - (-7122 - 4) - 7 a prime number?
True
Let j(p) = p**3 + 26*p**2 + 26*p + 35. Let u(y) = y**3 + 2*y - 24. Let q be u(0). Is j(q) a composite number?
False
Let v = 106503 - 17512. Is v prime?
False
Let f = 1399 + -639. Suppose -2*p + f = 4*d, d = -2*d - 3. Is p a prime number?
False
Let o be (8/24)/(1/15). Suppose -1130 = -5*k - 5*g, -3*k + o*k + g = 449. Is k composite?
False
Let g(b) = 33*b**2 - 8*b - 1. Let c = 5 + 1. Let i(z) = 66*z**2 - 15*z - 2. Let a(s) = c*i(s) - 11*g(s). Is a(2) a composite number?
False
Is ((-3)/4)/((-123)/850996) a composite number?
False
Suppose 99*i = 112*i - 187213. Is i prime?
True
Suppose -5*n = 25, n + 1 = 4*k - 24. Suppose k*s = -3*t + 5749, -2*s = s - 2*t - 3457. Is s a composite number?
False
Let r(k) = -2*k - 2. Let q be r(-2). Suppose -q*o = 3*z + 2, -o - 3*o - 20 = -2*z. Let u(p) = 19*p - 1. Is u(z) composite?
False
Let w(t) = 12074*t**2 - 2*t. Let j be w(-1). Is 1/(-3) - 1/((-12)/j) prime?
False
Let a = 24 - 21. Let q = a + 140. Is q a prime number?
False
Let p(o) be the second derivative of -13/3*o**3 + 9/2*o**2 + 0 - 2*o. Is p(-4) a composite number?
False
Let j be (-2)/(-1 + 0 - 0). Let c = 1019 + -574. Suppose 3*s - 203 = -q, -j*q - 51 = 3*s - c. Is q a composite number?
False
Suppose 7*w + 5 = 26. Suppose -w*p + 4113 = 3*m, 3*m - 6 = -0*m. Is p a prime number?
False
Suppose -g - z + 7672 = 0, -5*g - 5*z - 38330 = -10*g. Is g composite?
False
Let r = -8237 - -32444. Is r a composite number?
True
Suppose -2*a - 3*h + 2043 = 3*a, 4*a = -3*h + 1635. Suppose 30*z - 39*z = -171. Let l = a - z. Is l a prime number?
True
Let v = 3217 + -264. Is v prime?
True
Let g = 3093 - 1384. Is g composite?
False
Let i = -79 - -71. Is 332*((-12)/i)/3 a prime number?
False
Let o(s) be the third derivative of -s**6/120 + 2*s**3/3 + 5*s**2. Let a be o(0). Is a*13*98/56 composite?
True
Let q(b) = 69*b**3 + 3*b**2. Let k be q(-3). Let x = k - -2687. Is x prime?
False
Suppose 11*w - 8*w - 5*c - 36969 = 0, 0 = -5*c. Is w a prime number?
True
Suppose 4*u = -3*c, 2*u - 3*c - 23 = -5. Suppose 0 = -u*g - 3. Let w(o) = -489*o**3 + o**2 - 1. Is w(g) a composite number?
True
Let h(q) be the second derivative of -109*q**3/6 - 17*q**2/2 + 14*q. Is h(-10) a composite number?
True
Suppose 17*a - 2*g = 13*a + 101006, 2*a + 5*g = 50473. Is a a composite number?
True
Let f = 40 + -36. Let a(w) = 19*w**3 - 5*w**2 + 8*w + 1. Is a(f) a composite number?
True
Let q = -85 - -82. Is (-2 - q)/(4/1852) prime?
True
Is 1 + 7 + -2 + (-3 - -12674) prime?
False
Suppose 11*s - 16*s + 8797 = 4*c, -4*c = 2*s - 3526. Is s prime?
False
Let g = 22041 + -10758. Let d = g - 4048. Is d composite?
True
Let d be ((-3)/4)/(15/20 - 1). Suppose -2*g = -4*x - 1926, -x + 960 = -d*g + 4*g. Is g a prime number?
False
Suppose -4*i + 64508 = 3*p, 0 = -2*i + 5*p + 18000 + 14254. Is i a composite number?
False
Let z(o) = 4*o**2 - 12*o + 337. Is z(-42) a prime number?
False
Let m = -47 + 49. Suppose 1370 = m*d - 2148. Is d a composite number?
False
Let h be ((15 - 2) + -3)*(-3)/(-6). Suppose h*b - 355 - 30 = 0. Is b prime?
False
Suppose 0 = -3*o + 3*w + 36, 55 = 4*o - 5*w + 4. Suppose -o*h + 3669 = -3414. Is h composite?
False
Let f(v) = 578*v - 59. Is f(11) a prime number?
True
Let k = 339 + 3590. Suppose 4*r = k + 5855. Is r a composite number?
True
Suppose -u = -2*i + 13, 0*i = 3*i - 6. Let h(o) = -51*o - 13. Is h(u) composite?
True
Suppose 25*m = 39*m - 100114. Is m composite?
False
Is (-2593 - 1)/(2 - (-120)/(-55)) composite?
True
Let y(t) = -3993*t - 277. Is y(-20) composite?
True
Let x(s) = -s**3 - 8*s**2 - 5*s - 7. Let n be x(-8). Let q = 249 + n. Let t = 519 - q. Is t composite?
True
Suppose c + 5 = -q + 106, -526 = -5*q + 2*c. Let l be q*5 - 1 - -1. Suppose -6 = -3*d, -2*g - d = -0*g - l. Is g a prime number?
False
Let n be 2*(102/4)/3. Suppose -n*d + 10590 = -11*d. Is d composite?
True
Suppose p + 2*p + 3*t = 42, t - 30 = -2*p. Is (-3753)/(-5) - p/(-40) prime?
True
Suppose 19*i = 41*i - 23914. Is i a composite number?
False
Let z(u) = -14*u**3 + 3*u**2 - u + 1. Suppose 4*m - 7*m = 9. Is z(m) a composite number?
False
Let b(j) = 7*j - 10. Let y be b(2). Suppose -a + x = -y*x - 1586, a = 3*x + 1576. Is a a prime number?
False
Suppose 0*g = 5*g. Is g/(-1) - (-2 - 519) a composite number?
False
Let v(w) be the second derivative of 5*w**2 + 0 + 5/6*w**3 - 6*w + 1/3*w**4. Is v(9) composite?
False
Let m = 8474 + -1405. Is m a prime number?
True
Suppose 0 = -2*x - 4*r + 23538, x - 2*r = -r + 11781. Is x a prime number?
True
Let x(s) = -s + 9. Let m be (-280)/(-49) + 4/14. Let i be x(m). Suppose 5*a + 0*y + 2*y = 595, -i*y = -4*a + 476. Is a a composite number?
True
Is (-14 - 5497478/(-98)) + 4/14 prime?
False
Is 633*1 - (-7 - (-6 - 5)) a composite number?
True
Suppose 0 = -4*i - 5*i + 27. Suppose -i*r + 74 = -r. Is r a composite number?
False
Is ((-78935)/(-6) - -7)*6 composite?
False
Let h = 1899 - -3248. Is h a prime number?
True
Let p(a) = 0*a + 13*a**2 - 33 + 2*a - 3*a**2 + 0*a. Is p(6) a prime number?
False
Let u(r) be the second derivative of r**5/20 + r**4 + 5*r**3/3 - 