prime?
True
Let b = -8 - -23. Suppose 5*z + 34 = 2*z + 5*w, 0 = 4*z + 4*w + 24. Let t = b + z. Is t composite?
False
Let u(x) = 22*x + 10. Let y be u(5). Let z be (-1 + -9)*(-7)/(-2). Let w = y + z. Is w a composite number?
True
Let x(p) = -p**3 + 13*p**2 - 2*p - 26. Is x(11) a prime number?
False
Suppose -h = 105 + 25. Let u(j) = 226*j**2 + 1. Let b be u(-1). Let n = h + b. Is n prime?
True
Suppose 18 - 30 = -3*m. Suppose 148 = -m*n + 1808. Is n composite?
True
Suppose 0 = 3*s + s - 12. Suppose 4 - 10 = -3*v, 2*c - s*v - 312 = 0. Is c a prime number?
False
Suppose -2*j - 6 = -2*t, -19 = -t - 0*j - 3*j. Is t composite?
False
Let t(u) = 26*u + 5. Suppose 1 = 2*i + 4*a - 23, -45 = -5*i - 5*a. Is t(i) prime?
False
Let a(s) = 1018*s**3 - 2*s**2 + s. Let k be a(1). Let v = 1694 - k. Is v composite?
False
Let r be ((-10)/15)/((-1)/3). Suppose r*u - 13 = 17. Is u/(9/3 - 2) prime?
False
Let a be (0 - -2)*(0 + -1). Let w be (-7)/a + 4/(-8). Suppose w*c - 445 = -2*c. Is c a prime number?
True
Suppose 4*o - 602 = 2*o. Is o prime?
False
Let f = -16 + 25. Suppose z = -2*z - f, -z = 2*d - 71. Is d composite?
False
Let h be -3 + 1 - (-3 + 1). Is 0 + -3 + 22 + h prime?
True
Suppose -z - 179 = 5*x - 1510, -z = -2*x + 538. Is x composite?
True
Suppose 3*m + 31 + 20 = -3*h, -2*m + 2*h - 14 = 0. Let k = 18 - m. Is 3*(-5)/(k/(-28)) a prime number?
False
Let g(p) = -3*p + 14. Let d be g(-5). Is (2 - -1)*d + 4 a composite number?
True
Let p be 100/45 - (-4)/(-18). Let s(f) = -3 - 14*f - 19*f + p. Is s(-2) composite?
True
Let v(l) = -l**3 + l**2 - l + 1. Let s be v(1). Suppose s = -n - 3*n + 16. Suppose 0 = t + n*t - 265. Is t composite?
False
Let f(n) = -2*n**3 - 7*n**2 + 12*n - 7. Is f(-8) a prime number?
False
Let v(b) = b**3 + 1. Let z be v(1). Suppose z*c + 2*c = 24. Suppose -5*y + c = -29. Is y composite?
False
Suppose 3*g + 2 = -16. Let q(n) = -6*n**3 - 2*n**2 - 6*n - 1. Is q(g) prime?
True
Suppose 0 = 4*s - 8*b + 3*b - 1628, 3*s - 3*b - 1221 = 0. Is s composite?
True
Let f(i) = -i**2 - 16*i - 11. Let s be f(-15). Let z(o) = 83*o - 1. Is z(s) a prime number?
True
Let v = 53 - 92. Let u = 19 - v. Is u a prime number?
False
Let k = -32 - -11. Let m = k + 67. Is m composite?
True
Is 190 - (1 + 3)/(-4) composite?
False
Let i be (-21)/2 - 2/4. Let z(p) = 10*p**3 + 30*p**2 - 17*p - 8. Let n(s) = 3*s**3 + 10*s**2 - 6*s - 3. Let j(x) = -7*n(x) + 2*z(x). Is j(i) prime?
False
Suppose 40 = -4*m - m. Let c = -5 - m. Is (-12)/(-4)*10/c a prime number?
False
Let w be (-4)/10 - 40/25. Let h(m) = -102*m - 1. Is h(w) a composite number?
True
Suppose 4*r + 92 = 2*x, -7*r + 3*r = 20. Let l be (-2)/(-5) - x/(-10). Suppose -4*w + 4*o = -316, -l*w - 3*o + 71 = -3*w. Is w a prime number?
False
Suppose -5*w + 7011 = -4*k, -2*w + k + 2124 + 678 = 0. Is w a composite number?
False
Suppose -20*d - 9042 = -26*d. Is d composite?
True
Let z = 1485 - 148. Is z a prime number?
False
Suppose -50*u = -51*u + 3107. Is u a composite number?
True
Suppose -10 = 5*t + 5, -5*t = -5*r + 16010. Is r a prime number?
False
Let q(n) = -7*n + 11. Let u(v) = 133*v - 210. Let j(y) = -77*q(y) - 4*u(y). Suppose 5*z = 3*i + 30, -5*z - 2*i = -23 - 7. Is j(z) a prime number?
False
Let y(m) = -30*m**3 - 3*m**2 - 4*m. Let h be y(-3). Suppose -2*u = u - h. Is u prime?
False
Suppose 4*f - 11 = q + 20, 0 = -f + 4. Let m be 39/q + 4/(-10). Let x(g) = -7*g + 2. Is x(m) a composite number?
False
Let q = -1 - 5. Let v be (-343 + q + 3)/(-2). Suppose 5*s - 789 = 4*n, s = -3*n - 0*n + v. Is s prime?
False
Let q(h) = h**3 + h - 2. Let f be q(2). Suppose 4*k + 4*i = 164, 0*i = -2*i + f. Is k a composite number?
False
Suppose -4*i = 2 + 2. Is (-22)/i*1/2 prime?
True
Suppose 3*x + 0*x - 12 = 0. Suppose t - 15 = -x*t. Suppose 175 = -t*v + 8*v. Is v a composite number?
True
Suppose 15 = -2*q - 2*s + 51, -76 = -4*q - 2*s. Suppose 5*p = 3*k - 15 - 4, -q = 4*p. Is k - (-92)/1 - -1 a composite number?
True
Suppose -4*f + 26 = -34. Suppose 2*u + 5*a + 3 = 5*u, 0 = -3*u - a - f. Is ((-156)/18)/(u/30) a prime number?
False
Is (47/3 + 0)*9 a composite number?
True
Suppose 5*m = 4*w - 53, -7*m - 3*w = -2*m + 74. Let d = m + 9. Let t = d + 14. Is t a prime number?
False
Let v = 5071 - 3414. Is v composite?
False
Suppose 0 = -0*b - 2*b + 6. Is 26*1 - (b - 0) a prime number?
True
Suppose l + 8 = 5*n, 0 = 5*n + 3*l - 6*l - 4. Suppose -3*x = -4*s + 157 + 159, s - n*x = 79. Is s composite?
False
Let t(c) = -2*c - 1. Is t(-10) a prime number?
True
Let c = 1419 + -176. Is c a composite number?
True
Is 0 + 157 + 0/10 composite?
False
Suppose -826 = 8*p - 10*p. Is p a composite number?
True
Suppose -5*z - 21 = 39. Is 1/2 + (-510)/z a prime number?
True
Let k(f) = f**2 + f + 2. Let w be k(-2). Suppose -5*u - m = -143, -141 = -3*u - 2*u - 2*m. Suppose w*o + 4*c - 336 = 0, -o = -c - 65 - u. Is o prime?
True
Let x(m) = 65*m**2 + 7*m + 11. Is x(-5) prime?
True
Let p be 3/2*(-24)/(-9). Suppose p*h - 321 + 53 = 0. Is h a composite number?
False
Let c = -77 + 131. Let u = c + -24. Let m = -11 + u. Is m a prime number?
True
Suppose 5*p = 11*p - 762. Is p composite?
False
Let w(b) = -32*b**3 - 2*b**2 + 2*b + 1. Let s be w(-2). Suppose 0 = -3*y - 44 + s. Is y prime?
True
Is 3*(-6)/((-72)/2044) a composite number?
True
Let x(a) = -a**2 + 7*a - 1. Let p be x(8). Let b(m) = -10*m - 5. Is b(p) composite?
True
Suppose -2*y + k = -0*y - 7, 3*y = -k + 13. Is (-57)/(-21) + y/14 a prime number?
True
Let j(t) = 5*t**2 - 2*t + 5. Let b(d) = d**2 + 4*d - 8. Let y be b(-6). Is j(y) composite?
True
Let g = 10 + 6. Let f be 30/8 + 4/g. Suppose -4*v = 5*b - 115, b + f*v - 33 = 6. Is b prime?
True
Suppose -383 = -3*t + 2*l, -l = -0*t + t - 121. Let o = 348 - t. Is o composite?
False
Suppose 0*l = c - 5*l + 40, 0 = -5*c - 4*l - 142. Let d = c + 21. Let b(g) = -3*g + 10. Is b(d) a prime number?
True
Let m be 4/6*3 + 7. Let w = m - -70. Is w a prime number?
True
Let k(c) = c**2 - 5*c - 2. Suppose 3*b + b - 16 = 0. Let i be k(b). Let m(g) = 5*g**2 + 10*g + 7. Is m(i) prime?
True
Is (-1)/(1*4/(-136)) composite?
True
Suppose t = -h - 5, 5*h - t + 3*t = -13. Is (-257)/(-2)*(-2)/h a composite number?
False
Suppose -434 = -3*y - 80. Let m = 49 + y. Is m a composite number?
False
Let n = -6747 - -11734. Is n composite?
False
Suppose 4*t + y = -1628, -4*t + 614 - 2218 = -5*y. Is -2 + -1 - t*1 composite?
True
Let s(f) = 23*f + 1. Let v be s(2). Suppose 2*r - 28 = -5*j, -4*r + v = -2*j - 9. Is r a prime number?
False
Suppose w = 5*w - 8. Suppose -6*j + c + 157 = -3*j, -w*j - 2*c + 110 = 0. Is j + (-2)/4*0 a prime number?
True
Is 4/3*-3 - -10 a composite number?
True
Let i(w) = 52*w + 2. Let l be i(3). Suppose b - l = -b. Is b a prime number?
True
Is (298/(-6))/(10/(-150)) a prime number?
False
Suppose -5*d = -5*n - 35, 0*n - 3*n = -2*d + 18. Suppose u = d*u - 74. Is u a composite number?
False
Let c = 260 + -178. Let z = c - -24. Let v = z - 69. Is v prime?
True
Is (2 - 39)/(4 + (-145)/35) composite?
True
Suppose a = 770 - 141. Is a prime?
False
Let j be -1 + (1 - (1 - -1)). Is ((-19)/j)/(2/12) prime?
False
Suppose -2 + 3 = i, -4*p + 195 = -i. Is p a prime number?
False
Suppose 4*f = 3*i - 0*i + 20, -i = 0. Suppose -l - 399 - 5008 = -4*h, -6758 = -f*h + l. Is h a composite number?
True
Let f(b) = -b**2 - 2*b - 12. Let d(i) = -3*i**2 - 4*i - 25. Let j(x) = -2*d(x) + 5*f(x). Let l be (-12)/4 + -1*4. Is j(l) a composite number?
False
Let a(z) = 15*z + 4. Suppose -2*v = -6*v + 20. Suppose 0 = -b + 2*b - v. Is a(b) prime?
True
Suppose 2*x + 19 = 5*v, 3*x + 3*v + v - 29 = 0. Let h be -3*(0 - 8/x). Suppose 405 = 5*k - 4*c, -2*k - 3*c = -h*c - 179. Is k composite?
True
Let a(t) = 4*t - 1. Let j be a(1). Is 195/10*2/j a prime number?
True
Let t(g) = -g**3 + 4*g + 12. Is t(-7) a composite number?
True
Let h = 68 - 29. Suppose -c + 5*d - 15 = -h, -16 = 4*d. Suppose c*p - 19 = 9. Is p prime?
True
Let s(v) = 0 - 2 + 25*v - 1. Is s(4) prime?
True
Let c be (0 + 284/10)*-5. Let k = c + 207. Is k a composite number?
True
Let u(j) = -j - 3*j - j - 14 + 11. Suppose -5*g - 3 - 27 = 5*f, 28 = -5*g - 3*f. Is u(g) a composite number?
True
Let j = -78 + 129. Is j a composite number?
True
Let v = 2 + -8. Let n = v + 19. Suppose n = 4*g - 43. Is g a composite number?
True
Suppose -3352 = -5*i - 3*i. Is i pri