304 + j. Is t prime?
True
Let l = -59611 + 85904. Is l a prime number?
True
Let f(h) = h + 0*h - 9*h + 5*h - 2*h**2. Let p be f(0). Suppose p = 3*r - 144 - 1095. Is r prime?
False
Let m = 154394 + -91959. Is m prime?
False
Suppose 0 = -299*x + 323*x - 9062520. Is x prime?
False
Suppose -3*b - 2*c = -13356, b + 3*c = -3*b + 17809. Let x = b - 3133. Let i = x + 418. Is i a composite number?
True
Let m = -1067 - -1740. Suppose -4*s + 0*s - 464 = 0. Let k = s + m. Is k prime?
True
Let s(f) = f**3 + 14*f**2 - 15*f + 5. Let l be s(-15). Let y(k) = k**2 + 161 + l*k + 0*k**2 - k. Is y(0) a prime number?
False
Let u be ((-45)/15)/(6/(-8)). Suppose -32 = -4*q + u*w, 0*w - 20 = 5*w. Suppose k - 4632 = -2*k - 3*l, 3*k - 4633 = -q*l. Is k a prime number?
True
Suppose 382*v - 377*v = -5*p + 156350, 5*p = 4*v - 125107. Is v a composite number?
True
Suppose -64 = -18*m + 26. Let z = 6 - m. Is z/3 + 0 + (-3678)/(-9) prime?
True
Suppose 0*s - 295449 = -5*i + s, -413655 = -7*i - 3*s. Is i prime?
False
Suppose -4*r = -4*u + 62768, 62773 = 4*u + 3*r - 8*r. Suppose u = -10*z + 83897. Is z a composite number?
True
Let d = 39 + -70. Let p = d + 2791. Suppose -4*m - 5*v + 1004 + 1780 = 0, -4*m + v = -p. Is m a composite number?
False
Suppose 0 = -3*q - 12, -26*p - 5*q = -28*p + 290526. Is p composite?
False
Let h(c) = 91*c**2 + 4*c - 26. Let q be h(10). Let n = q - 6193. Is n a composite number?
True
Let f(t) = 122*t + 1. Suppose -7*q - 6*q = -208. Let w be f(q). Suppose 9*l - 7794 = -w. Is l a composite number?
True
Suppose -49*f - 95883812 - 41824092 = -177*f. Is f a composite number?
False
Let a(i) = -i**2 + 21*i - 71. Let c be a(17). Let r(w) = -730*w**3 + 11*w**2 + 27*w + 7. Is r(c) a prime number?
False
Let o(b) = 19*b**2 + 3*b - 6. Let y be o(3). Let k = 87 - y. Let n = 448 - k. Is n a prime number?
False
Suppose 0 = -3*u + 6*u - 21. Let m(r) = r - 1. Let c(t) = -4*t - 31. Let w(n) = -c(n) - m(n). Is w(u) composite?
False
Suppose 2*m = -2*m - 2*v + 19478, v = 3*m - 14616. Let s = m - 1844. Is s prime?
False
Let c(l) = -l**3 - 10*l**2 - 5*l + 7. Suppose -5*q + 6*q + 10 = 0. Let n be c(q). Let a = n - -166. Is a a composite number?
False
Suppose 0 = -5*a - 5*k + 58365, -3*a + 5*k + 8007 = -27044. Is a prime?
True
Is 9*(-16)/(-936)*78/24*1722142 a prime number?
False
Let x(n) = 15*n**2 - 9*n + 29 - 16*n**2 - 10. Let j be x(-8). Suppose -58 - j = -w. Is w composite?
True
Suppose 21350609 = 25*y - 34336766. Is y composite?
True
Let a(f) = -f**3 + f**2 - f + 397. Suppose 15 = -2*n - 5*p, 9 = -4*p + p. Let s be ((3 - 1) + n - 2)*1. Is a(s) a prime number?
True
Suppose -o + 324 - 322 = 0. Suppose 4*r - 16 = 0, 7*j - o*r = 11*j - 7804. Is j prime?
True
Is (-3)/(-21) + -1 + -224823*(-16)/336 composite?
True
Suppose -5*h + 6 = -2*a, -h + 3*a - 2 = a. Suppose d + 2*d = -h*n + 25, 2*d - 3*n = -5. Is (-17542)/(-70) + 2/d a composite number?
False
Suppose 15*g = 29*g - 1244684. Suppose -5*h = 3*f - g, 0 = h + 9*f - 6*f - 17774. Is h composite?
False
Let u = -288942 + 467071. Is u a composite number?
True
Suppose -4*l = 0, -3*f + 4*l + 13242 = -0*f. Suppose -2*v + 4*v = f. Let s = v - -2364. Is s a prime number?
False
Let k = 2936 + -6068. Let y = k - -4391. Is y a composite number?
False
Suppose -121*l - 445604 = -17930709. Is l prime?
False
Suppose -2983 = -8*r + 5*r + s, -s = 2*r - 1987. Suppose 0 = -3*n + r + 1109. Is n prime?
True
Is ((-2884)/(-21))/(84/25011) a prime number?
False
Let q = -176196 + 285037. Is q a prime number?
False
Suppose 15*x = 36563 - 153728. Let k = x - -12358. Is k a prime number?
True
Let q = 1830 - 912. Suppose -2*x = 4*o + 2352, -5*o - x = -0*x + 2943. Let r = q + o. Is r composite?
True
Suppose 2*z - 767273 = 26*c - 29*c, -4*c = 4*z - 1534560. Is z composite?
True
Suppose 0 = -4*g - g + 10, -38 = 4*b - 5*g. Is (3 - (-5116)/20) + b/(-35) a prime number?
False
Let y(c) = 159097*c + 2328. Is y(5) composite?
False
Let f be (0 - 11/(-4))/(11/176). Let t(n) = 10 - 3 - f*n - 43*n. Is t(-2) a prime number?
True
Suppose -8*r + 27297 = -6*r + 5*k, -3*r = 4*k - 40935. Let c = 21382 - r. Is c a composite number?
False
Suppose 0 = 44*c - 3165956 - 1151456. Is c composite?
False
Suppose -4*o + 3548 = -8*o. Let n = 2305 + o. Is n prime?
False
Let j = -7410 - -12271. Is j prime?
True
Suppose 2*s - 4679 = -4*f + 5*s, -5*f + 2*s + 5840 = 0. Suppose 0 = -6*q + 8*q - f. Is q a prime number?
False
Let l = 81995 - 47796. Is l composite?
True
Suppose 2*n - 174733 = -m, -70 = -n - 64. Is m prime?
True
Let t(l) = -509107*l + 3771. Is t(-2) composite?
True
Suppose -416 = -w + 48. Let u(r) = -9*r**2 + 11*r + 3. Let p be u(5). Let t = w - p. Is t a prime number?
True
Let d(l) be the second derivative of -l**3/6 - 3*l**2/2 - 11*l. Let m be d(-8). Suppose -m*t = -218 - 617. Is t composite?
False
Let u be 33*3 + -7 + 4. Let h be 8/(-14) + u/21. Suppose y = c - 69 - 143, -h*c - 4*y + 888 = 0. Is c a composite number?
True
Is 119291 + -18 + 31 + -13 composite?
False
Let x = -4871 + 2768. Let d be ((-7)/(-7))/((-1)/x). Suppose -d = -10*w - 273. Is w composite?
True
Let n be ((-152793)/18)/((-2)/4). Let h = n - 7454. Is h prime?
False
Let q(h) = -h**3 + 13*h**2 - 12*h. Let v be q(12). Suppose 11*x - 17*x + 12 = v. Suppose 4*a + x*k - 128 = 6*k, -2*k + 158 = 4*a. Is a composite?
False
Suppose -26*x + 18 = -20*x. Suppose 0 = -3*k - 0*p - x*p + 11094, 4*k - 14793 = -5*p. Is k a composite number?
False
Suppose 5*n = -4*t + 155972, 42*n = 43*n. Is t composite?
False
Let g(c) = 862*c**2 - 3*c - 15. Let i = -243 + 247. Is g(i) a composite number?
True
Suppose 467*w - 469*w = 4*a - 4376, 2*a - 2170 = 2*w. Let l be 0/(-1) + -1 - 711. Let f = l + a. Is f a composite number?
False
Let w(o) = 52593*o - 4321. Is w(6) prime?
True
Let i = 37 - 34. Suppose -20 = i*z - 0*q + q, 5 = -2*z + q. Is z/(-10)*2*85 composite?
True
Suppose 5754427 = 12*p + 181663. Is p a prime number?
False
Let u(r) be the third derivative of 8*r**5 - r**4/4 + 11*r**3/6 - r**2 - 8. Is u(2) a prime number?
False
Suppose 171231 = 21*v - 955440. Is v a prime number?
False
Suppose 55 = -4*a - 13. Let j = 22 + a. Let g = 82 - j. Is g composite?
True
Let l be -1 + 20 + 11/(77/28). Suppose -l*g + 6439 = -22*g. Is g composite?
True
Let i(u) = -u**2 + 4*u + 3. Let r be i(-7). Let t = 72 + r. Is -4 + 2 - (t + -1403) composite?
True
Let v = 82669 + -17316. Is v a composite number?
False
Let n(f) = 18*f**2 - 2*f - 31. Let g be n(-6). Let o = g - -5616. Is o a prime number?
False
Let h be 4/6 + (-16)/(-3). Let p be 1 - ((-4)/(-3))/(h/9). Is (-223)/(1*p) - (-18 - -18) a composite number?
False
Let k = 90 - 88. Suppose 0 = k*m - 10, 5357 = -3*q + 7*q - 3*m. Is q composite?
True
Let x(s) = 149*s - 73. Let d(f) = -f**3 + 23*f**2 - 23*f + 40. Let n be d(22). Is x(n) a prime number?
True
Let b(z) = 1870*z - 31. Is b(14) a composite number?
True
Suppose 22 = -2*s - p + 2, -37 = 3*s + 5*p. Let w(o) = -o - 9. Let a be w(s). Is (a/2 + 79)/((-1)/(-7)) a prime number?
False
Suppose -6*i + 288529 = -190247. Suppose -17*p - 26025 = -i. Is p composite?
False
Suppose 5*x - 6*x - 4 = 0. Let j be 0*x*4/(-32). Suppose -3*p - 87 = 2*b - 576, -4*b - 4*p + 984 = j. Is b composite?
True
Suppose 0 = 2*j - 82 - 56. Let w = j + 560. Is w a prime number?
False
Let m be 2 + 0/(8/4). Let d be (-8)/2*25 + m. Let l = d + 851. Is l composite?
True
Let s(x) = -x**2 + 7*x - 4. Let j(r) = -r**3 + 5*r**2 - r - 4. Let y be j(2). Let d be s(y). Suppose 4*z + d*z = 2406. Is z prime?
True
Let a be (-3)/(-12) - 198/24. Let g be (20/a + 3)*4314. Let z = 3308 - g. Is z a composite number?
False
Let z be (-6)/(-15)*-1 + 12/5. Let l be 1*1124*(-1)/z. Let y = -399 - l. Is y composite?
False
Suppose 2*n = 4*p - 2*p - 5128, 4*n = p - 2573. Let w = p - -1704. Is w a composite number?
True
Let p(o) = o**3 + 4*o**2 - 3*o - 3. Let z be p(-4). Let y(l) = l**3 + 2*l**2 + 4*l - 4. Let u be y(z). Suppose 0 = 5*c + u - 3168. Is c prime?
True
Suppose 94*f + 29189 = 3*d + 90*f, -5*f = 3*d - 29198. Is d composite?
True
Suppose -3*n - 4*l + 148861 = -288008, -3*n + 436833 = -2*l. Is n composite?
True
Let t(o) = -4*o - 9. Let q be t(-5). Suppose -9*v + q*v - 6 = 0. Suppose 332 = 7*k - v*k. Is k composite?
False
Is (-400167)/(-18) + (-10)/80*20 composite?
False
Let d(r) = 6201*r**2 + 83*r +