 - 222, -3*u + 326 = -h. Is u a prime number?
True
Is (-4)/(-4)*31311 + -8 prime?
False
Suppose -2*y + 3*t + 9 = y, 4*t - 8 = 0. Suppose -2*u = j - 3, 10 + 5 = y*j + u. Suppose -2*i - 453 = -5*o + 2*i, -2*i + 263 = j*o. Is o composite?
False
Let q be (117/(-52))/((-2)/48). Let r = -33 + q. Is r a prime number?
False
Let j = -15 - -16. Let k be j/((-2)/2120*-4). Suppose 4*h - 627 - k = 0. Is h a composite number?
False
Suppose 2*g - 1273 = -323. Suppose -l - g = -4*l - 2*n, n - 473 = -3*l. Is l prime?
True
Let i = 142 - -639. Is i a composite number?
True
Let f = -7 - -7. Suppose 3*b = -0*b + n - 5, f = -2*n + 10. Suppose i - 3*a - 91 + 3 = b, -173 = -2*i + 5*a. Is i a composite number?
False
Let t(y) = -46*y + 519. Is t(-10) a prime number?
False
Suppose 4*a + 14 = -3*d, -5*d = -a - 3 - 12. Suppose 0 = -g - 5, d = -b - 4*g + 14. Is (0 - -205)*b/80 composite?
True
Let v(c) be the first derivative of 3*c**4/4 + c**3/3 - c**2/2 + 2*c - 4. Suppose 0 = 4*g - 16 + 4. Is v(g) prime?
True
Let j(u) = 296*u**2 - 8*u + 73. Is j(-15) a composite number?
True
Let t(k) = 2*k - 13. Let r be t(9). Suppose r*b = -8 + 3. Is 217 - (b + (1 - 4)) composite?
True
Let a(d) = -2*d**3 + 61*d**2 + 6*d - 119. Is a(26) a prime number?
True
Suppose j - 6 = -2. Suppose -3*q = 2*x - 2*q - 45, -j*x + 5*q + 97 = 0. Suppose 2*o = f + 138 - x, 4*o = -2*f + 242. Is o a prime number?
True
Let g(i) = 98*i + 3. Let a be g(4). Let s = 792 - a. Is s a prime number?
True
Let f be (-14100)/110 - (-4)/22. Let k be f/(-22) - 2/(-11). Is -1*-2*2493/k a prime number?
False
Let h(x) be the second derivative of x**3/6 - 21*x**2/2 - 5*x. Let w be h(0). Is (-1245)/(-21) + 6/w a prime number?
True
Let o(b) = b**3 - 5*b**2 - 7*b + 8. Let k be o(6). Suppose i - 3 = -r, -k*r + 0*r = -5*i + 1. Suppose -293 + 3 = -r*f. Is f composite?
True
Suppose -j = 3*j + 2144. Let q = j + 779. Suppose 0 = -2*z + q + 375. Is z prime?
False
Suppose -2*z + v = -0*v - 729, -3*v + 347 = z. Let s(h) = -836*h - 22. Let a be s(-2). Suppose 5*y - z - 449 = -k, 0 = 2*k - 4*y - a. Is k prime?
True
Is (-28)/(-112) + (-37839)/(-4) + 1 composite?
False
Let z(l) = -69*l - 17. Let p = 55 - 65. Is z(p) a composite number?
False
Suppose -35 = -n + 5*r, -2*r = -4*r - 10. Let o = n - 8. Suppose -5*c + 3*m + 35 = 0, -c - o*m + 30 = c. Is c composite?
True
Let y(i) = 23 - 7 - 8 + 0. Let n(t) = -t + 9. Let b(v) = 6*n(v) - 5*y(v). Is b(-8) composite?
True
Let h(u) = -u**3 - 2*u**2 + 2*u + 1. Let t be (-2)/(-3) - 33/9. Let a be h(t). Suppose -4*d - 359 = -a*b + b, 5*b - 2*d - 603 = 0. Is b prime?
False
Let u(z) = z**2 + 3*z + 3. Let k be u(0). Suppose -k*y = y - 6548. Is y composite?
False
Let d be -2 + 6 + 3*1. Suppose -d*z = -10*z + 1497. Is z a composite number?
False
Suppose -2 = 3*t - 5*b, -4 = -4*t + 2*t + 2*b. Is 43116/18 - 2/t composite?
True
Suppose -9*k = -4429 - 122480. Is k a composite number?
True
Let h(b) = -b**3 + 12*b**2 + 30*b + 28. Let z be h(20). Let t = 1147 - z. Is t composite?
False
Let v = 12147 + -3056. Is v a prime number?
True
Let s(w) be the third derivative of -5*w**4/24 + 7*w**3/6 + w**2. Let j = 460 - 466. Is s(j) a composite number?
False
Let o(g) be the third derivative of 71*g**4/24 - g**3/6 + 4*g**2. Suppose 5*h - 4*a = 26, 0 = -5*h + a - 4*a - 2. Is o(h) prime?
False
Suppose r + 4*v + 1166 = v, -2*v - 5765 = 5*r. Is 3 - (r - 2) - (-3 - -2) a prime number?
False
Is 22643/11 - 18/(-33) composite?
True
Let g be -939*(0 + 5/(-15)). Suppose -2*z = -189 - g. Is z composite?
False
Let g = 20 - 21. Let r = -3 + g. Is 2/r + (-1020)/(-8) composite?
False
Let h(j) = -j**3 + 19*j**2 - 45*j + 245. Let n be h(18). Suppose 3*a + 4*f = -472, f + 4*f = a + 189. Let d = a - n. Is d composite?
True
Let c(q) = 5*q - 5. Let g(l) = 3 + 2*l - l - 1. Let v be g(2). Is c(v) composite?
True
Let j(g) = -g**2 - g + 2. Let h be j(-4). Let q = -8 - h. Suppose q*r - 3*r = -5*k - 12, 2*r - 4*k - 18 = 0. Is r composite?
False
Suppose 3*z - 3*a - 34383 = 0, 12*z - 13*z = -4*a - 11467. Is z composite?
True
Suppose -3*q + 1731 = 2*l, 3*q - l = 4*q - 578. Suppose 3*s - q = 499. Is s composite?
True
Let v(n) = -n**3 - 3*n**2 + n - 9. Let u be v(-4). Suppose u*d - 2615 = 2854. Is d a prime number?
True
Suppose -4815 = -5*m - 4*h, 2*h = m - 6 - 971. Is m composite?
False
Suppose 0 = 5*k - 53 - 47. Suppose 1231 = 14*f - 1499. Let n = f + k. Is n composite?
True
Let o = 605 + -182. Let y(b) = b**2 - 2*b - 5. Let x be y(-2). Suppose 2*m - s = 3*s + 282, -x*m + s = -o. Is m a composite number?
True
Let s = -3850 + 9155. Is s a prime number?
False
Let o(h) = 7*h + 20. Let k = 19 + -12. Is o(k) prime?
False
Is (3/4)/(51/592484) prime?
True
Let f(d) = -2*d**3 - 36*d**2 + 24*d + 71. Is f(-19) a prime number?
True
Let q(x) = 393*x**2 - 4*x + 7. Is q(2) a prime number?
True
Let l = -11 + 13. Let x(o) = -8*o + 1. Let f be x(-1). Suppose l = -v + f. Is v a prime number?
True
Let b(o) be the first derivative of 25*o**2/2 + 14*o + 3. Suppose 13 = 3*m - 11. Is b(m) a composite number?
True
Let r = 17 - 13. Suppose -w + r*w = 2397. Is w a prime number?
False
Let q(g) = -11*g. Let m be q(-3). Let a = 84 - m. Is a a prime number?
False
Let o = -581 + 11560. Is o a prime number?
True
Is (-519450)/(-20)*(-10)/(-15) a composite number?
True
Let p(d) be the third derivative of d**6/60 - d**5/60 - 5*d**4/12 + 8*d**3/3 - 39*d**2. Is p(13) a prime number?
True
Let g(q) = -5 - 2*q + 2*q**2 - 9*q**2 + 4*q**2. Let k be g(10). Let j = -182 - k. Is j composite?
True
Suppose -t = -0*t - 3. Let q = 6 - t. Suppose -5*r = -h - h + 593, -q*h + 3*r + 912 = 0. Is h a prime number?
False
Let s(g) = 33*g**3 + g**2 + 4*g + 3. Let y be s(-2). Let o = y - -398. Is o prime?
False
Let a(o) = 175*o + 3. Let x = -6 + 7. Is a(x) composite?
True
Is 113778/(-308)*-2 + 4/22 a composite number?
False
Let m(x) = -1312*x + 167. Is m(-6) prime?
True
Suppose -127 - 45183 = -10*w. Is w composite?
True
Let y = 18 + -16. Let j(f) = -84*f + 8. Let l(b) = -84*b + 7. Let o(i) = y*j(i) - 3*l(i). Is o(4) a composite number?
False
Let a(u) = -u + 1. Let h be (-14)/3 + 5/(-15). Let n be a(h). Suppose -n*c = -3*c - 3*g - 156, -2*g = -4*c + 202. Is c composite?
True
Let i(r) = r**3 - 7*r**2 + r - 1. Let x be i(7). Let v(m) = m**2 + 8*m**3 - 5*m + m - x*m**2 - 9*m**3 + 3. Is v(-7) a composite number?
True
Suppose -4*a - 8 = 4*p, -4*a + 5*p - 3*p = -22. Suppose -2*o = 3*d - 997 - 8608, 3*d = -a*o + 9603. Is d composite?
False
Let h(i) = 4*i + 33. Let a be h(-7). Suppose a*q + 159 = 2*d, -2*q + 76 = d - q. Is d a composite number?
True
Let p(q) = -q**2 - 15*q + 2. Let l be p(-15). Suppose -2*n = 3*g - 38, -g + n + n = -l. Is (-4)/g - (-2322)/30 prime?
False
Suppose a + 4 - 8 = 0. Suppose 321 - 1997 = -a*y. Is y composite?
False
Suppose -5*i = y - 7364, -3*y - 3*i + 8*i + 22032 = 0. Suppose 0 = -115*a + 116*a - y. Is a a composite number?
False
Suppose 3 = j + 5, 5*x + 41 = -3*j. Let u = x + 13. Suppose -u = 2*b - 80. Is b prime?
True
Let h = 10537 - -27574. Is h composite?
True
Let r = -5 + 5. Suppose 5*g = -3*d - 14, -20 = -r*g + 5*g. Suppose d*q - 4 = 2. Is q a prime number?
True
Let l(q) = 46*q**2 + 4*q - 2. Let v be l(5). Suppose 6*i + v - 208 = 0. Let p = i - -275. Is p a composite number?
True
Let n = -33 - -31. Let h be 871*(-2)/((-4)/n). Let w = h - -1458. Is w prime?
True
Let g(b) = 36*b - 4. Let i be g(5). Let f = 356 - i. Let u = -127 + f. Is u prime?
True
Suppose 3*g - 2*i = -7*i + 17337, 0 = -g + 2*i + 5779. Is g a composite number?
False
Is 186*57/9 + 9 prime?
True
Suppose 2*k + 128774 - 2079 = a, -3*a = 7*k - 380137. Is a composite?
False
Suppose 14806 = -15*q - 27209. Let t = q - -4224. Is t composite?
False
Let u = 134 + -11. Suppose u = 3*c - 1122. Is c a prime number?
False
Let c = 7428 + -3841. Is c prime?
False
Let z = 260 - 148. Let j = z + -91. Is j a composite number?
True
Let u(s) = -s**2 + 0*s**2 - 28 + 9*s + 27. Let k be u(9). Is (11 - 118)*5/k a prime number?
False
Let o(f) = -f**2 - 6*f + 3*f + 4*f + 250. Let r be o(0). Let w = -27 + r. Is w prime?
True
Let b = 10 + -6. Suppose 3*f - 4*f = -n - 500, 2*f - 994 = b*n. Is f prime?
True
Suppose v = 4*v - f - 12620, 5*f - 4212 = -v. Is v a prime number?
False
Suppose 12 = x + 3*x - 2*a, -4*x + 4*a + 20 = 0. Let g be ((-2)/x - -1) +