970 = -5*j + 4*b, j - 85 = -4*b + t. Is j a composite number?
True
Suppose 3*k = 2*t + 19, 4*k - 4 = k - t. Suppose 5*p - 25 = 0, -k*v + 5*p - 1 = 3. Is v a composite number?
False
Let y = -27 + 9. Let j = y - -10. Let a(w) = -w**3 - 8*w**2 - 8*w + 1. Is a(j) composite?
True
Suppose -3*z - 1406 = -y + 2072, -3*y = 5*z + 5792. Let b = z + 2080. Is b a composite number?
True
Let h(u) = -139*u**2 + 5*u - 4. Let w be h(1). Let i = w - -205. Is i a composite number?
False
Let n(j) = 4*j**3 + 4*j**2 + 2*j - 2. Let h be n(-2). Let r = -14 - h. Let t(v) = v**3 - 8*v**2 + 2*v - 9. Is t(r) prime?
True
Is 2 - (-40)/(-22) - (-2989)/77 prime?
False
Suppose 17*o - 23*o + 18438 = 0. Is o a prime number?
False
Let g be ((-12969)/(-44))/((-2)/(-144)). Suppose -18*t + 612 = -g. Is t a prime number?
True
Let t(g) = -696*g - 119. Is t(-18) a prime number?
True
Is 5355 + (9 - 8) - (-9 + 2) a prime number?
False
Let z be 3/(1/2 - 11/(-44)). Suppose 4*b + 3536 = z*q, 5*q - 1663 - 2777 = b. Is q a composite number?
True
Let l be (-3)/((-1 - 2)/(-150)). Let a = -19 - l. Is a prime?
True
Suppose -4*j + 2208 = r - 253, -3*j + 1822 = -4*r. Is j prime?
False
Let f(j) = -16*j - 41. Is f(-3) a prime number?
True
Is (4 - 5112/16)*-2 prime?
True
Suppose 5*s = 5*u + 2125, -s + u + 4*u + 409 = 0. Suppose 2*n - s = -n. Is n a composite number?
True
Suppose 3*m + 28 = -b + 5*b, 8 = -2*m. Suppose -b*n + 5*n = 0. Suppose -5*q + q = -16, n = 3*c + 3*q - 789. Is c prime?
False
Let r be 1*(-6)/(-2) + -8. Let g(s) = -2*s**3 + 6*s**2 - 3*s. Let i be g(r). Let k = i - 288. Is k composite?
False
Suppose -l = -o + 114947, -2*o - 932 + 230826 = 6*l. Is o prime?
False
Let q be ((-3)/(-4) + 0)*(-8)/(-3). Suppose 0 = -k - 3, 3*k - 860 - 1917 = -q*l. Is l a composite number?
True
Let m = -1137 - -1594. Is m composite?
False
Let p = 1400 - 965. Let w = p - 142. Is w a composite number?
False
Suppose 217971 = 3*i + 41790. Is i a prime number?
True
Let g be 21/(-7) - (-8 - 1). Let x(y) = -4*y + 4*y + 5 - g - 4*y. Is x(-14) prime?
False
Let m(n) = -n**3 + 28*n**2 + 28*n - 18. Is m(23) prime?
True
Suppose 2 + 8 = -m + 3*d, 2*m - 4*d + 28 = 0. Let a = 29 - -8. Let c = m + a. Is c a prime number?
False
Suppose -104543 = -13*x + 83138. Is x a prime number?
True
Let k = -91 - -85. Is (33/22)/(4/((-992)/k)) a composite number?
True
Let h(k) = -k**3 + 29*k**2 - 27*k + 76. Is h(25) a prime number?
True
Is 384654/54 - (0 - 4/(-18)) a prime number?
False
Suppose 0 = -2*y + 4*g + 7390, -2*y + 3867 = 4*g - 3531. Is y a composite number?
False
Let j = 1324 - -37. Is j prime?
True
Let h be 0 - -1 - (-1 - 0). Suppose -j - h*j - 1050 = 0. Let k = -235 - j. Is k a composite number?
True
Suppose -5*u - 34*s + 567180 = -33*s, 0 = -4*u + s + 453753. Is u a prime number?
True
Let f be -1 - (-3 + -3)/1. Suppose -4*z + 149 = f. Is (39/6)/(6/z) a composite number?
True
Let k(j) = -j**2 - j - 115. Let x be k(0). Let u = 632 + x. Is u composite?
True
Suppose 2*o + 76 = 2*a, -3*a + 37 = -2*o - 41. Let x be ((-60)/o)/(10/12). Is (x/(-6))/(2/(-474)) prime?
True
Let l = 60826 + -36849. Is l prime?
True
Suppose -6*y = -11*y + 20. Let o(q) = 16*q**2 - 4*q + 11. Is o(y) a composite number?
False
Let p(o) = o**3 + 11*o**2 - 30*o - 43. Is p(15) a composite number?
True
Let r = -3 + 5. Suppose -8946 = -r*a - a. Is a/((-12)/(-4)) + 3 composite?
False
Let t = -3 - -7. Suppose 0 = 4*u + m - 9, -t*u - u = -2*m - 8. Suppose 0 = -j - q, 6*j + u*q - 4 = 3*j. Is j composite?
True
Suppose -b + 14177 = 2*w, -2*w - w = 5*b - 21248. Is w a prime number?
False
Let t be (12 - 9) + 236 + 0. Suppose 2*n - t = n. Is n a prime number?
True
Let d be (3/9)/(1/12). Let q be 37/2 + d/(-8). Suppose m - q - 167 = 0. Is m prime?
False
Suppose -5*f = -11*f. Suppose -4*h - 3*l + 2681 = f, -2*h - 2*h + 2680 = 4*l. Is h composite?
True
Let i = 1861 - 185. Suppose 0 = 2*d + 2*d - i. Is d a prime number?
True
Let b = 424 + -54. Suppose -5*d = -0*d - b. Is d a prime number?
False
Let s(d) = 6 + 6*d - 5 - 2 + 62*d**2 + 0*d. Is s(-4) a composite number?
False
Let n(q) = -9*q - 72. Let l be n(-8). Suppose 3*k - 32 - 2887 = l. Is k prime?
False
Suppose -2*q = q - 102. Suppose q*b + 46 = 35*b. Is b a composite number?
True
Let b(i) = -i**3 - 11*i**2 + 13*i + 18. Let c be b(-12). Suppose -c*n = -229 - 989. Is n prime?
False
Let b(t) = -14*t**3 + 8*t**2 + 17*t + 18. Is b(-4) a prime number?
False
Suppose -18*i + 22*i = 8. Is (-6 + 1 + 63)*7/i prime?
False
Is ((-4)/(-34) - 57915/(-612))*20 a prime number?
False
Suppose 3775 = -5*i - 5*o, 0 = -o - 4 - 1. Let v = -167 - i. Is v a prime number?
False
Suppose -56 = -5*g - 4*p, -2*g - 4*p = p - 36. Suppose 3451 = g*l + 867. Is l a composite number?
True
Let t be 109/(4/(-44)*-1). Suppose 0 = 3*f + 248 - t. Let g = f + -160. Is g a prime number?
True
Suppose -o - 4*o + 55 = -5*q, -3*o = -15. Let l = q + 9. Suppose l*n + 4 - 1 = 0, r - 2*n = 941. Is r a prime number?
False
Let k(v) = v**3 + 6*v**2 + 5*v + 4. Let t be k(-5). Let x(b) = 13*b**2 - 6*b + 10. Is x(t) composite?
True
Is 0 + 8 - 2847555/(-79) a composite number?
True
Suppose -12 = 5*x - 2, -9863 = -5*v - x. Is v a composite number?
False
Suppose -4470 = 4*y - 9*y. Suppose 5*c + c - y = 0. Is c composite?
False
Suppose -12*z + 34355 = -160249. Is z prime?
True
Suppose -2*h - i + 4*i = 1090, -2*h - 3*i - 1090 = 0. Let c = 315 - h. Suppose 0 = 4*v - 4*q - c, 2*q - 344 - 281 = -3*v. Is v a prime number?
True
Is 1*((-12704)/(-2) - -1) a composite number?
False
Let p = 2872 + 75. Is p a composite number?
True
Let w(k) = -k**3 + 11*k**2 - 10*k + 8. Let x be 0 + -2 - (-36)/4. Is w(x) a composite number?
True
Let l be (6/4)/(21/154). Let r be (l*1)/((-2)/(-10)). Suppose -3*v = 2*v - r. Is v a composite number?
False
Let k(s) = s**2 - 5*s + 8. Let g be k(4). Suppose 0 = -m - 0 - 3, 744 = 4*j - g*m. Is j a prime number?
False
Suppose -31*j + 26*j = -75. Suppose 0 = -j*z + 10*z + 1595. Is z a composite number?
True
Let a(t) = 195*t**3 - 3*t**2 - 4*t + 3. Let w be 96/64*((-1)/(-3) + 1). Is a(w) composite?
False
Let u(j) = -4*j + 23*j**2 - 20*j**2 - 1 - 3. Suppose 2*n - 4 - 1 = -3*w, -4*n = 3*w + 5. Is u(w) a prime number?
False
Let t(c) = -2*c**3 + c + 1. Let j be t(-1). Suppose 3*y - l + 11 = -0, -2*l + 2 = -j*y. Is (y - 12/(-4)) + 25 a composite number?
False
Let h(x) = -x**2 + 7*x - 2. Let m be h(7). Let l(t) = -3*t - 3. Let j be l(m). Suppose -j*k = -k - 62. Is k a prime number?
True
Let q(s) = -2*s**3 - 6*s**2 - 18*s + 45. Is q(-16) a composite number?
True
Let g be 18403 + -3 + (1 - 1). Suppose 0 = 7*n - g - 1053. Is n a prime number?
False
Suppose 4*m - 2*h = 3*h - 18, -5*m - 6 = 2*h. Let x be (-4)/3*(-5 + 8). Is (-1)/(x/(-392)*m) composite?
True
Let y = 4975 - 1859. Let q = y - 1269. Is q a composite number?
False
Suppose -4*x = o - 251, 14*o - 16*o + 502 = -x. Is o prime?
True
Let f(x) = 20*x + 13. Let t = -20 - -39. Let g = 30 - t. Is f(g) a composite number?
False
Suppose -4*o + 2*s + 80521 = 3*s, 40259 = 2*o + s. Is o composite?
True
Let a(c) = -9*c**3 + 6*c**2 + 10*c - 8. Is a(-5) a prime number?
True
Is -163*(5/10 + 42/(-12)) composite?
True
Let j be (-732)/(-610)*(6 - (1 + 0)). Is (9812/j)/((-85)/(-15) - 5) a prime number?
False
Let l be ((-2)/1)/(10/(-25)). Suppose 2*f - l*f + 2*a = -1013, -5*a = -4*f + 1346. Is f a prime number?
False
Let h(q) = 160*q**3 + q**2. Let m be h(-1). Suppose r - 39 = -113. Let g = r - m. Is g composite?
True
Let k(n) = -n**3 - 7*n**2 + 2*n + 2*n**3 + 2*n**2 + 2*n. Let u be k(4). Let b(y) = y**2 - y + 67. Is b(u) composite?
False
Let j = -19 + 21. Suppose -j = -v - 0*v. Is (-242)/(-3)*3/v a prime number?
False
Suppose 0*k + 5*k + 15 = 0, k = 3*d - 15. Suppose d*n - 639 + 67 = 0. Is (-6 - -4)/((-2)/n) a prime number?
False
Suppose 5*h + 2*u - 16 = 0, -2*h - u + 11 = 2*h. Is h + 3*-2 + 491 a composite number?
False
Suppose -836 + 8 = -4*z. Let t = z + -148. Is t composite?
False
Let p be ((-36)/(-162) + (-1456)/18)*-15. Let a = p - 459. Is a a composite number?
False
Let j be 666/(-10)*(-20)/6. Suppose -5*u - 15 = 0, u - 3*u = 4*f - j. Is f a composite number?
True
Suppose -12*j - 176569 + 723397 = 0. Is j a prime number?
True
Let f be (-8)/48 + 5/(-6). Let k(p) = 3*p**2 - 1. Let y be k(f). Is ((-21)/2)/((-1)/y) a composite number?
True