?
True
Let c(h) = 1403*h + 1. Let s be c(1). Let p = s + -211. Is p prime?
True
Suppose -d - 4*p + 14 = 0, 0 = -d + 5*p - 0*p - 22. Let l be -5*2*1/d. Suppose l*a + 55 = 3*q, q - 7*a + 3*a - 23 = 0. Is q composite?
True
Let v = 28 - -7. Suppose -91 + v = -4*n. Is n a composite number?
True
Let m = -67 + 105. Is m composite?
True
Suppose 7*x - 5*x - 168 = 0. Suppose x = 3*v + 15. Is v a composite number?
False
Let i = 5685 + -4036. Is i prime?
False
Let j(b) = b**3 - 11*b**2 + 11*b - 8. Let x be j(10). Suppose 5*o - 1 = p - 39, -190 = -5*p + x*o. Is p a prime number?
False
Suppose -334 - 2736 = -2*c. Is c prime?
False
Suppose -14*a + 12*a + 240 = 0. Let b be -1*(-1 - -42)*1. Let c = a + b. Is c prime?
True
Suppose 2*m - 5*v + 581 = 0, -4*m = -7*m + 3*v - 858. Is (-8)/(-12) + m/(-3) a prime number?
False
Suppose 0 = -4*b + 9 - 1. Suppose 0 = m + 4*i + 8, -m - 5*i - 5 = -b*i. Suppose -121 = -h + 4*z, 0*h + m*h - 430 = -2*z. Is h prime?
True
Suppose v + p - 170 = -2*p, v - 5*p - 210 = 0. Let r = 401 - 228. Suppose -c = 4*c + 5*j - v, 0 = -5*c - j + r. Is c composite?
True
Let l(o) = -60*o + 10. Let s be l(-11). Suppose 5*t - s = -3*q, q = -t - 0*q + 136. Is t composite?
False
Let a(r) = -r**2 - 8*r - 3. Let d be a(-8). Let z be (9/d)/(-3) + 46. Let l = z + 10. Is l a prime number?
False
Let c = -5 - -9. Let k = 678 + -443. Suppose w + c*w - k = 0. Is w composite?
False
Let z be (-137 + -2)/1*-1. Let n = z - -334. Suppose -2*g - 3*r - r = -242, -4*g + 3*r = -n. Is g prime?
False
Suppose -9*q + 8*q = 3. Is 5*(q - -85) + -3 prime?
False
Suppose -a - 2 + 4 = 0, -5*a = -4*h + 450. Is h a prime number?
False
Let b be ((-10)/6)/(2/(-6)). Let g(t) = 4*t**2 - 7*t - 6. Is g(b) a composite number?
False
Suppose -4*y - 4 = -2*o, -o - 16 = 3*y + y. Let f(w) = 17*w - 1. Let z be f(y). Let d = 77 - z. Is d a prime number?
False
Suppose 0 = 5*f - 4*f - 54. Let d be (-3014)/(-12) - 9/f. Suppose -3*c = 5*g - 503, -2*c + 4*g + d = -55. Is c a prime number?
False
Suppose 1015 = f + 4*f. Is f a composite number?
True
Let q(a) = a**2 + 12*a + 6. Is q(-15) composite?
True
Let g = 288 - 131. Is g a prime number?
True
Suppose 78 - 13 = -5*z. Let c = 22 + z. Is c a composite number?
True
Suppose 2*a + 2*a - 1523 = -3*s, -4*a = 4*s - 2032. Is s a composite number?
False
Let d(g) = g**2 - 8*g + 1. Let s be d(8). Is 3 + 84 - -2*s a composite number?
False
Suppose -117 = -v + 15. Suppose -3*u + 141 + v = 0. Is u composite?
True
Let p = -125 + 258. Is p prime?
False
Let k = -6 + 12. Suppose 3*b + 2*o + o = k, 0 = -2*b + 3*o + 14. Suppose -b*h + 125 = -231. Is h a composite number?
False
Let r(p) = -p - 3. Let h be r(-6). Let t(q) = q**2 - q. Let u be t(9). Suppose -h = -3*d + u. Is d prime?
False
Suppose 0 = 5*f - 688 - 1917. Is f a composite number?
False
Let p = 105 + -67. Let d = 53 + p. Is d composite?
True
Suppose v - 154 = 8*v. Suppose 0 = -2*d - 3*d + 180. Let z = v + d. Is z prime?
False
Suppose 0 = -29*d + 24*d + 5495. Is d composite?
True
Let i = -7 + 7. Suppose i = -2*q + 3*q - 163. Is q a prime number?
True
Let v = 5 - -7. Let j be ((-2)/3)/(2/3). Let s = v + j. Is s prime?
True
Let w = 640 + 252. Suppose 2*o = -2*o + w. Is o composite?
False
Let o be 194/4 + 2/(-4). Suppose 48 = -4*d - 3*g - 71, -37 = 2*d - 3*g. Let m = d + o. Is m prime?
False
Let c be 2*(-2)/(-4) + 2. Suppose 445 = 2*d + c*d. Is d prime?
True
Suppose -21 = -4*u + 35. Is u composite?
True
Let c(f) = -f**3 + 6*f**2 + f + 7. Let n(j) = j**3 - j - 1. Let k = 7 - 5. Let s be n(k). Is c(s) a composite number?
False
Let s be (1 + -2)*(-702 - -3). Suppose -u - 2*u = -s. Is u prime?
True
Let v(k) = 9*k**2 - 2*k - 1. Let b be (4/10)/(2/10). Is v(b) a prime number?
True
Let y be (-3732)/18 + (-2)/(-6). Let z be 1/(-5) + (-6804)/(-20). Let r = z + y. Is r prime?
False
Let n(k) be the third derivative of k**6/120 + k**5/12 + k**4/6 + 2*k**3/3 - k**2. Let y be n(-4). Suppose y*s - 22 = 18. Is s a prime number?
False
Let j(b) = b + 2. Let d be j(-5). Let l be 0 + -2 + d + 114. Let h = 158 - l. Is h composite?
True
Suppose 0 = -3*k + 5 - 35. Let r = 89 + k. Is r a composite number?
False
Let a(b) be the third derivative of -b**4/3 - 11*b**3/6 + 2*b**2. Let q be -2 - (2 + 7/1). Is a(q) prime?
False
Suppose -3*r + 3 = -3*o + 2*r, 2*o = 4*r. Let n = o + 5. Is 1*((-316)/(-2) + n) a composite number?
False
Suppose -w - 5*v + 18 = 0, -4*v = -5*w + v. Suppose 0 = 4*d + 5 + w. Is (d/(-1) - 0) + 19 a prime number?
False
Suppose 321 = 4*b - 3*o - 1264, 2*b = 3*o + 791. Is b a composite number?
False
Suppose -194 = -2*x - 10. Let z = x + -9. Is z composite?
False
Let y = -22 - -75. Is y composite?
False
Suppose 3 = 2*j - 1. Suppose j*w = 6*w - 2060. Is w a composite number?
True
Let p = 253 - -394. Is p prime?
True
Let u = 933 + -448. Is u a composite number?
True
Suppose -140 = -3*c + 4003. Is c composite?
False
Suppose 3*f - 3 + 0 = 0. Suppose -s = -f, -3*t + 1 + 2 = 3*s. Is (t + 1)/(2/14) a prime number?
True
Let f = -5 + 8. Suppose 0 = -s + f - 0. Suppose -5*m + 2*d + 120 = 0, s*m = 2*m - 3*d + 7. Is m a composite number?
True
Suppose -594 = -5*y - 5*p + 876, p + 1440 = 5*y. Is y a prime number?
False
Suppose -c = -2*c + 62. Is c composite?
True
Suppose -h - 8 = -5*h. Suppose -h*k - 2 = -10. Suppose 3*q - k*q = -3. Is q composite?
False
Suppose -z - 49 = -168. Is z composite?
True
Suppose -3*s - 43 + 234 = 4*v, 3*v - 3*s - 138 = 0. Suppose 2*x - 123 - v = 0. Is x prime?
False
Is (5 + (-20)/5)*(5044 - -1) composite?
True
Suppose -3*x + i + 7 = 0, -2*x + 0 = 3*i - 1. Let z = x + 0. Suppose -5 + 23 = z*r. Is r a prime number?
False
Suppose 0*i - 4 = -2*i. Suppose -4 = -i*p + 2. Suppose 4*t = 3*t + 3*w + 25, 0 = 5*t + p*w - 197. Is t a prime number?
True
Suppose 4*s = 6*s. Suppose 5*z - 2*z - 165 = s. Is z composite?
True
Suppose -2*w = -3*k + 52, -4*k + 3*w = -28 - 40. Is (-29)/(-2 + k/12) composite?
True
Is ((-69)/(-4))/((-30)/(-80)) a prime number?
False
Let n(g) = -g**2 - g. Let l be n(-1). Suppose 5*v + l*v - 10 = 0. Is v - 0 - -29 - -2 composite?
True
Let x be 5 + (0 - 2/1). Suppose 5*i - b - x*b - 18 = 0, -5*i + 16 = -3*b. Suppose -28 = -i*q + 88. Is q a composite number?
True
Let f = 9 - 7. Suppose 0 = 4*q + 3*n - 17 + 89, -f*q - 36 = n. Is (59/3)/((-2)/q) prime?
False
Let n(q) = -1428*q + 85. Let i(c) = -51*c + 3. Let h(t) = 85*i(t) - 3*n(t). Let u be h(-1). Suppose -3*l + 198 + u = 0. Is l a composite number?
False
Let l be 1/3 - (-5)/(-15). Suppose l + 1 = -p, 2100 = 5*a - 5*p. Is a prime?
True
Let i be (15/(-9))/(4/1380). Let k = 910 + i. Is k composite?
True
Let y(t) = -t**3 - 3*t**2 - t + 2. Suppose -r - 5*g + 31 = 2*r, 2*r - 3*g - 27 = 0. Let u = 7 - r. Is y(u) composite?
True
Suppose -4*p + 3 = -1. Let w be (7 + p)/(1/(-1)). Let c(h) = -10*h - 1. Is c(w) composite?
False
Suppose 3*r = 3*n + 84 + 264, -455 = -4*r - 5*n. Is r prime?
False
Suppose 69 + 40 = r. Suppose f = 4*z - r, 4*f - 2*z + 16 + 406 = 0. Let d = f + 164. Is d prime?
True
Let z(s) = -s**3 - 8*s**2 - 7*s + 5. Let w be z(-7). Suppose -w*h + 3*h = -2*p, 4*p + h = -20. Let x(t) = 5*t**2 - 4*t - 5. Is x(p) a prime number?
False
Let v = 3 + 1. Suppose -5*d - v = 6, -5*j - 4*d = -7. Suppose 2*z + 211 = j*i, -2*i + 6*i - 3*z = 282. Is i prime?
False
Suppose 4*r = 2 - 6, -4*n - 5*r + 291 = 0. Let s = 13 + n. Is s a composite number?
True
Suppose -l = 2*n + 5, 10 + 3 = -2*l - 5*n. Let w be (-2 - -6)/(l + 1). Suppose -2*h - 201 = -3*f - 0*f, 0 = w*f - 2*h - 132. Is f a composite number?
True
Let v be (-6)/12*(-9 + 1). Suppose 2128 = v*t - 1332. Is t composite?
True
Let o = -11 - -15. Suppose j = -o - 8. Let b = 22 + j. Is b composite?
True
Suppose -3*b + 11 = -82. Is b a prime number?
True
Let l(r) = r**2 + 8*r + 9. Let p be l(-7). Suppose 0 = -p*q + 4*q - 52. Is (-4)/q + (-288)/(-13) a prime number?
False
Let s(w) = -4 + 5*w + 17 + 34 - 6*w. Is s(0) a prime number?
True
Let y = 620 + -99. Is y prime?
True
Suppose -3*n - p = 0, 0 = n - 4*n + 2*p. Suppose 4*j + j + 10 = n. Is (53 - 1) + -1 + j composite?
True
Let b = -10 - -4. Let j = b + 68. Let n = 147 - j. Is n a composite number?
True
Let q(p) = -2*p**3 + 3 + p**2 - 6*p**2 + 0*p**2 + p. Let f = -5 + 1. Is q(f) composite?
False
Suppose -6*a + 3*a + 45 = 0. Let j = a - 8. Is j a prime number?
True