et o be p(3). Let z = o + q. Is z prime?
True
Suppose 8*s - 33319 = -5*s. Is s a composite number?
True
Let p = -2 - -6. Suppose 2*b = -0*b - 4*g - 20, -10 = -p*b + 2*g. Suppose b*w + 3*w = 42. Is w composite?
True
Let n = 903 + -186. Is n prime?
False
Let s be (11/(-2))/(4/8). Let f(z) = -z**2 - 11*z + 2. Let h be f(s). Suppose h*d - 107 = 79. Is d a composite number?
True
Suppose 5*m = -5*s - 2315, 0*s - 4*s = 3*m + 1854. Let f = 836 + s. Is f a prime number?
False
Let x = 6 - 8. Suppose 3*q = 2 + 1. Is 91/(0 - (q + x)) composite?
True
Let u = -46 + 677. Is u composite?
False
Suppose -2*g + 4*o = -526, 3*g + 4*o + 135 = 924. Is g composite?
False
Let p = 80 - -9. Is p prime?
True
Suppose c = 4*s - 354 - 270, 0 = -4*s + 5*c + 624. Suppose -s = -3*q - 0*w + 3*w, -3*w + 229 = 4*q. Is q composite?
True
Let g be (-11)/(2*2/(-96)). Is (-2)/(-4)*(-2 + g) a composite number?
False
Suppose -y = -5*y + 16, -3*y = -2*j - 48. Is ((-52)/(-12))/((-3)/j) a prime number?
False
Suppose -5*a = 0, -c + 3*a + 550 + 313 = 0. Is c a prime number?
True
Suppose 4*j = -16, -l + 6*l - 5*j - 365 = 0. Is l a composite number?
True
Let h(t) = 432*t + 1. Let r be h(2). Suppose -r = -9*b + 4*b. Suppose 3*i = -y + 51, -b + 9 = -4*y - 2*i. Is y prime?
False
Let b be -6 + -1 - (7 - 8). Let p = b + 11. Suppose t + 85 = q - t, -5*q + p*t = -410. Is q a prime number?
True
Let i be 4/10 - 17/5. Let q(b) = -10*b**2 - 4*b. Let w(z) = 10*z**2 + 4*z - 1. Let x(p) = i*w(p) - 4*q(p). Is x(-2) composite?
True
Suppose 2*h + 190 = -5*o + 6*h, -4*o + 5*h - 143 = 0. Let s = -2 + o. Is (-1)/((2/s)/1) prime?
False
Suppose -3*t - 17 = 31. Let m be (36/t)/(3/(-56)). Let o = m + 35. Is o composite?
True
Let a = 3 - 1. Suppose 1348 = 6*w - a*w. Is w composite?
False
Suppose -r + 0*r = -228. Suppose -2*l + 154 = -r. Is l composite?
False
Let c(i) = -4*i - 4. Let f be c(-2). Suppose f*h = -2*y + 2166 - 818, -3*y + 1017 = 3*h. Is h a prime number?
False
Let o = -262 + 55. Let s = -148 - o. Is s prime?
True
Suppose 726 = 3*r - 93. Suppose -b = 2*b - r. Is b composite?
True
Let a(n) = -71*n - 2. Let v(b) = b**3 + 4*b**2 + 4*b. Let k be v(-3). Is a(k) composite?
False
Let x = 2 - 3. Is -39*(x + (-3)/(-9)) composite?
True
Let t(r) = -r**2 - 4*r + 4. Let a be t(-4). Suppose 0 = -b + 4*y - 3, -4*b - a*y = -2*y - 6. Is b/(-4) - (-399)/12 a prime number?
False
Is -5 + -597*4/(-12) a composite number?
True
Let z = -420 + 1017. Suppose -3*j + 353 = 4*p, 4*p = -5*j + 6*p + z. Is j prime?
False
Let q = 7 - 7. Suppose q = -6*l + 3*l + 882. Suppose -4*v + 5*u + l = -2*v, 2*v + 3*u - 326 = 0. Is v a composite number?
False
Suppose 1403 = 3*r - 4*v, -3*r = 3*v - 4*v - 1415. Is r composite?
True
Suppose 0*d - 4*d = -700. Let f = -108 + d. Is f prime?
True
Let u(o) = -o**3 + 12*o**2 + 6*o + 4. Let w be 0 + 0 - (-21 - -10). Is u(w) composite?
False
Suppose 0*r + 4*r = -12. Let b = -2 - r. Is (1/1 - b) + 14 composite?
True
Suppose 0 = -4*u - u + 10. Suppose -6*v = -u*x - v + 19, -x + 5*v = -17. Suppose 0 = -3*a + 5*w + 498, -x*w + w - 3 = 0. Is a a composite number?
True
Let s be (-1 - -3) + -2 + -2. Let t be ((-2)/4)/(s/(-24)). Is (267/t)/(2/(-4)) prime?
True
Let f(c) = c + c - 3 + 5. Let a be (2/4)/(1/12). Is f(a) prime?
False
Let h(p) = -7*p**2 + 1. Let b be h(-1). Let n(u) = 6*u + 2. Let v be n(b). Let t = v + 71. Is t a composite number?
False
Suppose 0 = -3*u + 21 - 3. Let g(i) = 7*i - 7. Is g(u) a composite number?
True
Suppose 3334 + 391 = 5*n + 5*v, v - 2231 = -3*n. Is n composite?
False
Let k = 97 - 46. Is k composite?
True
Suppose 5*n = -53 - 22. Let t = -9 - n. Let p(o) = 5*o + 1. Is p(t) a prime number?
True
Let b = 312 + -194. Suppose 5*v + 159 = 3*w + 45, 5*v - w = -b. Let c = v + 55. Is c prime?
True
Let u(m) = m**2 - 5*m + 47. Is u(24) composite?
False
Suppose -3 = 3*b + 27. Let k = -6 - b. Suppose -5*f = k*t - 145, -t + 4*f + 28 + 3 = 0. Is t prime?
False
Let f(u) = 3*u**3 - 4*u**2 + 2*u + 2. Let r = 2 + 1. Is f(r) prime?
True
Let h = 11 - 6. Suppose 0 = h*g - g - 24. Suppose -7*c = -g*c, -c = 4*w - 220. Is w composite?
True
Is 2884/21*(-6)/(-4) a prime number?
False
Suppose 4*p - 1205 = -5*m - 465, -m + 148 = -3*p. Suppose 2*a = -2*a - m. Let l = -23 - a. Is l composite?
True
Let n = -97 - -156. Is n composite?
False
Suppose 100 = 5*t - t. Is t a prime number?
False
Let d be (-2)/4 - 1/2. Let j = 2 - d. Suppose v - 5*m - 22 = 0, 4*v = j*v + 3*m + 16. Is v composite?
False
Is (5870/20)/(1 + (-2)/4) prime?
True
Let k be 62/22 + (-10)/(-55). Suppose 5*m = -5*u + 90, -2*u + k = 4*m - 61. Let q = m - -7. Is q prime?
False
Let i be 198/(-55)*(-20)/6. Is 9/(-6) + 846/i a composite number?
True
Let r = 1255 + -138. Is r a composite number?
False
Suppose 3*u - 2*j + 3*j + 21 = 0, 2*u = -2*j - 14. Let w(h) be the first derivative of -2*h**2 - 6*h + 1. Is w(u) composite?
True
Let m(c) = -c**3 - 15*c**2 - 9*c + 14. Is m(-15) prime?
True
Suppose -5*r + 85 = 3*t, -3*t + 3*r + 65 = t. Suppose -5*h + z = -2*z - 25, -4*h = -z - t. Suppose -19 = 5*c - 2*v - 121, -v + 114 = h*c. Is c a prime number?
False
Let w be 3/(-15) + 4391/5. Suppose -5*v + w - 53 = 0. Suppose -4*g - 5*n = -5*g + v, 133 = g + 3*n. Is g prime?
False
Let h = 2 - -7. Is (h + -3)/3 + 44 composite?
True
Let w = 3720 - -73. Is w a prime number?
True
Suppose -4*k + 9 = -k. Suppose -5*w - 2*j + 773 = 0, k*w - 302 = w + j. Suppose -6 = 3*c, -2*c = 3*t - 584 + w. Is t a composite number?
True
Suppose -5*s = 2*d + 14, -d - 14 = d + 4*s. Let g(z) = z**2 + 9*z + 8. Let r be g(-10). Let c = r + d. Is c a prime number?
True
Let z = 90 - 204. Let x = z - -233. Is x a composite number?
True
Let i(d) = d**3 + 3*d**2 - 5*d - 1. Is i(6) a composite number?
False
Let o be (2/(-4))/(3/36). Let i = -2 - o. Is ((-4)/3)/i*-267 composite?
False
Suppose -4*s + 10 = 5*a, -4*a + 4*s + 0*s = -44. Is a a prime number?
False
Let z(p) = -p**3 - 4*p**2 - 3*p - 6. Let c be z(-4). Suppose c*s - 3*s - 3 = 0. Let a(k) = 78*k**3 + 2*k**2 - 2*k + 1. Is a(s) a composite number?
False
Suppose -2*q = -0*q + 150. Let l = -125 - q. Is ((-22)/(-4))/((-5)/l) prime?
False
Is (-2)/(2/(-223)) - 0 a prime number?
True
Suppose 3*x - 22 = x. Let g(o) = 42*o - 16. Let w be g(x). Suppose s - 107 = -2*z, 2*z = -2*s - 2*s + w. Is s a prime number?
True
Let s be -1*6/3 + -2. Is (-3 - s)/(1/23) composite?
False
Let v(q) = q. Let f be v(-2). Let o = -16 + -7. Let n = f - o. Is n a prime number?
False
Suppose -2*l = l - 3. Let u(j) be the first derivative of 6*j**3 + j + 3. Is u(l) prime?
True
Is 0*4/16 - -31 prime?
True
Suppose o + 17 = 2*k, 0 = -2*k + 2*o - 6*o - 8. Let d be (3/k)/(3/12). Suppose d*m = 6*m - 740. Is m composite?
True
Suppose 4*l + 1096 = 3324. Is l composite?
False
Suppose -556 = -3*k + 221. Is k prime?
False
Let l be ((-21)/(-9) + -3)*-3. Suppose -l*h + 151 - 17 = 0. Is h a prime number?
True
Suppose -k - 24 = -5*k. Let h(f) = 13*f + 11. Is h(k) prime?
True
Suppose 0 = -3*u - 4*c + 1138, 2*c - 732 = -3*u + 404. Suppose -4*k = -k - u. Suppose -19 - k = -j. Is j composite?
True
Let f = 3 + -5. Let g(a) = -2*a**3 + 4*a**2 + 2*a - 2. Is g(f) composite?
True
Let p(j) = -j**2 + 16*j - 5. Let l be p(9). Let m = -5 + l. Is m prime?
True
Suppose -385 + 77 = -4*m. Suppose 2*b + m = -2*y + 209, 5*y - 4*b = 294. Let j = y + -29. Is j a composite number?
True
Let z be 0 - 0/(-1) - 2. Let g(v) = -v**3 + 4*v + 3. Let n be g(z). Suppose -5*o - 358 = -n*k, 4*k - 6*o = -4*o + 454. Is k a prime number?
False
Let c(h) = -h**2 - 7*h - 5. Let u = -5 + -1. Let r be c(u). Is r/(-1)*1*-83 composite?
False
Let d(b) = -19*b + 11. Let i(f) = -9*f + 5. Let m(l) = -6*d(l) + 13*i(l). Let y be m(-1). Suppose y*a + 125 = 7*a. Is a a prime number?
False
Let g(b) = 78*b + 16. Is g(7) a prime number?
False
Let h = 11 - 6. Let v be (1 - 13/5)*h. Is (-28)/v - (-1)/(-2) a composite number?
False
Let s(q) = -6*q - 1. Let j be (24/18)/(1/(-15)). Let o = 11 + j. Is s(o) prime?
True
Suppose 0*y + 74 = 2*y. Let t = 152 - y. Suppose -5*n + 0*n + t = 0. Is n prime?
True
Let l = 12 + -8. Suppose -c = l*c - 815. Is c a composite number?
False
Let k(w) = w**2 - 20*w - 7. Is k(-8) a composite number?
True
Suppose 114 + 135 = 3*z. Suppose -2*q - 11 = -z. Is (-2)/9 + 1340/q prime?
True
Let f(h) = -h**2 - 5*h - 6. Let g be 12/(-2) -