
False
Suppose -2*d = -6*d + 12. Suppose -2*f = -7*k + d*k + 322, 3 = -f. Is k composite?
False
Let m be (1 - 1)*(-4 - -5). Suppose 0 = 2*z - r - 420, m = -2*z - z - 2*r + 637. Is z a composite number?
False
Suppose 65 = 2*b - b. Is b a prime number?
False
Let u(q) = 2*q**2 + 9*q - 13. Let i = -35 + 25. Is u(i) a composite number?
False
Is (-1567)/(-4) + 3/(-4) a composite number?
True
Let x(q) = -3*q - 6. Let h be (10/15)/(4/(-42)). Is x(h) prime?
False
Let j(i) = -i**2 - 7*i - 4. Let f be j(-6). Suppose -p - 161 = -5*v + 3*p, 3*v - 79 = -f*p. Suppose v = l + 4. Is l a composite number?
True
Let l(x) = 5*x - 2. Is l(11) prime?
True
Suppose -478 = 4*n + 370. Let m = n - -413. Is m a composite number?
True
Let m(a) be the third derivative of 67*a**4/24 - 11*a**3/6 - 10*a**2. Is m(4) a composite number?
False
Suppose -3*m - 25 = -8*m, -3*j = -4*m + 20. Suppose j - 4 = -2*g. Let c(y) = 49*y - 1. Is c(g) prime?
True
Suppose 0 = -d + 4184 - 933. Is d prime?
True
Suppose -5*n + 257 = 4*l, -4*n + 222 = -8*l + 3*l. Is n prime?
True
Suppose -4*d = -3*b - 276, -b - 57 = 2*d - 195. Is d composite?
True
Let t(g) = -2*g**3 + 5*g**2 + 3*g - 5. Let b be t(4). Let v = b + 76. Is v composite?
True
Let v(l) = 2*l**3 - 9*l**2 + 8*l + 8. Is v(7) prime?
False
Suppose -2*h + 56 = 12. Is h a composite number?
True
Suppose 0 = 4*i - 30 + 10. Suppose 200 = s + i*k, 0 = s + 4*s + 2*k - 931. Is s a prime number?
False
Suppose 2*n + 547 = 3*n - 3*c, -2*n - 4*c = -1074. Is n a prime number?
True
Let d = -268 - -665. Is d a prime number?
True
Let g be 9/2*6/9. Suppose -d + g*a - 20 = -5*d, 3*a = 0. Suppose 0 = 2*o + 3*o + d*p - 1455, p + 857 = 3*o. Is o composite?
True
Let o(j) be the first derivative of 3*j**2 - 5*j + 4. Suppose -3*z = -2 - 1, -2*n + 15 = 3*z. Is o(n) prime?
True
Suppose 818 = 2*u + 5*w, 146 + 1550 = 4*u - 5*w. Is u composite?
False
Let y(q) be the first derivative of -29*q**2/2 + q - 18. Let h be 1/1 - (-18)/(-2). Is y(h) composite?
False
Suppose 0*z = -4*m + 5*z + 321, 3*m + 3*z - 234 = 0. Is m a composite number?
False
Suppose 0 = -j, -j + 140 = 5*i + 2*j. Let s(x) = -74*x + 1. Let t be s(-1). Suppose -5*y = -5*m + t, y - i = -4*m - 3*y. Is m composite?
False
Let t be 175*(-1 + 3) + 2. Let h = -99 + t. Is h composite?
True
Let s = 217 + 78. Is s a prime number?
False
Let v be (2 - 0 - -5) + -2. Suppose -4*z + 995 = v*i, -i + 3*z + 251 - 33 = 0. Is i prime?
False
Let t be ((-6)/4)/((-1)/(-2)). Let p be (2 - 5)*118/t. Suppose 3*g = g + p. Is g a composite number?
False
Let r = -386 + 679. Is r composite?
False
Let g(i) be the first derivative of i**3/3 - i**2/2 + 15*i - 1. Let s be ((-8)/(-4) - 4) + 2. Is g(s) composite?
True
Let r be (0*2/(-6))/1. Suppose 340 = 4*b - 2*g - 2*g, -4*b + g + 352 = r. Is b a prime number?
True
Let v(g) = g - 1. Let m be v(0). Is m/((-1)/(-83))*-1 composite?
False
Let q(s) = -2*s**2. Suppose -v - 4*v - 5*y = -5, -2*y = -v + 1. Let b be q(v). Is -21*((-22)/(-3))/b a composite number?
True
Let b = 409 + -170. Is b a prime number?
True
Let j = -16 + 233. Is j prime?
False
Is 1 + 0 + 2 - -3446 composite?
False
Let y = -3 - -6. Suppose 0*v - 145 = -y*b + 4*v, -3*b + 117 = 3*v. Let m = -18 + b. Is m composite?
True
Suppose 13*u + 26789 - 104178 = 0. Is u prime?
True
Is 8708/10 + (-17)/(-85) prime?
False
Suppose -7*u + 6780 = -2*u - 5*c, 0 = 3*c - 15. Is u a prime number?
True
Suppose 6*n = n + 13075. Is n composite?
True
Let y(d) = 2*d. Let n be y(1). Suppose 0 = -3*t - n*t. Suppose t*o = -o + 79. Is o prime?
True
Let p = -254 + -7. Is (p + (-1 - 1))/(-1) a composite number?
False
Let c be (-1 - 1) + 3 + 6. Let v(p) be the third derivative of -p**5/60 + 5*p**4/12 - 5*p**3/3 - 11*p**2. Is v(c) prime?
True
Suppose -2*k - 3*z = -2*z - 5, 4*z - 8 = 4*k. Let u = 8 - k. Is u prime?
True
Suppose -2*w - 3*b + 0*b = -113, -3*b - 119 = -2*w. Let r = 91 - w. Suppose c - 4 = r. Is c a composite number?
False
Let d = 268 + -161. Suppose 4*a = -3*p + 45 + 91, p - d = -3*a. Is a a prime number?
True
Suppose -h + 390 = -0*h - 3*p, -2*p = -h + 387. Is h composite?
True
Let y = -154 + 257. Is y composite?
False
Let d = 1164 + -745. Is d prime?
True
Let z(a) = 35*a**2 - 3*a + 2. Let o be (1 + (-2 - -2))/1. Is z(o) composite?
True
Suppose 2*w - 5*w - 669 = 0. Let k be 4/(-2)*w/2. Let h = -128 + k. Is h a prime number?
False
Let t be 0/((3 + -4)*1). Suppose t = p - 0*p - 409. Is p prime?
True
Let m be 5*(27/15 - 3). Is (-3)/2*1004/m composite?
False
Is 0 + 158 - 36/(-12) a composite number?
True
Let l be (-12)/4*(133 - 2). Is l/(-12) - 2/(-8) composite?
True
Suppose -2*r + 5 - 11 = 0, -3*z = -r - 42. Suppose 5*d = -17 - z. Is (-207)/d*2 - 0 a prime number?
False
Suppose 1063 = 5*u - 4*l, 2*l - 426 = -2*u + 4*l. Is u a composite number?
False
Suppose 153 = 2*t - 381. Is t prime?
False
Suppose -535 = -3*o - 7*p + 3*p, -5*o - 3*p = -910. Is o a composite number?
True
Let r(z) = 378*z**3 + 2*z - 1. Is r(1) prime?
True
Suppose -4*r = -12 + 4. Let f be (-368)/(-5) + 2/5. Is (f/6)/(r/6) a prime number?
True
Suppose -8 = 2*q + 2*k, -k - 4 - 2 = -q. Let o be 1/3 - q/3. Suppose o = -3*h - 0*h + 159. Is h a composite number?
False
Suppose 4*y - 5*b - 512 = 0, 3*y + 0*b = -5*b + 419. Is y composite?
True
Suppose r + q = -3*r + 45, -4*q - 20 = -4*r. Suppose 5*p = -3*z - z + r, 0 = z + p - 2. Suppose -5*x + 3*x + 154 = z. Is x a composite number?
True
Let i = 428 - 195. Is i composite?
False
Let k(q) = q**2 + 7*q - 5. Let b be k(-8). Suppose 9*m = 5*y + 4*m, b*y + 5 = 4*m. Suppose y*z - 422 = 3*z. Is z a prime number?
True
Let m(l) = l**3 - 6*l**2 + l - 6. Let n be m(6). Let w be (n - 0) + 2 + 2. Suppose -2*d + 5*s = -4*d + 58, 64 = w*d - 3*s. Is d prime?
True
Suppose -4*s = -2*s + 10. Let f be (s/10)/(1/2). Is (-2)/4*(f + -69) prime?
False
Suppose 0 = -2*p + 4*s + 1030, 4*p - 2051 = -0*p + 5*s. Is p a composite number?
False
Suppose 0*x - 10 = -2*x. Suppose 5*c - j = 285, -x*c + c - j + 237 = 0. Let f = -27 + c. Is f a composite number?
False
Suppose 5841 = 4*y - 5*x, 3*y - 2*x - 2920 = y. Is y prime?
True
Let a = 56 + -54. Let f be -1 + 2 - (0 - 53). Suppose a*s = f + 104. Is s a composite number?
False
Let r(k) = k**3 - k**2 + k + 205. Is r(0) a composite number?
True
Let z(o) = o**3 + 11*o**2 + 11*o + 10. Let x be z(-10). Is 54 - (x - 1) - 2 a composite number?
False
Suppose i + 4 = 0, -3*i = -2*a - 2*a + 752. Is a prime?
False
Suppose -d = d - 10. Let m = d - -6. Is m a prime number?
True
Let d(r) = r**3 + r**2. Let p be 1*(6/3 - 3). Let j be d(p). Suppose h = -j*h + 55. Is h a prime number?
False
Let l(i) = i**2 - 9*i - 3. Suppose 2*n + n = 15. Suppose -n*c = -10*c + 50. Is l(c) a composite number?
False
Let c be -1 + 1 - -2 - -6. Let i be ((-3)/2)/((-6)/c). Suppose -i*h = 3*z - 3*h - 23, 2*h - 24 = -4*z. Is z a composite number?
False
Suppose 6*y - 929 = 1981. Is y a prime number?
False
Let x(b) = b**3 + 7*b**2 + 7. Let q be x(-7). Is (-786)/(-42) - (-2)/q a prime number?
True
Let o(b) be the third derivative of -b**6/45 + b**5/120 + b**4/6 - 2*b**2. Let d(q) be the second derivative of o(q). Is d(-2) composite?
True
Suppose 4*t - 2626 = 2*d, -640 = -t - 3*d - 2*d. Is t composite?
True
Let x(b) = b**2 - 30. Let k(s) = 1. Let g(n) = -5*k(n) - x(n). Let u be (-8)/20 - 4/(-10). Is g(u) prime?
False
Let q be (9/(-6) - -2)*2. Let j be ((-3)/q)/((-1)/1). Suppose -27 = j*s - 129. Is s prime?
False
Let h(p) = 281*p - 5. Is h(2) prime?
True
Suppose 4*l + l + 767 = 3*n, -n + 2*l = -257. Let m(c) = 28*c + 10. Let x be m(-5). Let k = n + x. Is k composite?
True
Suppose -4*a + 1380 = 4972. Let y = a + 1509. Is y a prime number?
False
Let c(o) = 3*o**2 - 8*o + 7. Suppose 5*p + 10 = -10, 0 = 3*q + 5*p + 2. Is c(q) a prime number?
True
Suppose -718 = -31*s + 29*s. Is s a prime number?
True
Let v(t) = t**3 + 4*t**2 + t + 9. Let g be v(-4). Let j = -274 - -673. Suppose g*h + 124 = j. Is h composite?
True
Is -3 + 4 + 254 + -2 a prime number?
False
Let c(y) = -11*y**3 + 4*y**2 + 3*y - 1. Is c(-3) prime?
False
Let j = 872 - 517. Is j composite?
True
Suppose 4*v - 16 = -4*b, 4 = -2*b + 5*v + 5. Suppose -3*o + z = o - 314, b*z - 164 = -2*o. Is o a prime number?
True
Let f(q) = -q**3 + 4*q**2 + q + 1. Let g be f(4). Let b = g + -2. Is b a prime number?
True
Suppose -3*o - 1 = 