o - 5*o + 635. Is o a prime number?
True
Suppose 118 = -6*f + 7*f. Is f composite?
True
Let r(k) = -151*k + 4. Let x(v) = -v**2 + v - 1. Let o be x(3). Is r(o) prime?
True
Suppose k + 4*k = -20, 0 = -2*r - 4*k + 168. Suppose r = -d - 7. Let h = 178 + d. Is h a prime number?
True
Let f = -4 + 5. Is -2 - -1*(f + 38) a prime number?
True
Suppose 0 = 3*t - t - 10. Suppose 3*i + t*b = -2532, -3*i - 2532 = b - 3*b. Is i/(-8)*4/2 a composite number?
False
Let g = -112 + 257. Is g a composite number?
True
Suppose 0 = 5*f - 20, 210 = 2*q + 3*q - 5*f. Is q a composite number?
True
Suppose h = 6*h + 2*g - 21, 5*h + g = 18. Suppose 0*y + 2*z = -4*y + 436, z + 327 = h*y. Is y composite?
False
Let m be (-2232)/(-63) + 3/(-7). Let x = 62 + m. Is x prime?
True
Let g = -3 + 7. Suppose 0 = 3*m - v + 14, -4*m + v = g*v - 3. Is (-64)/(-6) + (-1)/m prime?
True
Let d(a) = a**3 + 19*a**2 + 23*a + 29. Is d(-14) prime?
False
Let s be ((-2)/3)/((-1)/75). Is 197/5 + (-20)/s a prime number?
False
Let d(o) = 15*o**3 + 5*o**2 + o + 5. Is d(4) a composite number?
False
Is (10 - 9)/((-2)/(-134)) a prime number?
True
Let r be 5 - (3 - 3) - 2. Suppose 2*x + 246 = 2*p - 2*x, -r*p = x - 341. Is p composite?
True
Suppose 5*p - 2*f = -20, -p - 2*f = -6 - 2. Is 145/2*(-4)/p a prime number?
False
Suppose -c = 2 + 1, -32 = -5*i + 4*c. Suppose -468 = -i*l + 424. Is l prime?
True
Let h = 11 + -9. Is h*(-2 - -85) + 1 composite?
False
Suppose 0 = 2*x - 3*x + 2. Suppose x*n = 5*n - 237. Is n prime?
True
Let h(c) = -c + 2*c - 2*c + 5*c + 2. Is h(2) composite?
True
Let q = 598 + -248. Let i = q - 209. Is i composite?
True
Let w(o) = 5*o**2 + 3*o - 15. Is w(-11) composite?
False
Suppose -3*y + 0*y = 6. Let f be (1 + y)/((-2)/(-74)). Is 2 + -2 - 0 - f a composite number?
False
Let m(r) = -8*r**2 - 2*r + 2. Let z(a) = 8*a**2 + 2*a - 3. Let c(t) = -4*m(t) - 3*z(t). Suppose 0*u = -4*u + 5*x - 3, 3*x - 9 = 0. Is c(u) a composite number?
False
Suppose x - 143 - 128 = 0. Let b = 494 - x. Is b a prime number?
True
Let b be -1*1 - (3 - -3). Let z be (b - -11)*307/4. Suppose -z = 5*i - 792. Is i a composite number?
False
Let v(f) = -f**3 - 8*f**2 + 7*f - 12. Let l be v(-9). Suppose -2*o - 4*j + 398 = 0, -2*j + l*j + 748 = 4*o. Is o a prime number?
True
Suppose -3*a = -4*a + 3*o - 22, -4*a = o + 88. Let s be (2 - 3)*0 - 1. Is a/(-1 + -1) + s a prime number?
False
Suppose -5*a = 318 - 33. Let m = a + 197. Suppose -3*s - s + m = 0. Is s composite?
True
Suppose 2*k - 3*b + 1370 = 6*k, -k = -5*b - 331. Is k a composite number?
True
Let p = 1363 + 420. Is p composite?
False
Let z(f) = 290*f + 9. Is z(4) prime?
False
Let k = -90 - -149. Is k a composite number?
False
Let n(c) be the first derivative of -c**3 - 9*c**2/2 + 9*c + 3. Let z(h) = 4*h**2 + 13*h - 13. Let r(f) = -7*n(f) - 5*z(f). Is r(6) a prime number?
False
Let f be -231*(-3 - -2)*-1. Let b = f - -326. Is b prime?
False
Let v = 54 - 92. Let f = 9 + v. Let i = 43 + f. Is i a prime number?
False
Suppose -1 - 4 = -5*l. Let r = l + 9. Let h = r + 27. Is h composite?
False
Let b = 7 + -5. Is (b/6)/(2/186) a composite number?
False
Is -2 + 1/((-6)/(-3510)) prime?
False
Suppose -5*w - 8 = -3*w. Is (100/(-16))/(1/w) composite?
True
Let d(b) = 1348*b**2 - 2*b + 1. Is d(1) a prime number?
False
Suppose 3*p + n - 1336 - 555 = 0, 5*n = 4*p - 2534. Is p a prime number?
True
Let o be 6/(-24) - (-2025)/4. Suppose -8 + 258 = i + z, -4*z + o = 2*i. Is i composite?
True
Suppose -26 = -7*s + 4*s - 5*f, -2*s + f = 0. Is ((-3)/(-5))/(s/470) a composite number?
True
Let j(a) = a**2 - a - 4. Let n be j(3). Suppose -5*m + 4*r = -359, n*m - 2*r - 145 = r. Is m a composite number?
False
Suppose 2*h = 5*q - 4447 - 7868, -4*q + 2*h + 9852 = 0. Is q prime?
False
Let d(q) = 38*q**3 + 4*q**2 - 6*q - 7. Is d(6) composite?
True
Let l(p) = p**3 - 5*p + 13*p**2 - p - 2*p - 17. Is l(-12) composite?
False
Suppose 2*n - 6 = 12. Let z be (-2)/(3/(n/(-6))). Let p(k) = 8*k**3 + k**2 + k - 1. Is p(z) a prime number?
False
Let y = 42 - 1360. Let c = y + 1962. Let v = c - 395. Is v a composite number?
True
Suppose 5*f = -u - 2 - 11, 0 = -4*u - f - 14. Let r be -19*(u + -1 + 1). Is (r + (-2)/(-1))/1 composite?
False
Let b be (-10)/(-14) - (-8)/28. Let l be (350/(-6))/(b/(-3)). Suppose -4*t = -37 - l. Is t a prime number?
True
Let x(i) = 3*i**2 - 8*i - 8. Is x(9) a prime number?
True
Suppose -6*p + 2*p - 83000 = -3*b, 0 = -2*p + 3*b - 41506. Let l = -8902 - p. Is (-2)/9 + l/45 prime?
True
Let g(y) = y**2 - 4*y + 1. Suppose -4 = 2*u + 4. Is g(u) composite?
True
Let p(t) = 3*t**2 + 2*t - 9*t + 3*t**2 - 5 + 0. Is p(-4) a prime number?
False
Let m(i) = 10*i - 3*i + 6*i. Let u(t) = -51*t. Let r(g) = 17*m(g) + 4*u(g). Is r(7) composite?
True
Let h = 3 + -3. Suppose -3*q + 46 + 17 = h. Is q a prime number?
False
Let u(k) = -8*k - 7. Let w(z) = -15*z - 13. Let m(i) = 7*u(i) - 3*w(i). Is m(-9) composite?
False
Let v(n) = -163*n - 5. Is v(-4) composite?
False
Suppose z - x = 5*z - 2729, 5*z - 5*x = 3430. Is z prime?
True
Suppose 9 = 3*n - 0. Suppose 2*j - 88 = -4*a, 3*a + 0*j - 75 = n*j. Is a a composite number?
False
Suppose -969 = 14*z - 17*z. Is z prime?
False
Suppose a + a - 3*o = 1384, -5*a + 3435 = 5*o. Is a a composite number?
True
Suppose -3*j + 0*j + 3 = 3*y, -j - 11 = 5*y. Let m be j/(-10) - (-2)/5. Suppose -2*f + 5*c = -m*f - 199, 387 = 4*f + c. Is f composite?
False
Suppose -4 = 3*m - 0*k + 5*k, 0 = -m - 3*k - 4. Suppose d - 151 = -3*j + 5*j, m*d - 306 = 5*j. Is d a prime number?
False
Let f = 1 + 4. Suppose p = -2*c + f*c - 705, -4*c + 5*p = -940. Is c a prime number?
False
Let y = -5 + 11. Let b be ((-3)/y - -2)*126. Is (-2)/4 + b/6 prime?
True
Is 2767 + 0/(-1)*1/2 composite?
False
Let l(t) = -t**2 - 12*t - 1. Let u(r) be the first derivative of -10*r**3/3 - r**2/2 - r - 2. Let p be u(-1). Is l(p) composite?
False
Suppose a - 778 = 102. Suppose 4*q - 5*h - a = 0, 4*q - 6*q + h = -434. Is q prime?
False
Suppose -5*d + 5*i + 205 + 6235 = 0, 0 = 2*d - i - 2571. Is d prime?
True
Let i = 2468 - 1065. Is i prime?
False
Let q(g) = -g + 11. Let a be q(8). Suppose -a*d + 2*y = -10 - 5, -15 = -4*d + y. Is -2*(d + 37/(-2)) composite?
False
Let m = 6 + -1. Suppose 110 = m*n - h - 41, 5*h - 51 = -n. Is n composite?
False
Suppose -2*o - 16 = -5*a, 3*a + 32 = -0*o - 4*o. Let u be 676/6 - o/(-12). Let z = 163 - u. Is z a composite number?
True
Let g be -3 + -1*(1 - -1). Let t = g - -34. Suppose -t + 225 = 4*p. Is p a composite number?
True
Let p(l) = 3*l**2 - 8*l + 2. Let k be p(-6). Is ((-3)/(-6))/(1/k) prime?
True
Let t be (10 - 1)/(-3)*1. Let m(f) = -27*f**2 - 3*f - 3. Let v be m(t). Is v/(-21) + (-2)/7 a composite number?
False
Let o be (23/(-2))/(20/(-200)). Let t = o + -62. Is t a composite number?
False
Suppose 3*v + 227 + 3 = 5*g, 2*v = -g + 46. Let d = 65 - g. Is d prime?
True
Let i(x) = 4*x**2 + 2*x + 1. Let t be i(-1). Suppose -t + 1 = -o. Suppose -h + o*h - 5*c = 14, -2*h + 4*c = -34. Is h prime?
True
Is 870/45*(-18)/(-4) prime?
False
Let i = -14351 - -32620. Is i a prime number?
True
Suppose 7*m - 3*m - 860 = 0. Is m prime?
False
Suppose -4*t + y = t - 12177, 2*y + 4 = 0. Is t composite?
True
Let d(r) = 21*r**2 + 3*r - 6. Let o be d(4). Is 7/(-35) + o/10 prime?
False
Let y = -48 + 13. Let a = y - -50. Is a a prime number?
False
Let l be 12/7 + 4/14. Suppose -430 = 3*c + 4*f, -286 = -4*c + 6*c + l*f. Let t = c + 231. Is t composite?
False
Let l = -6 - -12. Is ((-39)/(-6))/(1/l) composite?
True
Let j(r) = 1 - 4*r**2 - 30*r**3 + 3*r**2 + 0*r**2 - r. Let z be j(1). Let i = z - -50. Is i a prime number?
True
Suppose 0*k + a + 65 = k, 2*k - 123 = -5*a. Suppose -3*o = -2*o - 19. Let y = k + o. Is y composite?
False
Let k(m) be the second derivative of 0*m**3 + 4*m**2 - 1/20*m**5 + m - 1/2*m**4 + 0. Is k(-7) a composite number?
True
Suppose 3*x - 5 = -v + 6, 2*v = 4*x - 18. Suppose 0 = -j + 3*j - x. Suppose -j*i + 52 = 2*i. Is i a composite number?
False
Is (-2)/4 - (-886)/4 prime?
False
Let m = 194 + -281. Suppose -d + 5*b = -0*d + 45, -2*b = -2*d - 98. Let g = d - m. Is g prime?
True
Suppose -5 + 1 = -2*w. Suppose -78 = -w*u + 3*c, -173 = 3*u - 8*u + 2*c. Suppose 0 = 2*n - 45 - u. Is n a prime number?
False
Suppose 54 = -5*b + 184. Is b a prime number?
False
Suppose 0 = -3*m - 2*l + 6*l + 217