et m(j) = j**3 - 14*j**2 + 25*j + 20. Let l be m(11). Let k = -106 - l. Is (-5276)/(-18) - k/(-342) prime?
True
Let b(y) = -5*y**3 - 4*y**2 - 2*y + 6. Let o(a) = -a + 26. Let l be o(23). Let x be (l + -3 + -1)/(1/5). Is b(x) a composite number?
False
Let w be ((-57)/(-9) + 2/(-6))/2. Suppose -2*u = w*u - 13285. Is u a prime number?
True
Suppose 0 = d - 2235 + 93. Let y = 4321 - d. Is y composite?
False
Suppose -15*t = -5*t - 207800. Suppose -9*c = -29*c + t. Is c a composite number?
False
Let r = -4399 - -2902. Let b be (-8)/6*5988/8. Let c = b - r. Is c prime?
True
Let w(v) be the first derivative of -v**4/4 - 11*v**3/3 + 9*v**2/2 + 27*v + 1. Let n(m) = 12*m + 10. Let i be n(-2). Is w(i) prime?
False
Let j(y) = 3*y**2 + 7*y + 21. Let d(s) = -s + 2. Let t be d(9). Let q be j(t). Suppose -q = -2*v + 303. Is v prime?
True
Let j(x) = x**3 + 4*x**2 + 5*x + 50. Let i be j(-5). Suppose 36744 = 2*m - 2*d, -4*m + 2*d + 86032 - 12554 = i. Is m a prime number?
True
Let l be -3 + (-4)/1 + 9*3. Let r be l*((-3)/(-12) + 43/4). Let f = 511 + r. Is f prime?
False
Let a = 10118 + 13749. Is a a prime number?
False
Let d = -58189 - -124706. Is d a prime number?
False
Suppose -8788783 = 39*z + 39*z - 101*z. Is z prime?
False
Let g(i) = -183*i - 1492. Let q be g(-10). Suppose -4*x + 8 = 0, 3 = 4*s - x + 5. Suppose -4*w - 8*c + 345 = -3*c, -4*w + 2*c + q = s. Is w a composite number?
True
Let y = -69179 + 46464. Let z = y + 42492. Is z a composite number?
False
Let s be 6 + (-3 - (-4 + 2)). Let u be 4/s*2540/8. Suppose -i = 3*i - 3*o - 523, -2*i = -4*o - u. Is i a prime number?
False
Let p(v) = -9*v**3 + 3*v**2 + 10*v + 1. Let t(h) = -h - 15. Let r be t(0). Let g be (1 + 10/(-15))/(1/r). Is p(g) composite?
False
Suppose -7*d = 3*w - 4*d - 12, 4 = 4*d. Suppose -w*t = t. Suppose t = -5*m - 0*m + 815. Is m a composite number?
False
Suppose 2*r - 64 = -56. Suppose -5*j - r*a = -20525, 2*j - 8193 = -16*a + 11*a. Is j prime?
False
Let v = 14893 + -10263. Suppose -50*b + 49*b + 3*q = -v, 5*q + 23120 = 5*b. Is b a composite number?
False
Suppose -2*a + 716 = -5*u, 0 = -4*u + 5*a + 131 - 697. Is (-57715)/(-6) - (-24)/u composite?
False
Is 4/4*((-9)/21 + 452164/14) a composite number?
False
Suppose -2466841 = 10*l + 112769. Is (l/165)/((-2)/10) composite?
False
Let t = 266 - 231. Let h = 174 - t. Is h a composite number?
False
Let x(j) be the second derivative of 91*j**4/12 + j**3/2 - 7*j**2/2 - 13*j. Let b be x(-4). Suppose 6*l - 9*l = -b. Is l a composite number?
False
Let f(w) = 26*w**2 + 69*w + 757. Is f(-76) a composite number?
True
Let z(x) = 45*x**2 - 40*x + 34. Suppose 78 - 40 = -2*l. Is z(l) a prime number?
False
Suppose 2*x - 4*x = 2. Let h be 1*521 - (-6 + x + 9). Let y = h - 5. Is y prime?
False
Let c be (-25)/10*1500/(-2). Suppose -4*f + 2005 + c = 0. Suppose -3*p = -p - f. Is p prime?
False
Suppose 0 = 5*h - w - 1710, 6*h = 3*h + 2*w + 1026. Suppose 351*d - h*d = 11223. Is d a prime number?
False
Suppose -4*t - 105 = -113. Suppose 3*y = -2*u + 3161, y = -3*u + t*y + 4758. Is u a prime number?
False
Is 61213 + (3 - 2) - (-2 - 40/(-8)) a prime number?
True
Suppose -o + 60975 = 4*o. Let b be (-6)/(-4) + o/30. Suppose 10*x + b = 12518. Is x composite?
True
Suppose 2*z + 19 = 5*r + 7, 4*r = 5*z + 47. Let x(o) be the first derivative of -o**4/4 - 7*o**3/3 + 11*o**2/2 - 16*o - 1. Is x(z) a prime number?
True
Let j(w) = -635*w - 18 - 34 - 28 + 26. Is j(-11) prime?
False
Suppose -31*p + 33*p = 30328. Suppose -5*c + 0*c + 7570 = 2*f, -4*f - 4*c + p = 0. Suppose -h = -4*g + 3*h + 5056, -f = -3*g + 4*h. Is g composite?
True
Suppose -3*y - 14808576 = 173*y - 277793584. Is y composite?
True
Suppose -229*r + 230*r + 6 = 0. Suppose -5*u + 7 = -8. Is (-4)/r + 26392/12 + u composite?
False
Suppose -4*k - 3*k = -2828. Suppose -7*m - 3270 = -9*m. Suppose m + k = i. Is i composite?
False
Suppose 31 = -i + 3*i + 5*z, i - 26 = z. Suppose -3*a - 8 + i = 0. Suppose -15 = 3*q, -a*q + 6*q - 809 = -2*b. Is b a prime number?
False
Let i(a) = 79*a**2 + 41*a**2 + 59*a**2 - 20*a - 41 - 13*a**2 - 29*a**2. Is i(-8) a composite number?
False
Suppose 6029689 = 12*h + 833293. Is h prime?
True
Suppose 5*c - 2428 - 3417 = 0. Let l = c + -546. Is l composite?
True
Let l = -13 + 23. Let v be (10449 - 3)/3 - -1*3. Suppose -15*m + v = -l*m. Is m prime?
False
Let n = 18135 + 12442. Is n a prime number?
True
Let r = 4 - 1. Let p(c) = 8 + 83*c**2 + 24*c**2 - c - 9*c - 4*c + 10*c. Is p(r) composite?
True
Let n be (-3)/5 - (1 + (-138)/30). Suppose -4*c = -4*g, -8*c + n*c + g = -8. Suppose -d + 3*a + 1352 = 0, 3*a = -5*d + c*a + 6712. Is d prime?
False
Let g(b) = 2*b**2 - 3*b - 3. Let n be g(-3). Let i be ((-6)/n)/(-1 - (-22)/24). Suppose -i*c = -544 - 209. Is c a prime number?
True
Suppose -231 = 4*x - 207, x - 768141 = -3*j. Is j a prime number?
True
Let w be (-12)/(-78) + (-57324)/(-39). Let v = w + -569. Let d = v + 2254. Is d a prime number?
False
Is ((-104)/(-24) + -4)/((-3)/(-2748051)) a prime number?
True
Suppose 11*a - 17*a + 39156 = 0. Suppose a = 4*f + y, -2*f + 5*y + 3777 - 525 = 0. Is f composite?
True
Suppose 0 = p - 3*u - 113, -17*u + 21*u + 222 = 2*p. Is ((29 - 35) + 269*p)*1 a prime number?
False
Let t(k) = 68 - 32*k - 4*k - 36*k + 5*k. Suppose 0*q + q = -7. Is t(q) composite?
True
Suppose -4*v + 23*u = 18*u + 47276, 4*u = -v - 11840. Let o = -6387 - v. Is o a composite number?
False
Let t(l) be the first derivative of -l**3/3 + 25*l**2 - 139*l + 252. Is t(33) composite?
True
Let o = -15 - 5. Let b(n) = -202*n - 10. Let h be b(o). Let r = h - -7339. Is r a prime number?
True
Let g = -45 + 124. Let w = g - -67. Is w prime?
False
Let g = -319 - -319. Suppose -3*n - 4*p + 10015 = g, -2*n + 6684 = -p - 0*p. Is n a prime number?
False
Let z = -10154 + 26333. Let v = z - 11173. Is v composite?
True
Let t(d) = 51*d**3 + 34*d**2 - 33*d + 199. Is t(16) a composite number?
False
Let o be 36/7*(-770)/(-165). Suppose -145211 = -o*j + 97405. Is j composite?
True
Let v be 12*(0 + (-3)/(-12)). Suppose -v*c = -6722 + 1829. Is c prime?
False
Let w(x) = 3390*x**2 + 7*x - 14. Let c be w(2). Suppose -2*k + 3386 = 4*n - 3408, -4*k + c = n. Is k a composite number?
False
Let i(o) = 95*o**2 + 37*o + 247. Is i(55) prime?
True
Let c = -596 + 600. Suppose c*q - 4*l - 356 = 180, -3*q + 4*l = -405. Is q prime?
True
Let d = -123 + 169. Suppose 5*i = 2*u - 8487, 5*i = 41 - d. Is u a composite number?
False
Let p(i) = 3*i + 4*i + 5 - i**3 + 0*i**2 - 12*i**2. Suppose m + m + 47 = -3*y, -4*m + 23 = -3*y. Is p(y) a composite number?
False
Is (402199*24/(-1344))/(-1 + 14/16) composite?
False
Suppose 4*s + 0*z - 4*z = 35620, 3*s = 4*z + 26717. Suppose -s = -12*h - 17*h. Is h a composite number?
False
Suppose 19*j - 14*j + 4*k = 67817, -13555 = -j + 2*k. Is j a composite number?
True
Is (0/2)/((-33)/(-33)) - -56009 a prime number?
True
Suppose -4*y + 4*i + 1092 = 0, 4*y - 39*i - 1107 = -38*i. Is y prime?
False
Suppose 5*k = -2*m + 428401, 101 - 116 = -5*m. Is k composite?
True
Let x = 24676 + -15510. Is x a prime number?
False
Let g(r) = -9781*r + 1322. Is g(-51) a prime number?
True
Let k(s) = s + 32. Let y be k(-24). Suppose -5*u + 9*u = -y. Is u/(-1) + 3 + 158 prime?
True
Suppose 16*p + 12 = 22*p. Let g be (-716)/7 + p/7. Let l = g - -259. Is l a prime number?
True
Let c(q) = -67*q**3 + 23*q**2 - 123*q + 57. Is c(-20) composite?
True
Let q = 21351 + 66600. Suppose 31*r + 7196 = q. Is r a prime number?
False
Let t(m) = 73*m - 24. Let d be t(16). Suppose -w + d = -5*j + 36, -3*w + 3372 = j. Is w a composite number?
False
Let x(y) = -y**3 - 14*y**2 - 25*y - 12. Let i be x(-12). Suppose i = 7*s + 33 - 54. Is s composite?
False
Let k(y) = -12*y + 45. Let s be k(6). Let x be 18/(-24) - s/4. Suppose -2652 = -x*a - 234. Is a prime?
False
Suppose -4*c - 11 = -31. Suppose -1380 = -4*y + 4*d - 0*d, -2*y = -c*d - 702. Is y prime?
False
Let u(v) = 132*v**2 - 5*v - 3. Let w be u(-4). Suppose -5*k + 4*d + w = 0, 0*d = -5*k - 2*d + 2153. Suppose k = 6*z - 777. Is z a prime number?
False
Suppose 9*p - 4*p - 95 = 0. Suppose -3*d - 2349 = -5*s + 1171, 5*s - 3525 = 4*d. Suppose -p*m + 12728 = s. Is m prime?
False
Let d = 283432 - -443895. Is d composite?
False
Let m = 89997 + 1394. Is m prime?
False
Let k = 8124 - -2785. Is k prime?
True
S