-15694)/(-30) + -2 + 16/(-120) prime?
True
Is (-4*23)/(-3 + 1) composite?
True
Is (8/2)/(-4)*-641 a prime number?
True
Suppose 3*j + 2*j - 335 = 0. Suppose -2*m + j - 21 = 0. Is m composite?
False
Suppose 5*q + 3*d = -110, -2*d = -4*q - 121 + 33. Let r be 7/21 - q/6. Is (4 + -2)*78/r a composite number?
True
Suppose -3*i + 5013 = 2*g, 4*g = 2*i - 5*i + 5019. Is i a prime number?
True
Suppose 2*y + 3*y = 0, 2*y + 12 = 4*q. Suppose -3*g = q*p - 2*p - 16, g - 2 = -2*p. Suppose -24 - g = -2*s. Is s a composite number?
True
Suppose j - 15 = -4*j. Suppose 2*d + 10 = j*f, -f - 6 = f + 5*d. Suppose 0 = s + f*s - 147. Is s a composite number?
True
Suppose 0 = -5*l - 5 - 10. Let d(f) = 3*f**2 + 3*f - 1 - 1 - 4*f**2 - f**3. Is d(l) a prime number?
True
Suppose 5*u - 10 = 2*f, -4*u + 2*f = -2*f + 4. Suppose p - u = -2. Is (p - -18) + (3 - 1) prime?
False
Let i(c) = 46*c**2 + 4*c + 5. Let w be i(-4). Suppose -3*t = -8*t + w. Is t composite?
True
Let x = -1 + 6. Suppose -x*p + 9 = -2*p. Suppose 4*r + p*f = 209, r + 7 - 62 = 2*f. Is r a prime number?
True
Let x(o) = -o**2 + 4. Let q be x(0). Suppose -l - q*l = -105. Is l composite?
True
Let d(y) = y - 12. Let l be d(15). Let n(p) = 4 + 7*p + 3*p - 4*p. Is n(l) a composite number?
True
Suppose 4*y - 37 = 9*y - 2*s, 0 = 2*y + 5*s + 9. Is 11/(y/(-2) + -3) composite?
True
Let v be -4 + (2 - 2 - -1). Let o = -1 - v. Suppose 26 = -0*n + o*n. Is n a prime number?
True
Let h = -2 + 1. Let z = -556 - -94. Is z/12*2/h composite?
True
Suppose -128 = -3*i + 3*p + 70, -5*p + 78 = i. Let o = i + -1. Is o a composite number?
False
Suppose -3*t + 7*t - 1508 = -3*r, -2*r - 754 = -2*t. Suppose 4*s - t = -5. Let b = s - -92. Is b a prime number?
False
Is 157 + 5 + -1 + 8 + -8 a prime number?
False
Suppose -352 = -4*j - 92. Is j prime?
False
Suppose -3*q + 25 = -2. Let i(m) = -93*m**3 + 0 + q*m**3 - m + 0. Is i(-1) a prime number?
False
Let w(l) = 161*l - 7. Is w(10) a prime number?
False
Let k = 40 - 6. Let m = -21 + k. Is m prime?
True
Let x be 400*((-6)/(-15) - 0). Suppose a + 101 = 3*f + 5, -5*f = -5*a - x. Let v = f - 17. Is v a composite number?
True
Let a = 4 - -41. Suppose 2*c = 4*q - 144, -q + 4*c = -a + 16. Is q a composite number?
False
Suppose -1853 = -4*y - 5*o, 4*o = 4*y - o - 1883. Suppose 2*i = 3*i - y. Is i a prime number?
True
Let k(p) = -78*p - 5. Is k(-4) prime?
True
Suppose d - 6 = -o - 1, 0 = -2*o - 3*d + 15. Suppose 0 = -5*b - f + 197, o = -b + 3*f - 0*f + 33. Suppose 3*r - b = 90. Is r a composite number?
False
Let q = -7 - -9. Suppose -3*p - 3*m + q*m + 233 = 0, 4*p - 312 = -m. Is p composite?
False
Suppose t + 1 = -j + 91, -453 = -5*t - 2*j. Is t a prime number?
False
Suppose 6*n = 9*n - 177. Is n a prime number?
True
Suppose 16 = -b - b. Is ((-29)/(-2))/((-2)/b) a prime number?
False
Suppose -3 = 3*d - 3*w, 32 + 2 = -4*d - 2*w. Let x(f) = f**3 + 5*f**2 + 7*f + 7. Let l be x(d). Let k = l + 106. Is k prime?
False
Suppose 0 = -2*s + s + 479. Is s prime?
True
Is 2 - (-485 - 0/1) prime?
True
Suppose -4*u - 3*c = u - 3740, 2*c = -5*u + 3735. Is u prime?
False
Suppose 3*j - 2*c - 2 = 0, -3*c - 5 = -j - 2. Suppose 2*y = j, -w + 108 = -0*y + 3*y. Suppose 0 = -5*x + 5*h - 6*h + 253, -2*x = -3*h - w. Is x a prime number?
False
Let o(i) = 23*i**2 - 2 - 12*i**2 + 5*i**2 - 2*i. Is o(2) composite?
True
Suppose 8 + 1 = -z. Is z/(-27) + 136/6 a prime number?
True
Is 21482/10 + (-68)/(-85) a prime number?
False
Suppose 2*v = v + 2. Suppose v*y - 125 = -3*y. Is y a composite number?
True
Let w = 16 + -5. Is (-34)/(3 + w/(-3)) a prime number?
False
Suppose 5*w = 4*h - 2*h + 1277, 0 = -4*w - 2*h + 1036. Is w composite?
False
Let s = 143 - -70. Is s a composite number?
True
Suppose 4*f - 2 - 18 = 4*d, d + 5 = -5*f. Suppose -4*n + 121 - 25 = f. Is 9/(-12)*n/(-2) a composite number?
True
Let y = -177 - -256. Suppose h - 190 = -5*l, 2*l = 3*h - 4*h + y. Is l a prime number?
True
Suppose -12 = -7*r + 3*r. Suppose -39 - 36 = -r*g. Is g composite?
True
Let y(k) = -2*k**2 - 5. Let o(z) = -z**2 - 5. Let n = 0 - -3. Let h(u) = n*o(u) - 2*y(u). Is h(-6) a composite number?
False
Let b(w) = w**2 + 2 - 3 + 1 - 3 + 5*w**3 + 2*w. Let s be b(2). Let c = s + 2. Is c a composite number?
False
Let y(i) = -i**3 - 3*i**2 - 3*i - 3. Let n be y(-3). Suppose -q - 10 = -n*q. Suppose 0*a - 212 = -4*s - 3*a, q*s = 5*a + 106. Is s a prime number?
True
Let l be -1 - -2 - 4 - -9. Suppose -5*v - 53 = -l*v. Is v a composite number?
False
Let y = -64 + 1332. Suppose -5*n + 597 = -y. Is n a prime number?
True
Let a = 9232 - 6531. Is a a composite number?
True
Suppose 495 + 1131 = 3*g. Suppose -4*j = -198 + g. Let a = 165 + j. Is a a prime number?
True
Let i(w) = -w + 0*w + 4 - 1 + 4. Is i(-8) a composite number?
True
Suppose 4*u + 3*h = -0*h - 1400, 3*u - 3*h = -1029. Suppose -4*p + 5*p = 496. Let k = p + u. Is k composite?
False
Suppose 4*w + 12 = -5*o, 5*w = -o - 3*o - 15. Suppose -2*q + 2 = 10, -5*p + 4*q + 451 = o. Is p a composite number?
True
Let t(x) = -18*x + 9. Let y(m) = -m. Let l(d) = 13*d - 5. Let q(p) = l(p) + 4*y(p). Let j(u) = -5*q(u) - 3*t(u). Is j(4) a prime number?
False
Let j = 131 - -80. Suppose -d = -2*d + j. Is d prime?
True
Suppose 0 = -2*i - 2*i + 148. Suppose i = 2*h - 73. Is h composite?
True
Let u(s) = -35*s**3 - 5*s**2 - 11*s - 9. Is u(-4) prime?
False
Suppose -3*q + 0*q + 111 = -u, -q = -4*u - 26. Is q composite?
True
Suppose w = -4*t + 20, -w - w = -t - 31. Suppose -61 = -h + w. Is h composite?
True
Suppose 0 = r - 4*r + 15. Suppose 4*a + r*i = 0, 1 = 3*i + 13. Suppose 5*w + 2*c - 615 = 0, a*w - 168 = 4*c + 417. Is w a prime number?
False
Suppose 0 = -2*v - 2, 2*v - 3*v = 5*c - 1804. Is c a prime number?
False
Let o = 683 + -460. Is o a prime number?
True
Suppose 15*r = 4*r + 5731. Is r a composite number?
False
Let i(z) = z**2 - 2*z + 33. Suppose 2*f = -4*s - 8, -8 = -4*s + 3*f - f. Is i(s) a prime number?
False
Suppose -3*v + 25 + 9 = -4*x, 2*v = -x + 8. Let l(f) = f**2 - 5*f + 1. Is l(v) a composite number?
False
Let t = -48 + 27. Let y(d) = 93*d**2 - d. Let r be y(1). Let m = r - t. Is m prime?
True
Suppose -9*s = -4*s - 1535. Is s a composite number?
False
Suppose z - 257 = -84. Suppose -2*b = -5*x - 138, 3*x + z = 3*b + 4*x. Is b a composite number?
False
Let x(i) be the first derivative of -7*i**2/2 + 1. Let f be x(-4). Suppose -2*p + 2*s = -62, 2*s - f = 3*p - 124. Is p a prime number?
False
Suppose 0 = -5*m + 4*x - x + 11530, -4*m + 4*x + 9216 = 0. Is m a prime number?
True
Let d be (-1 + -1)/(-2) + -29. Let z be -2*3/(-2) - (-20 - -77). Let q = d - z. Is q prime?
False
Suppose -5*m + 16 = -m. Suppose -3*z - 141 = -m*z. Is z a prime number?
False
Suppose -14*l - 1004 = -18*l. Is l prime?
True
Suppose 4*z + 83 = 5*m - 60, 0 = 3*m - 2*z - 87. Suppose 10 = -f + m. Is f prime?
False
Suppose -66 = -4*t + 246. Let h be 2/(-8) - t/(-24). Is 11*2/(6/h) composite?
False
Is ((-30446)/(-13))/(2*1) prime?
True
Let v(j) = -j**2 - 5*j - 2. Let y be v(-4). Is (y*163/2)/1 prime?
True
Suppose 3*x = -4*n + 785, x - 514 = -x + 2*n. Is x a prime number?
False
Let c = 1 + -19. Is 67/3 + 6/c prime?
False
Let q be (-3)/(-4) + (-2103)/(-12). Let v = -65 + q. Is v a prime number?
False
Suppose -5*r + 30 = -9*f + 4*f, 2*f + 3*r - 3 = 0. Let x = f + 7. Let c(g) = g**3 - 2*g**2 - 2*g + 2. Is c(x) a prime number?
False
Let j = 1767 + -518. Is j a composite number?
False
Suppose h = 2*a - 9959, -3*a - 2*a = 5*h - 24920. Is a a prime number?
False
Let b(n) = 322*n**2 + n + 1. Let u be b(-1). Suppose -u = -3*c + c. Is c a composite number?
True
Suppose y - 53 = 2*i, 5*y + 2*i = 83 + 122. Let h = 66 - y. Is h composite?
False
Suppose -3*s + 115 = -2*s. Is s a prime number?
False
Let y(o) = 2*o**2 + 5*o - 46. Is y(11) prime?
True
Let j = 1 + 0. Let c(w) = w + 2 - 3 + 7*w + 4*w. Is c(j) prime?
True
Let n(u) = u**2 + 4*u + 4. Let j be n(-4). Suppose j*a - 130 = 2*a. Is a a composite number?
True
Suppose 2*l + l = 1353. Is l a prime number?
False
Suppose -5*m + 765 = -5*f, -m - 5*f + 177 = -0*m. Is m a prime number?
True
Let h(v) = 4*v**2 + 10*v - 9. Let n be h(6). Suppose -n = -l - 4*f, -l + 38 = -3*f - 129. Suppose 4*t - 57 = l. Is t a composite number?
False
Is (0 - 113)*(10 + -11) a prime number?
True
Suppose -3*f + 4*n + 37 - 12 = 0, 2*f - 11