 composite?
True
Let d = 22 - -26. Suppose -d = -3*h + 45. Is h composite?
False
Let t(a) = 42*a**2 - a + 5. Is t(4) a composite number?
False
Suppose -2*o = -3*f - 551 - 2, -3*o - f = -835. Let g = -45 + o. Is g a prime number?
True
Let h(u) = -65*u - 17. Let t be 308/(-49) + (-2)/(-7). Is h(t) a prime number?
True
Let p(q) = 3*q**2 + 24*q - 33. Let t(j) = 4*j**2 + 36*j - 49. Let u(b) = 7*p(b) - 5*t(b). Is u(-11) prime?
False
Let l = 3 - 3. Let z = 5 + l. Suppose 4*t + 19 = z*t. Is t a composite number?
False
Let w be 6/((-1)/(1/(-1))). Let i = w + -3. Suppose i*v - 140 = -v. Is v composite?
True
Suppose -3*j - 2030 = -5*q, 4*q - j + 0*j - 1631 = 0. Is q prime?
True
Suppose 0 = -2*g - o + 194, g + 3*o = -2*o + 97. Is g composite?
False
Let o(a) = 0*a**2 + 2*a - 7*a**2 + 5*a**3 + 6 - 4*a**3. Let d be o(7). Let x = 43 - d. Is x composite?
False
Is ((-897)/3)/((-3)/(-3) + -2) a prime number?
False
Let x(w) = -2*w**3 - 2*w**2 + 2*w. Let a be x(-2). Suppose -2*f = d - 45, 0*d = -a*d - 4. Is f prime?
True
Let k(b) = -b**3 + 8*b**2 - 4*b - 6. Let s(n) = n**3 - 3*n**2 + 2*n + 1. Let x be s(3). Is k(x) prime?
False
Suppose 2*x + 5*w - 1341 = 0, 3*x + 63 = -w + 2081. Is x a composite number?
False
Let c be 2 + (-6)/((-6)/3). Suppose y = 3*g - 2*g + 224, -c*g - 15 = 0. Is y composite?
True
Let h = 9503 + -6564. Is h prime?
True
Is 26448/42 + 3 - 2/(-7) a composite number?
True
Let c be 4/8 + 2/(-4). Suppose 5*d - d - 444 = c. Is d a composite number?
True
Let h(c) = -c**3 + 6*c**2 - 3*c - 1. Let v be h(5). Suppose -15 = -2*i - 3*j, 0 = 3*j - 0*j - v. Is i a composite number?
False
Let s(q) = -3*q**3 - 7*q**2 - 4*q - 1. Let z(m) = m**2 - 7*m. Let b be z(6). Is s(b) composite?
False
Suppose -6*n + 2*n = -48. Suppose 0*p - n = -3*p. Let k = p + 43. Is k a prime number?
True
Suppose 2*v + 116 = -200. Let o be v/(-18) - 12/(-54). Is o*5 + (-4)/(-2) prime?
True
Let t = 115 + -29. Is t prime?
False
Let r = 1556 + -649. Is r composite?
False
Let m(o) = 18*o - 1. Suppose 5*k + 1 = w, 5*w + k + 17 = w. Let t be 3/(-1 - w/2). Is m(t) prime?
True
Suppose -5*v - 1335 = -5*r, 3*r = -5*v + 456 + 337. Suppose p = -p + r. Is p prime?
False
Let z(r) = -1164*r + 13. Is z(-3) a prime number?
False
Let c(g) be the second derivative of -5*g**3/6 - 10*g**2 - 10*g. Is c(-9) a prime number?
False
Suppose -3*h - 2877 = -3*g, -2 - 2 = -4*h. Suppose 3*k - 951 = -2*k - 4*a, 5*k - 5*a - g = 0. Is k a prime number?
True
Suppose -3491 = -6*i - 473. Is i a prime number?
True
Is 112 + 3/(-1 + 2) composite?
True
Let j(b) = 26*b**2 - 3*b - 7. Is j(-8) a prime number?
False
Let y = -2 + 7. Let b(o) = o**3 - 4*o**2 - 6*o + 1. Let u be b(y). Is ((-23)/(-2))/((-2)/u) a composite number?
False
Suppose 0 = -r + 2. Let z be 3 + -1*2/r. Suppose -23 = -z*a - w, a + 22 = 5*w + 6. Is a a composite number?
True
Suppose z - 5*z = -764. Is z prime?
True
Suppose r + 5*m = 174, 2*r + 9 - 292 = 3*m. Suppose -l + r = -0*l. Is l prime?
True
Let v = 2 + 1. Suppose 356 = 7*x - v*x. Is x a prime number?
True
Let n(v) = 13*v**2 - 4*v - 7. Is n(-6) composite?
True
Suppose -5 + 40 = -5*c. Let t(i) be the third derivative of -i**4/24 - 5*i**3/6 - 4*i**2. Is t(c) a prime number?
True
Suppose 5*t - 531 - 214 = -4*v, 3*t + 3*v - 447 = 0. Is t a composite number?
False
Let x = 804 - -317. Is x composite?
True
Let z(g) = 19*g - 4. Suppose 0*f + 2*u = 2*f - 22, 15 = -3*u. Let v be z(f). Is (-1)/(-3) + v/3 prime?
True
Suppose 0*f + 4*p = -3*f + 419, 5*p = -f + 158. Is f prime?
False
Suppose 2*t - c - 28 = 0, -5*t + c + 72 = -c. Suppose 4*g = -4*b + 44, 5*b - t + 1 = -g. Is 892/g + (-2)/10 prime?
True
Let a = 138 + -56. Suppose -5*o + 4*b - 389 = -106, -5*b = 5*o + 310. Let t = o + a. Is t a prime number?
True
Is (6 - (452 + -3))*1*-1 a composite number?
False
Let z be (-1 - 19)*96/(-15). Let u(m) = -m**2 - 7*m - 1. Let i be u(-6). Suppose w - 50 = -d, -2*d + i*w + z + 7 = 0. Is d a composite number?
True
Let b be 3*(-3 - -1 - 209). Let m = b + 952. Is m prime?
False
Let b(a) = a**2 + a + 2. Let v be b(0). Suppose -4*r - 4*u - 8 = -0, -3*r - u + v = 0. Suppose -2*m = 3*o - 17, 2*o - m - 30 = -r*o. Is o composite?
False
Let h = 3781 + -1460. Is h prime?
False
Let x(r) = -r**2 + r + 2053. Is x(0) a composite number?
False
Let f(k) = -k + 4. Let r be f(-8). Suppose 2*d - 4*d + r = 0. Is d prime?
False
Let a(g) = -22*g**2 - 3*g + 6. Suppose -14 = -5*b + 4*s + 2, -5*b + s = -19. Let n(x) = 22*x**2 + 3*x - 5. Let w(y) = b*a(y) + 5*n(y). Is w(2) composite?
True
Let c(z) = 14*z - 5. Is c(4) composite?
True
Let w be (-30)/(-9)*(-6)/(-4). Suppose -2*k - 741 = -w*c - 0*k, -449 = -3*c - k. Is c a prime number?
True
Is (58/(-2))/((-3)/6) prime?
False
Suppose -6678 = 5*i - 24973. Is i composite?
False
Is -1*2/((-4)/1474) prime?
False
Let a = 5 - 1. Let z(o) = o**2 - 5*o + 1. Let u be z(a). Is ((-9)/(-6))/(u/(-30)) a prime number?
False
Let y be (-190)/(-45) + (-6)/27. Suppose -3*p + x - 16 = -842, y*x = 4*p - 1112. Is p a composite number?
True
Suppose 0 = c + c - 12. Suppose -s + c*s - 415 = 0. Is s a prime number?
True
Suppose -5*t + 2 = 77. Suppose -2*p - 124 - 18 = 2*u, -12 = -4*u. Let y = t - p. Is y prime?
True
Suppose 5*x + 2 - 37 = 0. Let v(u) = -u**3 + 7*u**2 - 4*u - 5. Let k be v(x). Let h = -18 - k. Is h prime?
False
Let k(s) be the first derivative of 8*s**3/3 - 3*s**2 - s - 5. Is k(-9) a prime number?
True
Let v be (-3 - (-2 + -3)) + 1. Let l be (-1)/3*(v + 0). Is 4/4 + 82 + l composite?
True
Let j(g) = -3*g + 4. Let c be j(-7). Let x be 2/9 - c/(-9). Suppose x*d - w = 78, -w + 47 + 25 = 3*d. Is d a composite number?
True
Let i be 7/(1/1 + -2). Let w = 32 + -21. Let m = i + w. Is m composite?
True
Suppose -4*a = -0*a - 44. Is a/(2/14 + 0) a prime number?
False
Suppose 0 = -13*z + 10*z - 48. Let k(f) = -f**2 - 20*f - 21. Is k(z) a composite number?
False
Suppose -4 = s - 4*b, -2*s - b = -6*b + 2. Is (422/3)/(s/6) a prime number?
True
Is 32137/21 + (4/(-3) - -2) a prime number?
True
Suppose -3*q + 1060 = -44. Is q + (5 - (3 - 1)) prime?
False
Let q = -4 + 4. Is 22/2 + q - 2 a composite number?
True
Suppose n - 257 = b, -4*b = -4*n - 2*b + 1028. Is n a composite number?
False
Suppose 4*d + 5*y = 20, -4*d - 3*y = -4*y + 4. Let l be (d + 0)/1*-1. Is l + -1 + -2 + 42 a composite number?
True
Suppose -254 = -5*r + t, -3*t = 3*r + 21 - 159. Suppose -u + 0*u - r = 2*i, 3*i = -12. Is ((-4)/(-14))/((-6)/u) a composite number?
False
Let v(i) = 2*i**3 + 5*i**2 - 3*i. Let x be v(3). Let j be 4/10 + x/25. Let c = j + -1. Is c prime?
True
Suppose 3*d = 327 + 75. Let l = 346 - d. Suppose 5*c = c + l. Is c a prime number?
True
Let s be 5 + -5 + 4 + -1. Suppose 2*m - 300 = -3*i, -s*m + 2*i = -451 + 14. Let n = -58 + m. Is n a prime number?
True
Let m be 12*(-2 - 5/(-2)). Is 1/2 - (-975)/m a composite number?
False
Let x(u) = -3*u**2 + 2*u + 4. Let z = 1 - -3. Let y be x(z). Let n = y - -115. Is n a prime number?
True
Suppose -2*h = 3*h + 20. Is (4/6)/(h/(-18)) a prime number?
True
Suppose 9 = -2*p - 3. Let i(c) = -c**3 + 7*c**2 + 7*c + 2. Let w be i(p). Let s = w + -279. Is s a composite number?
False
Suppose -5*d = -3*j - 0*d + 167, d = j - 55. Let c = 91 - j. Is c composite?
False
Suppose -4*y + f = 4*f - 6, 2*y - 5*f = 16. Let b(a) = 42*a**2 + a. Let w be b(y). Let d = w - 220. Is d a prime number?
False
Let v = -70 - -121. Is v composite?
True
Let s = -124 + 1817. Is s prime?
True
Let a be (228/(-30))/(1/(-60)). Suppose 0 = -5*r + 4*y + a + 117, 2*r + y = 224. Is r prime?
True
Let b(k) = 109*k - 7. Is b(2) a composite number?
False
Let i(y) = 3*y**3 - 2*y**2 + 8*y - 2. Is i(3) prime?
False
Let l be 184*(2 - (-12)/(-8)). Suppose -46 - l = -3*k. Is k a composite number?
True
Suppose 4*m = 2*o - 0*o - 18, -3*m = 3*o. Suppose o*r = 292 - 37. Is r composite?
True
Suppose -d = -3*m + 12, d = 2*d + 5*m - 28. Suppose 4*h - 706 = -5*r, 2*h = -d*h + 2*r + 899. Suppose h = 3*o + 38. Is o a composite number?
False
Let s(h) = 2*h**2 - 13*h + 16. Let v be s(13). Is (2/1)/(10/v) a prime number?
True
Suppose -5*d + 15 = -3*p, 0 = -5*p - d + 1 + 2. Suppose p = -3*m + 100 - 7. Is m composite?
False
Let a = -375 - -794. Is a a composite number?
False
Suppose 0 = j - w - 403, -3*j - w = j - 1612. Is j a composite number?
True
Let l(z) = z**3 + 6*z**2 +