f - 1/4 composite?
True
Let a = 97 + 1101. Is a a composite number?
True
Let g(f) = f**2 - 4*f + 3. Let a be (-8)/12 + (-22)/(-6). Let j be g(a). Suppose j = 5*w + 2*k - 1096 - 377, 4*k - 1188 = -4*w. Is w prime?
True
Suppose n = 4*v - 12, 3*n - 28 = v - 5*v. Suppose -3*x + q + v*q = -6, -3*q + 4 = 2*x. Suppose -x*y = y - 39. Is y a prime number?
True
Suppose 4*n + 4 = 3*m + m, 2*n = 5*m - 14. Suppose m*x = -x. Suppose 0*h - h + 2*c + 89 = x, -181 = -2*h + c. Is h composite?
True
Suppose -2*s = 5*m - 999, 0*s + 4*s - 2*m = 1938. Is s a prime number?
True
Suppose -3*n + 4*h = 6 - 64, -2*h - 36 = -2*n. Let o be 4/(-14) - 598/n. Let q = o + 74. Is q a prime number?
True
Suppose -4*m + 3352 = -320. Let h = m + -175. Is h composite?
False
Suppose b - 5 = -4. Suppose -2*u = -2*y - 274, y + 689 = 2*u + 3*u. Is (b - 2)/((-6)/u) prime?
True
Suppose 6*i + 5*d = 2*i + 32, -2*i - 3*d = -18. Suppose -2*a + 3*a - i*b = -6, 4*a - 4*b = 0. Suppose 28 = a*v - 29. Is v composite?
False
Let z be 1*(4 + (6 - -1)). Is 10/(-4)*-2*z prime?
False
Let q(i) = 3*i + 21. Let r(d) = d + 11. Let v(g) = -2*q(g) + 5*r(g). Suppose s - 10 = -4*k + 2*k, -32 = -5*k + s. Is v(k) a prime number?
True
Let p = 0 + 21. Is p a composite number?
True
Suppose -5*d = 3*g - 11, -d = 4*g - 5 - 4. Suppose 7*t - g*t = 1310. Let p = t - 107. Is p composite?
True
Suppose -16 = -4*v + 4*z, -2*z = 3*v + z + 6. Let l(p) = 0 + 5 - 2*p - v + p**3. Is l(3) composite?
True
Suppose -5 = -b - 3*p, 0 = 4*b + 2*p + 18 - 58. Let w(x) = -6*x**2 + 4*x**2 - 4 + 12*x + x**2. Is w(b) a prime number?
True
Suppose 0 = 3*n - 0*n - 12. Is 33*(84/9)/n prime?
False
Suppose 0 = -5*x + 2*z + 181 + 70, 5*x - 265 = -5*z. Let h = 123 - x. Suppose -2*a + h = -106. Is a a prime number?
True
Let b(n) = -n**3 - n**2. Let z(p) = -2*p**3 - 7*p**2 - 2*p - 4. Let r(y) = b(y) - z(y). Let c be (-5)/(-4)*(0 - 4). Is r(c) a composite number?
False
Let o(u) = -10*u**2 + 5*u - 1. Let c be o(8). Let t = 956 + c. Is t a composite number?
True
Is (10/5 + 99)*7 a composite number?
True
Let r(p) = -4*p - 1. Let w be r(-1). Suppose w*u = 4*u + 7. Let d(y) = -35*y - 10. Is d(u) composite?
True
Let h be (-8)/20 + (-103)/5. Let v = 12 + h. Let j = v + 15. Is j prime?
False
Is 5700/18 + 2/6 prime?
True
Let k(q) = q**3 - 2*q**2 + 3*q - 2. Let m be k(2). Suppose -n + 15 = m*n. Suppose 3*s + 2*j = 201, -n*s - j + 6*j = -222. Is s composite?
True
Is 200 + -1*(1 - 2) prime?
False
Suppose 0 = 3*z + 5*w - 10, 5*w + 1 = 4*z - 24. Suppose -z*o + 102 + 233 = 0. Is o prime?
True
Let g be (8/(-6))/(6/(-9)). Let h = -2 - g. Is 4/6*(-294)/h a prime number?
False
Let v be ((-7)/(-14))/(2/(-1084)). Let i = 390 + v. Is i composite?
True
Let u = 1 + -1. Let t = -2 + u. Is t/7 - (-783)/21 a prime number?
True
Let p be 19*(1 + 0)*7. Suppose -2*t + p = -t. Is t composite?
True
Let w be ((-3)/(-2))/(39/52). Let p be (-6)/(-1) - (2 + -1). Suppose -2*y = -y - w*j - 47, 255 = 5*y - p*j. Is y a prime number?
False
Suppose 0*m - 3*m + 12 = 0. Suppose 0 = m*h - 2*h - 110. Is h composite?
True
Let w(f) = 13*f - 3. Let c(r) = -12*r + 3. Let n(d) = -5*c(d) - 4*w(d). Let y be n(2). Let b = 26 - y. Is b prime?
True
Suppose -3*h + 4*h - 11 = -4*z, -2*z + 2*h = 2. Is z a composite number?
False
Suppose -5*d + 10*d = 485. Let t = d - 58. Suppose -5*w + t = -76. Is w a composite number?
False
Suppose -25*q + 26*q = 437. Is q composite?
True
Let k = 32 + -23. Let a(g) = -2*g**2 + 11*g + 13. Let c be a(k). Let t = c - -253. Is t a composite number?
True
Let k be ((-1)/(-2))/((-4)/(-16)). Let v(u) = -u**3 + 2*u**2 + u + 2. Let h be v(k). Suppose -h*o = -2*r - 44, o + 0*o = -5*r - 11. Is o composite?
True
Suppose -38 = d - 2*d. Suppose h = -0*y - 3*y + d, -y = -4. Is h prime?
False
Suppose 4*w - 2*o + 107 = -o, -4*o = -4*w - 116. Let h = w - -48. Is h composite?
True
Let h(k) = k**2 + 9*k - 7. Let c be h(-10). Suppose 5*a + 4*l - 630 = -69, -c*a - 2*l = -337. Is a composite?
False
Suppose 0 = -2*t - 3*d + 169 + 247, d - 420 = -2*t. Is t a composite number?
False
Let p = -57 - -183. Suppose -74 = -t + 3*y + p, -3*t = 2*y - 611. Is t a composite number?
True
Suppose -y + 5*p + 730 = -3*y, 2*p = -3*y - 1073. Is y/(-3) - 8/(-12) a composite number?
True
Suppose -2*a = -142 - 454. Suppose 4*l + f - a = 6*f, -5*l - 4*f + 393 = 0. Is l a prime number?
False
Suppose 582 = 9*o - 6*o. Is o a prime number?
False
Suppose -4*x + 2693 = -0*x + 5*r, x - 4*r = 689. Is x a composite number?
False
Let l = -1580 + 3415. Is l prime?
False
Suppose -5*b - 2*g + 23 = 2*g, -3*b - 2*g = -13. Suppose b*k = 182 + 85. Is k prime?
True
Let v(f) = 3*f**2 + f. Let i be v(1). Suppose 0 = -3*c + 4*o + 426 - 61, -5*c - i*o = -587. Is c a prime number?
False
Let t(g) = g**3 - 15*g**2 + 10*g - 11. Let c be t(15). Suppose 4*b + 2*a = 502, b - 4*a = -0*b + c. Is b composite?
False
Let o(z) = -z**3 + z - 1. Let w be o(1). Is (-1 + w + -5)*-13 prime?
False
Let i(b) = 39*b**2 + b - 29. Is i(7) a prime number?
True
Let f(l) = 11*l**3 - l. Let t be f(1). Suppose -t = 2*g, -4*x + g = -5*x - 1. Suppose b = 0, 5*j - x*b = 6 + 24. Is j a prime number?
False
Is 80 - (4/(-1))/(-4) a composite number?
False
Let u(y) = -2*y. Let p be u(-4). Let q be p/5*(-1270)/(-4). Suppose 0 = -0*l + 4*l - q. Is l composite?
False
Suppose 4*n + k - 668 = 5*k, 5*n - k = 819. Suppose 5*u = -v - 6, -4*u + 48 = -5*v + n. Is v prime?
True
Is 4*-1 - 75/(-1) a composite number?
False
Suppose -8*n + 195 = -3*n. Let q(z) = 3*z**2 - 2*z + 8. Let k be q(-7). Suppose -k = -2*y - n. Is y a prime number?
False
Suppose 3*g + 32 = 4*i + 7, 0 = 5*g + 4*i - 1. Let t(s) = 22*s**2 - 2*s - 3. Is t(g) a composite number?
True
Let b = 281 - 201. Let k = 139 - b. Is k composite?
False
Suppose 3*q - 25 = -2*q. Suppose 2*i = k + 2, 2*k + 1 + 8 = q*i. Let s = k - -27. Is s composite?
True
Let d = 17 + -11. Let j(u) = 7*u + 5. Is j(d) prime?
True
Let v(p) = p**2 + 2*p - 20. Let z(f) = -2*f**2 - 5*f + 39. Let h(x) = -5*v(x) - 2*z(x). Let b = -2 + 2. Is h(b) a prime number?
False
Suppose -4*q + 5*q - 4*h + 18 = 0, -3*h = -12. Is (-1580)/(-120) + q/12 composite?
False
Suppose z - 13 = 6. Is z a composite number?
False
Suppose -3*d + 7 = -5. Suppose d*n + 5*k = 1329, 184 = 5*n - 5*k - 1466. Is n a prime number?
True
Suppose v + 4*c = 231, 854 = 4*v - 0*c + 2*c. Is v a prime number?
True
Let k = -5 + -15. Is 306/10 + (-8)/k prime?
True
Let p be -2 + (-1 - 0) + 9. Suppose 3*d = -12, -d - p = 5*w + 3*d. Suppose -w*r = -0*r - 182. Is r prime?
False
Let t(r) = -7*r + 13. Let z be t(-7). Let y = z - 25. Is y a composite number?
False
Suppose 5*b + 4*g - 1057 - 812 = 0, -5*g = -5. Is b prime?
True
Let m(l) = l**3 - l**2 + 3. Let d be m(0). Suppose 3*v - d*u + 6*u = 24, 5*u = -2*v + 19. Suppose 3*r - v*r + 356 = 0. Is r a composite number?
False
Let b(u) = -68*u + 5. Is b(-3) prime?
False
Let l(t) = -11*t - 5. Let n be l(-7). Let k(f) = 0 - 35*f - 4 - n*f + 26*f. Is k(-3) a composite number?
False
Let z(h) = 51 + h**2 + h - h**2 - h**2. Is z(0) composite?
True
Suppose 6*x - 65865 = -9*x. Is x a prime number?
True
Let z(k) be the second derivative of -k**3 + k**2/2 - 2*k. Let v be (-3)/(9/6) - 1. Is z(v) composite?
False
Let x = -597 - -1138. Is x prime?
True
Let g(r) = r**3 + 5*r**2 + 2. Let s be g(-5). Let z = 101 + 10. Suppose -a = s*a - z. Is a prime?
True
Let i = -1 - -6. Suppose 5*d + h = -h + 85, -i*d + 75 = 4*h. Is d a composite number?
False
Let v = 11 + -4. Let b(o) = -o**2. Let j(i) = -2*i**2 + 2*i + 4. Let g(f) = -3*b(f) + j(f). Is g(v) a composite number?
False
Let p(l) = l**3 - 5*l**2 + 5. Let s be p(5). Suppose 3*f + 0*a = -a + s, 0 = 5*f - a - 19. Suppose 3*t = -t + f*z + 133, z - 152 = -5*t. Is t a prime number?
True
Is (-7094)/(-10) - 4/10 composite?
False
Is -1 - (-1 + -107)/2 composite?
False
Let j(b) = b**3 - 7*b**2 + 3. Let c be j(7). Is (c + -4)/(1/(-157)) a composite number?
False
Suppose 0 = -14*q - q + 51285. Is q prime?
False
Suppose -3*r = -5*c - 411, -2*r = 2*r - 3*c - 559. Let g = r - 9. Is g prime?
False
Suppose 3*m + 5*c - 4 = -m, 4 = -c. Is 968/m + (-5)/15 a composite number?
True
Suppose -43 = 2*q + q - 5*o, -2*q - 3*o - 16 = 0. Let h = 28 - q. Is h a prime number?
False
Is -2 + 0 + -5 + 272 prime?
False
Let d(z) = -z**2 - 13*z - 7. Let g(a) = a**3 - 