115. Is q a composite number?
True
Suppose 3*g + g - 348 = 0. Is g composite?
True
Let w(c) be the second derivative of 7*c**3/3 + 3*c**2/2 - 4*c. Is w(11) prime?
True
Is -1 + 3 + (-3 - -1115) prime?
False
Suppose -h = 4*h - 1535. Is h a prime number?
True
Let c(d) = -10*d**3 + 4*d**2 + 1. Let h be c(3). Let x = -95 - h. Let u = -19 + x. Is u prime?
False
Let o = 476 + -129. Is o prime?
True
Let b = -2 - -1. Let z(g) = 37*g**2 - g. Is z(b) composite?
True
Suppose -4*k = -4*q + 3900, -2*q - 9*k + 1960 = -6*k. Is q a composite number?
False
Suppose 5*h = 2*u + 10678, -u + 4264 = h + h. Is h/33 - 1/(-3) prime?
False
Is (-1739)/(-94)*(-3)/((-6)/20) prime?
False
Suppose 6*l - 4 = 2*l + 4*v, 3*l + 3*v - 15 = 0. Suppose -l*u - 130 = -8*u. Is u a prime number?
False
Let q(j) be the first derivative of j**4/4 + 4*j**3/3 - j**2/2 - 2*j + 1. Let h be q(-2). Suppose -i = 3*c - h, -59 = -5*i + 3*c + c. Is i a composite number?
False
Suppose 0 = 21*z - 16*z - 6135. Is z a prime number?
False
Let n = 16 + 21. Is n a composite number?
False
Suppose 90 = 3*r - u - 2*u, -3 = 3*u. Let s = r - -9. Is s a prime number?
False
Let h be 4/16 - (-38)/8. Suppose -h*z + 229 = -826. Is z a prime number?
True
Let x(m) be the second derivative of -m**4/12 - 3*m**3/2 + 13*m**2/2 + 2*m. Is x(-9) composite?
False
Let v(w) = 119*w**3 + 3*w**2 - 3*w + 2. Let x be v(2). Is x/14 + 12/28 composite?
True
Suppose 3*n = 3*c + 14 + 10, 0 = -4*n - 5*c - 13. Suppose 4*t - 127 = n*g, -2*g - 5 = -3*t + 91. Is t prime?
False
Let n(m) be the second derivative of m**4/12 - m**3 - 5*m**2/2 + 2*m. Is n(12) a composite number?
False
Suppose 0 = -x - 1 - 1. Let c = -67 - -64. Is ((-67)/c)/(x/(-6)) composite?
False
Let i = 251 + 1250. Is i a composite number?
True
Suppose 5*o - 388 + 113 = 0. Is o a composite number?
True
Let d(f) = -f**3 + 5*f**2 + f + 4. Let u be d(4). Let n = u - -27. Is n a prime number?
False
Suppose 0 = v - 3*s - 4414, -s - s = -2. Is v composite?
True
Suppose 359 = 5*n - 231. Suppose -f - f = -n. Is f a composite number?
False
Suppose 3*b + 5 = -4*d - d, 20 = -4*b. Let c(l) = -l**2 - l + 1. Let i be c(-2). Is (i/d)/(2/(-88)) a composite number?
True
Let q = 9 - 7. Suppose q*n = 60 + 306. Is n a prime number?
False
Suppose 1349 = 3*n - 4*x - 916, 2*x + 3010 = 4*n. Is n composite?
False
Let h(r) = -30*r - 3. Let o be h(-7). Let d = o + -140. Is d composite?
False
Suppose 3*n - 3*d = 5262, 5*n - 3091 = 3*d + 5685. Is n prime?
False
Suppose 0 = 3*w - 4*m - 8797, 0 = -5*m - 22 + 2. Is w prime?
True
Suppose -r = 2*r - 5*o - 4518, 4521 = 3*r - 4*o. Is r prime?
True
Let b = 1885 - 1262. Is b a composite number?
True
Is (-22)/(1/((-26)/4)) composite?
True
Suppose 18 = 6*w - 4*w + 2*g, 0 = -5*g - 5. Let a(o) = -3*o - 1. Let v be a(-8). Let p = v + w. Is p composite?
True
Is 1/4 - 1881/(-12) composite?
False
Let r(o) = -o - 10. Let g be r(-8). Let a be 2/g + 44*4. Suppose -i + a = 4*i. Is i a prime number?
False
Suppose 15 = 2*q + 3*q. Suppose -60 - 99 = -q*l. Is l prime?
True
Let g(i) = 10*i**2 - i - 4. Let p be g(5). Let w = -24 + p. Is w composite?
True
Suppose -4*l + 8 = -0. Suppose 3*d = -3*g + 201, -g - d = l*g - 197. Is g a composite number?
True
Let c be -3 + (-93)/(-3) + 3. Suppose -2*z + 3*x = -0*z - 27, -z + 5*x + c = 0. Is z a prime number?
False
Let l(j) be the second derivative of j**4/6 - 3*j**3/2 - 4*j. Let h = -8 + 15. Is l(h) a composite number?
True
Suppose 0 = -3*x + 4*s - 6*s + 1717, 0 = -4*x - 5*s + 2301. Let c = x + -192. Is c composite?
True
Is (19 - -10)*(87/3 - -2) composite?
True
Suppose -2*a - 5*l + 9 = -0*a, -2*l - 2 = -2*a. Suppose 98 = a*y + 3*p, 31 = y - 0*y - 3*p. Is y a composite number?
False
Suppose 0*g + 5*g = 4*q + 436, 4*q + 432 = 4*g. Let p = -7 - q. Is p a composite number?
False
Let k(w) be the third derivative of w**6/30 + w**5/20 + 5*w**4/24 - 5*w**3/6 + 3*w**2. Is k(4) a prime number?
False
Let l(s) be the first derivative of -s**4/4 + s**3 + s**2/2 + 2*s + 1. Let f be l(3). Suppose 5*c - 58 = -g, 0*g + f*c = 2*g - 101. Is g a prime number?
True
Suppose 292 = 5*o - 2*x + 6*x, 2*o = 4*x + 128. Suppose -3*u + 92 = -7*u. Let p = o + u. Is p composite?
False
Suppose -4*w = -0*w - 196. Is w a composite number?
True
Let r(j) = 3*j**2 + 26*j + 17. Let w(q) = -q**2 - 9*q - 6. Let a(k) = -6*r(k) - 17*w(k). Let l be a(-2). Suppose -4*i = -l*i - 102. Is i prime?
False
Let x(m) = -m**3 + 20*m**2 - 9*m + 31. Is x(13) composite?
False
Let d(s) = -319*s**3 - 4*s**2 - s - 5. Is d(-2) prime?
False
Let k = 99 + -202. Let v = k - -230. Is v a composite number?
False
Let o = 36 - -760. Suppose 3*n - 2383 = -2*x, -n - 4*x = -3*x - o. Is n composite?
True
Suppose 4*k + 105 = 5*q, -5*q + 110 = -5*k + 2*k. Suppose q = g + 4*g. Suppose g*j - 140 + 25 = 0. Is j prime?
True
Let z(u) = -308*u**3 - u - 2. Is z(-1) a prime number?
True
Let h be 2/(2/(-1)) + -2. Let n(t) = t**2 + 2*t - 1. Let x be n(h). Suppose x*l - 305 = 2*i + 3*i, -3*l = -5*i - 450. Is l composite?
True
Let k(g) be the second derivative of 3*g**5/20 - g**4/3 + 11*g**3/6 - 9*g**2/2 + 7*g. Is k(7) a prime number?
False
Let r = -6 + 6. Let j(a) = -3*a**3 + 0*a**3 - a**2 - 5*a + 2 + r*a + 2*a. Is j(-3) a composite number?
False
Let o(t) = -7*t**2 + 3*t + 1. Let g be o(-2). Let r = g + 54. Is r prime?
False
Let z(k) = -16*k + 2. Let u be z(2). Let n = -14 + -5. Let y = n - u. Is y prime?
True
Suppose -4*t + 0*t + 8 = 0. Suppose -5*w - 3*q = -2*q + 28, 0 = q - t. Let f = -4 - w. Is f composite?
False
Let l(b) be the second derivative of b**7/180 + b**6/240 - b**5/40 - b**4/4 + 4*b. Let z(g) be the third derivative of l(g). Is z(2) a composite number?
False
Let w = 366 + -237. Let q = 382 - w. Is q prime?
False
Let g(z) = -9*z + 4. Suppose -4*q + n = -q + 21, 5*n + 3 = -3*q. Is g(q) a prime number?
False
Is ((-1319)/3)/(18/(-54)) a prime number?
True
Let h be -1 + 2*(-4)/8. Is -1 + 2/(h/(-107)) a composite number?
True
Let c be (-8)/(-14)*7/2. Suppose 0 = 3*d - b + 4*b - 1011, c*d = 5*b + 702. Is d a prime number?
False
Let u = -11 + 15. Suppose 6*v - v = 45. Suppose v*c - 265 = u*c. Is c composite?
False
Let x = 1379 - 706. Is x a composite number?
False
Let o(l) = -4*l**3 + l**2 + 8*l - 4. Let k(y) = -5*y**3 + 7*y - 4. Let m(u) = 5*k(u) - 6*o(u). Is m(-6) a composite number?
True
Let l be 0/(-4) - (-2)/2. Suppose 4*d - 87 = l. Suppose d + 61 = y. Is y prime?
True
Suppose -3*r - 13 = -2*n - 2*r, -2*n + 25 = -5*r. Let w be (-112)/12*(-9)/2. Suppose -2*x - 4 = 0, -n*x - w = -2*j - 6. Is j a prime number?
True
Let v be 2/(-7) - 74/(-14). Suppose v*x - 4*x = 226. Is x composite?
True
Let d(k) = 2*k**2 + 3. Let f = 8 + -4. Is d(f) a composite number?
True
Let c = 1286 - 907. Is c a composite number?
False
Is 3777*(1 - (2 - 2)) a composite number?
True
Let i(q) = -18*q**3 - 3*q - 2. Let t be i(3). Let g = 1016 + t. Is g composite?
True
Suppose -3*h + 2*h - 3*c - 14 = 0, 2*c - 28 = 4*h. Is ((-33)/(-6))/((-2)/h) prime?
False
Let h(y) = 8*y**3 - 3*y**2 + 2. Let b be h(-2). Let f = b + 127. Is f prime?
True
Suppose -2*u + 4*u - 4*d - 766 = 0, 3*u = 5*d + 1152. Is u a composite number?
False
Suppose -2*n + 20 = 3*n. Suppose 2*t - 31 = -5*h, 3*t = 2*h - n*h + 19. Suppose s - t*s + 30 = 0. Is s prime?
False
Suppose -5*j = -3*x + 30, -j + x + 50 = -6*j. Is ((-6)/j)/(4/84) composite?
True
Suppose 0 = -2*c + c - 9. Let g(j) be the first derivative of -j**3/3 - 11*j**2/2 + 7*j - 22. Is g(c) prime?
False
Let k(v) = 6*v**2 + 11*v - 4. Is k(7) a prime number?
True
Let x(j) = j**2 + 7*j - 9. Let p be x(-8). Is (p/3)/((-6)/2610) composite?
True
Let w(g) = 26*g + 7. Suppose -10 = -4*s - 2*u, 5 = -4*u + 1. Is w(s) a composite number?
True
Let q(x) = -3*x**2 - 3. Let g be q(-7). Is (-2)/(-6)*g/(-2) composite?
True
Let d(f) be the first derivative of f**4/4 - 2*f**3 + 2*f**2 - 3*f - 3. Is d(6) composite?
True
Let u = -2 - -4. Let s be 2/4 + 9/u. Suppose -s*q + 3*w + 56 = -4*q, 4*w + 59 = q. Is q composite?
False
Let r(b) = 52*b + 9. Is r(4) a prime number?
False
Let c be 2/(-4)*(-10)/(-1). Let o = -8 - c. Is 2 - (0 + o/3) composite?
False
Suppose 260 = 4*j - 92. Is (-110)/j*(-104)/2 a composite number?
True
Suppose 0 = 8*i - 7*i + 10. Let x = 21 + i. Is x a composite number?
False
Let s be (-1 + (-9)/12)*-4. Suppose -s*q + 248