 -t**2 + 4*t - 3. Let w be j(y). Let n = w - -7. Is n prime?
True
Let l(g) be the first derivative of 3*g**2 + 3*g - 2. Let k be l(7). Let z = 68 - k. Is z composite?
False
Let l = -23 + 20. Let s be -4 - (-1 + 0) - l. Suppose 5*j - 1905 = -s*j. Is j a prime number?
False
Let y(k) = -k**3 - 5*k**2 - k - 3. Let n(v) = -2*v + 9. Let h be n(7). Let s be y(h). Is (-43923)/(-143) - s/13 a composite number?
False
Let c(j) = -12*j - 5. Let a be c(-9). Let d = 200 - a. Is d composite?
False
Suppose 0 = -3*u - 104 + 2843. Is u a composite number?
True
Let r = 91 + 640. Let m = r + -516. Suppose 0*t = t - m. Is t a prime number?
False
Let x(w) = w**2 + 2*w**2 - w**3 + 0*w**2 + 0*w**2. Let i be x(3). Suppose i*q - q + 31 = 4*v, -2*q + 3*v + 62 = 0. Is q a composite number?
False
Suppose 602769 = 47*r + 4*r. Is r composite?
True
Let s(z) = 49*z + 7. Suppose -5*b = -2*b + 18. Let f(o) = 98*o + 13. Let t(u) = b*f(u) + 11*s(u). Is t(-2) a prime number?
True
Let g be 1/4 + 3/8*-8022. Let f = 4975 + g. Is f a prime number?
False
Suppose -o - a + 1 = 0, 0*o - 2*a = o - 1. Is (5 - 2 - -570)/o composite?
True
Suppose 0 = 4*q - 4*v - 1916, 0*q = 5*q + 3*v - 2419. Suppose 5*b - q = -87. Is b a composite number?
False
Let m = -3250 + 17847. Is m prime?
False
Suppose -190*f - 18035 = -191*f. Is f a composite number?
True
Suppose 2*x - 4 = 2*m, -4*x + m = 2*m + 7. Is (-1)/x*(-6 + 3 + 922) a composite number?
False
Let c(t) = -3*t - 9. Let z be c(-4). Suppose 0 = -z*p - p + 2044. Let x = -252 + p. Is x a prime number?
False
Let d = -28 - -40. Suppose d = 6*r - 0. Is r a composite number?
False
Let l(j) = 2*j**2 - 2*j**2 - 2*j - 2*j**2 - 6 - j**2. Let f be l(-3). Let r = 49 + f. Is r composite?
True
Let z(x) = -26*x**2 - 12*x + 22. Let a(f) = f**2 + 1. Let c(i) = 5*a(i) - z(i). Is c(10) composite?
False
Let z(x) = x**2 + 13*x - 13. Let g be z(-12). Let b = g - -35. Is (5/(b/66))/1 prime?
False
Let p = 2726 + -1274. Let z = p + 1407. Is z a prime number?
False
Let x(l) = l - 1. Let q(u) = -45*u + 10. Let r(i) = -q(i) - 6*x(i). Let f(t) = t**3 + 10*t**2 + 15*t - 1. Let d be f(-8). Is r(d) a prime number?
True
Suppose -5*m - f + 21522 = -4419, -f - 20760 = -4*m. Is m composite?
False
Let q(t) = -2*t**2 + 5*t - 9. Let m be q(5). Let d be 8598/m - (-8)/(-68). Let a = -59 - d. Is a a prime number?
False
Let m(i) be the second derivative of i**4/12 + i**3 - 5*i**2/2 - 3*i. Let b be m(-7). Suppose -4*t + 441 = b*h - 319, h + 957 = 5*t. Is t a prime number?
True
Let m = -3835 + 21768. Is m a composite number?
True
Suppose -4*a + 1 + 15 = 0. Suppose -3*g - 4*f + f = 3, -a*f = -4*g + 4. Suppose 14*w - 12*w - 218 = g. Is w composite?
False
Let s be (14/3)/((-10)/(-6) + -1). Suppose 2*f - 195 + s = 0. Is f a prime number?
False
Let g(z) = z**2 - z + 1. Let p(v) = -9*v**2 + 3*v - 10. Let k(y) = -y**2 + 5*y + 3. Let q be k(6). Let w(m) = q*g(m) - p(m). Is w(-6) a composite number?
False
Is (-81)/(-27) + 6*659 - 4 a composite number?
True
Let h = 4785 + -1232. Suppose -3*n - b + 3*b + h = 0, 0 = b + 5. Is n composite?
False
Let z(q) = 1305*q**2 - 1. Let v be z(-1). Suppose 0 = 5*d - 6511 - v. Is d composite?
True
Let l(u) = 710*u - 169. Is l(21) composite?
False
Let n(w) = 314*w**2 - 2*w - 7. Let k be n(3). Let a = k - 1414. Is a composite?
False
Let n be 6/(4/2) + 1. Suppose -47 = 8*s - 23. Is (3845 - -3)/n - s composite?
True
Let c be 4/(-14) + (-99)/21. Let n(j) = -24*j**2 + 6*j - 7. Let w(t) = -49*t**2 + 12*t - 15. Let p(s) = -9*n(s) + 4*w(s). Is p(c) composite?
True
Suppose 0 = 5*w - 929 - 276. Let o = w - 130. Is o a prime number?
False
Suppose -10*s + 1042989 + 176101 = 0. Is s prime?
True
Let q = -5365 - -12374. Is q a prime number?
False
Is (-4)/(5673/1893 + -3) composite?
True
Let o(w) be the second derivative of -w**5/20 + w**4/2 + w**3 - w**2 - 15*w. Is o(5) a prime number?
True
Let f = -23 + 60. Let x(h) = 31*h + 10 + 28*h + f*h - 5*h. Is x(7) composite?
False
Let q be (4 + -64)/(-5)*15/2. Let u be (-187)/5 + (-4)/(-10). Let x = u + q. Is x composite?
False
Suppose -3*w = 3*u - 3504, -5*w = 2*u - 2204 - 135. Is u a prime number?
False
Let k be (28 - (0 + 0))*1*-48. Let d = k + 3065. Is d composite?
False
Let n(d) = -28*d - 6. Let i(m) = -84*m - 17. Let q(k) = -3*i(k) + 8*n(k). Let y(j) = -1457*j - 155. Let c(b) = -310*q(b) - 6*y(b). Is c(1) a prime number?
False
Let u = -17372 - -49873. Is u composite?
True
Is 378589/11 - 98/539 a prime number?
False
Suppose 20*i + 5 = 21*i. Let y(h) = -2 - 1 - 4 + 28*h. Is y(i) a prime number?
False
Let y = 504 + 417. Is y a prime number?
False
Is (5/(125/66295))/(3/15) prime?
True
Suppose -4*y = -2*u + 70, -2*y - 2*y - 8 = 0. Is u composite?
False
Suppose 0 = -10*k + k + 87498. Is k a composite number?
True
Suppose -4 - 149 = 3*h. Let x = 616 + -194. Let p = h + x. Is p prime?
False
Suppose 3*y = 3*m - 136071, 10*m - 2*y - 45353 = 9*m. Is m composite?
False
Suppose -9*r + 774093 - 86340 = 0. Is r composite?
True
Let g(r) = r**2 - 19*r - 199. Is g(41) prime?
False
Suppose -6*k - o = -7*k + 28463, -5*k + 142303 = -2*o. Is k a composite number?
True
Suppose -55*a + 53*a = -2*d + 32442, 5*d = 2*a + 81093. Is d prime?
True
Let r = 152 - 73. Is (r/3)/1*3 prime?
True
Suppose 0 = -5*f + 42609 - 15704. Is f prime?
True
Let l be (-12)/(-4)*(-1 - (194 - 0)). Let s = 2348 - l. Is s composite?
True
Let l = 35 - -11. Suppose 50*z = l*z + 1868. Is z a composite number?
False
Let u(q) = -17*q**3 + 26*q**2 + 19*q - 35. Is u(-13) composite?
True
Suppose l - 1062 = -3*t + 8432, -l = -5*t + 15810. Is t a prime number?
True
Let q = -1905 - -2966. Suppose -r + 6*r - 1312 = g, 3*g - q = -4*r. Is r a prime number?
True
Let o(j) = 86*j**2 - 10*j + 17. Let r be o(6). Suppose r = 3*s + v, -s - 4*s + 2*v = -5103. Is s a composite number?
False
Let i = 719 - -638. Is i prime?
False
Let a(i) = 3146*i**2 - 10*i + 5. Is a(-3) a prime number?
True
Let l = -3 - 1. Let c(i) = i**2 + 5*i + 1. Let m be c(l). Is (-153 + -2)*(2 + m) a composite number?
True
Let s(d) = -8*d + 3. Let t be s(4). Let r = t - -240. Is r a prime number?
True
Suppose 0*k - 2*k = -382. Let u = -132 + k. Let t = u + -38. Is t prime?
False
Let d(j) = -3*j**3 + 12*j**2 + 4. Is d(-9) a prime number?
True
Suppose -2*k + 11 = 4*q - 1, -q = -5*k + 19. Suppose -5*y + 3 = 3*p, -4*p - q = 3*y + 6. Suppose -y*s + 2*u = -323, -6*s + 540 = -s - 3*u. Is s a prime number?
False
Let f(x) = -2*x**2 + 8*x - 21. Let v be f(8). Let r be ((-34)/(-3))/((-2)/36). Let j = v - r. Is j a prime number?
False
Let r = -50 + 35. Let j = r + 19. Let w = 153 - j. Is w a prime number?
True
Let t(q) = 85*q - 8. Suppose 4*h = 5*h - 3. Let a be t(h). Is a - 6 - 12/3 a prime number?
False
Suppose 4*f + 4 = 3*f, -4*f + 3131 = 3*y. Is y prime?
True
Suppose -5 - 3 = -4*l. Suppose -3*n - 4*s + 0*s + 5 = 0, 0 = -l*n + 5*s + 11. Suppose 0 = 2*a + p - 37, n*p = 5*a - 129 + 31. Is a a composite number?
False
Let z be -543*1 + (-28)/(-14). Let d = z + -1095. Let w = -962 - d. Is w a prime number?
False
Suppose 2*z - z - 2 = 0. Suppose -7713 = -p - z*n, -8*n - 23130 = -3*p - 5*n. Is p composite?
True
Suppose 2*d - 5*y = -115, 3*d + 145 = d - 5*y. Suppose 0 = -2*g + 2*i - 76, -2*g + 4*i = -0*g + 68. Let b = g - d. Is b prime?
True
Let t(u) = -112*u**3 - u**2 - 2. Let f be t(2). Let y = 1549 + f. Is y composite?
False
Let z = -14 + -59. Let c = z - -126. Is c a composite number?
False
Let s(g) = 3*g**2 + 1255 - 136*g + 135*g - 4*g**2. Is s(0) prime?
False
Suppose 2*t = -2*t + 356. Let u = t - -141. Suppose q + 386 = 5*b, 0 = -4*b + b - q + u. Is b composite?
True
Suppose 1180*n - 1163*n = 67337. Is n prime?
False
Suppose 154927 = 12*u - 49469. Is u prime?
True
Suppose 95 - 629 = -2*o. Is o prime?
False
Let q(a) = -5 + 38*a + 2*a**2 - 20*a - 24*a. Is q(-9) a composite number?
False
Let p = -741 - -357. Let i = 25 - p. Is i a composite number?
False
Is (8/16)/(-1)*-4310 a composite number?
True
Suppose -5*g = -5*k + 5, 2*k + 0*k - 1 = 3*g. Let t = 1 + k. Suppose -z + 325 = t*v, -2*z = -7*z - v + 1653. Is z a prime number?
True
Suppose 6*i - 22116 - 21342 = 0. Is i a prime number?
True
Let a(i) = -4*i - i**2 + 8*i - 14 + 4*i. Let j be a(4). Suppose -668 = -l - 5*d + j*d, -d = 3. Is l a prime number?
True
Let d be (-12)/(-14)*28/6. Suppose -3*k - 