a prime number?
True
Suppose -861 = -29*f + 26*f. Is f prime?
False
Let x = -3 + 6. Let v be (118/5)/(x/15). Is (-3 - 7/(-2))*v prime?
True
Let f(q) = 2*q**2 + 4*q - 17. Let k(c) = -c - 4. Let z be k(8). Is f(z) a prime number?
True
Suppose -4*r + 0*i - 4 = 4*i, 2*r = -i + 2. Suppose -924 = -3*g - r*o - 159, 0 = -o - 4. Is g a composite number?
True
Let n(s) = -s**2 + 6*s - 3. Let o be n(5). Suppose -5*p = -15, 3 = -4*x + o*x + 5*p. Is (-25)/(-3)*x/2 a prime number?
False
Let x = 598 - 179. Is x prime?
True
Suppose -137 - 546 = -q. Is q composite?
False
Suppose -o + 5*j + 89 = 0, 4*o - 3*o + 4*j = 89. Is o a prime number?
True
Let n(l) = l - 2 - 3*l - 1. Let y be n(-3). Suppose 0 = -2*t + y*t - 2. Is t a prime number?
True
Is (49 + 2)*28/12 a composite number?
True
Suppose 0 = y - 0*y + 7746. Let v be y/9 - 2/6. Is v/(-28) - 1/(-4) prime?
True
Let l(t) = -t**3 - 8*t**2 + 9*t + 1. Let b be l(-9). Is b - (-2 + 4) - -180 prime?
True
Is (-2)/((-12)/(-9))*(-252)/27 composite?
True
Let k(f) = 8 + 94*f - 19 + 10. Suppose -2*h + 6 = h. Is k(h) prime?
False
Suppose 19*v = -811 + 4497. Is v a composite number?
True
Suppose -20*f + 21*f - 4037 = 0. Is f a composite number?
True
Is (3/(-9))/(2/(-738)) a prime number?
False
Suppose -h - 2*h - 195 = -3*n, 5*h + 5*n = -285. Let k = 103 + -5. Let z = k + h. Is z composite?
False
Suppose 4*o + 32 = -4*u, -13 - 7 = 2*u + 3*o. Let d(j) = j**3 + 0*j + 4*j**2 + 17 + 21 - 3*j - 39. Is d(u) a prime number?
True
Suppose -d + 30 = 4*d. Suppose -21 = -j - 4*w - d, -5*j - 3*w = -92. Is j a prime number?
True
Let m = 93 + 614. Is m prime?
False
Suppose -4*u + 8 = -0*u. Let r(o) = -15 - 5*o - u*o + 14. Is r(-2) prime?
True
Let m(x) = x**3 + 12*x**2 - 9*x + 2. Let a be m(-9). Suppose 0 = -0*q + 2*q - a. Is q a composite number?
False
Suppose a = 5, 130 - 20 = b + 3*a. Is b a composite number?
True
Is (-12)/90 + 2014/30 a prime number?
True
Suppose 94 + 160 = 2*q. Is q prime?
True
Suppose 0 = -7*k + 6403 + 5910. Is k composite?
False
Let p(x) = 5*x**3 + 2*x**2 + 3*x + 1. Is p(3) a composite number?
False
Suppose -k - 5*g - 6 = 1, 4*k + 13 = -5*g. Is (-4 - 2/k) + 296 a prime number?
True
Let m(v) be the second derivative of v**4/3 - v**2/2 + 2*v. Let b be m(-1). Suppose 55 = n - b. Is n a composite number?
True
Let s(n) = -5 - 3 + 1 - n**3 + 7*n + 4*n**2. Let p be s(5). Suppose -37 + 16 = -p*u. Is u a prime number?
True
Let j = 782 - 291. Is j prime?
True
Let s be (-24)/(-10) + 4/(-10). Suppose j - 4 = -s. Suppose -j*a - 234 = -6*a + 2*f, 3*a - f - 176 = 0. Is a prime?
True
Suppose 0 = -v - 4*v + 20. Suppose -o + v*p = -325, -2*o + p = -o - 319. Is o a prime number?
True
Suppose -2*a + 7*a + 3*s - 3145 = 0, 0 = -3*a + 4*s + 1887. Is a composite?
True
Let c = -2 - -3. Let t = 66 + c. Is t composite?
False
Suppose -438 = s - 4*s. Suppose -n = -177 - s. Is n prime?
False
Suppose -3112 = -10*b + 2*b. Is b composite?
False
Suppose 0*j = -4*j + 568. Is j composite?
True
Let i(z) be the first derivative of -z**4/4 - 10*z**3/3 + 2*z**2 + 11*z + 2. Let n be i(-9). Let l = 191 + n. Is l a prime number?
False
Let q be 3680/12 - (-1)/3. Suppose -q + 1562 = 5*m. Is m prime?
True
Let y be -3 + 2 + 305 - 0. Let a = y - 159. Is a a composite number?
True
Let u be 6*((-53)/(-3) + 0). Suppose 476 = 2*g + u. Let f = g - 54. Is f a composite number?
False
Suppose 3*k + 69 = t, 0 = 4*t + 3*k + 1 - 277. Is t prime?
False
Suppose -2*h + 2 = 0, 0*s - 2*s = -2*h - 288. Is s a composite number?
True
Let k(w) = w**2 - w + 3. Let o be k(0). Let x(b) = o*b**2 + 0 - 3*b - b**2 + 1. Is x(2) a prime number?
True
Let y(w) = -w**2 - 1. Let c be y(-3). Is 8/c*645/(-6) composite?
True
Let i be 1/(-2 + (-33)/(-15)). Suppose -i*a + 136 = -a. Is a a composite number?
True
Suppose 0 = -2*z - 4*k + 486, 4*z + 3*k = -0*z + 982. Is z a composite number?
True
Let i(m) = 3*m**2 + 8*m + 3. Let w be i(-7). Suppose 6*k = 5*k + y + w, -k + 92 = y. Suppose -o + r + 21 = 0, 3*r - 2*r - k = -5*o. Is o a composite number?
False
Is -3*97*28/(-12) prime?
False
Suppose -5*r + 25 = 5*s - 3*s, 17 = 4*r + s. Is (r/3 + -2)*-19 prime?
True
Let z(f) = -78*f + 1. Is z(-1) a prime number?
True
Let z = 71 + 698. Is z prime?
True
Let x = 0 - -4. Suppose -232 = -x*v - 20. Is v a composite number?
False
Is 3/12 + (-2975)/(-20) prime?
True
Is (-15346)/(-10) - (-22)/55 a prime number?
False
Let p(x) = 98*x + 4. Let v(y) = -98*y - 3. Let o(b) = -4*p(b) - 3*v(b). Is o(-3) composite?
True
Suppose -2*i + g + 462 + 347 = 0, 0 = 5*i + 3*g - 2006. Is i a composite number?
True
Let j(s) = 3*s**3 + 14*s**2 - 19*s - 4. Let k(p) = 4*p**3 + 21*p**2 - 28*p - 6. Let o be -1 + 2 - 4*-1. Let h(x) = o*k(x) - 7*j(x). Is h(5) prime?
True
Let l be (1/2)/(1/6). Suppose 4 = 3*d + 3*m + 13, -2*d + l*m = -9. Let k(p) = p**2 + 21. Is k(d) prime?
False
Let y(a) = -a - 3. Suppose 2*r + 0 = 3*h + 2, 5*h - 1 = -r. Let b be y(h). Is 21 + (-6)/b - 2 prime?
False
Let y(o) be the first derivative of 5/2*o**2 - o**3 + 1/4*o**4 + 4*o - 1. Is y(5) composite?
False
Let g = -12 - -16. Suppose -j + g*u + 137 = 0, -u = j + 4*j - 706. Is j a composite number?
True
Suppose -2*d = -u + d + 2, 4 = u - 4*d. Is u/14 + (-675)/(-35) composite?
False
Suppose -p + 0 = -4. Suppose p*j - 270 = 2*j + 4*i, -j = 5*i - 107. Is j a prime number?
True
Let f(p) = 2*p. Let x be f(2). Suppose 0*u + 102 = 2*u + x*w, 4*u - 2*w = 204. Is u a prime number?
False
Let c be (5/(-2))/(3/18). Let x = 49 + c. Is x composite?
True
Suppose 3*b = -3*z + 807, 5*b - 12 = -3*z + 1335. Suppose -4*x + b = -2*x. Suppose -4*d = x - 875. Is d prime?
False
Suppose r - 385 = -4*h, r = -1 - 2. Is h a composite number?
False
Is (-28)/49 + 23122/14 a composite number?
True
Let z be 1/(3/(63/3)). Let f be (0 + z)/(2/6). Suppose -5*c + f = -89. Is c prime?
False
Let p(a) be the first derivative of 34*a**2 - a + 4. Is p(1) a composite number?
False
Suppose 0 = 2*h + h + 66. Let y = -9 - h. Is y composite?
False
Let q(d) = -d**3 - 7*d**2 - 7*d - 8. Let z be q(-6). Is -1*(-209*1 + z) a prime number?
True
Is (-7)/(-5 - 784/(-157)) composite?
True
Suppose -4*u - u - 4*t - 17 = 0, -3*u = 4*t + 7. Let r(m) = 11*m. Let j be r(u). Let z = j - -152. Is z prime?
True
Let q(o) = -o**3 + 3*o**2 + 5*o - 4. Let a be q(4). Suppose -4*b + 10 + 2 = a. Is b a prime number?
True
Suppose -30 = -5*o + 1385. Suppose -2*k + 193 = -0*k + 3*r, -2*r = -3*k + o. Is k composite?
True
Let i(p) = 562*p**2 - 2*p - 1. Is i(-1) prime?
True
Suppose 0 = -3*d - 5*l + 669, -d + 2*l = 78 - 301. Is d a composite number?
False
Let u = -60 - -99. Let f = -6 + u. Is f a prime number?
False
Let g = 845 + 201. Suppose 182 = 4*c - g. Suppose 4*p + 0*p + 16 = 0, -q = -3*p - c. Is q prime?
False
Suppose 0 = r - 2*r + 2. Suppose 0 = 4*c + 5*u - 215, r*u + 274 = 5*c + 3*u. Is c prime?
False
Let d(o) = -3 + 5*o - 5*o - 6*o. Let r be d(-3). Suppose r = 3*u - 6. Is u prime?
True
Let q(d) = -8*d**3 - 3*d**2 + 8*d + 4. Let b(n) = 7*n**3 + 3*n**2 - 7*n - 4. Let r(k) = -5*b(k) - 4*q(k). Is r(-5) a prime number?
False
Suppose -3*u + 50 = 2*u. Let k(m) = u*m**2 + 2*m**3 - m**3 - m + 10*m + 5. Is k(-6) a composite number?
True
Let m be 51/(0 + 1) + -3. Suppose 5 = 4*s + 3*v - 2*v, -4 = -3*s - v. Let u = m - s. Is u a composite number?
False
Let i be ((-15)/(-3))/(1/62). Suppose 9*s - 4*s = i. Is s composite?
True
Suppose 97 + 3 = 4*o. Let h be o/4*24/3. Let v = h + -35. Is v a prime number?
False
Let m be (-5)/(-10) - (-30)/4. Is (-16)/m*199/(-2) a composite number?
False
Let i = -19 - -168. Is i a composite number?
False
Suppose -3*a + 4*a - 3 = 0. Suppose -a*u - 165 = -6*u. Is u a prime number?
False
Let h = -3 + 5. Let o = -1 + -2. Is ((-4)/o)/(h/33) prime?
False
Let r be 0 + 1 + 1*2. Let p = r - 3. Suppose 4*g + 5*j + p*j = 87, -3*j = 3. Is g prime?
True
Let q(j) be the second derivative of -j**5/20 + 5*j**4/12 + j**3/6 - j**2/2 - j. Let t be q(5). Suppose 4*x + t*u - 48 = 3*u, 4*u + 29 = x. Is x prime?
True
Suppose 0*k - 3*k + 15 = -2*x, 4*k - 20 = -4*x. Suppose u - 2*t - 73 = x, 2*u + 3*t = 112 + 69. Is u a prime number?
True
Let z be (-10)/(-4) + 2/(-4). Let t(h) = 4 + 3*h - 4 + h**z + 3. Is t(-6) a prime number?
False
Suppose -6 = -2*r - 0*r. Let y = r + -4. Is (-474)/(-9) + y/(-3) a composite number?
False
Let j = 489 - -1790