?
False
Let h = 43 + 163. Is h composite?
True
Let t(y) = 2*y + 4. Let i be t(-6). Is (-21)/28 - 302/i composite?
False
Suppose -4*t + 4 = -12. Let f be 3 + (-4)/(t/5). Let m = 6 + f. Is m a prime number?
False
Suppose 3*o + 294 = 2*c - o, -2*c = -o - 294. Suppose -u + c = -0*u + 2*n, 3*n - 593 = -4*u. Is u composite?
False
Let w = 11 - 26. Let f be (-2)/(-3) + (-65)/w. Suppose -h + f*k + 168 = 2*h, -270 = -5*h + 5*k. Is h a composite number?
True
Suppose 2*a - 482 = -g + 71, -3*g = 4*a - 1103. Is a composite?
True
Is (2/6)/(1/237) a composite number?
False
Let h = 235 + -55. Is (h/(-9))/(2 + -4) a prime number?
False
Suppose 0 = -0*v + 2*v - 2*o, 0 = 3*v - 2*o - 2. Suppose -c - v*c = -318. Is c composite?
True
Let a(i) = 3*i**2 - i - 1. Let t be 6/(-24) - 62/8. Is a(t) prime?
True
Suppose -4*o = 4*q + o - 36, -3*q + 24 = 3*o. Is q*(-345)/12*-1 a composite number?
True
Suppose 265 = o - 5*y + y, 2*y + 4 = 0. Is o composite?
False
Let a(i) = -i**3 - 5*i**2 + 4*i - 6. Let p be a(-6). Is 147/6*p/3 a prime number?
False
Let c = -5 - -11. Is ((-18)/(-4))/(c/8) composite?
True
Let s = 793 + -396. Is s composite?
False
Let o be (-1)/(-4) + 1362/24. Let j = 100 - o. Is j composite?
False
Let v be 9 + -6 + 443*1. Is v*1/4*2 prime?
True
Let c(t) = -14*t**3 - 2*t**2 - t + 2. Suppose -1 = -5*r + 4*h, -2*h - 1 = -2*r + 1. Is c(r) prime?
False
Let g be (6 - 11)*(-7)/5. Is (g/14)/((-1)/(-658)) prime?
False
Let r(o) = 9*o**2 + 4*o + 1. Let z(t) = 18*t**2 + 8*t + 1. Let d(v) = -7*r(v) + 4*z(v). Is d(4) prime?
True
Let p(k) = 62*k**2 - 1. Is p(3) a prime number?
True
Let o be (-24)/18*6/(-4). Suppose 0 = p - 5*k + 11, 3*p - o*p = 3*k - 5. Is ((-4)/p)/((-1)/113) a prime number?
True
Let q(x) = x**2 + 8*x + 27. Is q(-14) a prime number?
False
Let i be 6*3*(-2)/(-12). Suppose r = j + j - 62, i*j - 93 = -3*r. Is j a prime number?
True
Suppose -h + 2*h - 62 = 0. Is h a prime number?
False
Let i(o) = -2*o + 1. Let q be i(-2). Suppose -q*v = -8*v + 129. Is v a composite number?
False
Let i(h) = h + 1. Let s be i(2). Let j = s + -3. Suppose -6*g + g + 130 = j. Is g prime?
False
Let z = -33 - -303. Suppose -3*g = 2*n - 5*n - z, -5*n + 351 = 4*g. Is g a prime number?
True
Let y be 1/(-1)*(2 - 3). Suppose -10 + y = 3*m. Is (1/m)/(1/(-33)) a prime number?
True
Suppose 0 = 3*c - 3*s - 21, -3*c + 4*s = -1 - 25. Suppose -c*b - b + 237 = 0. Is b a prime number?
True
Suppose 0 = 3*w - 498 - 135. Is w a composite number?
False
Suppose 2*p - 301 = -111. Is p prime?
False
Let z(o) = -o**3 + 9*o**2 - 4*o + 1. Let c be z(7). Let k(t) = 2*t + 7. Let y be k(7). Suppose 2*d - c = 3*r, 3*r - y = -d + 10. Is d a composite number?
True
Let k be ((-2)/2)/(4/1236). Is k/(-4) - (-5)/(-20) composite?
True
Let d = 10 - 8. Let b be (-52)/(-14) - d/(-7). Suppose -b*x + 4*l + 844 = 0, 5*x + 6*l - 1055 = 4*l. Is x a composite number?
False
Suppose 0 = -5*v - k + 45, -3*v + 3*k + 39 - 12 = 0. Let r be (-4)/18 + 191/v. Suppose -r = 4*t - 377. Is t a prime number?
True
Let p = 1462 + -1009. Is p prime?
False
Suppose 57 = 4*c + 5*z, c - 9 = -2*z + 6. Suppose -3*t + 2*t = 5*l + 14, 2*l - 2*t = -8. Let q = l + c. Is q a prime number?
False
Let t = 5 + -9. Is 2588/(-8)*t/2 prime?
True
Let u be 0*-1*2/4. Suppose -225 = -3*w - u*j + 3*j, -4*j = 5*w - 339. Suppose -h + 3*p + 12 = 0, -5*p - w = -5*h + 19. Is h a prime number?
False
Suppose -2*a - a + 633 = 0. Is a a prime number?
True
Suppose -3*a - 7 + 64 = 0. Suppose 1 = 5*h - a. Suppose 3*f - 145 = -3*k + h*f, 0 = -4*k + 2*f + 196. Is k composite?
False
Let w be (-2*1)/(2/(-9)). Let x = w + -6. Suppose x = -3*l + 114. Is l composite?
False
Suppose -2*f = -4*p + 430, -2*p + 2*f = -f - 225. Suppose -4*i + 54 = -30. Suppose 0*u - 3*n = -u + i, 5*u = 3*n + p. Is u prime?
False
Suppose 3*a - 71 = -t, -a + 27 = -5*t + 2*t. Let s = a + -21. Is s composite?
False
Suppose -2*h - 8612 = -6*h. Is h prime?
True
Suppose -6*d + d - 940 = 0. Is 7/((-14)/d) - 1 a composite number?
True
Suppose 0 = 5*j - 5, 0*j + 5*j - 161 = -4*a. Suppose -3*c = y - a, 4*c - 2*y - 31 = 21. Suppose -b = -4*u - c, b - 53 = -b - u. Is b prime?
False
Let i = 243 - -200. Is i composite?
False
Suppose -50309 = -5*g + 3*p + 2480, -p = -5*g + 52793. Is g prime?
True
Suppose 70 = -4*d - 86. Let z = 87 + d. Let y = -17 + z. Is y a prime number?
True
Let w = -3 - -3. Suppose w = -3*l + 3 + 15. Suppose 0 = 5*h + 4*f - 377, 2*h - l = 2*f + 152. Is h prime?
False
Let i(b) = -2*b + 10. Let m be i(7). Let r = 23 + m. Is r a composite number?
False
Suppose -4*z - 45 = t, -4*t + 0*t = 5*z + 169. Let x be (-3)/(2 - -1) - 17. Let b = x - t. Is b composite?
False
Suppose -z + 10 = 2*x, 0 = 3*z - 3*x + 8*x - 25. Let j be (4 - 8)/(-1 - z). Suppose -n - j*q + 64 = -q, -4*n = 2*q - 306. Is n composite?
False
Let x = -6 - -10. Let z be (37 + 5)*2/4. Suppose x*u - 39 = z. Is u composite?
True
Let r(g) = 2*g + 4. Let b be r(-3). Let a(s) = 17*s**2 - 2*s. Let u be a(b). Suppose -21 = -3*p + u. Is p a composite number?
False
Suppose 0 = 63*n - 65*n + 326. Is n a prime number?
True
Suppose 6*b = 8*b - 11962. Is b composite?
False
Suppose -t + 20 = -5*t, 0 = -5*n - t - 20. Let a = 0 - n. Suppose -a*r = 5*l - 60, -r + 62 = r - 4*l. Is r a prime number?
False
Suppose 0 = -2*o + 2*h - 16, -o - 5*h = -20 + 4. Is (5 - 51)*26/o prime?
False
Let q(s) = s**3 - 12*s**2 + 15*s - 9. Let t(h) = 5*h + 1. Let o be t(2). Let w be q(o). Suppose -130 = -3*x + w. Is x a composite number?
True
Suppose -369 = -4*b + 395. Is b prime?
True
Suppose 5*u = f + 33, -u - f = u - 9. Is 1552/u - (-1)/3 a composite number?
True
Let w(v) = -v**3 - 4*v**2 + 5*v + 4. Let b be w(-6). Suppose b + 244 = 5*o. Is o a prime number?
False
Let t = -582 + 1049. Is t a prime number?
True
Suppose 4*a = z - 10, 5*a - 2 = -12. Suppose -6*m + 212 = -z*m. Is m a composite number?
False
Suppose 0*q + 9 = 3*q. Suppose -z + q*z + 10 = 5*u, -10 = 2*z - 3*u. Let d(k) = k**3 + 7*k**2 - k - 2. Is d(z) a prime number?
True
Suppose 842 = u + u. Let x = -2 + u. Is x a prime number?
True
Let f = -11 + 14. Suppose 0 = -3*c - f*c + 78. Is c composite?
False
Suppose -4 = -5*y + 2*p + 1, -14 = 2*y - 4*p. Suppose 2*v + y*v = 0. Suppose -3*c + 4 + 8 = v. Is c composite?
True
Let q = 9671 + -6236. Suppose -2*c + 0*p = -p - 1368, -5*c + q = 5*p. Is c a composite number?
True
Let v(r) = r**2 - r - 103. Let t be v(0). Let m = t - -151. Suppose -4*b + 149 = 3*o, -2*b + 19 = -o - m. Is b a prime number?
False
Let n = -136 - -579. Is n prime?
True
Let x(k) = k**2 - k - 11. Is x(10) composite?
False
Suppose 7 = o - 8. Is 5968/20 - (-9)/o prime?
False
Suppose 2*a + 10 = -z - 0*z, 4*z - a + 13 = 0. Let o(j) = -j. Let n(g) = -9*g - 3. Let b(f) = n(f) + o(f). Is b(z) prime?
True
Let c be -27 - (-4 - (-3 + 1)). Let f be (2/5)/((-1)/c). Let u = f - -213. Is u a composite number?
False
Suppose y - 547 = -2*c, -3*y - 3*c + 0*c + 1632 = 0. Is y a prime number?
True
Suppose m - 21 = -m + 5*k, -5*m - 4*k - 30 = 0. Let i = -2 - m. Suppose 0 = -5*j - i*j - 5*h + 45, 2*j + 5*h - 24 = 0. Is j a composite number?
False
Let x(q) = -50*q - 1. Let u be x(-1). Suppose 2*l - 57 = u. Is l composite?
False
Suppose 2 = 3*l - 10. Suppose 367 = l*z - f, -4*z = -2*z + 3*f - 187. Suppose 5*n - 3 = z. Is n composite?
False
Is (-2)/((20/295)/(-2)) a composite number?
False
Is 317/(-4 + 3 + 2) a composite number?
False
Suppose u - 1 = 2. Suppose -u*y + y + 2 = 0. Is y*1*-2 + 33 a prime number?
True
Let y(d) = 266*d**2 + 5*d + 7. Is y(-2) prime?
True
Let o be (3/3 - -54) + 3. Let j = 96 - o. Is j a prime number?
False
Let u = -49 + 120. Is u a composite number?
False
Let q be -196 + -5 + -1 + -2. Let b be -2 + 1 - (2 + -1). Is q/(-16) - b/8 composite?
False
Suppose 0 = 2*o - 362 - 252. Is o composite?
False
Let n = 252 - 1. Is n a prime number?
True
Is (-3 - (-2060)/(-6))*6/(-2) a composite number?
False
Let j(u) = 2*u**2 + 2*u - 1. Suppose 2 = -3*o + 2*o. Let c be j(o). Suppose -4*x + 21 = -c*x. Is x a composite number?
True
Let k(d) = -2*d - 4 + 2*d - 2*d - d. Is k(-5) a prime number?
True
Is 4/(16/692) - 4 composite?
True
Suppose -11*c = -10*c - 211. Is c a prime number?
True
Let p = -1 + 5. Suppose -p*u = -2*f + 158, 0 = f + u - 15 - 49. Suppose -2*d - f = -199. Is d prime?
False
Let g(p) = -p**2 + 10*p - 7. Let n