)/(-21) - 150/x prime?
True
Suppose -2*u + 13 - 1 = 0. Let x = u + -3. Is 1/(x + -2)*31 prime?
True
Suppose 2*t + 3*v = 2*v + 1981, v + 992 = t. Is t a composite number?
False
Suppose -r - 9 = -2. Is 42/r*(-14)/4 a prime number?
False
Suppose -5*m = -2*p + 123, -441 = -5*p - 4*m - 84. Suppose p = 5*z - 86. Is z composite?
False
Let t = 0 + 4. Suppose -2*h - 3*u + 140 = -u, 0 = -h - t*u + 67. Is h prime?
True
Let i(v) = 35*v + 32. Is i(13) prime?
True
Let i = -1 - 0. Let a be i/(-1 + (-4)/(-6)). Suppose a*f + f = 56. Is f a composite number?
True
Suppose -5*h = -4*o - 17, -4*o + 21 = 5*h - 12. Is 14*(o + (-13)/(-2)) a composite number?
True
Let p(i) = -i**3 + i**2 - i - 1. Let k be p(-1). Is k/(-4) - 573/(-6) composite?
True
Let j = 9 + 122. Suppose -63 - j = -f. Is f a composite number?
True
Let q = -23 - -434. Is q prime?
False
Is 5 + 112190/55 + (-4)/(-22) composite?
True
Suppose -i - 5*v - 9 = 0, -5*i + 101 + 4 = -5*v. Is ((-40)/i)/(2/(-68)) a composite number?
True
Is ((-3)/(-9))/(2/1146) a composite number?
False
Let b = 874 + -143. Is b a composite number?
True
Let u = -5846 - -3888. Is 1/(u/653 + 3) a composite number?
False
Suppose 0 = -2*m - 0*y - 5*y + 1129, -3*y = -5*m + 2776. Is m composite?
False
Suppose -2*t + 5*d + 1 = 0, -3*d - 1 = -4*d. Is t prime?
True
Suppose -g = 4*f + f + 16, -8 = g + 3*f. Let u = g + -3. Is u/1*-3 - -70 prime?
True
Suppose 5*b - 5*l = 5472 - 867, -2*b - 5*l = -1828. Is b a prime number?
True
Suppose -n - 127 = -5*m, 4*n + 33 = -0*m + m. Is 19935/m - 4/10 composite?
False
Let o be (-6 + 7)*1*67. Suppose 293 = 5*w + f, -w + 2*w = 4*f + o. Is w a prime number?
True
Suppose -7*d + 9 = -4*d. Suppose d*p + 2*z = 5*p - 714, -5*p - z = -1761. Is p a composite number?
False
Let t(v) = -v - 2. Let r = -8 - -2. Let u be t(r). Suppose q + 57 = u*q. Is q prime?
True
Let i(m) = -12*m + 5. Is i(-7) a prime number?
True
Let a(n) = 9*n - 2 + 2*n**2 - 2 - 4*n. Let s be a(5). Let m = -34 + s. Is m a composite number?
False
Let w be 1/(-4) + 786/8. Let n be w/1 + 1 + -1. Suppose -4*b - 3*t + 144 + n = 0, -3*t + 6 = 0. Is b composite?
False
Let w = 9 + -6. Let g(y) = 36*y + 5 - 10*y - 4. Is g(w) composite?
False
Let u = 256 - 161. Suppose u = 4*i + i. Is i prime?
True
Suppose -1 - 11 = -4*o. Suppose 0 = 2*w + 2*w - o*n - 331, -5*w + 400 = -n. Is w prime?
True
Let z(p) be the first derivative of 9*p**2/2 - 10*p + 3. Is z(7) composite?
False
Let j(y) = y**2 + 16*y + 23. Let l be j(-15). Suppose -g - 200 = -5*c, g - 87 = -c - c. Suppose t - c = -l. Is t composite?
True
Let c(m) = m**3 - 15*m**2 - 3*m + 9. Is c(16) prime?
False
Let z(w) = 106*w - 1. Let a(m) = -m - 5. Let n be a(-7). Let q be (0 - (-2 + 1))*n. Is z(q) a prime number?
True
Let g(x) = x**2 + 4*x - 5. Let m(h) = h**3 - 9*h**2 - 2. Let u be m(9). Let c be (-1)/u*12/(-1). Is g(c) a composite number?
False
Is 74*-1*55/(-22) prime?
False
Let b = 8007 - 5428. Is b composite?
False
Let d(i) = 147*i - 2. Is d(5) a prime number?
True
Let z be (-38)/(-14) + (-6)/(-21). Suppose -2*n + 0*n + z*f = -67, -3*n = -f - 83. Is n a composite number?
True
Suppose -z + 26 = 4*v + 2, v = 5. Suppose 2*w - 156 + 38 = -z*y, 4*w + 2*y - 254 = 0. Is w composite?
True
Let c be (-115)/(-5) + 0 + 3. Suppose x - 18 = -4*l, 0 = x + x - 2*l - c. Is x prime?
False
Let j(m) = -m**3 - 5*m**2 - m - 6. Is j(-8) a prime number?
False
Let p = 375 + -136. Is p composite?
False
Suppose -13*v + 15*v - 106 = 0. Is v a prime number?
True
Suppose 0 = 5*a + 5*y - 470, 3*a + 0*a - 288 = 3*y. Is a a prime number?
False
Suppose 8 = 4*x - 5*x - 3*d, 5*x + 2*d = -14. Let r(p) = p - 6*p**3 + 2*p**2 + 3 + 0*p**3 + p. Is r(x) prime?
False
Let b(a) = 2*a - 5. Let u be b(4). Suppose -5*n - g = g - 755, u*n + g - 452 = 0. Is n composite?
False
Let z(n) = 12*n**2 - n - 1. Let q(u) = 4*u - 1. Let r be q(1). Let v = r - 5. Is z(v) composite?
True
Suppose v - 1 = 5. Let k be 208/(-4)*v/(-8). Suppose i + 2*i + 2*r - 23 = 0, 5*i + 4*r - k = 0. Is i composite?
False
Let j(n) = n**3 - 3*n**2 - 3. Let f be j(3). Is 46/(1 - 3/f) prime?
True
Let p(n) = 85*n**2 - 14*n + 3. Is p(8) a composite number?
True
Let n(l) = -l**2 - 5*l - 1. Let i be n(-3). Suppose j = s - 5*s + 27, -5*j + i*s = -85. Is j a composite number?
False
Let o = 167 - -1034. Is o a composite number?
False
Let n be (-30)/(-8) - 15/20. Suppose 0 = d - n, 5*t + d = 3*t + 269. Is t a composite number?
True
Let c be (-3 - -3)*(-2)/(-4). Suppose 2*f - f + 85 = c. Let r = -48 - f. Is r a prime number?
True
Let l(b) = -b**2 + 6*b + 13. Let i be l(-11). Let n = 443 + i. Is n a prime number?
True
Suppose 2*v = -2*q + 4, -v - 3*q - 2 - 2 = 0. Is v - ((-6)/(-2) + -4) prime?
False
Let f(p) = -7*p - 2*p + 4*p + 22*p**2 - 1. Is f(4) a prime number?
True
Suppose 0 = -2*f - 0*f + 162. Suppose -f - 59 = -4*p. Is p a composite number?
True
Let m = -66 - -257. Is m composite?
False
Let r(x) = -x**3 + 10*x**2 + 3*x + 9. Suppose c + 0*c + 8 = 4*m, -5*c + 2*m = -32. Is r(c) prime?
False
Suppose 2*r - 727 = 211. Is r a prime number?
False
Let i(t) = t**3 + 5*t**2 - 6*t + 1. Let b be i(-6). Let q = b + 4. Suppose q*r - 406 = 159. Is r a prime number?
True
Let c(i) = -i**2 + 152. Let a be c(0). Suppose -4*d + 4*w = -0*w - a, w = 2*d - 77. Is d composite?
True
Let o be ((-28)/3)/(2/(-9)). Let g = o + -27. Suppose 4*p = -p - g, -5*p = -4*q + 251. Is q prime?
True
Suppose 5*v - 4*u = -20, 4*u - 20 = v + v. Suppose -l - 2*w + 47 = v, -w + 69 = 2*l - 2*w. Suppose 2*m - l = 1. Is m a composite number?
False
Let t be (-1)/((-12)/27)*8. Suppose 4*i - t = 3*m, -i + 29 = -2*m + 12. Is (56/20)/((-2)/m) a prime number?
False
Suppose -1043 = -3*x - 4*x. Is x composite?
False
Let w = 0 - -3. Let m be 2 - (-1 - 12*w). Suppose 2*o = -o + m. Is o a prime number?
True
Suppose -14*h + 10*h = -196. Is h composite?
True
Let v be ((-5)/((-15)/6))/(-1). Let c(u) = -2*u**2 - 3*u - 3. Let j be c(v). Let w(s) = -12*s - 1. Is w(j) prime?
True
Suppose 2*n - 5*g = 132, n + g = 4*g + 65. Is n a composite number?
False
Let i = -3373 + 4942. Is i a composite number?
True
Suppose z + 2165 = 6*z. Suppose 0 = 5*j + 3*k - 27 - z, 2*k + 79 = j. Is j prime?
True
Suppose 614 = q + q. Is q composite?
False
Let c = -78 + 197. Is c prime?
False
Is (281/(-2))/((-4)/16) a prime number?
False
Suppose -4*o = 2*x + 38, -2*x = -0*x - 4*o + 38. Let z = 36 + x. Suppose -4*d - 257 = -5*k, 0 = k - d - 35 - z. Is k composite?
True
Suppose -18 - 12 = -3*h. Is (11 + 0)/(2/h) prime?
False
Let c = 684 + -173. Is c composite?
True
Let z = -6 + 10. Suppose z*n - v - 37 = 0, 2*v + 7 = 2*n - 7. Is (-1)/5 - (-192)/n a prime number?
True
Let n(a) = a**3 + 5*a**2 + 2*a - 1. Let b be n(-2). Let s(v) = -v**3 + 9*v**2 - 7*v - 14. Is s(b) a prime number?
False
Let y(u) = 4*u + 1. Let m be y(1). Let w be m/(10/12) + -3. Suppose w*b = 38 + 61. Is b composite?
True
Let r(i) = 9*i - 13*i + 31*i - 1 + 10*i. Let l be r(-2). Is -1 + 0 - (l - 3) a prime number?
False
Is (1656/(-1) + -1)*-1 a composite number?
False
Suppose 2*o - 13 = -v, -v + 3 = o - 6. Suppose -5*f + 3*k = -20, -v*k + 8 = 5*f - 12. Is 265/f + (-18)/(-24) a composite number?
False
Let k(c) = 19*c**2 - 4*c - 2. Is k(-5) a composite number?
True
Suppose 3*j + p = 2*p + 94, 0 = -5*j - 5*p + 150. Is j prime?
True
Is (-2 - -1)*(-2433 + 10) a composite number?
False
Let f(q) = -32*q. Let h be f(-1). Let c = -7 - -58. Let d = c - h. Is d prime?
True
Let h be ((-471)/6 - -1)*-2. Suppose j - w = -j + h, 5*j - 3*w = 386. Is j a composite number?
False
Suppose g - 12 = -5*p, -2*p = -2*g + 2*p - 4. Suppose -g*c - 3*c = -4*y + 447, -3*c = -3*y + 339. Is y composite?
True
Is 44331*(10/20 + 2/(-12)) a composite number?
True
Suppose 4*v + 3*z - 8 = 1, 3*z - 9 = -v. Suppose v*i + 40 = 2*i. Suppose 0 = -2*j - 2*m - i + 270, 2*j - 246 = -m. Is j a composite number?
True
Is 5 + -4 + 2 + 976 composite?
True
Suppose -2*n + 206 + 110 = 0. Is n prime?
False
Suppose 3*b + 603 = 7*b + 5*w, -5*w + 760 = 5*b. Is b composite?
False
Let y = -1825 - -3144. Is y prime?
True
Suppose -3*i + 12 = -i. Suppose i*c = 2*c + 8. Suppose 10 + 2 = c*d + 4*y, 21 = 4*d + 5*y. Is d a prime number?
False
Let d(q) = q**3 + 4*q**2 + 2. Let m be d(-4). Suppose 3 = 2*b - b. Suppose -2*w + 5*o + m = -73, -5*w + b*o = -140. Is w a composite numbe