 q = t + -16. Is q prime?
True
Let n be 4/14 - 16/7. Let a be n - (-22)/(-1) - 1. Let x = -18 - a. Is x prime?
True
Let r be 2*2*1540/16. Let c = 950 - r. Is c a prime number?
False
Let m = 612 + -55. Is m prime?
True
Suppose 4 = 2*g - 3*l, -2*g + 3*l = -2*l - 8. Let p be g/3 + (-5)/(-15). Is (-3 - -35) + (3 - p) a composite number?
True
Suppose 236 = 4*g + 16. Suppose 4*j = 101 + g. Suppose 0*k + k - j = 0. Is k a prime number?
False
Suppose 0 = -0*z - z - 1. Is (z/(-3))/((-7)/(-4011)) prime?
True
Suppose -v + 5*v - 4*b - 152 = 0, 2*v = 4*b + 82. Is v a composite number?
True
Let j be 225/6*42/9. Suppose -3*w + j + 398 = 0. Is w prime?
True
Suppose 5*j + s - 7 = 9, 4*j - 17 = -5*s. Let h = 3 + j. Is h composite?
True
Suppose 4*d = a + 3647, 0 = -2*d - 5*a + 899 + 908. Is d composite?
False
Suppose 1106 = 4*k + 78. Is k prime?
True
Suppose -861 = 6*r - 7443. Is r prime?
True
Is (14/3)/(8/204) a composite number?
True
Suppose 16 = 3*h + 1. Suppose 197 = h*o - 548. Is o a prime number?
True
Let p = 76 - 44. Let t = p + -1. Is t a composite number?
False
Let k = 187 + -129. Suppose 2*j + 4*o - k = 0, -j - 4*o = -0*o - 37. Is j a composite number?
True
Let b = -58 - -123. Let z = -47 + 155. Let r = z - b. Is r a prime number?
True
Let g(i) = 3*i**2 - 3*i. Let n(l) = -l**2 + 1. Let j(v) = -g(v) - 4*n(v). Let h be j(-5). Is ((-56)/h + 2)*-3 prime?
False
Let k(y) = -y**2 - 17*y - 11. Let w be k(-13). Let z = -10 + w. Is z a composite number?
False
Let l = -4 - -6. Suppose l*h = 100 + 190. Suppose 2*p - 2 = 4*p, x - h = -4*p. Is x a prime number?
True
Suppose 5*o - o = 12. Suppose -4*v = 1 + o. Let a(z) = -20*z**3 + z. Is a(v) a composite number?
False
Suppose -2*y + 6*y - 3007 = -3*p, y = -4*p + 755. Is y a composite number?
False
Let f(w) = w**3 + 11*w**2 + 10*w + 11. Suppose 0 = 3*j - 5*j - 18. Is f(j) a composite number?
False
Suppose -8*k = -11*k + 561. Is k a composite number?
True
Let f = -332 + 619. Is f a prime number?
False
Let t = -1302 - -2959. Is t a composite number?
False
Let s = -4 - -7. Let d be ((1 + 8)/s)/1. Suppose -d*n + 53 = -58. Is n a prime number?
True
Suppose 2*l + 3*l - 30 = 0. Suppose 0 = -3*i + l, 0 = 4*u - 2*u + i - 198. Suppose 5*t - 17 = u. Is t a composite number?
False
Is (6 - (-25572)/9)/((-2)/(-3)) a composite number?
False
Suppose -i - 2*z = 4*i - 283, -102 = -2*i + 2*z. Is i a prime number?
False
Let u = 10 - 14. Let p = u - -7. Suppose -p = 3*j - 33. Is j composite?
True
Let o = -653 + 1612. Is o a composite number?
True
Let a be 3 + (-3)/6*6. Let s = a + 1. Let p(x) = 123*x**3 + x**2 - 2*x + 1. Is p(s) composite?
True
Suppose 3*y = -w + 148, -189 = -6*y + 2*y - 3*w. Is y composite?
True
Let v(d) be the first derivative of -39*d**2/2 - 14*d + 4. Is v(-7) a prime number?
False
Suppose -b + 118 = 2*y, -5*b = -0*b - y - 546. Suppose -b = v - 2*v. Suppose 5*a + 35 = v. Is a a composite number?
True
Let l(t) = 61*t - 75. Is l(22) prime?
False
Suppose 5 = -2*h + w + 42, -2*h = -2*w - 42. Suppose -2*t - 8 = -0, -z - h = 4*t. Suppose 3*m - m - 74 = z. Is m composite?
False
Let r(n) = -62*n + 3. Is r(-4) composite?
False
Let h = 223 - 96. Is h prime?
True
Is 51 + 1 - -3 - -2 prime?
False
Let s be 50/3 + (-3)/(-9). Suppose v - d = s, 2*v + 3*d - 20 = -2*d. Is v a composite number?
True
Let f(m) be the third derivative of 0 + 1/3*m**3 - 1/8*m**4 + m**2 + 1/30*m**5 + 0*m. Is f(-5) composite?
False
Let y be (1/2)/((-4)/(-32)). Suppose -2*q - q - 3*g + 195 = 0, -y*q + 276 = -4*g. Is q prime?
True
Suppose -2*k = k + 108. Let l be 16/9 + (-8)/k. Suppose -n + 3 = 2*x + x, 0 = 4*n + l*x - 12. Is n a composite number?
False
Suppose -4 = 3*h - h. Let a be 255*1 - (-2)/h. Suppose -a - 168 = -2*k. Is k composite?
False
Suppose -3*o = 2*o + p - 3330, -4*o = -2*p - 2678. Is o a prime number?
False
Let u(g) = g**3 - 194. Let i be u(0). Let x = i + 127. Is (-1)/(1/x)*1 prime?
True
Let a(h) = 2*h**2 - 8*h - 5. Is a(-7) a prime number?
True
Suppose 4*q = -2*c + 1020, 399 + 368 = 3*q + 2*c. Is q a prime number?
False
Let z = 8 + -5. Let k(s) = 84*s + 2. Let n be k(2). Suppose 0 = z*g - 8*g + n. Is g composite?
True
Let h = 2 + 0. Is 37/(h - (0 + 1)) a prime number?
True
Let w(g) = -7*g - 13. Let u(z) = 3*z + 6. Let b(i) = 5*u(i) + 2*w(i). Is b(2) a prime number?
False
Let b = -2 + 125. Suppose -5*t - n = -b + 8, 3*t - 91 = -5*n. Is t a composite number?
True
Let r(h) be the third derivative of h**6/120 - h**5/20 + h**4/12 - 7*h**3/6 + 2*h**2. Is r(5) prime?
True
Let k = 13247 + -8338. Is k composite?
False
Suppose -743 + 68 = -5*w. Let s(q) = q**3 - 7*q**2 + 3*q - 8. Let r be s(4). Let f = w + r. Is f prime?
False
Suppose 0 = -6*x + x + 20. Suppose x*o = 2*o + 18. Suppose 4*t - o*t + 15 = 0. Is t composite?
False
Suppose -32 + 12 = -5*z. Suppose b = -p + 4*b + 199, -z*b + 919 = 5*p. Is p composite?
True
Suppose 0 = 3*o - 3*c - 579, 0 = 2*o + 5*c + 196 - 568. Is o prime?
True
Suppose -4*x + q + 741 = 0, -2*q = -5*x - q + 926. Is x a prime number?
False
Let g = 84 + -149. Let f = g + 41. Let k = -11 - f. Is k a prime number?
True
Suppose 12 = -5*r - 13. Let y(i) = -18*i - 5. Let s be y(r). Suppose -s = -3*o + 2*o. Is o a prime number?
False
Let f = -24 - -23. Let q(l) = 58*l**2 + 1. Is q(f) a prime number?
True
Suppose 3*k = 3*a - 10 - 8, -2*k = 8. Suppose a*i - 8 = -2*i. Is i/(-5) + 487/5 prime?
True
Suppose v + 2 = 6. Suppose -1 = -4*a - q, -q - v*q = a - 5. Suppose a*j - j + 31 = 3*t, j = 4. Is t a prime number?
False
Let j(s) = -s**3 - 5*s**2 + 4*s + 5. Let n be j(4). Suppose 0 = -5*x + 2*l + 900, 2*x + 2*l + 2*l = 336. Let d = x + n. Is d a composite number?
True
Let d(x) = 127*x**3 + 5*x**2 + 3*x + 8. Is d(3) a prime number?
True
Suppose 0*p + 2*f = -p + 11, 2*p + 5*f = 25. Suppose -32 = -4*t + p*n, 3*t - 5*n - 1 = 18. Is t composite?
False
Is (-8 + 5)/((-9)/129) composite?
False
Let k = -400 + 760. Suppose 15 = 3*c - k. Suppose -g - 4*g + c = 0. Is g a prime number?
False
Let c(s) be the third derivative of -s**6/120 + 7*s**5/60 + s**4/6 - 3*s**3/2 + 4*s**2. Is c(6) a prime number?
False
Let d be 5*(2 - (-24)/(-15)). Let s be (d - 1)/((-1)/(-5)). Let j(o) = 93*o + 2. Is j(s) prime?
True
Suppose -4*y = 5 + 7. Let z = -1 + y. Let n(f) = -f**3 - 2*f**2 - 6*f - 1. Is n(z) composite?
True
Let a = -5 + 0. Let t(k) = -24*k. Let o be t(a). Let u = o - 81. Is u a composite number?
True
Suppose -5*v - 4 = 1. Is (-288 + -5)*(-2 - v) composite?
False
Suppose -x + 11 = -3*m, 0 = x + 3*m - 3 - 8. Is x composite?
False
Is 6/2*((718 - -3) + -2) prime?
False
Suppose 0 = -2*u - 3*b + 411, 3*u + 3*b - 2*b = 606. Is u composite?
True
Is (-1)/(3 + (-6908)/2302) a prime number?
True
Let h be -3 - (-4)/8*0. Is h/(3 + (-420)/136) a prime number?
False
Let i(g) = g + 17*g**3 + 0*g**2 - 2*g**2 + 3*g**2 + 1. Is i(2) a prime number?
False
Suppose 3*s = 2*m - 0*s - 10, 0 = s + 4. Let z be 2/m + 3 - 1. Suppose 4*t = -b + 127, -b + z + 3 = 0. Is t a composite number?
False
Let p = 8 + -5. Suppose 128 = p*h - h. Suppose 3*u = -u + 5*j + 104, -5*j = 4*u - h. Is u prime?
False
Let w = 58 - 25. Is w composite?
True
Suppose 3*z + 13 = 5*i, 0 = 4*z - 8*z - i + 21. Suppose s + 10 = z*f, -s - 2*s = f - 22. Is s prime?
False
Let u = 1140 + -569. Let x = -360 + u. Is x a composite number?
False
Suppose w + 10 = -3*p, -w = 4*w + 4*p + 6. Let o(r) = 3 - 4*r - 3 - w. Is o(-4) prime?
False
Suppose 4*j + 3*y = 2*j + 2012, -j = -4*y - 1006. Is j a prime number?
False
Let f(z) = z + 3. Let j be f(7). Let u = 4 + j. Is u a prime number?
False
Suppose 3*o - 2 = 2*o. Suppose 310 = 4*r + l, 2*r + o*l - 144 = 7*l. Is r prime?
False
Suppose 2*j = 0, -3*f + 4*j + 6 = -j. Suppose -3*u = -c - 4*c + 23, -f*c + 51 = -5*u. Let q(b) = -b. Is q(u) composite?
False
Let k = 59 + 31. Suppose -3*z + k + 147 = 0. Is z a composite number?
False
Let j(g) = -g**3 + g**2 + 4. Let c be j(0). Suppose c*t = x - 2*x + 6, -2*t = -5*x - 14. Suppose -4*w + 3*w - 5*z = -22, -3*z + t = -w. Is w prime?
True
Let f(m) = -m**3 + 8*m**2 - 3*m - 1. Is f(6) a prime number?
True
Let h be (-4)/(-8) - 10498/(-4). Suppose -3*o - 468 = -h. Is o composite?
False
Let q be 2 + -414 + 1*-3. Let f = -581 - q. Let s = f - -263. Is s a prime number?
True
Suppose 6*z = 10*z - 2036. Is z prime?
True
Let v(d) = -29*d + 4*d + 1 - 7 