28904 = 4*c + s, 3*c = -2*c - 4*s + 36141. Let w = f - c. Is w a composite number?
False
Let v = 362 + 530. Let m = v - -295. Is m a composite number?
False
Suppose -d = -2*p + 2*d + 2, 2*p + d = 2. Let r(t) = 313*t**3 - 4*t**2 + t + 2. Let n be r(p). Let h = n + -121. Is h prime?
True
Suppose 0 = -5*l - 20, -3*k + 47*l = 49*l - 149587. Is k prime?
False
Let i = 95781 + 11072. Is i composite?
False
Suppose w + 1625215 = 5*j, 170*j - 975129 = 167*j + 5*w. Is j a prime number?
True
Suppose -m - 6*m = -3157. Let g = 459 + m. Let y = g - 607. Is y prime?
False
Suppose -6*u + 11*u = -2*h + 576012, -576007 = -5*u + 3*h. Is u prime?
False
Let d be 24/(-84)*1 - 32/(-14). Suppose d*v = 10, -2*b = 52*v - 51*v - 17643. Is b a composite number?
False
Let g = 159417 - 37630. Is g prime?
True
Let p(o) be the second derivative of -47*o**5/20 + o**4/6 - 13*o**3/3 - 3*o**2 - 153*o. Is p(-5) a composite number?
True
Let v be (189/(-36))/(9/(-1536)). Is -2 - (-6 - -11 - v) composite?
True
Is (381179/(-69))/(24/9 + -3) a prime number?
True
Let p(z) = 3*z**2 - 14*z + 23. Let q(a) = a**2 + a + 1. Let o(x) = -p(x) + 2*q(x). Let i be o(13). Is i/30 - (-13596)/15 prime?
True
Let r(o) = 10175*o - 177. Is r(2) a prime number?
True
Let n be (-1 - -9 - 6)*(4 - 0). Suppose -n*a = 11*a - 29317. Is a composite?
False
Let p(f) = 25021*f**2 - 11*f - 103. Is p(-5) a composite number?
False
Let w be (6 + -3)*((12 - 6) + -4). Suppose -2*n = -2*d - 15232, 5*n = -w*d + d + 38130. Is n a composite number?
False
Suppose 2536 + 3624 = 7*s. Let g = s + -399. Is g a prime number?
False
Let p(g) = -g**3 + 8*g**2 - 5*g - 11. Let a be p(7). Suppose 4743 = -a*y + 32982. Is y a composite number?
False
Is 11*(-12)/(-594)*2628711 composite?
True
Let s = -43 + 75. Suppose -2*p + 4*w = 8*w - 16, 0 = -4*p - 4*w + s. Is (-3)/p + (-25942)/(-16) composite?
False
Is ((7/(-14))/((-2)/(-145897)))/(45/(-180)) composite?
False
Suppose -10 = -20*n + 18*n. Suppose -v - n*a + 848 = -0*v, 15 = -3*a. Let r = v + -574. Is r a composite number?
True
Let j be (-126)/(-4) + (-1 + -5)/(-12). Suppose -43*d = -j*d - 31867. Is d prime?
True
Let y = -11375 - -19173. Is (y/4)/(90/(-20) - -5) composite?
True
Suppose 5*m = 3*m + 28. Let f = m + 6. Suppose 0 = -f*k + 16*k + 4780. Is k prime?
False
Suppose 0 = 2*j + 4*p + 18, 3*p - 8 = 5*p. Is (-1)/(j + 0)*(-54328)/(-8) a composite number?
False
Suppose 93691 = -90*b + 103*b. Suppose -7210 = -5*i - 5*a, -36*i - 2*a + b = -31*i. Is i prime?
False
Let b = 1150 + 8127. Is b prime?
True
Suppose -57 = -6*r + 45. Suppose -r - 1019 = -4*x. Is x prime?
False
Let s(v) = 85*v**2 + 5*v + 83. Suppose 5*f + o + 0 = 82, 0 = -5*f + 5*o + 100. Is s(f) a prime number?
True
Suppose -6 = 4*t - 2, 7 = -2*y + 5*t. Let z(c) = c**2 + 4*c - 8. Let n be z(y). Suppose -2*m = m + 2*l - 1141, 0 = -2*l + n. Is m prime?
True
Let j(z) = 18*z + 5. Let m = 43 - 30. Let i be j(m). Is i - 16/(-28)*21/(-6) a composite number?
True
Let b be (8 - 9)*229*3. Let d be -6*1*b/9. Suppose -2*n + 896 = -d. Is n prime?
True
Let o be (22 - (-15)/(-5)) + 1. Is 3 + o/4 + 4775 prime?
True
Let q = -4 - -2. Let y be (2 - -1) + (1*5842 - q). Suppose l + y = 4*l. Is l a composite number?
False
Let a(o) = -o**2 + o + 20. Let u be a(-4). Let v(c) = -c**3 + 2*c**2 + 3*c + 4. Let k be v(3). Is -1 + k + u + 812 a prime number?
False
Suppose -x + m + 2 = 0, -2*x = -3*m - 0*m - 5. Let h be (x/6*4)/(8/24). Suppose h*k - 113 = 3*o, -3*k + o + 160 = 6*o. Is k composite?
True
Suppose -11*o - 5 = -27. Suppose -o*i - 4015 = 2*b + 1605, -4*b + i - 11260 = 0. Let k = b + 6019. Is k prime?
False
Suppose 4*d + 3*w = 871625, 33*d + 5*w - 653738 = 30*d. Is d a prime number?
True
Let n(z) = -3*z**3 - 17*z**2 - 21*z - 18. Suppose -4*c = -5*h - c - 70, h - 14 = -5*c. Is n(h) composite?
True
Let d = -512 - -379. Let u = d - -1210. Is u a prime number?
False
Let g(f) = f**2 + 5*f - 12. Let c be g(-5). Let u = -12 - c. Suppose 3*n - 17577 = 2*m, -n - 4*n + 2*m + 29291 = u. Is n a composite number?
False
Let c(v) = -6955*v - 1768. Is c(-9) a prime number?
False
Let v be (-5)/(-5*(-1)/(-4)). Let z(m) = 729*m - 19. Is z(v) prime?
True
Suppose -67*n - 40 = -77*n. Suppose 0 = -2*i - 6, i + 27246 + 27481 = n*g. Is g prime?
True
Let j be (-48335)/(-210) + 1/(-6). Is 1*(24/(-16))/((-3)/j) a composite number?
True
Suppose -5*t + 190 - 15 = 0. Let j = t + -31. Is 6535/20 + j - 2/(-8) composite?
False
Let w(s) = -190*s - 5. Let l be w(-6). Let r = 8381 - 7937. Suppose r - l = -x. Is x composite?
False
Let j = -30 + 32. Suppose -1 = -o, 5*n - 4*o = -j*o + 4013. Is n + (0 - (3 - 3))/1 a composite number?
True
Let i = 60321 + -38888. Is i a composite number?
False
Suppose -8 = 8*d, 86*d - 82*d - 156743 = -3*j. Is j composite?
False
Let v = 83363 + 5046. Is v a composite number?
True
Is ((-6)/(-27) + (-160)/18)*123801/(-58) prime?
False
Let t = -76595 - -169396. Is t a composite number?
False
Let b = 56 + -53. Let p be -5 + b/3 - (-2 - -4). Is (-51100)/(-15) - 2/p a prime number?
True
Let m(f) = 6*f**3 + 2*f**2 - 7*f - 5. Let o be m(-4). Let g = -473 + -50. Let w = o - g. Is w composite?
True
Let i = 249 + -246. Let u(g) = 57*g**3 - 2*g**2 - 8*g + 38. Is u(i) prime?
False
Let i(d) = 65634*d + 3973. Is i(2) a composite number?
False
Let g be (-140)/(-35)*(-10)/(-8)*1. Suppose 0 = 3*x - z - 33627, 0 = -g*x + 3*z + 38555 + 17490. Is x a composite number?
True
Let w = 126 + -126. Let m be w + 38/(-4) + 5/10. Is 2/2 - (3 + (-490 - m)) prime?
True
Is 1 - (-11267)/19*326 composite?
True
Let s(v) = -v**3 + 31*v**2 - 16*v + 415. Is s(17) a composite number?
True
Let k(v) = -v - 13. Let y be k(-17). Let h(x) = x - y*x + 11*x - 12 + 48*x**2 + 51. Is h(-5) a composite number?
True
Let z(q) = -35*q + 19. Let h be z(-2). Suppose 13*l - 16*l + 263 = -5*s, -l + h = -s. Is l a composite number?
True
Suppose -2*i + 2*u = 4*u + 3380, 0 = -2*i + u - 3374. Let s = 7245 + i. Is s prime?
True
Let w = -636041 + 1085232. Is w composite?
True
Suppose 5*p - 492 = -4*x, -p + 2*p = 4*x + 108. Is 25/p + (442110/(-8))/(-5) a composite number?
True
Let m(d) be the first derivative of 65*d**2/2 + 83*d + 62. Is m(12) a prime number?
True
Suppose 0 = -46*h + 221511 + 106152 - 8101. Is h prime?
True
Is -6 - (-333)/54 - 983339/(-42) composite?
True
Suppose n + 2*g = 716, -3*g - 3567 = -0*n - 5*n. Suppose n = 4*c + 2*h, 6*h + 528 = 3*c + 5*h. Is c composite?
True
Let a = -695 - -449. Let s = a - -490. Let h = s - 138. Is h a composite number?
True
Let k be (-12)/(-9) - ((-399968)/12 + -5). Let s = k - 15482. Is s composite?
True
Suppose 0 = -c - 5*m + 592, 2*m - 502 = 4*c - 2936. Let x = 1968 - c. Is x composite?
False
Let s(n) = 1027*n**2 + 3*n + 3. Suppose 0 = -10*r + 81 - 101. Is s(r) a prime number?
False
Let c be 264/(-30)*(-15)/6. Suppose 6*h + c = 52. Let j(u) = u**3 - u**2 + 4*u + 2. Is j(h) a prime number?
False
Let f = 10941 - 6103. Let h = f - 3237. Is h a composite number?
False
Suppose 0 = -3*t - 4*v - 184366 + 42772, -3*t = -5*v + 141594. Is (t/5)/((-12)/30) a prime number?
True
Let v = 81 - 76. Suppose 0 = -19*o - v*o + 12504. Is o a composite number?
False
Let g = 208240 + -136919. Is g a prime number?
False
Let c = -13 + 0. Let s(k) = 43*k**3 - 3*k**2 + 3*k + 1. Let j be s(1). Let p = j - c. Is p composite?
True
Let z(o) be the first derivative of o**4/4 + 23*o**3/3 - 4*o**2 + 11*o - 10. Is z(-22) a prime number?
False
Suppose 5*s - s = -2*t + 54, 4*s - 4*t - 36 = 0. Suppose 0 = 16*x - s*x + 32. Is 381 - (x/6 - 2/3) composite?
False
Let a(k) = 3*k**2 + 4*k + 8. Suppose 6*g - 10*g = 12. Let d be a(g). Suppose -16*i - 3353 = -d*i. Is i prime?
True
Let r(h) = -104*h**3 - 4*h**2 + 47*h + 116. Is r(-11) prime?
False
Suppose -4*p + 17 = 3*l, -4*p - 2*l + 18 = -0*p. Is (-5)/(p/(-266)) + 35 + -32 a composite number?
False
Let q(z) = 8*z**2 + z + 7. Suppose 2*u + 30 - 12 = 0. Let i be q(u). Suppose i = g - 549. Is g prime?
False
Suppose -2*q + 5*u = -200 + 25, -4 = -4*u. Suppose 0 = 2*x + 4*g - 36 - 12, 5*g = 5*x - q. Let s = 725 + x. Is s composite?
True
Is ((-1)/(-2) + 34174/(-12))/((-3064)/22980) prime?
False
Let s = 51054 + -29570. Let t = -9249 + s. Is t prime?
False
Let f(m) = -83*m**2 + 3*m + 11. Let g be f(-5). Let t = g - -6136. Is t prime?
True
Suppose 0 = h - 3*r - 106501, -794*