 = -4*x, 5*x - 2*m = -o*m + 481. Is x composite?
False
Is -3 + 1399 - (-1*2 - 1) prime?
True
Suppose -4*u + 3 = -5. Suppose 5*r - 5*o - 400 = 0, u*r = 4*r + 3*o - 170. Is r a composite number?
True
Let c = 20 - 10. Suppose 0 = -5*w + 3*w - c. Let h = w - -27. Is h a composite number?
True
Let d be (2/(-5))/(3/15). Is (d - 1) + 16*1 a prime number?
True
Let b = 1 - -2. Is -5 + b + (-397)/(-1) composite?
True
Let t = -36 - -69. Suppose -5*p = x + 2*x - 390, 2*x = 3*p + 279. Suppose -3*z + d = -x + t, 0 = -5*z + d + 172. Is z a composite number?
True
Let f(k) = 1. Let b(h) = -266*h - 3. Let w(v) = -b(v) - 4*f(v). Is w(1) composite?
True
Let n be (4*1)/(-3 + 1). Is 2 - 0/n - -4 composite?
True
Let x = 129 - 82. Is x a composite number?
False
Let b(w) = w - 1. Let p be b(6). Suppose -p*d = 3*o + o - 310, -d = -3*o - 81. Is (-4 - -3)/((-2)/d) prime?
False
Let q = 56 + -26. Let z be (-192)/q - 2/(-5). Is 1*46/z*-3 prime?
True
Suppose -v + 4*a = 32, -104 = 3*v + a - 8. Let k = 37 - v. Is k a composite number?
True
Suppose -2*n = -3*n. Is 328 - (1 + (n - 0)) prime?
False
Is 2320 - 0 - 4/(12/9) composite?
True
Suppose -4*z - 6 - 2 = 0. Suppose 0 = -a + 5*q - 4, 0 = -a - 0*a + 3*q - 4. Is z*1/a*38 a composite number?
False
Let i be 6/(-2) + -6 + 2. Is (-2)/i + (-3417)/(-21) a prime number?
True
Let q(p) = 7*p**3 + 2*p**2 - 2. Let x be q(-2). Let j = 3 - x. Is j composite?
False
Let t = 67 - 185. Let o be (t/(-4))/((-1)/(-2)). Suppose 126 + o = 5*u. Is u prime?
True
Is ((-9)/(-36))/((-1)/(-3412)) composite?
False
Let w(g) = -36*g - 39. Is w(-6) composite?
True
Let g = -2 + 4. Suppose g*d + 149 = 5*k, 12 = 2*d + 2*d. Is k a composite number?
False
Let g(u) = 4*u**2 + 8*u + 4. Let i be g(-5). Let v = 106 - i. Suppose 5*n + v - 227 = 0. Is n a composite number?
False
Suppose 6*x - 2255 - 2083 = 0. Is x prime?
False
Suppose -5*w - 6*w + 12793 = 0. Is w a prime number?
True
Is (157/2)/(3/6) a prime number?
True
Suppose -2*p + 263 = -69. Is p a composite number?
True
Let h be 132/20 + 3/(-5). Suppose 3*v - 289 = -r, 20 = v - h*v. Is r a composite number?
True
Suppose 5*l - 1095 = 5*h, 2*l + 4*h - 405 = 27. Is l prime?
False
Let a be -2 + 1 + (-86)/(-2). Suppose 3*c + 15 = p, 4*c + 4*p - 28 = 8*c. Is (2/(-3))/(c/a) composite?
False
Let r = -4 - -7. Suppose 44 + 13 = -r*v. Let g = 41 + v. Is g a prime number?
False
Suppose 4*b = 21 - 9, 0 = -4*k - 4*b + 2552. Is k a composite number?
True
Suppose -5*f + 648 + 467 = 3*r, -3*r = 4*f - 1120. Let t = r - 257. Is t a composite number?
True
Let b = 781 + 354. Is b composite?
True
Suppose -4*o + 2*o + 4 = 0. Let b be (-1 - (-36 + o)) + 2. Suppose p = -4*p + b. Is p a composite number?
False
Suppose -3*a - 1982 = -b, -2*a + 7*a + 5950 = 3*b. Is b a prime number?
False
Suppose -q = -0*q + 2. Let l(a) = 20*a**2 + 2*a + 0*a + 4 - 3. Is l(q) prime?
False
Let r = 292 + -39. Is r a composite number?
True
Let b(o) = o**3 + 9*o**2 - o + 1. Let v = -7 - 0. Let w be b(v). Suppose 0 = -4*m + 614 - w. Is m a prime number?
True
Let t be 17/5 + 4/(-10). Suppose 5*o - 6*o - 5*g = 26, -t*o - g - 8 = 0. Is o/3 - (-124)/12 composite?
True
Let y be 1 + (1 - (-1 - -1)). Let k(m) = m**3 - m**2. Let r be k(y). Let t(q) = q**2 - 2*q - 2. Is t(r) a composite number?
True
Let p(t) be the second derivative of t**7/2520 - t**6/144 + t**5/24 - t**4/4 + t. Let v(d) be the third derivative of p(d). Is v(6) a prime number?
True
Let f be (-1)/3*60/4. Let p = 1 - f. Is 140/3 - p/9 prime?
False
Suppose 8763 = 3*g + 1812. Is g composite?
True
Let h = -9203 - -13092. Is h a composite number?
False
Suppose 10 - 16 = a. Let q(w) = 7*w**2 - 10*w - 11. Is q(a) prime?
False
Suppose -l + p - 8 = 6*p, -3*l = 3*p. Suppose -l*f = -7*f - 5. Let m(o) = -40*o - 1. Is m(f) a composite number?
True
Let o = -137 - -193. Let m = o - -18. Is m a prime number?
False
Let s(j) = 4*j**2 - 30*j - 5. Is s(11) prime?
True
Let f(q) = q + 17. Let s be f(-7). Let v be (-2)/s - (-42)/10. Is 28/2 + v + -4 a composite number?
True
Let c be (24/(-36))/(2/(-6)). Suppose d - 4*v = 171, c*v + 176 = d - v. Is d composite?
False
Let o(u) = 4*u**2 - u - 4. Suppose -g = 5 - 2. Is o(g) prime?
False
Suppose -2*b = 3*h - 250 - 135, -b = -2*h - 175. Is b a prime number?
False
Let c = 282 + -193. Is c composite?
False
Suppose -5*t - 3 + 0 = -q, -12 = 5*t - 4*q. Suppose -3*g - 605 + 1796 = t. Is g a prime number?
True
Let m(h) = -h**2 + h + 1. Let n(x) = 8*x**2 - 17*x + 4. Let p(b) = 6*m(b) + n(b). Is p(7) prime?
True
Let u(o) = 81*o**3 + 3*o**2 - 3*o + 1. Is u(2) a prime number?
False
Suppose -2 - 14 = 4*z. Is (74/z)/((-3)/6) a prime number?
True
Let n = 122 - 51. Is n a composite number?
False
Suppose 23 + 13 = 4*c. Let z = c - 6. Is z a composite number?
False
Let d(o) = -o**3 + 13*o**2 - 10*o + 11. Is d(10) composite?
False
Let g(r) = -37*r**3 + 2*r**2 - 1. Let d be g(1). Let y be (-2)/(-4) + d/(-8). Suppose y*m + a - 127 = 492, -2*m = 4*a - 262. Is m a prime number?
False
Suppose 0 = -5*h + 4*r - 26 + 621, 0 = -3*h - 2*r + 335. Is h a prime number?
False
Let g(k) = 5*k**2 - 5*k. Let b be g(5). Suppose 3*y - 47 - b = 0. Is y a composite number?
True
Let q = 40 - -74. Suppose 2*r - q = 24. Is r prime?
False
Let w(c) = c**2 - 3*c - 3. Is w(-5) a composite number?
False
Is (-16755)/(-35) + (-4)/(-14) a prime number?
True
Is (4/6)/((-3)/((-13815)/10)) composite?
False
Let x(t) = -3*t**3 + 5*t**2 + 2*t - 1 + 2*t**3 - 3*t**2. Let j be x(2). Suppose f - j*r = 25, 3*f = 3*r + r + 95. Is f a composite number?
False
Let u = 10870 - 7413. Is u composite?
False
Let r(x) = 40*x**2 + 2*x - 7. Is r(-5) a prime number?
True
Let i(z) = 130*z - 3. Is i(5) a composite number?
False
Let p be (-1*2)/(12/(-30)). Suppose 4*u - 22 = -2*i + 92, p*i - 2*u = 273. Is i a composite number?
True
Suppose -2*j - 3*j + 510 = 0. Suppose 3*m - 93 = j. Let v = -34 + m. Is v a prime number?
True
Suppose 8*y + 3429 - 27965 = 0. Is y a composite number?
False
Suppose 2*t + 2 = 12. Suppose 0 = -5*w + 5*h + 395, t = -3*h - 1. Is w a composite number?
True
Suppose 3*r - 6283 = -u - 4*u, -5*u = -4*r - 6311. Is u a composite number?
False
Suppose 5*f + 2361 = 8*f. Is f composite?
False
Let p(q) = 8*q - 14. Is p(6) composite?
True
Suppose 5*l - l = 0. Suppose 2*i + 2 = l, 3*i + 46 - 18 = 5*p. Suppose -p*u + 228 = -47. Is u a composite number?
True
Let s be (2/(-3))/(4/(-228)). Let f = 17 + s. Is f a prime number?
False
Let s = -1 - -27. Let g be 6/(-39) - (-2708)/s. Let z = 187 - g. Is z a prime number?
True
Let q be 4 + (0 - 1) - -2. Let f(i) = -54*i + 8. Let l be f(-9). Suppose -q*n = -l + 109. Is n a composite number?
True
Let v(f) = -f**3 + 6*f**2 + 4*f - 8. Let o be v(6). Let t(a) = -3*a**3 - 2*a**2 - a + 1. Let s be t(-2). Let n = s + o. Is n a prime number?
False
Let p be 36*((-4)/6)/1. Let g be ((-16)/p)/(4/18). Is 300/9 - g/9 prime?
False
Let k(z) = 18*z**3 - z**2 + 2*z + 3. Let w be k(3). Suppose 2*c - c = l + w, -2440 = -5*c - 5*l. Is c a prime number?
True
Let d(f) = -26*f + 1. Is d(-5) a composite number?
False
Let u(a) = 7*a + 1. Let o be u(1). Suppose 4*j = 4*k + o, -4*k - 13 = -6*j + j. Suppose -5*z + 134 = -k*f, 3*f - 34 + 118 = 3*z. Is z composite?
True
Suppose k = -4*k + 155. Is k a composite number?
False
Let m be -3 - 4*(-9)/6. Suppose -92 = -c - m*c - 4*f, -75 = -3*c - f. Is c a composite number?
True
Let d be 2/(2 - (-8)/(-6)). Suppose -152 = -3*x + x - 2*a, 5*x = d*a + 404. Is x a prime number?
True
Let m = -5 - -5. Suppose m = 4*h + h - 245. Is h a composite number?
True
Let y(p) = 143*p + 45*p + 22*p - 20*p. Let m be y(2). Suppose -m = -2*v - 3*v + 5*o, 0 = -v + 4*o + 73. Is v a composite number?
True
Suppose -5*c = u - 13, -4*c - u - u + 8 = 0. Suppose 0*s - c = -s. Suppose -3*o + 2*o + 399 = s*v, -5*v = -2*o - 665. Is v a composite number?
True
Let l be 1*(-2)/(-3)*9. Is 3/l + (-133)/(-2) a prime number?
True
Suppose -5*j - 4*q - 9 = 0, 0*q = 4*j + 4*q + 4. Let d be (-380)/(-2)*(-2)/j. Suppose 2*s = -x - x + d, 4*x = 20. Is s a composite number?
True
Suppose 3*w + v + 14 = 0, -5 = -4*w - 5*v - 42. Let s = w - 0. Let m = -1 - s. Is m a composite number?
False
Suppose 0 = -3*g - g + 32. Is 22/g*(0 + 12) composite?
True
Let m(d) = -3*d**2 - 3*d + 35. Let o(g) be the second derivative of 5*g**4/6 + 5*g**3/3 - 5