r - h*t - 243 = 0, 2*r + 2*t + 253 = 3*r. Is r prime?
True
Suppose 0 = -3*q - 4*x + 22, 0 = -6*q + 4*q + 2*x - 4. Suppose -2*z = -2*k + q*z + 546, 0 = -2*k - z + 521. Is k prime?
True
Let a(n) = 10*n**2 - 2*n + 967. Is a(0) composite?
False
Let c(d) = -5*d**3 + 17*d**2 + 52*d - 29. Is c(-13) a prime number?
False
Suppose 0 = -2*p - 2*o - o + 11, -5*p = 3*o - 23. Suppose p*n - 1056 - 1048 = 0. Is (n/(-4))/((-5)/10) a composite number?
False
Suppose 0 = -5*k + 4*s + 96463, 5*s = -3*k + 68248 - 10385. Is k a composite number?
True
Let v(d) = 33*d - 1. Let i be v(-4). Let s = -44 - i. Is s composite?
False
Let p(q) = -q**3 - 7*q**2 - 10*q - 7. Let j(l) = l**3 - 17*l**2 + 16*l - 11. Let y be j(16). Is p(y) composite?
False
Is 4027283/78 + 20/(-24) prime?
True
Let d(o) = -12 - 3*o - 23*o - 12*o. Let g = -420 + 415. Is d(g) prime?
False
Let r be 21/(-6)*(-12)/(-2). Let n = r - -21. Suppose -302 = -3*x - 2*x + 4*z, n = -2*x - 3*z + 107. Is x prime?
False
Let i = -15 - -17. Suppose i*f - 4*m = 1814, 3*m - 4535 = -4*f - f. Is f a composite number?
False
Let q(u) = 4*u**3 - 4*u**2 + 17*u + 17. Let v(m) = -13*m**3 + 11*m**2 - 51*m - 51. Let y(n) = -7*q(n) - 2*v(n). Is y(-8) composite?
True
Suppose -5*n - 2 - 18 = q, -4*n = -4*q + 16. Suppose q = 2*z + 3*f + 68 - 508, -866 = -4*z + f. Is z a composite number?
True
Let x(h) = -h**2 - h. Let v(c) = 27*c**2 + 8*c - 3. Let s(j) = v(j) + 4*x(j). Let o = 7 - 5. Is s(o) a prime number?
True
Suppose -i + 2 = -5*m + 1, 4*m + 2 = i. Suppose -3*g = -2*y - 12143, 2*y = i - 14. Is g composite?
True
Let z(u) = 2*u - 9. Let w be z(4). Let c be ((-7)/(-14))/(w/2). Is (3 - 2)*(162 - c) prime?
True
Let k(m) = 16*m**2 - 5*m - 8. Let i be k(6). Suppose 0*j - i = -a + 3*j, 5*j = a - 536. Is a composite?
False
Suppose 52*x - 51*x = 1143. Is ((-4)/6)/((-6)/x - 0) composite?
False
Let h = 2342 + -1269. Is h a prime number?
False
Let i(r) = -23*r**3 + r + 2. Let x be i(4). Let l = x + 2060. Suppose 9*m = -153 + l. Is m composite?
True
Suppose 0 = -f - 5*z + 23744, -5*f - z = -4223 - 114377. Is f composite?
False
Let b(d) = 2*d + 8. Let x be b(-6). Let w(s) = 153*s**2 + s + 17. Is w(x) a composite number?
True
Let t(o) be the first derivative of o**2 - 4*o - 3. Let z be t(3). Is z*-2 + (6 - -164) prime?
False
Suppose 10591 = 33*v - 16*v. Is v composite?
True
Let j = 50 - 46. Suppose q = -x + 23, 8*q + 110 = j*x + 3*q. Is x prime?
False
Let g(q) = 2*q**2 + 5*q + 1401. Is g(0) a composite number?
True
Let h(l) = 17*l + 1. Let o be ((-48)/(-20))/(6/15). Is h(o) composite?
False
Suppose -163130 + 22916 = -6*p. Is p a prime number?
True
Suppose 5*h = 2*p - 20 - 10, 3*p - 4*h - 31 = 0. Suppose 0*g - 179 = -2*g - 5*c, -p*g + 4*c = -431. Is g a composite number?
True
Let i(d) = -d**3 + 8*d**2 - 3*d - 23. Let p be i(7). Suppose 6176 = p*z - 2819. Is z a prime number?
False
Let i = 51 - 48. Suppose 5*o = 5*v - 0*v - 3250, 1944 = i*v - o. Is v composite?
False
Suppose 74*c - 78*c = -10436. Is c prime?
True
Let g(r) = -16*r + 16. Let i be g(-9). Suppose z - 1095 = i. Is z prime?
False
Suppose 0 = 2*p - 2*w - 1342 - 342, 0 = p - 5*w - 834. Suppose -2*q = -6*q + p. Is q a composite number?
False
Suppose 2*j + 2 = 4. Suppose 4*m = 5*f + j - 4, m + 5 = -3*f. Is -30*3/(-8 - m) a composite number?
True
Let u(w) = w**3 + 2*w**2 - 3*w - 3. Suppose 6*g = 4*g + 4. Let o be g/(-6) - (-114)/18. Is u(o) a composite number?
True
Suppose t + t = 26. Suppose 4*y - t = -5. Suppose -5*l - 576 = -3*q - y*l, -5*l - 5 = 0. Is q a composite number?
False
Let s = 12 + -18. Let f(i) = 62*i**2 - 2*i + 20. Let y be f(s). Is 3/1*y/8 a prime number?
False
Let r(n) = -24*n + 11. Suppose 76 = 8*b - 12*b. Is r(b) a prime number?
True
Let i(x) = x**3 - 2*x**2 + 2*x + 81281. Is i(0) a prime number?
True
Suppose 189*p = 195*p - 13308. Is p composite?
True
Suppose 9*a - 27 - 9 = 0. Suppose y - a*s = 2*y - 1699, 2*s - 8531 = -5*y. Is y prime?
False
Let i(r) = r + 6. Let q be i(0). Suppose -q*d + d = 115. Is d*((3 - 6) + -4) composite?
True
Let n(i) = -3*i**2 - 13*i + 12. Let l be n(-12). Let w = 47 - l. Suppose -w = -3*d + 5*k, -k + 0*k = 2*d - 190. Is d prime?
True
Suppose 0 = -5*d + 74 - 5374. Let m = 395 - d. Suppose -m = -3*g - 0*g. Is g composite?
True
Suppose 13*b = -60*b + 1217713. Is b composite?
True
Suppose 0 = -i - 4, -6755 = -2*c + 3*i + 1563. Is c a composite number?
False
Let t = -9 + 14. Suppose -t*b + 22 = 2. Is (-204)/18*(-30)/b composite?
True
Suppose -5*n + 3*g = -25, 0 = 5*n - 4*g + 2*g - 25. Suppose c + 74 + 6 = t, -2*c = n*t - 435. Suppose t = 4*v - 3. Is v a prime number?
False
Let w = -175 - -1562. Suppose -4*z = -d - 1872, 3*z + 0*d - w = 5*d. Is z a prime number?
False
Let a be (-74)/(-14) + 4/(-14). Let z = -224 + 226. Suppose 7*x - 57 = z*x + 2*h, 0 = -5*h - a. Is x a composite number?
False
Suppose 2*d + 5*f = 25, 4*f + 5 = 3*d + 2. Suppose h + 17 = -5*a, -d*a + 4*a - 5*h + 11 = 0. Is (-6957)/(-21) - a/(-14) a composite number?
False
Suppose -2744*j + 2734*j = -110270. Is j prime?
True
Is -4*(-2*1 + (-218966)/88) composite?
True
Let t(l) be the third derivative of -l**5/60 + l**4/24 + 2*l**3/3 + 5*l**2. Let c be t(0). Suppose -9*r + 530 = -c*r. Is r composite?
True
Suppose -55*c = -68*c + 65013. Is c a composite number?
True
Let u(z) be the second derivative of -z**7/840 - z**6/30 - z**5/8 - 7*z**4/24 + 2*z**3/3 + 6*z. Let b(a) be the second derivative of u(a). Is b(-11) prime?
True
Suppose -27842 = 111*o - 113*o. Is o prime?
True
Let d be (-8)/6*(-45)/(-6). Is -4858*(-3 - d/4) a prime number?
False
Is (-1 - -2 - -536)*102/18 a composite number?
True
Suppose -2*p - 4 = -p, -4*p - 8 = 4*g. Is 45/18 - (-293)/g composite?
False
Let n(m) = -m**3 - 5*m**2 + 2. Let l = -19 + 16. Let j be n(l). Is 55 + (j/4 - -4) composite?
True
Is ((-2904)/(-3) - -3)/((-15)/(-165)) a prime number?
False
Let v(t) = 3 - 58*t - 5 + 7. Let a be -1 + -1*(3 + 0). Is v(a) a prime number?
False
Let k = -5936 - -9565. Is k composite?
True
Let r = 54 - -20. Suppose -4*v = -2*z - 2*v + r, 3*v = -6. Is z composite?
True
Suppose -5*c + 107 = 2*p - 159, -2*p = -3*c - 266. Suppose p = 2*t - 17. Suppose -3*l + t = -0*l. Is l a prime number?
False
Let t(a) = -2*a - 14. Let z be t(-7). Let r(k) = k + 1115. Is r(z) a composite number?
True
Suppose w = -2*g + 1289, 0 = 8*g - 11*g - 3. Is w a prime number?
True
Let z(q) = 35796*q**2 - 3*q + 4. Is z(1) a prime number?
True
Let p(w) = 169*w**2 + 71*w - 423. Is p(6) a prime number?
False
Let u(o) be the third derivative of 3/2*o**4 + 5/6*o**3 + 3*o**2 + 0 + 0*o. Is u(4) prime?
True
Suppose 0*p - 45936 = -11*p. Suppose 0 = 2*d + d + 12, 0 = -4*m + d + p. Is m a composite number?
True
Suppose 183090 = 23*g + 7*g. Is g a prime number?
False
Let s be 102/14 + (-4)/14. Let j(b) = 41*b**2 + 2*b + 10. Let v be j(s). Suppose 3*h - f - v = -3*f, -3*f = -5*h + 3420. Is h composite?
True
Let z(o) = -6*o**3 - 2*o - 1. Let p be z(-1). Let g = p - 6. Is (-1)/(g - (-252)/(-249)) composite?
False
Let w = 5069 + -309. Suppose -4*r + w + 3754 = n, 5*r - 4*n - 10653 = 0. Is r a composite number?
False
Let b = 7 + -4. Suppose 1870 + 3209 = b*v. Is v a prime number?
True
Let g = -381 - -679. Is g a composite number?
True
Suppose -11 = -3*m - j, m = -0*m - 5*j + 13. Suppose -132 = m*p + p. Let o = 2 - p. Is o composite?
True
Is ((-1277)/2)/((1 + 3)/(-8)) a prime number?
True
Is (5 - 3) + 4855 + 4 composite?
False
Let g be 36/(-27)*6/4 - -131. Suppose -298 = -o - 5*p, -o - 2*p + 166 + g = 0. Is o composite?
False
Suppose -298 - 198 = -8*n. Suppose -7*q + n = -1716. Is q a composite number?
True
Let k be 27/(-6) + (-3)/(-6). Let t be (k/9)/(2/(-9)). Suppose t*j = -0*j + 5*m + 42, 0 = 5*m. Is j prime?
False
Let y be ((-2)/(-8))/((-11)/(-88)). Suppose y*t - 1119 = -t. Is t a prime number?
True
Suppose -3*j = 5*b - 56872, 3*j - 5*b - 71063 + 14241 = 0. Is j composite?
True
Let a = -1495 + 32250. Is a a prime number?
False
Let c(a) = -2*a + 2. Let k be 15/(-10) + 3/2. Suppose -4*s + b - 22 = 0, 3*s - 4*b + 7 + 3 = k. Is c(s) a prime number?
False
Suppose 17*y + 5538 = 36427. Is y prime?
False
Suppose -7*b + 5*b = -3*d + 22081, 25 = -5*b. Is d composite?
True
Suppose 5755 = 26*n - 21*n. Is n a prime number?
True
Is ((-40)/24)/(35/(-1781367)) composite?
False
Let u = -21