rime number?
True
Suppose r + 2*r = 15. Suppose r*v = v + 8. Is v prime?
True
Suppose 4*p - 5 = 3*p. Suppose -227 = -p*q + 2*y, 3*q - 26 - 123 = -2*y. Is q a composite number?
False
Let l(g) = g**2 + 3*g - 1. Let q be l(-4). Suppose -3*y = -q*k - 6*y + 933, 4 = y. Is k prime?
True
Suppose 2197 = 6*t - 4397. Is t a composite number?
True
Let s = 53 - 24. Suppose j + 3*c = s, 5*j - 5*c - 167 = j. Is j prime?
False
Let q = 9799 + 568. Is q prime?
False
Suppose 2*t - 5*o + 31 = -37, t + 2*o + 25 = 0. Let h = t - -52. Is h a composite number?
False
Suppose -2*q = -3*w + 8 + 8, 12 = w + q. Let x = 10 + w. Let k = x + -7. Is k a composite number?
False
Let f(o) = -o**3 + 14*o**2 + 11*o + 11. Is f(9) a composite number?
True
Suppose 3 + 2 = r. Suppose 0 = -r*o + 60 - 0. Suppose -2*l - 8 = -5*t - 35, 0 = -l + 3*t + o. Is l a prime number?
False
Is (-3 - 0) + 224 + 0 a prime number?
False
Suppose 5*n - 77 = f, n + 2*f - f - 13 = 0. Is n composite?
True
Let y(b) = 2*b**2 + 2*b - 3. Suppose -m + 15 = -4*s, 5*s + 22 = 2*m + 1. Suppose 0 = -m*r + z - 12, 8 = -2*r + 6*z - 3*z. Is y(r) a prime number?
False
Let x = 34 + -22. Suppose -x + 49 = f. Is f prime?
True
Suppose 2*w + 38 = 3*w. Suppose -2*u - 41 = -5*u - 2*z, 0 = -3*u + z + w. Is u composite?
False
Suppose 0 = 3*g - 4*t + 11, -2*g = -3*g - t - 13. Let u = 5 + 19. Let d = u + g. Is d a prime number?
False
Let d(q) be the second derivative of 43*q**3/6 - 5*q**2/2 - q. Let s be d(9). Is s/5 - 3/(-5) a composite number?
True
Suppose 3*o = -0*o + 993. Is o composite?
False
Let x(g) = g**2 - g + 1. Let f(t) = -t**3 - 5*t**2 + t. Let r be f(-5). Is x(r) a prime number?
True
Suppose 3231 = h + 3*f + 377, -11425 = -4*h - 3*f. Is h composite?
False
Suppose 0 = 19*y - 23*y + 5596. Is y prime?
True
Let i(z) = 3*z**2. Let n be i(-1). Suppose -n*f = 162 - 609. Is f composite?
False
Let b = -4 + 7. Suppose -4 = b*x - 61. Is x composite?
False
Let n = 10 - 10. Suppose -5*x - 2*k + 3167 = 0, -20 = 5*k - n*k. Is x a prime number?
False
Is 332/6 - (-1)/(-3) a prime number?
False
Let j = -292 - -779. Is j a prime number?
True
Suppose -4*r = -3*u, 0 = r + 3*r + 3*u. Is 0 - (r + 7*-5) a prime number?
False
Suppose -4*r = r - 10. Suppose -r*x + 2 = -2. Suppose -x*d + 237 = -4*y + 7, y - 338 = -3*d. Is d composite?
False
Suppose 2*h - 4*t - t + 3 = 0, -12 = -3*h + 2*t. Is h composite?
True
Let c(w) = 2*w - 7. Let p = 0 + 6. Let h be c(p). Suppose h*r + 3*n - 46 = 0, -n - 2 = 1. Is r composite?
False
Let v be (0 + -1)*0/(-1). Suppose -5*m = l - 0*l - 1055, v = l. Is m a composite number?
False
Let o(x) = x**2 + 2*x - 1. Is o(-12) a prime number?
False
Suppose -4*y - 182 = -c, -y + 255 + 73 = 2*c. Suppose -2*l - 2*b - 3*b + 180 = 0, -2*l + c = -2*b. Is l prime?
False
Suppose -v = 5*u - 1443 - 1024, -2457 = -5*u + 4*v. Is u prime?
False
Let l = 0 + 4. Suppose -l*j = -h - 1, -5*h + j - 2*j = -58. Is h prime?
True
Suppose -3*k + 3015 = 4*h, 1021 = k - 8*h + 4*h. Is k prime?
True
Suppose 2*y = -2*j + 112 + 2, -j = -4*y - 57. Let x = j - -15. Let w = x - 41. Is w a prime number?
True
Suppose 58 = -n - n. Let z = -10 - n. Is z a prime number?
True
Let w(p) = p + 2. Let f(g) = -2*g - 4. Let a be f(-4). Let l be w(a). Suppose 0 = -4*o - l + 66. Is o a prime number?
False
Suppose 0 = 2*v - 3 - 1. Suppose -5*h = v*d - 23 - 5, 4*d = 5*h + 56. Is (-4)/d + (-625)/(-7) a composite number?
False
Suppose -4*u = 4*g - 140, -3*u - 2*g = -130 + 23. Is u a prime number?
True
Let n(k) = 4*k**2 + 7*k + 4. Let z(b) = -7*b**2 - 2*b - 1. Let w be z(-1). Is n(w) composite?
True
Let n be (-2 - -31)/((-3)/(-6)). Let r = 133 + n. Is r prime?
True
Suppose 5*u + 47 = 2*u + 2*b, -4*u = -2*b + 62. Is 1506/9*u/(-10) a composite number?
False
Let o(q) = 43*q**2 + 2*q + 1. Let l be o(-1). Suppose 5*z - 4*p - 18 = 0, 0*p + 4*p - l = -5*z. Is z a composite number?
True
Suppose 5*f + 0*f = 5*b + 90, f + 3*b = 10. Let t = f - 8. Let g(k) = k**3 - 7*k**2 - 11. Is g(t) a composite number?
False
Suppose 3*m + 2*m + 15 = 0. Let n(o) = -10*o + 5. Let b(f) = 9*f - 4. Let r(w) = -6*b(w) - 5*n(w). Is r(m) a composite number?
False
Let n be (-2)/(-5) + (-65)/(-25). Let m be (-3)/12 + (-1)/(-4). Is (m + n)/3 + 96 composite?
False
Let i be (-2)/(-3) + 92/6. Suppose -4*v = i + 12. Let f(m) = m**3 + 8*m**2 + 6*m + 8. Is f(v) a composite number?
True
Suppose -8 = -5*m + 2. Suppose 0 = -m*l + 4*l - 298. Suppose -71 - l = -4*r. Is r composite?
True
Suppose -l - 5*o = -6*l - 160, l + 24 = -o. Let q = 62 + l. Is q prime?
False
Let h(q) = -q**2 - 8*q - 3. Let z be h(-3). Suppose -2*c - 2*u + 258 = 2*c, 0 = u + 5. Let l = z + c. Is l a prime number?
True
Suppose 9*i - 450 = 4*i. Suppose -4*p = 2*t - i, -4*p + 62 = t + 13. Suppose -q + t = -5*u, -4*q + 36 = 4*u - 80. Is q a composite number?
False
Let l(y) = -3 + 2 + 32*y + 10*y - 4*y. Is l(1) a composite number?
False
Let k(t) = -69*t - 23. Is k(-6) a prime number?
False
Let m(p) = p**3 + p + 2. Let c be m(-2). Let f = 23 + c. Is f a prime number?
False
Is (1*(-2 + 4))/2 - -33 prime?
False
Is 15/60*(9331 + 1) composite?
False
Let y = -5 + 3. Let a be (-5)/y*(28 - 2). Let t = a - -4. Is t a prime number?
False
Let o = 35 + -1. Is o a prime number?
False
Let h(u) be the second derivative of -1/2*u**2 + 2*u + 22/3*u**3 + 0. Is h(3) a prime number?
True
Suppose 3*w - 752 = -w. Suppose -5*c = 2*a - w, 0*a = a - 3*c - 83. Is a a composite number?
False
Let v = 4 - 0. Is (-6)/8 + 583/v composite?
True
Is ((-106)/(-4))/(3/(-2) + 2) prime?
True
Let q(z) = 51*z**2 - 2*z - 6. Is q(5) a prime number?
True
Let x = -99 - -221. Is x a composite number?
True
Let m(p) = -p**2 + 9*p - 4. Let j be m(8). Suppose -3*u = -2*h - u - 2, -4*u = -j. Suppose h = 3*l + 3, 2*k - l = -0*l + 15. Is k a prime number?
True
Suppose 0 = k - 5*o - 236, 4*k - 4*o + o - 995 = 0. Is k composite?
False
Let l(g) = 0*g - 10 - g - g - g. Is l(-8) a prime number?
False
Suppose o + 138 = -2*o. Let g = 83 + o. Is g a composite number?
False
Let m(s) = 12*s**2 + 5*s - 4. Let i be m(3). Let g = i + 384. Is g a prime number?
True
Let h be 4*3/24*-112. Let k = h - -81. Is k prime?
False
Let n = 26 - 25. Suppose 2*g - 2*x - 432 + 24 = 0, x = -n. Is g a prime number?
False
Let j = -4 + 4. Suppose j = -l + 2*l - 133. Is l composite?
True
Suppose -2*b + 0*b + 1262 = 0. Is b prime?
True
Let z(g) = 20*g**3 - 3. Is z(2) a prime number?
True
Is 5*(0 + (-631)/(-5)) a prime number?
True
Let y be 150/2 + 2*1. Suppose 0*i = -i + y. Is i prime?
False
Let c = 14 - 4. Let l = 9 + c. Is l a prime number?
True
Let p be (-4 - -2)/((-4)/18). Is 1303/p - 4/(-18) composite?
True
Let v(m) = 6*m**2 + m - 2. Suppose -l - t = -5*t + 3, 0 = -2*l + 3*t - 6. Is v(l) a prime number?
False
Suppose -8 = -4*g + 4. Suppose 5*t + 38 = 4*f, 0*f + 2*t + 25 = g*f. Suppose n - f = -5*i, 0 = -5*n + 3*n - i + 14. Is n composite?
False
Suppose 2*z - 5*z = -12. Let l(y) = -3 + z*y**2 - 1 + 3. Is l(2) a composite number?
True
Let p(f) = 4*f**3 - 10*f**2 - 7*f + 10. Is p(9) prime?
True
Let n = 7 - 6. Let r(g) = 12*g + 5. Let x(j) = -1. Let z(k) = r(k) + 6*x(k). Is z(n) a composite number?
False
Is -2 + 2/(8/3828) composite?
True
Suppose 0 = -3*v - v - 3*h + 3, -5*h - 21 = -2*v. Suppose -d + b + 85 = 11, -d = -v*b - 64. Is d prime?
True
Let w(i) = -i**2 + 3*i. Let n = -2 + 5. Let b be w(n). Let p = 3 + b. Is p a prime number?
True
Is (-6308)/(-10) + (-18)/(-90) a composite number?
False
Suppose -4858 = -0*o - 7*o. Is o a prime number?
False
Suppose -5*i - 345 + 4869 = -2*k, 0 = -3*i + k + 2714. Suppose -4*s - 4*m = -0*s - 884, -m - i = -4*s. Suppose -4*v + s = 21. Is v prime?
False
Suppose 2*t + 4*y + 2 = -0*y, 3*y + 6 = 0. Suppose -3*f + 453 = -390. Suppose -2*j + 4*j - m = 191, 0 = -t*j - 4*m + f. Is j composite?
True
Let o(i) = 14*i**2 + i - 4. Let z be o(2). Suppose 190 - z = 2*b + 2*w, 2*b - w - 139 = 0. Is b a composite number?
True
Let m = -33 - -21. Let k = m - -17. Suppose -5*h + 5*f + 1075 = 0, 2*f - 1035 = -k*h - 3*f. Is h composite?
False
Let q(a) = -47*a**2 + 44*a + 27. Let p(g) = -16*g**2 + 15*g + 9. Let m(x) = 11*p(x) - 4*q(x). Is m(7) a prime number?
False
Let u(t) = 6*t**2 - 3*t - 4. Suppose -40 = 5*b + 5*j, -4*b = -2*b - j + 1. Is u(b) a composite number?
False
Let x(i) = i**2 + 8*i. Let d be x(-8). Suppos