
True
Let q(i) = i - 4. Let s be q(7). Suppose 0 = 2*o + 2*v - 20, 18 = o - s*v + 8. Is o composite?
True
Suppose 2*c = 3*b - 2, -4*b - 3*c + 0*c = 3. Is (1 - b)*23*1 a composite number?
False
Suppose 1579 - 18 = j. Is j a prime number?
False
Let n = 134 + -87. Is n prime?
True
Suppose 0 = -4*u + 7 + 5. Is u - (1 - 3 - 38) composite?
False
Suppose -3*l + 1245 = 5*i - 44, -l = -4*i + 1038. Is i a prime number?
False
Suppose -5*u + 2*u = -1347. Is u a prime number?
True
Is 6/24 + (-1974)/(-8) composite?
True
Let w = -6 + 6. Suppose -f - 4*x = -0*x - 71, -2*f - 5*x + 127 = w. Is f a prime number?
False
Suppose -4*r + 431 + 180 = 3*j, -2*j = -2*r - 398. Is ((-10)/15)/((-2)/j) prime?
True
Let m(j) = -j**2 - 5*j. Let n be m(-6). Let p(y) = -2*y**2 + 4*y - 2. Let u be p(3). Let t = n - u. Is t prime?
True
Let n = -2 - -2. Suppose 2*q - 9 = -y, n = -0*q + 5*q + 2*y - 20. Suppose q*b = b + 37. Is b composite?
False
Let w(u) = u + 337. Is w(0) a prime number?
True
Let o = 777 + -451. Let c = o - 213. Is c prime?
True
Suppose -2*a = -0 - 4. Suppose -4*g + 2*c + 188 = -2*c, a*g - c = 93. Is g composite?
True
Let h(c) = 12*c**2 + c + 1. Let q be h(-1). Suppose s = -0*s + q. Is 250/3 - 4/s prime?
True
Let h(t) = -t - 1. Let f(z) = -165*z - 2. Let g(o) = f(o) + 3*h(o). Is g(-2) a prime number?
True
Suppose 4*s - 7*v + 2*v = 15, 0 = -2*v + 2. Let z = -2 + s. Is z a prime number?
True
Suppose -5*q - t = 6, 2 = -0*t - 2*t. Is (-2)/2 + (q - -129) composite?
False
Let c(n) = -27*n**3 - n**2 + n + 1. Suppose 0 = 2*t - 1 - 3. Suppose -3*q = 3*x - 6, q + 10 = -3*q + t*x. Is c(q) composite?
True
Is (45/(-6) - 1)*-22 prime?
False
Let r(g) = -g + 14. Let l be r(10). Suppose 2*d + 2*n = 0, 5*n + 1 = -2*d - 11. Suppose -2*p + 122 = l*v, -5*p + p = -d*v + 152. Is v prime?
False
Suppose -g = -4*a - 7745, -3*g + 13 + 2 = 0. Is a/(-35) + (-4)/14 a prime number?
False
Suppose 12 = 4*b - 7*b. Let g(l) = -10*l - 5 + 9*l - 17*l. Is g(b) a composite number?
False
Let k(f) = 2 + 1 - 11*f - 6*f**2 + 7*f - 9*f**3. Is k(-4) prime?
True
Suppose p + i - 2*i - 1 = 0, i + 4 = 0. Is (-5274)/12*2/p prime?
True
Let i = 131 + 456. Is i a composite number?
False
Let p be ((-1)/2)/((-21)/(-3612)). Is ((-10)/4 - -2)*p composite?
False
Let l be -3 + (-5)/(-1) - 0. Let b(o) = 1 - l*o - 2 - 5*o + 3*o. Is b(-8) a composite number?
False
Let x(z) = z**2 - 8*z + 8. Let q be x(7). Is 56 - (2 + -2 + q) composite?
True
Let w(t) = 3*t**2 + 43*t + 35. Is w(-22) composite?
False
Let s(f) = f**2 + 2*f - 4. Let d be s(-4). Is d/6*33/2 a composite number?
False
Let j(b) = b**2 - b + 4. Let f be j(0). Let r be ((-37)/2)/((-2)/f). Suppose 0 = -4*x + 3*x + r. Is x prime?
True
Suppose -6*u = -2*u - 180. Let m = -77 + u. Let p = -13 - m. Is p a prime number?
True
Suppose -3*m = 12, 3*m + 391 = 3*b + 34. Is b prime?
False
Suppose -2*b + 1 + 3 = 0. Suppose -477 = b*y - 1439. Is y a prime number?
False
Suppose -d = -4*d + 156. Suppose 0 = -4*y + 3*u + d, y - 2*u + u = 14. Is y a prime number?
False
Let y(g) = 57*g**2 + 5*g - 7. Is y(3) prime?
True
Let f = 137 + -52. Is f composite?
True
Suppose 4*d = 2*k + 22, 4*d - 6*k = -k + 37. Let t(q) = q**3 + 7*q**2 + 4*q + 3. Let w(g) = -3*g**2 - 2*g - 2. Let x(p) = 2*t(p) + 5*w(p). Is x(d) composite?
True
Suppose 0 = -2*t - 5*f + 25, 10 = -t + 3*f + 2*f. Suppose h = t*h + 4. Is 1 + (146/h)/(-2) a prime number?
False
Suppose 0 = 3*d - 4*d - 6. Let a be 13/(-1) - 2/1. Is d/a - 383/(-5) a composite number?
True
Let t be 10/15 + 730/(-6). Is t/(0 + (-3 - -2)) prime?
False
Let z = -10645 + 16314. Is z composite?
False
Suppose -g - 156 = 2*g. Let l = -6 - g. Is l composite?
True
Let z = -4 + 4. Suppose 4*q + 66 = 2*w, -3*w + z*w - q + 106 = 0. Is w a prime number?
False
Suppose 12 = 4*l, 4*x = 4*l + 10 - 2. Is (-1 - -51) + -4 + x composite?
True
Let g(l) = 3*l**2 + 5*l - 7. Is g(-9) prime?
True
Suppose 2*w + 2 = -0, 0 = -2*v + w + 9. Suppose -2 = v*o - 14. Is o a composite number?
False
Let y = 2 - -3. Suppose -2*z - 903 = -y*z. Is z composite?
True
Let b = -12 - -21. Suppose 12*t - 111 = b*t. Is t a prime number?
True
Let l(i) = 2*i**3 + 8*i**2 - i**3 - 2*i**3 - 3*i. Let v be l(9). Let g = 163 + v. Is g a prime number?
False
Let h be -1 - -2*(2 + -4). Is (-2892)/(-20) + (-2)/h a composite number?
True
Suppose 4*y - 3*y = 3. Suppose 2*r + y*r - 35 = 0. Is r a prime number?
True
Suppose -5*k + 41 = 2*n - 42, -n = -k + 11. Is k a composite number?
True
Let p be 727/3 + (-6)/(-9). Suppose 326 = 2*v + 2*v + 5*t, 3*t = -3*v + p. Is v a composite number?
False
Let z(y) = -71*y. Let l(g) = 70*g + 1. Let r(k) = 5*l(k) + 4*z(k). Is r(4) a composite number?
False
Suppose 0 = 2*x - 7*x + 2485. Is x a prime number?
False
Let b = 328 + -180. Suppose 0 = -0*m - 4*m + b. Is m prime?
True
Let z be 4/22 + 42/11. Let b = z - -15. Is b a prime number?
True
Let l = 185 + -88. Is l composite?
False
Let b(d) = 212*d**2 + 2*d + 1. Let h(x) = -x - 4. Let c be h(-3). Is b(c) a composite number?
False
Let c = 1657 - 1068. Is c prime?
False
Let q be -3*(-1 + (-2)/(-1)). Let f = -3 - q. Suppose 3*p - 357 = -f*p. Is p prime?
False
Suppose 11 = -3*x + g + 116, 2*x - 81 = -3*g. Let u = -7 - -9. Suppose -62 = -u*l + x. Is l a composite number?
True
Let h be (-1)/(-1*(-3)/(-291)). Let r = 171 - h. Let t = r - 37. Is t prime?
True
Is (-3)/(-6) - (-129)/2 composite?
True
Suppose 3*k + 1431 - 5040 = 0. Is k a composite number?
True
Let s(f) = -f**3 - f + 1. Let b be s(2). Let q(c) = -c**3 - 7*c**2 + 4*c + 1. Is q(b) prime?
True
Suppose 3*y = 7*y + 16. Let q(r) = 8*r**2 + 3*r + 5. Is q(y) a composite number?
True
Let z = -4 + 4. Suppose v + 1 - 4 = 0, z = -4*l - 4*v + 4. Is ((-43)/l)/((-2)/(-4)) a composite number?
False
Let o be (-2 + -1)/((-3)/3). Suppose o*t + n - 245 = 0, 5*t + 46 - 455 = -n. Suppose 5*f - 4*b - t = 3*f, 5*b = 4*f - 152. Is f composite?
True
Suppose 55*z = 50*z + 5435. Is z prime?
True
Let z(r) = -997*r. Is z(-1) a prime number?
True
Let k(c) = -c**3 + 8*c**2 - 8*c + 1. Let r be k(6). Suppose -3*s - 769 = -5*n, -4*n + 3*s = 52 - 669. Let l = n - r. Is l prime?
True
Let z(u) = u + 83. Let v(y) be the first derivative of -y**4/4 + y**2/2 + 1. Let o be v(-1). Is z(o) composite?
False
Let b = 15 + -13. Suppose -42 = b*f - 296. Is f prime?
True
Let l = 367 + -204. Is l a prime number?
True
Let l(r) = -r**2 + r + 131. Let o(k) = -5*k + 13. Let x(d) = -9*d + 26. Let h(b) = -11*o(b) + 6*x(b). Let g be h(-13). Is l(g) a composite number?
False
Let x be -5 - (2 + 1)/(-3). Let g(v) be the third derivative of v**5/10 + v**3/6 + 4*v**2. Is g(x) a composite number?
False
Suppose 3*z = 2*o - 517, -5*o - z + 1281 = 3*z. Is o a prime number?
True
Suppose -2*f + 7*f = 1855. Is f composite?
True
Suppose -11835 = -7*l - 3344. Is l a prime number?
True
Suppose -687 = -k + 2*g, k = -k + 3*g + 1369. Is k prime?
True
Let i(u) = u**3 + 3*u**2 + 3. Let j be i(-3). Let n(c) = c**3 - 4*c**2 + 4*c - 3. Let f be n(j). Suppose 4*y - 14 - 14 = f. Is y a prime number?
True
Let t = -3472 - -6474. Let u = t + -6328. Is u/(-18) + (-4)/(-18) composite?
True
Let q = 13 - 5. Suppose -4*a - x + 3 = 0, a + x + 1 = -2. Let u = a + q. Is u prime?
False
Let p(x) = x**2 + 2*x - 1. Let h = -4 - -1. Let o be p(h). Suppose -a - 4*f = 4 - 38, o*f = 2*a - 18. Is a prime?
False
Let x(a) = -a**3 - 9*a**2 + 10*a + 13. Let d be x(-10). Let s be (-2)/d + (-60)/(-52). Is (-148 - s)/(2 + -3) prime?
True
Suppose -3*z + x + 1 = -8, -2*z + 6 = 4*x. Suppose 5*j - 528 = z*j. Is (-1)/(j/(-261) + 1) prime?
False
Suppose j = 0, 5*j + 684 = s + 151. Is s prime?
False
Suppose -14*o + 11*o + 423 = 0. Is o a composite number?
True
Is (48 - (-5 - -1))*61/4 prime?
False
Let i(h) be the third derivative of h**6/45 + h**5/20 - 7*h**4/24 + h**3/3 + 2*h**2. Let w(f) be the first derivative of i(f). Is w(5) a prime number?
True
Suppose -2*c + a + 4304 = -0*c, 0 = 4*c + 4*a - 8620. Is c prime?
True
Suppose d + 4 = -1. Suppose 11 = 3*a - 4*a. Let p = d - a. Is p composite?
True
Suppose -4*v - 8 = -36. Let x(r) = -r**3 + r + 1. Let d(o) = -6*o**3 + 7*o**2 + 14*o + 9. Let g(b) = d(b) - 5*x(b). Is g(v) a prime number?
True
Let w(z) = 32*z - 1. Suppose 3*q - q - 2 = 0. Suppose v + 2*f + q = 0, 5*v - 4*v - f - 2 = 0. Is w(v) a composite number?
False
Let n(f) = 3*f - 9. Let