-1640 - -2739. Is j composite?
True
Suppose 5*n = -3*y + 5 + 5, -4*y + 2 = n. Let a(s) = -8*s**3 - s + 9*s**3 + 2*s**2 + 6*s**n + 1. Is a(-7) composite?
True
Let l(j) = -5*j**3 + j**2 - j - 1. Let n be l(-1). Let h = -42 - n. Is (11/4)/((-6)/h) prime?
False
Let w(k) = 41*k + 29*k - 1 + 2. Let v be (-3)/18 + (-57)/(-18). Is w(v) prime?
True
Suppose -4*g + 6 = -g. Suppose g*c - 3 = 1. Suppose -l = -c*b + l + 14, -3*l = -4*b + 30. Is b composite?
True
Let c be (2/3 + 0)*3. Suppose l - i = -1, l - 2*i = -c - 2. Let k(b) = 20*b**2 - 1. Is k(l) composite?
False
Let c(h) = -h**2 + h - 1. Let u(d) = 5*d**2 - 3*d + 1. Let q(o) = 4*c(o) + u(o). Let g be q(-3). Suppose 51 - 12 = g*l. Is l prime?
True
Suppose -124 + 530 = 4*b + d, 3*b = -3*d + 309. Let y = b - 64. Is y prime?
True
Suppose a - 313 = 224. Is a prime?
False
Let a = -1 - -3. Suppose -3*g + 5 = -a*g. Suppose g*w = -5 + 190. Is w a composite number?
False
Is (-4444)/(-20) + 4/5 composite?
False
Let y = 6 - -2. Suppose -4*z + 16 = -3*f, 2*z = -0*z + y. Suppose 4*c = i + 2*i - 37, f = -3*i - 3*c + 51. Is i prime?
False
Let v(d) = d**3 + 3*d**2 + 2*d - 2. Let h(a) = 5*a**3 + 14*a**2 + 10*a - 10. Let z = 19 + -8. Let o(f) = z*v(f) - 2*h(f). Is o(-4) prime?
False
Let x = -5 - -7. Suppose x*j + 0*j = 26. Is j a composite number?
False
Let m(o) = o**3 - 8*o**2 + 13*o. Let i be m(4). Let u = -350 + 664. Is (-8)/i + u/6 a prime number?
True
Suppose 0*l = -2*l + 4. Suppose -v = -4*o + 17, 0 = -l*o + 6*o - 20. Suppose -1 - 62 = -v*j. Is j composite?
True
Let m be (8/10)/(6/15). Suppose 10 = q + s, m*q = 7*s - 2*s - 15. Suppose 114 = 3*v - 2*y + 5*y, q*y = v - 14. Is v a prime number?
False
Let b be 20/9 - 6/27. Let w be (-100)/(-8) + b/(-4). Suppose r - 2*r + 15 = 3*f, 4*r + w = 0. Is f composite?
True
Suppose -2*y = -3*l - 2*l - 26, -5*l = 5*y + 5. Suppose -y*h - 232 = -h. Let t = 243 + h. Is t a prime number?
True
Let x(o) = -12*o - 4. Let z(n) = 3*n + 1. Let h(p) = -2*x(p) - 9*z(p). Let s be h(-2). Suppose -2*r - 5*u + 22 = 4, 5*u - 60 = -s*r. Is r a composite number?
True
Let o be -2*(39/2 + 0). Is (0 - 2)*o/2 prime?
False
Suppose -4*o = o. Let b(f) = f + 22. Is b(o) prime?
False
Let v be 153/3 + 1 + -1. Suppose -5*o - v = -f, -2*o = -4*f - o + 204. Is f a composite number?
True
Let o(a) = -a**3 + a**2 - a + 19. Suppose -4*b = -h - b, 4*b = 0. Is o(h) a composite number?
False
Suppose 2*f + 208 = 6*f. Let q be f/12 - 2/(-3). Suppose 0*r + a + 61 = r, 0 = q*r + 2*a - 333. Is r a prime number?
False
Suppose -27 = -2*j + 9. Let i be 1/(-3) + 17/(-3). Is (-1)/i + 951/j composite?
False
Suppose -2*v + 120 = 4*l + 3*v, -59 = -3*l + 4*v. Is l a composite number?
True
Suppose j + 296 = t, -3*j - 165 - 430 = -2*t. Is t a prime number?
True
Let b = 29 + 43. Suppose -4*c + x + b + 893 = 0, 0 = -c + 3*x + 244. Suppose -c - 75 = -4*k. Is k composite?
False
Suppose 5*t = -4*u + 496, -u - 4*u - 2*t = -603. Is u composite?
True
Let h(y) = -21*y + 22. Let s be h(-7). Suppose -2*r + 14 = 3*g + g, g = -5*r - 10. Suppose g*u - 121 = s. Is u a prime number?
False
Let w(y) = y + 5. Let g be w(-4). Suppose 0 = 4*b + u - 10, -5*b + 2*b - 5*u = g. Suppose 0 = 5*q - b*q - 158. Is q prime?
True
Suppose -2*d + 0*q = -3*q + 6, 17 = -d + 5*q. Suppose 2*v - 2*z = 6, 0*v - d*v + 2 = 4*z. Suppose -y = v*y - 273. Is y composite?
True
Let n be (-11)/(-2) + 4/8. Suppose -2*t - 14 = -p, n = -3*t + 4*p - 20. Is (-426)/(-4)*(-4)/t prime?
True
Suppose -y + 4*m = -3397, -16870 = -4*y - y - 3*m. Is y composite?
True
Let b(j) = -12*j - 2. Let h(p) = -13*p - 3. Let v(o) = -6*b(o) + 5*h(o). Let c(f) = f + 14. Let m be c(-10). Is v(m) a composite number?
True
Is -13*(-194)/2 - 4/2 prime?
True
Suppose 0 = -3*p + 6*p. Suppose -w - 3*w + 3340 = p. Is w prime?
False
Suppose 3*w + 280 - 2185 = 0. Is w a composite number?
True
Suppose b = 5*r - 2, -3*b + 4*r - 2 = -2*b. Is ((-4)/b)/((-2)/(-55)) composite?
True
Let x(h) = -h**2 - 4. Let r(s) = 3*s**2 - s + 7. Let p(g) = 3*r(g) + 5*x(g). Let l(j) = -j + 2. Let q be l(-2). Is p(q) prime?
True
Is ((-40871)/(-46))/(1 - 1/2) a prime number?
True
Let b = -26 + -16. Let w = 15 - b. Is w a composite number?
True
Let z(g) = 5*g**2 - 8*g - 20. Is z(-11) prime?
True
Let g = -3 - -7. Suppose -1 = n, -27 = -2*c - g*n + 107. Is c a prime number?
False
Suppose 0 = -5*u, 5*t = -6*u + 3*u + 1315. Is t composite?
False
Suppose 2*t - 15 = -3*t. Suppose -1200 = -t*f - 0*c + c, 4*f = c + 1601. Is f a prime number?
True
Let i = -26 - -31. Suppose -3 + 9 = 2*w, a - i*w = 36. Is a composite?
True
Suppose -8*a + 315 = -3*a. Suppose -76 = -4*q + 4*j, -4*j - 35 - a = -5*q. Is q a prime number?
False
Let s = -9 - -52. Is s a prime number?
True
Let m(o) = 2*o**3 + o**2 + o - 2. Let x be m(1). Let k be 1/3 - 17/(-3). Suppose k*d = x*d, 0 = 2*n - 4*d - 138. Is n a composite number?
True
Let x(t) = t**2 - 8*t + 2. Let l be x(8). Suppose l*d = -6 - 2, -4*y + 700 = 4*d. Is y prime?
True
Suppose 5*w - 2776 = 3*h, 3*h = -w + 2*w - 560. Let k = w + -259. Is k prime?
False
Let s(p) = p + 4. Let l be s(-3). Suppose 0 = 4*n - l - 3. Let k(g) = 70*g - 1. Is k(n) prime?
False
Suppose 0 = f + f - 3*o - 77, 5*f = -5*o + 130. Is f/(-2)*6/(-3) a prime number?
True
Suppose -4*k = b - 183, -7*k = -2*b - 2*k + 379. Is b composite?
True
Is 2716/24 - 2/12 composite?
False
Let p = 5 - 3. Suppose 2*q + z - 5*z - 18 = 0, 3*q - 2*z = 23. Suppose p*w + 31 = h, -4*h - 101 = -q*h + 2*w. Is h prime?
False
Suppose -45 = 4*r - 9*r. Is ((-6)/r)/(4/(-306)) composite?
True
Let d(a) be the first derivative of 25*a**3/3 + a**2/2 + 4. Is d(1) a composite number?
True
Let z be (-9)/6*2/(-3). Let o be 34/8 + z/(-4). Suppose -5*j - 36 = -5*w - 2*j, 21 = o*w - 5*j. Is w a composite number?
True
Let w be 0*((-5)/2 - -3). Suppose 0 = 3*x - w*x - 969. Is x prime?
False
Suppose 5*p = 263 + 432. Is p composite?
False
Suppose 5*m - 43 = -c, 9*c = 4*c - 2*m + 123. Let u = -8 - 1. Let o = c + u. Is o prime?
False
Let h(z) = 3*z**3 - 2*z**2 - 2*z - 4. Let x be 4 + (2 - 2 - 2). Suppose 0 = -x*o + 6*o - 12. Is h(o) a composite number?
False
Suppose -7 = -5*d - 3*t, 3*d + 3*t + 0*t - 3 = 0. Suppose 0 = -0*y + d*y - 70. Is y prime?
False
Let m = 10 - 11. Let u be (m/3)/((-3)/27). Suppose u*d - 158 = d. Is d a prime number?
True
Let h(f) be the third derivative of 3*f**5/10 + f**4/24 + f**3/3 + 4*f**2. Is h(5) prime?
True
Is (-4 + 2)/(14/(-2905)) composite?
True
Let p = -43 + 42. Let k(r) = r - 2*r + r**2 + 2*r - 19*r**3. Is k(p) a prime number?
True
Suppose -d + 10 = 2*o, d - 1 + 6 = 3*o. Suppose 0 = -d*p + 3*x + x + 2600, -4*p + 2582 = 2*x. Is p a composite number?
False
Let y = 16 + -10. Suppose -y*f = -2*f. Suppose 4*t + 8 = -4*m, -2*t + m + 15 - 4 = f. Is t prime?
True
Suppose 20*j = 18*j + 1114. Is j a composite number?
False
Suppose 6*g = 3794 + 712. Is g a composite number?
False
Suppose 2*v + 6 + 0 = 0. Let w be (2/v)/(3/(-9)). Suppose 7*p - 76 = 3*p + 3*m, -p + 19 = -w*m. Is p composite?
False
Let k be (236/6)/(4/(-18)). Let r = 382 + k. Is r a prime number?
False
Suppose 0*n = 5*n. Let w = 2 - n. Suppose q - 31 - w = 0. Is q a composite number?
True
Let q(d) = 6*d**2 + 6*d + 6. Let y be q(-6). Let t be (-126)/4*-2*1. Suppose -3*k + y + t = 0. Is k prime?
True
Let d(r) = -r**3 + 11*r**2 - 5*r - 3. Let u be (5 - -5)*(-4)/(-5). Is d(u) prime?
True
Let r(h) = 5*h**2 + h - 1. Let t(a) = a**2 - a. Let o be t(-2). Let v(j) = -j**3 + 5*j**2 + 6*j - 5. Let f be v(o). Is r(f) a prime number?
False
Let n(j) = j**3 + 5*j**2 + 4*j + 1. Let g be n(-4). Let w be g/2 - (-103)/2. Let y = 1 + w. Is y prime?
True
Let l(o) = o + 1. Let y be l(5). Let z = 3 - y. Is 2 - (-76 + (-3)/z) a prime number?
False
Let c = -2278 + 4160. Let q = -1095 + c. Is q composite?
False
Let h(z) = z**2 - 2. Suppose 0 = 4*m + 5*x + 1 + 4, -4*m + 10 = 2*x. Suppose 2*k - m = 5. Is h(k) a composite number?
False
Let p = 23 - 27. Let b(f) = -f**3 + 5*f**2 - 2*f - 3. Is b(p) prime?
True
Suppose -5*j + 3*j = -898. Is j prime?
True
Let b = -88 - -141. Is b composite?
False
Let a be -2 - (0 + -1 + -22). Let d = a + -37. Let s = -9 - d. Is s composite?
False
Let u = 3 + 0. Suppose -17 - 13 = -u*l. Is (-798)/(-15) + (-2)/l prime?
True
Is 87/1 - (18 + -20) prime?
True
Let l = -7 + 17. Suppose 5*r = -n - l, 5*r + 9 = -4*n -