*q = -5*t + t + 123. Is t a composite number?
False
Let j(i) = -i + 10. Is j(-5) a composite number?
True
Suppose -1 = -i, 18 = 3*j - i + 4*i. Let t be j*(1*-3 + 2). Let o(v) = v**3 + 6*v**2 + 2*v - 4. Is o(t) composite?
False
Is (0 - -2) + 465*1 composite?
False
Suppose -3*n + 3 = -3. Suppose 0 = -w + n*w. Suppose w*k + 33 = k. Is k composite?
True
Let d(j) = -j + 2. Is d(-5) prime?
True
Suppose 5*o - 3*h - h = 2251, 3*o = 2*h + 1351. Is o prime?
False
Let b = 8 + 41. Is b a prime number?
False
Suppose 4818 = -11*a + 18029. Is a a composite number?
False
Let x = -143 - -1032. Is x composite?
True
Suppose 8 - 2 = -3*i. Let h be 30/4 + (-3)/i. Suppose -v + k = -10, -h - 5 = -2*v + 4*k. Is v composite?
False
Suppose 0 = 4*n - 906 + 14. Is n a prime number?
True
Suppose -4*t - 5*w = -9, -3*w + 20 = 4*t + 5. Let u = 6 - t. Suppose u*v = 4*v + 20, 5*b + 2*v = 0. Is b a prime number?
True
Let q be 1 - (-2 + 352) - 2. Let p = -496 - q. Let y = p + 210. Is y a composite number?
True
Let t(z) = 44*z**2 - z + 1. Is t(-4) composite?
False
Let r(z) = -z**2 + 6*z - 3. Let m be r(4). Suppose m*x + 8 = 2*o + 2*x, 4 = -2*o - 3*x. Is o/(2/2)*7 a composite number?
False
Is 20004/5 + (-1)/(-5) a composite number?
False
Let g(q) = 13*q - 1. Let o be g(4). Suppose -4*l - 9 - 27 = 0. Is o/(l/(-6)*1) composite?
True
Let h(a) = 5*a**3 - 3*a**2 + 3*a. Is h(5) a prime number?
False
Let i be (-1)/(-3) + 10/6. Suppose 256 = 4*d + 2*f, i*f - f = 4. Is d a prime number?
False
Let u(a) = 3*a**2 - a**3 - 1 - 2*a**3 + 4*a**3. Let x be u(-2). Suppose 5*q - 2*l - 38 - 25 = 0, -38 = -x*q + l. Is q prime?
True
Suppose -468 - 96 = 4*f. Let j = 264 + f. Is j composite?
True
Let m(k) = 16*k**3 - 1. Let r(h) = -h. Let t be r(-1). Is m(t) prime?
False
Is 0 - 4 - (-153 + 0) a prime number?
True
Is 0 + 3357/5 - (-2)/(-5) a composite number?
True
Let b be (24/(-9) - -3)*0. Suppose 0 = -2*k - 2*x + 496, -2*k + 4*x + 514 = -b*x. Is k composite?
False
Let b(f) = f + 2. Let z = 23 - 13. Let r be b(z). Suppose -4*p - 4*j = 0, -2*j = -3*p - j + r. Is p a composite number?
False
Let f(x) = -x + 1. Let k be f(-7). Let v be (-2 + (-15)/(-6))*k. Suppose -v*c = -0*c - 16. Is c a prime number?
False
Suppose -5*o = -5*q + 335, 61 = -o + 5*q - 10. Is o/(-8)*16/6 prime?
False
Is 50/20*4926/5 composite?
True
Suppose 0 = -4*n - 5*h + 190 + 288, -5*n + 600 = 5*h. Is n composite?
True
Let b be 4*1/4*4. Let u(h) = h**3 - 3*h**2 + 2*h - 2. Is u(b) a composite number?
True
Suppose 384 = 5*w + 89. Suppose 68 + w = h. Is h a composite number?
False
Is 1213*(-2 + -1)*3/(-9) a composite number?
False
Let u be (0/(-1))/((-4)/2). Suppose -v - 5*q + 248 = u, -q - q + 456 = 2*v. Is v prime?
True
Suppose 3*r = -2*y + 6, r - 8 = 3*y - 3*r. Let s = 7 - y. Suppose -5*u = 4*o - 47 + s, 5*u = 5*o - 50. Is o a prime number?
False
Suppose 0*t - 436 = -4*t. Let g = t + -15. Is g composite?
True
Let b = 1 - -66. Let k be (16/6)/(2/3). Suppose 0 = 3*r + k - b. Is r composite?
True
Let m be 1 - (0 - 3/3). Suppose -w - 8 = 5*j, 4*w - 38 = 4*j + m. Is w a prime number?
True
Let r = 4 - -1. Suppose 4*n - 5*f = -25, 5*n + 4*f - r = 3*f. Suppose 0 = -n*v - 5*v + 75. Is v a prime number?
False
Suppose -3*k + 4*k = 0. Suppose -3*m = -4*v + 1181, k = 3*v + m + 174 - 1050. Is v a composite number?
False
Suppose -262 = 5*y + 393. Let l(u) = -7*u - 10. Let o be l(8). Let c = o - y. Is c a prime number?
False
Suppose -1829 = -5*r - 294. Is r composite?
False
Let n(s) = -9*s**3 + 4*s + 3. Let b be 26/6 - (-1)/(-3). Suppose -b*i - i = 10. Is n(i) prime?
True
Let g(p) = p**2 - 2*p - 3. Let q be g(3). Suppose -5*s + 637 = -l, -3*s + 389 = -q*s - 4*l. Is s a composite number?
False
Let j(r) = -r**3 - 5*r**2 - 4*r - 2. Let n be j(-4). Is (-2)/(3/111*n) prime?
True
Let h be (-173)/(-2) - 3/6. Is h/1 + (-6)/(-2) composite?
False
Let d be (-12)/10*330/(-9). Suppose 0 = 5*j - 2*u - 3*u - 55, -4*j = -5*u - d. Suppose a + a + 44 = 4*f, a - j = -f. Is f a prime number?
True
Is 792 - 5/2*(-4)/(-10) composite?
True
Suppose j = -4*j + 20. Suppose a + g - 370 = -0*a, j*g = -12. Is a composite?
False
Let t = -16 - -10. Let h(f) = -f + 7. Is h(t) prime?
True
Suppose -2*o - 2296 = -3*u + 11044, -5*o = 4*u - 17756. Is (-6)/(-9) - u/(-12) a composite number?
True
Suppose 3*w + 2*y = 224, 4 - 1 = 3*y. Is w composite?
True
Let v(j) be the second derivative of j**3/3 - j**2 + 2*j. Let w be v(4). Is 2/(-3) - (-46)/w composite?
False
Let n be 19/(-3) + 1/3. Let u(g) = -g**2 - 9*g - 4. Is u(n) prime?
False
Let g be (-2)/6 + 1064/(-12). Let p = -56 - g. Is p a prime number?
False
Let k(y) = 2*y**2 - 7*y - 11. Let n(j) = -3*j**2 + 11*j + 16. Let m(g) = -7*k(g) - 5*n(g). Suppose -2*o + 5*u + 1 - 7 = 0, 5*o = -5*u + 55. Is m(o) composite?
True
Let t = 86 + -48. Suppose 2*y = 4*y - t. Is y prime?
True
Suppose 0 = 2*p - 8*p + 3462. Is p a composite number?
False
Let z(x) be the first derivative of -3*x - 1/4*x**4 - 7/3*x**3 + 2 - 9/2*x**2. Is z(-6) a prime number?
False
Is (-194)/(-6) - (0 + (-8)/12) composite?
True
Suppose 3*r = -0*r + 45. Suppose -6*n + r = -n. Suppose -n*m + 232 = 5*x, 102 = -2*m + 3*x + 263. Is m a composite number?
False
Let i(f) = -3*f + 4 + 4 - 1. Let m be i(-8). Suppose 7 = 2*r - m. Is r composite?
False
Suppose 3203 = 6*c - 1267. Is c composite?
True
Suppose 0 = -4*i + 3*v + 359, 2*i - 178 = -4*v + 6*v. Let b(m) = 2*m**2 - 2*m + 3. Let s be b(-3). Suppose -s = -j + i. Is j prime?
False
Let l(p) = p**2 + 2*p. Let f be l(3). Suppose -4*g + f = -3*g. Is g a composite number?
True
Is 679/((-2 - -3)/1) a prime number?
False
Let z(d) = -8*d - 1. Is z(-14) a prime number?
False
Suppose 0 = 6*v - 2*v - 1576. Is v prime?
False
Let n = -28 + 30. Suppose 3*x + f + n*f = 2454, 3*x = -2*f + 2457. Is x a composite number?
False
Let v be (-2)/(-4) + (-15)/(-6). Let c be 3/(-1)*19/v. Let s = c + 32. Is s prime?
True
Let j(f) = 2*f**3 - 4*f**2 + f + 2. Let m be j(7). Let l = -282 + m. Is l prime?
False
Let r(u) = 3*u**2 + 6*u + 6. Let s be r(-5). Suppose 0 = -0*o + o - s. Is o a composite number?
True
Let f be (-3)/(-18) + (-14)/12. Is f + 97 + 3 + -2 a prime number?
True
Suppose -q + 5*o + 3 = 0, -5*q = 4*o - 2 - 13. Is 923/3 - 2/q composite?
False
Is 5/20 + 1027/4 composite?
False
Suppose 3*g = -k + 4, 10 = 2*g - 5*k - 4. Suppose g*s + 475 = 7*s. Is s a composite number?
True
Suppose 4*h - 2*c = -66, -5*h - 2*c - 77 = c. Let f = 51 + h. Is f a composite number?
True
Let j(s) = -2*s**3 - 8*s**2 + 8*s + 3. Is j(-8) composite?
True
Let p(z) = 3*z**2 - 2*z + 9. Let g be p(-7). Let v = g + -111. Is v composite?
False
Let s = -9 - -15. Let c = 67 - 24. Let f = c - s. Is f a prime number?
True
Let y = 388 + -120. Suppose -5*p + y + 7 = 0. Is p a prime number?
False
Let y = 13 - 9. Suppose 0 = -y*q + 3*q. Is (-1)/(1/(-19) + q) a composite number?
False
Is -5 + 3 + 0 - -304 a composite number?
True
Let u(l) = -l**2 - 2*l + 79. Let t be u(0). Suppose s - t = -14. Is s prime?
False
Let z = 231 + -120. Suppose -5*v + z = -4*v. Is v composite?
True
Suppose 3*y - 4*x + 10 = 0, 3*y + 4*x - 12 = 5*y. Suppose -y*m - 2 = -48. Suppose -5*k = 4*q - 3*k - 50, 0 = -2*q - 3*k + m. Is q composite?
False
Let x = 6 + -4. Suppose -5*y + 76 = -x*o, 6*y - 142 = 4*o + y. Let q = o + 84. Is q a prime number?
False
Let f = -144 - -221. Is f prime?
False
Let v = -1 + -1. Let t be (64/10)/v*-25. Let j = t - 29. Is j composite?
True
Let o be 0*(-1)/4*2. Suppose 0 = -o*b + 3*b - 147. Suppose 4*f = -2*u + b + 77, u = -3*f + 96. Is f prime?
False
Suppose 5*a = 2*c - 29, 5*c = -0*a + a + 15. Let n(p) = -3*p + c - 35*p - 3. Is n(-1) prime?
True
Let m(i) = i**2 + 4*i - 3. Let v be m(-4). Is 49 + (-2 - -3) + v a prime number?
True
Suppose 5*a + 67 = -113. Suppose 3*d + 121 = 2*d. Let y = a - d. Is y composite?
True
Let a(x) = 21*x**2 + 2. Let q be (-51)/15 + 4/10. Is a(q) a composite number?
False
Let i = 2 + 0. Suppose -51 = i*u - 3*u. Is u composite?
True
Let h(r) = 5*r. Let q be h(1). Let d = 33 + q. Is d a prime number?
False
Suppose 2*x + 24 = -2*x. Suppose 2*n + 3*n = 15. Is -2*n/x*15 prime?
False
Let j(g) = -g + 5. Let x be j(3). Suppose -i + 14 = x*r - 0*r, r + 49 = 3*i. Suppose -z - h = -i, 2*z - 12 = -0*z + 2*h. Is z a prime number?
True
Suppose 0*l = 2*l - 212. Is l prime?
False
Suppose y