se n + 5*f - 17097 = 0, 0 = -4*n + 18*f - 13*f + k. Is n prime?
True
Suppose 29*x = 54*x - 148825. Is x prime?
True
Let r = 10 - 22. Let m be 4/(r/(-2811)) + 0. Suppose -1925 = -5*i - 3*z - 367, -3*i + m = 4*z. Is i composite?
False
Suppose 3*p = 4*y + 10386, 2*p = -5*y + 8619 - 1695. Suppose -9*h + 11*h - p = 0. Is h a prime number?
False
Let g(b) = -b**2 + 10*b - 1. Let a be g(9). Suppose a = 2*q - 8. Suppose 0 = -q*j + 19*j - 10307. Is j a composite number?
False
Suppose -i = -4*i + j + 66699, -4*i = j - 88932. Suppose -3*s + 9918 = -i. Let d = s - 3836. Is d a composite number?
True
Let y = 126943 - 70326. Is y a composite number?
True
Let l(y) = 678*y - 19. Let t(z) = z**3 + 6*z**2 + 6. Let n be t(-6). Is l(n) a composite number?
False
Is 24/156*1 - (-4871735)/13 a composite number?
True
Suppose -2*q - h + 70 = -q, -4*q + 3*h + 252 = 0. Let u be 275/q - (-3)/(-18). Suppose -3*v + 70 = -b - 427, 0 = -4*b + u. Is v composite?
True
Is -60 + 30808 - (-27 - -6) a composite number?
True
Let u(k) = -710*k - 122. Let p be u(27). Let a = p + 27351. Is a prime?
True
Suppose -5*p = 25*p - 2447430. Is p composite?
True
Suppose -2*o + 112916 = r, 3*o + 169374 = 6*o - 4*r. Is (-100)/(-225) + o/18 prime?
True
Suppose -u = u - 121654 - 201228. Is u a composite number?
True
Let n(s) = s - 1. Let w be n(1). Suppose 4*h + 432 - 16004 = w. Is h a composite number?
True
Let c(w) = 22*w - 5 - 20 + 24*w. Is c(6) prime?
True
Let y be ((-6)/(-4))/(-3)*8/1. Let p be -6 - -19865 - (-2 - y). Suppose 46*t - p = 43*t. Is t a composite number?
False
Let d(t) = 48*t + 2. Let y be d(12). Suppose -583*u + 5755 = -y*u. Is u a prime number?
True
Suppose 2*p - 319317 = -5*s + 508510, 0 = -4*p + s + 1655555. Is p a composite number?
True
Suppose 3*a - 40392 = -3*x, -134*x + 132*x - 4*a = -26938. Is x prime?
False
Let r(b) = -8 + 66*b - 408*b + 55 - 358*b. Is r(-13) prime?
False
Let f(v) = -v**3 + 52*v**2 - 74*v + 120. Let d(p) = p + 1. Let m(i) = -d(i) + f(i). Is m(49) a prime number?
False
Suppose 7*g + 2*a = 3*g + 12370, 0 = -5*g + 5*a + 15425. Suppose -g + 258 = -4*n. Let y = 1097 - n. Is y prime?
True
Let b = -56 - -47. Let x(f) = 2*f**2 + 18*f. Let u be x(b). Suppose 4*g = -3*c + 7880, -3*g + g - 5*c + 3954 = u. Is g a prime number?
False
Let f(j) = 14*j - 197 - 206*j - 134*j. Is f(-6) prime?
True
Suppose -13*k - 64*k + 15221591 = 0. Is k a prime number?
True
Suppose 2*q = 5*q + 30. Let c be (-3)/5 + (-16146)/q. Suppose -5*g + c = 2*l, -5*l - g + 1464 = -2525. Is l composite?
False
Suppose 286 = 3*h - h. Let o = h - -255. Suppose -6*k + o = -1204. Is k prime?
False
Let g(s) = -43*s - 23. Let q(j) = 42*j + 22. Let v(l) = -5*g(l) - 6*q(l). Let x be v(-10). Let h = -242 + x. Is h a prime number?
False
Let s(p) be the second derivative of -3757*p**5/10 - p**3/6 - p**2 - 79*p + 1. Is s(-1) a prime number?
False
Let o be 5/(-60) + (-1145814)/(-72). Suppose 4*p = 6490 + o. Is p a composite number?
True
Let l = 16456 + -5097. Is l prime?
False
Suppose -2*s + r = 13, -s - r - 32 = 2*s. Let f(y) be the first derivative of -3*y**4/4 + 8*y**3/3 + y**2 + 16*y - 4020. Is f(s) a prime number?
True
Suppose -3677 = -3*c - j, -2*c + 3*j + 2660 - 194 = 0. Suppose 6*k - 670 = k. Let d = c + k. Is d composite?
False
Let q be (-27)/(-18)*(-28)/(-6). Suppose -17*f + 30980 = -q*f. Is f a composite number?
True
Suppose 2*a + 4*q - 5 - 11 = 0, -33 = -5*a - 3*q. Is (-18401)/(-11) + ((-204)/(-33) - a) a composite number?
True
Let y = -285753 + 566692. Is y prime?
True
Let q = 18765 - 9498. Let m = 17428 - q. Is m prime?
True
Suppose -5*u + 49 = -3*n - 10*u, 4*n = -2*u - 42. Let k(l) = -2491*l + 29. Is k(n) a prime number?
False
Let v be -54*(-4)/(-24)*-3. Let r = 30 - v. Suppose 6*w - 2*w = -l + 403, 4*w = r*l - 1209. Is l a composite number?
True
Let u(w) be the first derivative of -345*w**2 - w + 1. Suppose -11*n - 10 = -6*n. Is u(n) a prime number?
False
Let v(q) = 5*q**3 + 6*q**2 + 9*q - 12. Let x be v(-9). Let y = x + 4985. Is y prime?
True
Suppose t + 16 = -3*y, -4*y = -8*y - 4*t - 32. Is (249777/11)/9 + y/2 prime?
True
Suppose 9 + 6 = 3*q. Let c be (161 + 2)*(-9 + q - -14). Suppose 3*f - 3*r = c + 4052, -5*f = -r - 9474. Is f a prime number?
False
Let h(u) = -10*u**2 + 6*u + 3. Let l be h(-4). Let k = 606 - l. Is k a prime number?
True
Is ((-617349)/6)/((-21)/6) + (-123)/(-287) a prime number?
False
Let k(j) = -13*j**3 + 4*j**2 - 4*j + 1. Let z = 29 + -26. Let i be k(z). Let m = 467 + i. Is m a composite number?
True
Let r(x) = 7*x**3 + 15*x**2 - 5*x + 3. Let m(t) = 3*t**3 + 7*t**2 - 2*t + 2. Let y(c) = -9*m(c) + 4*r(c). Let a be y(4). Suppose a*w - 7600 = -1194. Is w prime?
True
Let r be 0 + 1/(-5) + (-16236)/220. Is r*(-378)/12 - -2 a prime number?
True
Let m be (0 - -4) + 1552 + 2. Let n = 775 - m. Let w = 1580 + n. Is w prime?
True
Let u = -507 - -1342. Let p = u - 200. Let h = 2436 - p. Is h a prime number?
True
Let h = -484718 + 692995. Is h prime?
True
Let q(t) = 4*t**3 + 2*t**2 - 5*t + 4. Let b be q(1). Suppose -21*y + b*y + 7024 = 0. Is y a prime number?
True
Let o(m) = 34*m**3 - 46*m**2 + 70*m + 73. Is o(21) a composite number?
True
Let b(d) = 158*d**2 - 18. Let g be b(-7). Suppose h + g = 5*h. Is h composite?
False
Is 102*5048/12 - 9 a composite number?
False
Suppose 2*x = -1378 - 32048. Let w be (-5 - -1)*(2 - x/18). Let a = w + 6509. Is a a prime number?
False
Let y be (2816 - -1)/(3/20). Is (14/(-1))/2 + y composite?
False
Let j = -2093 - -1091. Let s = 559 - j. Is s prime?
False
Let f(o) = -o**2 - o. Let h(p) = -4*p**2 + 28*p - 23. Let v(z) = -3*f(z) - h(z). Is v(9) composite?
True
Let j = -482242 - -1505973. Is j prime?
True
Let m(g) = -g**3 - 2*g**2 + 8*g - 1. Let r be m(-4). Let l be 2*r/11 + 414/99. Suppose 2*q + 2 = 0, -3711 - 1057 = -l*d + 4*q. Is d a composite number?
True
Let q = -769 + 780. Let a(s) = s - 1. Let t(k) = 367*k - 18. Let l(y) = 3*a(y) + t(y). Is l(q) prime?
True
Let k = -45055 + 187454. Is k composite?
True
Suppose 5*k + 86000 + 90280 = 5*g, -70519 = -2*g + k. Is g composite?
True
Let w(r) = 83*r**3 + 3*r**2 - 4*r + 3. Let z be w(4). Let q be (-9)/(-207) - (-114)/23. Suppose 142 = -q*f + z. Is f composite?
True
Suppose 0 = 5*w + 37702 + 14958. Let k = 23749 + w. Is k prime?
True
Is (278/(-1668))/((-1)/865668) prime?
False
Suppose 19 + 65 = 6*b. Suppose -b*f - i + 163 = -13*f, f + 3*i - 171 = 0. Is f a prime number?
False
Let s = 18178 - -37609. Is s a composite number?
False
Suppose 3*n + 5*i = 29615 + 29043, -5*n = i - 97734. Suppose 7*a - n = -22*a. Is a a composite number?
True
Let y be 32/2 - (-30 + 26). Suppose r - 2*i - 457 = 0, 9*i + y = 4*i. Is r prime?
True
Suppose -2*d - 7*m = -4*m - 52, 4*m - 100 = -4*d. Suppose -17757 = 14*p - d*p. Is p a prime number?
True
Let g be ((-2)/1)/(8 - (-2128)/(-264)). Suppose -71*h + 162298 = -g*h. Is h composite?
False
Let t be 12/5 + 24/(-60). Suppose -1540 = -t*u + 1514. Is u a composite number?
True
Let s be 65/8 + (-5)/40. Suppose -s = -5*q + 37. Let u(n) = 26*n + 17. Is u(q) prime?
True
Suppose 0 = 5*n - 2*o + 8, -4*o = -3*n - 7 + 5. Is (n/(-3))/(26/106899) a prime number?
True
Suppose 0 = 10*o - 18516 - 19274. Is o a composite number?
False
Let n(s) = -21*s**3 - 3*s**2 - 5*s - 3. Let h be -1 + 6 + (-12)/3. Suppose 3*u + h = 2*u - b, 4*u - 3*b + 11 = 0. Is n(u) a composite number?
False
Let k be 53/9 + (-9)/(-81). Is ((-109072)/24)/(k/(-9)) a prime number?
False
Let j be (-51032)/(-9) - (-3)/(27/(-2)). Suppose -m - j = -2*z - 3*m, -4*z = -m - 11330. Is z a composite number?
False
Let j(a) = 53*a + 3. Let i be j(1). Let m(d) = 2 - 3 + i*d - 36*d + 63*d. Is m(4) prime?
True
Suppose 3*h - 7837 = b - 56243, 0 = -4*b - h + 193585. Is b a prime number?
True
Is (-15)/(75/20) + 247341 composite?
False
Let w = -28 + 41. Suppose 2*v - w = 1. Suppose 3*y + s = 2032, -2*y + v*s + 1350 = 3*s. Is y a composite number?
False
Suppose 60 = -3*t - 12*t. Is 12348/7 - 10/(t + 2) a composite number?
True
Suppose -324*s - 3397629 + 12683638 = -9937883. Is s a prime number?
True
Let y = -567 + 5017. Suppose y = 5*j - 4725. Is j prime?
False
Suppose 63 = 4*v + v - 8252. Is v prime?
True
Suppose -2129*m = -2126*m - 225465. Is m a prime number?
False
Let o = 254596 + 277197. Is o prime?
True
Let r = 42 - -86. Suppose -133800 = r