
Suppose 0 = 3*c + 6, 4*j - c - 4*c - 3566 = 0. Is j prime?
False
Is ((-839)/(-3))/((-6)/(-18)) a prime number?
True
Let b(u) = -u**3 + 6*u**2 - 5*u + 1. Suppose 10 = x + x. Let k be b(x). Is ((-262)/(-8))/(k/4) a prime number?
True
Let d be (3 - 0)/(6/10). Let f = d - 8. Let n = f - -14. Is n composite?
False
Let w(h) be the second derivative of -h**3/2 + h**2/2 + 3*h. Let x be w(-7). Suppose o = 2*c - 60, -o = c - 11 - x. Is c prime?
True
Let z(k) = 151*k**3 - k**2 - 2*k + 2. Let d be z(1). Let w = d + -73. Is w a prime number?
False
Suppose 5*u = 7*u - 7586. Is u prime?
True
Is (-4 - -444) + 3/(-3) composite?
False
Let f(h) = -38*h + 31. Is f(-11) prime?
True
Let b = 152 + -302. Let q = 395 + b. Suppose 0 = -4*k - k + q. Is k a composite number?
True
Let y(w) = -3*w - 1. Let p(r) = 4*r**2 - 2*r + 3 + 8*r - 5*r**2. Let a be p(7). Is y(a) prime?
True
Suppose 1 = k + 2, 4*s + 2*k = -18. Is 14*(-5 - -3)/s a prime number?
True
Let z(n) = -2 + 2 + n**3 - 1 - 7*n**2 - 6*n + 2. Is z(9) prime?
True
Suppose -9*t + 3*t = 2880. Let n = -227 - t. Is n prime?
False
Suppose -2*q = 2*q. Suppose 84 = 4*d - q*d. Is d prime?
False
Is -2 + (-19)/(-3)*183 a composite number?
True
Suppose 4*p - 129 = 4*c + 1491, 0 = 5*p - 2*c - 2037. Is p a prime number?
True
Suppose -4*b = -5*s - 1074, b - 3*s + 2*s = 269. Is b a prime number?
True
Let i = -1317 + 419. Is (-6)/4 + i/(-4) a prime number?
True
Suppose 2*w - 47 = w. Is w composite?
False
Suppose -62 - 139 = -3*y. Is y a composite number?
False
Let i(h) = h**2 - 7*h - 8. Let y be i(8). Suppose -2*g - 5*r + 79 = y, g - r - r - 35 = 0. Is g a prime number?
True
Let a = 117 + -64. Is a composite?
False
Let z = 750 + -527. Is z a prime number?
True
Let q(z) = -319*z - 53. Is q(-4) a prime number?
True
Let d be 0/(-1) - 12/(-4). Suppose -3*x + 16 + 30 = r, -d*r + 174 = -3*x. Is r a prime number?
False
Is 0 + 2 + 2046 - (-17 + 16) composite?
True
Is (305/10)/((-1)/(-26)) prime?
False
Suppose -4*h + 4*x = -264, -4*x = 3*h - 29 - 134. Let l = 138 - h. Is l prime?
False
Let u(h) = -4*h. Let o be u(-6). Suppose -2*f + 182 = o. Is f a prime number?
True
Suppose -18536 = 19*k - 27*k. Is k prime?
False
Let a be (-44)/12 + 2/(-6). Let u be 777/2 + (-2)/a. Suppose -f = -0*x + 5*x - 387, 5*x + 2*f - u = 0. Is x a composite number?
True
Suppose k = 2*a - 515, 703 = 5*a + 2*k - 562. Suppose 0 = 4*v - a - 253. Is v a composite number?
False
Let o(w) = -w - 8. Let u be o(-11). Suppose -196 = -4*m - 2*v, u*m + 4*v + 7 = 154. Is m prime?
False
Let f(i) = -186*i - 33. Is f(-15) a composite number?
True
Let d(v) = 8*v**3 - v**2 - 3. Is d(4) a prime number?
False
Let l(b) = 42*b**2 + 4*b + 1. Is l(-2) a composite number?
True
Let k(u) = -u + 4. Let m be k(0). Suppose 2*o + m*h - 34 = 0, 3*h - 3 + 23 = 5*o. Is o a prime number?
True
Suppose -3*h + 498 = -3*n, -2*h - 5*n + 374 = 35. Let b = -109 + h. Is b a prime number?
False
Suppose 13*t - 16255 = 1906. Is t prime?
False
Let x = 3 + -1. Suppose -x*t - 2*t + 24 = 0. Suppose -i + 2*v - t*v = -117, -25 = -5*v. Is i prime?
True
Let v(b) = -b**3 - 6*b**2 + 7*b + 3. Let r be v(-7). Let a = r + -2. Is ((-19)/(-4))/(a/4) a prime number?
True
Suppose 5*m - 4*m = 9. Suppose 4*h - 3 = m, 2*t + 2*h - 18 = 0. Let a(r) = 18*r + 1. Is a(t) composite?
False
Let b(s) = 39*s + 10. Let z(d) = -2*d - 1. Let m be z(-7). Is b(m) a composite number?
True
Is (5 + 0)*787/5 a prime number?
True
Suppose 3*f - 10 = -b, -10 = -3*f - 4*b + 12. Suppose -3 = -f*z + 5. Suppose 0 = z*x + n + 17 - 169, 4*n - 201 = -5*x. Is x prime?
True
Let l = 2 - -3. Suppose 131 = l*h + 36. Is h prime?
True
Is (-5408)/(-10) - (-3)/15 composite?
False
Let l = 4 + -2. Suppose -l*c + 308 = 18. Is c a prime number?
False
Let b(m) = 5*m**2 - 41*m - 23. Is b(-25) composite?
False
Suppose -57 = -3*x + 2*x. Is x a prime number?
False
Suppose 2*k = -45 - 31. Suppose -x + 0*c - 5 = 4*c, -5*c - 2 = -3*x. Is k*x/(4/2) a composite number?
False
Let p(f) = 88*f + 1. Let k be p(2). Suppose 0 = -5*i + 2*u + k, -2*i - u - 2*u + 86 = 0. Is i a prime number?
True
Is (-4635)/(-7) + (-2)/14 a prime number?
False
Let h(b) = 17*b - 2. Let q(u) = -52*u + 5. Let t(x) = 8*h(x) + 3*q(x). Suppose 0 = 3*o + o + 24. Is t(o) composite?
True
Suppose z = -0*z, 5*z = 2*f + 196. Let b = -55 - f. Is b prime?
True
Let q(b) = 9*b + 1. Let x(d) = d**3 - 6*d**2 + 2*d - 7. Let o be x(6). Is q(o) a prime number?
False
Let o(t) = 508*t**3 + 2*t**2 - 2*t + 1. Let s be o(1). Suppose -5*i - 1548 = -3*h, 4*h = 3*h + 4*i + s. Is h a prime number?
True
Let n(b) = -2*b - 1. Let t be n(2). Is t/(-5)*(322 - 1) a composite number?
True
Suppose 175 = 2*r - 307. Suppose 0 = 5*d - r - 104. Is d composite?
True
Let v = 5 - 0. Let l = v + -1. Suppose l*t + m - 148 = t, 0 = -4*t + 3*m + 193. Is t composite?
True
Let l be 1 - (-2)/(-3)*3. Let r be (-33)/27 + (-4)/(-18). Is (l - r - -11)*1 prime?
True
Let k be (18/15)/(4/10). Is ((-97)/k)/((-4)/12) a composite number?
False
Let y(b) = b**2 + 5*b - 11. Let h(t) = -t**3. Let s be h(-2). Is y(s) prime?
False
Let s(g) = 113*g - 3. Let h be (8/14)/(8/28). Suppose -h*n + n = -2. Is s(n) composite?
False
Let f = -309 - -558. Let t = f - 162. Is t a composite number?
True
Is 1 + 969 + -16 + 13 prime?
True
Let s(x) be the first derivative of x**4/4 - 7*x**3/3 + 11*x**2/2 - 10*x - 3. Is s(7) a composite number?
False
Suppose 5*w + 0*w - 15 = 0. Suppose 4*m - 135 = q, -m = -2*q - 36 - w. Is m prime?
False
Let h = 695 + -186. Is h prime?
True
Suppose -r - 3*v = -7, -2*v - 6 = 4. Is -22*r*2/(-8) prime?
False
Let j(t) = -t**2 - 7*t - 2. Let u be j(-6). Let i be (-15)/(-10)*(-8)/6. Is i/8 - (-153)/u a prime number?
False
Suppose 4*m + 20 + 62 = t, 4*t - 328 = 2*m. Let f be 4/14 + 771/21. Suppose -v = -f - t. Is v prime?
False
Suppose -g + 764 = -795. Is g composite?
False
Suppose s = -2*m + 70 + 44, s - 2*m - 110 = 0. Let h = s - 57. Is h a prime number?
False
Suppose 2*x = 4*d - 874, 2*d - d - x - 220 = 0. Is d a composite number?
True
Let q be 4/(-2) - (5 + -1). Let s = -14 - q. Let t = 61 + s. Is t prime?
True
Is (4/(-4))/1*-1481 a composite number?
False
Let a = -8 - -13. Suppose 0 = -a*y + y + 236. Is y composite?
False
Let s be 3*(6/9 - 1). Let m(b) = b. Let n be m(s). Is (-5 + n)*(3 + -4) composite?
True
Let l(t) = -t**2. Let w be l(-1). Let p be (0 + -6)*1/(-2). Let v = w + p. Is v composite?
False
Suppose 36 = -4*j + 8*j. Is ((-2031)/j)/(3/(-9)) a prime number?
True
Suppose 0 = 2*p + p. Let l(y) = -2*y + 6 + p*y + 3*y. Is l(7) composite?
False
Let r(u) = -5*u - 3. Let p(k) = -3*k - 2. Suppose -5*t - 3*c = -5 - 5, 3*t - 2*c - 6 = 0. Let j be p(t). Is r(j) a composite number?
False
Let n(u) = 2*u**3 - 14*u**2 - 12*u + 1. Is n(10) composite?
True
Suppose 5*y + 2*w = 28, -3*w - 4 = -6*y + 2*y. Let a(o) = o**2 - 5*o - 1. Let z be a(y). Let x(r) = -r**3 - 3*r**2 + 7*r. Is x(z) a prime number?
False
Let a = 11 - 12. Is (13 - a)/(10/85) prime?
False
Let p(c) = 66*c - 1. Let n be p(5). Suppose -3*x - 5*t + 187 = 0, 0*x + n = 5*x + 4*t. Is x a composite number?
True
Let u(t) = 3*t**3 - 7*t**2 - 3*t + 5. Let w = 0 + -5. Let q be u(w). Is (-1)/5 + q/(-25) a composite number?
True
Let b(v) = -11*v + 27. Is b(-8) composite?
True
Let i be ((-12)/(-18))/(1/96). Let t = -17 + i. Is t composite?
False
Suppose 4*g + 6 = 2*g. Let d be (g/(-1) - -1) + -1. Suppose 0 = d*r - 67 - 26. Is r composite?
False
Suppose -6*b + 2*b + 1096 = 0. Is b a composite number?
True
Suppose -4*z = 5*s - 29, 0*z - 5*s = 3*z - 23. Suppose -z = 2*p - 2. Let b(l) = 3*l**2 + 2*l - 2. Is b(p) prime?
False
Let f be -2 + -1 + (2 - -7). Let m = 13 - f. Is m composite?
False
Suppose 8*z - 25 = 9*z. Suppose -3*x - 4*y + 14 = 0, x - 3*y - 2 = -7*y. Let d = x - z. Is d a prime number?
True
Let k be 4/(-3)*(-12)/8. Suppose -k*a + 78 = -a. Suppose 2*x - 116 - a = 0. Is x a composite number?
False
Let d = -536 + 2583. Is d a prime number?
False
Let g be 0 - 0 - 1*-111. Suppose g = 2*b + b. Is b a composite number?
False
Suppose 0 = 3*u + 5*w - 3, -3*w - 3 = -0*u + u. Suppose u*t + 1251 = 9*t. Is t composite?
True
Let u = 4 - 0. Suppose -10 + u = -3*f. Suppose -5*l - 4*x + 219 = 0, -5*x = -f*x + 12. Is l composite?
False
Suppose 0 = 3*d - 5*z + 40, 4*d + 2*z + 6 + 4 = 0. Let b(q) = 5*q**2 + 6*q - 4. Is b(d