 composite number?
False
Suppose -26*o - 12*o = -62282. Is o a composite number?
True
Let j = -21 - -24. Suppose 1333 = 5*b - 3*v, 3*b - 819 = -j*v - 0*v. Is b composite?
False
Let q(s) = 269*s + 28. Is q(15) a composite number?
True
Let i(y) = -5*y**3 + y**2 - 8*y - 10. Suppose -5*f - 34 = 6. Let c be i(f). Is c/14 + (-4)/14 a composite number?
False
Let q(g) = -g - 1. Let u(p) = 24*p**2 - 13*p. Let r(o) = -8*o**2 + 4*o. Let m(a) = -8*r(a) - 3*u(a). Let l(b) = -m(b) - 2*q(b). Is l(-3) a composite number?
False
Suppose 2*r = -2 + 6. Suppose 0 = -2*d + r + 2. Suppose 316 = 2*h + d*h. Is h prime?
True
Is 4/(-22) - -1*(-6450)/(-22) prime?
True
Let s = -25 - -38. Suppose -5*n + s*n = 14408. Is n a composite number?
False
Let t be 57/11 - (184/44 + -4). Suppose -3*v + 361 = 2*l + 47, t*v = 0. Is l composite?
False
Let z = 8899 + 30000. Is z a composite number?
True
Suppose 143001 = 282*m - 273*m. Is m a prime number?
True
Let s = 93 + 164. Is s composite?
False
Let q = -17 - -66. Suppose -641 = -4*z - 5*b, 4*z - 5*b - 828 + 157 = 0. Let c = z + q. Is c composite?
True
Let p = -1188 + 2866. Is p composite?
True
Let p(h) = h - 6. Let m(v) = -v + 5. Let l(d) = -7*m(d) - 6*p(d). Let r be l(2). Suppose -r*w + 476 = -619. Is w a composite number?
True
Let x(g) = -g - 9. Let a be x(-10). Let l = 3 - a. Is 2 + (2 - l - -37) a composite number?
True
Suppose n - 3150 = -4*l, 6*l - 4*l - 1584 = -5*n. Is l composite?
False
Suppose p + 23726 = 3*f, 2*p + 7907 = 12*f - 11*f. Is f a composite number?
True
Let h = -25 + 29. Let l(v) = v**3 - v**2 - 4*v - 5. Let a be l(h). Suppose 289 - a = 4*x - n, -5*n = 10. Is x prime?
False
Let f = 379 - 24. Let n = 556 - f. Suppose -180 - n = -3*g. Is g prime?
True
Let l(w) = -68*w - 3. Let x be 2/((-26)/(-10) - 3). Is l(x) prime?
True
Let w(f) = -f + 2. Suppose 5 - 18 = 4*h + m, 2*h + 4*m - 4 = 0. Let b be w(h). Suppose l - b = -0*l. Is l prime?
False
Let d be (-59962)/(-18) - 8/36. Let y = 5691 - d. Is -1 + 2 + y/5 prime?
False
Let a(z) = z**2 + z. Let q be 1/4*(4 - 8). Let v(g) = 5*g**3 - g**2 - 3*g. Let c(o) = q*v(o) - 4*a(o). Is c(-3) a prime number?
False
Let g(d) = d**3 - d**2. Let l(w) = 3*w**3 - w**2 + 3*w. Let a(y) = 4*g(y) - l(y). Is a(4) prime?
False
Let g = 9 + -5. Suppose 0 = -g*w + 1439 + 2181. Is w composite?
True
Let w(s) = -13*s**2 - s - 2. Let k be w(-2). Let l be (-1778)/(-21) - (-1)/3. Let a = k + l. Is a prime?
False
Let r(l) = -1422*l**3 - 3*l + 2. Let b be r(1). Let v = 2706 + b. Is v prime?
True
Let m = 60 + -57. Suppose -1369 = -2*z + 5*q, q - 1564 = -m*z + 532. Is z composite?
True
Let w = 6503 + -1630. Suppose -5*v + 442 = 2*g - w, 2117 = 2*v - g. Is v composite?
False
Let s = -505 - -6668. Is s composite?
False
Let y(g) = -g + 4. Let v be y(1). Let d = -10 + 10. Suppose d = v*o - 8*o + 1865. Is o a composite number?
False
Let c(b) be the second derivative of -53*b**3/6 + 4*b**2 + 7*b. Is c(-7) a composite number?
False
Is ((-4171)/(-2) + (-23)/230)*5 a prime number?
True
Let s = 5198 - 3541. Is s a prime number?
True
Suppose 3*q = 3, -3*t + 1355 = -q + 3*q. Is t prime?
False
Suppose 3 = h - 23. Suppose 2*v + 5*l + h = 0, -4*v + 4*l = l. Let t(x) = -3*x**3 + x**2 - 3*x - 2. Is t(v) a composite number?
False
Let o(k) = -102*k + 12. Let y be o(-2). Let q = -29 + y. Is q a prime number?
False
Let p be 5*(-2 + 3)*1. Let y = -6 + p. Is 1 - (10*y + -4) a composite number?
True
Suppose -11 = -3*v + 34. Suppose -8*s + 1543 = v. Is s a prime number?
True
Suppose 0 = 5*j + 4*c, -2*j + 2*c = c. Suppose -4*t + a + j*a = 11, -5*a - 25 = 0. Is t + 4 - (0 + -1043) prime?
False
Suppose s - 3*s = 2, -4*b - 3*s + 86729 = 0. Is b a composite number?
False
Suppose -x + 4*r - 1475 = -9962, -4*x - 3*r = -33929. Is x composite?
True
Let r = -7 - -6. Is ((-3)/3)/(r/185) a composite number?
True
Suppose 2*r = -0*r + 16114. Is r a prime number?
False
Let i(r) = 1671*r - 53. Is i(10) a composite number?
False
Let z be -2 + 7 + -1 + -1. Let h(l) be the first derivative of 5*l**4/2 - 2*l**3/3 - l**2 + 5*l - 74. Is h(z) a prime number?
True
Let a(x) be the third derivative of -x**6/60 + x**4/24 + x**3/6 + 8*x**2. Let j be a(-1). Is 1*(j - 193)*-1 a composite number?
False
Let i(q) = 2*q - 6*q**2 - q + 2 + 8*q**2 + 6*q**3. Is i(3) a composite number?
True
Let w(j) = 18*j**2 + 23*j + 3. Is w(8) composite?
True
Let q(u) = -u**2 + 17*u - 42. Let c be q(14). Suppose 2*a = -4*l + 112 + 2202, -4*a + 2*l + 4598 = c. Is a a prime number?
True
Let r = 27 - 22. Suppose 0 = -2*q + r*q. Suppose -2*f + 93 + 17 = q. Is f a composite number?
True
Suppose -9 = 3*t - 2*n + 10, 3*t + 47 = -5*n. Is 6/t*(-8)/((-16)/(-6537)) a prime number?
True
Let g = 12598 - -12301. Is g a prime number?
False
Let y(u) = -u**3 - 7*u**2 - 33*u + 14. Is y(-15) a composite number?
False
Let i(y) = 4*y**3 - 2*y**3 - y**3 - 6 + 2*y**2 + 4*y**2 - 12*y. Is i(-5) prime?
True
Let b be ((-9)/(-3))/((-2)/58). Let i = 138 + b. Is -4 + i + (-1 - 0) prime?
False
Let d(q) = 8*q**3 + 18*q**2 - 16*q + 2. Let s(h) = 4*h**3 + 9*h**2 - 8*h + 1. Let u(o) = 4*d(o) - 7*s(o). Is u(6) prime?
False
Suppose -4*b - 45 = 3*v, 39 = -2*b - 5*v + 6. Let n be ((-1966)/8)/(b/36). Suppose 5*g + c - 1056 - 604 = 0, -3*g = -2*c - n. Is g prime?
True
Let p = 12 - 1. Let w = 19 + p. Suppose k - 6 - w = -u, 0 = u + 3. Is k a composite number?
True
Suppose -2*v + 26 = 3*b, -v - b + 30 = v. Suppose 6 = -2*x + v. Suppose -1305 = -x*a + 4*n, 4*n - 202 = 2*a - 736. Is a a prime number?
True
Let f = 7 - 5. Let m(i) = 1 - 5*i**2 - 9*i**2 + 16*i**f - 4*i. Is m(8) a composite number?
False
Let m(d) = d**2 + 5*d + 7. Let y be m(-4). Let q be y/((-3)/26 + 0). Let l = 293 - q. Is l a composite number?
True
Let c(v) = 178*v + 17. Let s(p) = 59*p + 6. Let k(u) = -6*c(u) + 17*s(u). Let q be k(-6). Is q/(-5)*(-1)/2 prime?
False
Let q = -12418 - -21540. Suppose -q = -7*b + 17387. Is b a composite number?
True
Suppose 4 = -b + 6. Let k = b + 1. Suppose y - 430 = -k*m, 5*m + 2*y = 171 + 544. Is m composite?
True
Suppose -4*m = m - 205. Let y(c) = -3*c - 1. Let l be y(7). Let k = m + l. Is k a prime number?
True
Let k(m) = 199*m**2 - 8*m - 19. Is k(10) a prime number?
True
Let f = -722 + 1174. Let n = 215 + f. Is n composite?
True
Suppose -5*j + 2*l + 263289 = 0, -2*j - 7*l + 2*l = -105304. Suppose -j = -10*g + 23893. Is g a prime number?
False
Suppose a - 5700 = -923. Is a a prime number?
False
Let b be (0 + -6)/(8/(-844)). Suppose t + 2*t - b = 0. Is t a composite number?
False
Suppose -j + 0*v + 855 = -v, 5*v - 1738 = -2*j. Let p = -236 + j. Is p a prime number?
False
Let f = -1466 + -579. Let b = f - -1299. Is 13/(-26)*(0 + b) composite?
False
Let q(l) = 2*l + 6. Let u be q(-6). Let j be ((-6)/(-9))/(u/(-27)). Is 1870/4 - j/6 a composite number?
False
Let v be 14*-2 + (-24)/6. Let s = 175 + v. Is s a composite number?
True
Suppose -2*a = 2*p - 90, 1 = 3*a - 2. Suppose -3*q + 1135 + p = 0. Is q composite?
True
Let d(u) = u + 10. Let c be d(-5). Suppose 4*n = -20, -4*p - c*n - 355 + 62 = 0. Let s = 150 + p. Is s a composite number?
False
Suppose 3*i - 351 - 470 = l, -3274 = 4*l - 2*i. Is l*(1 + -4 + (-10)/(-4)) composite?
False
Let w = 36524 - 13437. Is w a composite number?
False
Let m(g) = 2*g**3 - g**2 - 9*g - 13. Let r = -14 - -23. Is m(r) a composite number?
False
Let g(y) = 1570*y - 377. Is g(12) composite?
True
Let q(w) = 6*w**2 - 5 - 7*w - w**2 + w. Is q(6) prime?
True
Suppose 8 = 2*l - 4*l, 0 = g - 2*l - 26977. Is g composite?
True
Suppose -2*i + 8 + 46 = 0. Suppose -i = -5*x + s + 20, -2*s - 4 = -x. Is x prime?
False
Suppose -16 = -4*c, -4*b + 2*c = -2*c - 59356. Is b composite?
False
Let x(u) = -92*u + 59. Is x(-30) composite?
False
Let s = 0 - 4. Let u(i) = -8 + 66*i - 1 - 66*i - 134*i. Is u(s) prime?
False
Let v(t) = t**2 + t + 1. Let u(x) = -x**3 + 11*x**2 - 8*x + 1. Let r(p) = -u(p) + 2*v(p). Is r(11) a prime number?
True
Let k be (16/12)/(-4) + 64/12. Suppose -2*y - k*y = -1883. Is y composite?
False
Let h(g) = -g**3 - g**2 - 2*g - 5. Let q(t) = -t**2 + 7*t - 6. Let z be q(5). Let i be h(z). Is i/(-18)*-10*-3 composite?
True
Suppose -3*o = o - 16. Suppose -o = -2*l - 4*f, l - 2*f + 2 = -4*l. Suppose l = 2*g - 58 - 580. Is g a composite number?
True
Let z = -182 + 6197. Is z/27 - 8/(-36) a composite nu