number?
False
Let m = -3 - -7. Suppose 3*q = 2*q - m. Let k(a) = -7*a + 5. Is k(q) a prime number?
False
Let g = 1201 + -674. Is g prime?
False
Let g = -6 - -9. Suppose 8*s = g*s + 475. Is s composite?
True
Let i(z) = -z**3 + z**2 + z. Let u(j) = -3*j**3 + 3*j**2 + 3*j + 40. Let m(f) = -2*i(f) + u(f). Let x be m(0). Suppose 6*r = 2*r + x. Is r prime?
False
Let y(s) = 0*s**3 - 5*s**2 + s**3 + 14*s**2 - 7. Is y(-5) a composite number?
True
Suppose -g = -5*p, 0 = -5*g + 5*p - 3*p - 23. Is (-2)/g - (-1638)/30 a prime number?
False
Let x be (-1)/((-6)/(-8) + -1). Suppose 462 = 5*n + x*f - 14, 0 = 2*n + 2*f - 192. Suppose 3*i = c - n, 2*c + 3*i + 25 = 200. Is c composite?
False
Let b(t) = -6*t**3 - t**2 + t + 1. Let d be b(-1). Let o(s) = 30*s**3 - s**2 + 2*s - 1. Let v be o(1). Let k = d + v. Is k a composite number?
True
Let a be (4/(-10))/(1/(-25)). Is 4/a - (-788)/5 a composite number?
True
Suppose -6*c - 29 = 4*w - c, -c = 5*w + 31. Is (620 + w)/(0 + 2) composite?
False
Suppose -k - 6*k = -1337. Is k composite?
False
Suppose 0 = 5*w + i + 4*i + 25, 3*w - 5*i = -31. Let b = -15 - w. Is (-374)/b - (-1)/4 composite?
False
Let c = 14 + -10. Suppose -c*t - 3*o = -20, -3*o - 25 = -7*t + 2*t. Suppose -g + 114 = t*y, -4*y + 133 = g + 18. Is g a prime number?
False
Let j = 29 - 1. Suppose -3*g = g + j. Let z(w) = -w**2 - 7*w + 6. Is z(g) a prime number?
False
Suppose -l - 2*l = -417. Is l a composite number?
False
Is 1*(12/(-48))/((-1)/436) a prime number?
True
Let p(d) = -d**2 + 3*d - 1. Let h(y) = y**2 - 2*y + 1. Let z(w) = 5*h(w) + 6*p(w). Is z(4) composite?
True
Let z(o) = o**3 - 2*o**2 - 4*o + 4. Let k be z(10). Suppose y = -3*y + k. Is y a composite number?
False
Let j be ((-7)/3)/(1/3). Let t(a) = 3*a**3 + 9*a**2 + 2*a + 7. Let v(n) = -7*n**3 - 19*n**2 - 4*n - 14. Let y(q) = -5*t(q) - 2*v(q). Is y(j) a prime number?
True
Let a = -796 + 333. Let r = a + 842. Suppose r = 5*c - 6. Is c prime?
False
Is (-3)/(-3) - (3 + -1) - -338 composite?
False
Suppose -v - 4*v = -4*m + 617, 3*m = 3*v + 465. Suppose -2*k = -68 - m. Is k a prime number?
True
Let v(w) = 469*w**2 - 6*w + 3. Is v(2) composite?
False
Let i = 8 - 4. Let h be -1 - (-2 + i - 5). Suppose 13 = -z + h*z. Is z composite?
False
Let x be (-1)/2 - (-68)/(-8). Is (-6)/x - (-84)/9 composite?
True
Suppose -2*u - 3 = 11. Let d(y) = -6*y + 7. Is d(u) a composite number?
True
Suppose v - 28 = 4*b - 3*v, v + 1 = -3*b. Let g = -6 - b. Is (2/g)/(3/(-198)) prime?
False
Suppose -10*x + 4280 = -14550. Is x composite?
True
Suppose 2*h - 2*g + 6 = 2*g, 4 = 2*g. Is (-157)/h*(-2 + 1) a composite number?
False
Suppose -10*o = 5*u - 11*o - 295, 177 = 3*u - o. Is u a prime number?
True
Suppose -3*o + 5*c + 72 = -5, 8 = -2*c. Let y be o/4 - (-6)/(-8). Suppose 2*r = 5*m - 101, m - y*r = -2*m + 55. Is m a prime number?
False
Suppose -11 = -4*h - 3. Suppose 4*o - 54 = -h. Is o composite?
False
Let p be (-11)/(-3) + 1/3. Suppose 10*s - 902 = -s. Suppose p*q + 5*w - 92 = 67, 2*q = -2*w + s. Is q a prime number?
False
Let p = -246 + -16. Let x = -51 - p. Is x composite?
False
Suppose 0 = -c - 4*g + 53 + 8, 373 = 5*c + 3*g. Is c a prime number?
False
Let g(x) = x**3 - 4*x**2 - 6*x + 6. Let v be g(5). Let f be 1/(v*(-3)/(-99)). Suppose -4*q + 1139 = -f. Is q a prime number?
True
Suppose r = 2*g - 0*r - 1678, 5*r = -g + 861. Is g prime?
False
Suppose -5*d - 4*y - 139 = 0, -86 = 3*d - y + 6*y. Is (-6837)/d + (-4)/18 composite?
True
Let n(x) = 18*x**2 - 7*x - 1. Let o(b) = -17*b**2 + 6*b. Let h(m) = -3*n(m) - 4*o(m). Suppose a - 3 = -2*s + s, 3*s = a + 1. Is h(a) composite?
False
Suppose 11 = v - 6*v + g, 5*g = 5*v + 15. Let n(q) = 45*q**2 - 3*q - 1. Is n(v) a composite number?
True
Let w(g) = 11*g**3 + g**2 - 1. Is w(5) a composite number?
False
Suppose -4*i + 2140 = -2*i + f, 2*i = 2*f + 2134. Is i a composite number?
False
Let m(g) = 8*g**3 + g**2 - 1. Let x be m(3). Let d = x - -109. Suppose -5*i + d = r, -i + 0*i = r - 65. Is i composite?
False
Let n(v) = 15*v**2 + 5*v - 1. Let u be n(-8). Let g = 1384 - u. Suppose 4*s = -o + 620, 3*s - o = -0*o + g. Is s composite?
True
Let m = 78 - 9. Is m a prime number?
False
Suppose -3*m = 2*m + 555. Let f = 99 - 157. Let k = f - m. Is k composite?
False
Let g be 9 - 7 - (-4)/2. Suppose 3*o + 79 = g*o. Is o composite?
False
Suppose 2*u - 8 = -2*u. Suppose -4 = u*t - 2. Is (-3)/(t/(-10)*-2) a composite number?
True
Let z = 15 + -7. Let w(p) = p**3 - 5*p**2 - 10*p + 3. Is w(z) prime?
False
Let p(v) = -15 + 2 - 3 + 2*v. Let x be p(11). Is (-74)/(-4) - (-3)/x a prime number?
True
Let m(a) = 4*a**3 - 7*a**2 - a. Let l be m(5). Suppose 2*o + 2*d - l = 0, -181 + 980 = 5*o + 4*d. Is o a prime number?
False
Suppose 94 = -3*b - 29. Let h = 12 - b. Is h a composite number?
False
Suppose 0*f - 8*f = -9208. Is f a prime number?
True
Is 3 + 34 - (-8)/4 composite?
True
Let o(s) = 2*s**2 + s. Let h be o(2). Suppose 2*v + 48 = -2*a + 6*v, 2*a + 34 = -3*v. Is 8/a + 474/h composite?
False
Suppose -3*l = 2*g + 2*g - 155, -2*l + 5*g + 88 = 0. Is l prime?
False
Is 1/(-1) + 743 + (-42)/(-6) prime?
False
Let b = 4944 + -2957. Is b composite?
False
Let x(s) be the third derivative of s**4/24 + 4*s**2. Let p be x(2). Is 54 - 2*p/4 prime?
True
Suppose 0 = c + 4*c + 4*n + 5, 20 = 5*c - n. Suppose o - 115 = h + 3*h, 2*o + c*h = 175. Is o prime?
False
Let w(y) = -44*y - 1. Is w(-7) composite?
False
Suppose 3*u - 95 = 160. Is u a composite number?
True
Let b be (48/(-28))/(3/(-21)). Is 544/b - 2/(-3) a composite number?
True
Suppose 30 = 5*x - 3*x + 4*o, 2*o = -2*x + 20. Suppose -3*u + 12 = -x*n, -n = u - 5 + 1. Suppose -4*t + 36 + 4 = n. Is t a composite number?
True
Is 28*-134*5/(-40) composite?
True
Let t = 2 - -12. Is 268/t - 3/21 prime?
True
Let l(o) be the second derivative of -o**5/20 + o**4 + 5*o**3/6 - 7*o**2/2 - 3*o. Is l(12) composite?
False
Suppose -236 = -3*q - 5*d, 5*d - 82 = -q - 0*q. Is q composite?
True
Let o = -5 + 7. Let n(m) = -m**3 + 0 - 9*m - 1 - o + 4*m**2 - 12*m**2. Is n(-7) composite?
False
Let k(n) = 161*n - 1. Let r be k(-1). Is r/(-15) - (-2)/10 composite?
False
Let h = 708 + -151. Is h a prime number?
True
Let j = -2631 + 3988. Is j prime?
False
Let d(y) = 62*y**2 - 5*y - 2. Is d(-3) a composite number?
False
Let m(h) = -h + 3. Let p be m(2). Let u(w) = 334*w**3 + w**2 - w + 1. Is u(p) prime?
False
Suppose -f - 4*q - 4671 = -2*f, -5*f - 5*q + 23405 = 0. Is f a prime number?
True
Let a(b) = b**3 + 12*b**2 + 13*b + 14. Let x be a(-10). Suppose 0 = 4*q - 3*d - 172, 2*q - d = d + x. Is q composite?
True
Let l(z) = -117*z - 1. Is l(-2) a prime number?
True
Let t = 47 + 31. Let k = 85 + t. Is k prime?
True
Suppose 5*s = g + 24, 2*s - 14 = -6*g + 2*g. Suppose 5*l + s*j - 107 = 143, 2*j - 192 = -4*l. Suppose -69 = -m + l. Is m a prime number?
False
Let o(u) = 122*u**2 - 4*u + 1. Is o(4) a composite number?
True
Suppose 3*q + 8 = 4*n, 0*q - 8 = -4*n - 5*q. Suppose n*x = -0*x + 2*u + 84, -x = 4*u - 67. Suppose -x - 31 = -2*t. Is t a composite number?
True
Is (616 - -3) + 8/2 a composite number?
True
Let u(r) = -3*r**3 - 8*r**2 - 9*r + 5. Let a(w) = -7*w**3 - 19*w - 16*w**2 + 9 + 1 - 5 + 5. Let b(j) = 4*a(j) - 9*u(j). Is b(8) prime?
False
Suppose 6*r - r = -15, r = 4*t - 2071. Is t a prime number?
False
Suppose -4*w + 14 = 3*k, 0 = 4*k - 10 + 2. Suppose 28 = 2*b - w*i, 5*b + 0*i - 2*i - 67 = 0. Is b a prime number?
True
Let n(m) = -108*m + 9. Let k be n(-8). Let r = 1430 - k. Is r prime?
True
Let h(k) = -k**3 + 2*k**2 + 2*k - 3. Let w be h(4). Let v be (-34)/(-9) - 6/w. Suppose 0*a - 3*a = v*g - 35, 0 = -3*g - 3. Is a a prime number?
True
Let n be 2/(-2) - -31*1. Suppose n = a + a. Is 155/a + 1/(-3) prime?
False
Suppose 0 = -2*c + 3*n, 2*c + 30 = -c - 3*n. Let r(j) = j**3 + 7*j**2 + 4*j + 2. Let s be r(c). Let w = s - 8. Is w composite?
True
Let x = -497 + 760. Is x a prime number?
True
Let u(h) = 31*h**2 + h + 7. Is u(-11) prime?
False
Let g = 355 - 164. Is g composite?
False
Suppose 0 = 5*m - 3*m + 100. Let p = 62 + -133. Let l = m - p. Is l a prime number?
False
Let s(m) be the first derivative of m**3/3 - m**2/2 - 2*m + 1. Let j be s(-2). Suppose -4*r + 3*r = 5*g - 41, 3*r = -j*g + 79. Is r prime?
False
Let h be 18/30 - 1354/(-10). Suppose 5*m - 34 = h. Is m composite?
True
Suppose 1765 