 15 = -5*y. Suppose 2*v + 11732 = 4*j, 4*j = 2*j + t*v + 5850. Is j prime?
False
Let q(s) be the first derivative of 17*s**3 + 3*s**2/2 - 2*s + 6. Let l be q(4). Suppose 0*i - 2*i + l = 0. Is i composite?
True
Let s(k) = -k**2 - 8*k + 3. Let o be s(-8). Let y be 2 + (4 - o - -1). Suppose y*r - 670 = 1246. Is r composite?
False
Suppose -v + 1810 = x - 4183, 0 = -5*x + 5*v + 30005. Is x a composite number?
True
Let a = 4 - 2. Suppose -2*m - 2*t + 8 = -6*t, -5*t - 10 = m. Suppose -s - 2*l + 35 = m, 18 = a*s + 5*l - 51. Is s prime?
True
Let y = 6 - 4. Suppose y*f = -5*b + 103, -3*f - 2*b - 124 = -5*f. Is f a prime number?
True
Let f be 0 + 1 + 264 + 0. Suppose 0 = 2*v - v - f. Is v composite?
True
Let q = -732 + 3159. Is q composite?
True
Let h = 122 - 76. Let r = -1 - -3. Suppose 0*o - r*o = -h. Is o prime?
True
Let x(d) = -d**3 + 2*d + 1. Let k be x(-1). Suppose -10*m + 19*m - 46539 = k. Is m prime?
True
Let i(d) = d**3 + 10*d + 9. Let t be i(-6). Let p = 1522 + t. Is p a composite number?
True
Let f(x) = 19*x + 2. Let l be f(2). Let y = -29 + l. Suppose 80 + y = o. Is o a prime number?
False
Let n(s) = 38*s**2 - 18*s - 37. Suppose -z - 3*z = 2*a + 20, 30 = -3*a - 5*z. Is n(a) prime?
True
Is 1/(-6 - 204677/(-34111)) composite?
True
Suppose 12 = 5*g + 4*w, 2*g + 3*w - 2*w - 3 = 0. Suppose g = -0*c - 2*c. Suppose c*a - a = -701. Is a composite?
False
Suppose -n = 1 - 0. Is -6*(137/(-2) + n) composite?
True
Let i(c) be the second derivative of -c**4/12 - 31*c**3/6 - 5*c**2/2 + 9*c. Is i(-15) prime?
False
Suppose -3625 + 1331 = -r - c, -2285 = -r + 2*c. Is r composite?
True
Let c = 11151 - 5900. Is c composite?
True
Suppose -w - 2*v = 199, 5*w = 2*v - 6*v - 965. Let z = 334 + w. Is z prime?
False
Let k(d) = 66*d**2 + 448*d - 15. Is k(-19) a composite number?
False
Let a(r) = -3*r**3 - 6*r + r**3 - 8*r**2 - 2*r**3 + 3*r**3 + 9. Let q be a(-7). Suppose -12 = -3*w - 0*w, -q*w = -5*u + 1947. Is u a composite number?
True
Let q = 529 - -2238. Is q prime?
True
Let x be 45/30*(-556)/3. Let u be (2 - 0)/(-2)*489. Let p = x - u. Is p a composite number?
False
Let s(l) = 306*l**2 - 4*l - 63. Is s(-8) composite?
False
Suppose 924 = -5*n + 2804. Let u = n + 13. Let c = u + -186. Is c a composite number?
True
Let a = 1155 + 11038. Is a a prime number?
False
Is (-417438)/(-45) - (-18)/30 a prime number?
True
Let v(q) = -q**3 + 16*q**2 - 14*q - 15. Let o be v(15). Suppose o = -10*h + 12*h - 1490. Is h prime?
False
Suppose -7*c - 2*a = -3*c - 3150, c - 5*a - 782 = 0. Is c a prime number?
True
Let o be (-3346)/8 - 1/(-2 + -2). Let m = -179 - o. Is m prime?
True
Suppose 3*w + 4*f - 8629 = -0*f, -2*f + 14391 = 5*w. Is w prime?
True
Let s = 10543 - 3110. Is s composite?
False
Let t be 5996 + -2 - -2 - -1. Suppose 0 = -6*q + 5841 + t. Is q a composite number?
False
Is (52/6)/(46855/5205 - 9) composite?
True
Let f = 29 - 29. Suppose -2*x - 2*b + 7392 = -0*x, f = -3*x - 2*b + 11087. Is x a prime number?
False
Suppose -4*v - 3*u = -18, 3*u = -0*v - v. Let d = v + -1. Suppose -d*n = 5, -3*t + 180 + 306 = -3*n. Is t a prime number?
False
Suppose -30*u - 1092276 = -66*u. Is u a prime number?
True
Suppose 15 - 65 = 5*p. Let w = p - -12. Suppose 0 = 5*a - w*u - 635 - 476, -2*u = 6. Is a composite?
True
Let h(c) = -c - 2. Suppose 23 = -4*s - p + 3, 42 = -5*s + 3*p. Let n be h(s). Suppose n*o = -4*u + 256, 0*u - 3*o = -u + 84. Is u a prime number?
False
Let m(k) = -k. Let o be m(-2). Suppose 0 = o*d + 15 - 1. Let r(j) = 6*j**2 + 9*j + 4. Is r(d) composite?
True
Let d(v) = v**2 - 8*v + 7. Suppose 28 = 4*t - 2*l, 3*t - 21 = 2*l - 3*l. Let c be d(t). Suppose c = -3*x + 8 + 109. Is x a composite number?
True
Suppose -5*a = 5*w - 22 + 2, -13 = -5*w + 2*a. Suppose o + 4*j - 269 = 0, w*j = 2*o - 157 - 370. Is o a prime number?
False
Suppose -5 = -u - 3. Suppose -4*f = -u*f + 82. Let c = f + 66. Is c a prime number?
False
Let t(b) = b**3 + 6*b**2 - b - 7. Let h = 6 - 2. Suppose 3*j = h*j - 6. Is t(j) prime?
True
Suppose 3*s + 2*n + 36 = 0, 26 = -3*s + 4*n - 10. Is (-4)/s*(-5 + 3266) composite?
False
Suppose -3*z - 4*n - 11039 = -4*z, 3*n + 33108 = 3*z. Is z prime?
False
Let y(j) = 590*j - 483. Is y(11) a prime number?
True
Suppose b = 4*c - 10, -3*c + 5*b - 1 = -0. Is ((-15)/c)/((-1)/73) prime?
False
Let b(v) = 1177*v**2 - 6*v + 3. Is b(1) a prime number?
False
Let u be (-1052)/(-116) - (-26)/(-377). Let x(c) = 2 + 15*c + 8*c + 2. Is x(u) composite?
False
Let t be 45034/(-4) + 9/18. Let d be t/(-12) + 5/(-30). Suppose d = 3*w + 227. Is w a composite number?
True
Let d be (0 - 1) + (1 - -2). Suppose -3*i = d*i - 25. Suppose 143 = 3*t + i*p, -4*p - 39 = -t + 3. Is t composite?
True
Suppose -8*y + 3*y = 4*g + 11, 17 = 5*y - 3*g. Let h be y*(3 - 9)*-6. Is (-6)/h + 223/6 a prime number?
True
Let t = 507 - 1022. Let r = 841 + t. Is r prime?
False
Suppose -34*q - 1 = -35*q. Is 787/4*(5 + q + -2) prime?
True
Let z be 3*(-21)/(-9)*(-88)/(-154). Suppose 2*b + 13 = 3*b. Suppose -5*d + 92 = 3*q, -z*d + b = q - 13. Is q a prime number?
False
Let t(d) be the second derivative of 2*d**4/3 - 11*d**2/2 + 22*d. Is t(7) a prime number?
False
Is (-250 - 1)/((-91)/(-49) + -2) composite?
True
Let h(w) = 45*w**2 - 69*w + 29. Is h(-17) a composite number?
False
Suppose 2*s + 7 = 3. Let m be 2/s*(-1 + 5). Is 371 - (m - -2) - 2 prime?
False
Suppose 2*g - 1831 = 2963. Suppose 8*k + 805 = g. Is k composite?
False
Let x(g) = -1311*g - 28. Is x(-5) prime?
False
Suppose -3*v + 3*p = -2*v + 11, -2*p = -3*v - 26. Let s(t) = -2*t - 16. Let g be s(v). Suppose -o + 159 = -g*o. Is o prime?
False
Suppose -s - 34612 = -4*t, -13062 - 12897 = -3*t - 3*s. Is t a composite number?
True
Suppose -9*b + 252357 - 64716 = 0. Is b a prime number?
True
Let n be (24/15)/((-14)/(-175)). Is n/30*573/2 a prime number?
True
Let i be -4 + 743 + 15/5. Suppose -6*k = k - i. Is k prime?
False
Let j be (0/(0 + 2))/(-1). Suppose 0 = 4*g - 6 - 14, -5*l - 3*g + 130 = j. Suppose 503 = 2*x - l. Is x a prime number?
True
Suppose -5*y + l + 25 = 0, 4*l = 5*y - 1 - 24. Suppose k + b = 0, -12 = -y*k + k - b. Suppose k*u = -8, u + 151 = 2*n - 207. Is n a composite number?
True
Is 24/20 - 2209/(-5) a prime number?
True
Let b = 190 + 115. Let k = 528 - b. Suppose 2*i = -z + 169, -3*z = -3*i + k + 53. Is i a prime number?
False
Let x(p) = -p**3 + 4*p**2 - p - 3. Let h be x(3). Suppose 85 = -h*v + 394. Is v a prime number?
True
Let r = 3753 + -1360. Is r a prime number?
True
Suppose -7*c - 6111 = 2*c. Let i = 1341 + c. Is i a prime number?
False
Suppose 5*r - 2*m = -0*m + 11177, 2*m - 8 = 0. Is r prime?
True
Suppose 2*y = 6*y - 212. Suppose r - 5 = 0, -x + 25 = 2*x + 2*r. Suppose -y = -x*q + 4*q. Is q a prime number?
True
Suppose -409628 + 126916 = -8*d. Is d prime?
True
Suppose f + s = -4*f + 69207, -2*s + 4 = 0. Is f a composite number?
False
Let j = -42227 - -63478. Is j prime?
False
Let o(x) = 2*x**2 + 16*x + 18. Let h be o(-6). Is 2*-37*h/4 a prime number?
False
Suppose 0 = -h - 3*h - 12, 4*f - 2*h = 18142. Is f prime?
False
Suppose n + 0*n - 27211 = 0. Is n prime?
True
Let t = -2040 - -4231. Is t composite?
True
Suppose -d + 180 = -417. Suppose -6083 = -8*b + d. Is b a prime number?
False
Is ((-12)/(-108))/((-3)/(-2766987)) a prime number?
True
Suppose 0 = 4*d + 2*u + 44, -2*d + 62 = -7*d + u. Is (33/d)/(4/(-1200)) - 4 a prime number?
True
Let z(i) = -2972*i - 27. Is z(-2) prime?
False
Suppose 210 = -4*r + 6*r. Let s be (12/(-10))/(14/r). Is (848/24)/((-2)/s) composite?
True
Let w(o) = 62*o**2 + 9*o + 53. Is w(-10) composite?
False
Suppose -11 = -3*z - 5. Suppose 4*l = 5*v + 588, 3*v = z*l + v - 292. Is l a prime number?
False
Suppose 4*j = -5*s, s = j + 3*s + 3. Is (-2 + -5)*(-10 + j) a composite number?
True
Let z(q) = -1964*q + 43. Is z(-11) composite?
False
Let g be 2/(-4)*(8 - (38555 + -5)). Suppose g = 5*u - 13244. Is u a prime number?
False
Suppose b = 4*b - 42. Suppose 5*t - b = -4. Suppose 2*o - 481 = -5*h, 3*h + t*o - 200 - 91 = 0. Is h a composite number?
True
Let v = -617 + 883. Let f = 823 - v. Is f composite?
False
Let o be 6/(-4) - 7/(-2). Suppose -4*f + y = 2*y - 21, o*f - 13 = -y. Suppose -q - f*w + 91 = 0, -w + 2*w = 1. Is q prime?
False
Let n = 131 - 128. Is (-5)/(15/(-762)) - n prime?
True
Let d(c) = -c**2 - 5*c - 4. Let m be d(-