 y = 120 + -195. Let p = -40 - y. Is p a prime number?
False
Suppose -4414 = -3*z + 557. Is z a prime number?
True
Let d = 963 + 508. Is d prime?
True
Let u(m) = m**2 + m**2 + 0*m + 4*m. Let i be u(9). Let k = i - -55. Is k a composite number?
True
Let n be 1 + -1*1 + 24. Let s = 38 - 31. Let h = n + s. Is h a composite number?
False
Suppose 2*j - 106 = -b, 0*b = j + b - 51. Is j a prime number?
False
Let g(n) = n**2 + n - 3. Let y be g(-3). Suppose -y*o = 4*d - 346, -2*d + o + 237 - 69 = 0. Is d composite?
True
Let a = -1 - -5. Let z(p) = 26*p + 9. Is z(a) prime?
True
Let k = 83 - 43. Suppose r + 3*c = k, -c = 3*r - 2*c - 90. Is r a composite number?
False
Let w = -2 + 2. Suppose 2*r + 0*t - 2*t = 26, w = -2*r - 2*t + 26. Let j = 66 + r. Is j prime?
True
Suppose 521 = 3*j - 2*j. Is j a prime number?
True
Suppose 8*b - 11555 = -1107. Is b composite?
True
Let y be (60/(-18))/((-4)/6). Suppose 2*m = 3*m - y. Suppose -29 = -m*f + 2*o, -5*o = f - 0*o - 22. Is f a prime number?
True
Let b be (5/(-10))/((-2)/(-144)). Is (-27)/b - 313/(-4) a composite number?
False
Let t(q) = -14*q**3 + 6*q**2 + 13*q + 12. Is t(-5) composite?
False
Suppose 4*u - h - 13 = 0, h + 21 = -2*u - 4*h. Suppose 0 = -3*g + u*y + 18, 3*g = -5*y + y. Suppose -5*m - j + 22 = j, g*j = 3*m - 34. Is m composite?
True
Let w(p) = 2*p + 127. Let f be 0*(4 + (-6)/2). Is w(f) composite?
False
Let p = 34 + 753. Is p prime?
True
Let j = 3 + -1. Suppose j*x + 259 = 3*n, -149 + 570 = 5*n + 2*x. Is n prime?
False
Is 293/((-4)/(-18) + (-7)/(-9)) a composite number?
False
Suppose 4*j - 3*s = 10432, 0 = -2*j - 2*s - 0*s + 5230. Is j a prime number?
False
Let f(g) = -6*g**3 - g**2 + g + 1. Let p be f(-1). Let y(w) = w + 3. Let s be y(p). Let k = -5 + s. Is k a composite number?
False
Let d = -46 + 79. Is d a composite number?
True
Suppose h = 4*h + 5*s - 11, 3*s - 1 = h. Let g be 45 + -3*h/(-2). Let q = 31 + g. Is q prime?
True
Let h(g) = g**2 + 4*g - 3. Let y be h(-4). Is (3 - (y - 123)) + -2 prime?
True
Suppose 5*q - 14 = t, 3*t + 0*t + 2*q = 26. Suppose -t*r - 154 = -8*r. Is r prime?
False
Let q = -611 + 1416. Suppose 3*s + 2*s - 2*g = q, 5*s + g = 805. Is s prime?
False
Let o(y) be the second derivative of -19*y**3/6 - 4*y. Is o(-5) a composite number?
True
Let d(i) = 5*i + 4. Let z be (-55)/(-20) - 2/(-8). Is d(z) a prime number?
True
Let a(y) = -y. Let i(w) = -8*w. Let k(j) = -72*a(j) - 2*i(j). Let o be k(1). Is (-10)/4*o/(-4) composite?
True
Let g be -1 - -2*(0 - -4). Suppose 5*t - g = 8. Suppose 0 = -z + t. Is z a composite number?
False
Let j(c) = -c**3 - c**2 + c - 1. Let u be j(-2). Let h = -1 + -1. Is -2*(2 - u)*h a prime number?
False
Let g be 7/4 + 1/4. Suppose g*b + 5*w = 50 + 69, -w = -5. Is b prime?
True
Let w(h) be the third derivative of 3*h**6/10 - h**5/30 + h**4/12 - h**3/6 + 2*h**2. Suppose -g + 4 = 3. Is w(g) composite?
True
Let t = -3 - -2. Is -35*(t - 0/(-3)) a prime number?
False
Is -51*(103 - 0)*(-5)/15 prime?
False
Let h be 1/(-2) + 42/4. Suppose -4*i - h + 54 = 0. Is i a composite number?
False
Is (-1 - -1) + 382/2 composite?
False
Suppose 2*x = -x - 5*a + 1487, -2*x + 1008 = -5*a. Is x a prime number?
True
Let d(c) = -7*c**2 + 14*c - 5. Let p(x) = 3*x**2 - 7*x + 3. Let g(o) = -4*d(o) - 9*p(o). Is g(5) a prime number?
True
Let b(g) = 3*g**2 + 1 + 3*g**2 + 2*g - 3 - g**3. Suppose d + 5*r + 9 = 0, 4*d = 2*d - 4*r. Is b(d) prime?
False
Let j(f) = f**2 + 5*f + 9. Let k = 23 + -1. Let m = -15 + k. Is j(m) a composite number?
True
Let j(g) = g**3 + 11*g**2 + 5*g + 11. Is j(-8) a composite number?
False
Let j(n) = -224*n**3 - 4*n**2 + 5*n - 9. Let r(l) = -56*l**3 - l**2 + l - 2. Let q(c) = -2*j(c) + 9*r(c). Let o be q(-1). Suppose -4*u + o = -92. Is u prime?
True
Is 2/6 + -1*(-186)/9 prime?
False
Let m(x) = x**3 + 5*x**2 - x + 3. Let g be m(-5). Let t = g + -4. Suppose -t*u + 131 = -3*u. Is u a prime number?
True
Suppose 4*h + 4*k - 3464 = 0, -4*h + 9*h + 2*k = 4321. Is h composite?
False
Suppose 0 = 4*l + 5*q + 12, 0 = -5*l + q + 11 + 3. Suppose 5*z - l*z - 705 = 0. Is z prime?
False
Suppose 0 = 4*y + 4*p - 1 - 7, 12 = 4*y + 3*p. Let a be y*1*(-3)/6. Is (2 + -3 - a)*11 composite?
True
Suppose 10*h = 11*h - 781. Is h composite?
True
Suppose 0*i - 942 = -6*i. Is i prime?
True
Suppose w - 20 = -3*w. Suppose 0 = 4*v - w*c + 184, -v + 2*v = -c - 55. Let i = -30 - v. Is i a prime number?
False
Let o(m) = -85*m - 79. Is o(-21) composite?
True
Suppose 3*v - 1 = -7. Is (-2)/4 - 117/v a composite number?
True
Let o be 3/(-12) + (-389)/(-4). Let j = -12 + o. Is j a composite number?
True
Let b(m) = m**2 + 6*m - 5. Let f(j) = -j**2 - j + 1. Let v(g) = -b(g) - 6*f(g). Let w be v(1). Suppose 4*t = -w*d + 4, 0 = 4*d + 4*t + t + 1. Is d prime?
False
Is (1/(-2))/(1/(-1462)) prime?
False
Let p(m) = 6*m**2 + 7*m. Let c be p(5). Let j = 359 - c. Is (-11)/(-2)*j/3 a prime number?
False
Let w = 4253 - 2248. Is w composite?
True
Suppose p - 653 - 137 = -h, 2*h - p = 1571. Is h a composite number?
False
Let q(u) be the second derivative of 83*u**3/6 + 9*u**2/2 + u. Is q(4) a composite number?
True
Let t = -12 - -398. Is t a prime number?
False
Let h(t) be the first derivative of t**4/4 + 10*t**3/3 - 15*t**2/2 + 15*t + 2. Is h(-11) a prime number?
True
Let r = -6 + -2. Is r/24 - 524/(-6) composite?
True
Suppose 0 = 4*q - o - 116, -4*q = -6*q - 3*o + 44. Suppose 4*w + 20 = -5*h + 2*w, h + 21 = 3*w. Let a = q + h. Is a a prime number?
False
Let u(k) = 7*k**2 + 4*k - 3. Let x = 1 - 5. Let d be u(x). Suppose -2*o = o - d. Is o composite?
False
Is (-1)/((8/892)/(-2)) prime?
True
Is 154 - (-6)/2 - 0 a composite number?
False
Let u(m) = 420*m**2 - m. Is u(1) a prime number?
True
Let l = 0 - -4. Suppose -l*y = -k - 23, -4*y + 14 = -4*k - 6. Is y a prime number?
False
Suppose 20 - 152 = -4*h. Is h/12 - 2/(-8) composite?
False
Is (4258/4)/(-7 - 105/(-14)) a prime number?
True
Let u(w) = 14*w + 1. Is u(8) a composite number?
False
Is (27/(-6))/9*-638 composite?
True
Let g(w) = w**2 + 5*w + 7. Let k = -7 - -2. Let v be g(k). Suppose 3*q = 49 - v. Is q a prime number?
False
Let k(p) = -50*p + 11. Is k(-21) prime?
True
Let a(l) = 4*l**3 + l**2 - l + 1. Let v(n) = -n - 11. Let y be v(-8). Let x = y - -5. Is a(x) a prime number?
False
Let v = 225 - 119. Is (2 + (-2)/4)*v a composite number?
True
Let f = 162 - 74. Suppose 2*c - 4*m = -2*c - 112, 0 = -3*c + m - f. Let z = 17 - c. Is z prime?
True
Let m(f) = f**2 + 4*f - 10. Let s be m(-8). Suppose -3*q - g = -1 + 3, -s = -2*q + 4*g. Is 32 + 1 + (-2)/q a composite number?
False
Suppose -9*d + 1506 = -3*d. Is d a prime number?
True
Let m = 207 - 135. Suppose -4*i + 860 = -m. Is i a prime number?
True
Suppose -126 = -4*m + 130. Let h = m - -85. Is h a composite number?
False
Let f(l) = -l**3 + 5*l**2 - 4*l + 5. Let k be f(4). Is -4 - k/(5/(-153)) a prime number?
True
Is 2639/(-14)*-2 + 2 + 0 a prime number?
True
Let s = 51 + 62. Is s a prime number?
True
Let p(c) = c**2 - 2*c - 1. Suppose 18 = 2*l - 0*l. Let r = 7 - l. Is p(r) composite?
False
Let t(s) = s**2 + 8*s - 8. Let o be t(7). Let g = -176 + o. Let y = -46 - g. Is y a composite number?
True
Let t(r) = -12*r**3 + r**2 - r - 1. Let o(f) = f**2 + 8*f - 8. Let l be o(-9). Suppose 2*c - l + 3 = 0, 3*d = 4*c + 1. Is t(d) composite?
False
Let q be ((-15)/6)/(15/(-6)). Let c(i) be the third derivative of 163*i**4/24 + i**2. Is c(q) composite?
False
Let i = 1 + 4. Suppose 0*p + p = -2*m + 7, 4 = 2*m + 4*p. Suppose -i*c + 18 = -t, -c + 15 = 2*t - m. Is t a prime number?
True
Let k be 15/(-5)*1/(-1). Suppose -k*u - 4*o + 857 = 0, 3*u = o + 668 + 194. Is u composite?
True
Let m = -1266 + 3172. Is m a composite number?
True
Suppose -11*w + 9*w - 6 = 0. Let l be (-1054)/(-14) - 4/14. Is l*(-1)/w*1 composite?
True
Suppose 3*q - 6*q = -303. Suppose 2*g + 5*d = 125 + 32, -g + q = -2*d. Is g composite?
True
Let u(j) = -23*j - 4. Suppose -3*c + 8*c = -20. Let q be u(c). Is q - (2/(-2) - 0) composite?
False
Let y be 544/56 + 2/7. Is y/(-4)*(-112)/20 composite?
True
Suppose -3*b + 3*i - 761 = -7*b, 4 = -4*i. Is b composite?
False
Suppose 0 = s - 0 - 2. Suppose -2*k + 4*a - s = -34, k - 16 = -3*a. Let p = k + -5. Is p composite?
False
Let d(m) = 189*m**2 + 2*m + 1. Let l be d(-2). Suppose -5*y = -2*y - l. Is y composite?
False
