- 7*t**3 - t + 4 - 4*t**2. Is x(k) a composite number?
True
Let z = -405 + 584. Is z a composite number?
False
Suppose -4*s = -s - 381. Suppose -2*a = -a - s. Is a prime?
True
Let c(y) = 6*y**2 - y. Let u be c(1). Let s(z) = 32*z**2 - z. Let j be s(1). Suppose -u*k + 1 = -o + 46, -j = -o - 2*k. Is o prime?
False
Suppose 4*a + 3*y - 5 = 2*y, 3*y - 15 = -a. Let u(p) = -p**2 + 2. Let g be u(a). Suppose -13 - 1 = -g*w + 2*c, -53 = -5*w - c. Is w a composite number?
True
Suppose 15 = 3*g, -3*x - 5*g + 40 = -8*x. Is x/(-6) + (-235)/(-2) a composite number?
True
Let l(u) = 82*u**2 + 3*u + 3. Let w be l(-2). Let f = 0 - -2. Suppose w = 3*g + f*g. Is g a composite number?
True
Is (-1)/2 + (-21619)/(-26) a composite number?
True
Let d = 10 + -12. Let x = 5 + d. Suppose -4*a + 1019 = -x*k, -1016 = -4*a + 2*k + 2*k. Is a composite?
False
Suppose 2*b = -n + 114, 5*b - 255 = 5*n - 0*n. Is b a prime number?
False
Let u = -2 - -2. Let z(x) = x**3 - x + 79. Is z(u) composite?
False
Let s = -169 + 348. Is s a composite number?
False
Let f be (-160)/(-2) + -2 - 0. Suppose c = 3*c - f. Is c a prime number?
False
Let a(v) = -v + 69. Suppose -5*h = -h. Is a(h) a composite number?
True
Let d = -13 + 13. Suppose 4*v + 5*x = 471, d*x = 5*v + 4*x - 591. Is v prime?
False
Suppose -3*i = -o - 8, 4*o + 0*o - 43 = -3*i. Let z(r) = -r**2 + 6*r + 9. Let u be z(o). Let l(t) = 22*t**2 + 1. Is l(u) a composite number?
False
Let s(q) = q**3 + 5*q**2 + q + 1. Suppose 8 = -4*w + 2*w. Is s(w) a composite number?
False
Let s = -1220 - -1739. Is s a composite number?
True
Suppose 0 = 5*h - h + 1648. Let z = h + 669. Suppose -z = -2*p - 27. Is p composite?
True
Suppose 51 = -4*h + 5*m, 0*h + 3*h - 4*m + 39 = 0. Let n(c) = 11*c**2 + 26*c - 32. Let j(y) = 4*y**2 + 9*y - 11. Let q(o) = -8*j(o) + 3*n(o). Is q(h) composite?
False
Is (-1069)/(-4)*1*4 a composite number?
False
Let q(b) = -b**3 + 2*b**2 + 2*b - 1. Let v be q(2). Let r(w) = 8*w**2 - 6*w + 5. Is r(v) a prime number?
True
Let k be ((-15)/9)/((-2)/6). Suppose 0 = -q + 5*d - 83, q - 189 = 4*q + k*d. Is (q/(-2))/((-2)/(-2)) a prime number?
False
Suppose 13 = 3*o - 2*a, 0*a = -5*a - 10. Is 2*(3 + o) - 1 a prime number?
True
Suppose -196 + 490 = 2*a. Let i = -91 + a. Suppose 0 = -5*q + 181 - i. Is q composite?
True
Suppose -5*z = -2*d - 3*d + 15, -4*z - 20 = 0. Let o = 143 - d. Is o a composite number?
True
Let w be (30/(-5))/(4/(-30)). Suppose 2*u - 266 = -3*q, 4*u = -q + 577 - w. Is u prime?
False
Suppose 4*m - d - 33 = -11, -m = 4*d + 3. Suppose 0 = -2*n + 5*l - 2 + 7, l + 24 = m*n. Suppose 935 - 130 = n*i. Is i composite?
True
Suppose -6*p = -3*p + m - 9, 2*m = -p + 8. Let f(v) = 51*v**2 + 2*v - 2. Is f(p) composite?
True
Let v = 227 - 116. Is v composite?
True
Let w be 0 - ((-1)/(-1) - 1). Suppose w = -3*m + 8*m. Suppose m = j - 35 - 34. Is j a composite number?
True
Let p = 1 - 0. Suppose -4*q = -t - 3, -5*q - p = -6. Is t*-3*2/(-2) a prime number?
True
Let x(l) = -140*l - 1. Let q = -2 - -1. Is x(q) prime?
True
Suppose 5*o + 5 = 5*b - 20, b + 5*o = -13. Suppose 4*n - 778 = 3*m - 247, 238 = b*n + 4*m. Is n prime?
False
Is ((-8)/20)/(1/6410*-2) a prime number?
False
Let w be 10/45 - 14/(-18). Let r = w - -38. Is r a composite number?
True
Suppose -3*q + 6 = -3. Suppose m - 1 - q = 0. Suppose 370 = -0*o + 4*o - 2*b, m*o + 3*b - 355 = 0. Is o a composite number?
True
Suppose -4*p = 2*s - 0*p - 2, 4*p = 2*s - 18. Suppose 0*g - 60 = -s*g. Suppose 3*z = -g, -w - z + 6 + 23 = 0. Is w a prime number?
False
Suppose m = -4*m + 225. Suppose s = 22 + m. Is s a prime number?
True
Let j be (1/3)/(2/30). Let l(b) = -b**2 - b. Let o be l(-1). Suppose 3*s - j - 4 = o. Is s a composite number?
False
Suppose 0 = -2*t - t + f + 490, 2*t - 5*f = 344. Suppose 2*c = -2*r + 596, 0 = -r + 2*c + 121 + t. Suppose 0*a - a + r = 0. Is a prime?
True
Suppose t + 2 = 5. Let l(p) = -p**3 + 7*p + 2. Let j be l(-6). Suppose -3*g + 5*r - 2 = -j, -t*r = 9. Is g composite?
False
Is 289 + 2 + (-9 - -9) prime?
False
Let f(w) = -w**3 - 10*w**2 + 11*w. Let o be f(-11). Suppose 2*i - 246 = -o*i. Is i a prime number?
False
Let m(l) = -79*l. Let a be m(-3). Let i = a - 166. Is i prime?
True
Let g be (-4)/((-6)/((-9)/(-3))). Suppose -h = -g*h. Suppose h = -s - 2*s + 9. Is s prime?
True
Let k = -3 - -15. Suppose 4*r = -0*r + k. Suppose 16 = r*x - 47. Is x a composite number?
True
Suppose -650 + 255 = -5*k. Is k a composite number?
False
Suppose 2*d - 150 = -d - 5*a, -5*d + 260 = 5*a. Is d composite?
True
Let v be 0 + (-2)/1 - -2. Let x = 2 - v. Suppose -x*y + b + 20 = -b, 2*b - 58 = -4*y. Is y a composite number?
False
Let i(j) = j**3 - 4*j**2 + 3*j + 6. Is i(5) a composite number?
True
Let c be ((-8)/(-3))/((-6)/(-18)). Is (-1)/((c/42)/(-4)) a composite number?
True
Let y be 2 + 7/((-7)/6). Let m be (-3)/4 - 55/y. Suppose -m - 33 = -h. Is h composite?
True
Let n = -35 + 51. Let x = -11 + n. Is 63/x - (-4)/10 prime?
True
Suppose 0*x - z - 1 = -2*x, 3*x + 5*z - 21 = 0. Suppose -2*n + 4*f + 112 = 0, -x*f + 6*f = -n + 86. Suppose -2*j + n = -32. Is j composite?
True
Is 2683*3/(-6)*-2 composite?
False
Let a be (6/15)/(2/100). Let o = -38 + a. Is (-3)/o*-2*-69 a composite number?
False
Let s = 1 - 9. Let k(r) = r**3 + 9*r**2 + 9*r + 10. Let f be k(s). Suppose f*v - 81 = -35. Is v composite?
False
Let h(f) = f**3 + 12*f**2 + f + 5. Let g be (3/(-2))/(24/128). Is h(g) a composite number?
True
Suppose -22 + 98 = 4*x. Let i = x + 2. Is i a prime number?
False
Let a = 5 + -2. Suppose k + 2*v + 3 = 0, -k = a*k + 3*v + 2. Is (-638)/(-6) + k/(-3) composite?
True
Suppose -185 = -2*u - 3*q, q - 808 = -5*u - 313. Suppose h - u + 3 = 0. Is h composite?
False
Suppose 3 = 4*p - p, -3*g + 3*p = 6. Let l be (g + 1)/((-2)/(-2)). Suppose -4*r = -l*r - 124. Is r prime?
True
Suppose 1151 = 2*m - 521. Suppose m = 5*j - j. Is j a composite number?
True
Suppose 4 = n, -6*b + 2*b + 8 = -2*n. Suppose -b*v + 2*v + 14 = 0. Is v a composite number?
False
Suppose -3*c = -0*c - 663. Is c a composite number?
True
Let l be -3*(1 - 1 - 1). Suppose -l*b - 2*b = -95. Is b prime?
True
Is (18/36)/(1/826) prime?
False
Suppose -n = -4*i + 2, 0*i - 3*i + 7 = 2*n. Suppose 2*r + 4*h + 102 = 528, -4*r + 862 = -n*h. Is r prime?
False
Let y(m) = 9*m**2 + 8*m + 10. Is y(12) a prime number?
False
Is 2476/6 - (-9)/27 a prime number?
False
Let l be 2/10 + (-132)/(-15). Suppose l = 2*p + p. Suppose -2*z + 14 = p*q - 7*q, 4*z = -5*q + 28. Is z a prime number?
True
Suppose 3*f + 11 + 35 = -r, 3*r + 5*f + 138 = 0. Let o = r + 77. Is o a composite number?
False
Let v = 2551 - 1758. Is v composite?
True
Suppose -g - 5*y + 0 - 2 = 0, 3*y + 2 = -g. Is (g/(-3))/(10/1905) composite?
False
Let x(m) = 4*m + 4. Let a be x(-4). Let q = a + 18. Is q a composite number?
True
Let c(r) = 45*r**2 - 2*r - 4. Let u be c(-4). Let s = 1097 - u. Is s composite?
False
Let r(g) = -108*g**2 - 20*g. Let n(t) = -36*t**2 - 7*t. Let l(u) = 17*n(u) - 6*r(u). Is l(1) a composite number?
False
Is 2 - 212/8*-2 a prime number?
False
Is (-4)/(-16)*359*4 a composite number?
False
Is (-8)/(-20) + (-553)/(-5) prime?
False
Suppose -3*h = -9 - 0. Is h*-329*(-1)/3 composite?
True
Let k(a) = 10*a**2 + 7*a + 24. Is k(7) prime?
True
Let y(i) = 27*i - 4. Is y(7) a prime number?
False
Suppose 4*s - t + 5*t - 4792 = 0, -2391 = -2*s - t. Is s prime?
True
Suppose -2*x + 35 = d, -2*x + 4*d - d = -15. Suppose i = 2*j + 139, -x = -j + 4*j. Is i a composite number?
True
Let c(p) be the second derivative of -47*p**3/3 + p**2/2 - 4*p. Is c(-1) a prime number?
False
Suppose -6*v + 5*v = -7. Suppose v*n - 2693 = -642. Is n composite?
False
Suppose -677 = -2*v + 145. Is v a composite number?
True
Let r = -20 + 26. Let c(g) be the second derivative of g**5/20 - 7*g**4/12 + 7*g**3/6 + 7*g**2/2 - g. Is c(r) a prime number?
True
Let q be (-3 - -2)*-328 + -2. Suppose v + q = 3*v. Is v a prime number?
True
Suppose -2*p = -6, 3*y - 3*p + 90 = -21. Let a = y + 110. Suppose 0*o - a = -4*o. Is o a prime number?
True
Suppose -6*q - 15 = -11*q. Let x(p) = 43*p - 10. Is x(q) a composite number?
True
Let c = -139 - -273. Is c composite?
True
Suppose 5*k = -5*h + 180, h - 5*h + 68 = 2*k. Let y(s) = k + 4*s + 10*s - 15*s. Is y(0) a composite number?
True
Is (-243 - 14)/((-2)/2) composite?
False
S