 prime number?
True
Let y(p) = -3*p + 0*p**2 + 10*p**2 + 0*p + 4*p**2 - 3. Is y(-2) a prime number?
True
Let z = 3 + -15. Let g = z - -47. Suppose -3*v - g = 2*b - 112, -80 = -4*v + 3*b. Is v composite?
False
Suppose -2*s - 10 + 0 = 0. Let n = s + 10. Suppose -4*l - 124 = -f - l, 2*f = -n*l + 259. Is f a composite number?
False
Let w = -8 - -10. Suppose -w*t + 2 = 0, c + 4*t = -3*c + 1952. Is c a prime number?
True
Let x(c) = -c**3 + 6*c**2 - 2*c - 5. Is x(5) composite?
True
Let h(o) = o**2 - 5*o - 4. Let j be h(6). Suppose 4*f + 38 = 2*c, j*c - f - 29 = -0*c. Is c composite?
False
Let d = -12 - -15. Suppose d*v - 59 = 3*s - 5, v - 30 = -3*s. Is v a composite number?
True
Suppose 3*j + j - 5092 = 0. Is j a prime number?
False
Let c = 2759 + -1852. Is c prime?
True
Let q = 778 + -485. Is q prime?
True
Is (-468)/(-10) + (-5)/(-25) composite?
False
Let h be (-12)/(-5)*30/(-9). Let g(b) = 9 - 4*b**2 - 2*b + b**3 - b**2 + 14*b**2. Is g(h) composite?
False
Suppose -17*j + 7*j + 59710 = 0. Is j prime?
False
Let y = -2 - -4. Is 77/((-4)/y + 3) composite?
True
Suppose -4*i = -12, 0*s + 1451 = 5*s + 2*i. Is s a prime number?
False
Let s(t) = 3*t**2 + 3*t - 4. Let h be s(4). Let i be 4/(-18) - h/(-9). Is 37 + -4*(-3)/i a composite number?
True
Let y(k) = 16*k + 7. Let p be y(3). Suppose 0*o - o = -p. Is o composite?
True
Suppose 4*p + l = 5346, 2*p - 2678 = 4*l - 2*l. Is p composite?
True
Let u(q) = -2 - 5 + 37*q - 59*q - 2. Let o = -18 - -8. Is u(o) a prime number?
True
Suppose -4*x - x = 2785. Let l = x - -928. Is l a composite number?
True
Let c be -48*4*1/(-3). Let g = -11 + c. Is g a prime number?
True
Suppose 1053 = 5*k - 3*f, -5*f - 193 = 2*k - 3*k. Is k prime?
False
Suppose 5*r = 2*b + 10, -b - 5 = -6*r + r. Suppose -668 = -5*v + 377. Suppose 2*o = -3*x + v, -2*x - x + 15 = r. Is o a composite number?
False
Let r(g) = -76*g**2 - 2*g + 1. Let k be r(1). Let x = k + 154. Is x a composite number?
True
Let z(o) = 4*o**2 + 2*o + 29. Is z(10) a composite number?
False
Let n(w) = w + 3. Let s be n(0). Suppose s*a - 4 = -1. Let k(i) = 79*i**3 - i + 1. Is k(a) prime?
True
Suppose 0 = -2*o + b + 11, -o + 3*o - 1 = -b. Let a(x) = 4 + 6*x**2 - 10*x**2 + 3*x**3 + 0*x**3. Is a(o) a composite number?
True
Let n(x) = -3*x**3 - 4*x**2 + 2*x + 4. Let o be n(-3). Let a = -59 + 140. Let h = a - o. Is h composite?
True
Suppose -2*i - 340 = 4*q + q, -375 = 5*q - 5*i. Let n = q - -123. Is n a composite number?
False
Let m(a) = 3*a**3 + 7*a. Let f be m(5). Suppose -5*y = -5*c + f, 0*y + 2*y + 247 = 3*c. Is c a prime number?
True
Is (35/(-14))/(2/(-188)) composite?
True
Let r = 739 - 420. Is r prime?
False
Suppose -w + 6*w = 15. Let u = 10 + w. Is u a prime number?
True
Suppose 5*o - 92 = 38. Let y = -16 + o. Is 1 + (1 - 1) + y a composite number?
False
Let u(x) = -9*x + 10. Is u(-15) a composite number?
True
Let q be 2 - (-5 + (-1)/(-1)). Let v be (q + -2)*3/6. Suppose 3*t + 153 = 5*y, -3*y + v*t + 91 = -0*y. Is y a prime number?
False
Suppose 0 = -2*u - u - 5*d - 603, 3*d - 421 = 2*u. Let b = -19 - u. Is b a prime number?
False
Let y = -625 - -1044. Is y a composite number?
False
Suppose 6*x + 5*b = x - 40, 2*x = 2*b + 4. Let h be (-9)/6*58/x. Let o = 43 - h. Is o composite?
True
Let k(n) = 2*n**3 - 5*n**3 + 2*n**3 + 12 + 12*n**2. Let i be (2/(-3) - 3)*-3. Is k(i) a prime number?
False
Suppose -414 = -4*g + 110. Let z = g + 120. Is z a prime number?
True
Let q(b) = 18*b + 4 - 3 - 3 + 0. Let w(d) = d**2 + d. Let r be w(-2). Is q(r) prime?
False
Let o be (-1)/(-2*(-3)/(-180)). Let j = o + 119. Is j a prime number?
True
Let o be (18/(-4))/(1/(-2)). Let f be o - (-3 - -2)*1. Let v(k) = -k + 12. Is v(f) composite?
False
Let o(l) = -4*l**2 + 0 - 1 - 7*l + 2*l - 3*l**3 + 2*l. Is o(-3) a composite number?
False
Let k(b) = b**3 + 7*b**2 + 5*b + 4. Let i be k(-6). Let u be 81/(-2) - (-2)/4. Is u/(-16)*44/i a composite number?
False
Suppose 1629 = 2*w - 805. Is w composite?
False
Let d = -336 - -485. Is d composite?
False
Let s(r) = 15*r**3 - r**2 - 2*r + 2. Let v be s(3). Suppose -5*d = -t + 48 + 65, -4*t + 5*d + v = 0. Is t composite?
True
Suppose -v + 289 + 36 = -5*f, 3*f - 4*v = -212. Let y = 149 - f. Is y composite?
True
Suppose -3*l + 2*f = -1123, 3*l - 535 = -4*f + 576. Is l a composite number?
False
Suppose 0 = 2*w + 5*x - 594, -3*w + 2*w + 315 = -2*x. Is w a composite number?
False
Suppose 0 = -17*u + 19*u - 506. Is u prime?
False
Let a = -637 - -1010. Is a a prime number?
True
Let x(l) = 7*l**2 - 13*l + 57. Is x(14) a prime number?
False
Let j(x) = 19*x**2 - 10. Is j(3) composite?
True
Suppose 0 = 5*w - 3*w + 10. Let j = w - -48. Is j composite?
False
Suppose 4*i - 2414 = 990. Is i a prime number?
False
Let a(z) = -z**3 - 7*z**2 + 9*z + 8. Let t = -16 - -8. Let i be a(t). Suppose w + i = 31. Is w a composite number?
False
Suppose 2*t - 5*j - 487 = 0, 5*t + 0*j - 3*j = 1246. Is t a composite number?
False
Let n = -5 - -2. Let o(s) = 0 - 14*s - 3 + 7. Is o(n) prime?
False
Let k(f) = -f**3 + 10*f**2 + 9*f + 12. Let l be k(11). Let z = -7 - l. Is z a composite number?
False
Let p = -78 + 115. Is p a prime number?
True
Suppose 0 = -4*a + l - 3*l + 138, 3*a - 108 = 3*l. Is a prime?
False
Let y = -153 + 268. Is y composite?
True
Let g = 2 - 0. Suppose -p + 4*j + 19 = 0, -3*p + g*p - 3*j = 9. Is ((-215)/(-15))/(1/p) composite?
False
Suppose -5*l = -3*k + 22, -4*l - 28 = -3*k - 5*l. Let n = k + -7. Suppose 0 = 4*v - n*v - 74. Is v prime?
True
Let j(z) = -z + 66. Is j(13) a composite number?
False
Is (1*(2 + -1))/((-3)/(-138)) a prime number?
False
Let z(s) = s**3 + 12*s**2 - 6*s - 9. Is z(-10) prime?
True
Let i be (-3)/(6/(-10)) + 1. Suppose a = 4*a - i. Suppose a*f - 187 = f. Is f prime?
False
Suppose 0 = -4*t + t + 603. Suppose -c = 2*c - t. Is c prime?
True
Suppose -2*f + 10 = -0*f. Is f + -2 + 124/1 composite?
False
Let n(w) = 0*w**2 - 2 + w**3 + w**2 - 3*w**2. Is n(3) prime?
True
Suppose 0 = 3*w - 4751 - 4264. Is w composite?
True
Let s(c) = -6*c + 1. Suppose -2*h + 3*h = -1. Is s(h) composite?
False
Suppose -2*c = -c - 2. Let x be (c - (-3)/(-4))*4. Suppose -b + 5*f + 152 = 0, x*b - 5*f - 790 = -130. Is b composite?
False
Let a(l) = -2*l + 7. Let q(j) = j**3 + 5*j**2 + 7*j + 6. Let g be q(-4). Is a(g) prime?
True
Let v = 2322 + -961. Is v a prime number?
True
Let d(a) = -75*a**2 + 1. Let t be d(-1). Let p = 151 - t. Let n = p + -158. Is n a composite number?
False
Suppose 4*z + 4 = 0, -5*b - 1629 = 2*z - 207. Let v = -99 - b. Is v a composite number?
True
Suppose -b + 148 = 3*b. Is b a prime number?
True
Let z(p) = -7*p + 5. Let s be z(8). Let c = s - -104. Is c composite?
False
Suppose -2*q - 12 = 2*q. Let x = q + -3. Let d = x + 43. Is d a prime number?
True
Let t(x) = -x**2 - 5*x + 2253. Is t(0) prime?
False
Suppose 0 = -2*q - 0*q + 1774. Is q a prime number?
True
Suppose 6*f = 3*f + 6. Suppose -f*i - 164 = -2*q, q - 6*q + 440 = 5*i. Is q composite?
True
Let c(i) be the second derivative of -i**5/20 - 13*i**4/12 - 2*i**3 + 7*i**2/2 + 5*i. Is c(-13) prime?
True
Let z be (-3 + 3 + 0)/2. Suppose -5*k + 2*k + 27 = z. Let l(c) = 3*c**2 - 5*c + 3. Is l(k) a prime number?
False
Suppose -3*y + 12850 = 7*y. Is y a composite number?
True
Let m(h) = h**3 - 7*h**2 + 8*h + 1. Let w be m(6). Let g be 3 + (0/2 - -1). Suppose -g*l = -161 + w. Is l composite?
False
Suppose -190 = -2*l - 5*o - 45, 5*l = -3*o + 353. Let s = 57 + l. Is s a prime number?
True
Let n(s) = -s**3 + 7*s**2 - 5*s + 5. Let i be n(6). Let t = i + 27. Let d = 15 + t. Is d a composite number?
False
Suppose 4*o - 246 = o. Suppose 0 = -5*w - o + 267. Is w prime?
True
Suppose 2*n - 630 = -3*j, 4*n - 2*j - 1240 = -3*j. Is n a prime number?
False
Let b(q) = -q**2 - 8*q - 3. Let h be b(-7). Is h/(-6)*3 + 61 a composite number?
False
Let d = -5 - -6. Let q = -1 - d. Is (5/q)/(8/(-208)) a composite number?
True
Let h be ((-44)/(-3))/((-5)/(-15)). Let t = h - 9. Is t prime?
False
Let j(t) = 31*t**2 - t - 1. Let o be ((-4)/2)/((-2)/3). Suppose -o*v + 0*v = 3. Is j(v) composite?
False
Let m(p) = -19*p**2 - 2*p + 1. Let v be m(1). Let c = 4 + -9. Is c/v + 39/4 a prime number?
False
Let n(g) = -g**3 + 5*g**2 + 4*g + 4. Let a be n(6). Is (68/a)/(3/(-18)) a prime number?
False
Suppose 2*j - 2*q = -2*j + 646, -5*q + 293 = 2*j. 