-10*p. Is p composite?
False
Suppose 5*r + 11 = 3*x, x + 5*r = -1 - 2. Let g be (-12)/(-4) + (1 - 1) - -2. Suppose -g*o + 1 + 9 = -2*s, -x = 2*o - 2*s. Is o a prime number?
False
Suppose -9*j = j - 5450. Is j a prime number?
False
Let p(y) = -2*y + 119. Is p(0) prime?
False
Suppose c + 174 = 4*m, 4*c + 223 = 5*m - 0*c. Is m prime?
True
Let f be ((-3)/((-9)/(-12)))/(-1). Suppose 5*s = 10, 5*p - 73 = f*s + 134. Is p a composite number?
False
Let p = 3 - 2. Let w = p - 7. Is (-2 + 3/w)*-26 prime?
False
Let b(d) = -4*d - 3. Let x be b(-2). Suppose -x*s - 30 - 5 = 0. Is 60*2 - (s - -4) composite?
True
Suppose -475 = -i + 94. Suppose t - 700 = -5*l + i, -3*t - 1273 = -5*l. Is l a composite number?
True
Let k(t) = 2*t**2 - t - 4. Suppose 5*p - 5*q - 60 = 0, p + 16 = -4*q + 3. Is k(p) a composite number?
True
Let a = 58 + -27. Is a a prime number?
True
Let w = 220 - 155. Suppose -3*u - w = -4*x + 110, -3*x = -2*u - 132. Suppose -k + x = k. Is k composite?
False
Let u be (-462)/8 + (-3)/12. Let y = -133 - u. Let m = y + 152. Is m a prime number?
False
Let k(h) = -513*h - 76. Is k(-5) prime?
False
Suppose k = -2*x + 2996, 0 = 2*x + 3*k - 8*k - 2984. Is x prime?
False
Suppose -2*s - s - 21 = 0. Let b(f) be the first derivative of -6*f**2 - 5*f - 5. Is b(s) prime?
True
Is 1475 + ((-24)/(-6) - 8) composite?
False
Let o(g) be the third derivative of -g**6/120 + g**5/12 + g**4/6 - g**3 + 4*g**2. Is o(5) a prime number?
False
Suppose -f = -0*f + 53. Let j = -26 - f. Let k = j - 12. Is k a prime number?
False
Is (273/(-28) + 8)/(2/(-9208)) prime?
False
Let g = -75 - -178. Is g a prime number?
True
Let x(w) = 95*w**2 + 3*w. Let s be x(4). Suppose 4*n - s = 416. Is n a prime number?
True
Let i be 1*-9*104/(-3). Let r = i - 185. Is r composite?
False
Let n = 979 + 6198. Is n prime?
True
Let l be -5 - 3 - (1 + -2). Let c(u) = u**2 + 7*u + 3. Let x be c(l). Suppose -x*g + 2*b + b = -168, 2*g = b + 109. Is g a composite number?
False
Let b = -31 + 95. Suppose 4*g + b - 363 = -5*t, g = 4*t - 235. Is t composite?
False
Let n be 2/(-2 - (-36)/21). Let u(c) = -c - 4. Let i be u(n). Suppose -98 = -i*k + k. Is k composite?
True
Suppose 9 + 9 = 3*i. Suppose -i*p + p + 920 = 0. Let o = 273 - p. Is o a composite number?
False
Let o = -28 - -94. Suppose -15*s - o = -18*s. Is s composite?
True
Let f(m) = -m**2 + 4. Let b be f(0). Suppose -3 - 1 = -b*l. Is (l/1*-7)/(-1) prime?
True
Let p(m) = -m**3 + 8*m**2 - 7*m - 8. Let b be p(7). Let l = b + 6. Is 1 + 2 + 48 + l prime?
False
Let d = -3 - -2. Let c(y) = -y**3 + y**2 - 1. Let i be c(d). Is i*21*1/3 prime?
True
Let t be (-3)/15 - (-62)/10. Suppose t*d = 3*d + 4*a - 23, 5*a - 22 = 3*d. Let o = d - -42. Is o a prime number?
False
Let w = -1018 + 2133. Is w a composite number?
True
Let s(m) = 7*m**3 - 6*m**2 + 7*m - 8. Let v be s(6). Is (-2)/(7/(v/(-4))) composite?
True
Let g be (-22)/(-2*(-1)/(-41)). Suppose -5*c = -f + 145, 3*f + 3*c = 2*c + g. Suppose -j + 0*j + 4 = 0, -f = -2*p + 2*j. Is p composite?
False
Let y = 1940 - 903. Is y a composite number?
True
Let y(k) = 42*k - 3 + 3. Let w be y(1). Suppose 0*m + 2*f + w = 3*m, -2*m = 4*f - 28. Is m composite?
True
Let i(a) be the third derivative of a**6/120 + a**5/5 + a**4/12 + 4*a**3/3 - a**2. Is i(-9) prime?
True
Let m = -1 - -3. Let t be 1 + (4 - (m + -1)). Is ((-2)/t)/(1/(-74)) composite?
False
Let q(x) = 9*x**3 - 3*x**2 + 2*x - 3. Suppose 10 + 5 = 5*r. Let y be q(r). Suppose t - 2*a = y, -3*t = 6*a - a - 613. Is t a composite number?
False
Let m be 3/6 + (-6)/(-4). Let l be 3 + -2 - m - -107. Suppose 0 = -2*d - 10, 2*d = -3*c + d + l. Is c composite?
False
Let y(m) = -6*m**3 + 3*m**2 - m - 17. Is y(-4) a prime number?
True
Let f be (-2)/6 - 480/(-36). Is (41 - f)*(-142)/(-8) a prime number?
False
Let j = -1323 + 4930. Is j a prime number?
True
Let k(m) = 6*m**2 - 2*m - 1. Let d be k(3). Let n(s) = -s**3 - 12*s**2 - 10*s + 10. Let i be n(-11). Is (2 + i)*d*1 a composite number?
False
Let r(q) = 11*q**2 + 3*q + 4. Let s be r(-5). Suppose 5*u = 4*x - 207, 0*x = -5*x + u + s. Is x a composite number?
False
Let u(o) = -12*o + 4. Suppose -a = a + 18. Let v be u(a). Suppose -v - 13 = -4*r - c, -3*r + 88 = -5*c. Is r a prime number?
True
Let n = 5 - 20. Let z = -43 - -17. Let h = n - z. Is h a composite number?
False
Suppose -v - 2 = v. Let s(q) = 156*q**2 - q. Is s(v) composite?
False
Let n(b) = -b + 1. Let z be n(0). Let w be -441*2/(z - -1). Is (1/(-3))/(3/w) composite?
True
Let z(x) = 4*x - 5*x - 2*x**2 + 4*x + 3*x**2 - 3. Is z(5) a composite number?
False
Suppose 2*q + k + 1 = 0, 0 = 5*q - k - 3*k + 9. Let z(f) = -65*f**3 + 0 - 4 + 3 - f. Is z(q) a prime number?
False
Is (-2 + 4 - 3/1)*-2941 a prime number?
False
Let a(u) = -35*u - 4. Let p(h) be the third derivative of -3*h**4/2 - 5*h**3/6 - 3*h**2. Let x(l) = 7*a(l) - 6*p(l). Is x(-3) prime?
True
Let l = -379 + 542. Is l a composite number?
False
Let x(o) = -o + 1. Let k be x(-4). Suppose -k*b - h = -2*b - 562, 3*b - 2*h = 559. Suppose -l = -0*r - 5*r + 184, -5*r - 2*l = -b. Is r composite?
False
Let y(x) = 2*x**2 + x + 4. Let s(v) = -v + 2. Let h be s(-7). Let m = 6 - h. Is y(m) a composite number?
False
Let z be (-1 - (-11)/2)*-2. Let x be (-780)/z - (-4)/(-6). Suppose 0 = -4*b + 5*o + x, 0*b - 66 = -4*b - 5*o. Is b a composite number?
False
Suppose -28 = 5*k - b - 0*b, 26 = -3*k - 4*b. Let v be 38*(-3)/k + -1. Let n = 32 - v. Is n a composite number?
True
Let n(z) be the first derivative of z**2/2 + 18*z + 2. Let t be n(-9). Is t/(-3) + 1 + 151 a composite number?
False
Let f(n) = n**2 - 14*n + 7. Let k be f(14). Suppose -k*r + 190 = -5*r. Is r a prime number?
False
Is 319/(-1*(-4)/4) a prime number?
False
Suppose 0 = -5*x + 119 + 456. Is x prime?
False
Let d = -25 - -452. Is d prime?
False
Suppose 3*y + 0*y = 4*t - 1570, 0 = t - 5*y - 401. Is t composite?
True
Suppose 6*t = 1452 - 18. Is t prime?
True
Suppose -2*n + 3*n - 130 = m, m + 523 = 4*n. Let x be (-2 + n)/((-6)/(-4)). Suppose 0 = -2*p + 8, 5*o - 2*p - x = 181. Is o a prime number?
False
Let s be (4 - 3)/(3/1395). Suppose 5*c + 40 = s. Is c composite?
True
Let n(t) = -t**3 + 2*t**2 + 4*t + 4. Suppose 1 + 4 = d. Suppose 0 = d*w - 10*w - 15. Is n(w) a composite number?
False
Let k = 781 - 392. Is k a composite number?
False
Let i(p) = p + 18. Let n be i(-16). Suppose -4*f - n*l + 1206 = 0, 4*l - 2 = 2. Is f a prime number?
False
Suppose -g - 25 - 63 = 0. Let j = g - -125. Is j composite?
False
Let p(t) = t**3 - 9*t**2 + 5*t + 6. Let a be p(9). Suppose -a = 2*f - 125. Is f a prime number?
True
Suppose -2*x = -3*w - 929, -3*w - 1133 - 265 = -3*x. Is x a composite number?
True
Let f(h) = -55*h - 3. Is f(-4) a prime number?
False
Suppose -14 = -2*o - 3*m, -4*o + 5*m - 10 = -38. Suppose -3*p = -o*p + 148. Is p composite?
False
Suppose 0 = s + 3*m - 572, -m - 2*m - 554 = -s. Is s a composite number?
False
Let z(p) = p + 16. Let u be z(-11). Suppose q + q + u*k = 82, 2*q + 2*k = 70. Is q a composite number?
False
Let t(g) = 11*g**2 + g - 1. Let q be t(1). Let k be q/4 + 4/16. Suppose -2*i - 4 = 0, 2*i = 4*c - k*c - 19. Is c a prime number?
False
Let z(b) = -394*b + 1. Let t be z(-1). Let c = t + -204. Is c composite?
False
Let p(n) = 24*n**2 + 4*n + 2. Let s be p(4). Suppose 0*m = 2*m - s. Is m a prime number?
False
Let t(c) = -7*c - 1. Let k be t(1). Let a be (k/6 - -1)*-3. Is a - -12*9 - 0 a composite number?
False
Let u = 31 - 19. Suppose 2*r - 20 = 4*n - 4, n + 14 = 3*r. Suppose 0 = -0*s + r*s - u. Is s composite?
False
Let l(q) = q**3 + 9*q**2 + 9*q + 9. Let c be l(-8). Let z = c - 1. Suppose g - 20 + 9 = z. Is g composite?
False
Suppose -6*c + 13*c - 7301 = 0. Is c prime?
False
Let g = 1 - 0. Is 137 + (-4 - (g + -2)) a prime number?
False
Suppose 3*j - 3 + 18 = 0, -643 = -3*m + 2*j. Is m a prime number?
True
Is ((-431)/(-2))/(2/4) a composite number?
False
Let i(m) = -m**3 - 5*m**2 + 3*m + 2. Let a be i(-5). Let s = 1 + a. Is (-3)/s + (-507)/(-4) a prime number?
True
Suppose -3*q + 2*v - 7*v + 3762 = 0, 5*q - 4*v - 6307 = 0. Is q a composite number?
False
Let z be (-23)/(-5) - 2/(-5). Suppose -z*v - 4*q = -19, v - 4*q + 2 = q. Suppose u - v*u + 102 = 0. Is u a prime number?
False
Is 1/(-6)*14*-3 composite?
False
Let n be (-56)/70*30/(-4). Let l(i) = 11*i**3 + 2*i