 composite?
True
Let s be (1*-1)/((-5)/2175). Suppose s = 2*j + j. Is j prime?
False
Let i(m) be the second derivative of 11*m**4/3 - m**3/6 + 31*m. Suppose -s + 5*x + 8 = -3*s, -3*s - x + 1 = 0. Is i(s) composite?
False
Let a = -161 - 19. Let q = -77 - a. Is q a prime number?
True
Suppose -250 = 6*p - p. Let j = p + 102. Suppose 0*w - j = -2*w. Is w composite?
True
Let x(u) = 2*u + u - u. Is x(3) a composite number?
True
Let b be 38/((-6)/(-45)*3). Suppose -4*o + 2*x = -b + 5, -2*o = 4*x - 30. Is o a prime number?
False
Suppose -3*i = 4*m + m - 7705, 0 = -4*i. Is m composite?
True
Let m(n) = n**3 - 6*n**2 - 5*n + 2. Let y be m(7). Suppose b - 4*v + y = 0, -v = 2*b + 2*v - 23. Suppose b*j + 11 - 87 = 0. Is j a prime number?
True
Let p be ((-150)/(-2))/3 + -2. Suppose -1 = -4*g + p. Let a(m) = 2*m - 5. Is a(g) a prime number?
True
Let o = 0 + 2. Suppose -5*q + 0*q - 20 = -4*f, -4*f + 20 = o*q. Suppose q*w = 2*w - 326. Is w prime?
True
Let m be (-4460)/(-16) + 1/4. Suppose 5*o - 791 = m. Let g = -137 + o. Is g prime?
False
Suppose 0 = 5*d + v - 4253, d - 2*v - 4259 = -4*d. Is d composite?
True
Is 127*(-1 - 10/(-5)) a prime number?
True
Let n(f) = -13*f**3 - 2*f**2 - 2*f - 3. Let z = 14 - 16. Is n(z) a composite number?
False
Let n be 154/35 + 3/5. Suppose n*r + 487 = 6*r. Is r a prime number?
True
Suppose -3*s + 273 = -66. Is s a prime number?
True
Suppose 5*c = -0*c + 1055. Let i = 63 - 205. Let l = c + i. Is l prime?
False
Let v(d) = 21*d**2 - 2*d - 1. Let q be -1 - -1 - (10 + -9). Let s be v(q). Suppose 0 = -2*g + 3*g - s. Is g prime?
False
Suppose 1617 = -4*j + 4*n + 4293, -3*n = 3*j - 1995. Is j a prime number?
False
Is (-3 - 0) + (-8)/2*-665 a composite number?
False
Suppose 4*t + 8 = 8*t. Suppose 431 = t*h + h - 2*v, 570 = 4*h - 5*v. Is h a prime number?
False
Is (-27012)/(-20) + 6/15 composite?
True
Suppose 64 = -2*q - 2*b, 0*q - 2*q = -5*b + 71. Let j = q + 20. Let h = j - -48. Is h composite?
True
Is -6 + 8 - 178/(-2) a composite number?
True
Suppose -5*r + 4*y + 110 = 27, -4*r + 68 = -4*y. Let d be ((-71)/(-3))/(5/r). Suppose -5*i = -496 + d. Is i composite?
True
Let c(l) = -l**3 + 14*l**2 - 12*l + 6. Let a = 31 - 18. Is c(a) composite?
False
Suppose 5*d = 5*g + 2500, 1479 = -0*d + 3*d + 4*g. Is d a prime number?
False
Let l = 6 - -5. Suppose -5*m + l = -n - 13, 2*n - 2 = 0. Suppose -4*i + 376 = 5*c, 2*i - 170 = m*c - 3*c. Is i a composite number?
False
Suppose -3*t = t - 588. Suppose 4*d = d - t. Let x = -6 - d. Is x composite?
False
Suppose 5*j = 352 + 543. Suppose 5*c = -j - 51. Let o = c + 205. Is o prime?
False
Let c(k) = -k**3 + 7*k**2 + 6*k + 4. Let l be c(8). Let s be 2/l + 46/(-12). Is ((-161)/(-2))/((-2)/s) composite?
True
Let o(y) = 89*y + 8. Let x be o(3). Let l be (0 + -1 - -1)*1. Suppose l = n - 6*n + x. Is n a composite number?
True
Let l(j) = 3*j - 7. Let t be l(6). Let d(a) = t*a - a - 5 - 3*a. Is d(6) composite?
False
Let h(q) = -q**3 + q**2 + q. Let o be h(2). Let x(p) = 39*p**2 - 2*p - 1. Is x(o) a composite number?
True
Suppose -70 = -g - g. Let h be (-12)/5 + 14/g. Let k(q) = 12*q**2 - 3*q - 1. Is k(h) composite?
False
Suppose 4*v = -g + 6, 2*g - 6*g = -2*v - 6. Suppose -2*a - 8 = g*a. Let i(l) = -6*l + 2. Is i(a) a prime number?
False
Let g = -5 + 4. Let t be g*51*2/(-3). Let l = -12 + t. Is l composite?
True
Suppose -29*f + 554 = -27*f. Let u(o) = 4*o**2 + 1. Let l be u(1). Suppose l*z + 3*b + 29 - f = 0, 0 = -3*z - 2*b + 149. Is z prime?
False
Let l(h) = h**2 + 3*h + 6. Let k be l(-4). Suppose -3*s + 4*f + 15 = -8*s, 5*f - 25 = 0. Let p = s + k. Is p a prime number?
True
Is (-2 - -1)*(-21)/1 prime?
False
Suppose -2571 = -4*k - 943. Is k prime?
False
Let t(q) = -18*q - 4*q**3 + 19*q - 5 + 4 - 2*q**2. Let p be (1 - -4)*(-4)/10. Is t(p) a composite number?
True
Suppose 3*b + 9 = 24. Suppose p + 330 = 2*f + b*p, -3*f = 3*p - 492. Is f a prime number?
True
Suppose -u + 478 = 3*j, 3*j + u - 488 = 2*u. Is j composite?
True
Let u be 15/9 - 4/6. Let w be (u - 0 - 1) + 1. Is 0 - (w + -2) - -32 a composite number?
True
Let p = 1 - -1. Suppose 2*j = 4*b + 14, 3*b + 0 + 3 = 0. Suppose -p*d + 321 = 2*d - g, 341 = 4*d - j*g. Is d composite?
False
Let x = 135 - -10. Is x composite?
True
Let x(j) = -2*j - 5. Let y be x(-4). Let h(p) = -p + 1. Let b be h(y). Is 0/b - (-37 + 0) prime?
True
Let i(n) = n**2 - 1. Let z(x) = -4*x**2 + x + 2. Let a(s) = 5*i(s) + z(s). Is a(-3) a composite number?
False
Suppose -5*h + 364 = -h. Is h a prime number?
False
Let u(w) = 4*w + 1. Suppose -f + 2 = -2*s + 7, -5 = -5*s + 4*f. Let x be u(s). Is x/14*212/6 a composite number?
False
Suppose 0 = -3*i + 6*i - 2*z - 16, 0 = 2*i - 4*z. Let d(q) = -5*q**2 - 3 + 9 - 2*q**2 + q**3 - 5*q + 1. Is d(i) a composite number?
False
Suppose -i - 5*t = -2*i + 9, -3 = 3*t. Suppose i*l - 3*b = 1204, 4*l - 2*b = 1094 + 110. Is l prime?
False
Suppose 0 = 5*k + 4*y - 270 + 75, -4*k = 3*y - 156. Is k composite?
True
Let i = 1 + -1. Let y be (i/2)/(2/2). Suppose y = q - 85. Is q a composite number?
True
Let m(a) = -a**3 + 4*a**2 + 4. Let k be m(4). Suppose -5*x + 30 = z, -2*z + k*x = 2*x - 72. Is z prime?
False
Let r = 689 - 396. Is r a composite number?
False
Let m(h) = 171*h + 29. Is m(6) a composite number?
True
Is (-1)/4 - (-2219)/28 a prime number?
True
Suppose 1133 = 3*u - t, 4*u = 7*u + 3*t - 1149. Is u a prime number?
True
Let d = 31 + 18. Is d a composite number?
True
Let t(z) be the first derivative of -2*z + 7*z**2 + 3*z - 3 + 3*z**2. Is t(1) a composite number?
True
Suppose 2*s + 26 = 252. Let g = s - 48. Is g a composite number?
True
Let x(c) = 2*c**2 - 6*c + 5. Let z(v) = v**2 + 6*v + 4. Let n be z(-3). Is x(n) prime?
False
Let g(j) be the first derivative of 3*j**3 + 2*j**2 + 3*j + 1. Is g(-2) composite?
False
Let p = 3059 + -1722. Is p prime?
False
Suppose 0 = 3*p + 2*p - 20. Suppose 3*a - 5*m - 595 = 1051, 0 = 5*a - p*m - 2765. Is a a prime number?
True
Let r(l) be the first derivative of -6*l**2 + 3*l - 2. Is r(-4) composite?
True
Let a be 3 - (926 + -2)/2. Let u = a - -708. Is u prime?
False
Let a be 1076/(-10) - (-32)/(-80). Is 782/12 + 18/a a composite number?
True
Suppose -5*o - 398 + 2053 = 0. Is o a prime number?
True
Suppose -6*i + i = -2300. Let w = -21 + 23. Suppose 4*d + y = 480, -6*d + w*d + 4*y = -i. Is d prime?
False
Is -3 - (0 + -4) - -1*1630 composite?
True
Suppose 0 = -t + 365 + 732. Let j = t + -700. Is j prime?
True
Let y = -146 - -75. Let f = y - -120. Is f composite?
True
Let r = 11 - 7. Suppose 3*f + r*a + 0*a = 347, f = 4*a + 105. Is f a composite number?
False
Let d = 10 - -10. Suppose 4*g - d = -4. Suppose 0 = 6*b - g*b - 26. Is b a composite number?
False
Let h(q) = -4*q**3 - 2*q**2 - 2*q + 1. Let p be h(-2). Let g = -55 + 35. Let k = p + g. Is k composite?
True
Let b(r) = -r**2 - 10*r - 2. Is b(-8) a prime number?
False
Let x be 2/(12/(-2))*-9. Let o = -107 + 663. Suppose f = -x*f + o. Is f composite?
False
Suppose -3*t + 890 + 88 = 0. Suppose q = 3*q - t. Is q a composite number?
False
Let s(r) be the first derivative of -r**3/3 + 4*r**2 - 8*r + 1. Let k be s(6). Is 74 + 2 + k + -1 a prime number?
True
Suppose -4224 = -4*n + p, 0*n = n - 4*p - 1071. Suppose -c - 4*c = -n. Is c prime?
True
Suppose -4*c + 9 = -7. Is ((-10)/c)/(-5)*62 prime?
True
Let v(h) = 3*h**2 - 6*h + 22. Is v(9) a composite number?
False
Let z = 129 - -494. Suppose 5*v - z = -2*v. Is v prime?
True
Let l(t) = 23*t - 13. Let h be l(6). Suppose 0 = 3*p + 2*o - 375, 4*p - 645 = 4*o - h. Is p prime?
True
Suppose 5*z + m = 1471, -3*z - 4*m + 425 = -444. Is z prime?
False
Let w(s) = s**2 + 6*s - 4. Let d(x) = -x**2 - 6*x + 9. Let y be d(-8). Let g be w(y). Is ((-10)/3)/((-1)/g) composite?
True
Is 418070/150 + 2/(-15) a prime number?
False
Suppose 24 = 2*j - 6. Let f = j + -3. Is (-1521)/(-12) + 3/f composite?
False
Let i = 9 + 3. Suppose 0 = -2*s + 210 + i. Is 2/((-12)/s)*-2 a prime number?
True
Is (-60)/8*(-146)/3 a prime number?
False
Let h(j) = 4*j**2 + 7*j - 11. Let o = 14 - 20. Is h(o) a prime number?
False
Let b = -242 + 493. Is b prime?
True
Let g be 3/((-1)/((-174)/9)). Suppose 3*u - 12 = z + 37, -4*u = -5*z - g. Let w = 40 - u. Is w a prime number?
True
Let r(k) = -98*k + 7. Is r(-5) composite?
True
Let b(k) = 407*k**2. Is b(-1) a composite number?
