g, 2*t = -t - g + 1019. Is t a prime number?
False
Let s(b) be the second derivative of 271*b**4/6 + 5*b**3/6 + b**2/2 - 3*b. Is s(-2) a prime number?
False
Suppose 0 = -8*y + 4*y + 12, 0 = 3*j + 5*y - 31089. Is j composite?
True
Suppose -3*o - 1 = g, 5*g - 2*o - 5 = 7. Suppose 4*x - 16 = 0, g*h - 3*x = h + 359. Is h prime?
False
Suppose -7*y + 1011 + 3518 = 0. Suppose -6*l = -5*l - y. Is l a prime number?
True
Let o = 24633 - 12754. Is o composite?
True
Let y(q) = -q**3 - 10*q**2 + 6. Let c be y(-11). Suppose -l - 4*f + 127 = 0, -l + 0*f + f + c = 0. Is l a composite number?
False
Suppose 9223 = -18*q + 35125. Is q composite?
False
Suppose 6*l = -8 + 8. Suppose -9*y + 8*y + 527 = l. Is y prime?
False
Let u be (-1)/(-2*2/(-8)*-2). Is (2/((-2)/u))/((-4)/636) a composite number?
True
Let m be 4/(-18) - 484716/(-54). Suppose -2*d = 5*k - 11211, -5*k = -k + 4*d - m. Suppose 0*u - u - 3*o + 752 = 0, -3*u - 4*o = -k. Is u composite?
False
Suppose -h = x + 937 - 10978, x = 4. Is h prime?
True
Suppose -6*c = 3*c - 13716. Suppose 0 = -9*v + 3*v + c. Is v a composite number?
True
Let d = 3 + -2. Suppose -v - 4*v + u = -11, u - d = v. Suppose -1475 = -v*x - 2*x - 2*n, -1162 = -4*x + 2*n. Is x prime?
True
Suppose x + x = i + 2005, 5*i - 5 = 0. Let q = 1404 - x. Is q a prime number?
True
Suppose -m - 2*m = 3132. Suppose -4*i + 8975 = i. Let l = m + i. Is l prime?
True
Suppose 6*s = -2*s + 1328. Let x = s + 148. Is x prime?
False
Let o(s) = -95*s**2 - 25*s + 8. Let t be o(-12). Is t/(-10) + 1/(-5) a prime number?
False
Suppose 339 = -2*t + 3*c - 6*c, 0 = -4*t - 3*c - 681. Let a = -104 - t. Let o = a + 30. Is o composite?
False
Suppose 0 = 3*n - 5*p - 117917, 82*n = 85*n - 4*p - 117919. Is n composite?
True
Let q(f) = f**3 - 10*f**2 + 13*f - 10. Let a be (-7)/(-28) - 70/(-8). Let i be q(a). Let z = i - -83. Is z composite?
False
Suppose 2*d + 1 - 7 = 0. Suppose -d*j - 2*j + 1005 = 0. Is j composite?
True
Let k(o) = 2*o**2 - 29*o - 230. Is k(-11) prime?
True
Let c = -13 - -14. Suppose c = 3*z + 10. Is -59*(-25)/((-15)/z) a prime number?
False
Is ((-14)/(-28))/(3/11538) prime?
False
Let m(j) be the first derivative of 7*j**3/3 + 2*j**2 + 18. Let y = 2 - 5. Is m(y) a prime number?
False
Let h = 77523 - 37240. Is h a prime number?
True
Let o be 5 - (-16)/(-9) - (-2)/(-9). Suppose -4*c = -2*g - 26, c = o*c + 5*g - 19. Is c a composite number?
False
Suppose 58513 = 10*t - 16667. Suppose 8*o = 2*o + t. Is o a prime number?
False
Let v(l) be the first derivative of l**4/4 + l**3 - l**2/2 + l - 2. Let h be v(-3). Is 209 + 5 + -3 + h a composite number?
True
Let i = -5 + 5. Suppose 0 - 5 = 5*c, i = l + 4*c - 76. Suppose 5*x - 4*x - 3*o = 27, 0 = -4*x - 2*o + l. Is x a composite number?
True
Suppose -4*k + 44 = -3*y, -2*k + 29 = -3*y - k. Let o be 1/((-28)/y + -3). Suppose 374 + 56 = o*f. Is f prime?
False
Let o = 7979 + 8808. Is o prime?
True
Suppose 9 = -3*a, 4*g - 189 = -2*a + 329. Let y be (-2)/(-6) + (-22)/(-6). Suppose -3*f - 4*l + 361 = 0, -2*f + g = -f + y*l. Is f composite?
True
Suppose -23*k + 4932 = -7649. Is k composite?
False
Let q(v) = -3*v + 19. Let i be q(7). Is (-23670)/(-27)*(i - 14/(-4)) prime?
False
Let i = -370 - -1164. Suppose -2*l + 441 = 3*q, -4*q + 3*l + i = 223. Is q a composite number?
True
Let w(y) = 102*y**2 + 23*y + 33. Is w(-8) prime?
False
Let q be 40/16 - 6/(-4). Suppose -2 = 2*x, -5*y + q*x = -811 + 82. Is y a prime number?
False
Suppose 2*y - 3*y = -3*c + 232, 0 = -3*c - 4*y + 242. Suppose -l + 3*l - c = 0. Is l composite?
True
Suppose -5*x - 28007 = -4*w, 4*w - 9469 = -2*x + 18545. Is w composite?
True
Let j(f) = -507*f - 68. Is j(-27) a prime number?
False
Let m be (69*32)/(6/4). Suppose -10*q = m - 5362. Is q composite?
False
Let r be (20/8*8)/((-4)/(-298)). Suppose -3*v + 13*v - r = 0. Is v a prime number?
True
Suppose 6*f = 11*f - 435155. Is f prime?
False
Let b(v) = 2*v**2 - 7*v + 38. Let z(m) = -2*m**2 - 2*m + 11. Let x be z(3). Is b(x) a prime number?
True
Let z = -201 + 411. Suppose z = 5*m + 5*v, 5*m = -0*v - 2*v + 213. Is m a prime number?
True
Suppose -5*w - 13925 = -3*x, 0*x - 4639 = -x + w. Let y = x + -2738. Is y prime?
False
Let z be 6/(-1*(-2)/13). Let y = 12 + z. Is y composite?
True
Let m(g) = g**2 + 6*g - 20. Let a be m(-10). Suppose a + 1 = 7*f. Suppose f*r - 2*r = 203. Is r prime?
False
Let f(u) = -11*u - 16. Let w = 7 - 4. Let g be 380/(-30) + (-1)/w. Is f(g) a prime number?
True
Let r be (-6)/(-4) - 25/(-10). Is ((-4052)/(-12) + -1)*6/r a prime number?
False
Let n = 10 - 8. Suppose -2*q + 8 = 0, -n*h + 4*q - 22 + 0 = 0. Is 2/h - 1614/(-18) a prime number?
True
Let i(p) = 33*p**2. Let u be i(-1). Suppose 89 = -2*z + u. Let w = z - -115. Is w composite?
True
Let m = -19 + 24. Suppose -20 = -m*n - 5*u, 15 = 3*n - 4*u - 4. Suppose -n*o + 477 = -328. Is o a composite number?
True
Suppose 0 = -a + 2*a. Suppose 15 = 3*x - a*x. Suppose x*s - 5*q - 1291 = -q, 3*s - 775 = 2*q. Is s composite?
True
Suppose -12 = 4*g, 3*g + 0 = -4*q + 3. Is 111/q + (2 - 0) prime?
False
Let x(w) = -2*w**3 - 6*w**2 + 4*w. Let p be x(-8). Suppose -f + p = s, 0*s + 2*s = -5*f + 1231. Suppose -3039 = -5*y + 4*u, -y = -0*y - 2*u - s. Is y composite?
True
Suppose 0 = -3*d + 3086 + 1471. Suppose -a = 6*a - d. Is a a composite number?
True
Let h be 2/((-6)/(-7))*-18. Is (-7)/(-3) + -2 - 88396/h a composite number?
True
Suppose 2*w = 5*i - 2*w - 27, -i + 4*w = -15. Let x be (-14 - -15)/(2/6). Suppose i*t - 9 = 0, -x*d - 6*t + 1185 = -2*t. Is d prime?
False
Let a = 270 + -109. Let p = -28 + a. Suppose 2*w = p + 121. Is w composite?
False
Suppose d - 3581 = 8709. Suppose j + 1 = 0, d = 5*z + 6*j - j. Is z a composite number?
False
Let s = 17 + -14. Let n(l) = -85*l**2 + 4. Let j(h) = -85*h**2 + 5. Let a(k) = 2*j(k) - 3*n(k). Is a(s) a composite number?
True
Suppose -2*v = 2*h + 8, 5*v + 0*v + 3*h = -10. Let p(b) = 57*b - 2. Is p(v) prime?
False
Let k = 34 + -34. Suppose 0 = i + 3*v - v - 395, -i - 5*v + 392 = k. Is i composite?
False
Let y = 645 - 1104. Let i = 938 + y. Suppose 0*g + 3*g + 2*p = i, -5*g - 2*p = -793. Is g composite?
False
Let h = 12494 + -8647. Is h a composite number?
False
Is -1 - 3 - 16/(256/(-1290192)) composite?
True
Let f be 6/((-17733)/(-79434) + 6/(-27)). Suppose -36*q + 32*q + f = 0. Is q a prime number?
True
Let l(i) = 187*i**2 - 82*i + 7. Is l(10) composite?
True
Let o(v) be the second derivative of -185*v**3/6 + 45*v**2/2 + 8*v. Is o(-10) prime?
False
Suppose -v + 14715 = -2*t, -9*t = 5*v - 6*t - 73562. Is v prime?
True
Suppose 20*f + 44973 - 215593 = 0. Is f a composite number?
True
Let w = -2184 - -8537. Is w prime?
True
Let v = -648 + 1315. Is v a prime number?
False
Let i be -1 + -124 + 12 + -9. Let h = -25 - i. Is h a prime number?
True
Suppose 2*w - 2198 = 1424. Is w composite?
False
Suppose -5*q + 48315 = 3*s + 9430, 5*s = 0. Suppose 5*t - 5*r = 9230, -4*t - r - 388 = -q. Is t a prime number?
True
Suppose 0 = -2*o + 49 - 7. Let u = o + -21. Suppose u = -h + 574 - 37. Is h a composite number?
True
Suppose 260 = 2*z - 3*f, 5*f - 7*f - 131 = -z. Is z prime?
True
Is (-6)/(-24)*-4*-18787 a composite number?
False
Let w(l) be the first derivative of 323*l**2/2 + l - 4. Is w(2) prime?
True
Let j(r) = -r - 28. Let x be j(-12). Is 4/x - (-7668)/16 a composite number?
False
Let z(k) = k**3 - k**2 - k - 6. Let d = -18 + 13. Let j(l) = l**3 + 5*l**2 - 2*l - 5. Let w be j(d). Is z(w) composite?
False
Let z = -8856 + 20401. Is z a composite number?
True
Is (-2)/((-8)/1492) + 4 a prime number?
False
Let i = 12 - 10. Suppose 0*a = -2*n + 2*a + i, -5*a = 5*n - 15. Suppose -n*y = z + 1 - 11, -4*y - 30 = -3*z. Is z a composite number?
True
Is 1088 - (-14)/28*6 prime?
True
Let x = -127 - -119. Is (-8191)/(-5) + x/(-10) a composite number?
True
Is (0 + -1 - 1/1) + 17339 composite?
True
Let c(k) = 8*k - 1. Let f be c(-1). Let z = -7 - f. Is z/(-4) - (-231)/2 a prime number?
False
Let p be 1/(2/(-6))*(-50)/30. Suppose p*z - 670 + 225 = 0. Is z prime?
True
Suppose -14173 + 48068 = 5*d. Is d prime?
True
Let q = 12 + -12. Let x be (-13)/3*-3 - q. Suppose -x = m - 2*m. Is m prime?
True
Let x be (2/(-4))/(1*2/(-676964)). Suppose 9*a = x + 22828. Is a prime?
True
Let s(m) = -2498*m - 13. Is s(-3) prime?
True
Let u be (-42)/9*714/4. Let k =