 Is (-4)/z - t/(-5) a prime number?
True
Is (-3)/(-6) - (-657)/2 a prime number?
False
Suppose 0 = -9*i + 4*i. Suppose i = 3*j - 4*c - 53, -j - 65 = -6*j + 2*c. Is j prime?
True
Let d = 11 + -8. Suppose -k + 44 = d*k. Let f = k - -26. Is f a prime number?
True
Suppose 0 = -5*o - 0*o + 50. Suppose 3*a = 3*y, 0 = -y - 3*y + 2*a + o. Suppose -4*t + 5*k - 2*k = -25, y*t - 14 = -2*k. Is t composite?
True
Let c(b) = -b**3 + 4*b**2 + 6*b + 7. Let g be c(5). Suppose -3*m = 5*q + g, 0 = -0*m + 5*m + 20. Suppose -p - 2*p + 21 = q. Is p a prime number?
True
Let c(y) = 33*y**3 + y**2 - 7*y + 9. Is c(2) a prime number?
True
Suppose 0 = 3*l - 57 - 45. Is l a composite number?
True
Let d = 686 - 106. Suppose 0 = 10*b - 14*b + d. Is b composite?
True
Let f(p) = -188*p + 41. Is f(-9) prime?
True
Is (26/(-8))/((-2)/184) - -2 composite?
True
Suppose 3*d + 7 = 280. Is d a composite number?
True
Let b(o) = o**3 - 5*o**2 - 25*o - 24. Is b(13) a composite number?
True
Let y = -149 - -228. Is y prime?
True
Let y(n) = -n**3 + 12*n**2 + 3*n + 4 - 2*n**2 - 1 + 1. Is y(10) composite?
True
Let j(r) = -4*r**3 - r**2 - 2*r - 1. Let d be j(-1). Suppose -d*u + 3*i + 793 = 0, i = -4*u - 2*i + 799. Is u composite?
False
Let l = 1 - -3. Suppose 2*a + b + 0 = -15, l*b + 28 = -4*a. Let q(h) = -2*h + 3. Is q(a) composite?
False
Let f = -5 - 1. Is ((-2)/(-5))/(f/(-2865)) prime?
True
Let q(k) = 71*k**2. Let f be q(1). Is f - 6/(-2 - 0) prime?
False
Is (-3)/1*21539/(-51) composite?
True
Let z = 441 - 247. Is z composite?
True
Let p = 3 - 2. Let h = 4 - p. Suppose 0 = 2*n - 0*n - h*y - 115, 0 = 3*n + 2*y - 153. Is n composite?
False
Let y = 9 + -17. Let r be 2/3 - y/(-12). Suppose 4*m - 1 - 307 = r. Is m a composite number?
True
Is (-11817)/(-21) - (-3 + 57/21) prime?
True
Suppose y + 2 = 3*q, 7*y - q = 4*y - 14. Let o(l) = 3*l**2 - 4*l - 4. Is o(y) composite?
True
Let n(j) = -j**3 + 2*j**2 + 2*j - 3. Suppose -5 - 3 = 2*s. Is n(s) a prime number?
False
Suppose 0 = t - 6*t + 25. Let h = 15 - t. Is h a composite number?
True
Suppose -i = 4*n - 231, 0*i + 952 = 4*i + 2*n. Suppose u + 2*w = 119, -2*w + 842 - i = 5*u. Is u a composite number?
True
Let u(p) = -p**3 + 8*p**2 + p - 3. Let l be u(8). Suppose w = -l*j + 11, -5*w - 2*j + 9 = -0. Is w - -20 - 8/(-4) a prime number?
True
Let x = -14 + 20. Suppose 3*j = -x, r + 5*j = 2*r - 29. Suppose -4*s - r + 258 = m, 5*s = -4*m + 307. Is s prime?
True
Suppose 0 = 2*b + 5*h - 341, -2*b + 2*h - 4*h + 332 = 0. Is b prime?
True
Suppose 0 = -3*k - 4*s + 3279, 3*s - 4 = 5. Let r = k + -572. Is r composite?
True
Is 2555/20 - (-6)/(-8) a composite number?
False
Let o = -2537 + 3744. Is o a composite number?
True
Let n = 14 - -56. Let l = 308 - n. Suppose 0 = 3*r - r - l. Is r prime?
False
Is (3*(-3)/18)/((-2)/6604) composite?
True
Suppose -m - 4*m + 655 = 0. Suppose -q + m = l + q, 0 = 4*l + 2*q - 512. Is l a composite number?
False
Let g = -6 + 12. Suppose 0*x + g = -x. Is (-1 + 3)*(-255)/x prime?
False
Let d(p) = -55*p - 2. Is d(-1) composite?
False
Suppose 4*q - 5*q = -3*j + 4, -5*j = 2*q - 25. Suppose -284 = -q*z + 2*h - 57, -h + 145 = 3*z. Is z prime?
True
Suppose -11*i = -7*i - 1172. Is i a prime number?
True
Let j(w) = -w**2 - 7*w + 2. Let t be j(-7). Suppose 2*z = 5*b - t*b - 55, -3*b - 2*z = -59. Is b a composite number?
False
Let p be (-5422)/(-4)*(-3 - -5). Suppose z - n - 108 = 436, -5*z + 2*n = -p. Is z composite?
False
Let q(g) = -g**2 + g + 53. Let n(r) = r**2 - 2*r - 3. Let j be n(3). Is q(j) prime?
True
Let i(l) = -l**2 - 3*l + 1. Let n be i(-7). Is 346/18 - (-6)/n a composite number?
False
Suppose 3*w + u = -4*u + 7, -4*w + 2*u = 34. Let b be 15/2*8/w. Let v = 21 + b. Is v a prime number?
True
Let d(m) be the third derivative of 32*m**5/15 - m**3/6 - m**2. Is d(-1) composite?
False
Suppose u + 0*u = 0, 4*a = 3*u + 7604. Is a a composite number?
False
Let u = 7 - 14. Let d = 7 + u. Suppose -4*g + 3 + 21 = d. Is g composite?
True
Suppose 114 = 2*a - 314. Is a composite?
True
Suppose 3*o = 6*o - 3. Suppose o - 19 = -2*q. Is q a composite number?
True
Suppose -o = h + 2*h - 23, 2*o - 2*h - 6 = 0. Is 298/8 - 2/o a composite number?
False
Suppose 0*a + a + 3*l - 379 = 0, -2*l - 1861 = -5*a. Is a composite?
False
Let n(l) = -8*l**2 - 2. Let i(v) = -3*v**2 - 1. Let g(q) = -17*i(q) + 6*n(q). Let j be g(-6). Let m = 162 - j. Is m a composite number?
True
Suppose -3*n - 2*i + 961 + 1418 = 0, -3*n + 2376 = i. Is n a prime number?
False
Suppose 4*c = -5*c + 5013. Is c a composite number?
False
Suppose 2*z + 3*f - 178 = -2*f, -2*z = 2*f - 184. Is z/((-24)/(-10) + -2) prime?
False
Suppose -o + 14 = -0*o. Is (7/o)/(2/1772) composite?
False
Let z(f) be the first derivative of 3/4*f**4 - 2*f**3 - 3*f + 1 + 5/2*f**2. Is z(4) a prime number?
True
Let j(o) = -89*o**3 - o**2. Let y be j(1). Is y/(-4) + 6/12 a composite number?
False
Let f(t) = -t - 1. Let k be f(-9). Let x(z) = -4 - 2 - k*z - 3. Is x(-7) a composite number?
False
Suppose -15 = -3*i + 3*h, 4*i = 3*h - 4*h + 35. Let v(d) = 15*d + 3. Is v(i) a prime number?
False
Let s = 4 - 11. Is 2/s - (-321)/21 a composite number?
True
Is ((-4)/((-60)/25))/(3/279) prime?
False
Let l(s) = 8*s + 4. Let g be l(5). Let t be g/7 - (-2)/(-7). Is -1*(t/3 - 21) a composite number?
False
Let b(a) = a**2 - 4*a - 4. Let s be b(5). Is s*-3 + 1 - -33 a composite number?
False
Let b(t) = 2*t**2 + 2*t - 1. Let x be b(1). Suppose 21 = 5*m - 29. Suppose 0 = 6*p - x*p + n - m, 5*p - 18 = -3*n. Is p a composite number?
False
Let x = -20 + 15. Let q(l) = 5*l**2 + 6*l - 2. Is q(x) a prime number?
False
Suppose 2*y = -4*q + 4*y + 76, 4*y = 8. Suppose 0 = -5*l - 5*u + 40, -u + 5*u = q. Suppose l*r - 22 = a, 0 = -2*r + 6*r + a - 20. Is r a prime number?
False
Suppose q + 330 = l, -3*l - 1360 = -7*l - 4*q. Is l a composite number?
True
Let y = -3 - -3. Let w be 1 - (y + 1) - 0. Suppose -a + 6 + 0 = w. Is a prime?
False
Suppose -3*j - 2*f + 135 = 0, 3*j - 18 - 117 = 5*f. Let g = j + -24. Is g composite?
True
Suppose 0*g = 5*g - 15. Suppose 0 = -g*m - 16 + 163. Is m composite?
True
Suppose 0 = s - 411 - 952. Is s a prime number?
False
Let j(r) be the second derivative of -50*r**3/3 - 5*r**2/2 + r. Let s be j(-6). Suppose 0 = b + 4*b - s. Is b a prime number?
False
Let a be 12 - (-4 + 2 + 4). Suppose 5*o = -a, v - 157 = -0*o + 2*o. Let m = -94 + v. Is m a composite number?
False
Let u(o) = -o + 4. Let z be u(-4). Suppose 12 = 4*x - z. Suppose -2*j + j = -s - 37, 4*j + x*s - 148 = 0. Is j a prime number?
True
Let f = -1303 + 1982. Is f a composite number?
True
Suppose 4*c - 1026 = -2*t, -5*t = -4*c + 2*c - 2613. Is t a prime number?
True
Let a be (-168)/(-20) - (-4)/(-10). Let d = 5 - a. Is (d/(-9))/((-1)/(-147)) composite?
True
Let r = 4932 + -1567. Is r a prime number?
False
Let y be 398 + (-4)/4*2. Let p = -179 + y. Is p prime?
False
Let r = 0 - -5. Suppose -r*a = -31 + 11. Is (-2)/a*(-3 + -71) a prime number?
True
Suppose 4*c - q - 7 - 9 = 0, c + 2*q = 4. Suppose -125 = -x + 399. Suppose 8*j - x = c*j. Is j prime?
True
Let t = 3 + -1. Let v(z) = 2*z**3 + 14*z**2 + 9*z - 3. Let i(h) = -h**3 - 5*h**2 - 3*h + 1. Let x(r) = -17*i(r) - 6*v(r). Is x(t) composite?
True
Suppose -3*j - 427 = 3*r + 80, 0 = 4*r - 3*j + 676. Let g = r + 464. Is g composite?
True
Let z(c) = 468*c**3 + c. Is z(1) prime?
False
Suppose -4*w = -l + 9, w - 4*l = 3*w. Let x be (w/4)/((-1)/(-4)). Is 5 + x + -1 + 2 a composite number?
True
Let o(y) be the third derivative of -y**5/60 + y**4/4 + y**3/2 + 3*y**2. Let i be o(6). Suppose f + 1 = i. Is f a composite number?
False
Let d = -1604 + 3883. Is d a prime number?
False
Suppose 4*h - 770 = 546. Is h a composite number?
True
Suppose 2*q + 82 = -b + 716, 5*q = -4*b + 1579. Is q a prime number?
False
Let d be 4 + -3 + 0 + 37. Is 1/(0 + 2/d) a prime number?
True
Let w be (2/2)/(1 - 2). Let t be (w + -1 - -2)/1. Suppose t = -3*m + y + 73, 4*m - 2*y - 91 - 5 = 0. Is m prime?
False
Suppose -4*u - 3*k = 4, 4*u - 3*k = 19 + 1. Suppose u*v - 120 = -3*v. Suppose -8*y = -4*o - 4*y + v, -2*y + 23 = 3*o. Is o a prime number?
True
Let f(h) = 3*h + 4. Let m(o) = -8*o - 12. Let k(i) = -11*f(i) - 4*m(i). Let w be k(4). Is 0 - -1*(7 - w) a composite number?
False
Let r(h) = h**3 + 4*h**2 + 2*h + 3. Let l be r(-3). Suppose -v + l 