composite number?
False
Suppose 5*k + 175 = 2*r - 179, r + 5*k - 192 = 0. Let v = -63 + r. Is v prime?
False
Let l(h) be the third derivative of -5*h**2 + 7/60*h**5 + 1/3*h**3 + 0 + 1/120*h**6 + 0*h + 1/8*h**4. Is l(-5) composite?
False
Let k(z) = 23*z - 7. Let b(s) = -45*s + 13. Let h(m) = -6*b(m) - 11*k(m). Let c be (-25)/(-5) + (-3)/3. Is h(c) a composite number?
False
Suppose -4*c + 7*c = 35313. Is c prime?
False
Suppose 28*w - 23*w - 895 = 0. Is w a prime number?
True
Suppose 4 = a - 2*f + 2, 4*a - f - 8 = 0. Is 277*(-1 + a + 2) composite?
True
Suppose p + z = 4*p - 21, -5*p - z + 27 = 0. Suppose p*q - 3*i = 2*q + 2980, 0 = -5*i. Is q a composite number?
True
Suppose 41*w - 43*w = -2350. Suppose 0 = o + 10*x - 5*x - 592, 0 = 2*o + x - w. Is o prime?
True
Let h be -1 + 14/4 + 53/(-106). Is -3 - (-73780)/21 - h/(-3) prime?
True
Suppose 3*w + c - 4088 = -0*w, 0 = -3*w - 3*c + 4086. Is w prime?
False
Let t = -17 + 21. Let u(v) = v**3 - 4*v**2 + v - 4. Let h be u(t). Suppose -2*s + 5*s - 573 = h. Is s composite?
False
Let q(n) = 122*n - 57*n - 59*n - 8 + 4*n**2 + 3*n**2. Is q(-9) composite?
True
Suppose -17*z - 141287 = -34*z. Is z composite?
False
Suppose 51*q = 47*q + 1184. Suppose -3*c - 2*j + 337 = 0, 0 = -4*c + 3*j + q + 142. Is c composite?
True
Suppose u = 5*h - 23601, 5*h - 16*u = -14*u + 23597. Is h prime?
True
Suppose 10 = -0*d + 3*d + r, -2*r + 2 = -3*d. Suppose -5*t + d*h + 55 = -3839, -1550 = -2*t - 3*h. Is t composite?
True
Suppose o - 3955 = -4*o. Suppose 4*j - 1333 = -j - 2*k, 0 = 3*j - k - o. Is j a prime number?
False
Suppose 0 = -331*s + 327*s + 19316. Is s composite?
True
Let t(z) be the second derivative of -z**4/12 - 5*z**3/6 - z**2/2 + 3*z. Let k(b) be the first derivative of t(b). Is k(-9) a prime number?
True
Suppose 5 - 29 = -3*k. Suppose -4*q = 2*u - 1914, 5*q = 17 + k. Is u composite?
False
Let h be 55773/(-27) - 1/3 - 1. Let a = h + 3820. Is a a prime number?
True
Let r = 10 - 1. Suppose r*g = 7*g + 8. Is (-1)/(-1)*236/g composite?
False
Suppose -652 = 2*k - 3*k + 2*g, -g + 2635 = 4*k. Suppose -a + 129 = -k. Is a composite?
False
Suppose 0 = -2*f + 3*f + 2*b - 5, -4*f - 13 = -3*b. Let h(p) = -p + 1. Let i be h(f). Suppose -4*g + 407 = -u, -i*g + 4*u = u - 191. Is g a prime number?
True
Suppose -2389 = 9*r - 19894. Is r a prime number?
False
Suppose -5*i = a - 101, 0 = a + 2*i + i - 103. Suppose 2*c - 3*x - a = 61, -4*x - 170 = -2*c. Is c prime?
True
Let h be 18 - ((-5 - -3) + 3). Suppose -5 = -l, 2*l - h = -a - 4. Suppose 4*z + 4*j - 2450 = 126, 0 = -2*z - a*j + 1291. Is z prime?
True
Suppose 0 = 8*h - 9301 - 6531. Is h prime?
True
Let o(h) = 9*h**2 - 44*h + 234. Is o(29) composite?
True
Let q = -2 + 3. Let w(y) = -4*y**2 + y - 2. Let t be w(q). Is 4/(-20) - 51/t a prime number?
False
Suppose 18402 = 6*c - 134820. Is c a composite number?
False
Let t(o) = -o**3 - 6*o**2 - 2*o + 13. Let j be t(-5). Let u(s) = 171*s**2 + 3*s - 1. Is u(j) composite?
False
Suppose f - 3147 = -4*y, -3*y + 12616 = 4*f - y. Is f a prime number?
False
Let f(u) = 36*u - 6. Suppose -2*y + y = -4, 0 = -3*z - y + 19. Let m be f(z). Suppose -64 = -5*x + 5*c + 226, -2*c + m = 3*x. Is x prime?
False
Let o be 324/3*1/2. Suppose m - 3*a = 37, -5*m - a = -2*a - 157. Let p = o - m. Is p a composite number?
False
Let k = -28593 + 54026. Is k prime?
False
Suppose 19*k - 18*k - 2333 = 0. Is k prime?
True
Suppose -5*i - 3*c + 5*c = -27965, -c = -4*i + 22369. Is i a prime number?
True
Let v(h) = h**2 + 19*h + 1. Let d be v(-20). Suppose d*y - 18110 = 11*y. Is y a composite number?
False
Let j(y) = 5*y**2 - 4*y - 1. Let w(o) = -4*o**2 + 4*o + 1. Let u(x) = -3*j(x) - 4*w(x). Let p be u(5). Suppose -p*r + 9*r = 75. Is r composite?
True
Let g = 5289 - 250. Is g prime?
True
Let h be (-22362)/(-66) + (-2)/(-11). Suppose -131 = -i - 4*w, -3*i - 5*w = -h - 47. Is i a prime number?
True
Is (-5)/50 - (-3761901)/110 prime?
False
Suppose 5*l = -5*x + 16530, -5*l - 6118 = -2*x + 515. Is x a composite number?
True
Let v = 1978 + -965. Suppose 0 = -5*w - 4*s + 1264, 2*w + 5*s - 319 = 190. Suppose -5*t + v = -w. Is t a composite number?
True
Suppose -18 - 7 = 5*q. Let y be (9/3)/(5/q). Let v(l) = 14*l**2 + 2*l - 7. Is v(y) composite?
False
Is (13/(429/5786))/((-4)/(-222)) prime?
False
Let o be 28/8*(1 - -1). Let a be 15/35 + 1887/o. Suppose 3*s - 5*l - a = 0, -l - 129 - 214 = -4*s. Is s composite?
True
Let l be (-10325)/(-75) - (-2)/(-3). Let q = l - 102. Is q prime?
False
Let z be (2 + (-1 - 3))*(-2 + -1). Let u(v) = 6*v**2 + 2*v - 13. Is u(z) a prime number?
False
Let w(s) = 7*s**3 - 3*s**2 - 11*s + 10. Let r be w(4). Let q = -163 + r. Is q prime?
False
Let a be (-63)/6*(-55 - -11). Let q(y) = -158*y + 2. Let o be q(-7). Suppose 4*i + a = 2*s, o - 196 = 4*s - 5*i. Is s prime?
True
Let c = -1145 + 289. Let r be c/5*25/(-10). Suppose 4*i = r + 312. Is i composite?
True
Let p be 3 - (-13 + 4 - 4). Let t = p - 12. Suppose 25 = 5*k, 3*x + t*k = -2*x + 1665. Is x a prime number?
False
Let z = -3120 - -6947. Is z a prime number?
False
Let t(a) = 24*a**3 + a**2 - a - 1. Let j be t(-1). Let f = 25 + j. Suppose 18 - 60 = -f*n. Is n a prime number?
False
Suppose 3*f + 3*d = 21, 0 = -2*f + 4*f - 3*d - 4. Suppose -3*p - 7 = -f*a, -a - p = -3*a + 2. Is (-1)/(-1)*-67*a prime?
True
Suppose 6459 = -13*w + 16*w. Is w a prime number?
True
Let d be (-3)/(-4 - 26/(-8)). Suppose w + 1 + 13 = -d*b, -2*b - 3*w - 2 = 0. Let r(q) = 34*q**2 + 6*q + 1. Is r(b) prime?
True
Let f(j) = 12*j - 1. Let h be 32*(-4)/(-8) + 3. Let l = h - 18. Is f(l) prime?
True
Let y(z) be the second derivative of 31*z**3/6 - 9*z. Let s be (-7)/(-4) + 1/4. Is y(s) a composite number?
True
Suppose -5*c + 3*d = -170998, -3*d - 102600 = -17*c + 14*c. Is c prime?
False
Let i(o) = -3*o + 43. Let k be i(11). Is (-1 - -612) + k/5 composite?
False
Let p(z) = -12*z + 54*z - 16 + 17 + 85*z. Let s be p(2). Is s + (15 + 1)/(-4) composite?
False
Let w(t) = 4*t - 3. Let r be w(2). Suppose -4*s + 228 + 252 = r*m, 0 = -3*s + 4*m + 360. Suppose 2*q - 418 = -s. Is q prime?
True
Suppose -4*m - 744 = 184. Let l = -57 - 306. Let z = m - l. Is z prime?
True
Let w = 10 + -87. Let d be 2/(-11) + (-14)/w. Suppose 2*k - 734 = 4*v, d = -9*k + 4*k - v + 1868. Is k a prime number?
True
Let l be (-25)/(-7) - ((-15)/(-7))/(-5). Suppose 439 + 753 = l*i. Is i prime?
False
Suppose 0 = 4*g - 7*g + 21399. Is g a composite number?
True
Let j = 24 + -21. Suppose u - 26 = -5*k, 0*u - 3*k = 4*u - 36. Suppose -50 = -4*s - 3*z, -j*s - 2*z + u = -32. Is s a composite number?
True
Let h(c) = -c**2 - 9*c - 5. Let t be h(-8). Suppose 0 = -t*r + 4*s + 1321, 0 + 2 = -2*s. Is r prime?
True
Suppose 3*r - 30 = -5*f, -2*f + 26 = r + 3*r. Suppose 0 = -4*d + 4*j + 576, -163 + 577 = 3*d + f*j. Is d prime?
False
Suppose -494 - 288 = -2*m. Is m prime?
False
Suppose 4519 + 4197 = 4*n. Is n a prime number?
True
Suppose 0 = 4*p - t - 190840, -47723 = -116*p + 115*p - 3*t. Is p a composite number?
False
Suppose 16*r + 3*i = 19*r - 104757, -5*i = r - 34931. Is r a composite number?
True
Suppose 0 = 5*w - 4*w - 25. Suppose -3*g = 2*c - w, 0 = 5*g - 7*g + c + 5. Suppose -2*h + g*z - 3*z + 380 = 0, -4*z = -4. Is h prime?
True
Let c = -3779 - -6112. Is c a prime number?
True
Suppose -1296122 - 309350 = -32*n. Is n prime?
False
Let a be 78/(-15) + (-1)/(-5). Let o be (1304/a)/((-1)/(-5)). Is o/(-16)*2*1 composite?
False
Suppose 0 = 39*f - 3092055 - 390372. Is f a prime number?
True
Let d be (-2 - 8/(-4)) + (-24)/(-6). Suppose -48 = -2*h + 6*h. Is 267/d + h/(-48) prime?
True
Let j(z) = 67 + 1 + 116*z - 7. Is j(15) composite?
False
Let b(s) = 2*s - 1. Let h be b(-1). Let m be -3*(-3 - -6)/h. Suppose -m*j = j + 4, 5*o + 4*j = 161. Is o prime?
False
Let t(o) = 190*o**2 - 3*o - 2. Let g(u) = u**2 + 9*u - 1. Let y be g(-9). Let n be t(y). Let l = 330 - n. Is l composite?
False
Suppose k - 7 = -2. Suppose -8*a + k*a + 4385 = 2*v, 3*v = -15. Is a composite?
True
Let l be 2/6 - 110/(-30). Let p be 1*-5961*(-4)/12. Suppose l*k - 3*i = -k + p, -k = -2*i - 396. Is k prime?
False
Suppose -56881 = 17*s - 1215040. Is s composite?
True
Suppose 0 = -3*d - 31*d + 102. Let i(m) = 11*m - 2 + 0 + 24*m. Is i(d) composite?
False
Suppose 0 = 7*c - 2*c - 160. Let a = 32 - c. Suppose 3*j + a*j = 2*p + 5, 3