site?
True
Suppose 0*q = 3*m + 4*q - 2, 26 = -m + 4*q. Let x(u) = 2*u + 2*u**2 - 7 + 3*u + 0*u. Is x(m) prime?
False
Let n = -26 + 18. Let z(h) = h**3 + 8*h**2 - h - 11. Let b be z(n). Is ((-134)/(-6))/(b/(-9)) prime?
True
Let m = 0 - -4. Suppose -4*u + 2*u + g + 41 = 0, m*g + 49 = 3*u. Is u composite?
False
Is (3 - 17/1)*573/(-6) prime?
False
Let j(m) = -8 + 0*m + 0*m - 4*m + 2*m. Let g be j(-7). Is ((-345)/g)/5*-14 a composite number?
True
Let c(g) = g**3 + 6*g**2 - 3*g + 5. Let h be c(-4). Suppose -3*f = -6*k + 4*k + 27, -3*k - 4*f = -h. Is k + -3 + 1 + 0 prime?
True
Is (19225/10)/(25/20) composite?
True
Suppose -370 = -15*l + 10*l. Is l composite?
True
Let g = 529 - -662. Is g prime?
False
Suppose c - 4 = -0. Suppose -2*f - m - 43 = 0, 72 = -c*f + f + m. Let u = -10 - f. Is u prime?
True
Is (-222)/(-4)*(-34)/(-3) a composite number?
True
Let d(y) = -429*y + 79. Is d(-8) a prime number?
True
Suppose -789 = -14*c + 11*c. Is c composite?
False
Let i(x) = -74*x + 8. Let h(m) = -25*m + 3. Let t(s) = -s**2 - s + 2. Let g be t(-3). Let c(o) = g*i(o) + 11*h(o). Is c(1) a composite number?
True
Suppose -l + g = -381, 0*l - 1148 = -3*l + 2*g. Let r = -259 + l. Is r a prime number?
True
Suppose 52*r = 49*r + 63. Is r a composite number?
True
Let h(t) = 1 + 3 - 3 + 13*t - 2. Let z be h(3). Is (z/(-10))/((-1)/5) prime?
True
Let v be (-1 + (-9)/(-6))*-2. Let q be v/(-1) - (-3 - -2). Suppose q*o + b - 66 = 5*b, o + 2*b - 17 = 0. Is o prime?
False
Suppose 2*c - 30 = -8. Suppose 0 = -9*u + c*u - 38. Is u a composite number?
False
Let r(l) = -3*l**3 + 12*l**2 + 2*l + 8. Is r(-5) prime?
True
Let f(n) = 6*n**2 + n + 1. Let j = -4 + 2. Is f(j) prime?
True
Suppose 4*d = -3*p - 0*d + 123, -4*p + 3*d = -139. Is p composite?
False
Suppose -2*r + 6*r = 4076. Suppose r = 3*f + 185. Suppose 2*w + 5*o - f = 97, -w + 183 = -2*o. Is w prime?
False
Let n(f) = -2*f**3 + f**2 + f + 2. Let l be n(2). Let p(r) = -r - 2 + r**2 + 6*r + r. Is p(l) prime?
False
Let i = -429 - -143. Let h = -167 - i. Is h a prime number?
False
Let k(h) = 23*h**2 + 2. Let w be k(-2). Let r(b) = -b**3 - 11*b**2 - 12*b - 3. Let p be r(-9). Let f = w + p. Is f a composite number?
False
Suppose -5345 = -5*a + 4*h, -4*h = a - 6*h - 1069. Is a prime?
True
Let f(l) = 2*l**3 + l**2 - 1. Let r be f(-1). Let j be r/(2 - 22/10). Suppose -j - 9 = -n. Is n prime?
True
Suppose 15 = -5*i, -5*q + 10277 = -3*i - i. Is q prime?
True
Is 2275/6 - 9/54 a composite number?
False
Let k = -2 + 4. Let o(i) = i**3 - i**2 + 1. Let d be o(k). Suppose -5*q - s = 23 - 200, d*q - s = 173. Is q prime?
False
Let m = 2106 - -397. Is m a composite number?
False
Let o(t) = 3*t**2 + 3*t + 7. Is o(-5) a composite number?
False
Let f be -2 - (1 - 0 - 1). Let v = 1 - f. Suppose v*q = -0*q + 3*a + 21, -5*q + 35 = -a. Is q composite?
False
Let r(d) = -6*d - 1. Let b be r(-1). Suppose -s - 4*s = 4*w - 42, -b*w + 32 = -4*s. Suppose -4*c = w, 3*l - 5*c - 121 - 30 = 0. Is l a prime number?
True
Is (-2986)/(-18) + 2/18 a composite number?
True
Let z(a) = 11*a - 15. Is z(16) prime?
False
Let k be 8/3 - 1/(-3). Suppose -6 = 3*y, 0*c + 493 = k*c - 5*y. Is c composite?
True
Let u(x) = x - 7. Let o be u(10). Let j = o + 11. Suppose -5*t + j = -3*t. Is t a composite number?
False
Let u be (-3)/(-1) - 10/2. Let p = 147 + u. Is p a prime number?
False
Let c be (-4)/(-1) - (-2)/(-2). Suppose -2*x - 3*h + 237 = 0, x + 8*h - 108 = c*h. Is x a composite number?
True
Let c be -8*(1/(-4) - 0). Suppose -n + c*r + 253 = 2*n, 2*n = 3*r + 167. Is n prime?
False
Let d(y) = -y**3 + 3*y**2 + 2*y + 2. Let z be d(5). Let i = 23 + z. Is 5/(i/(-6)) + 131 a composite number?
True
Suppose -3*w - 3*b + 143 = -109, -2*w - 5*b = -183. Is w composite?
False
Suppose 4*n - 8*n - 57 = -s, -4*s - 4*n = -288. Is s prime?
False
Let i(q) = -34*q + 1. Let c be i(-1). Let z = c + -12. Suppose -5*k - 20 = 0, 5*y + 2*k + z = 80. Is y composite?
False
Suppose 4*r - 19 + 3 = 0. Suppose -2*q + 8 = -6*q, q = -r*h + 6. Let s(u) = u**3 + 2*u**2 - 2*u - 1. Is s(h) prime?
True
Let n be (-1)/((-3)/9) + 1. Suppose n*x + 130 + 313 = 3*j, 4*j = -2*x + 598. Is j composite?
False
Suppose 5*o = -4*s + 930, 2*s - 180 - 274 = 3*o. Suppose -704 - s = -2*m. Is m prime?
True
Let s(g) = -4*g**2 + 2*g - 1. Let p be s(1). Is (p/2)/(6/(-844)) prime?
True
Let k be (0 - -1) + (465 - 3). Suppose a - k = -6*z + z, a = -2. Suppose -y + z = 2*y. Is y composite?
False
Let n = 0 - 2. Let a = 7 + n. Suppose -a*j = -3*t + 137 + 80, 2*t - 154 = j. Is t a composite number?
False
Let b(r) = -r - 4. Let x(d) = d**3 + 2*d**2 - d + 1. Let l be x(-3). Let p be b(l). Suppose -90 = -g + p. Is g composite?
True
Let v(s) = -6*s - 21. Is v(-12) a prime number?
False
Let l(u) = 982*u - 3. Is l(2) composite?
True
Suppose -14 = k - 4*r + 16, -4*k - 66 = 2*r. Let p be (-21)/(-2 + 15/9). Is (-257)/(-7) - k/p a composite number?
False
Is 20/60*2674*6/4 a prime number?
False
Suppose -16*v = -19*v + 231. Is v prime?
False
Let c = -6 + 8. Suppose -n + 4*a = -11, c*n + 0*n + a = 22. Is n a composite number?
False
Suppose 0 = 3*d - 0*d - 177. Is d a composite number?
False
Let g(t) = -t**3 + 7*t**2 + 3. Let n be g(6). Suppose 0 = 2*x - 99 - n. Is x composite?
True
Let h(v) = -33*v**3 + v**2 + 5*v + 4. Let m(y) = -y**2 + 7*y - 3. Let z be m(7). Is h(z) composite?
True
Suppose -4*c = 7 + 13. Let i(x) be the second derivative of x**4/12 - 2*x**3/3 + x**2 + x. Is i(c) a composite number?
False
Let b(f) be the second derivative of f**5/20 - 7*f**4/12 + f**3/2 - 4*f**2 + f. Suppose -5*j + 3*m = -29, 10 = 3*j - 2*m - 7. Is b(j) composite?
False
Let v(g) = 410*g**3 - g**2 - g + 1. Is v(1) a composite number?
False
Suppose 0 = 2*u + 4*y + 60, 2*y + 70 = -2*u - 0*y. Is (69/(-12))/(2/u) composite?
True
Let f(z) = 15*z**2 - 5*z - 2. Is f(4) composite?
True
Let f = 5 + -14. Let v(m) = 10*m + 5. Let q(d) = d + 1. Let b(s) = 6*q(s) - v(s). Is b(f) prime?
True
Let l = 124 - 47. Is l prime?
False
Let i(w) = w**3 + w**2 + w - 75. Let s be i(0). Let k = s + 112. Is k composite?
False
Suppose 3*b = 1 + 5. Let q(y) = 28*y**3 - 2*y**2 + 1. Is q(b) a prime number?
False
Let z(x) = x + 6. Let j be z(-9). Let b = 3 - j. Is b prime?
False
Let x(i) = i**3 - 4*i**2 + 2*i - 6. Let g be x(4). Suppose -6*u = -g*u - 332. Is u a composite number?
False
Let r(n) = 7*n. Suppose 2*j + 2*j + 24 = 0. Let v = 11 + j. Is r(v) a composite number?
True
Let u(c) = 2*c**2 + 8*c + 6. Let h be u(-5). Suppose 2*z - h = -2*z. Is z a composite number?
True
Let h = 0 - -4. Let a(o) = 8*o**2 - 5*o + 4. Let y be a(3). Suppose -d + y = c - 11, -h*c = -2*d + 174. Is d composite?
True
Let i be 1/(-3)*(-31 + 13). Is 3296/10 + i/(-10) composite?
True
Let x(a) = 369*a + 37. Is x(6) composite?
False
Let k be (-2 - (-10 + -2))/2. Suppose 0 = -3*i - z + 3, -19 = -k*i + 3*z. Suppose -10 = 5*s, i*x + 2*s = -0*x + 16. Is x prime?
False
Is (0 - (-44 + 1))*1 composite?
False
Suppose 0 = -5*n + 4*f + 5, 4*f - 1 = -3*n + 2*n. Let o be 6/(-4)*(5 - n). Is o/(-27) - 1166/(-18) prime?
False
Suppose -4*s - 4 = -2*i, 0 = 4*s - 3 - 1. Let b = 15 + i. Is b a prime number?
True
Suppose -4*l + 137 = -251. Let w = l + -30. Is w a prime number?
True
Let n(i) = -2*i**2 + 8*i**2 + 2*i**3 - 4*i + 2 + 2. Let p be n(4). Suppose 2*c - p = -2*c. Is c prime?
True
Let w be ((-4)/3)/((-2)/3). Let m be 11/2 + w/(-4). Suppose 5*j = -2*r - m, 0*r + r - 5*j = 35. Is r a composite number?
True
Let y be (-14)/(-21) + (-2)/(-6). Suppose t - 100 - y = -2*k, -4*t + k + 368 = 0. Suppose -2*h + 2*a + 54 = -132, h - t = -3*a. Is h prime?
False
Suppose 0 = 2*l - 0*l. Suppose 0 = 3*w + 4*x - 135, -2*x + 92 = 2*w - l*x. Is w a prime number?
False
Suppose -3*d + 3*f + 694 - 124 = 0, 3*f + 379 = 2*d. Is d a prime number?
True
Let r be -1 + (-3)/(3/(-1)). Suppose 5*p = 23 + 2, r = q + p - 19. Is q composite?
True
Let m(g) = -8*g**2 + 12*g + 0*g**3 + g**3 - 11 + g**2. Let s be m(8). Suppose -f = -2*f + s. Is f a prime number?
True
Suppose -2 - 2 = 2*o - 5*l, -3*l = -2*o. Let y = -9 + o. Is (-52)/y*(-6)/(-2) a prime number?
False
Let a = 2061 + -1000. Is a a prime number?
True
Suppose -3*v - 20 + 7 = -m, 4*v = -3*m + 26. Let i = 20 - m. Is i a composite number?
True
Is (1512/3 - 1) + -4 prime?
True
Let u(k) = -114*k**3 - 2*k**2 + 1. Suppose 1 