Let a = h - -45. Is a a prime number?
True
Suppose 6*c + 1 = -11. Is 179 - ((-2)/c - 0) composite?
True
Let h be ((-3)/2)/((-1)/2). Is 392/5 - h/(-5) composite?
False
Is (-25286)/(-18) + 14/63 prime?
False
Is (1902 - 2/2)/(6/6) composite?
False
Let m = 6 + -3. Suppose -m*y - 2*y = -215. Is y a prime number?
True
Let y = 8 + -5. Suppose 0 = 3*h + 2*h - 10. Is 30/y - (-2)/h a prime number?
True
Suppose -a + 9 = 4*y - 6, -2*a + 14 = 4*y. Suppose f = -f + r, y = 2*r. Is 7/21*(f + 62) composite?
True
Suppose 4*p - o - 1794 = 0, -2*p + 3*p - 439 = 5*o. Is p a prime number?
True
Suppose q + q = 598. Is q composite?
True
Let w be 1/3 - (-56)/12. Suppose -52 = -a - 3*l + 12, a + w*l = 70. Is a a prime number?
False
Let k(g) = -46*g**2. Let j be k(1). Let n = j - -79. Is n prime?
False
Let n be (288/10)/((-12)/(-40)). Let p = n + -17. Is p prime?
True
Suppose -635 = -5*w + 4*d, w - 113 = 4*d + 30. Is w a composite number?
True
Suppose 0 = -t - 175 + 654. Is t prime?
True
Suppose -9 = -5*k - 0*k + 3*o, 0 = -o - 3. Suppose k = -0*h - 2*h + 74. Is h a composite number?
False
Is ((-653)/(-4) + 0)*4 composite?
False
Let n = -160 + 257. Is n prime?
True
Suppose w + 4 = 7. Let h(n) = -w*n**2 - n**2 - 4*n - 4*n**2 - 3 - n**3 + 2. Is h(-8) a composite number?
False
Let o(c) = -11*c + 6. Is o(-13) a composite number?
False
Let p(y) = 108*y**3 - y**2 + y - 1. Let k be p(1). Let b = 220 - k. Is b prime?
True
Let c(h) = -h**3 - 3*h**2 + 2*h + 2. Let z = -3 + 0. Let w be c(z). Is w/14 + 699/21 composite?
True
Let j(u) = -u**3 - 8*u**2 + 8*u - 4. Let q = -10 + 1. Let l be j(q). Suppose 4*k = -0*k - l*f + 144, 4*k - 132 = -2*f. Is k composite?
False
Suppose 5*s = -5*h + 20, 3*s - h - 12 = 2*h. Suppose 3*b = -5*k, 0*b - s*b - k - 17 = 0. Is -85*((-3 - b) + -3) composite?
True
Let y(o) = o**3 + 8*o**2 + 5*o + 7. Let k be y(-6). Suppose 0 = -2*i - k + 159. Is i composite?
True
Let d(c) = -3*c**2 - 4*c - 3. Let j be d(-2). Is ((-3)/6)/(j/5222) a prime number?
True
Let b(d) = d**2 - 121. Let s be b(0). Let m be -15*((-22)/3 + -4). Let f = m + s. Is f prime?
False
Let a(b) = b**3 - 12*b**2. Let p be a(12). Suppose p = 2*h + h + 3. Is 36 - h*(0 - -1) a composite number?
False
Let p = 3 + -3. Let y = p - -14. Is y a prime number?
False
Suppose -q = -2*t + 7, -5*q = 5*t + 2 + 3. Suppose t*v - 519 = 139. Is v prime?
False
Let l(d) = 3*d**2. Let h be l(4). Suppose 0 = -3*f + 2*f + 5*n + 3, 0 = 3*f - n - 9. Suppose -f*c + h - 6 = 0. Is c composite?
True
Let n be (-12)/(1/2*-1). Let v be 1/(-1)*1 + 30. Suppose -n = -j + v. Is j a prime number?
True
Suppose 5*s - 38 = r, -6*s - 4*r = -2*s - 40. Let i = -6 + s. Suppose 2*v - 84 = -i*v. Is v a prime number?
False
Is (-4 - (-9)/(-6))*-94 a composite number?
True
Let a = -1001 - -699. Suppose -f + 5*f + 684 = 0. Let q = f - a. Is q a composite number?
False
Let n be 23/(2*(-4)/472). Is n/(-6) - 9/54 a prime number?
False
Let x = 134 + -75. Is x composite?
False
Suppose 0*x + 2*c = -3*x - 19, 5*c + 10 = 5*x. Let z(h) = -5*h - 4. Is z(x) a prime number?
True
Let b be 10*-1*1/(-2). Suppose -b*w = -w. Suppose w = q + 2*q - 291. Is q a prime number?
True
Suppose 0 = -i + 5, 0*n - i = 2*n - 291. Is n composite?
True
Let w(v) = -v - 1. Let t be w(-3). Let u be 0/t + (23 - 1). Suppose -2*f = -h - 79, 2*h - u = -f - h. Is f a prime number?
True
Suppose 2*w - 84 = 662. Is w composite?
False
Let n be (-20)/(-3) + (-10)/15. Suppose 0*q - n = -q. Is ((-39)/q)/((-2)/4) prime?
True
Suppose 5*a + 20 = 0, -w - a + 62 = 11. Let p = w - 22. Is p a prime number?
False
Let a be ((-18)/8)/(3/(-8)). Is (-4)/5*(-615)/a prime?
False
Let p(c) = 4*c**2 + 2*c. Let x be p(3). Let a(l) = -l**2 + 6*l + 3. Let m be a(6). Suppose m*j + x = 6*j. Is j a composite number?
True
Suppose -2*w + 4*k - 2 - 10 = 0, 2*k = 4. Is -4 + 7 - 47*w a composite number?
False
Suppose 5 + 3 = 4*g. Let p = 6 - g. Suppose -3*o + p*o - 95 = 0. Is o prime?
False
Let r(o) = 3 + 0 - 5 - 15*o + 3. Is r(-3) composite?
True
Suppose -207 = -2*p - 4*c + 3971, -c + 2094 = p. Is p a prime number?
True
Suppose 35 = 2*i - 345. Suppose 4*h - i - 982 = 0. Is h composite?
False
Let a(v) = 14*v**2 + 23*v + 1. Is a(8) prime?
False
Let p(h) = 34*h**2 - 3*h - 3. Is p(-2) prime?
True
Let u = 1207 - -942. Is u prime?
False
Let s(u) = -u + 13. Suppose 4*f + 0*f = 0. Is s(f) composite?
False
Is 1/3 - 4570/(-15) prime?
False
Suppose b = -2*y + 6, -5*y + 0*b + 15 = 3*b. Suppose -4*r + 24 = -2*w + 7*w, -3*w + y*r + 9 = 0. Is w a prime number?
False
Let v = 143 + -93. Let h be -3 + 3 + v/2. Suppose -2*b + 4*b + 4*n - 154 = 0, 0 = 5*n - h. Is b prime?
True
Let k(t) = -t**3 + 4*t**2 + 4*t + 1. Let o be k(5). Let a = -2 - o. Suppose -m - a*c = 2*c - 29, 2*m - c - 76 = 0. Is m composite?
False
Is (5 - (-734 + 1)) + 1 prime?
True
Suppose -5*o = -200 - 175. Suppose -b + 2*b - o = -4*t, 443 = 5*b + 3*t. Is b a prime number?
False
Let h = -319 + 654. Is h composite?
True
Let v(u) = -18*u + 3. Is v(-3) composite?
True
Let m be -1 + 6 + (-7 - -4). Suppose 5*w + m = -3. Is ((-1)/(-1))/(w/(-37)) composite?
False
Let n = -630 - -421. Let j = n - -321. Is j - (2/(-2) - 0) composite?
False
Let g = 360 - 83. Let v = g - 90. Is v a composite number?
True
Suppose 0 = 5*v - x - 1467, x + 6 = 3*x. Suppose 165 = d + 5*o, 2*d + 2*o - v = o. Is d a composite number?
True
Let u(k) = -64*k**2 - 1. Let q be u(-1). Let c be ((-24)/(-14))/(3/84). Let l = c - q. Is l a composite number?
False
Let t = -1 + 1. Suppose t = -6*n + 2*n + 20, -z + 42 = -5*n. Is z a composite number?
False
Suppose 0*m - 305 = -s - 4*m, s - 284 = 3*m. Is s composite?
False
Let z(m) be the first derivative of m**4/4 - 4*m**3/3 + 2*m**2 - 2*m + 2. Let q = 6 - 2. Is z(q) prime?
False
Let c = -11 + 16. Let z(j) = 7*j**2 + 2*j + 6. Is z(c) prime?
True
Let k = -181 + 292. Is k prime?
False
Suppose 4*z = z + 447. Is z prime?
True
Let v(g) be the third derivative of 4*g**5/5 + g**3/6 + 10*g**2. Is v(1) prime?
False
Suppose 10*j - 5*j - 815 = 0. Suppose 5*r = -2*z + j, z - 4*z - 19 = -r. Is r prime?
True
Suppose 5*n + 3*q - 1503 = 0, 7*n - 1192 = 3*n - 5*q. Is n composite?
True
Suppose b = 2*b - 122. Is b a prime number?
False
Is (-8)/12*771/(-2) a composite number?
False
Let w(m) = 174*m**3 + 3*m**2 - 2*m + 3. Is w(2) composite?
True
Is 1973/6 + (-13)/(-78) a prime number?
False
Suppose 0 = p + c + 28, 160 = -5*p - 0*c + 5*c. Let k(t) = -t**3 + 2*t**2 + 7*t - 4. Let n be k(5). Let g = p - n. Is g prime?
False
Suppose -132 = -3*s + 6. Suppose 3*d - 298 - s = -2*j, -2*d - 490 = -3*j. Is j composite?
True
Suppose -a + 19 = 257. Is (-4)/((-12)/3) - a composite?
False
Let o = -5 - -5. Suppose 3*t + g = 4*g + 459, 2*t - 3*g - 302 = o. Is t composite?
False
Is (-5)/(-25) + (-2984)/(-5) a composite number?
True
Is 5296/(-12)*63/(-28) prime?
False
Suppose v = -3*v + 8. Let q = 21 + -17. Suppose 0 = j - q*i - 27, -54 + 233 = 5*j + v*i. Is j a prime number?
False
Let m(l) = -36*l**3 - 2*l + 1. Let x(w) = -w**3 + w - 2. Let v be x(0). Is m(v) composite?
False
Let c be (302/4)/(2/4). Let x = -6 - -6. Suppose -2*v + 3*j = -c, 2*v - 127 = -x*v - 5*j. Is v a prime number?
True
Suppose -4*h = p + 45 - 224, 0 = 5*h - 20. Is p prime?
True
Let q(i) = 4*i**2 - 6. Let p be q(-5). Suppose j - 25 = -2*m, -p = -3*j + m + 9. Is j prime?
False
Let h(w) = -w + 8. Suppose -g - 14 = -f - 4*g, 2*g - 6 = 0. Is h(f) a prime number?
True
Let r(v) = -v**3 + 8*v**2 + 5*v - 7. Let j(l) = l**2 - 4*l + 2. Let y be j(5). Is r(y) composite?
True
Let d = 5 + -7. Let g be (-1)/(-2)*(-16)/d. Suppose -g*c + 7 = -253. Is c prime?
False
Suppose 0 = -2*o - 98 - 400. Let u = -118 - o. Is u prime?
True
Let j(o) = -2*o - 3. Let h(v) = -v**3 - 3*v**2 + 1. Let y be h(-2). Let p be j(y). Suppose p*z - 126 - 165 = 0. Is z composite?
False
Suppose 4*u - 21 = 5*n, -4 + 18 = u - 3*n. Let d(i) = -4*i**3 - 1. Let m be d(u). Suppose m*s - 4 - 23 = 0. Is s a composite number?
True
Suppose -4*f = -3*f. Suppose -4*z + 0*z - h + 152 = f, 5*h - 19 = -z. Is z composite?
True
Suppose -1955 + 437 = -o. Suppose -4*d + o = 2*a, -a + 0*d = -2*d - 751. Is a prime?
False
Suppose 2*a - 4 = 0, 5*y = -4*a + 4323 + 1020. Is y a prime number?
False
Let j(z) = z**2 + 7*z + 9. Let p be j(-6). Suppose 258 = -w + p*w. Is w composite?
True
Suppose 5*g + 6 