pose -1203 + o = -p. Is p prime?
True
Let f(y) = 23*y**3 - 2*y**2 + 12*y - 17. Suppose -i = -n, -5*n + i + 9 + 7 = 0. Is f(n) prime?
True
Let m = -14714 + 3098. Let n = -7814 - m. Suppose -9*a - n + 12253 = 0. Is a prime?
False
Let n(x) = -x**2 - 12*x + 43. Let t be n(-15). Is 428/t*-9 - -5 composite?
False
Let d(u) = -2*u**2 + 8*u - 7. Let f be d(7). Let g = f - -53. Suppose -g*c - 1630 = -6*c. Is c a prime number?
False
Let i(y) = 28535*y**2 - 4*y - 2. Let k be i(-1). Let l = k - -5694. Is l a composite number?
False
Let d be (4 + 16/(-4))*4/(-4). Suppose 5*p - 3*p - 3 = 3*x, -6 = -2*x. Suppose d = p*a - 981 - 1605. Is a a prime number?
True
Let y be (-4)/16 - (-106)/8. Let h(j) = 251*j + 8. Is h(y) composite?
False
Let h = 256 - 223. Suppose -290 = -h*r + 964. Is r a prime number?
False
Let y = -119 + 146. Suppose 2*x + 1 = -g + y, 4*g + 4*x - 88 = 0. Suppose g*q - q - 7939 = 0. Is q a composite number?
False
Let f(j) = 254*j + 117. Let u(b) = 2. Let o(a) = -f(a) - 4*u(a). Is o(-9) prime?
True
Suppose -8*y = -5519 + 14751. Let h = 389 - y. Is h a prime number?
True
Let j(o) = 123*o - 5. Let s be j(4). Suppose -978*i - 7750 = -947*i. Let d = i + s. Is d a prime number?
False
Let b = 6088 - 2907. Is b a prime number?
True
Let k(g) = 2*g**3 - 15*g**2 + 19*g - 33. Let y = 67 + -53. Let f be k(y). Suppose -5*h = -f + 671. Is h prime?
False
Let s(d) = -61*d**3 + 47*d**2 - 50*d - 48. Let w be s(-33). Suppose -5*t - w = -59*t. Is t prime?
False
Let p(w) = 6647*w**3 + 13*w**2 - 28*w + 1. Is p(3) composite?
True
Let k = -2009 - -3484. Suppose 6*a - a - k = -2*y, 0 = -4*a - 5*y + 1197. Is a composite?
False
Suppose 2*w = 4*y - 27161 + 102711, y = 4*w - 151121. Is w prime?
True
Suppose 8*o - 4*o = 44. Let s(q) = -q**3 + 12*q**2 - 10*q - 5. Let n be s(o). Suppose n*r = 11*r - 32515. Is r a prime number?
False
Suppose 4*w + o - 4 = 6*o, -4*w + 36 = 3*o. Suppose -14 + 14 = w*m. Suppose -2*t = -r + 2*r - 1803, -5*r - 3*t + 9008 = m. Is r a prime number?
True
Let g be (-13)/(39/10) + (-3)/(-9). Suppose -5*q + 3485 = y - 12206, -4*q + 12549 = -3*y. Is (4/(-8))/(g/q) composite?
False
Suppose -3*m - 4*l + 189563 = 0, -17068 + 80247 = m - 3*l. Is m composite?
True
Suppose 0 = -5*j - 2 + 22. Let v be 1 + -2 + (j - 2). Is (-3 + 2)/2*v*-1082 prime?
True
Suppose -4771644 = -11*p - 902647. Is p a composite number?
False
Let q(g) = -668*g**3 + 17*g**2 + 118*g + 48. Is q(-5) a composite number?
False
Let l(m) = 141*m**2 - 147*m - 241. Is l(16) composite?
False
Let p = 97 - 96. Let b be -9*p/(-3) + -4. Is 0 - (b - (0 + 1342)) a composite number?
True
Is (-37430100)/(-228) - (-6)/(-57) a composite number?
True
Let b be (-2)/(-6) + 3 + 200540/(-6). Let a be 1 + b/16 + (-2)/8. Let s = a + 2965. Is s prime?
True
Let j(i) = 2*i**3 - 8*i**2 - 5*i + 9. Let k(a) = -a**3 - 1. Let z(y) = j(y) + 3*k(y). Let w be z(-7). Let d(s) = 5*s**2 + 9*s + 11. Is d(w) a composite number?
True
Let o = -9038 - -15075. Suppose 2*p = 5*a - o, 0 = -a - 4*p + 6*p + 1209. Is a a composite number?
True
Let h(j) = -j**2 + 370*j - 1862. Is h(113) a composite number?
False
Let v(c) = 37*c - 17. Let s(z) = -4*z - 4. Let d(l) = 5*l + 5. Let j(y) = 3*d(y) + 4*s(y). Let k(q) = 4*j(q) - v(q). Is k(-6) prime?
False
Let x(q) = -257*q + 23. Let s be x(-6). Suppose 5*n = -25, 2*n = -2*j - 3*n + s. Suppose 0 = 5*p - 2360 - j. Is p a composite number?
False
Suppose 3*a + a = -8. Let k be (-12)/(a + 0) + -4. Suppose 0 = 5*o + 2*b - 30039, 0*o - 2*b = k*o - 12018. Is o a prime number?
True
Let j = 12 - 24. Is 138/(-207) + (-2)/(j/8398) a prime number?
True
Is (600/36 - 16)/(2/185919) composite?
True
Suppose -2449 = 4*c - 3*r, -4*c - 2838 = 4*r - 410. Let k = 3309 + c. Is k a composite number?
False
Let j be 4 - -2*35/(-10). Let k(v) = 107*v**2 + 10*v + 22. Is k(j) a composite number?
True
Is (0 + 400126/(-8))*(-209 - -205) a composite number?
False
Suppose 0 = -42*x + 88*x - 15245228. Is x composite?
True
Let g be (6/4 + -3)*(-8)/3. Let p be (g - 3)/(2/10). Let n(u) = 71*u + 4. Is n(p) a composite number?
False
Is ((-541783)/33)/(13/(-39)) a prime number?
True
Let q(n) = -2*n**3 - 10*n**2 + 13*n + 8. Let z be (20 - 14)*-1*1. Let t be q(z). Is (10*1/t - 4)*553 a composite number?
True
Suppose 0 = 5*g - 5 + 10. Let p be ((-1)/2)/(52/48 + g). Is (2/2)/(5990/998 + p) composite?
False
Suppose -4*p - 4*t = -1123380, 780079 = 3*p + t - 62472. Is p a prime number?
False
Let u(z) = -139*z**2 - 6*z + 7. Let o be u(2). Let j = 1010 + o. Is j a composite number?
False
Let y(a) = 10*a**2 + 41*a - 1272. Is y(-91) a composite number?
True
Let c = -148 - -94. Let b be ((-4)/(-6))/((-4)/c). Is 18/(-6)*(-2334)/b a prime number?
False
Let g = 1836905 - 1176252. Is g composite?
True
Is 90/(-15) + 1/((-2)/(-6410)) composite?
True
Suppose -5*u + 67*b - 71*b + 8194947 = 0, 3*b = -3*u + 4916973. Is u prime?
True
Suppose -j - 24 = -t, 3*t + 3*j - j = 72. Suppose 3*m - 24 = -t. Suppose 3*b - l = 797, -4*b + 4*l + 987 + 81 = m. Is b composite?
True
Suppose 7*h - 42668 = 3168. Let w = 9651 - h. Is w a prime number?
False
Let t be ((-68752)/12)/((-16)/24). Let g = -3333 + t. Is g a composite number?
False
Let g(t) = 84*t - 123. Let u(k) = -56*k + 82. Let n(q) = -5*g(q) - 7*u(q). Let x be n(18). Let y = -252 - x. Is y a prime number?
True
Let p = -19 - -6. Let f = p + 18. Suppose -f*y - 2*d = -d - 3725, 3725 = 5*y + 4*d. Is y composite?
True
Let u(p) = -369*p + 80. Let q be u(-16). Let f = q - 3829. Is f prime?
False
Suppose 23969939 = 141*n - 118842334. Is n prime?
False
Let s be 15/((-3)/(-1))*(0 - 1). Let g(b) = b**3 + 7*b**2 + 9*b + 11. Let d be g(s). Let w = d - -111. Is w prime?
True
Suppose p - 2*c - 8 = 0, p - c - 4 = -2*p. Suppose 4*m + 6 - 18 = 0. Suppose 95 + 41 = 2*q + m*l, p = 5*q - 2*l - 359. Is q a prime number?
True
Suppose -4*g + l - 1270 + 188229 = 0, -l + 93487 = 2*g. Is g a composite number?
True
Let r(h) = h**3 + 4*h**2 + 5*h + 5. Let m be r(-2). Let g be (2 - m/3) + 3. Suppose -3*t + 2*n = -2*t - 8561, t - 8567 = -g*n. Is t a composite number?
False
Let v = 357 + -295. Suppose 0 = -65*c + v*c + 53043. Is c a prime number?
True
Suppose 0 = -236*p + 228*p + 48. Suppose 3452 = p*o - 4042. Is o prime?
True
Is 1/3*(-40)/(920/(-51160119)) composite?
True
Let m be (-2)/(-16) - ((-423)/72 - -1). Let v be (3 - (4 + -2))*6236. Suppose 0 = k - m*k + v. Is k a composite number?
False
Let t be (22 + -8)*4/(-14). Is 8786/8 + t*(-15)/80 a prime number?
False
Is (13 - 23) + 2 + 33747 composite?
False
Let f be (9/((-27)/(-8)))/(4/6). Suppose 0 = -f*l - 12 + 12. Let b(c) = c + 53. Is b(l) a prime number?
True
Let c be (-10)/(-65) + 7/(182/(-27564)). Let g = 27 - c. Is g a prime number?
True
Let u(t) = -20*t + 27. Let l(z) = -18*z + 27. Let v(i) = 3*l(i) - 2*u(i). Is v(-4) composite?
False
Let q(x) = -13116*x + 2491. Is q(-48) a prime number?
False
Let q(z) = z**3 - 4*z**2 - 13*z + 7064. Let o be q(0). Let m be 7963/(-2) + (-2)/(-4). Let n = o + m. Is n composite?
False
Suppose 0 = 2*o - 32 + 26. Suppose 4*u - 29309 = -o*u. Is u a prime number?
False
Suppose 4*x - 97633 = -3*i, 0 = -12*i + 13*i - 4*x - 32523. Is i a prime number?
False
Suppose 143*l = 2*u + 139*l - 438826, -l + 1097065 = 5*u. Is u a prime number?
False
Let h(m) = 1545*m**2 + 73*m + 93. Is h(-19) composite?
True
Let d(i) = -i**2 + 18*i + 7. Let w be d(7). Suppose 81*j = w*j - 46773. Is j composite?
True
Let x be 8/(-10)*(-5 + (-20)/(-8)). Suppose 0 = -4*d - 2*o + 2154, 477 + 625 = x*d - 4*o. Is d a composite number?
False
Let r = 786 + -461. Let n = 207 + r. Suppose -3*x = -74 - n. Is x composite?
True
Suppose 4*t = i + 6 + 2, -t + 2 = 2*i. Let f be t/(-7) - (-32296)/(-154). Let h = -23 - f. Is h a composite number?
True
Let t(v) = v**2 - 7*v + 11. Let p be t(7). Let q(d) = -3*d + 5. Let b be q(p). Is 2217/7 + (-8)/b prime?
True
Suppose 2*o = 8*u - 9*u + 174, 0 = o + 1. Is u + ((-9)/(-12))/(1/4) a composite number?
False
Let p(y) = 1461*y + 77. Let f be p(-2). Let t = f + 4964. Is t prime?
False
Suppose 62353*y + 677485 = 62358*y. Is y a prime number?
True
Let c(g) = 318*g - 46. Let r be c(7). Let y = 4107 - r. Is y a prime number?
False
Is (0 - 110613)/((-407)/770 + (-1)/(-10)) composite?
True
Let m = 2192 - 1199. Let n = -1426 + 1436. Suppose m = -7*w + n*w. Is w prime