 4*u - 2 + 3. Let q be f(-3). Is 1*(q - -1)*11 a prime number?
True
Let s(n) = 5*n - 3. Is s(5) a composite number?
True
Suppose -1 = -o + 5*p - 3, 5*p + 7 = 4*o. Suppose -32 - 7 = -o*r + 3*i, -2*i - 56 = -5*r. Is r prime?
False
Suppose -3*l - 4*o + 382 = 0, 2*o = 4*l + 3*o - 531. Is l a prime number?
False
Let s(n) = -4*n**3 + 2*n**2 + 4*n - 1. Let a(v) = -5*v**3 + 3*v**2 + 5*v - 2. Let y(x) = -2*a(x) + 3*s(x). Is y(-3) prime?
False
Suppose 226 = 2*z + 36. Let t = z - -90. Is t composite?
True
Let a(x) = x + 4. Let v be a(-2). Suppose 0 = -n + v*n - 35. Is n a composite number?
True
Let g = -946 + 1395. Suppose 5*k - 3*t - 763 = -0*t, 3*k - g = 4*t. Is k a composite number?
True
Let i be (-6)/(2 + -5) + -17. Let a = i - -30. Is 136/10 - (-6)/a prime?
False
Let b be 32/(-18) - (-4)/(-18). Let z be (-147)/b + (-2)/4. Let c = -47 + z. Is c composite?
True
Suppose 2*q + 3*c + 1312 = 0, -5*c + 230 + 439 = -q. Let u = q - -1012. Is u a prime number?
True
Suppose 2234 = 2*m - 3*f, 5*f = -2*m + 1341 + 893. Is m a prime number?
True
Let k(f) = -11*f + 14*f**2 - 15*f**2 + 11 + 2*f. Let t be k(-10). Is t - (-2 + 3 + -33) a composite number?
True
Suppose -2*w - 306 = -2*x, -3*w = -5*w. Suppose -x = -2*c - c. Is c a composite number?
True
Let m(a) = -10*a + 2. Let t be m(3). Is 3/(-2*2/t) prime?
False
Let s be ((-12)/9)/(1/3). Is ((-10)/(-3))/(s/(-66)) composite?
True
Suppose b = -2*b + j + 5679, -5*b = -j - 9465. Is b a prime number?
False
Suppose -2 = -w, 5*l - 2*w - 291 = -0*w. Is l a composite number?
False
Let j(g) be the first derivative of -17*g**2/2 - 3*g - 1. Suppose 4*d + 0 = -8. Is j(d) a prime number?
True
Let p = 36 + -110. Is (-30)/(-12)*p/(-5) a composite number?
False
Let r(v) = 5*v - 3*v + 2*v**2 + 3 - v**2. Let s be r(-2). Suppose u = 1, -s*z + 0*u + 96 = 3*u. Is z prime?
True
Suppose 2*a + 842 = 2*p + 242, -310 = -p + 3*a. Is p a prime number?
False
Let f be 3/(-12) - 33/12. Is ((-46)/f)/(20/90) composite?
True
Suppose 905 = 3*r + 2*r. Suppose c = 5*f + 195, 3*c - 4*c - 2*f = -r. Is c a composite number?
True
Let j be 2/(-5) - 102/(-30). Let y be (-2)/(-2) - (j - 155). Let i = -86 + y. Is i composite?
False
Suppose -3*n + 241 = -638. Is n a composite number?
False
Suppose 0 - 28 = j. Let y = j + 8. Let b = y + 97. Is b composite?
True
Let c be 0/(-3) - 2 - -2. Let h be -1 + 3 + c/(-2). Is -2*(237/(-6) - h) a composite number?
False
Is (15/5)/(3/251) a composite number?
False
Let a(d) = d + 3. Let q be a(6). Let j(f) = -f**2 + 9*f + 6. Is j(q) prime?
False
Let c(z) = 2*z**2 + 2*z + 7. Let x(r) = -r**2 - 7*r. Let d be x(-5). Let q = 15 - d. Is c(q) composite?
False
Let d = -15 - 11. Let r = d - -47. Is r a prime number?
False
Let v be 309/2*(-16)/(-6). Suppose -w = w - v. Suppose 29 = 5*i - w. Is i composite?
False
Suppose -4*c - c + w = 30, 6 = -c - 4*w. Let v = 9 + c. Suppose 0 = l - v*q - 47, q + 2 = 4. Is l prime?
True
Let v = 8 - 5. Let o be (-1)/(v/2 - 1). Let j(x) = -10*x**3 + 2*x**2 + 2*x + 1. Is j(o) prime?
False
Suppose 0 = 4*m - 48181 + 8033. Is m a prime number?
True
Let s(z) = -z + 1. Let d(j) = 8*j + 2. Let x(o) = d(o) - 4*s(o). Is x(2) prime?
False
Let h be 3/7 - 184/(-28). Is (-2)/h + (-606)/(-14) a prime number?
True
Let z(p) = -p - 6. Let l be z(-9). Suppose -4*y - y = -2*n + 286, -l*n = 2*y - 391. Is n composite?
True
Let w(x) = 31*x**2 - x + 1. Let b be 1 + (-4)/2 - -2. Is w(b) prime?
True
Is (-3188)/(-6)*18/12 prime?
True
Let y(z) = -z**2 + z - 1. Let d be y(1). Let b = 13 + d. Let n = 253 + b. Is n composite?
True
Let m(c) = 2*c + 12. Let y be m(-9). Let l(j) = -j**3 - 7*j**2 - 4*j - 6. Let w be l(y). Is (-85)/(-6) + 3/w a prime number?
False
Suppose 1128 = -p - 2*p. Let i = 630 + p. Let u = -93 + i. Is u a composite number?
True
Let y(j) = -j**2. Let r be y(0). Suppose -k + 431 = -r*k. Is k composite?
False
Let f = 0 - 1. Suppose -2*y - 5*d = -42, 6*y - d - 40 = 2*y. Is y - f - (0 - -1) composite?
False
Let g(b) = -258*b - 17. Is g(-9) prime?
False
Let a be 0 + -6 - 0/3. Suppose -4*b = -2 - 6. Is a/(-2) - -56*b a prime number?
False
Let o = 139 - 347. Let m = 357 + o. Is m prime?
True
Is (-4)/12*3*-166 a prime number?
False
Let n(y) = -101893*y. Let u(g) = -649*g. Let j(v) = -3*n(v) + 472*u(v). Is j(-1) prime?
False
Let g = 237 - 96. Is g a prime number?
False
Let a(n) = -15*n**3 - 2*n**2 - n. Suppose -m - 1 + 2 = 0. Suppose 0 = z - 0*z + m. Is a(z) a prime number?
False
Suppose -4*u + 74 = -2*u. Is u a composite number?
False
Let w = 21 + -7. Suppose 5*m + k = -0*m - 42, 4*k = -5*m - 48. Let l = m + w. Is l a prime number?
False
Let b = -387 - -734. Is b a prime number?
True
Let r be -54*(-2 - (-14)/4). Let x = -16 - r. Is x a prime number?
False
Suppose -2*h = 109 + 31. Let q = -115 - h. Let m = q - -70. Is m a composite number?
True
Let g be (3 - 36/4)*2. Is (2 + 513/g)*-4 a prime number?
True
Let a(c) = c - 5. Let y be a(5). Suppose 2*b + 2*b + 8 = y. Is (b - 33)*(-3 - -2) composite?
True
Suppose -78 = -3*j + j. Suppose -j = -o + 88. Suppose 3*q = -4*c + 341, -q + o = -0*c - 2*c. Is q prime?
False
Let k(h) = 2*h. Let d be k(-1). Is (-29)/d*100/10 composite?
True
Let m(s) = 4*s**2 - 3*s. Suppose 31 + 9 = 4*j. Let r be (16/(-20))/((-4)/j). Is m(r) composite?
True
Suppose 0 = 3*z - 4*a - 15, 5*z - 2*a = 19 + 6. Suppose z*w - 1 - 9 = 0. Suppose x - 699 = -w*x. Is x a composite number?
False
Let b be 2/(-4)*0 - -3. Let l be 2 + (2 - (1 + b)). Is (0 - l) + (-1 - -11) a prime number?
False
Let j(d) = -d - 2. Let a be j(-5). Let y = 13 + -11. Is a/y*(-210)/(-9) composite?
True
Suppose -5*h = h - 6330. Is h prime?
False
Let w = -3885 + 5526. Is w composite?
True
Let q be -3 + (1 - 2)*31. Is (-3 - -10)/((-2)/q) prime?
False
Suppose 4*n = 2*i - 242, -116 = 4*i - 5*i - 3*n. Is i a composite number?
True
Let b(p) = -p**3 - p**2 - 5*p - 4. Let l be b(6). Let z = l - -692. Suppose c = 3*g + 197, -3*g = -2*c - 0*g + z. Is c prime?
False
Suppose -4*u + 3 + 5 = 0. Suppose -x - 95 = -3*f, -f - u*f + 111 = 3*x. Let i = -14 + f. Is i composite?
False
Suppose -3*y + 43 = -3*j - 35, -5*j + 31 = 2*y. Suppose -f = -2*c + 11 + 7, -3*c = -4*f - 47. Let s = y + f. Is s a prime number?
False
Let w = 1070 - 103. Is w a composite number?
False
Suppose 3*n = -9, -3*m = -4*m + 4*n - 14316. Is 2/10 + m/(-60) prime?
True
Let v(h) = -h**3 + 5*h**2 - 5*h + 3. Let x be v(3). Suppose 2 = 2*d + x. Let z = d + 9. Is z composite?
False
Is (1 + -3)*-1*(-537)/(-6) composite?
False
Let l be (-3)/(-2 - (0 + -3)). Let a = l + 51. Let d = -2 + a. Is d a composite number?
True
Let g(l) = -l**3 + 3. Suppose 2*a + 8 = -0. Let p be g(a). Suppose 2*u - 3*c - 149 = 0, u - p = -4*c + 8*c. Is u a prime number?
True
Suppose -x + 862 = -6647. Is x a composite number?
True
Let s(k) = k**3 + 21*k**2 + 7*k - 1. Is s(-16) composite?
True
Suppose 252 = 4*g - 5*c + 75, -5*g = c - 243. Let k = g - 13. Is k composite?
True
Let q(w) = -w**2 + 6*w - 4. Let a be q(4). Suppose b + 2*g = 201 - 20, a*b = g + 769. Is b composite?
False
Let g(y) = -y**2 - 18*y + 3 - 1 - 6. Let o be g(-8). Suppose z - 35 = o. Is z a composite number?
True
Suppose -3*m + 0*y = -y - 11, 4*m - 14 = y. Suppose 3*p + 4*h = -17 + 46, 31 = m*p + 5*h. Is p a prime number?
True
Is ((-6)/18)/(2/(-354)) a composite number?
False
Let z be (-4672)/(-36) - 2/(-9). Suppose -2*m + z = 3*m. Is m a prime number?
False
Let k(d) = 68*d**2 + d. Let y be k(-2). Let b = y - 139. Is b composite?
False
Suppose 38 = -3*q + 1883. Suppose 0*v + q = 5*v. Is v a composite number?
True
Suppose 4*s = 8 + 4. Suppose 3*v - 15 = -5*y, -s*y + v - 5 = -0*y. Suppose -m - 3*m + 60 = y. Is m prime?
False
Let b(f) = f**3 + 2*f - 2*f - 4*f**2 + 0*f + 1 - 3*f. Is b(5) prime?
True
Suppose -2*y + 3 = -3*w - 3*y, 0 = -4*y - 12. Suppose -2*v + 91 + 47 = w. Is v composite?
True
Suppose -3*a - 3*b + 1662 = 0, -b - 833 - 266 = -2*a. Is a composite?
True
Let l(s) = s**3 + s**2 - 33. Let h be l(0). Let a = h - -64. Is a a composite number?
False
Suppose 0 = b - 5*b. Suppose 3*l - 8 = 5*l, b = -p + 2*l + 33. Let s = -12 + p. Is s a composite number?
False
Let m = -5 - -9. Let w = -4 + m. Is (-7)/(2 - w - 3) a composite number?
False
Let f(i) = -2*i. Let b be f(-3). Is (447/6)/(3/b) a prime number?
True
Let n = 589 + -143. Is n a prime number?
False
