j*x - 1001. Is i prime?
False
Let v = -9926 + 23391. Is v prime?
False
Let g(u) = -u**3 + 2*u**2 - 4*u + 1. Suppose h + 9 - 11 = 0. Let s be (h/(-6))/((-17)/(-153)). Is g(s) a prime number?
False
Let i(w) = -17*w**2 + 2*w + 5. Let s(v) = 35*v**2 - 3*v - 12. Let t(a) = -9*i(a) - 4*s(a). Suppose -2*n + 20 = 3*n. Is t(n) composite?
True
Let t be (-2)/(-8) + (-18)/8. Let o be (12/18)/(t/(-21)). Let s(v) = -v**3 + 8*v**2 + 8*v + 10. Is s(o) composite?
True
Let y = -2255 + 4153. Suppose -2*d + 1998 = 3*g - y, 5*d - 6485 = -5*g. Let x = g + -821. Is x composite?
True
Let c(i) = 4*i**2 - 1. Let b be c(1). Let m = b - 3. Suppose 0 = 3*h - m*h - 1893. Is h a prime number?
True
Let d(a) = -a + 2. Let z be d(2). Let c be (z + 2)*3/2. Suppose -48 = -2*u + 5*q, -24 = -u + c*q + 1. Is u a prime number?
True
Let f(p) = 5*p**2 - 2*p - 2. Let w be (5 + -5)/(1 - -1). Let c = w + 3. Is f(c) composite?
False
Let g = -4 + 6. Suppose r + b = g, -2*b - b = 0. Suppose -r*p + 4*o = -1258, -o - 380 = -3*p + 1522. Is p prime?
False
Let b = 34 - 31. Suppose 0*c + 5*p + 697 = b*c, -20 = -5*p. Is c prime?
True
Suppose 15*n - 2500 = 20*n. Let a = n + 717. Is a a composite number?
True
Let v = -34237 - -48994. Is v a prime number?
False
Suppose -2*x - 1394 = -1462. Is x a composite number?
True
Let f = -72193 + 183908. Is f prime?
False
Let z(s) = s + 16. Let x be z(-10). Is ((-1412)/(-3) + 2)/(4/x) a prime number?
True
Let t = 19 - 10. Suppose -t*w + 3777 = -6*w. Is w a prime number?
True
Let r(n) = -2*n**2 + 10*n - 2. Let i be r(4). Suppose 5*k + m = 14, k + m - 8 = i*m. Suppose 5*j = j + k*l + 1219, -4*l + 319 = j. Is j a composite number?
False
Let w(t) = t**2 - 2. Let n be w(2). Suppose 0 = n*o - 4*o, -4*x + 8 = -4*o. Suppose x*i = 2*u + 48 + 20, 0 = 4*u + 12. Is i a composite number?
False
Suppose 0 = 9*w - 9224 + 2159. Is w a prime number?
False
Suppose 5*i = 3*z + 107158, -i + 5*z = -2*i + 21426. Is i a prime number?
False
Suppose -5*q = -5*y - 1385, 5*q - 8*q - 2*y + 831 = 0. Is q a prime number?
True
Suppose 127 + 468 = 5*n. Suppose -327 = -2*l + n. Is l a prime number?
True
Let s(w) = 3*w - 2. Let c be s(4). Suppose -m = -3*m + c. Suppose -841 + 5316 = m*q. Is q a prime number?
False
Suppose 2*s - 5*d + 7981 = 3*s, 5*s - 4*d = 39789. Is s composite?
True
Let d(i) = -7*i**2 - 2*i + 1. Let q be d(1). Is 73 + q - (0 - 0/2) a prime number?
False
Let r(d) = 2*d**3 - 7*d**2 - 13*d + 7. Let l = -50 + 59. Is r(l) prime?
False
Is (-788343)/(-99) + 172/(-2838) a prime number?
True
Let a be ((-2)/4)/(17/(-102)). Suppose -2*m - 456 = -5*h + 339, -a*h + 477 = 2*m. Is h composite?
True
Suppose 4*j - 22739 - 154697 = 0. Is j a composite number?
True
Suppose 0*a - 1311 = -3*a. Is a prime?
False
Let b = -54 + 48. Is 5883/9 + 4/b composite?
False
Let s = -7 + -13. Let q be 5/(s/(-3))*20. Let r = q - 5. Is r a prime number?
False
Let r = -4233 - -7610. Suppose -9*c - 632 = -r. Is c a prime number?
False
Let i = 1637 - -248. Is 2/(-5)*i/(-58) prime?
True
Suppose -5*u + 2*h - 39 = h, 5*h = 2*u + 11. Let t(i) be the third derivative of -i**4/4 + 5*i**3/6 + i**2 - 9. Is t(u) composite?
False
Suppose 0 = -8*r + 9*r. Let n be -1088 - (-1 + 0 + r). Let d = -756 - n. Is d a prime number?
True
Let z(f) = f**2 + 2*f + 8. Let v = -89 - -80. Is z(v) prime?
True
Suppose 0 = -u - 2, 118*r - 116*r - 4*u - 75682 = 0. Is r prime?
False
Suppose -8 = -a - a. Suppose -3*b + 9 = p, 4*p = -0*b - a*b + 20. Is (-254)/(-6) + 2/p a prime number?
True
Suppose n + 94 = -0*n. Let c = n + 98. Is c composite?
True
Let c = 2370 + 2111. Is c a composite number?
False
Let f = 30 + -20. Suppose f = 5*o, -4*o = 3*x + x - 1012. Is x a prime number?
True
Let r = 25 - 33. Let o be 2/r + (-561)/(-68). Suppose 5*x - 194 = -s, -3*s - 997 = -o*s + 2*x. Is s a composite number?
False
Let y(j) = j**3 - 9*j**2 + 4*j + 23. Is y(11) a composite number?
True
Let l = -46 - -24. Is 2/2 + (-8 - l) a composite number?
True
Let x be (-2)/2*(-12)/4. Suppose 5*n + 3*a = 43112, 1986 = x*n - 4*a - 23887. Is n a prime number?
True
Let n(g) = 4*g + 2823. Let m be n(0). Suppose 2*r - 5*r = -m. Is r a composite number?
False
Let k(b) be the second derivative of 2*b**3 - 29*b**2/2 - 3*b. Is k(13) prime?
True
Let a(n) be the third derivative of -n**6/10 - n**5/30 - 5*n**4/24 - n**3/3 - 9*n**2. Is a(-3) composite?
True
Suppose 22 = 5*z + 2. Let c be 2 - z/((-3)/3). Is (-388)/c*(-3)/2 a composite number?
False
Let x = 21767 - 9540. Is x composite?
False
Let g(c) = 12*c**2 - c - 30. Is g(23) a prime number?
False
Let d be (-3)/9 + (-38)/(-6). Suppose -x = 2*s - 252, -d*x - 2*s = -2*x - 996. Let z = x - -11. Is z a prime number?
False
Suppose -2*s = -6, 2*g + 3*g = -4*s + 1792. Suppose v - g = -4*c - 4*v, -4*c + 356 = -2*v. Is c prime?
True
Suppose -4*v + 26 = x + 5, -4*v + 6 = -2*x. Suppose 0 = 3*w - v*w + 127. Is w a prime number?
True
Let w(o) = -o**3 - 7*o**2 + 8*o - 6. Let x be w(-8). Let d = -8 + 5. Is (x - 9/d) + 500 a composite number?
True
Let s(h) = -2*h**3 - 3*h**2 - 6*h. Let l be s(-5). Let n(c) = -96*c**3 + c**2 + c. Let v be n(-1). Let z = l - v. Is z prime?
True
Suppose 4*v - 45*v + 322301 = 0. Is v composite?
True
Is (63/6)/7*146516/6 composite?
False
Let t(m) = -4*m**2 - 2*m + 4. Let v be t(-2). Let o(j) = -213*j + 17. Is o(v) a composite number?
False
Let t = 129 + -51. Let m = 130 - t. Suppose 4*l - m = g, -g + 17 = 3*l - 22. Is l prime?
True
Let k(x) be the second derivative of -278*x**3/3 - 3*x**2/2 + 32*x + 2. Is k(-4) a prime number?
True
Let x(k) = -164*k + 23. Is x(-4) a prime number?
False
Let q(i) = -2*i**2 - i**3 - 2*i + 0*i**3 + 2 - i**3 - i**2. Let u be q(-2). Is 1608/u + (-2)/(-10) prime?
False
Suppose 22 = 5*k - 98. Suppose 2*n - 5*n = k. Let c(w) = -w**3 - 4*w**2 + 3*w - 6. Is c(n) prime?
False
Let c(w) = 6*w - 7. Suppose -3*j + 117 = -57. Suppose 2*g + j = 4*v + 8, -4*v + 57 = 5*g. Is c(v) prime?
True
Let z(d) = -439*d + 14. Let q(w) = -2*w + 11. Let t be q(8). Is z(t) a prime number?
False
Let v be 1*-1 - 1445/(-17). Let q = v - 61. Is q composite?
False
Suppose 5*q - 159 = -5*w + 71, 4*q - 226 = -5*w. Suppose -w*k + 14165 = -37*k. Is k composite?
False
Let y be 42/8 + 8/((-288)/45). Let b(k) be the third derivative of 89*k**4/24 - k**3/2 + k**2. Is b(y) a composite number?
False
Suppose -2107 = -5*t + 2*i + 634, 1655 = 3*t + 4*i. Suppose -3*y = -117 + 105. Suppose 2*q - 3*u - 589 = 0, -2*q - y*u = u - t. Is q a composite number?
True
Is 16335 + -8*1/2 composite?
True
Let n(a) = -45*a**3 - 2*a**2 - 9*a - 4. Let o be n(-4). Suppose 2*g = -0*g + o. Suppose 0 = 4*h - g - 1124. Is h composite?
False
Suppose 2*x = -3*x - 3*o + 5911, 4*x - 4*o = 4716. Is x a prime number?
True
Suppose 0 = -5*v + 4*h + 90, 0 = 5*v + 4*h - 52 + 2. Let y = 6 + v. Is (-70)/y*(1 - 27) composite?
True
Suppose q - 2*d = 5*q - 26, 0 = -2*d + 6. Suppose -z + b = -7 - 2, -q*b - 25 = 0. Suppose 0*l + 236 = z*l. Is l composite?
False
Suppose 2*z - 51026 = -5*d, 5*d - 6*d = 5*z - 127611. Is z prime?
True
Suppose 23*n = 17*n + 38910. Is n a composite number?
True
Let x(g) = -36*g**3 - 4*g**2 + 6*g + 5. Let r be x(-4). Suppose 0*t + 2*t + 4469 = -y, 0 = t + 5*y + r. Is t/(-44) - 4/(-22) a prime number?
False
Let y = 5123 - 2544. Is y composite?
False
Let l(w) = w - 14. Let g be l(17). Suppose -2*z + 4*p = -3*z + 5, z = g*p - 9. Is (-2444)/(-6) + 1/z prime?
False
Let u be (-3)/(15/4)*-10. Let c be 228/48 + (5/4 - 0). Is 6780/40*u/c a composite number?
True
Let a = -343 + 614. Is a composite?
False
Suppose -44*s - 27*s + 1064858 = 0. Is s a composite number?
True
Let f(i) = i**3 - 12*i**2 + 20*i + 2. Let q be f(10). Suppose -95 = -q*d - 3*d. Is d a composite number?
False
Suppose 0*t + 2*t = 3*b + 9, -3*t - 3*b - 24 = 0. Is (3/9)/(t/(-9495)) composite?
True
Let l(g) = 413*g - 3. Let x be l(5). Let i = x - 912. Suppose -5*b + 1437 = h, -2*b - h + i = 2*b. Is b a prime number?
False
Let m(h) = 12*h + 26. Let b be m(-2). Suppose -4 = 2*s, c - 3*c + b*s = -222. Is c a composite number?
False
Let k be 59 + 0 - 1*-2. Suppose -3*c = -r - k, -c + 3*r - 1 + 8 = 0. Is c a prime number?
False
Suppose -4830 = -5*i + 2495. Is i composite?
True
Let s(v) = 6*v**3 + 3*v**2 + 6*v - 3. Let w(q) = -q**3 - q + 1. Let h(d) = -s(d) - 5*w(d). Let n be h(-7). Suppose o - 2*