*7 a prime number?
True
Let g(w) = -w**3 + 7*w**2 - 4*w - 4. Let x be g(6). Suppose x*c - 3 = 7*c. Is c composite?
False
Suppose n = 8 + 32. Suppose -4*z = -280 - n. Suppose -4*o + d = -3*d - z, 0 = -4*o - d + 85. Is o a prime number?
False
Let z(n) be the first derivative of n**3/3 - n**2 - n + 3. Let a be z(4). Suppose a*u - 4*u = 111. Is u a prime number?
True
Suppose 0 = 2*f + 2*f - 4292. Is f prime?
False
Let g(j) = j**2 + 6*j + 2. Let c be g(-4). Let h(p) = -p**2 - 8*p - 7. Let u be h(c). Suppose -u*n + 154 = -651. Is n composite?
True
Let x = 350 + -209. Is x prime?
False
Let r(v) = -4*v + 2. Is r(-3) a prime number?
False
Suppose 4*m + 5 = 5*m. Let y be (19 + m)/((-6)/(-4)). Is y + 1 + -2 - 2 a composite number?
False
Suppose -h + 5 = -5*h - 5*v, 0 = -5*h - 2*v - 2. Suppose -b - 2 + 33 = h. Is b a prime number?
True
Suppose g = 3*g - 18. Let v(i) be the first derivative of 2*i**3/3 - 7*i**2 + 13*i - 1. Is v(g) composite?
True
Suppose 2*b = 5*b + 213. Suppose -8*x - 154 - 230 = 0. Let f = x - b. Is f a composite number?
False
Let s(z) = -z + 34. Let f(y) = y - 34. Let o(n) = 6*f(n) + 7*s(n). Is o(0) prime?
False
Suppose -4*c - 16 = 3*b, 5*c - 3*b = 29 - 76. Let i(l) = 3*l - 7. Let g be i(c). Let s = g + 61. Is s prime?
False
Let w(a) = 4*a**3 + a**2 - a + 1. Let c be w(1). Suppose 4*n - 1797 = c*i - 0*i, -1309 = -3*n - 4*i. Is n prime?
True
Let r(q) = -q**2 + 2. Let b be r(0). Suppose 0 = -b*c + g - 6*g - 20, 2*g + 8 = 0. Suppose c = -z - 9 + 30. Is z prime?
False
Suppose -5*v - 26 + 166 = 0. Suppose -5*p = q - v, 12 = 3*p - 3. Suppose -255 = -4*u + 5*w, -u + 6*u = q*w + 322. Is u composite?
True
Let m(j) = 55*j**2 - 5*j + 9. Is m(4) a prime number?
False
Suppose 0 = 2*l - 4*g + 6 + 2, -5*g = 5*l - 10. Suppose 4*s + v - 14 = l, -3*s + v + 7 = -0. Suppose 0 = -4*n - 0*k + k + 319, s*n = 5*k + 252. Is n composite?
False
Let v(h) = h**2 + 1 - 1 + 6*h. Let q = 16 - 9. Is v(q) prime?
False
Let w(r) = -12*r + 1. Let l be w(8). Let c = l - -246. Suppose -k + 4*u + c = 0, 0*u + u + 660 = 5*k. Is k prime?
True
Let i(m) = -m**2 - 9*m + 4. Let c be i(-9). Suppose -2*s - b + 2086 = -c*b, 2102 = 2*s + b. Is s prime?
True
Let v(i) be the second derivative of 1/3*i**3 + i - 1/20*i**5 + 0 + 2/3*i**4 - i**2. Is v(5) a composite number?
False
Suppose -5*f + 5*v + 5 = 0, 0*f + 2*f + 3*v = 7. Suppose 2*w + 4*t - 502 = 0, f*t + 522 = 2*w + t. Is w a prime number?
False
Let c be 0 + -2 + (-88)/4. Let l be (1179/(-6))/(9/c). Suppose l = 10*s - 6*s. Is s a composite number?
False
Let l = 4 + 1. Suppose 3*t + 50 = i, 2*i - 4*t = l*i - 189. Is i a prime number?
True
Suppose 1093 = -7*i + 7946. Is i a composite number?
True
Suppose 0*b + 2*b - 254 = 0. Is b composite?
False
Let y(r) = r - 1. Let g be y(3). Suppose g*k - 3*w - 822 = -k, -5*w = 20. Let z = -127 + k. Is z a prime number?
False
Suppose -3*q + 2*q = -2. Suppose q*a - 22 = a. Is a a composite number?
True
Let p(t) = -54*t**3 - t**2 - t - 1. Let u be p(-1). Suppose 5*f - 12 = u. Is 6/3*f/2 a prime number?
True
Suppose 0 = 10*m - 21849 - 25001. Is m a prime number?
False
Let p = -633 + 1280. Is p prime?
True
Let u(p) be the second derivative of p**3/6 - 4*p**2 - 2*p. Let w be u(-7). Is (-9)/w - (-182)/5 prime?
True
Let g(d) = d**3 - d + 1. Let x(j) = -5*j**3 - 6*j**2 + 8*j - 3. Let q(f) = -6*g(f) - x(f). Let t(i) = -i**3 + 7*i**2 - 5*i - 2. Let b be t(6). Is q(b) prime?
False
Let x be 10/6*(0 + -3). Let b be (-1)/x - (-28)/10. Suppose -b*q = -80 - 37. Is q composite?
True
Is (-3870)/(-26) - 8/(-52) a composite number?
False
Let m(k) = -7*k**3 + k**2 + k - 1. Let n be m(1). Is (-4)/n*165/2 composite?
True
Suppose 0 = -34*k + 29*k + 17045. Is k composite?
True
Suppose -10 = 4*o + 5*u, 4*o + 2 = -u - 0. Suppose -3*j + f + 195 = 4*f, 2*j - f - 133 = o. Suppose x - j = -x. Is x prime?
False
Let n(z) be the first derivative of z**3/3 + 3*z**2 + 4*z + 3. Is n(-9) a prime number?
True
Let x = -315 - -568. Is x prime?
False
Let k be 24*((-6)/4)/(-1). Let t = k + 10. Is t prime?
False
Is (-495811)/(-207) + (-4)/18 composite?
True
Let k(s) = -3*s - 4. Let m(o) = 4*o - 3*o + 3 + 2*o. Let u(a) = -7*k(a) - 6*m(a). Is u(9) prime?
True
Let l(c) = -66*c**3 + 3*c**2 - c - 1. Is l(-2) a composite number?
False
Let b be 4 + (0/(-2) - 1). Suppose 0*n + 6 = b*n. Suppose -n*w + 35 = -71. Is w composite?
False
Suppose 9*x - 3181 = 1400. Is x prime?
True
Let l be (3/(-2))/(9/(-264)). Suppose -l - 16 = -4*t. Is t a composite number?
True
Suppose 2053 - 13858 = -5*i. Is i a prime number?
False
Let y(v) = 15*v**2 + 4*v - 3. Let m(n) = 2*n + 8. Let q be m(-3). Is y(q) prime?
False
Let q(h) = -14*h**2 - h**3 - 11 + 10*h + 23*h**2 + 4. Is q(7) a prime number?
False
Suppose -4*v + 9*v + 45 = 0. Is (-1076)/(-12) - (-6)/v a prime number?
True
Let n = 7 + 16. Is n a composite number?
False
Suppose -4*f + 1074 = -2834. Is f a composite number?
False
Suppose -2*u + 4*u = 502. Is u composite?
False
Let d(t) = 3*t**2 - 17*t + 25. Is d(15) a prime number?
False
Let x(s) = 24*s**2 - s - 1. Suppose -3*m + 2 = 8. Is x(m) composite?
False
Let j(c) = -c**2 + 2*c + 4. Let v be j(-5). Let z(n) = n + 3. Let x be z(3). Let p = x - v. Is p a prime number?
True
Let b(a) = -4*a**2 - 1. Suppose m = 4*m - 3. Let r be b(m). Let d(l) = -6*l + 1. Is d(r) composite?
False
Let h = 6 - 3. Suppose h = -r + 7, 2*d = 2*r - 12. Is -1*19*(1 + d) prime?
True
Suppose -4*u = -3*u - 5. Let n be 1/4 + (-7)/(-4). Suppose n*y + 165 = u*y. Is y a composite number?
True
Let t = 18 + 57. Let q = 1 + -1. Suppose q = 2*s - 7*s + t. Is s a composite number?
True
Suppose -4*a + a = -1332. Suppose -127 = z - a. Is z a prime number?
True
Let t(o) = 2*o**2 + o. Let v be t(-2). Let u(n) = 2*n**3 - 3*n**2 + 3*n + 1. Let s be u(4). Let c = s - v. Is c a composite number?
True
Let c(m) = 9*m**2 - 5*m + 3. Let i be (-195)/(-75) + 4/10. Is c(i) a composite number?
True
Let f(q) = -3*q + 31. Let z(v) = -v + 1. Let l(r) = f(r) - 5*z(r). Is l(0) composite?
True
Let x = 235 - 78. Is x a composite number?
False
Suppose 0*a = -3*a. Suppose a*y = -4*y + 20. Suppose -g + 0*f + 67 = y*f, 3*g = 2*f + 133. Is g composite?
False
Let i = 354 - 117. Suppose 3*l + i = 3*b, -4*l + 0*l = 3*b - 265. Is b a composite number?
False
Let r(p) = 7*p**2 + 2*p + 2. Is r(-2) a composite number?
True
Suppose 2*z - 5*w + 15 = -2*w, 0 = -5*z - 3*w + 15. Suppose m + 3*m - 1452 = z. Suppose -m = -5*n + 892. Is n a composite number?
False
Suppose -23 = 3*v - 0*z + 2*z, -5*v - 2*z - 33 = 0. Let u(p) = -9*p - 7. Let a be u(v). Is a/6*(-12)/(-4) prime?
True
Suppose -2*i = i. Suppose i*g + 3*g - 3 = 0. Let n(q) = 36*q**2 + q. Is n(g) a prime number?
True
Suppose 8 = -b + 13. Suppose -29 = -b*c + 36. Is c a composite number?
False
Let t(n) = 34*n + 3. Let m be t(3). Suppose 3*i + 2*i = -m. Is ((-60)/i - 2)*7 prime?
False
Let q(w) = 6*w**3 + w**2 + 8. Let v be q(6). Suppose 6*c - v = 2*c. Is c a composite number?
True
Let t be (-13 + -45)*(-70)/4. Suppose 6*h - h - t = 0. Is h a prime number?
False
Let z(t) = 73 - t**2 + 15 + t + 45 + t**3. Is z(0) composite?
True
Let x = -109 + 192. Is x a prime number?
True
Let z(i) = i + 58. Is z(0) prime?
False
Let d = 471 - 123. Suppose -22 - d = -2*a. Is a composite?
True
Let t(u) = 5*u**3 - 16*u**2 - 7*u + 11. Let g(j) = -6*j**3 + 17*j**2 + 8*j - 12. Let s(y) = -4*g(y) - 5*t(y). Is s(10) prime?
True
Let r(z) = z**3 - z**2 + 4*z + 3. Let k be r(4). Let t be (10 + 0)/(4 - 3). Let b = k + t. Is b prime?
False
Let l = 0 - -4. Is 13/(300/(-76) + l) a composite number?
True
Let h(k) = 8*k**2 + k + 2. Let n be h(3). Let o(t) = t**2 - 6*t - 5. Let a be o(7). Suppose -n = -a*y + y. Is y a prime number?
False
Suppose -2321 = -15*i + 4*i. Is i a prime number?
True
Suppose 5*q - 2*p = 14, -q + 4*p = 12 - 4. Suppose f = -q - 8. Is (-447)/f + 1/(-4) prime?
True
Let n be (-80)/(-12)*636/5. Let w = -467 + n. Is w prime?
False
Let c = -319 - -612. Is c a composite number?
False
Let q = 3352 + -2159. Is q a prime number?
True
Suppose -4*c + 0*p + 2903 = 5*p, 5*c = -4*p + 3631. Is c a prime number?
True
Let y be (-4)/(-3)*3/(-2). Is 447*y/12*-2 a composite number?
False
Suppose i - 4 = 2*i. Let m(s) = 8*s**2 - 5*s - 5. Let v be m(i). Suppose t - 2*p = v, 3*t + 4*p + 324 = 783. Is t a prime number?
Tru