s ((-4)/12)/(p/(-1497)) composite?
False
Let t(n) be the second derivative of n**4 + 4*n**3/3 - 5*n**2/2 + 8*n. Is t(5) prime?
False
Suppose -5*w = -3*o - 69566 + 15334, -2*w - o = -21695. Is w composite?
False
Let r(l) = -l + 8. Let f be r(-19). Suppose f = j - 32. Is j a prime number?
True
Suppose -r - 15091 = 2*m - 5*m, 0 = -4*m - 2*r + 20118. Suppose 4*k - m + 562 = 0. Is k a composite number?
False
Let s be (-1 - 0/2)*608. Let a be 32880/(-35) - 9/(-21). Let n = s - a. Is n composite?
False
Suppose 2*u + 3844 = 20288. Is u a prime number?
False
Suppose 52081 - 9391 = 30*z. Is z composite?
False
Let p(o) = 77*o**2 + 13*o + 2. Is p(7) composite?
True
Let w(f) be the third derivative of 0 + 1/12*f**5 + 0*f**4 - f**3 - 2*f**2 + 0*f. Is w(-5) prime?
False
Suppose 0 = -2*d + 3 + 3. Suppose -d*r - 232 = 4*i, i = -2*i - 12. Is (-16)/r + 1141/9 composite?
False
Let r = 22932 - 1795. Is r prime?
False
Let i = 9009 + 14744. Is i composite?
False
Suppose -127 + 1184 = t + 2*n, 0 = -5*t - 2*n + 5261. Suppose -8*y + t = -1821. Is y prime?
True
Let v be (-3 - -4)*3 + 6/(-2). Suppose v*s + 6*s = 5214. Is s prime?
False
Let k = 37 - -112. Let y = 61 - k. Is -2 + 1 - 0 - y a prime number?
False
Is (1 + 385)*1 - -5 a composite number?
True
Let q(m) = 27*m**2 + 7*m + 2. Let a be q(-5). Suppose a = -w + 266. Let t = 669 + w. Is t composite?
False
Let p(h) = 6145*h - 313. Is p(11) prime?
False
Let p(w) = w**3 - 10*w**2 + w - 7. Let k be p(10). Suppose -2*c = k*c - 785. Is c a composite number?
False
Suppose -4*x + 9*x = -15, -4*x = 3*v + 9. Is v*1/2 + (-5910)/(-12) a prime number?
False
Let t = 25735 - 6614. Is t composite?
False
Let p(r) = -19*r**2 + 10*r - 11. Let s(y) = -39*y**2 + 19*y - 23. Let z(o) = -7*p(o) + 3*s(o). Is z(11) prime?
True
Suppose -3*o + 4000 = 4*q, -1408 + 427 = -q + 4*o. Is q composite?
False
Suppose -4*x + 2*x = 12. Let h be x/3*2/(-2). Is -148*h/((-32)/20) a composite number?
True
Let k(c) = 112*c**2 + 21*c**2 + 3*c + 5 - 28*c**2. Is k(-2) a prime number?
True
Is -5 + -42*(-149 - 2) a composite number?
False
Suppose 36 = -4*y + 48. Suppose 2*g - 201 = -y*k, 10*g - 7*g - 304 = -5*k. Is g composite?
True
Is -5 + -1 + (47741 - -176) a prime number?
True
Suppose -4*k = -2*k + 400. Suppose 3*y = -204 - 681. Let w = k - y. Is w prime?
False
Let a(f) = f**2 - 3. Let m be a(-3). Suppose -3*g - m = -5*g. Suppose -i + 2*t = -4*i + 1109, -5*i - g*t + 1849 = 0. Is i a composite number?
True
Suppose 2*n - 508 = -0*n. Suppose -2*u + 4*v + n = 0, -5*v + 224 = 4*u - 284. Is u prime?
True
Is 4 + (-4)/8*-2954 a prime number?
True
Suppose -8*j - 2*c + 30355 = -7*j, -5*j = 3*c - 151810. Is j prime?
False
Let u be ((-36)/(-10))/(14/(-35)). Is (1 - -1394) + (-5 - u) prime?
True
Let v(m) = m - 1. Let x(r) = -45*r + 3. Let q(u) = 2*v(u) + x(u). Let i be q(6). Is i/(-3)*3 + 2 a prime number?
False
Suppose -64173 = 172*z - 175*z. Is z prime?
True
Let q(t) = 38*t**3 + 3*t**2 + 2*t. Is q(5) composite?
True
Let q(x) = -3794*x - 43. Is q(-4) prime?
False
Let v(i) = 3*i + 2. Let b be v(0). Suppose -2*u = j - 4, u + 2 = b*u. Suppose j = -3*h + 18 + 45. Is h a composite number?
True
Suppose -5*f + 2*f = -2*g + 11, 18 = g - 4*f. Let m(y) = 239*y**2 - 5*y + 9. Let s(v) = 80*v**2 - 2*v + 3. Let c(d) = 4*m(d) - 11*s(d). Is c(g) composite?
True
Is 1621*47/9 - 42/189 a prime number?
False
Let k = 18121 + -9898. Is k prime?
False
Let h(y) = 2*y - 8. Let j be h(6). Let i be 0/(-2) + -9 + (5 - 0). Is (i/6)/(j/(-762)) composite?
False
Suppose -4*q + 3*o - 92 = 0, 0 = -q + 2*q - o + 24. Is (q/12 - -2)*993 prime?
True
Let p = 64 + 130. Let z be 1*123/2*2. Let n = p + z. Is n a composite number?
False
Suppose 0 = -10*v + 50078 + 24752. Is v a composite number?
True
Suppose k - 2*o + 5 = 2, 0 = 5*o - 15. Is k*88 + (3 - 2) a prime number?
False
Let j = 10336 - 7037. Is j composite?
False
Let b = 22 - 62. Let a be (0 + 3)*b/(-30). Suppose 8*u - 476 = a*u. Is u composite?
True
Suppose 0 = -30*w + 28*w + 642. Is w composite?
True
Let j = -7132 - -14171. Is j a composite number?
False
Let p = -99 + 95. Is 284/8 + 10/p prime?
False
Let s = -63820 + 118071. Is s a prime number?
True
Let c = -7485 + 13258. Is c a composite number?
True
Suppose x - 2*b - 9 = b, -4*x = 2*b + 6. Let g = 2 - x. Suppose -2*n = -3*z - 250, 3*z - 246 = -g*n + 5*z. Is n composite?
True
Let h(m) = 2*m**3 - 4*m**2 - 6*m + 5. Let o be h(5). Let t = o - 82. Let k = -22 + t. Is k a composite number?
True
Let v(i) be the third derivative of -19*i**6/360 + i**5/120 + i**4/8 + 2*i**2. Let x(y) be the second derivative of v(y). Is x(-2) composite?
True
Let p = 145 + 226. Is p a composite number?
True
Let z be (1*2/(-1))/1. Suppose 0 = 6*s + 3*s + 81. Let c = z - s. Is c a composite number?
False
Let x be (-3122 + -3 + -1)*(-1)/1. Let c = x - 1727. Is c a prime number?
True
Let y(g) = -1357*g + 10. Is y(-1) a composite number?
False
Let p = -67 + 70. Suppose 2*b + 10841 = p*g, -2*g = b - 5789 - 1429. Is g a composite number?
True
Suppose -31681 = -3*b - 4*x, -2*b - 4*x = -2*x - 21120. Is b a prime number?
True
Is (69/(-9))/((2 + -5)/6147) composite?
True
Let i(l) = -67*l + 3. Let s be i(3). Is s/(-4) + (-9)/(-6) a prime number?
False
Suppose -r = -3*g + 4193, 4*r = g - 5*g + 5612. Is g a prime number?
True
Let v(x) = 55*x**2 - 5*x - 5. Let g be v(-5). Suppose -2*l + n = -715, -4*l - 4*n + g = n. Is l composite?
True
Suppose -3*t + 827 = -1033. Suppose -w + 137 = -2*d, -w - t = -6*w - 3*d. Is w prime?
True
Let k be (4/6)/(4/(-18)). Let t(n) = -n + 1. Let s be t(k). Suppose -s*x + 121 = -595. Is x composite?
False
Suppose 16411 = 3*m - h - h, 2*m + 2*h - 10944 = 0. Is m composite?
False
Suppose 0 = -3*g + 193 + 986. Suppose 2*p - g = 137. Is p a composite number?
True
Let b(f) = -f**3 + 5*f**2 - f + 6. Let d be b(5). Let j be (0 + -2)*d - -2. Suppose j*o = -o + 49. Is o prime?
False
Let b be (4/(2 + 2))/(4/20). Suppose -t + 4*k - 3925 = -6*t, -4*t = b*k - 3140. Is t a prime number?
False
Let a = 5 + -4. Let z(x) = -5 + 29*x - 1 + 7*x + 5. Is z(a) prime?
False
Suppose 0 = -2*l + 11*l + 27. Is 682/2*(l + 20/5) a composite number?
True
Let t = -28 - -31. Suppose -8*g + t*g + 1115 = 0. Is g a prime number?
True
Let a(r) = r**3 - 5*r**2 + 4*r + 3. Let w be a(4). Suppose -w*k = -3*o + 477, -k + 151 = o + 2*k. Is o composite?
False
Let s = -59 + 61. Is -4 + (s/2 - (2 - 598)) composite?
False
Is 512/(-64) - -35*185 composite?
True
Suppose -l + 3*l - 2*o - 6 = 0, 2*o = -6. Let g = l + 6. Suppose 16 + g = 2*t. Is t a prime number?
True
Let m = -152 - -449. Suppose 2*j + m = -j. Is 4/(-18) - 24871/j composite?
False
Let y be (-33)/(-6)*(-188)/2. Let s = y - -986. Is s prime?
False
Is (9/(-3))/(3/(-11499)) a prime number?
False
Is 5747/((4/(-3))/(-4)*3) a prime number?
False
Suppose 10655 = 7*y - 2*y. Suppose 2*a - g = -363 + 1783, y = 3*a - 2*g. Is a prime?
True
Let f(p) = 78*p**3 + 1 + 2*p**2 + 15*p**3 - 18*p**3 - 2*p + 69*p**3. Let h be f(1). Let k = 312 - h. Is k prime?
True
Let x(p) = 5*p**2 - 7*p + 55. Suppose 3*y = 4*h - y - 32, 0 = h + y - 4. Let m(q) = -q**2 + q. Let v(s) = h*m(s) + x(s). Is v(0) a composite number?
True
Let o(m) = -2*m**3 + 4*m**2 - 13*m - 7. Suppose -9 = -0*n + n + p, n + 15 = -3*p. Is o(n) composite?
False
Let w = 11 - 6. Suppose 0 = c + 3, -w*h + 2*c - c = -418. Suppose -4*j + h = -2*j + 3*l, 5*j - 5*l - 220 = 0. Is j a prime number?
True
Is (6501067/(-1348))/((-3)/(-4) - 1) composite?
True
Suppose -2 - 6 = 2*w. Is (-15*w/8 + -1)*382 a prime number?
False
Suppose -6226 - 1031 = -3*q. Is q composite?
True
Let w(n) = -666*n - 1. Let a be w(-4). Suppose -v + 6 = 1. Suppose -v*u + a = -692. Is u a prime number?
False
Let y(u) = 359*u + 74. Is y(7) a composite number?
True
Suppose 25918 = 3*u + r, -3*r + 10726 = 5*u - 32464. Is u a composite number?
False
Is ((-3868)/(-8))/(6/4 - 1) a composite number?
False
Let h(a) = -19*a**3 + 14*a**2 - 19*a - 25. Is h(-9) a composite number?
False
Let f = 91 - 88. Suppose -4*q + 8 = 0, -u - f*q = -833 - 906. Is u composite?
False
Let p(x) = 11*x + 0*x - 6 + 3*x. Let d be p(6). Suppose -2*w = -5*w + d. Is w a prime number?
False
Suppose 0 = 4*l + 4*k - 736, -3*l - 3*k = -l - 368. Let d(i) = -i**2 - 102. Let c be d(0). Let z = l + c. Is z prime?
False
Is 1/17 + 90546120/24