. Let v be y(-10). Is w(v) composite?
True
Suppose -1243 = -p - 10*p. Is p prime?
True
Suppose 3*r - 2*r = 8. Suppose o + r = 3*o. Suppose o*m - 7 = -23, -q = 4*m - 15. Is q prime?
True
Suppose 4*t = -5*d + 540, -5*t + 2*t = 5*d - 410. Suppose -t = 3*o + 44. Is 4 - o*(-20)/(-8) prime?
True
Let b(n) = 5*n**2 - n + 1. Let v be b(2). Let y = 160 - v. Is y a composite number?
True
Let s = -4 + 0. Let q be 2/(-4) + (-5234)/s. Let u = q + -815. Is u composite?
True
Suppose 0 = -5*u - 1 + 51. Suppose -13*i + u*i = -36. Is (i/(-30))/(1/(-1115)) prime?
False
Suppose -2 - 2 = -2*s. Let l(n) = 57*n**3 - n**2 + n + 2. Let h be l(s). Let o = h + -193. Is o prime?
True
Suppose -29 = -d - 0*d. Let p be d*((0 - -1) + 0). Suppose -3*o - 4*k + p = 0, 3*o - o + 3*k = 21. Is o a prime number?
True
Suppose 3*z = 5*z - u - 4, -2*u - 8 = -3*z. Suppose 4*s = -3*a, 0 = -s + 4*s - 2*a. Suppose s*o - o + 211 = z. Is o a composite number?
False
Suppose -180 = 5*z - 4*m + 750, -550 = 3*z - 4*m. Let d = 247 - z. Is d a prime number?
False
Suppose 4*b = 0, -4*j + 4*b + 37545 = -10435. Is j a prime number?
False
Let o be 2/4 + (-510)/4. Let j = -375 + 635. Let u = o + j. Is u a composite number?
True
Let c(p) = -52*p**2 - 5*p + 6. Let w = 9 + -2. Let r be c(w). Is (-2)/(-7) - r/21 a prime number?
False
Suppose 2*g - 7*g + n = 19, 0 = 2*g - n + 10. Is -27116*(g - -1)/(11 - 3) prime?
True
Let m(f) = 1824*f - 39. Is m(3) a prime number?
False
Let j = -1468 - -3381. Is j a prime number?
True
Let n = 71131 - 25329. Is n a prime number?
False
Suppose -5*f - 5*j - 22 + 7 = 0, -2*j = 5*f. Suppose -2429 = -3*h - f*l, 2*h - l - 2*l = 1628. Is h prime?
True
Suppose 5*n - 5*k = 8 + 7, -5*k + 10 = 0. Suppose -p + 5 = n*t, -3*p - 15 = -6*p + 5*t. Suppose -p*l = 209 - 2094. Is l a prime number?
False
Let k(c) = 16*c**3 - 24*c**2 + 35*c - 11. Is k(18) a composite number?
True
Is (-1714356)/(-105) + -6 + (-8)/(-10) a prime number?
False
Let x = -6773 + 22032. Is x a composite number?
False
Let f be (-1)/(-1) - 4 - 0. Let i(w) = -w**2 + 24 - 50 + 23 - w**3. Is i(f) prime?
False
Suppose d + 2352 = 4*t, 2*t + 2*d + 741 - 1907 = 0. Is t prime?
True
Let t be (-7 - -4 - 5)*(-1 - 25). Suppose c + 805 = 4*k + 2*c, 2*c = k - t. Is k a prime number?
False
Suppose 4*y = -7*x + 6*x + 15615, -15620 = -x - 5*y. Is x a composite number?
True
Is (-2)/(-9) - (-9495875)/1125 a prime number?
False
Is (0 + -52)*50259/(-132) a prime number?
False
Suppose -x - 3*t = 3*x - 9, x - 5*t - 8 = 0. Suppose 0 = -7*v + 14 - 0. Suppose -2*j + 242 = v*c, -x*j - 466 = -4*c + 2*j. Is c a composite number?
True
Suppose -r - h = -3*h - 180, -4*r = -h - 692. Suppose 0 = -5*p + 547 + 1278. Suppose 3*q = p + r. Is q a composite number?
False
Let n = -815 - 780. Let f = n - -4344. Is f prime?
True
Let r(g) be the first derivative of -g**4/4 + 7*g**3/3 + 7*g**2/2 + 11*g + 7. Let o be r(8). Is ((-4)/o)/(8/(-84)) a prime number?
False
Let h(a) = 5*a**2 + 2*a + 1. Let o be h(-1). Suppose -o*r = -0*r - 19868. Is r a prime number?
True
Is (-12 + 5403 + -10)*(-1)/(-1) composite?
False
Suppose -5*k + 2 = -4*z + 18, 5*k - 3*z = -12. Suppose -9*p + 8*p + 7 = k. Suppose -2*g + 3017 = -3*r, -p*g + 4*g + 4516 = 5*r. Is g prime?
False
Suppose -2*w = 5*w + 42. Is (-16653)/(-9) - 4/w a composite number?
True
Let u(z) = 317*z - 2. Let v(o) = -317*o + 2. Let g(i) = 5*u(i) + 6*v(i). Is g(-1) prime?
False
Suppose -2*f + 7*f = 170. Is f + -1 + (1 - -3) a prime number?
True
Let w(l) = 4*l**2 - 6*l + 9. Let s(o) = 2*o**2 + 2*o - 7. Suppose 2*v = -2*v - 12. Let k be s(v). Is w(k) composite?
False
Is -22 - -1727 - -4*(0 - -1) composite?
False
Let x(b) = -3*b**3 - 9*b**2 + 3*b - 3. Let s = 40 - 44. Is x(s) composite?
True
Suppose y - 3 = 3. Is ((-844)/y)/(12/(-18)) composite?
False
Let h = 128 - 125. Suppose -7674 = -h*k + 1653. Is k prime?
True
Let d(p) = p**3 + 5*p**2 - 7*p - 7. Let l be d(-6). Is ((-2)/(-6))/l - (-3224)/6 composite?
True
Suppose -2579 = -3*q + 2*m + 232, 5*q + 4*m = 4707. Let b = q + 164. Is b prime?
True
Suppose 2*m + 0 = -2. Let t = 8 + m. Let y(i) = -i**3 + 7*i**2 + 4*i - 6. Is y(t) a composite number?
True
Let y = 55952 + -25549. Is y prime?
True
Suppose -44899 = -3*t - 2*u, 2*t - 29930 = -5*u + 3*u. Is t a composite number?
False
Suppose -24*v + 28*v - 5*l - 1811 = 0, -3*l - 9 = 0. Is v composite?
False
Suppose -27*r + 796610 = 47*r. Is r composite?
True
Let h = -10 - -13. Let p(u) = -12 + 0*u - h*u - 4*u + 11. Is p(-2) a prime number?
True
Let u(w) = -12*w**2 - 2*w + 1. Let d be u(3). Let i = -449 + 617. Let g = d + i. Is g a composite number?
True
Let z = 29 - 41. Let r(c) = 11*c**3 - 17 - 19*c - 6*c**3 - 12*c**2 - 6*c**3. Is r(z) a prime number?
True
Let w = -131 + 185. Let j be (w/8)/((-6)/64). Let h = -19 - j. Is h composite?
False
Let z = -21 + 9. Let k(f) = -6*f + 9. Let o be k(z). Let m = o - 46. Is m a prime number?
False
Suppose -3*t + 3061 = -1022. Is t prime?
True
Is 1 + -2 - 2340/(-9) a composite number?
True
Suppose 261*k = 269*k - 60184. Is k prime?
True
Suppose -7*d - 154 - 56 = 0. Let h = d + 37. Suppose h*v = 3*v + 1276. Is v a composite number?
True
Suppose 1333 + 774 = -7*n. Is 4 + 2 + -8 - n a composite number?
True
Let v(x) = x**2 + 4. Let h be v(0). Suppose -2*t - 687 = -p, -t = -p + h*t + 693. Is p prime?
True
Let s = -196 + 460. Let i = s + 409. Is i a prime number?
True
Is 43620/40 + 14/(-4) prime?
True
Let k(m) = m - 3*m**2 - m**2 + 3*m**2 - 1010*m**3 - 15 + 16. Is k(-1) a prime number?
True
Suppose 9*d + 9947 - 42896 = 0. Is d a composite number?
True
Let d = -313 + 2916. Is d a prime number?
False
Let b be 7 - (-2 - (-2 + 1)). Suppose -b*z + 7*z + 5 = 0. Suppose -5*i = 3*o - 42, -3*o + o - z*i = -23. Is o composite?
False
Suppose -5*u + 152096 = 4*n, -5*u + u = -3*n + 114103. Is n a composite number?
True
Suppose 0 = -7*c + 5*c + d - 21, 4*c - d + 39 = 0. Let s(o) = -8*o**2 - 2*o**2 + 0*o - 6 - 10*o - o**3. Is s(c) a prime number?
True
Suppose -5*y + 2102 = -6453. Is y a prime number?
False
Let i = 205 - -5334. Is i composite?
True
Let a(q) = 2*q**3 + 3*q**2 - 2*q + 214. Is a(12) a composite number?
True
Suppose -6*u - 33210 = -9*u. Suppose -3*d = 2*d - 4*x + u, x = 2*d + 4428. Is 2*1 - d/6 a composite number?
True
Suppose h + 0*g = g + 18323, 0 = -5*h - 3*g + 91583. Is h a prime number?
False
Suppose -7*f + 65 = -2*f. Suppose -5*d + 17 = -4*w - 0*d, -3*w = -4*d + f. Is (w/(-6))/(1/178) composite?
False
Let s be (-1)/(-4) - 28/(-16) - -2. Let p(j) = 15*j**3 + 6*j**2 - 3*j + 2. Is p(s) prime?
False
Let m = -82 + 84. Is 5459 + (m - 3)*4 prime?
False
Let g = 147 + 794. Is g prime?
True
Let k(g) = 65*g**2 - 130*g + 31. Is k(-14) a composite number?
False
Suppose -3*g - 11947 = -2*c, -2*c = c + 3*g - 17958. Is c a composite number?
False
Is 36/8 + -3 - (-801781)/38 composite?
False
Suppose -22*z = -6293 - 2001. Is z a prime number?
False
Suppose -14*z = -7*z - 347641. Is z a prime number?
True
Let g = -3 - -9. Suppose -889 + 26 = -n - 3*x, -3*x - 3407 = -4*n. Suppose -g*y - y = -n. Is y a prime number?
False
Suppose 3935 + 3371 = 13*c. Is c composite?
True
Suppose 10722 = -k + 3*k. Suppose -j = 4*x - k, 508 = 5*x - 2*j - 6203. Suppose -6*a - x = -9*a. Is a prime?
False
Let x(n) = n**3 - n**2 - n - 8. Let o be x(0). Let j(s) = -2*s**3 - 11*s**2 - 10*s - 11. Is j(o) composite?
False
Let i(y) be the first derivative of -17*y**4/24 - 5*y**3/3 - y**2/2 + 3. Let a(q) be the second derivative of i(q). Is a(-9) prime?
False
Let h(j) = 57*j. Let v be h(1). Suppose -4*w = -w - v. Is w a prime number?
True
Suppose 5052 = 3*j - 5*k, -9*k = 5*j - 4*k - 8380. Let a = -214 + j. Is a a prime number?
False
Let a = 2031 - -2240. Is a a composite number?
False
Is (-499)/((-64)/20 - -3) composite?
True
Let b be 4*(-2 - 15/(-6)). Let n be -2 + b*(-138)/4. Let l = 78 - n. Is l composite?
False
Is (-2)/3 + ((-2953706)/(-42))/23 composite?
True
Let l = 31 + -24. Suppose 2*q + 237 = l*q + 2*m, -46 = -q + m. Is q composite?
False
Suppose 15*v = 7*v + 7040. Suppose -5*a - 2*g = -6*a + v, -875 = -a - 3*g. Is a prime?
False
Let k(c) = -6*c**3 - c**2 - c + 26689. Is k(0) composite?
True
Let t = 23 + -12. Suppose 14*u - 1551 = t*u. Is u composite?
True
Let j = 54 - 62. Let s = j - -67. Is s composite?
False
Let t(n) = n + 97. Let w be