+ m. Suppose -v*y + 5*y = 1042. Is y prime?
True
Let a = 2075 + -1156. Is a composite?
False
Let h(y) = 88*y**2 - 27*y + 31. Is h(-14) a prime number?
True
Suppose 0 = -z - z - 332. Is (z/(-4))/(4/8) composite?
False
Suppose 36*n - 32928 - 115068 = 0. Is n composite?
False
Let v be (-1)/((2/3)/(268/6)). Let g = -32 + 150. Let n = v + g. Is n a composite number?
True
Is (14 - (-12971)/(-28))*(-8)/6 a prime number?
True
Let v be 8/6*(-12)/(-8). Let p be (v/1)/((-1)/(-1052)). Suppose -4*a - 5*z + 1247 = -p, -838 = -a - z. Is a a composite number?
False
Let b(f) = f**2 - 7*f - 2. Let d be b(7). Let w be 5 + d/(6/9). Suppose -5*h = -4*z - 590, w*h - 5*z - 236 = -2*z. Is h a prime number?
False
Suppose 11*p - 4525 - 54270 = 0. Is p composite?
True
Is 2457 - (11 - 2) - -5 a prime number?
False
Suppose -7 = 3*f - 1, -5*w + 5*f + 5255 = 0. Is w a composite number?
False
Is 26/(-13) + (-3343)/1*-7 composite?
False
Let d be 3 - (-1 + 2) - -4931. Let f = d + -576. Is f composite?
False
Let o be 4/(1*(5 + -3)). Let n = 1398 + -339. Suppose -o*x - x + n = 0. Is x prime?
True
Suppose 0 = -4*z - 2*j + 61336, -4462 - 26218 = -2*z + 5*j. Is z composite?
True
Let q = -6 + 12. Let k(m) = m - 5. Let x(w) = w - 1. Let v(s) = q*x(s) + 3*k(s). Is v(12) composite?
True
Is (13 - 11)*(-3)/(12/(-2962)) a prime number?
True
Let h(j) = j**2 - 12*j - 18. Let y be h(13). Is (-14091)/y - 24/(-30) a composite number?
False
Suppose -o = -w + 3, -2 = 5*o - 4*w + 8. Suppose -o*y - 3*b + 3 = -4*y, y + 3*b - 3 = 0. Suppose -3*q - q + 12 = y. Is q composite?
False
Let d be (64/(-72))/(18/(-81)). Let u = 8908 - 5758. Suppose -x + d*x - 3*k - u = 0, 5*k = -3*x + 3142. Is x prime?
True
Suppose -6*z - 287 - 349 = 0. Let c = 49 - z. Is c a composite number?
True
Suppose 7*y = 9*y - 10. Is y/(-2)*(2 + -180) a composite number?
True
Suppose 3*b - 4299 = 15*j - 11*j, -7182 = -5*b + j. Is b a composite number?
True
Suppose -5*w + 4*o + 0 = 1, -o = 3*w + 4. Let b be (1 - 1 - -1)/(-1). Is 259 - (-3 - b)/w a prime number?
True
Let w(m) = m**2 - 6*m - 1. Let f be w(3). Let q(l) = -l**3 - 10*l**2 + l + 8. Let z be q(f). Let n(c) = -11*c**3 + 2*c**2 + 2*c + 1. Is n(z) a composite number?
True
Let q(p) = 31*p + 4. Let j be (-51)/(-15) + 6/(-15). Let x be q(j). Suppose -x = -o - 12. Is o a composite number?
True
Suppose -27 = 15*k - 72. Suppose -u + q + k + 2 = 0, -19 = -3*u + 2*q. Is u a prime number?
False
Is (-98063 - (-3 + 3))*(11 + -12) a composite number?
True
Let l(t) = 3000*t**3 - t**2. Is l(1) a prime number?
True
Let k be 10 - 4 - 3/1 - -1. Suppose -v + 1515 = k*v. Is v prime?
False
Let o(d) = 497*d + 17. Suppose -103 = -9*a - 13. Is o(a) composite?
False
Suppose -4*n - 6*g = -g - 11, -21 = -5*n + g. Suppose 0 = n*q + 652 - 252. Let y = -31 - q. Is y composite?
True
Suppose 0 = -76*c + 95*c - 461339. Is c a prime number?
True
Let n(m) = 428 - 439 - 5*m + 0*m. Suppose 11 = -3*i - 1. Is n(i) prime?
False
Suppose 0 = 8*g - 4*g - 12. Let z be ((-4)/g)/(2/(-237)). Let s = z + -107. Is s a composite number?
True
Let g = -7 - -14. Let q(p) = 3*p**3 - 2*p**2 + 4. Let u be q(g). Is (3 + u)*(-1)/(-2) a composite number?
True
Let r(f) = 16*f**2 + 25*f + 110. Is r(-17) composite?
True
Suppose -476000 = -4*h - 191868. Is h prime?
False
Let f = -84 + 13835. Is f prime?
True
Let i(x) = -x**3 - 3*x**2 + 3*x + 1. Let z be i(-4). Let g(b) = 6 - 12 + z + 212*b**3. Is g(1) a prime number?
True
Let u be 1918/(-56) - 2/(-8). Is -3 + (4 - u*1) prime?
False
Suppose 11*i - 4*i = 101353. Is i composite?
False
Let x(y) = 134*y**2 - 26*y - 51. Is x(26) a prime number?
False
Let n(f) be the second derivative of 57*f**5/20 + f**4/12 - f**3/2 - 2*f**2 + 10*f. Is n(3) a prime number?
False
Let j = -8 - -6. Let s = 12 - j. Is 4/14 - (-3118)/s prime?
True
Suppose 435*l + 16088 = 439*l. Is l a prime number?
False
Let h(b) = -3*b**3 + 2*b**2 + 3*b + 1. Let g be h(-2). Let u = g - -6. Is u prime?
False
Suppose q = -2*k, -q - 3 = 3*k + 2*k. Let d(u) = u**2 - 1. Let m(j) = -4*j**2 + j - 7. Let p(b) = 4*d(b) - m(b). Is p(q) prime?
False
Is 5026 - -7 - 6*(-3)/3 prime?
True
Suppose -43*m = -39*m - 4. Let d(h) be the third derivative of 263*h**4/12 + h**3/2 - h**2. Is d(m) a composite number?
True
Let m = -38 - -38. Suppose -z + 8 - 60 = m. Is (-13)/z + 211/4 a prime number?
True
Let t be -1 + -1 + 5 + -3. Suppose 6*c - c - 80 = t. Suppose 3*i = 77 + c. Is i a composite number?
False
Let u(g) be the second derivative of g**5/20 - 2*g**4/3 + 3*g**3/2 + 4*g**2 + g - 5. Suppose 4*v - j = 30, 6 = -v + 3*v + 4*j. Is u(v) a prime number?
False
Let j be (8/(-5))/((-34)/1275). Let m be (-10)/(-3)*2448/j. Suppose g = 47 + m. Is g prime?
False
Is ((-2)/(-1))/(73480/24488 - 3) a composite number?
False
Let d(s) = 5 + 24*s**2 - 6 - 5 + 3*s + 1. Is d(4) composite?
True
Let l(v) = -5*v**3 + 20*v**2 - 4*v - 1. Is l(-6) a composite number?
False
Let o(g) = g**3 - 25*g**2 - g + 27. Let x be o(25). Is (139/x)/(6/12) a prime number?
True
Let j be 9835/(-25) - 6/(-15). Let k = 145 - j. Is k a composite number?
True
Suppose 4*w - 7912 = 8892. Is w composite?
False
Suppose -3*l = q + 13, -2*l = -q + 13 - 1. Suppose -2*c + 1932 = -q*m + 798, c = 3*m + 573. Suppose 0*r - 4*r + c = 0. Is r prime?
False
Let a = 5738 - 3445. Is a a prime number?
True
Let g(j) = -2 - 1 + 2*j**3 - 3*j**3 + 3*j**2 + 2*j. Let f be g(3). Suppose -4*m + f*m = -131. Is m prime?
True
Suppose -61853 = 682*b - 683*b. Is b a prime number?
False
Let m(q) = -12*q + 235. Let j be m(-22). Suppose -2*d - 3 + 13 = 0. Is (9 + -4)*j/d a prime number?
True
Suppose -3*f - 3*w = -24408, 2*f + 2*w = -2*w + 16262. Is f prime?
False
Suppose -s + 3*s = 8. Suppose 4*z + 4 = -z + 2*n, 2*n - 4 = s*z. Suppose 3*w - 7*w + 328 = z. Is w a composite number?
True
Let l be 0 + -3 + (-6)/(-2). Suppose 8*z - 3*z = -2*w + 1604, -2*w - 4*z + 1602 = l. Is w composite?
False
Let k = 164206 + -68093. Is k composite?
True
Is (-8)/20*5045/(-2) a prime number?
True
Suppose 0 = r - 4*d + 10, 2*r - d + 10 = 2*d. Suppose 2 = w, w = -4*g + 3*w - 28. Is 52/6 + r/g composite?
True
Suppose 5*k + 4*a - 9*a = 29255, -11686 = -2*k - 2*a. Is k a prime number?
False
Let v(m) = 27*m**2 + m. Let q be v(1). Let z = q + -10. Suppose 0 = d - z - 35. Is d a prime number?
True
Let q(v) = 21*v**3 - v**2 - 2*v - 1. Let w(h) = -h**3 + 4*h**2 - 3*h + 2. Let z be w(3). Is q(z) a prime number?
False
Let h(p) = p**2 - 10*p - 4. Let l be h(10). Let d(g) = -g**2 - 3*g + 4. Let r be d(l). Suppose r = 4*w + 3*s - 1519, -266 - 1632 = -5*w - 3*s. Is w prime?
True
Suppose -3*q = -0*q - 45. Let f = q + -25. Is (-5)/f + 706/4 composite?
True
Suppose -49*m + 2407 = -48*m. Is m a prime number?
False
Let z be (196/21)/((-4)/(-546)). Suppose -h - h - z = 2*l, -1283 = 2*h - l. Let g = h + 1013. Is g composite?
False
Is -3377*4/2*(-34)/68 a prime number?
False
Let b(j) = 66*j**2 + 3*j - 5. Let s be b(8). Suppose 5*k + 998 - s = 0. Is k a composite number?
True
Let h be (-2)/12 - (-4)/24. Is (-9)/(-3) - (h - 19) a prime number?
False
Let n be -38*(-2 + -4)/(-2). Let b = n - -233. Is b composite?
True
Suppose 17*h - 16*h = 0. Suppose -3*n + 2*n + 287 = h. Is n a prime number?
False
Suppose 3*l - 5*l + 2*z = 0, 2*l - 28 = -5*z. Suppose -4*p = 5*d - 2582, -l*d + 1942 = 3*p - 3*d. Suppose -5*b = -t - 801, 3*t - 4*t = 4*b - p. Is b composite?
True
Let t = -3 + -7. Let x = 14 + t. Suppose 0*m = -x*m + 308. Is m a prime number?
False
Let n(t) = -13647*t**3 + t**2 + 12*t + 13. Is n(-1) a composite number?
False
Let s be 4979/9 + (-10)/45. Suppose -s = -h + 126. Is h a prime number?
False
Suppose 256*w = 195*w + 6482531. Is w prime?
False
Suppose -q - 2584 = -2*f, 9*f + 4*q = 6*f + 3865. Is f a prime number?
True
Let q(d) = 1997*d - 3. Is q(2) prime?
False
Suppose -s + 4*o = 23, -4*o = -7*o + 15. Let a be -1 + 4 + s + 177. Suppose t - d - 131 = 0, -3*d = -2*t + 89 + a. Is t a prime number?
True
Let m(o) = -o**2 - 22*o - 40. Let g be m(-20). Suppose g = 5*r + 1800 - 5415. Is r composite?
True
Let o be ((-8)/(-20))/((-10)/(-25)). Suppose -o = -3*f + 5. Suppose -5*z + 3009 = -f*z. Is z a composite number?
True
Let l = 36 - 32. Suppose -l*h = 2*q - 880, 0*q = -3*h - q + 661. Is h a prime number?
False
Let u(r) = -11 - 7*r + 4*r + 5*r - 2*r**3 + 4*r**2 + 2*r. Is u(-9) 