-3*t, 2*b = -2*t + 4*t + 22. Let a = b + -1. Is a prime?
False
Let i(b) = -130*b - 31. Let o be i(-15). Let j = -948 + o. Is j prime?
True
Suppose -2*v + 0*y = -5*y - 5052, -v + 2541 = 5*y. Is v prime?
True
Suppose -c = -4*c + 12, -5*q + 20 = 5*c. Suppose u + 4*i = -12 - 4, q = -5*u + 2*i - 14. Is (-6)/u + 9350/20 prime?
False
Let i(z) = -z**2 + 7*z + 5. Let k(w) = -w**2 - 9*w - 6. Let d be k(-7). Let x be i(d). Let f(o) = 51*o**2 + 3*o - 1. Is f(x) prime?
True
Let b = -112139 + 195012. Is b prime?
False
Let h(x) = -x**3 + 2*x**2 + x + 1. Let n be h(2). Is (-9)/n + (-4 - -18) composite?
False
Let r(j) = j**3 + 2*j**2 + 2*j + 1. Let u = 10 - 11. Let n be r(u). Suppose 409 = -n*f + f. Is f a prime number?
True
Suppose 4*h - 2 = 6*h, -v + 2*h + 7 = 0. Suppose g - 2*s = 3*s + 4, -5*g = -v*s - 20. Suppose -g*q = -3*y + 123, -3*q - 8 = 2*y - 73. Is y a prime number?
True
Is (-96854)/(-18) + (6 - 52/9) composite?
False
Let y(d) = 5 - 3 + 2*d**2 - 10*d - 1 + 10. Suppose -3 - 5 = -g. Is y(g) composite?
False
Is ((-3)/((-3)/(-2566)))/(-2) prime?
True
Is 36/(-20) - -1 - 35937/(-15) a prime number?
False
Let i be (-4)/10 + 54/10. Let f = i - 3. Suppose 9*v = 4*v + 2*x + 565, f*v - 4*x = 210. Is v a composite number?
True
Let r be 8/(0 + 4) - -1. Suppose -10*q + r*q + 2275 = 0. Suppose 4*z = -0*p + 4*p + 1332, z + 3*p = q. Is z a composite number?
False
Let g(w) = -40*w**2 - 5*w - 7. Let x be g(-8). Let y = x + 3722. Is y prime?
False
Suppose -4*v - 29 = -f + v, -4*v - 12 = 2*f. Suppose f*q - 298 = 3*q. Is q composite?
True
Suppose 2*v = 520 + 2394. Is v a composite number?
True
Let a = -107 + 119. Is (-8)/a - (-4373)/3 a prime number?
False
Suppose 12 = 3*o + 9. Is (-2)/o + 1645 + 0 composite?
True
Let t = 4474 - 837. Is t prime?
True
Suppose -2*b + 2 = -3*p + 13, 4*p + b = 22. Suppose p*g - 90 = 25. Is g a prime number?
True
Let f = -219 + -228. Let j = f - -740. Is j a prime number?
True
Let a(q) = -17*q**2 - 10*q - 2. Let x be a(-5). Let y = x + 555. Is y prime?
False
Let n be 1 + -1 - (2 + 2). Let g(o) = -19*o. Let d be g(n). Suppose -2*a + 5*r = -a - d, a - 2*r = 85. Is a prime?
False
Let q = 9023 + -4138. Is q a composite number?
True
Let l = 237 - 40. Let o = l - -305. Is o composite?
True
Suppose 5*k - 1 = 9. Suppose 0 = m - k*m - 13. Let w(y) = -16*y + 13. Is w(m) a composite number?
True
Let s = 263 - 514. Let u = s - -430. Is u composite?
False
Suppose 2*t = -7*v + 4*v + 881, 430 = t + 5*v. Is t a composite number?
True
Let n = -5369 - -10819. Suppose -4*k + 4328 = -4*i, 8*i = -5*k + 5*i + n. Is k a composite number?
False
Let v be ((-12)/8)/(2/24). Is (42/v)/(1/(-447)) a composite number?
True
Suppose -2*w - 14 = -4*w. Let s = 49 - w. Suppose k = -2*l + s, 2*l - 7*l = 5*k - 115. Is l a prime number?
True
Is (-2 + -2)/(2/5703*-6) prime?
True
Let d(n) = n**2 + 9*n + 5. Let h be d(-9). Suppose -h*z - z = 12. Is 255 + z + 1 + -3 a composite number?
False
Let j = -25 + 237. Is (j/8)/(1/2) a composite number?
False
Suppose 10 = 4*n - 6. Let f be n/(-6)*3/2. Is (0 - f) + (74 - 6) a composite number?
True
Let f = 759 - 416. Let b = 211 - 209. Is 2/b - (13 - f) a composite number?
False
Let z(x) = -x**2 - 17*x + 22. Let l be z(-16). Is 19/l*(1173 - -1) composite?
False
Let r(z) = -28*z**2 + 3*z - 7. Let p be r(-5). Let v = 75 - p. Is v a prime number?
True
Let b = 23 - 15. Suppose 2*l + 2*l - b = 0. Is 1950/12 - (-1)/l prime?
True
Suppose 0 = -h + 11*h - 1080. Let r = h - -25. Is r a prime number?
False
Let g(j) = 12*j**2 + 1. Let c be g(5). Let q = c + 364. Suppose m = -4*m + q. Is m composite?
True
Let x = -2052 + 2873. Is x a prime number?
True
Let d = -347 - -1265. Suppose -679 - 239 = -3*r + l, 0 = 3*r - 4*l - d. Suppose 2*x - 2*g = r, g = x - 3*x + 318. Is x prime?
True
Suppose 6*i - 12 = 3*i. Let y(d) = -2*d + 4. Let f be y(i). Is (-2)/4*f + 132 composite?
True
Let f = 983 + -249. Is f prime?
False
Suppose -3*s = w - 3665, 5*s = -7*w + 3*w + 14660. Is w composite?
True
Suppose -2*r = 4*u - 28, 4*r = -5*u - 15 + 56. Suppose -1 = u*f - 26. Suppose 2*q = -2*o + 558, -o - f*q + 142 = -141. Is o prime?
False
Suppose -l = -c + 9, 5*c - l + 2*l = 51. Suppose -c*a + 406 = -8*a. Is a a prime number?
False
Is 25/10*-4*(-248156)/40 prime?
True
Let f(v) = -6*v**2 + 95*v - 15. Is f(13) a prime number?
False
Suppose -4*f = -2*n + 28422 + 22912, 3*f - 51334 = -2*n. Is n a composite number?
False
Let z = -17 - -23. Let u = -6 + z. Suppose 5*o + 3*h - 1684 = u, -o + 329 = -0*o - 2*h. Is o a prime number?
False
Suppose -4*v + 37889 = -37395. Suppose 5*o + 4186 = v. Is o composite?
False
Suppose 0 = -16*c + 11*c + 30. Let l = c - 1. Suppose l*d - 1647 = -4*p, 0 = d - p - 384 + 51. Is d a prime number?
True
Suppose -2*s + 6*s - 7 = 3*z, -2*s = 2*z. Is 46/(((-6)/(-57))/s) composite?
True
Let i(u) = -u**2 - 10*u - 9. Let c be i(-9). Suppose -6*w + 7*w - 418 = c. Is w - (6 + (-12)/4) a composite number?
True
Let h(z) be the second derivative of z**3/3 - 7*z**2 - 2*z. Let n be h(8). Suppose -4*u = n*v - 366, 94 = u + v - 0*v. Is u a composite number?
False
Let v = 39 + 746. Is v composite?
True
Let c(h) = h**2 - 6*h + 3. Let o be c(5). Let n(y) = -79*y - 3. Is n(o) a composite number?
True
Suppose 5*v - 5*z + 7*z - 1500 = 0, -5*z - 571 = -2*v. Is v prime?
False
Suppose -h + 3544 = -777. Is h composite?
True
Let c = -2949 + 7484. Is c prime?
False
Let s = -65 + 67. Is 0 + s - (-938)/2 a composite number?
True
Is 246560/35 + (-30)/(-70) prime?
False
Let d = 10 + -10. Let y be (-2)/2 + 78 - d. Let n = 120 - y. Is n a composite number?
False
Is 2/(-2)*(39 + -24236) prime?
True
Suppose 1 = o + 3*r, -4*r - 8 = -5*o + 16. Suppose 5*u = 5*p - 440, p - 2*u - 443 = -o*p. Is p a prime number?
True
Is 3/(-9) - 5/15*-105424 prime?
True
Suppose -12*d - 276 = -0*d. Is 92/d + 1*383 composite?
False
Let y(t) = 52*t**2 - 3*t + 6. Let v be y(2). Suppose 8*d + v = 952. Is d a prime number?
False
Suppose -4*j = -9*z + 8*z + 1495, 0 = -5*z + 3*j + 7560. Suppose 2*a - 2*t - 371 = z, 2*t - 937 = -a. Is a prime?
True
Let g(r) = 58*r**2 + 38*r - 23. Is g(15) a prime number?
True
Let t be 261*((-2)/3 + 1). Let s = t + -35. Suppose 3*g = -v + 292 + s, -4*v + 20 = 0. Is g composite?
False
Let i(v) = 82*v + 3. Let d(l) = l + 1. Let o(p) = 6*d(p) + i(p). Is o(5) a prime number?
True
Suppose -11*x + 4*x + 231 = 0. Suppose -b = -3*v - 154 + x, -b - 5*v = -105. Is b prime?
False
Let h(f) = -346*f - 5. Is h(-33) a composite number?
True
Let t = -973 - -1940. Is t a prime number?
True
Is (11/(-44))/(-4 + (-91695)/(-22924)) composite?
True
Let y(z) = 27*z**2 - 11*z + 17. Let r(a) = -9*a**2 + 4*a - 6. Let k(i) = 8*r(i) + 3*y(i). Let o be (6 + -16)*4/5. Is k(o) a prime number?
True
Suppose -758*s - 487655 = -763*s. Is s prime?
False
Let c(h) = -h - 4. Suppose 0 = w - 6*w. Let p be c(w). Is 607/2 - p/(-8) prime?
False
Let c(b) = 294*b**3 + 6*b**2 + 24*b - 37. Is c(7) a composite number?
False
Let g = -808 + 1907. Is g a composite number?
True
Suppose -15*g = -89329 - 10736. Is g a prime number?
False
Suppose 2*i - 8*i = -1434. Suppose -5*m + 2466 = -i. Is m a composite number?
False
Suppose -910 = 4*n - 9*n. Suppose 3*b + 2*h - 312 = 0, 2*b - 5*h - 45 = n. Is b composite?
True
Suppose 0 - 2 = -2*q. Let l be q + 272 + (-2)/2. Suppose -4*f = 4*m - l, -m - 2*f = -49 - 20. Is m composite?
False
Let n(z) = z**2 + 4*z - 18. Let m be n(-7). Suppose -15 = m*c - 261. Let v = 37 + c. Is v composite?
True
Let x = 15046 + -537. Is x composite?
True
Let d = -19 + 25. Is ((-2)/(d/(-993)))/1 a prime number?
True
Let u be (-22)/4 + (-3)/6. Let w be (-4)/6 + (-16)/u. Suppose -2*o + 66 = 4*h, 3*o + 5*h - 170 = -w*o. Is o composite?
True
Suppose 0 = -5*a + 15, 3*w + 5*a - 18 = 2*w. Let s(h) = 2 - 2*h**2 + 15*h**3 + h - 4*h - h. Is s(w) a composite number?
True
Let i = -28 + 27. Is (-4 - 65/(-15))/(i/(-2019)) composite?
False
Let u(s) = -s**3 - 12*s**2 - 10*s + 15. Let t be u(-11). Suppose h - x = -5*x + 6, 0 = -5*h - t*x + 30. Suppose h*j - 889 = 617. Is j a composite number?
False
Suppose 0 = -5*q - 2*n + 42001, -8*q - n + 33599 = -4*q. Is q composite?
True
Let z(c) = -c**3 + 23*c**2 - 31*c + 6. Is z(11) a composite number?
False
Let y = -19166 + 34315. Is y a prime number?
True
Suppose 40*v - 35*v = -20. Is (-13)/52 - (