 u = 61 - y. Is u composite?
False
Let d = 1081 - -478. Is d composite?
False
Suppose 0*g - 4*g = -5*i + 21, -3*i = -15. Let m = g + 9. Is 4/m - (-153)/5 a composite number?
False
Suppose -6*x + 2*x = 16, -2*m = -x - 12. Suppose 2*r - r - m*h + 12 = 0, -5*r + h = -16. Suppose 0 = -r*o - 5 + 321. Is o composite?
False
Suppose 2*q + 3*q = 335. Is q a prime number?
True
Suppose -3*p = -4*q - 68, p + 67 = -5*q + 1. Let v be 21/q*(-8)/6. Is 92*(v + (-21)/12) a composite number?
False
Let j be (3/(-1))/((-3)/9). Suppose j = -2*v - v, v = -4*m + 69. Suppose -5*i + 157 = -m. Is i a prime number?
False
Let f be (-1214)/6 - (-6)/18. Let w = 363 + f. Is w prime?
False
Suppose 51*u - 55*u + 1004 = 0. Is u composite?
False
Let p(n) = -n**3 - 5*n**2 - 1. Let s be p(-6). Suppose -3*c + 4*c = s. Is c a composite number?
True
Let a(i) = -i**2 - 3*i**2 - 17 + 2*i**2 + 3*i**2 + 14*i. Is a(13) prime?
False
Let q(k) = -k**3 + 5*k**2 + 7*k - 1. Let u be q(6). Let l be u/(3 + 2*-1). Suppose 35 = -0*y + y - l*r, -2*r = y - 35. Is y prime?
False
Suppose -8 = -4*o - 3*x, -2*o + 0*o + x + 4 = 0. Suppose -13 = -v + o*l, 10 = v + 5*l + 32. Suppose v*k = -5*h + k + 341, -2*h + 3*k = -125. Is h prime?
True
Let y(s) = -159*s + 1. Let o be y(-2). Suppose o = 4*x - 325. Is x composite?
True
Let n = 6102 - 3380. Is n composite?
True
Let z be 17704/12 - (-1)/(-3). Suppose -5*c + 3*y + z = y, -4*y = c - 273. Is c a prime number?
True
Let i(v) = -785*v + 2. Is i(-1) composite?
False
Let k(h) = 25*h**3 - h**2 - 2*h - 1. Let s(p) = -p**2 + 5*p - 4. Let b be s(3). Is k(b) composite?
False
Let s = -122 + 207. Is s prime?
False
Let t be (354/(-1))/(-3) + 2. Let s = t - 51. Is s composite?
True
Let p(m) = 2*m - 1 + 2*m**2 + 3*m**2 - 4*m**2. Let n be p(-3). Is n - (-22 + -2 + 0) a prime number?
False
Let j(z) = 139*z**3 - z + 1. Let g be -1*(-6)/3*1. Suppose -g*q - 3 = -5. Is j(q) composite?
False
Let g(b) = -3*b**3 + 9*b + 2. Let o be g(-6). Is 2/((-2)/o*-4) composite?
False
Let p(d) = -2*d + 4. Let f be (1 + 0)*(5 - 10). Let z be p(f). Suppose 2*i = s - z, 0 = -5*s - 2*i + 102 - 32. Is s a prime number?
False
Let f = 61 - 8. Is f a prime number?
True
Let a(l) = 45*l**2 - 27*l + 10. Is a(11) composite?
True
Let o(z) = -3793*z**3 + 1. Let h be o(-1). Suppose h = 4*n + 1230. Is n a composite number?
False
Let d(h) = -13*h - 4. Let g(b) = -b. Let u(l) = d(l) - 5*g(l). Let x be u(-12). Let w = x - 55. Is w composite?
False
Suppose 6 = 2*m, -k - k - 2*m + 332 = 0. Is k composite?
False
Let k be 4 + -3 + 89 + -1. Suppose -3*h = -k - 118. Is h composite?
True
Let k(m) = -m**3 + m + 2. Let o be k(0). Suppose -q + 18 = o*q. Is q a composite number?
True
Let y = -2177 - -721. Let f be 3/2*y/(-6). Is ((-5)/(-10))/(2/f) a prime number?
False
Let g = -6 + -33. Let s = 109 + g. Let i = s + -32. Is i prime?
False
Suppose -3*m + 14 = 2*b - 6*m, b - 3*m - 10 = 0. Suppose -5*g - b*o + 291 = 0, -297 = -5*g + 3*o - o. Is g a composite number?
False
Let d = 938 + 501. Is d a composite number?
False
Suppose 12 = 3*r, 0*r + 32 = 4*v + 3*r. Suppose 2*i - i = 3*q + 758, 2262 = 3*i - v*q. Is i a prime number?
False
Let m = 175 + -64. Suppose 27 + m = 3*w. Is w composite?
True
Let w(o) be the first derivative of 46*o**3 - o**2 - o + 2. Is w(-1) composite?
False
Suppose 8*y - 95 - 8729 = 0. Is y a prime number?
True
Let v(k) = 9*k**2 + 10*k - 5. Is v(-11) composite?
True
Is -10*(-3)/6*53 prime?
False
Suppose 0 = 4*i + 5*g - 261, -g - 91 = -4*i + 140. Is i composite?
False
Suppose z + 13 = 3*s, s - 3*z - 2 = 5. Let y(m) = 6*m**2 - 2*m - 5. Is y(s) composite?
False
Let k be (-2)/7 - 699/(-21). Suppose m - 6*m = -3*g + 82, 2*g = -m + k. Is g prime?
True
Let v be 8 - (6 - 12/4). Suppose 0*y + v*y - 65 = 0. Is y a composite number?
False
Let v(j) = 1 + 20*j + 3 + 1. Is v(4) composite?
True
Suppose -2*h = -h - 20. Suppose -5*n + h = 120. Is 2 + (-1 - n/1) prime?
False
Let t = -830 + 1233. Is t a composite number?
True
Suppose 2*x = 202 - 8. Is x prime?
True
Let j(t) = -2*t**3 + 1. Let y be j(1). Let q be (-44)/(-16) - y/4. Suppose -q*w = w - 248. Is w a composite number?
True
Let c(v) = 1 - 8 + 0 - 8*v - 4 + 4*v**2. Is c(10) a composite number?
True
Suppose -3*g + 2*g = 4*q - 12, -5*q + 20 = 0. Let w = -200 - g. Let i = w - -287. Is i prime?
False
Let x be 2/(-6) - 2400/(-18). Let i = -56 + x. Is i a composite number?
True
Let w(t) = -t**3 + 7*t**2 + 2*t - 14. Let q be w(7). Suppose 701 = -q*h + h. Is h prime?
True
Let f(n) = 5*n**2 - 12*n + 7. Is f(6) a composite number?
True
Let v(r) = 26*r**2 + 6*r + 17. Is v(-4) composite?
False
Suppose 5*h + 3 = 18. Suppose 0 = 3*f - 6, 4*u + h*f = 5*f + 8. Suppose 435 = 2*d + u*d + 2*p, 287 = 3*d - 4*p. Is d prime?
True
Let a = 38161 + -26562. Is a a composite number?
True
Let u(h) = -7 + 6*h - 10*h - 10*h + 0*h. Let n = 1 + -8. Is u(n) prime?
False
Let o be (1/3)/(2/30). Let j(m) = -m**3 + 6*m**2 + 5*m + 3. Is j(o) a prime number?
True
Suppose -5*z - r = -1130, 2*r + 7 = -3. Suppose 2*b - z = -5. Is b composite?
True
Let x(u) = -u - 7. Let y be x(-6). Let c = 4 + y. Suppose c*i - 35 = -2*i. Is i a prime number?
True
Let h(q) = -q**2 + 10*q + 4. Let v be h(10). Suppose 0 = v*p - 74 - 62. Is p composite?
True
Let w(n) = -n**3 + 6*n**2 - 4*n + 4. Suppose 0 = 4*i - 12 - 0. Is w(i) prime?
True
Let k(b) = b**2. Let i be k(-1). Let y be 0/(i*(-6)/3). Suppose p - 2 - 13 = y. Is p prime?
False
Suppose -6*z + 3*m = -3*z - 9, -5*m = 0. Suppose -7*x = -z*x + 16. Is 6/x*22*-1 prime?
False
Let n = 85 + 42. Is n a composite number?
False
Let c be -2*((-102)/4 + -2). Let t = c - -57. Is t/6 + 1/3 prime?
True
Let b(p) = -3*p + 5 - 2*p - 2*p - 3*p. Is b(-5) a prime number?
False
Let i = -4913 - -10582. Is i a composite number?
False
Let n = -5 + 3. Let g = n - -6. Suppose s + s - 58 = g*v, -3*s = -4*v - 89. Is s prime?
True
Suppose 2*o - b = 239, -102 = -2*o + o + 4*b. Is o prime?
False
Suppose 948 = 4*d - 2*x, 4*d + 2*x - 537 = 411. Suppose -2*f = f - d. Is f a prime number?
True
Suppose -2*w + 8245 = 15*w. Is w prime?
False
Let o be 0 - (-14 - (-1 - -1)). Let x be (7 - 7) + 0/(-2). Let n = o - x. Is n composite?
True
Let n(m) = -107*m - 4. Is n(-9) a prime number?
False
Let b(w) = -w**3 - 9*w**2 + 6*w. Let v(f) = 10*f**2 - 7*f. Let g(r) = 6*b(r) + 5*v(r). Is g(-3) composite?
True
Let o = 319 - 450. Let h = 322 + o. Is h composite?
False
Suppose 1 + 0 = -i + w, -w = 3*i + 11. Is -3 - (-265 + 2 + i) composite?
False
Suppose 0 = 7*b - 3*b - 8. Is b + 174/2*3 a prime number?
True
Let i(u) = 161*u - 8. Is i(5) a prime number?
True
Let l(q) = q + 13. Let t = -16 + 10. Is l(t) a prime number?
True
Let x(z) = 20*z**2 - 5*z - 10. Let y be x(5). Let g be 5 + (1 - (-2 - -4)). Suppose 0 = q + g*q - y. Is q a composite number?
True
Suppose 3*f = -0*f - 2*w + 249, 4*w + 83 = f. Is f composite?
False
Let g be -5 + 1 + 2 - -7. Suppose -p - 12 = -5*b + 10, -19 = 2*p - g*b. Suppose -2*a + 5*y + 37 = 0, -p*a + 35 = 2*a - y. Is a composite?
True
Is ((-1865)/(-10))/((-3)/(-30)) a prime number?
False
Let s(t) = -t**2 - 5*t - 3. Let q be s(-5). Let m(a) = -29*a - 2. Is m(q) prime?
False
Suppose -16 - 10 = -2*l. Suppose -i + l = -0*i. Is i composite?
False
Suppose 4*t = t - 2*y + 66, 0 = -5*t - 2*y + 110. Is t a composite number?
True
Is (-4)/(-16) + (-5175)/(-20) prime?
False
Let k be (1 - 0) + -1 + 744. Suppose -3*z + k = -267. Is z a composite number?
False
Let o(r) = -126*r + 1. Is o(-3) a prime number?
True
Let x be (24/20)/(2/5). Suppose 1 - x = -h. Is (34/(-4) + h)*-2 composite?
False
Suppose -3 = -n + 2*t, n - 3*t - 7 = -n. Suppose 5*d + 3*z - 1129 = 0, 0 = -n*d - z + 613 + 520. Suppose -3*c + 0*q = -q - d, -2*c + 5*q = -134. Is c composite?
True
Suppose 0 = -3*n - 12, 4*n = o - 15 - 4. Suppose -2*k = -k - o. Suppose -12 = -3*s - k. Is s a prime number?
True
Suppose 0 = -2*w + 3665 - 539. Is w a composite number?
True
Let j(f) = -f**3 - 7*f**2 + 3. Let t be j(-7). Suppose -t*s - 2*s + 15 = 0. Suppose -4*q = -q - s*y - 84, 2*q - y = 59. Is q prime?
True
Suppose w - 40 - 131 = 0. Suppose 0 = -0*s - 3*s + w. Is s composite?
True
Let i(p) = -31*p + 6. Is i(-5) a composite number?
True
Let t be ((-36)/(-24))/((-2)/(-5048)). Is t/10 - 6/(-15) composite?
False
Suppose -798 = -4*z + z. Is (0 + z/(-6))*-3 a composi