 prime?
False
Suppose 2*j - 1853 - 1021 = 0. Is j a prime number?
False
Suppose -4*b = 4*j - 3*j - 633, -3165 = -5*j - 2*b. Suppose 4*p - j = p. Is p a prime number?
True
Suppose 9*g = 5*g. Suppose g = 4*h - 17 - 211. Is h prime?
False
Let w(u) = 7 - 3 + 3 + 3*u**3 - 4*u**3 - 13*u**2 - 13*u. Is w(-12) a composite number?
False
Suppose -812 = -5*f + 83. Is f prime?
True
Let s(g) = -g**2 - 7*g + 1. Let v be s(-7). Suppose v = -p + 3. Is p + 102/(2 + 0) a composite number?
False
Let d(l) = 16*l**2 - 4*l - 3. Is d(-2) a composite number?
True
Let i(g) = 64*g**2 - 6*g + 5. Let p be i(-5). Let a = -38 + p. Is a a composite number?
False
Let b = -7 + 16. Suppose -b = 5*k - 4. Let x(v) = -67*v. Is x(k) composite?
False
Let c(p) = 7*p + 2. Let q(u) = -120*u - 35. Suppose -n = -d - 35 + 5, -3*d = -4*n + 85. Let a(h) = d*c(h) - 2*q(h). Is a(-7) prime?
False
Let h = 30 + -26. Is -2 - ((-732)/h + 0) composite?
False
Suppose -233 = 3*w - 734. Is w a composite number?
False
Is (-378)/(-4) - 12/8 a prime number?
False
Let p(z) = 128*z + 6. Is p(2) a composite number?
True
Let u(w) = -7*w + 3. Let z be u(-9). Suppose -3*q - z = -3*f, 4*f + 2*q - 70 = -0*q. Is f prime?
True
Let d(l) = l**2 - 12*l + 13. Let w be d(10). Let z = w - -13. Let o(c) = 7*c - 5. Is o(z) prime?
True
Let w(p) = -p**3 + 8*p**2 + 3 + 2 - p**3 + 6*p + 3*p**3. Let x be w(-6). Let r = -26 + x. Is r composite?
True
Let q(d) be the first derivative of -31*d**2/2 - 3. Let t be q(-1). Suppose j - 12 = t. Is j a composite number?
False
Suppose -2*u + g + 0*g + 2406 = 0, u = 4*g + 1217. Is u prime?
True
Let q(s) = 63*s - 28. Is q(19) a composite number?
True
Suppose -3*h - 4 = 11. Let m(g) = g**2 + g. Let u(q) = 4*q**3 - q**2 + 6*q - 1. Let c(v) = h*m(v) + u(v). Is c(4) prime?
True
Suppose 2*u = -4*r - 460, -u + 2*u - 121 = r. Let s be (-638)/8 - 1/4. Let w = s - r. Is w prime?
True
Let p be 1/((20/(-48))/5). Let j = 211 + p. Is j a prime number?
True
Suppose 81*c = 80*c + 143. Is c prime?
False
Suppose 6*f = f + 2*w + 4375, 4*f - 3488 = 4*w. Is f a prime number?
True
Let t(l) = 3*l**2 + 1. Let q be t(-2). Let d(j) = 5*j - 6. Is d(q) a composite number?
False
Suppose -10 = -3*x - 2*x. Let z(q) = -q - 1 + 7*q**2 - q**2 + 17*q**x. Is z(2) a composite number?
False
Is (-157301)/(-76) + 6/(-8) a composite number?
False
Let k(c) = -c**2 + c - 3. Let h be (-1 + 1)/(1 + -2). Let s be k(h). Is (-3 + (-6)/s)*-127 composite?
False
Let q(a) = -175 + 28 + 3*a - 2*a. Let x be q(0). Is 1/((-3)/(-6)) - x a composite number?
False
Suppose 2*y + y = 2*k + 3046, k = 1. Suppose h + 5*d = 219, -3*d + y = 4*h + 174. Is h a prime number?
False
Let y = -3 - -16. Is y a composite number?
False
Let x(u) = -2*u + 6. Let g be x(4). Is 750 + (g - (-2 - -1)) prime?
False
Let g = 9453 + -5300. Is g a prime number?
True
Let o be 1/(-2)*(1 - 5). Let h(y) = y**3 - 20*y**2 - 26*y - 15. Let c be h(22). Suppose -o*l = l - c. Is l composite?
False
Let o be 0/2 + (2 - -1). Suppose -3*j = -o*z + 7*z + 279, 5*z - j + 363 = 0. Let x = z + 119. Is x a prime number?
True
Let z = -164 + 87. Let f = z - -133. Suppose 0 = 2*x - 5 - 3, -4*s = -x - f. Is s a prime number?
False
Let c(x) = -2*x - 7. Let i be c(-5). Suppose -3*a = -0*v + i*v - 333, 341 = 3*v - a. Is v prime?
True
Is ((-1)/(-3))/(-6 + (-121849)/(-20307)) a composite number?
False
Suppose 5*t = 909 + 11. Suppose -4*r - 3*q - 2*q = -t, 3*r - q = 119. Let n = r + 38. Is n composite?
False
Suppose 0 = 11*g - 11029 + 3340. Is g a composite number?
True
Suppose 0 = 2*k - 11*k + 3339. Is k a composite number?
True
Let m(f) = f**3 - f**2 + 2*f - 1. Let w be m(1). Suppose q + 4 = -w. Let k(z) = -6*z + 3. Is k(q) prime?
False
Let c = -3 - -9. Let k = -4 + c. Suppose 0 = -4*t - r + 25, 4*t + 4*r - 26 = k*r. Is t composite?
True
Let k be (4 + -2)*(-10)/4. Let f(b) = -2*b**3 - 5*b**2 - 3*b + 1. Is f(k) prime?
False
Let y(s) = 3*s**3 + 6*s**2 - 8*s + 1. Let r(f) = 9*f**3 + 17*f**2 - 23*f + 3. Let h(p) = -6*r(p) + 17*y(p). Is h(-2) prime?
True
Suppose 3*n = 6*n + 3. Let l = 8 + n. Is l composite?
False
Let v(t) = -t - 5. Let k be v(-6). Let n be (-1)/(k + -2 + 2). Is n/(-4) + 249/12 prime?
False
Let w = 434 - -1365. Is w composite?
True
Let x(h) = 24*h + 1. Suppose 0 = 2*o + 5*p + 8, -3*o + 3*p + 46 = 16. Let c = o - 4. Is x(c) prime?
False
Let v(z) = z**3 + 12*z**2 - 7*z + 1. Let m(u) = u**2 - u - 1. Let c(y) = 4*m(y) - v(y). Is c(-9) a prime number?
False
Let s(h) = 5 - 16 + 0*h**3 - 12*h**2 + h**3 + 3*h**2. Is s(10) a composite number?
False
Suppose -j = 3*j + 5064. Is (1/3)/((-2)/j) a composite number?
False
Let q(y) = -y - 4. Let i be q(-11). Suppose -i - 5 = -3*o, -4*o - 399 = -5*n. Is n a composite number?
False
Let x(z) be the second derivative of -4*z**3/3 + z**2/2 + 6*z. Is x(-6) composite?
True
Suppose 2*l + 4*m = -608, -l - 7*m + 3*m = 306. Let k = 201 - l. Is k a composite number?
False
Let n(h) = 31*h + 9. Is n(8) composite?
False
Suppose 2*o + 3 = 1. Let z be 6 - 2/(o + 2). Suppose z*h - 192 = -4*t, 6*h + 3*t = h + 250. Is h a prime number?
True
Let v(q) = 8*q**3 + 6*q**2 - 2*q - 1. Is v(4) prime?
True
Suppose 5*x = 8 + 17. Suppose 0 = 4*u - 154 - 194. Suppose -x*l - u = -262. Is l prime?
False
Let x(u) = -38*u**3 + 1. Suppose 0 = 5*n + 3*p - 7, 2*n - 5*p = -2*n - 24. Is x(n) composite?
True
Suppose 0*p + 2*p - 28 = 0. Is p composite?
True
Let j(c) = c**2 - 3*c + 1. Let a be j(3). Let o be -213 + (3/a)/3. Let i = o - -541. Is i a prime number?
False
Let l = 12 - 11. Let j(p) = -76*p**3 - 14*p**2 + 11*p + 3. Let f(h) = -25*h**3 - 5*h**2 + 4*h + 1. Let m(n) = 17*f(n) - 6*j(n). Is m(l) a prime number?
True
Suppose 2 = 3*s - 1, -5*h - 4*s = -99. Is h a prime number?
True
Suppose 860 = 3*o + o + 4*u, 0 = -4*u - 8. Suppose -63 = 2*l - o. Is l a prime number?
False
Let r be (10/(-6))/(2/(-6)). Let z be -5*(-2 + (-164)/r). Suppose -x - z = -4*x. Is x prime?
False
Let z be (-21)/(-14) + 1/2. Let x(d) = 38*d + 3. Is x(z) prime?
True
Suppose p - 20 = -4*p. Suppose 0 = -0*o + p*o - 308. Is o prime?
False
Suppose 4*k = -5*a + 2*a + 4, -a + 16 = 5*k. Is k*(-2 + (-405)/(-12)) prime?
True
Suppose -b + 1 + 4 = 0. Let k(s) = -s**2 + 4*s + 7. Let w be k(b). Suppose -42 = -w*t - 0*t. Is t prime?
False
Let x(b) = -7145*b + 2. Is x(-1) a composite number?
True
Suppose z + 11 = 381. Suppose 4*l - 474 = z. Is l prime?
True
Let d(s) = -10*s - 1. Let l(w) = 21*w + 3. Let y(h) = 5*d(h) + 2*l(h). Let p be y(-7). Let r = p - 34. Is r a composite number?
False
Let r(p) = 59*p**2 - 26*p - 7. Is r(6) a composite number?
True
Suppose -4*n = 3*w - 69 - 29, 4*n - 3*w - 86 = 0. Is n composite?
False
Suppose -5*o = 5*i + 210, -7 = -o - 4*i - 58. Let c = 152 + o. Is c a composite number?
False
Is (12/18)/((-2)/(-3093)) a prime number?
True
Suppose 5*i + 504 = 2894. Is i a prime number?
False
Suppose 734 = 5*a - 3*m, -3*m - 299 = -2*a - 0*m. Is a a composite number?
True
Let u(t) be the third derivative of -t**6/180 - t**5/24 - t**4/12 + 3*t**2. Let i(y) be the second derivative of u(y). Is i(-9) a composite number?
False
Suppose 8*y - 447 = 19177. Is y prime?
False
Suppose 5*q + 35 = 6*q. Is q composite?
True
Suppose -y + 0*y = -4. Suppose -y*j - 101 = -9. Let h = 144 + j. Is h composite?
True
Let j(n) = -n**2 - 5*n - 1. Let w be j(4). Let i = 12 - w. Is i a prime number?
False
Let h be 1/(-2)*1*-6. Suppose -4*g - 5 + 1 = 0, -3*g = -3*l + 453. Suppose -3*x + 2*y + y + l = 0, h*x - 160 = y. Is x composite?
True
Suppose 4*l + 0*l = -12, -5*u = -3*l - 24. Suppose 190 = u*z + 2*z. Is z + -2 + (-3)/(-1) composite?
True
Let j(r) = r**3 - r**2 + r + 1. Let b be j(2). Suppose 3*y = b - 1. Is y prime?
True
Let v(x) be the third derivative of -5*x**4/4 - x**3/2 - 2*x**2. Is v(-2) a prime number?
False
Let x(z) = z**3 - 7*z**2 - 3*z - 8. Let s(b) = 3*b**3 - 21*b**2 - 8*b - 23. Let t(m) = -6*s(m) + 17*x(m). Let g be (12/(-3))/2 + 6. Is t(g) composite?
True
Let o(l) = 3*l + 7 + 2*l - 4*l. Let t be o(-5). Suppose 3*g = t*g + 13. Is g a composite number?
False
Suppose -68 = -3*y + 31. Suppose -5*u = -42 - y. Is u a composite number?
True
Let h(x) = x - 4. Let b(w) = -w + 7. Let c(o) = -3*b(o) - 5*h(o). Let g be c(-8). Is 1/5 - (-927)/g prime?
False
Let n(w) = w - 2. Let l be n(5). Is (l - (-44)/(-8))*-58 prime?
False
Let a(g) = 