Suppose -2*b = 203 - i. Is b prime?
False
Suppose 0 = 7*y - 6*y + 2391. Is (0 + -1)/(3/y) prime?
True
Let d be ((-4 + 10)*1)/3. Suppose d*g - 3*z - 3395 = 0, -4*g = -g - 5*z - 5094. Is g composite?
False
Let h = -1366 - -2229. Is h a prime number?
True
Let x = 11981 + -8480. Suppose -4*n + 5*d + 0*d + x = 0, -2*n + 2*d + 1748 = 0. Is n a composite number?
True
Let k be ((-5)/10)/(2/(-788)). Suppose -4*f = -u - 3*f + 43, f = -4*u + k. Let b = u - -205. Is b a prime number?
False
Suppose 10 = -2*t, 3*l - 1509 = -4*t - 392. Is l prime?
True
Let t(h) = -12*h + 10. Let w be t(-7). Let o be w/18 + (-2)/9. Is ((-1)/2)/(o/(-740)) a composite number?
True
Let a = 7527 + -5192. Suppose -a = -0*b - 5*b. Is b a prime number?
True
Let w be -3*1 - (7 + -10). Let u be 32 + (-4 - w) + -1. Suppose 2*q - u = -q. Is q composite?
True
Let x be 7/(28/8) - 4. Let m be x/(-9 + 3)*-15. Let r(n) = n**3 + 5*n**2 - 6*n + 3. Is r(m) a composite number?
True
Suppose -4*w - w + 6295 = 0. Is w a prime number?
True
Let m(a) = -a**2 + 10*a + 4. Let x be m(10). Suppose x*o - 260 = 2*n - 1378, 6 = 3*o. Is n a prime number?
True
Suppose -3*w - 4*h + 14 = 0, 3*w - 5*h = 2*w + 11. Is 2 + (-231)/(3 - w) a prime number?
True
Let b = 49 - 44. Suppose -b*z - 4*x = -8*x - 1697, -4*z - 3*x + 1370 = 0. Is z a composite number?
True
Let k = 1656 - 1175. Is k a composite number?
True
Let f(w) be the second derivative of -43*w**3/6 - 24*w**2 - 15*w. Is f(-22) composite?
True
Suppose -2*v - 5*l = 9 + 6, -15 = 5*l. Suppose 5*t - 28 = -8. Suppose v = -k - t*k + 1535. Is k composite?
False
Suppose 5 + 1 = 2*x. Suppose -x*o = -5*o + 778. Is o prime?
True
Let a = 4007 - 1008. Is a a prime number?
True
Is (177128/(-84))/(6/27*-3) a composite number?
False
Suppose 4*z + c - 14 = 0, -3*c + 6*c = -3*z + 6. Suppose z*q - 251 = -3. Is q a prime number?
False
Suppose -6*s - 2859 = -9993. Suppose 2*p - s = 1605. Is p composite?
True
Suppose 8*v - 38 = -11*v. Is ((-10225)/(-25))/(v/(3*2)) composite?
True
Let v(w) = 5*w - 13. Let y be v(3). Suppose 2*s + d = 2*d + 4345, -3*s = 5*d - 6485. Suppose -u - k = -y*u + 538, -2*k + s = 4*u. Is u a composite number?
False
Let w(i) = -2*i. Let k be w(2). Let j(s) = -s**3 + s**2 - s. Let f(d) = -2*d**3 + 10*d**2 - 4*d - 5. Let l(n) = -f(n) + 4*j(n). Is l(k) a composite number?
False
Suppose 5*n - 614 = -3*p + 5305, 0 = -5*p - 4*n + 9865. Is p composite?
False
Let s(b) = 95155*b - 12. Is s(1) composite?
False
Let s be ((-8)/5)/(30/(-75)). Suppose f = 3*m - 986, 916 = 2*m + s*f + 254. Is m composite?
True
Let d(u) = 1759*u**3 + 2*u**2 + 2*u - 3. Is d(2) prime?
True
Let g(u) be the second derivative of 5*u**3/6 - 5*u**2/2 - 2*u. Is g(12) composite?
True
Let v(s) = -s**3 - 26*s**2 - 26*s - 25. Let y be v(-25). Suppose y = 3*f - 5*i - 1343, 5*f - 2*i = -0*i + 2251. Is f a prime number?
False
Let l(x) = -x**3 - 24*x**2 - 24*x - 18. Let j be l(-23). Suppose -3*h - 3*t + 1146 = -183, -4*t + 2215 = j*h. Is h prime?
True
Let f(y) = y**3 + 46*y**2 - 21*y + 97. Is f(-43) prime?
True
Let n(d) be the second derivative of 43*d**4/6 - d**3/3 - d**2/2 - 12*d. Is n(2) composite?
True
Let t(m) = 20*m**2 - 9*m - 16. Is t(15) a composite number?
False
Let m = -23 + -68. Let q = -832 - m. Let o = -442 - q. Is o a composite number?
True
Let j(o) = -64*o + 9. Let u(d) = -127*d + 19. Let q(k) = -5*j(k) + 2*u(k). Let m(h) = h**2 + 2*h + 1. Let a be m(2). Is q(a) a prime number?
True
Suppose -2*c + 5 - 1 = 0. Suppose -h = -2*h + c*x + 5710, 17146 = 3*h - 2*x. Suppose -3711 - h = -7*d. Is d a composite number?
True
Suppose 19 = 5*t + 54. Let r(i) = i + 9. Let w be r(t). Suppose -w*o - o = -171. Is o composite?
True
Let j be (5/(-15))/(2/(-12594)). Suppose 0 = -2*t + 3*t - j. Is t prime?
True
Let c = 12192 + -8325. Is c prime?
False
Let o(b) = -29*b**2 + 3*b + 3. Let q be o(5). Is (-7)/(49/q) - (3 + 1) a composite number?
False
Suppose -13*i = -14*i - 2. Is i + 21105/24 - (-30)/(-80) a composite number?
False
Let l = -361 + 696. Suppose z = -2*z + 2*t + l, 0 = z - 2*t - 109. Is z composite?
False
Let j(c) = 24*c - 2. Let y(t) = -71*t + 6. Let d(w) = -8*j(w) - 3*y(w). Let z be d(-3). Let x = z + 130. Is x a composite number?
True
Let b(z) = -3*z - 3 + 2*z + 11*z**2 - 3*z + 8*z. Is b(2) composite?
True
Let d be (151 + 4)/(-2 - -3). Suppose -5*g - 35 = -2*t, -4*t - 4*g + d = 15. Suppose -5*z + 135 = -t. Is z a prime number?
False
Suppose 0 = -13*z + 9*z + 3532. Suppose 0 = -2*b - 3*n + 580, z = 5*b - 2*b - 2*n. Is b a composite number?
False
Let s be 5/10 - 11/(-2). Let a be ((-2)/1)/(s/(-12)). Suppose w - 1105 = -a*w. Is w a composite number?
True
Let j = 95 + 7. Suppose -5*y = -4*y + 3*q - 319, -630 = -2*y - 2*q. Let h = y - j. Is h composite?
False
Suppose 5*g + 8*u - 29995 = 11*u, 4*u = -g + 5999. Is g prime?
False
Let u be 99/(-264) + 3/8. Suppose 5*n - 29719 + 2174 = u. Is n composite?
True
Let t(z) = 147*z**2 - 31*z + 240. Is t(22) a composite number?
True
Let r = 1676 + -1035. Is r prime?
True
Let m(v) be the third derivative of v**6/40 + v**5/60 + v**4/24 + 7*v**3/6 - 2*v**2. Let d be m(4). Let k = d - 74. Is k a prime number?
False
Suppose 0 = -s + 6031 - 1448. Is s composite?
False
Let t(a) = -79*a - 17. Let r(s) = -79*s - 18. Let h be 3*(-1)/(12/(-20)). Let f(y) = h*r(y) - 6*t(y). Is f(5) a prime number?
False
Let p be (-1)/1 - 178/(-2). Let i be (0 - -1) + (-3 - (2 - 59)). Suppose s - p = i. Is s composite?
True
Let z = -17 + 12. Let m = 7 + z. Is 4/5*65/m composite?
True
Let t = 45149 + -28020. Is t composite?
True
Let v(l) = -2*l**3 + 39*l**2 + 13*l - 54. Is v(19) a composite number?
True
Let k(v) = -29*v + 49. Is k(-6) a composite number?
False
Let s(f) = 7555*f + 86. Is s(3) a composite number?
False
Let w(r) = -6978*r + 28. Let p(q) = 4652*q - 19. Let b(u) = 7*p(u) + 5*w(u). Is b(-1) prime?
True
Suppose 0 = -7*y + 4*y - g + 42523, 0 = -3*g + 12. Is y composite?
False
Let m = 137 - 81. Suppose -u - 2 = -2*q, 0*q = -5*q - 2*u + 14. Suppose -q*a + m = -102. Is a prime?
True
Suppose -2*r = 2*c - 1272, -20*c - 1237 = -2*r - 15*c. Is r a composite number?
False
Let k = -162 - -361. Is (7 - (5 + 1)) + (k - -1) a prime number?
False
Suppose 146 + 4 = 5*b. Suppose b*t = 27*t + 8949. Is t prime?
False
Suppose 7*h = -0*h + 35791. Is h a prime number?
True
Is 49/35 + (-926190)/(-25) a composite number?
False
Let d = 54462 - 29355. Is d composite?
True
Let t(k) = 5901*k - 4. Is t(1) a prime number?
True
Let x(j) = j**3 - 7*j**2 + 6*j - 3. Let i be x(6). Let t be -33*22/(-9)*i. Is 6/(-4)*t/3 a prime number?
False
Suppose -2121 = 2*o + a, o = -2*o - 5*a - 3164. Let q = o + 1854. Is q a prime number?
False
Let d = -5 - -14. Suppose -7818 = -d*p + 3. Is p composite?
True
Let r = -2427 + 4064. Suppose 5*t = 6132 - r. Is t a composite number?
True
Let p(h) = 30*h**2 + 25*h - 83. Is p(-14) composite?
True
Is (134 + -7)*(-29)/(-1) a prime number?
False
Let b(o) = o**2 - 10*o - 12. Let k be b(12). Is (20/k)/(-5)*-1623 composite?
False
Let b = 10869 + -5170. Is b prime?
False
Suppose -91 = 3*l - 2*p - 3*p, -2*l + 2*p - 58 = 0. Is (234/l)/(2/(-93)) a prime number?
False
Let l be 0/15*2/(-4). Suppose m + y - 20 = 6*y, 2*m - y - 13 = l. Suppose 3*a = -h - h + 109, 0 = -m*a - 4*h + 181. Is a composite?
False
Suppose 54*s - 16278823 = -55*s. Is s composite?
True
Is (-1)/(-1) - (0 - 11952) prime?
True
Suppose 0*y = 4*y - 20. Suppose -760 = -y*o - h - 4*h, -2*h + 461 = 3*o. Is o prime?
True
Let c(x) = x**3 + 7*x**2 + 5*x + 6. Let b be c(-5). Let t = 46 - b. Let w = 24 - t. Is w composite?
True
Suppose 0 = 2*y + 2*y + 8. Let r be (-6)/y - (6 - 7). Suppose t + 2*c = 207, -4*t + 819 = -5*c + r*c. Is t a composite number?
True
Let j = 729 - 596. Is j composite?
True
Suppose -2*s - 33 = -5*v + 37, -2*v = -5*s - 49. Suppose 8*q = 4*q - v. Is (-94 + q)/(3/(-3)) prime?
True
Let o(r) = -9 + 0*r**2 - 2*r**2 + 0*r + 10*r - 6*r**2 + r**3. Let x(z) = -z**3 + 8*z**2 + 4*z - 24. Let h be x(8). Is o(h) prime?
True
Let z(a) = -40*a**3 + 15*a**2 + 17*a - 22. Let b(y) = -27*y**3 + 10*y**2 + 11*y - 15. Let s(f) = 7*b(f) - 5*z(f). Is s(6) composite?
False
Let c(t) = -4*t**3 + 8*t**2 + 21*t - 4. Let u(f) = 3*f**3 - 9*f**2 - 20*f + 5. Let a(z) = 4*c(z) + 5*u(z). Is a(-12) a composite number?
True
Suppose 2*z - z - l - 10 = 0, -