a = -1199. Is x a prime number?
True
Suppose -t + p + 743 = 2*t, 5 = -p. Suppose 31*h - 30 = 29*h. Suppose 3*x - t + h = 0. Is x a composite number?
True
Let y(p) = 28*p**2 + 11*p - 11. Is y(-8) prime?
True
Let o(j) = -126*j - 27. Let b be o(13). Let a = 1122 - b. Is a a composite number?
True
Let h(k) = k**3 + 3*k**2 - 9*k + 1. Let i be h(-7). Let j be 24/(-8)*(-31)/3. Let f = j - i. Is f composite?
False
Suppose 1209 = -2*n - n. Let j be (-359)/5 - (-13)/(-65). Let w = j - n. Is w prime?
True
Suppose -5*b - 29*q + 63703 = -25*q, -5*b = 5*q - 63705. Is b prime?
True
Suppose 0 = 15*w - 64 + 4. Suppose 30255 = c + w*c. Is c a prime number?
False
Let z(n) = -71*n + 1. Let v be z(-2). Suppose 0 = 2*c + 4*h - 564, 5*c - 2*h + 842 = 8*c. Suppose v = s - f, -2*s + 4*s - 5*f - c = 0. Is s composite?
True
Is (164281/26)/((-2)/(-4)) composite?
False
Suppose 5*r = 20, 2*r + 5 = 3*q + 4*r. Is (q + -144)/(-2 + 1) a prime number?
False
Let b(j) = -5*j + 39. Let d be b(7). Suppose -d*i = 3*s - 2*s - 6, 2*s + 5*i - 18 = 0. Is s a composite number?
True
Let h be (-61)/3 - 2/3. Let n(z) = 14*z**2 + 8*z - 4. Let g be n(-3). Let r = g - h. Is r composite?
True
Let c(k) = k**2 + k. Let w be c(1). Suppose 9779 = w*o + 5*o. Is o a composite number?
True
Let i(z) = -93*z - 37. Let c be i(-5). Suppose n + 75 = c. Is n composite?
False
Let i be 27740/(-12) - (-1)/(-3). Let w be (2/6)/((-4)/40476). Let d = i - w. Is d composite?
False
Let z(b) = -318*b + 4. Let m(q) = -320*q + 7. Let l(h) = -961*h + 22. Let s(d) = 2*l(d) - 7*m(d). Let f(g) = 5*s(g) + 6*z(g). Is f(-3) a composite number?
False
Suppose 3*h = -5*t + 269839, -42*h + 269843 = 5*t - 41*h. Is t a composite number?
True
Let z be -17 + 2 + 1 + -1. Let c = 12 + z. Is (-1 - 48/9)*c a composite number?
False
Let r(k) = 300*k. Let a be r(4). Suppose -2*z + 16 = 5*y, 5*z = 5*y - 6 + 11. Suppose -519 = -2*s + 2*l + 87, -y*l = 4*s - a. Is s prime?
False
Let l(i) be the first derivative of i**4/24 + i**3/3 + i**2 + 1. Let n(w) be the second derivative of l(w). Is n(2) a composite number?
True
Let j(w) = -4*w**3 + 19*w**2 - 17*w - 53. Is j(-16) a composite number?
False
Let u(n) = 348*n**2 - n. Let j(a) = -2*a - 14. Let x be j(-6). Let r(s) = -s**2 - 3*s - 1. Let i be r(x). Is u(i) a prime number?
True
Suppose -9 = 3*v - 27. Is ((-1227)/(-9))/(2/v) a prime number?
True
Suppose -199843 = -5*y - 10*r + 6*r, 2*r = -y + 39965. Is y prime?
True
Suppose 126821 - 21174 = 29*t. Is t composite?
False
Let w(x) = 20*x - 15. Let b(q) = q + 1. Let s(t) = -4*b(t) + w(t). Is s(10) a prime number?
False
Let f(d) = d**2 - 8*d - 8. Let j(t) = t - 1. Let x(b) = f(b) + 2*j(b). Let a be x(7). Is a*(850/6)/(-5) a prime number?
False
Suppose 5*o = 4*r + 37405, -5*o + 34824 = 4*r - 2541. Is o prime?
True
Let x = 38 + -38. Is 1441*(-1)/(-1) - x a prime number?
False
Let a be (-1*(-3)/4)/(2/24). Let n(g) = 55*g - 44. Is n(a) composite?
True
Let b(m) = 4*m - 11. Let w(k) = -k - 3. Let x(f) = -b(f) + 2*w(f). Suppose -s + 7 = -5*q, 44 = -4*s - 0*s - 4*q. Is x(s) prime?
True
Let g(t) be the first derivative of 4*t**2 + 10*t - 1. Let n be g(-5). Is n/135 - (-634)/18 prime?
False
Suppose -4511 = -5*x + 1724. Is x prime?
False
Suppose 5484 = 8*r + 4*r. Is r prime?
True
Let y be (-6)/15 + (2044/10 - 3). Let s = y - 40. Is s composite?
True
Let h = -2228 - -3905. Let b = h - 1123. Is b a prime number?
False
Let u = 38 + -68. Let r = u + 32. Suppose -r*c - 2*c = -1212. Is c composite?
True
Suppose 2*r + 5*h = 8882, 2*r + 4*h + 3821 - 12703 = 0. Is r prime?
True
Suppose -8 = 6*u - 10*u. Is 2/(u - 4 - (-7164)/3579) a composite number?
False
Let c(a) = 80*a**2 + a. Suppose -3*h + 0*k - 3*k - 12 = 0, k = 4*h - 4. Suppose h = n + 3*n, -3*n - 2 = 2*u. Is c(u) composite?
False
Let a = -15028 + 24061. Is a a composite number?
True
Let g(u) = 4*u**3 - u + 24*u**2 - 9*u**2 - 6*u**2 - 3*u**2 - 4. Let f be 1*(-2)/((-4)/10). Is g(f) a prime number?
True
Let t = 0 - -5. Suppose -t + 2 = -f. Suppose -249 = -f*g + 108. Is g composite?
True
Let f = -10 - -14. Suppose 0 = -i - f*i - 8630. Is (i/(-4))/(1/2) a composite number?
False
Suppose 86*k = 85*k + 8923. Is k a composite number?
False
Let t(j) = 45154*j + 7. Is t(1) a composite number?
False
Let t(o) = -695*o - 164. Let v(g) = -139*g - 33. Let a(h) = 2*t(h) - 11*v(h). Is a(14) a prime number?
False
Let l = -10 + 3. Let g(n) = 10*n**2 - 5*n - 6. Is g(l) a prime number?
False
Suppose 0 = -2*v - 3*j + 1818, v + j - 909 = -3*j. Let q = -5 - -27. Let k = v - q. Is k a prime number?
True
Suppose -3*d + 5*n + 10 = 4*n, n - 5 = 0. Suppose -672 = d*m - 2062. Is m composite?
True
Suppose -5*w = q + 6, 2 - 6 = q + 4*w. Suppose 3*d = -q*o + 4601, -2*o - 3*d = -791 - 1508. Is o a composite number?
False
Suppose 4*q = 9663 - 3279. Suppose -12*j + q - 168 = 0. Is j a composite number?
True
Suppose 2 - 14 = -3*k, -3*h + 3*k - 615 = 0. Let i = -108 - h. Is i composite?
True
Is (-28)/(-12) + (-2830)/(-15) a composite number?
False
Let j(n) = -2*n + 1. Let y be j(2). Let c be 6*(520/3 - y). Let f = c + -687. Is f a prime number?
False
Suppose 2*x - 999 = -85. Let k = -4 + 9. Suppose x - 72 = k*q. Is q a composite number?
True
Suppose -4*z = -52*z + 2641008. Is z prime?
True
Is (2/(-3))/(1356918/271386 - 5) composite?
False
Let d = -81 + 86. Suppose -d*v - 129 = -4*j, 0 = 3*j + 4*v - 47 - 42. Is j a composite number?
False
Let x = -2 + 2395. Is x prime?
True
Let i(t) be the second derivative of 6/5*t**5 - 1/12*t**4 + 0 + t + 1/2*t**3 - 3/2*t**2. Is i(2) a composite number?
False
Let q(v) = v**3 - 7*v**2 - 8*v - 10. Let z be q(8). Let o(r) = -r**3 - 5*r**2 - 3*r + 11. Is o(z) composite?
False
Let v = 219577 - -233092. Is v prime?
False
Let q(j) = -209*j + 63. Is q(-6) a prime number?
False
Let s(b) = 2*b - 4. Let w be s(11). Suppose 16*h + 1142 = w*h. Is h prime?
True
Suppose 3*c + 686 + 1408 = 0. Let i = 1893 + c. Is i composite?
True
Suppose 3*m - 4*m + u = -11, 4*u = -m - 4. Suppose m*q = 8013 - 2677. Is q a composite number?
True
Suppose 15*i + 3 = 18*i. Let n(s) = -76*s**3 - 5*s + 5. Let v(d) = 229*d**3 + 14*d - 14. Let z(t) = 8*n(t) + 3*v(t). Is z(i) prime?
True
Let j = 10875 + 12580. Is j prime?
False
Let w(t) = t**2 + 6*t - 19. Let k be w(-8). Is 42*(2 - k/(-2)) a prime number?
False
Suppose -9276 - 28334 = -10*d. Is d a composite number?
False
Let x = 11627 - 6330. Is x a composite number?
False
Let w(j) = 8*j**3 - 11*j**2 + 64*j - 14. Is w(11) a prime number?
True
Suppose 0 = 4*t - n - 209, t - 5*n + 6 = 44. Is t a prime number?
True
Suppose -9*j + 4*w = -14*j + 162051, -3*j = 3*w - 97233. Is j composite?
True
Let h(v) be the third derivative of v**4/24 - 2*v**3/3 - 5*v**2. Let a be h(-3). Let l = 20 + a. Is l a composite number?
False
Let g = 2 - 2. Suppose 2*n - 6 = -2*h, -2*h + 2 = -g. Suppose 0*r + 19 = w + n*r, 2*w = -3*r + 36. Is w a prime number?
False
Let a be 1/(-1 - (-5 - -3)). Let u be ((-8)/2)/a*1. Is ((-996)/10)/(u/10) prime?
False
Let b(t) = -1. Let f(q) = 13*q + 65. Let o(v) = -52*b(v) - f(v). Suppose -4*c = 2*h + 30, -5*c + 3*c - 4*h = 24. Is o(c) a prime number?
False
Let v be 2/(1*-4*8/26192). Let l = -66 - v. Is l prime?
True
Let p = 21 - 17. Suppose -p*f = 5 + 7. Is 1790/12 + f/18 a prime number?
True
Let s(c) = -3*c + 5*c + 22 - 5*c + 40*c**2 - 21. Is s(2) a prime number?
False
Let i be 965/(-2)*32/(-20). Suppose 5*h = 8*h + 5*s - i, -h = s - 258. Is h prime?
False
Let n = -137 + 80. Let g = -30 - n. Suppose 22*t = g*t - 725. Is t a prime number?
False
Let c be -3 + (-4 - 42/3). Let q = c - -21. Is -3 + (0 - -92) + q composite?
False
Suppose w - 20 = -4*k, -w + 5 = k + 3*w. Suppose -2359 = -k*i + 1006. Is i a composite number?
False
Let s = 0 + -1. Let q be (3 + (-3)/s)*2. Is (-1)/((q/(-381))/4) composite?
False
Let f = -14041 + 21080. Is f composite?
False
Let z = 3627 + -710. Is z a prime number?
True
Let i(a) = 2*a**3 + 2*a**2 - 3*a - 2. Let x be i(-2). Let c be 11/(10/x + 3). Suppose -14 = -5*v + 2*j, 4*v + 2*j + 0*j = c. Is v composite?
True
Let u(h) = -h + 2. Let w be u(2). Let o be 179*(-1 + w) + 3. Is 3*(o/(-6) - 2) prime?
False
Let p(s) be the second derivative of s**3/2 + 7*s**2/2 + 9*s. Is p(10) prime?
True
Suppose 2*s - 2578 - 2689 = -3*i, 4*i = 2*s + 7004. Is i composite?
False
Suppose -866