- 2)/1 a composite number?
True
Let n = -415 + 1083. Let k be n/(-20) + 4/10. Is (28/(-12))/(1/k) a composite number?
True
Suppose 5*j + 158 = 5728. Is j a composite number?
True
Let u = 7 - 13. Let a be 18/(-8)*(-16)/u. Let b = a + 17. Is b a composite number?
False
Let u(k) = 37*k**2 + 5*k + 5. Is u(10) prime?
False
Let z be -3*(-2 - (-2 + 1)). Suppose k = 5*h + 4, -2*k = -0*k - z*h - 22. Is k a prime number?
False
Let z = 462 - -709. Is z composite?
False
Suppose 2*w - 62 = 186. Let y = -75 + w. Is y composite?
True
Suppose 0 = -s + 4*s - 216. Suppose 54 = 3*t + 4*z, t - 5*t - 5*z = -s. Is 4865/63 + (-4)/t a composite number?
True
Let l = -24 + 37. Is l a prime number?
True
Let b be 0 + (1 - 0) - 1. Suppose 5*x - 75 - 15 = b. Let o = x - 11. Is o prime?
True
Let x(r) = 104*r**2 + r. Is x(-1) a prime number?
True
Let o(g) = g + 3. Let n be 6*(-3)/18*-10. Let w be o(n). Suppose -w = -4*f + 27. Is f a composite number?
True
Suppose -8 = -2*m - 2*m. Suppose -7*z + m*z + 485 = 0. Suppose w - z = -6*h + h, -29 = -h - 5*w. Is h a prime number?
True
Let z(f) = f**3 - 5*f**2 + 4*f + 1. Let v be z(4). Is v + 2 + 2 + 264 a prime number?
True
Is 3/(-4) - (-638)/8 a composite number?
False
Suppose 0 = -a - 3 + 5. Suppose a*c - 7 - 11 = 0. Is (426/c)/((-2)/(-3)) a prime number?
True
Let f(a) = 0*a + a + 97 + 4*a**2 - 3*a**2. Let t be 0*(-2)/(-6)*1. Is f(t) a composite number?
False
Let g(r) = r**2 - 8*r - 7. Let f be g(8). Let m(k) = -73*k - 20. Is m(f) a composite number?
False
Suppose 0*i = -4*i + 180. Let t = i - -52. Is t composite?
False
Let o(h) = 25*h + 45*h - 3*h + 4. Let l be o(4). Suppose s - 23 - l = 0. Is s a prime number?
False
Suppose 0 = 4*g - 5*i - 15, -3 = -4*g + 4*i - 3*i. Suppose -3*c + 9 + 9 = g. Is (12/(-9))/(c/(-45)) composite?
True
Let a(f) = -2*f**3. Let o be a(-1). Suppose 232 = o*s + 2*s. Is s a prime number?
False
Suppose 4*b - 4 = -4*v - 8, 2*v - 4 = -4*b. Suppose -b*j = 5*m - 358 - 262, 4*m - 5*j = 533. Is m a prime number?
True
Suppose 0 = -5*f, 13 = 5*v - f - 232. Is v a prime number?
False
Let c be 3 + (0 + 2 - -58). Suppose 0 = -2*f - 3*b + 131, 3*b = -f - b + c. Is f prime?
True
Let q = -34 - 23. Let i = q + 136. Is i composite?
False
Let h(y) = y**3 + 9*y**2 - 11*y + 10. Let l be h(-10). Let v be 178/(-3)*30/l. Is v/((-2)/(-2) - 2) a composite number?
False
Let m = 315 + 272. Suppose 3*f - 46 - m = 0. Is f a prime number?
True
Suppose -2*n - 2 = 2. Let l be 2 + n - (2 - 2). Suppose l = 3*v + 2*u - 41, -8*u + 3*u + 5 = 0. Is v a prime number?
True
Is 9/(-15) - (-218)/5 composite?
False
Is 33246/4 + -5*(-5)/(-50) a prime number?
True
Suppose 405 = 5*v + 5*n, 5*v - 252 - 181 = 2*n. Suppose 5*l = -15, -5*j + 342 + v = -4*l. Is j a composite number?
False
Suppose -3*b - 1 = 2, -3*d = 5*b - 1309. Let q = d + -233. Is q a prime number?
False
Let u = -7 - -12. Let c be 3/u*(-20)/(-4). Suppose 4*f - c*f = 67. Is f composite?
False
Suppose -2*s + 25 = 3*s. Suppose 2 = c - s. Is c prime?
True
Let k(i) = i**2 - 6*i - 11. Let j be k(8). Suppose w - j = 17. Is w prime?
False
Let t(x) = -x**3 + 9*x + 3. Is t(-5) a composite number?
False
Suppose 4*m - 2*p = -3*p - 46, p = 3*m + 38. Let x be ((-9)/m)/((-1)/(-4)). Suppose -2*l = u - 180, 5*l - l - 370 = x*u. Is l composite?
True
Let i be (2/(-4) - -3)*2. Suppose -36 = -i*b + 119. Is b prime?
True
Let j(t) = -3*t + 2*t - t**2 + 6*t**2 - 7 - 2*t. Is j(-5) prime?
False
Suppose 5*o + 4*g - 13281 = 0, g - 6 + 7 = 0. Is o a composite number?
False
Let n(u) = -35*u + 4. Let g be n(-4). Is g/10 + 9/15 a prime number?
False
Suppose -4*y + x = 3*x, y - 11 = 5*x. Is ((-65)/(-10))/(y/2) a composite number?
False
Let s = 1417 - -1444. Is s a composite number?
False
Let j be 1 - (3 - 2) - -2. Suppose -2*c - 4*p + 46 = 0, -4*c + 5*c - j*p = 19. Is c composite?
True
Let u = 709 - 378. Is u a prime number?
True
Let o be (20/5)/(2/17). Suppose -13 = -5*v - 3, 4*u = v + o. Is u a prime number?
False
Is ((-2)/6)/(17/(-4029)) a prime number?
True
Let m(z) = 3*z**2 + 9*z + 14. Is m(-8) prime?
False
Let z = 10 + -8. Suppose -z*q = 5*l - 573, 4*l + 18 = -2. Is q prime?
False
Suppose -3*w + 5*q - 21 = -2*w, 2*q - 18 = 2*w. Let m = -4 - w. Is m prime?
True
Suppose -q - 121 = -3*h - 2996, -3*q = 3*h - 8673. Is q prime?
True
Suppose 2*x = -x + 9. Let s = x - -2. Suppose -2*k + s = 1. Is k a prime number?
True
Let c = -55 + 932. Suppose 3*p = -5*q + 872, 0*p + 3*p = -4*q + c. Is p a prime number?
False
Let s(x) = -16*x - 13. Is s(-14) a composite number?
False
Suppose -4*c = 3*z - 10, -z - 16 = -3*c + z. Suppose 0 = c*t + t - 10. Suppose -88 = t*b - 6*b. Is b prime?
False
Let s = 862 - 171. Is s a composite number?
False
Let u(p) = -p**2 + 3*p + 4. Let j be u(3). Suppose 0*i - 8 = -j*i. Suppose 0 = i*n + 3*n - 335. Is n composite?
False
Let n(h) = -h**2 + 30*h - 13. Is n(10) a composite number?
True
Let d(v) = -165*v - 2. Is d(-3) a composite number?
True
Let o = 2948 - 295. Is o composite?
True
Let z be 14 - ((3 - 1) + -1). Suppose -22 - z = -5*y. Suppose -s = -7 - y. Is s a composite number?
True
Let g = -63 + 766. Suppose -2*d = 3*d - 25. Suppose -4*v - 32 + 213 = i, 0 = 4*i - d*v - g. Is i prime?
False
Is (-766)/(-6) - (1 + (-1)/3) a prime number?
True
Let m = 22 + -17. Suppose m*x - 728 = -3. Is x prime?
False
Is 1 + 122 - (-4 - -6) a composite number?
True
Suppose m = -0*m. Let t be 1 + (83 - -2) + m. Suppose 0 = 3*a - 19 - t. Is a composite?
True
Let a be (-3 + 2)*(-8)/2. Suppose -a*o = -0*o. Suppose 3*v + 4*t - 2*t - 29 = o, 2 = 2*v - 3*t. Is v composite?
False
Let z be (2/2)/(3 - 4). Let p(u) = -11*u**2. Let k be p(1). Is k/4*4*z a composite number?
False
Let s = 446 - -633. Is s a prime number?
False
Let q be 2/(-6) - (-2)/6. Suppose q = -3*g + 6, -145 - 115 = -4*o + 4*g. Is o a composite number?
False
Let u be 146/8 - (-4)/(-16). Let h be (u/(-4))/(2/(-4)). Let s = h - 6. Is s prime?
True
Suppose l = -2*u - 4, 2*l + u = 6*l + 25. Let a(s) be the second derivative of -s**5/20 - 5*s**4/12 + s**3/2 + 3*s**2/2 - 2*s. Is a(l) prime?
False
Let c(y) = 268*y. Let u be c(1). Suppose 5*j = -4*a + u + 317, -5 = -a. Is j prime?
True
Let q be (1 + 2)*1 - 1. Suppose 2*u = u + q, 3*k - 4*u - 373 = 0. Is k composite?
False
Let g(b) = 5*b**3 - 6*b**2 + 6*b + 10. Is g(5) a composite number?
True
Suppose 0 = -3*c + 11 - 2. Suppose 0*j - 370 = -2*j + c*b, 3*j = 4*b + 557. Is j composite?
False
Let t = -8 + 11. Suppose -n = -t*n + 26. Is ((-1)/1)/((-1)/n) prime?
True
Let a = -752 + 1801. Is a composite?
False
Suppose 0 = 8*t - 6930 - 1510. Is t prime?
False
Let q = 262 + -71. Is q a composite number?
False
Suppose 248 = g - 30. Is g prime?
False
Suppose -4*r + 7 = -3*h - 4, r = 3*h - 4. Suppose -5*s + 88 = 4*m - 3*s, 2*s = -3*m + 64. Let p = m - r. Is p a composite number?
False
Suppose 3 = -f - 5*i, 0*f - 57 = -5*f - i. Suppose -f = 4*z + 4. Let k = z + 17. Is k a prime number?
True
Let d = 50 - 70. Let w = -9 - d. Is w prime?
True
Let u be (-2)/((-3)/51 + 0). Let b = u - -45. Is b prime?
True
Let o be 1098/10 + 1/5. Suppose -o + 22 = -4*l. Is l a prime number?
False
Suppose t = -5*p + 6*t + 10, -t = -2*p + 6. Suppose -12 + p = w. Is ((-10)/w)/(2/88) a prime number?
False
Let i = 7 - 3. Let k be ((-10)/8)/(i/16). Let s(u) = -u**3 - 5*u**2 + u + 7. Is s(k) a prime number?
True
Let s(o) = -o**3 - 4*o**2 - 4*o - 3. Let k be s(-3). Suppose 2*x - x - 32 = k. Suppose -5*a = -162 + x. Is a a composite number?
True
Let t = 159 + 227. Suppose 0 = -2*k, -k = 5*u - 159 - t. Is u prime?
True
Let d(y) = 12*y - 3. Suppose -3*j - 2*j + 25 = 0. Let v = -3 + j. Is d(v) a composite number?
True
Let p = 1 + 1. Suppose 8*o = 3*o - p*b - 9, 3*o - b = -12. Is 35 - 4/(-6)*o a prime number?
False
Let k = -149 - -253. Suppose 0 = 3*z - 7 - k. Is z prime?
True
Suppose 537 - 2212 = -5*i. Is i a composite number?
True
Let l be -1*7 + 2/1. Let x be 1*2*l/(-2). Suppose x*o + 103 = 3*s, -2*s + 32 = 3*o + o. Is s composite?
True
Let h(f) = -f + 3. Let m be h(3). Is (2 + -76)/(-2) - m prime?
True
Let y(h) = 12*h**3 + h**2 + h - 1. Let k be y(1). Suppose -18 = -c + t, -17 = -2*c + 4*t + k. Suppose -v - 288 = -4*b + c, 0 = 4*v + 4. Is b a prime number?
False
Suppose 5*v - 21 + 1 = 0. Let y(m) = 5*m - v + 11 - m. Is y(8) prime?
False
Let o be 1*9 + -6 + 