+ 2 - (2 + -5)) + 1420 prime?
True
Let k(p) = -1544*p + 3315. Is k(-16) a prime number?
True
Suppose 5*a - 2066466 = -f, -18*a + 23*a + 4*f - 2066469 = 0. Is a a composite number?
False
Let w(d) = 9*d**2 + d - 515373. Let f be w(0). Is f/(-296) + (-1)/8 prime?
True
Suppose -2*y = 3*i + 2*i - 173477, 0 = -y - 4*i + 86743. Is y composite?
True
Let g(o) = -1409. Let h(r) = r - 7046. Let n(p) = 11*g(p) - 2*h(p). Let d(t) = -1. Let u(y) = 6*d(y) - n(y). Is u(0) composite?
True
Is -23 - -1 - -325575 - -18 a composite number?
False
Let a = 1171966 - 510645. Is a a composite number?
False
Let x be 1/(1/10*2). Suppose 46 = x*s - 4*t, -4*s + 29 = -s - t. Let v(c) = 77*c + 21. Is v(s) composite?
True
Let m = -39 - -43. Suppose 3*z - 21 = -3*k, -2*z + m*k - 22 = -3*z. Let l(d) = 455*d**2 + 4*d - 5. Is l(z) composite?
False
Suppose 6 - 3 = n + 4*z, 0 = n + 5*z - 3. Suppose 0 = m - n*t - 61, -4*t + 7*t = -3. Is m composite?
True
Suppose 2*v - 598287 = -m, -280*m = -283*m - 5*v + 1794854. Is m prime?
False
Let p(j) = 39*j + 147. Let c(g) = 13*g + 49. Let s(i) = 17*c(i) - 6*p(i). Let n be s(-16). Suppose 2*x - 3*x + n = 0. Is x a prime number?
False
Let g = -1734 + 4147. Let q = 6887 - g. Suppose q = 4*n + 6*u - 4*u, 3*n = 2*u + 3373. Is n a composite number?
True
Let f = -13 + 23. Let k be ((-135)/f)/(-1)*-2. Is (-4569)/k - 12/54 a prime number?
False
Let o be 29426/10 + (-28)/(-70). Let c = -1792 + o. Is c prime?
True
Let u = -197278 - -280161. Is u prime?
True
Let t be ((-3)/6)/((-755458)/(-151092) - 5). Suppose 5*k - t = 71482. Is k a composite number?
False
Let q be (-8)/(-2)*(7 + 13). Let z = 229 - q. Suppose z + 97 = 3*o. Is o a prime number?
False
Let u = 1106777 - 346384. Is u a composite number?
True
Suppose -3*w + 2129342 = 5*o, -4*w = 3*o - 1826000 - 1013141. Is w a composite number?
False
Let a = -12 - -4. Let z = a - -13. Suppose -129 = 3*f + z*j - 361, 5*f = 4*j + 399. Is f a prime number?
True
Suppose -18 = 4*f + 2. Let w(z) = -75*z - 37994 + 0*z - 47*z + 38005 + 16*z. Is w(f) prime?
True
Suppose 1378878 = 8*v - 2*v + w, -459626 = -2*v - 5*w. Is v a composite number?
False
Let a = 96 - 85. Suppose 2 = a*s - 10*s. Is s*(1/(-2))/(5/(-5945)) a prime number?
False
Let d = 282 + -200. Let p = -77 + d. Suppose -18*l = -p*l - 17693. Is l a composite number?
False
Let z(f) = -424*f**2 + 10*f - 10. Let j be z(1). Let x = j - -1427. Is x a prime number?
False
Suppose -o + 12252 = 3*o. Suppose -9*z = -o - 2940. Is z prime?
False
Let p be 37/(-13) + (-10)/65. Is 20956/4 - 2/p*3 a composite number?
True
Let m(s) = 10*s**2 - 2*s - 25. Let z = 34 + -37. Let h be 4*(3 - (-2 - -4 - z)). Is m(h) a prime number?
True
Suppose 2*o + 1295 = o. Let u = -784 - o. Suppose 5*i - u = 384. Is i a composite number?
False
Suppose -7665732 = -116*n + 8*n. Is n a composite number?
False
Suppose -7*t - 3 = -10*t. Let i be (418/44)/(t/188 + 0). Suppose 2*c - 4*m = i + 1284, 0 = -3*c - 4*m + 4645. Is c a prime number?
True
Let w(a) be the second derivative of -65*a**3/3 - 63*a**2/2 + 36*a. Is w(-23) a prime number?
True
Suppose 140*p + 977 = 141*p. Is p prime?
True
Suppose -42 = -3*x - 105. Let v be (1 - x)*(4 - (-5 - 55)). Let t = 2297 - v. Is t a prime number?
False
Let s(v) = -10810*v + 435. Is s(-16) composite?
True
Let m = -1377 - -17746. Is m composite?
False
Let m(n) = 21*n + 40. Let p be m(7). Let y = p - -16. Is y composite?
True
Is (-1977365)/(-4) - (-229)/(-916) composite?
False
Is ((-14909)/17)/(3/123*-1) a composite number?
True
Let p = -12 + 14. Let k be 800/(-3) + p*3/(-18). Let s = k - -394. Is s composite?
False
Suppose 0 = -75*x + 80*x - 990. Suppose 11*r = -x + 627. Is (r/12)/(3/444) composite?
True
Is 44/(-10)*51580/40*-5 prime?
False
Suppose 3*b - 4*p = 0, -5*p = -0*p. Is 8201 + 6*(b + 1) a prime number?
False
Let f(m) = 10*m - 56. Let c(g) = -g + 1. Let b(l) = -5*c(l) - f(l). Let p be b(12). Is ((-3)/p)/((-4)/(-588)) prime?
False
Let a(l) = 7*l**3 - 11*l**2 + 8*l - 47. Let s be a(9). Suppose 4*y = -201 + s. Is y prime?
True
Is ((-524)/(-1179))/((-4)/3)*-169977 prime?
True
Let v be (-4*4)/4 + -3. Let m = v + 16. Suppose m*t - 955 = 4*t. Is t a prime number?
True
Let c be 3*(1 + 7568/6). Is (c/28)/((-4)/(-80)) prime?
False
Suppose -2*n = -17*m + 14*m + 2925, m + 5*n - 992 = 0. Is m a composite number?
False
Suppose 29*q = 19*q + 160. Suppose 0 = 4*x + 4*v - q, x = -2*v + 6*v - 6. Suppose 3*c + x*c = 1705. Is c a prime number?
False
Let h = 6 + -6. Suppose 24*q - 33547 - 50765 = h. Is q a prime number?
False
Suppose -2*n = -2*m + 17 - 3, -4*n = -m + 22. Suppose 5*x = -8*a + 7*a + 7868, 1578 = x - m*a. Is x a composite number?
True
Let c(b) = -938*b - 107. Suppose 0 = 3*j - z + 20, -2 = 4*j + 2*z + 8. Is c(j) composite?
False
Let d = 18 - -62. Suppose 5*p = 2*m + d, -m = -2*m - p - 47. Let w = 98 + m. Is w a prime number?
True
Suppose 0 = 2*p - 3*r - 270, 3*p + 10*r = 8*r + 418. Suppose -5*f = 4*l - 20455, -p*f = -136*f + l - 8182. Is f a composite number?
False
Let h = 13562 - 5405. Is (-1)/((-9)/h*2/6) a composite number?
False
Suppose 6564 = 2*w + 2*v, 4*w - v = 8*w - 13131. Suppose -3*f + 9119 = -2*p, -5*f - w = -4*p - 18484. Is f a composite number?
False
Suppose -4*f - 60 = -4*t, 5*f - 111 = -5*t + f. Suppose 49426 = t*u + 18285. Is u a composite number?
True
Let k = -15 + 14. Let r be k/(0 + (3 - (-9572)/(-3190))). Suppose -3*j = 2*j - r. Is j prime?
False
Suppose -3*c = -73 + 64. Suppose -2*t = c - 15965. Is t prime?
False
Let c = 19 - 14. Suppose c*p - 739 = -4*x + 851, 0 = 4*x + 3*p - 1586. Suppose -4*d + x = d. Is d composite?
False
Let m = -118 - -118. Is 6936 + (m/(-6) - -1) a prime number?
False
Suppose -7450 = 3*i - 5*h, -5*h + 2231 = -i - 269. Let n be ((-4)/10*6)/(15/i). Let j = -197 + n. Is j a composite number?
False
Let i(u) = -353291*u**3 - u**2 + 14*u + 17. Is i(-1) a prime number?
True
Let r be (-1 + 0)/(-2*(-8)/(-80)). Suppose -r*v + 66520 = 4*k + 6279, -24096 = -2*v - 2*k. Is v a prime number?
True
Let d(j) = -47*j**3 - 54*j**2 + 17*j + 1. Is d(-14) a prime number?
True
Let h(l) = 225*l**2 - 14*l - 27. Let k be h(-2). Let d = -12 + k. Is d prime?
False
Let x = -615 + 9957. Suppose -x = -5*d + 13883. Is d a prime number?
False
Let r(k) = -15*k + 4 - 2*k**2 + 9 - 44 + 15*k**2. Let c be r(-9). Is (c/52)/((-2)/(-8)) a prime number?
True
Let d(f) = 2652*f**3 - 4*f**2 + 20*f - 23. Is d(3) a composite number?
True
Let u be 10915 + (-28)/8*2. Suppose l - 8737 = -2*t, 4*l = -4*t + 6564 + u. Is t prime?
False
Let d(h) = 1136*h - 90. Let o be d(-5). Let g = 8291 + o. Is g composite?
False
Let c = 808 - 743. Is -1 - (-39)/c - (-141974)/10 prime?
True
Suppose 2*h = 3*n + 71037 - 18111, -2*h = -2*n - 52922. Let d = 41900 - h. Is d a prime number?
True
Suppose l + 5 = 7. Let i(r) = 37*r**2 + 1 + 12 - 18*r - 34*r**l. Is i(16) prime?
False
Suppose -48*g = -43*g - 10. Suppose 4*t - 2*s + 3 = s, -18 = 4*t + g*s. Is (8 - 5)/(t/(-509)) prime?
True
Suppose 3*g - 24 = 5*f, 3*g - 24 = -3*f + f. Suppose -59605 + 3053 = -g*h. Is h prime?
True
Is ((9/6)/(9/267))/((-16)/(-42464)) a composite number?
True
Suppose 9*x + 9954 - 26643 = 27114. Is x prime?
False
Let o(v) = 702*v**2 - 2*v + 3. Let d be (-16)/56 - 177/(-7). Suppose 5*g - d = -4*m, g + 2*g = 5*m - 22. Is o(g) a composite number?
True
Let j(g) be the first derivative of g**5/60 - 5*g**4/24 + g**3/6 - 7*g**2 + 18. Let y(o) be the second derivative of j(o). Is y(-9) a composite number?
False
Is (6 - -68)*15415 + -9 composite?
True
Suppose r = 2*h + 635891, 43*r - 40*r - 1907648 = h. Is r composite?
True
Let p(j) = 8987*j + 7483. Is p(104) prime?
False
Let g = -1174975 - -1694414. Is g a prime number?
False
Let s be (-2)/(-12) - (-16568)/(-48). Let f = s - -1107. Suppose -f = -2*r - 4*m, -2*r + m = -540 - 212. Is r a prime number?
False
Is ((-5)/(40/12))/(39/(-862654)) a composite number?
False
Let y(r) = -67*r - 50*r**3 + 4*r + 3*r - 6 + 31*r - 12*r**2. Is y(-7) composite?
False
Let o = -7 + 28. Suppose 10*p - o*p + 1419 = 0. Is p composite?
True
Let d(n) = 144*n**2 - 598*n + 15. Is d(-29) a composite number?
False
Let v(c) = -c**3 + 10*c**2 - 10*c + 17. Let i be v(9). Suppose -i*h - 18269 = -9*h. Is h a composite number?
False
Let j be -141*6/(144/(-536)). Suppose 2*h = p - 717, 4*p + 5*h - j + 268 = 