 = -o + 2*y, -o = -5*y + 10. Suppose -4*l + 4*f + 152 = o, -4*l + 2*f + 3*f + 155 = 0. Is l prime?
False
Let x be (-3)/(-2)*(0 + -2). Let j be (x - -2)*0 + 25. Suppose 70 = 5*p - j. Is p prime?
True
Let n = 110 - -591. Is n a prime number?
True
Is 290*3 + 2*3/(-6) composite?
True
Suppose 0*s + 3*v - 150 = -3*s, 5 = v. Suppose -s = -t - 2*t. Is t a composite number?
True
Suppose -4*v - 4*l = -24, -5*v + 5*l - 9 = 1. Let u be 10/3 + 10/15. Suppose v*k - u*i = 146, -k + 4*i + 94 = 27. Is k a prime number?
True
Suppose 54*w = 59*w - 6065. Is w a prime number?
True
Let v be 100/6 - (-4)/(-6). Let n be (-2)/(-8) - (-28)/v. Suppose 0 = -5*y - n*p - 0*p + 9, 0 = 3*y - 3*p - 18. Is y prime?
True
Let a be (-1 - (-1926)/2) + -2. Suppose 0 = 5*s + 145 - a. Is s composite?
False
Let p = 18 - 21. Let d(a) = -84*a + 1. Is d(p) a prime number?
False
Is ((-293)/(-2))/((-8)/(-16)) composite?
False
Suppose -3*y + 9 = -5*d + 87, -2 = 2*y. Suppose -3*w + 16 = -3*j - 11, w + d = -5*j. Is (-33)/6*j + 0 a prime number?
False
Let q(k) = -k**3 - 3*k**2 + 2. Let l be q(2). Let t be 4/(-18) - 76/l. Suppose -3*p + t*p - 43 = 0. Is p a prime number?
True
Let u(h) = -79*h - 3. Let g(c) = 157*c + 5. Let a(k) = 6*g(k) + 11*u(k). Is a(2) prime?
False
Let a(f) = f**3 + f**2 + 19. Suppose 0 = c + 4*c. Let z be a(c). Suppose 2*j = 27 + z. Is j a prime number?
True
Let l(h) = -h**3 - 12*h**2 + 12*h - 12. Let c be l(-13). Is (2 + c)*124/6 composite?
True
Let o be 429/(-5) - (-3)/(-15). Let p = o - -175. Is p a prime number?
True
Suppose g + 0*g - 14 = -3*k, -5*k = g - 22. Let m = 8 - k. Suppose -m*s = o - 46 - 37, 2*o - 103 = -5*s. Is s composite?
True
Let l = 165 - -61. Is l composite?
True
Let b = 30 + -12. Suppose 4*v - 3*v = -b. Let u = v - -51. Is u a prime number?
False
Let l = -5 - -6. Let a(n) = 460*n**2. Let k be a(l). Suppose 3*m - 345 = -2*f, -4*m - f = -0*m - k. Is m prime?
False
Let t = -1146 - -2461. Is t composite?
True
Is (-1428)/(-16) + (-1)/4 a composite number?
False
Let y = -8 + 39. Is y composite?
False
Suppose a - 3*d = d + 232, 3*d = -5*a + 1091. Let t = a - 131. Is t composite?
False
Let x be (-106)/13 + (-8)/(-52). Let n(t) = -t**3 - 7*t**2 + 7*t - 6. Let a be n(x). Is (4 + -17)*(1 - a) composite?
False
Is 219 - 1/(-2)*4 a prime number?
False
Let s = 5 + -2. Let y(q) = 3*q**3 - 5*q**2 + 5*q - 4. Is y(s) a composite number?
False
Let c(h) = -2*h**3 - 6*h**2 + 8*h + 3. Let y be c(-5). Suppose 4*t - y = -11. Is t a prime number?
True
Suppose 405 - 75 = 5*y. Suppose 5*r + y = r - z, -z = -4*r - 62. Let i = r + 54. Is i prime?
False
Let n = -162 - -116. Suppose -4*d - 404 = -8*d. Let t = n + d. Is t a prime number?
False
Let y be (-1791)/(-21) - (-2)/(-7). Suppose -3*j + 2*k + 85 = 30, -5*k - y = -5*j. Is j a composite number?
True
Let n(c) = 97*c - 6. Is n(7) prime?
True
Let c(q) = 34*q - 1. Let x(u) = -u**2 + 10*u - 11. Let y be x(8). Suppose 2*b - y*b = -6. Is c(b) composite?
False
Let c = 87 + 614. Is c prime?
True
Is 1/(-3) + 3744/54 prime?
False
Suppose -4*f + 0*f - 5*v = -182, 209 = 5*f - 3*v. Is f prime?
True
Let w(t) = -12*t + 2. Let q(y) = -11*y + 2. Let r(k) = -4*q(k) + 3*w(k). Is r(2) prime?
False
Let g be (1/3)/((-10)/(-990)). Suppose 2*n + 2*y = 3*y + 37, 5*y = 2*n - g. Is n prime?
True
Suppose 274 = 4*j + 5*r, 4*r + r = 5*j - 365. Is j a prime number?
True
Suppose -3*p + 11 - 5 = 0. Suppose -17 = -p*v + 1. Is v composite?
True
Suppose 87 = -3*c + 294. Suppose c = 3*x - 69. Is x a prime number?
False
Let z = 31 + 71. Suppose 5*d = 5*m + 245, 3*d = d + m + z. Is d a composite number?
False
Is (-2 - 0) + 96/6 a composite number?
True
Let j(n) = -n**3 - 8*n**2 - 9*n - 9. Let c be j(-7). Let y(v) = -3*v + 2 + 2*v - c*v**2 + v**3 - 5*v. Is y(6) prime?
True
Is 3890/30*(4 + -1) prime?
True
Suppose 2*j + 10795 = 19*j. Is j a prime number?
False
Let m(w) = 29*w**3 - 2*w**2 - 3*w + 5. Suppose 0 = 3*a - 10 + 4. Is m(a) prime?
True
Let b(l) = l**2 - 5*l + 2. Let g be b(5). Let k(u) = 3*u**2 - 3 + 2*u + u**2 - 7*u - 2*u**g. Is k(4) a prime number?
False
Let x(o) = o**3 + 9*o**2 + 9*o + 12. Let k be x(-8). Suppose -5*a - 416 = k*j - 1501, 2*j = 2*a - 416. Is a composite?
True
Suppose 3*f = 31 + 17. Suppose -4*d = -0*d + f, -4*d - 1207 = -3*k. Is k prime?
True
Let o(j) = -1. Let t(g) = -g + 1. Let p(b) = -5*o(b) - t(b). Let y be p(5). Let c = y + 10. Is c a composite number?
False
Suppose 4*c - 8 = -24. Let r be 3843/14 - (-2)/c. Suppose 329 = 5*d - 0*t + 3*t, -4*d = -3*t - r. Is d composite?
False
Let x be (4 + -2 - 1) + 4. Suppose 0 = -2*q - 5*o + 73, -2*q + x*q - 137 = -2*o. Is q a prime number?
False
Let f be (-1)/(236/238 - 1). Let g = f + 114. Let d = g + -150. Is d prime?
True
Let v(y) = -39*y**3 - 2*y**2 - 4*y - 4. Is v(-3) a prime number?
False
Suppose -5*l + 6927 - 2492 = 0. Is l a prime number?
True
Let n(l) = -l**3 - 2*l**2 + 3*l. Let s be n(-3). Suppose -3*k + a + 119 = -a, s = -5*k + 5*a + 205. Is k composite?
False
Suppose 14 = t - 53. Let l = t - -226. Is l a composite number?
False
Let i(r) = 85*r + 13. Is i(24) a composite number?
False
Let y be (3/2)/(9/4722). Suppose 4*s - y = 377. Is s a composite number?
True
Let h(b) = 19*b**2 - b + 1. Let l(o) = -o**3 - 7*o**2 - 8*o - 6. Let w be l(-6). Let x = -5 + w. Is h(x) a composite number?
False
Let d = -104 - -151. Is d composite?
False
Suppose 0 = l - r - 537, 1084 = 2*l - 5*r + 10. Is l composite?
True
Suppose v + 2*n - 752 = 337, 4*v - n = 4320. Is v composite?
True
Let p = 704 - 433. Is p prime?
True
Suppose -7403 = -4*r + 3*a, 0 = r + 3*a - 4*a - 1852. Is r composite?
False
Let a(r) = 18*r**2 - 5*r + 12. Is a(-5) composite?
False
Let t = -8 - -10. Suppose 3*u = -t*h + 3*h + 2, -4*u + 20 = 0. Is h composite?
False
Let h(i) = i**3 - 6*i**2 + i - 2. Let m be h(6). Let w be 3*1*(-1 + 24). Suppose -5*v + 0*y - y + 72 = 0, -3*y - w = -m*v. Is v a composite number?
True
Let l(g) = 70*g - 7. Let y(m) = 35*m - 3. Let b(j) = 4*l(j) - 9*y(j). Let n be b(-1). Suppose -2*f + 2 = 4, n = 2*c + 4*f. Is c prime?
True
Let o be 11/(-3)*(-12)/1. Suppose -5*b = 5*q - 20, -4*q + 2*b + o = -b. Let r = q - -13. Is r a prime number?
False
Suppose -2*l + 5*l + 7 = 5*h, 4 = 4*l. Suppose 3*n - h*n = 49. Is n a prime number?
False
Suppose -4*a = 4*j - 11856, -3*a + 4376 + 4515 = 4*j. Is a a prime number?
False
Let x(t) = 2*t**2 + 16*t - 1. Let g be x(-11). Let h = 124 - g. Is h prime?
True
Let s be (1/(-1) - -2) + 4. Is (2 - (-52)/5)*s a composite number?
True
Let a(k) = -5*k**3 - 11*k**2 - 7*k - 12. Is a(-7) a prime number?
True
Suppose 9*d = 3*d + 762. Is d prime?
True
Is 292 - ((1 - 5) + 3) composite?
False
Let z = -231 - -668. Is z composite?
True
Let j(u) = -36*u - 2. Suppose 5*z = -6 - 14. Let q be j(z). Suppose 4*t - 2*t - 144 = -4*d, -4*d - t + q = 0. Is d a prime number?
False
Suppose -2*r - 88 - 374 = 0. Let u = 346 + r. Suppose 4*b - l = 17 + 443, 0 = b - 4*l - u. Is b a composite number?
True
Let o(u) = -20*u**3 + u + 1. Let f be o(-1). Suppose -2*m = -f - 2. Is m prime?
True
Let n(x) = -8*x**2 + x - 4. Let g(d) = d**2 + 1. Let v(y) = -3*g(y) - n(y). Let b(p) = p**2 + 4*p - 3. Let j be b(-5). Is v(j) prime?
True
Let q = -478 - -1113. Is q a composite number?
True
Let i(x) = -4*x**3 - 6*x**2 - 3*x + 2. Let h(z) = 5*z**3 + 7*z**2 + 3*z - 2. Let l(t) = 5*h(t) + 6*i(t). Suppose 8 = 4*r - 12. Is l(r) prime?
False
Let n = 190 + -71. Suppose 13*t - n = 12*t. Is t a composite number?
True
Let d(h) = 538*h**2. Let i be d(1). Suppose -3*a = 3*s - 918, 5*a - 2078 = 5*s - i. Is a a composite number?
False
Let p(t) be the second derivative of 185*t**3/6 + 2*t. Is p(1) composite?
True
Suppose -353 = -3*g - 4*x, 4*x = -0*x - 4. Is g a composite number?
True
Suppose -5*w = 2*u - 6913, 5*w - 3*u = -4*u + 6909. Is w prime?
True
Let p = -1 - -3. Suppose 2 = o - p*o. Let u = 4 + o. Is u composite?
False
Let k be (-3)/(-5) + 908/20. Let b = k + -6. Let q = b + -27. Is q a prime number?
True
Let i(l) = l**2 - 6*l. Let t be i(6). Let v be t + -1 + -1 + -34. Is 2 - (v/1 + 1) a prime number?
True
Suppose 0*n = -3*n + 9. Suppose -n*z - 9 = -4*m - 52, -z - 3*m + 36 = 0. Is z a composite number?
True
Let f(o) = 17*o**2 - 5*o - 7. Is f(-3) prime?
False
Suppose 2*y - 126 = -y. Suppose 2*t + 14 = s, 5*s - 8 - 2 = -2*t. Suppose 374 = s*