x prime?
True
Let j(f) = 73*f**2 - 3*f - 4*f + 7*f + 1. Let t be j(-2). Let n = 8 + t. Is n composite?
True
Is 5/(-20) - 4781/(-4) prime?
False
Suppose -q - 363 = -4*o, -707 = 3*q + 2*o + 354. Let v = q + 746. Let y = -228 + v. Is y prime?
True
Let h(d) = 125*d**2 + 2*d + 1. Let k(w) be the third derivative of -w**6/120 - w**5/20 - w**3/3 - w**2. Let s be k(-3). Is h(s) prime?
False
Suppose 15*a = 9*a + 4434. Is a a composite number?
False
Suppose -4*k + g = -5 - 11, k + 5*g = -17. Suppose -k*c + 98 = -7. Is c composite?
True
Let a be (-1)/(-6)*-4*-21. Let n(d) = 24 - 2*d**3 - 4*d - 15 - a. Is n(-5) a prime number?
False
Is (8/12)/((-14)/(-22281)) prime?
True
Let g be 14/3 + (-4)/6. Suppose o + 0*u + g*u - 3 = 0, -5*o + 5*u = -15. Suppose -3*h + 0*z = o*z - 444, 5*h = z + 722. Is h composite?
True
Let z = 1688 + -327. Is z composite?
False
Let a = 47 + 164. Suppose -5*x = 2*d - 179, a = 4*d - d - 4*x. Is d a composite number?
True
Let a(x) = -x**3 + 48*x**2 - 22*x + 42. Is a(47) composite?
False
Let h(j) = j**2 - 7*j - 14. Let w be h(9). Suppose w*i = 8*i - 5856. Suppose 497 - i = -c. Is c a composite number?
False
Let u(x) = 5*x + 746. Let r(g) = -3*g - 373. Let w(f) = 7*r(f) + 4*u(f). Is w(0) composite?
False
Suppose -3*l - 1302 = -0*d + d, 4*d + l + 5219 = 0. Let x = d + 2258. Is x composite?
False
Let z be (2 + -14)*(-4)/12. Suppose 3*h + z*w = 197, -4*w - 10 + 30 = 0. Is h a composite number?
False
Let q(s) = -8*s + 9. Let w be (2/3)/((-24)/396). Is q(w) a prime number?
True
Let l(t) = 3*t - 1. Let y be l(1). Is 180 + 3 + 4/y a composite number?
True
Suppose 40*r = l + 35*r - 6139, 16 = 4*r. Is l a prime number?
False
Let o(k) = -k**2 - k + 13. Let b be o(-4). Is ((-3602)/(-4))/(b/2) composite?
False
Let p(x) = 39*x - 67. Is p(16) prime?
True
Suppose l - 4*n - 966 = 0, -5*l - 2878 = -8*l + 2*n. Let z = 150 + -79. Suppose 0 = -g - z + l. Is g composite?
False
Let a(s) = -s**3 - 1. Let i(r) = 2*r**3 - 2*r**2 - r + 4. Let d(x) = 3*a(x) + i(x). Let v be d(-2). Suppose -4*c = -v*c - 422. Is c a prime number?
False
Let d = -68827 + 109724. Is d a composite number?
False
Let i = 118 + -117. Suppose -5*k = -6*k + i, -3*o + 3*k = -8700. Is o prime?
False
Let n be (-1)/(-2)*(7 + 3). Suppose 4*z - 18 = -n*m, -2*m - m + 4 = -z. Suppose 3*o + 2897 = 3*a + o, -2*a + 1930 = -m*o. Is a prime?
True
Let a = 12000 + -7301. Is a a prime number?
False
Suppose 5*v = -3*t, t + 4*v + 5 = -2. Let b be 35*3 - (-7 + 9). Suppose -2*g - 2*g = -s - b, 3*g - t*s = 73. Is g a prime number?
False
Suppose -2*z - 3*a = 2499, 2*z + 2*a = -2*z - 5010. Let b = 4913 + z. Is b prime?
True
Let g(f) = 7*f**2 - 27*f + 87. Is g(14) a prime number?
False
Let r be (1/3)/(11/34254). Suppose 4*x = j + r, -4*x - 50 = 2*j - 1082. Is x prime?
False
Let c(l) be the first derivative of -18*l**2 - 23*l + 9. Is c(-11) prime?
True
Let c(j) = 6*j + 16. Suppose -4*z = 20, 2*z - 4*z - 35 = -5*r. Is c(r) a composite number?
True
Suppose 0 = u - 7289 + 2976. Is (-3)/(-18) - u/(-6) a composite number?
False
Suppose -3*k = -4*o + 2798, 1871 + 935 = 4*o + k. Let d = 34 - 16. Let q = d + o. Is q a composite number?
False
Let u(s) = 9238*s - 3. Let m be u(2). Is 12/30 + m/5 a prime number?
False
Let x(t) = -t - 3. Let d(c) = 5*c + 15. Let k(r) = 2*d(r) + 11*x(r). Let s be k(-7). Suppose 0 = 8*i - s*i - 1516. Is i prime?
True
Suppose 11 = y + 9. Suppose -853 = -y*i + 2325. Is i a prime number?
False
Suppose -22*o + 16*o + 330 = 0. Is o composite?
True
Let y = 511 - 729. Let k = -7 - y. Is k composite?
False
Let l(v) = -v**2 - 4*v - 4 + 0*v - 3*v + 0*v. Let z be l(-6). Suppose 0 = z*h + h - 93. Is h composite?
False
Let f = 12 + -5. Suppose -f*k = -5473 - 1450. Is k prime?
False
Suppose -157 = -4*h + 67. Suppose 3*t + 61 - 7 = 5*k, 5*k - 2*t - h = 0. Suppose -385 = 7*v - k*v. Is v a prime number?
False
Let r = -140 - -230. Suppose 0 = 2*c - 0*c + 4*n + r, n - 144 = 4*c. Is 1 - -1 - 2 - c composite?
False
Let b(a) = -a**3 + 2*a**2 + 3*a + 5. Let d be b(4). Let p(g) = 14*g**2 + 24*g**3 + 0*g**2 + 13 - 17*g - 23*g**3. Is p(d) a prime number?
True
Let b(o) be the first derivative of -1/4*o**4 + 6 - 4/3*o**3 + 3*o**2 + 6*o. Is b(-7) a prime number?
False
Let f be (-8)/16 + 5409/2. Suppose -f = 3*y - 517. Let b = -302 - y. Is b composite?
True
Let g(k) = -2*k + 22*k + 20 - 13. Let a be g(-5). Let l = 206 + a. Is l a prime number?
True
Let c(b) = -b + 4. Let r(j) = j - 5. Let d(m) = -3*c(m) - 4*r(m). Let s be d(3). Suppose 2 = -l - 2, -s*l = -3*y + 293. Is y composite?
True
Let l = 97 - 105. Is l/12 + 23217/9 a prime number?
True
Suppose 6*k - 395 - 1321 = 0. Let c = k + 301. Is c a composite number?
False
Let k = 21071 - 12408. Is k a prime number?
True
Let u be 2/(-6) - 2/3. Let s be 2 - (u - -3 - 3). Is s - 0 - (-440 + -2) a prime number?
False
Let q = -42 + -9. Let r = q + 102. Is r a composite number?
True
Suppose -5*z - 1 = 2*n - 6, 4*z = -4*n + 4. Suppose 4*h - 121 = -3*u, h + 2 = -n*h. Is u a composite number?
False
Suppose 0 = 11*a - 8*a - 15, -2*c + 5*a = -80085. Is c a prime number?
False
Suppose -4*v = -q - 3*q - 35476, 0 = 3*q - 12. Is v a prime number?
False
Let t = 595 + -228. Is t prime?
True
Suppose 81891 - 22047 = 12*a. Is a composite?
False
Suppose -2*y - 3*o = y + 645, 3*o = -15. Let i be ((-12)/14)/(45/y). Suppose i*m - 129 = 1867. Is m a composite number?
False
Let a = 38384 - 17295. Is a a prime number?
True
Let g(z) be the second derivative of z**4/12 + z**3/6 + z**2/2 + 4*z. Let n be g(3). Let p = n - 3. Is p prime?
False
Is (-14)/7 + 0 - -129 composite?
False
Let g(l) = 4*l - 3. Let c be g(20). Is 41767/c + 3/(-7) a composite number?
True
Let x(v) = -v - 3. Suppose 2*d + 21 = 2*u + u, 0 = d + 2*u - 7. Let i be x(d). Suppose i = 2*r - r - 835. Is r a prime number?
False
Let r(a) = -a**3 + 6. Let s be r(0). Let o(j) = 3*j**2 + 5*j - 9. Let m be o(s). Suppose t = 4*t - m. Is t a prime number?
True
Let a(h) = 3*h**2 - 3*h - 5. Let y(c) = 22*c**3 - 1. Let i be y(1). Let t = i + -14. Is a(t) prime?
False
Let h(g) be the third derivative of 0 - 13*g**2 + 17/6*g**3 + 3/20*g**5 + 11/24*g**4 + 0*g. Is h(-9) prime?
True
Suppose 0 = 5*a - 2*c + 3*c - 49, 5*c = -5*a + 45. Suppose -3*m - 9 = -0*x + 3*x, 0 = 4*m - x - 13. Suppose a = -m*b + 24. Is b a prime number?
True
Let c(r) = -r**3 - 8*r**2 - 2*r - 1. Let u be c(-11). Is -4 + (3 - u/(-2)) a prime number?
True
Suppose -14*v + 1684 = -11224. Is v composite?
True
Let x(k) = k**3 + 29*k**2 - 5*k + 25. Is x(-27) prime?
False
Suppose 5*p = 91 - 16. Is p a prime number?
False
Let s = 49 - 47. Is ((-3)/(-9))/(s/11082) prime?
True
Let i(s) = s**2 + 20*s + 14. Suppose -13*k = -11*k + 26. Let b be i(k). Is ((-6)/(-3))/(-2)*b composite?
True
Let g = 91891 - 18182. Is g a prime number?
True
Let j = -845 - -1282. Let k = j - -476. Is k composite?
True
Let z(b) = 2*b + 23. Let j be z(6). Suppose j*q - 30*q = 575. Is q a composite number?
True
Let h(y) = 111*y + 125. Is h(16) composite?
False
Suppose -2*a = 4, a - 159 = -y - 28. Is y a prime number?
False
Let q(u) = 103*u + 10. Let y be q(4). Let o = 753 - y. Is o composite?
False
Let z = -3182 - -6001. Is z prime?
True
Suppose 6303 = 2*j + s, -5*j = -3*s - 0*s - 15752. Is j a prime number?
False
Let q = -33 - -36. Suppose 3*w + w - 1960 = 4*y, -q*w - 4*y + 1449 = 0. Is w a composite number?
False
Let j(g) be the second derivative of g**5/20 + g**4 - 7*g**3/3 - g**2/2 + 11*g. Is j(-10) a composite number?
True
Let q = -957 + 1752. Suppose 0*g - q = -5*g - 2*x, 0 = -4*g + 2*x + 654. Is g prime?
False
Let o(g) = -g + 331. Suppose -15 = -x - 3*y - 0*y, y - 5 = -4*x. Is o(x) prime?
True
Let c = 13931 + -1400. Is c prime?
False
Let s = 5150 + 10972. Suppose s + 8783 = 17*h. Is h prime?
False
Suppose 4180 = 7*x - 111. Suppose 0 = -3*v + x + 86. Suppose 1654 = 7*k + v. Is k prime?
False
Suppose 0 = -2*c - m + 940, 469 = c + 2*m - m. Suppose c = 4*o - o. Is o prime?
True
Let z be (-9)/6*334 - (-27)/9. Is (z + -1)/((-3)/(-45)*-3) prime?
False
Let g(c) = 2*c**3 - 5*c**2 + 10*c + 20. Let s = 36 + -27. Is g(s) a composite number?
False
Let a(l) = -l**3 + 9*l**2 - 1. Let w be a(9). Let u = 2 - w. Suppose 3*h - u*b - 2751 = 0, -b - 3*b - 911 = -h. Is h a composite number?
False
Suppose -406*v + 31469 = -405*v. Is v a com