f/(-12)*3 - -536 composite?
True
Suppose -5*b - 13386 = -4*s + 33753, -4*s = 5*b - 47189. Is s a composite number?
True
Let h(p) = -6524*p - 309. Is h(-5) composite?
True
Let g(v) be the first derivative of 11*v**3/3 - 9*v**2/2 + 11*v + 2. Is g(-8) prime?
True
Suppose 2*y + 0*y = 6*y. Is 2/4 + (13416/16 - y) a prime number?
True
Let p = -189 + 149. Is (20/p)/((-1)/718) a composite number?
False
Suppose -3*g + 27148 = -2*g - 3*a, -4*a - 54302 = -2*g. Is g a composite number?
True
Let z = -1068 + 1606. Is (-3)/(-1*1) - (20 - z) a composite number?
False
Is (-36011)/(-9) - 42/189 a composite number?
False
Suppose -4 = 2*z + 2*b - 12, 0 = 3*z - 3*b - 12. Let o = z - -1. Suppose -5*m + 260 = -o*k - 960, 4*k = -5*m + 1265. Is m composite?
True
Let z be (-4)/1 + -1 + 0. Let c(m) = m**3 + 6*m**2 + 5*m. Let x be c(z). Suppose -2*a + 84 + 50 = x. Is a a composite number?
False
Suppose 2*a - 8 = -q, 4*a + 12 = 2*q + 3*q. Is (-5856)/(-5) - ((-45)/25 + a) a composite number?
False
Let l(q) = 11*q**2 + 203. Is l(-24) a prime number?
False
Let y(j) be the first derivative of 127*j**2/2 - 4*j - 3. Let m be y(12). Suppose -5*p + m = 3*c, -c - 2 = -2*p + 617. Is p a composite number?
False
Suppose 18*s - 20*s + 15568 = 2*w, 3*s - 23342 = -5*w. Is s a composite number?
False
Suppose -99*w = -104*w + 81665. Suppose -23644 = -7*v + w. Is v a prime number?
True
Let d(l) = l**3 + 9*l**2 - l + 14. Let b be d(7). Suppose -4*f - 5*p + 1057 = 0, 3*f + 3*p - b = p. Is f a composite number?
False
Suppose 2*j - 29 = -3*d, j + 20 = 6*j - 3*d. Let l(q) = 8*q - 1. Is l(j) a prime number?
False
Suppose i - 6 + 1 = 0. Suppose -2*m = -0*m + 4*k - 38, -5*m - i*k = -105. Is m composite?
False
Let v = -46 - -27. Let b = -15 - v. Suppose 0 = -4*t + 4*d + 104, -t - 2*t + b*d = -79. Is t a prime number?
False
Let q = 37 + -37. Let t = -6 - -20. Suppose q = -0*y + y - t. Is y composite?
True
Let m = 10 - 6. Suppose 0 = 5*k + 3*z - z - 6, 5*k + 3*z = 9. Is 1*(k + 4196)/m a prime number?
True
Let a = -43 - -185. Suppose 21*p = 15*p + 294. Let c = a + p. Is c a prime number?
True
Let p(o) be the first derivative of -360*o**2 - 17*o + 36. Is p(-4) prime?
False
Let l(i) = 2*i**2 - 4*i - 1. Suppose -5*m + 5 = -5*q, 2*m + 1 = 2*q + q. Let a be l(q). Suppose -s - 4*s + 1030 = -3*f, a*s - 1005 = -2*f. Is s composite?
True
Suppose -20*j - 4648 = -61028. Is j prime?
True
Let p(t) = t**3 + 13*t**2 - 5*t - 3. Let z(a) = -4*a**2 + 5. Let x(l) = -l**2 + l. Let y(w) = -3*x(w) + z(w). Let f be y(-6). Is p(f) prime?
False
Let u(j) = 180*j**2 - 5*j + 2. Let y be u(3). Suppose 0 = -3*x + 4*m + 1615, 3*x = -4*m - 0*m + y. Is x prime?
False
Let i = 10760 - 4629. Is i a prime number?
True
Suppose 0 = 9*g - 4*g - 2400. Let f = g - 277. Is f composite?
True
Suppose 3*l + 12 = 0, i + 4*l = l - 14. Is -3 - -212 - (i + 0) a composite number?
False
Suppose 4*i = 4*c - c - 14, i - 7 = -c. Let n(g) = 13*g**2 + 8*g - 19. Is n(c) composite?
True
Suppose 2*a = 3*q - 2*q + 12, q - 3*a + 12 = 0. Let r(y) = -5*y. Let z be r(q). Let c = -29 + z. Is c a prime number?
True
Let v be (3/(-2))/(2/(-4)). Suppose -4*j = -v - 9. Suppose c - j*o = -4*o + 7, -2*o = -6. Is c a prime number?
False
Let m = -73 - -144. Let o(z) = z**3 + z**2 + 2*z + 13. Let y be o(0). Let h = m - y. Is h a composite number?
True
Is 3958 + 4/((-8)/(-6)) - 0 composite?
True
Let p(x) = -2*x**3 - 30*x**2 - 29*x - 233. Is p(-24) composite?
False
Let b(i) = -1856*i + 27. Is b(-4) a prime number?
True
Suppose 0 = -45*x + 41*x + 11524. Is x a composite number?
True
Suppose s - 6*s + 15 = 0. Suppose -6 = s*h, 0*g - 4*g + 3*h + 22 = 0. Is 1 + g/(-2) - -750 a composite number?
True
Let m be -3 - 31/1 - 0. Let h = m + 52. Suppose h - 7 = s. Is s a composite number?
False
Let x(p) = p**2 - 2*p - 1. Suppose -5*m = 27 + 23. Let q(t) = -t - 1. Let z(k) = m*q(k) + 5*x(k). Is z(4) prime?
False
Suppose 0*b - b - 10 = 3*h, 3*b - 4*h = 9. Let w be (b - 2)/((-21)/14). Suppose -w*i + 6*i - 5*x = 1564, 3*i - 1173 = 3*x. Is i composite?
True
Suppose 98*k + 2*u + 18432 = 102*k, k - 4611 = -u. Is k prime?
False
Suppose -2*r + 3*v = -9, v + v = 5*r - 6. Suppose r*z = -2*z + 314. Is z composite?
False
Suppose -26*u - 52945 = -31*u. Is u a prime number?
True
Let i(r) = -r**3 - 13*r**2 + 16*r + 23. Is i(-20) a prime number?
True
Suppose x = -2*x. Suppose f + 4*d - 247 = x, f = -0*f + d + 267. Is f prime?
True
Let r = -133 + 400. Suppose -5587 = -5*m - i, 4*m - r - 4199 = i. Is m a composite number?
False
Let o = 32 - 32. Let y be (2/(-3))/((-1)/195). Is y + o/3 + -3 a composite number?
False
Suppose -k + 4 = -1, -7 = -3*w - 5*k. Let a(m) = 11*m**2 + 8*m - 3. Let z(s) = -33*s**2 - 23*s + 7. Let t(i) = -17*a(i) - 6*z(i). Is t(w) composite?
True
Let t(s) be the first derivative of -3*s**4/4 + s**3 + s**2 - 11*s - 3. Is t(-7) prime?
True
Let p = 77 - 72. Let k(h) = 200*h - 17. Is k(p) a prime number?
True
Let i = -151 + 368. Let t = i + 74. Suppose 3*q = a + 2905, 3*q + 3*a - 3180 + t = 0. Is q composite?
False
Is 3*(10 - (-63513)/27) prime?
False
Suppose 121026 = 29*o + 17*o. Is o a prime number?
False
Let l = 1416 - -266. Suppose -8*w = -12874 + l. Is w composite?
False
Let r be 3/(-21) - (-246)/7. Suppose -5884 = -39*s + r*s. Is s composite?
False
Suppose -5*o = -p - 25, -2*o + 4 = p + 1. Suppose 3018 = 3*y - 5*x, -2230 - 1805 = -o*y + 3*x. Is y composite?
True
Suppose -5*l = -0*l - 20. Suppose -y + l*q = -209 - 815, y + q = 1044. Suppose -y = 5*t - 4395. Is t prime?
False
Suppose 6 = -m - 3*c, -5*m + 2*c + 8 = -13. Let z(i) = -5*i + 17*i**2 - 511 - i + 507. Is z(m) a prime number?
True
Suppose 9*m - 18 = 12*m. Is (m - -387)*(2 + -1) a prime number?
False
Suppose 0*p = 4*g + p + 27, 5*g + 20 = -4*p. Is 1*(2 + 28/g)*-106 a prime number?
False
Suppose d = 3*a + 3*d - 3338, 4*d = -3*a + 3346. Is -5 + 11 + -2 + a composite?
True
Let m(x) = 2*x. Let t be m(0). Suppose -3*d + s + 10 + 0 = t, -3*d = -2*s - 11. Suppose j - 97 + 37 = 2*k, -3*k = d*j - 171. Is j composite?
True
Let i be -3 - -4 - (-4)/((-8)/(-10)). Is 5576/24 + 4/i prime?
True
Let s = 1 + 51. Is (-1270)/((-2)/1) + s/(-13) a prime number?
True
Let m(v) = 948*v + 41. Is m(6) a prime number?
False
Let z be (-132)/(-3)*(-2 + 67/4). Suppose 0 = 4*s - 2*f - 836, 3*s + f + 3*f - z = 0. Is s a prime number?
True
Let v(m) = -m**3 + 2*m**2 + 2*m - 2. Let g = 8 - 6. Let w be v(g). Suppose w*j = j + 31. Is j a composite number?
False
Let d = -932 - -2002. Let z = 2781 - d. Is z composite?
True
Let g = 94 + -48. Let w be g/(94/23 + -4). Suppose w = 6*f - 5*f. Is f a composite number?
True
Suppose u + 3*u - 8 = 0. Suppose u*r + 120 = -3*r. Is -5*(1 + r) + 0 a prime number?
False
Let f = 15 + -17. Let p be f/5 - (-456)/15. Let t = p - -25. Is t a composite number?
True
Suppose -2*d + 4910 = 3*g, 3*d + 0*g - 7403 = 5*g. Is d a prime number?
False
Is 4 + 1 + ((-11874)/(-2) - 3) a prime number?
True
Suppose 50491 = p - 6*p + 4*m, 50455 = -5*p - 5*m. Is 10/35 + p/(-21) composite?
True
Let p be ((-90)/75)/((-4)/(-10)). Is (3/(-9))/(22130/7377 + p) prime?
True
Let i be ((-32)/(-1))/((-18)/(-495)). Suppose i = -4*t - 11196. Is (-14)/(-21) + t/(-3) composite?
True
Let f(d) = d**2 + 2*d - 5. Let j be f(-4). Let o = j - 0. Suppose 438 = o*p + 3. Is p a prime number?
False
Let k be ((-4)/(-3))/(6/9). Suppose -u = -k*u. Suppose -1477 = -3*m - 3*f - 544, -3*m + f + 917 = u. Is m a composite number?
False
Let l(b) = -142*b - 31. Is l(-3) prime?
False
Suppose 0 = -3*t - 36 + 27. Is 2/6 + (-200)/t a composite number?
False
Let m(o) = -o**3 + 9*o**2 - 6*o + 10. Let i(a) = 2*a**2 - 2*a - 1. Let x be i(2). Suppose -3*u = -2*b - 18, 21 = x*u + 2*b - 3*b. Is m(u) a prime number?
False
Let f(y) = 6 + 15*y**2 - 9*y + y**3 + 5*y + 8*y. Is f(-11) a prime number?
False
Let v = 25 + 81. Let o = -21 + v. Is o a composite number?
True
Let z be -130 - ((-8)/2 + -4 + 6). Let h = 255 + z. Is h composite?
False
Let h = -868 + 1373. Is h a composite number?
True
Let v(m) = 48*m**2 + 10*m - 9. Let z be 2 - 4/2 - -4. Is v(z) a composite number?
True
Is (-1304)/8*(1 + -3) a prime number?
False
Let t(c) = -4724*c - 3. Is t(-1) a composite number?
False
Let h = -2198 + 3501. Is h a prime number?
True
Suppose 4*b + 1113 = -895. Is b*((-4)/6)/(4/15) a prime number?
False
Let f(