/(-6) - 139/(-3). Let o = 1 + d. Is o a prime number?
True
Is ((-1)/(-3))/(1/255) prime?
False
Let a = 745 - 522. Is a a composite number?
False
Let j be (-30506)/(-63) - 4/18. Suppose 2*q - 2 = 2. Suppose 386 = 4*f + 4*m - q*m, -5*f + j = m. Is f prime?
True
Let h be (-1 + -1*5)*-2. Suppose 2*u + 1 = 39. Suppose p - h = u. Is p composite?
False
Suppose 3*c + 18 = 5*c. Suppose -t + 5 = -c. Is t composite?
True
Suppose -5 = -2*s + 5. Suppose -s = -5*a - 0. Is 0*a/(-2) + 295 composite?
True
Suppose g + 48 = w - 84, -5*g = 4*w - 483. Is w a composite number?
False
Let p = 40 - -87. Is p prime?
True
Let c(i) = -8*i**3 - i**2 + 3*i + 13. Is c(-3) composite?
False
Suppose 7*w - 9*w = -68. Is w composite?
True
Suppose -2*p + 12 = 2*p. Suppose 5*a + 91 = -0*f + p*f, a - 17 = -f. Let s = f - -11. Is s a composite number?
True
Let a = 600 - 409. Is a a prime number?
True
Suppose 0*j - 3513 = -3*j. Is j prime?
True
Suppose 2*p + 0 = -6. Let h be ((-4)/(-1))/(p/(-54)). Let f = 129 - h. Is f prime?
False
Let t(z) = 79*z - 10. Let a be t(15). Suppose 4*o + o = a. Is o composite?
True
Let d(x) = -x**3 - 3*x**2 + 6*x - 5. Let w = -9 + 3. Let y be d(w). Suppose -3*b - y = -208. Is b prime?
True
Let o be 30/(-3)*1/(-2). Suppose -d - 4*d = 2*r - 95, 3*d = -o*r + 190. Is r a prime number?
False
Let v = -13 + 15. Is -478*(-1)/v*2 a prime number?
False
Suppose 5*n - 5*c = -2*c + 5, 0 = 5*n + 3*c - 35. Suppose n*s + 87 = -241. Let w = -56 - s. Is w prime?
False
Let m(q) = q**3 - 2*q**2 + 14*q + 9. Is m(10) prime?
False
Let t(o) = 8*o**2 - 3*o - 4. Suppose 0*c = -c - 3. Is t(c) a composite number?
True
Let p be (-82)/6 - (-4)/6. Let z = p - -39. Is z a composite number?
True
Suppose -p + 454 = -750. Is (p/((-4)/(-2)))/2 prime?
False
Let x(n) = -60*n**3 + n. Let d(q) = q**2 - 1. Let f be d(0). Is x(f) prime?
True
Let g(s) = 2*s**2 - 7*s + 7. Let v be 23/3 + (-3)/(-9). Let o be g(v). Is o/((-2 - -3)/1) prime?
True
Let a(p) = 16*p**2 - 3*p - 4. Is a(-3) a composite number?
False
Suppose -v - 2*v = 276. Let z = -39 - v. Is z a composite number?
False
Let z(j) = 7*j**3 - 3*j**2 - 8*j + 3. Let q(t) = -t**3 + t. Let u(h) = -5*q(h) - z(h). Is u(-4) composite?
True
Let c(i) = 0 - 5*i**2 - 2 - i**3 + 7*i**3 + 4*i. Is c(3) composite?
False
Let n = 201 - -50. Is n a composite number?
False
Let m be (-122)/18 - (-2)/(-9). Let s(w) = 8*w - 2. Let u be s(m). Let z = u + 137. Is z a prime number?
True
Let n(r) = -r - 2. Let o be n(-3). Suppose 9 = -x + 3*u, -u + o = -4*x + 9. Is x*-21*(-6)/27 prime?
False
Let k(b) = 7 - b**3 + 2 - b**2 + 2*b**2 + b. Is k(0) composite?
True
Suppose 3 = 2*t - 7. Suppose 5*l = -0*l - t. Is l + 2/(2/11) a composite number?
True
Let d(f) = -1 - 5 - 7*f - 1. Let x(v) = -14*v - 14. Let y(k) = -5*d(k) + 3*x(k). Is y(-6) composite?
True
Let f = 10 + -16. Let y = -4 - f. Suppose -3 = -a, -y*a - 2 = 3*m - 119. Is m prime?
True
Let p(r) = 2*r + 11. Let f be p(-11). Let y = f - -16. Suppose -y*g = -0*g - 265. Is g a composite number?
False
Let v be 1/(-3) + (-4467)/(-9). Suppose -4*m + 12 + v = 0. Is m a prime number?
True
Suppose -3*c + 413 + 1348 = 0. Is c a prime number?
True
Let s(x) = x**2 + 8*x - 6. Let y be s(-8). Let k(g) = -g - 8. Let h be k(y). Let a = 1 - h. Is a prime?
True
Suppose -2*k - 6 = -4. Is k + -2 + (3 - -97) a prime number?
True
Suppose 2*w = -w + 15, 0 = -5*p - 2*w + 140. Let m be -9*2 + 0 + 2. Let n = p + m. Is n composite?
True
Let p be -5*(-3)/(-3) + 2. Let d be (p - (-2 + 1))*1. Let i(t) = -9*t - 3. Is i(d) a prime number?
False
Suppose 252 = -3*w + 2*l + 2985, -2*l = 2*w - 1822. Is w a composite number?
False
Let a = 58 + 1. Is a composite?
False
Let i(y) = 4*y**2 + 2*y - 4. Let a be i(-3). Suppose -5*f + 0*b + 3*b = 36, 3*f - 4*b = -a. Is 29/3 + (-2)/f a prime number?
False
Let h = -13 + 7. Is -3*1*38/h prime?
True
Suppose 1216 = f + 3*f. Suppose -v = 5*s - f, 2*v = 4*v - 5*s - 668. Suppose -4*q - 4*o = -300, -q - 2*o - v = -5*q. Is q a prime number?
True
Let u(w) = w**3 + 8*w**2 + 7*w + 9. Let a be u(-7). Suppose 4*s + r + 0*r = -9, -3*s - 3*r = a. Is 1*s - 48*-1 composite?
True
Suppose 2*n = -5 + 1, -3*g + 47 = 2*n. Suppose p = g + 138. Is p a composite number?
True
Let j be (-5)/(-2) - (-6)/(-12). Suppose -j*i + 4 = -18. Is i a composite number?
False
Let u(k) be the second derivative of -5*k**3/6 - 5*k**2 - 5*k. Is u(-7) composite?
True
Let g(x) = -156*x + 4. Let f be g(-4). Suppose -2*y - f = -6*y. Is y a composite number?
False
Suppose -431 = -0*x - x. Is x composite?
False
Let j(r) = -3*r**2 - 7. Let c be j(6). Let k = 34 - c. Let a = -82 + k. Is a a composite number?
False
Let w = 1108 - 65. Is w a composite number?
True
Suppose -2*m + 6*m + 653 = d, -3*d + 2*m + 2009 = 0. Is d composite?
False
Let z = -8 - 84. Let k = 879 - z. Is k a prime number?
True
Let p = 17 + -24. Let k = 12 - p. Is k composite?
False
Let g(d) = -18*d + 1. Let x(z) = z - 6. Let y be x(5). Is g(y) composite?
False
Suppose 3*t - t = 3*w - 23, w - 2*t - 5 = 0. Suppose -5*l = -6 - w. Suppose 0 = -3*s - 3*g, 4*g + 0 = -l*s - 3. Is s a composite number?
False
Let k be (1/(-2))/((-2)/4). Suppose 4*b - k = 87. Is b composite?
True
Let k be (-2 - -3)/(1 + 0). Let a(i) = 77*i**2 + 2*i. Is a(k) a composite number?
False
Suppose a = -a - 6. Let x = -3 - a. Suppose 3*b = -5*u + 186, x*u - u = -2*b + 137. Is b a composite number?
False
Let d(m) = 2*m**2 + 7*m. Suppose 2*v + 2*v = -20. Is d(v) prime?
False
Is (-864)/((-12)/4) + 3 a prime number?
False
Suppose -3974 = 29*f - 31*f. Is f a prime number?
True
Suppose 5*r = 2*x - 3961 + 11473, -5*x - 7515 = -5*r. Let k = -945 + r. Is k prime?
True
Let z(p) = p. Let q be z(-5). Let k be (18/q - -2)*-5. Is (-3)/(2/k*-2) a composite number?
True
Let n be (-3)/2*(6 - 4). Let o = 4 + n. Is -2 - -6 - (2 - o) a composite number?
False
Suppose -5*z = -3*c - 8273, -2*z + 3*c - 1669 = -3*z. Is z prime?
True
Let s(y) = 2*y + 5. Let x be s(-4). Let u(w) = w**2 + 2*w - 3. Let l be u(x). Suppose l = 4*m + 2*d - 103 - 155, 3*d + 350 = 5*m. Is m a prime number?
True
Suppose -f - 2*q + 629 = -5*q, -1871 = -3*f + q. Is f prime?
False
Let t(k) = 31*k**2 + k - 5. Is t(6) a prime number?
True
Let o be ((-22)/(-11))/((-2)/316). Let t = -173 - o. Is t prime?
False
Let g = 6 - 3. Let h be (-3)/(-9) + 218/g. Suppose -5*w = -5*c + 425, 0*c - 4*w = -c + h. Is c composite?
False
Let h = 489 + -116. Is h a prime number?
True
Suppose 4*w + 2*r = 3*w + 51, 5*r = 5. Is w composite?
True
Suppose -5*j = 10 + 120. Let p be j/10 - 9/(-15). Is 2/2*(p + 51) a composite number?
True
Suppose 0 = -0*h + 5*h + 705. Let z = h + 572. Is z prime?
True
Let n be -1 + 748 + (2 - 3). Suppose -2*v + n = 4*s, 324 = -5*s - 3*v + 1259. Suppose l - s = -4*l + 3*o, -9 = 3*o. Is l prime?
False
Let h be 1 + 5*-5*-2. Suppose -h = 5*q + 4. Let s = q + 45. Is s composite?
True
Is (-4)/14 - 10396/(-28) composite?
True
Suppose -3*v - 3*g + 1089 = 0, 8*v - 13*v + 1765 = -5*g. Is v prime?
False
Suppose 340 = 3*t - 2*t + j, -10 = -2*j. Suppose q + t = 6*q. Is q a composite number?
False
Suppose -4 = -2*p + 5*v + 14, -v = -5*p + 22. Suppose -p*c - 38 = -750. Suppose 4*j - w = 3*w + 356, 0 = 2*j + 4*w - c. Is j prime?
True
Suppose -2*v + 573 = 5*c - 698, 5*c = 3*v - 1844. Is v composite?
True
Suppose -2*c = -2*w + 137 - 899, -1145 = -3*c + 4*w. Is c a prime number?
True
Let c(n) be the second derivative of n**4/4 - 2*n**3/3 - n**2/2 + n. Let m(d) = d**2 - 5*d. Let i be m(6). Is c(i) a prime number?
True
Suppose -t + 2*f + 1011 = 322, -5*t + 3*f = -3424. Is t composite?
False
Let h = -31 - -21. Let y be h*(46/5 - 0). Let v = 147 + y. Is v composite?
True
Let b(h) = -2*h - 6. Suppose 0 = -z + 5*u, 4 + 6 = 5*u. Let t = -18 + z. Is b(t) a prime number?
False
Suppose v + 3*h - h = 394, -v - h = -392. Let o = v + -83. Is o composite?
False
Let a = -204 - -391. Is a a composite number?
True
Suppose 0 = -5*b - 34 - 51. Let f = 28 + b. Is f a composite number?
False
Suppose 5*r - 48 = 9*r. Is r/16 + (-878)/(-8) a prime number?
True
Suppose -2*s + 14 = -16. Suppose 3*g - 3*l = 90, 4*g - 51 = -l + 59. Let y = g - s. Is y a prime number?
True
Is -1303*((-2)/(-6) - (-8)/(-6)) a composite number?
False
Let y = 2 - -3. Suppose 0 = 5*z - y*v - 15, -z - 3*v + 3 = 2*v. Suppose -5*l + z*u = 5*u - 26, 