 prime number?
False
Suppose 2*h - 91 = l, 0*h = -4*h + l + 181. Let i(a) = 24*a - 2. Let z be i(7). Let u = h + z. Is u a prime number?
True
Suppose 0 = -4*a + 2*o + 82380, -3*a + 22991 = 4*o - 38816. Is a composite?
True
Let p = 11878 + -6879. Is p prime?
True
Let g(b) = 125*b**2 + 25*b + 49. Is g(-13) a composite number?
False
Let u(w) = w**2 + 2 - 159*w**3 + 2 - 91*w**3 + 2*w - 2. Is u(-1) a prime number?
True
Suppose 43*f - 650260 - 1191043 = 0. Is f composite?
False
Suppose 2*u + 154 = -0*u. Let t = -46 - u. Is t a composite number?
False
Suppose -16*p + 27*p - 254969 = 0. Is p a prime number?
False
Let y(i) = -478*i**2 - 1 + 1351*i**2 + 14*i - 15*i + 4. Is y(2) a composite number?
True
Let s = -13 - -18. Suppose s*z - 1083 = -128. Is z a prime number?
True
Is (-381)/(-2)*(-1558)/(-57) a prime number?
False
Suppose 0 = t + 5*k - 44, 3*t + t - 108 = -3*k. Suppose -5*z - 13 = 2*g + 10, 4*g - t = 4*z. Let c(w) = -22*w + 1. Is c(z) a prime number?
False
Let w(z) = z**2 - 4*z + 3. Let i be w(5). Suppose 0 = -i*q + 3*q + 315. Suppose 2*c - q = 103. Is c prime?
True
Suppose -13*m = -8*m + z - 172657, 5*m + 5*z = 172665. Is m a composite number?
True
Let r be (-4)/(-6) + 100/(-6). Let j(c) = -45*c - 1. Is j(r) composite?
False
Suppose 3 + 10 = g + 5*i, -5*g + 45 = 5*i. Let y be (g/(-10))/((-4)/10). Is y/(5*(-8)/(-740)) prime?
True
Is 6/(-21) + 867848/56 a composite number?
False
Let q = 33 + -3. Let i be (7/(-14))/((-3)/q). Suppose 2*v = m + 205 + 34, -i*v = 2*m - 611. Is v prime?
False
Let u be (2 + -2)*(-3)/(-6). Suppose u = -4*b + n, 2*n - 5*n = 5*b. Suppose -4*f + 940 = -b*f. Is f prime?
False
Let p be (14/5)/((-10)/(-25)). Is 1311/7 + (-2)/p composite?
True
Suppose -r = -4*b + 7, b + 4*b = -5*r + 40. Let z(w) be the third derivative of 41*w**4/8 + 2*w**3/3 - 2*w**2. Is z(b) prime?
True
Suppose 0*r + 8 = 5*r + 3*c, -3*r - 2*c + 5 = 0. Let z be r*((-7)/(-1) - 2). Suppose 2 = j, -j = z*g - 2*j - 433. Is g prime?
False
Let r(f) = -9 + 102*f - 8*f**2 + 23 - f**3 - 100*f + 42*f**2. Is r(11) prime?
True
Let r(p) = p**3 - p**2 - 1. Let m(n) = 2*n**3 + 4*n**2 - 4*n + 3. Let j(u) = m(u) + 2*r(u). Suppose -2*o + 2*y - 12 = -8, 14 = 3*o + y. Is j(o) a prime number?
False
Let p(t) = 4*t**3 - 11*t**2 - 12*t - 74. Is p(15) composite?
False
Let x be 10 + -12 - 1/(-1). Is x/((-3521)/1757 - (0 - 2)) a composite number?
False
Let y(p) = 166*p**2 - 99*p - 33. Is y(-8) prime?
True
Let b be ((-18)/24)/((-1)/4). Let j be (-2)/(0 - 6/15). Suppose b*m = j*m - 14. Is m composite?
False
Suppose -2*o = -o + 678. Let m = o + 453. Let g = m - -318. Is g a prime number?
False
Suppose p + 2*a = -0*p + 318, -2*a + 946 = 3*p. Suppose 0*o - o = 5*f - p, -3*o = -12. Is f composite?
True
Suppose -5*i = -5*c - 10, 5*c + 0*i + 17 = -2*i. Let m be -13 - (-1 - c)/1. Let f(l) = -3*l - 8. Is f(m) composite?
False
Let o(u) = 78*u**2 + 16*u + 71. Is o(-13) a prime number?
False
Suppose -55*b + 42715 = -50*b. Is b prime?
True
Is 80/(-70)*(-21)/6 - -67257 composite?
False
Suppose 3*p - 2*v = 49605, 4*p - 66139 = 8*v - 5*v. Is p prime?
False
Suppose 18*b + 7814 = 20*b. Is -1*(6 + -9)*b/3 a prime number?
True
Suppose 0 = -12*l - 57570 + 272154. Is l composite?
True
Suppose 3*r + 3*h = -99, -3*h - 59 = 4*r + 68. Is r/(-16) + -2 + 15092/16 a composite number?
True
Let f = -42 - -44. Let t(a) = 25*a**3 + 2*a**2 + 2*a - 1. Is t(f) composite?
False
Suppose 0 = -217*b + 181*b + 364428. Is b a prime number?
False
Suppose -h + 242 = -472. Suppose -2*m - h + 2496 = 0. Let a = m - 404. Is a a composite number?
False
Let l(p) = 710*p**2 - 32*p - 107. Is l(-3) a composite number?
False
Suppose 137*r = 142*r - 147365. Is r a composite number?
False
Suppose -3*c + 3*j = -117, 2*c - j - 14 - 61 = 0. Suppose -2*f + 8 = -3*f. Is 2/f - (-10341)/c a composite number?
True
Let a = 9 - 6. Suppose 39 = -a*y - 3. Is (-105)/2*y/21 a composite number?
True
Is 105/35 - 2180/(-1) composite?
True
Let f = 1688 + -29. Suppose 0*a - 3*a = -f. Is a a prime number?
False
Suppose -3*l + 5*x - 4*x = -85386, 2*l + x - 56929 = 0. Is l composite?
False
Let p be 3/(-6)*0 + 1. Let h(w) = -52*w**3 - 5*w**2 + 5*w - 5. Let n(y) = -52*y**3 - 6*y**2 + 6*y - 6. Let k(u) = -5*h(u) + 4*n(u). Is k(p) a prime number?
True
Let x(t) be the first derivative of 1/2*t**2 + 0*t + 2*t**3 + 11. Is x(-2) a prime number?
False
Suppose 41673 - 8065 = 8*o. Is o a composite number?
False
Let j(a) = 2*a**2 - 6*a - 7. Let d(f) = -f**2 + f + 1. Let p(n) = n**2 + 7*n + 8. Let b(h) = 6*d(h) + p(h). Let i(z) = -6*b(z) - 13*j(z). Is i(-7) prime?
False
Suppose -4*z + 9*z - 18 = w, 0 = -z + 4. Suppose -14 = 2*r - w*s + 3*s, 3*r + 2*s + 22 = 0. Is 511 - r/(9/(-3)) a prime number?
True
Let h(o) = o**2 + 12*o - 20. Let z be h(-14). Let a(g) = -1 - z*g - g**2 + 2 + 2*g. Is a(-5) prime?
False
Let z(u) be the third derivative of 23*u**4/24 - 4*u**3/3 + 2*u**2. Let s be z(6). Suppose 8*f = 3*f + s. Is f a prime number?
False
Suppose -13896 = -4*h + o, -5*o = -h - h + 6966. Suppose -2*d - h = -117. Let v = 2499 + d. Is v prime?
True
Let d(z) = -z**2 + 11*z - 1. Let j be d(10). Suppose 2*w = -w + j. Suppose -g = 2*q - 185, -2*q - w*q + 446 = -3*g. Is q a prime number?
False
Let s = 15939 + -10922. Is s a prime number?
False
Let n(d) = 2*d**2 - d - 4. Let y be n(2). Let f(o) = 52*o - 7. Is f(y) prime?
True
Suppose 160 = -2*h + 1056. Let p = -225 + h. Is p a prime number?
True
Let q(b) = b**3 - 9*b**2 + 4. Let k = 9 - 0. Let d be q(k). Suppose -d*o + 281 = -347. Is o prime?
True
Let d(h) = 13*h + 2. Let q be d(9). Let z = 51 - q. Is (z/6)/((-1)/3) composite?
True
Let t = 891 - -3058. Let q = t + -2762. Is q composite?
False
Let s be (-4 + (1 - 1))*-1. Suppose 0*g - s*g + 3032 = 0. Suppose -308 = -3*w + a + g, 1425 = 4*w - 5*a. Is w a composite number?
True
Let x(d) = 751*d - 139. Is x(12) a prime number?
False
Let b(g) = 40*g**3 + 3*g**2 + g - 3. Suppose -23 = -3*w - 4*r, 0*w - 3*r = 2*w - 14. Let u = -11 + w. Is b(u) composite?
False
Is (-253308)/(-144) - (-4)/(-48) composite?
False
Let h = 14952 + 17005. Is h composite?
False
Is 5654/12 + 4/(-24) a composite number?
True
Let x = 12243 + -4762. Is x prime?
True
Suppose -5*f = 3*t + t + 21, 0 = 3*t - 3*f + 36. Let x be (-450)/t*(-118)/(-4). Suppose 3*a - 5*b - 869 = 0, 5*a + 0*b - x = -5*b. Is a a prime number?
True
Let r(o) = -o**3 + 20*o**2 - 21*o + 17. Let u(q) = 16*q**3 + q**2 - q + 1. Let w(j) = j. Let l be w(1). Let g be u(l). Is r(g) composite?
True
Let t(a) = -a**3 - 3*a**2 - 8*a + 1. Let g(o) = o**2 - 11*o - 8. Let b be g(12). Let x be -4*b/8*3. Is t(x) composite?
False
Let x(u) = -3*u. Let m be x(-1). Suppose 2*k + y = 5*k - 4, -5*k = m*y + 12. Suppose -4*g = -3*j - 493, 245 = 2*g - k*j - j. Is g a composite number?
True
Let f be 9 + -10 - (1 + 699). Let h = f + 2502. Is h composite?
False
Suppose 290*k + 55374 = 296*k. Is k prime?
False
Let z(g) = -819*g + 6. Let u be z(-2). Suppose -6*a + 5322 = u. Is a prime?
True
Suppose -3*c - u + 30 = 4*u, 4*u = 2*c + 2. Suppose -5*h - 3*f = -574, 2*h - c*h = -5*f - 324. Is h a composite number?
False
Suppose a - 67588 = -5*o, -914 = -o + 3*a + 12594. Is (o/21)/(2/6) prime?
True
Suppose -b + 20737 = -2*g, 2*b - 20*g = -18*g + 41474. Is b a composite number?
True
Let k(v) = 18*v**2 - 12*v - 59. Is k(7) composite?
False
Let u(s) = s**2 + 3 - 4*s**2 + 1 - 4*s**2 + 3*s. Let a be u(-3). Let i = 327 + a. Is i composite?
True
Let g be 126/9 + -3*1. Let y = -8 + g. Suppose 5*x - 21 = -t + 2, 2*t + y*x = 67. Is t a prime number?
False
Let f be -1 + 2 + 2 - 0. Suppose 0 = -d + 5*o + 1555, 5*o = -f*d + 2360 + 2245. Suppose -3*x + 948 = -3*h, -5*x - 3*h + 0*h = -d. Is x a composite number?
False
Suppose 15 + 0 = 3*k. Suppose 0*u - 4*u + k*m - 15 = 0, 6 = -3*u + 2*m. Suppose u*p - 4*p - 4*j = -2260, 3*j + 2825 = 5*p. Is p prime?
False
Let b = -505 - -3282. Is b prime?
True
Let q = -20 - -23. Let d(v) = 4*v**2 - 1 + 38*v**3 - q*v**2 - v - 3*v**2 + 0*v**2. Is d(2) prime?
True
Let l(v) = v**3 + 21*v**2 + 8*v - 32. Let h be l(-21). Let z = h - -282. Is z composite?
True
Suppose 0 = 2*a - 2476 - 894. Is a a prime number?
False
Suppose -4*i + 13 - 53 = 0. Is 5/(i/8) + 857 prime?
True
Suppose 3*m - 2*m = 7. Suppose m*u = 1384 + 3656. Let o = u + -137. Is o prime?
False
Suppose a = -4*a