. Let t = 40 + c. Is t a prime number?
True
Suppose -5*u - 3*s - s = 159, 5*s = 3*u + 125. Let m = u - -56. Is m prime?
False
Let u be ((-4)/12)/((-1)/9). Suppose 0*a - 35 = -5*z + 5*a, -z + u*a + 15 = 0. Is z a prime number?
True
Let m be (-24 - 4)*-1*1. Suppose 8*a + 5*g - 49 = 5*a, g = -2*a + m. Is a a prime number?
True
Suppose 4*o - 7*o = -951. Is o composite?
False
Suppose 2*l - 4*c = 7014, -4*l - 3509 = -5*l + 4*c. Is l a composite number?
True
Suppose 3*c - c = 2*d + 16, 10 = 2*d. Is c a composite number?
False
Let l(f) = f**3 + 5*f**2 - 5*f. Let j = 21 + -9. Let a = j + -17. Is l(a) prime?
False
Suppose -t + 1671 - 200 = j, 0 = j. Is t composite?
False
Suppose 8 = 2*p - 18. Is p prime?
True
Let u = 8 - 5. Suppose 0*v - 156 = u*v. Let r = v - -117. Is r prime?
False
Let r be (-4)/(-14) - (-44)/(-7). Is (-6)/r*11*1 prime?
True
Let r(l) = l**2 - l. Let v be ((-4)/6)/(1/(-3)). Let s be r(v). Suppose 0*o + s*o = 138. Is o a prime number?
False
Let h be (6/9*9)/(-2). Is (-9)/h + (-320)/(-2) a composite number?
False
Let v(q) be the first derivative of -55*q**2 - q + 8. Let r be -1*(-2)/(-2) - 0. Is v(r) composite?
False
Let b be (-2 - -17)*48/(-15). Let u = 19 - b. Is u prime?
True
Suppose -10*o + 1772 = -6*o. Is o a composite number?
False
Let p = 338 - -117. Suppose b - 6*b + p = 0. Is b a composite number?
True
Suppose -5*x = -8 - 12. Is (-18)/(-12) - (-466)/x a composite number?
True
Suppose -l + 66 = q, 3*l - 2*q = -3 + 206. Is (0 - 1)/(-1)*l a prime number?
True
Let x(k) = -k. Let w(r) = 0 + 1 + 5*r - 6. Let s(y) = w(y) + x(y). Is s(10) prime?
False
Let i = -5 + 7. Suppose -i*h - u = -0*u - 744, -2 = u. Is h prime?
True
Let r(l) = 45*l + 22. Is r(21) a prime number?
True
Let z be -2 - (4 + -13 - -2). Suppose -2*y + 68 = u, 0 = -z*y - 3*u - 101 + 270. Is y composite?
True
Let z = 39 + 58. Let l be (-2)/6 - 25/(-3). Let q = z - l. Is q a composite number?
False
Let v be (-9)/6*28/(-6). Suppose -2*h + v*h - 192 = -3*k, h - 3 = 0. Is k prime?
True
Suppose -18*a + 23*a + 425 = 0. Let o = a - -120. Is o prime?
False
Let c(y) = -y + 15. Let l be c(11). Suppose -l*f + 159 = -f. Is f a composite number?
False
Suppose -y = 3*u - 263, 505 = y + y - u. Is y composite?
True
Suppose 4*d - 3 = 5*d. Let l = d + 7. Suppose 5*s = 3*w + 836, 5 = 3*w - l. Is s a prime number?
False
Let q(r) = 19*r**2 - r - 7. Is q(4) a composite number?
False
Suppose -20*f + 22*f = 276. Suppose 3*q = -2*j - 2, 0*q - 2*q - 2 = j. Suppose j*b + 0*b = f. Is b a composite number?
True
Let o be 0 - (1 - 2 - -19). Let w(c) = 4*c + 1. Let i be w(6). Let a = i + o. Is a composite?
False
Let a(x) = 2*x**2 + 2*x - 1. Let b(m) = 6*m**2 + 6*m - 3. Let t(g) = -7*a(g) + 2*b(g). Let p(s) be the first derivative of t(s). Is p(-4) prime?
False
Suppose -y + 130 = -27. Is y a composite number?
False
Suppose 2*q = -3*q - 20, 4*n - 4*q = 24. Let v = n - -53. Is v composite?
True
Suppose 0 = 4*l - 0*l - 2532. Suppose 3*g + l = 6*g. Is g prime?
True
Let z(b) = -13*b**3 + 3*b**2 + b + 4. Is z(-3) prime?
True
Suppose -4*y - 147 = -5*c, 2*c + 3*y - 4*y - 60 = 0. Is c composite?
False
Suppose -5*w = 2*y + 306, -5*y + 0*y = -4*w + 798. Let t = 379 + -144. Let i = t + y. Is i composite?
True
Suppose -5*o + 445 = 135. Is o a composite number?
True
Suppose 4*h - 4*m = 3*h + 1039, -3*h - 4*m + 3117 = 0. Is h a prime number?
True
Let o(b) = -b**2 + 7*b. Let z be o(7). Suppose -1 = 3*n - 2*n, z = 5*q + 4*n - 6. Suppose -5 = -q*f + 3*i + 13, 5*f - 45 = -i. Is f prime?
False
Let n = -13 - -5. Let y = 13 + n. Suppose o + y*a - 54 = 0, a + 3*a - 4 = 0. Is o a prime number?
False
Let s be (-4 - -4)/(1*2). Suppose -5*v + 2*v - 5*n + 32 = s, n = -v + 12. Is v a composite number?
True
Suppose h = -2*w + 7*w - 338, 4*h = 2*w - 146. Is w composite?
False
Suppose -18 - 54 = -2*n. Suppose -4*a + 64 = 2*d, d - 3*d = 2*a - n. Suppose -36 = -5*o + a. Is o prime?
False
Suppose -4*g + 8365 = g. Is g composite?
True
Is 1 + -1 + 3 + 50 a prime number?
True
Suppose -4*h + 0*n = 2*n - 6, -h = -5*n - 29. Suppose 92 = h*g - 56. Is g composite?
False
Suppose 158 = 2*i - 3*i. Suppose 0 = 3*a + 129 + 168. Let z = a - i. Is z composite?
False
Suppose -5*p - 22 = -272. Suppose -4*j - 2*v = -p, 2*j + 0*j + 3*v - 19 = 0. Is j prime?
False
Let k = -382 + 655. Let f = -180 + k. Is f prime?
False
Let i = -3 - 3. Let b = 23 + i. Suppose -b - 88 = -3*t. Is t a prime number?
False
Suppose -n + 20 = 3*n. Suppose 4*a = n*q + 49, -2*a - 3*q - 2 = 1. Suppose -159 = -a*t + 3*t. Is t prime?
True
Let h(j) = -200*j - 1 + 0 - 143*j. Let s be h(1). Is s/(-10) + 2/(-5) a prime number?
False
Let u = -3853 + 5396. Is u prime?
True
Suppose -2*q + 627 = -q. Suppose 180 = -3*f + q. Is f a prime number?
True
Let a be 2/5 - 4/10. Is (-3 - a) + (-5 - -129) prime?
False
Let z(c) = 5*c**2 + 6*c + 2. Is z(5) a composite number?
False
Let f = -1257 + 1778. Is f prime?
True
Suppose 6*u = 2*u - 84. Let i = 30 + u. Suppose 2*h - 31 = -i. Is h a composite number?
False
Let c(b) = 22*b**2 - 6*b - 7. Let x = 8 + -14. Is c(x) a prime number?
True
Is 183/5 - (-10)/25 prime?
True
Let g = -9 - -15. Suppose g*x = 4*x + 204. Suppose -p = p - x. Is p prime?
False
Suppose 5*x = -0*x. Suppose c + 9 = q + 2*q, x = 5*c - 4*q + 34. Is (-2)/c*888/8 prime?
True
Let r(m) be the third derivative of m**4/24 - 7*m**3/6 + 2*m**2. Let d be r(5). Is ((-2)/d)/(3/45) a prime number?
False
Let y be (-3)/(-6)*-1*-204. Suppose -3*p + y = w, -3*w = p + 4*p - 294. Is w composite?
True
Let u = 0 + 185. Is u composite?
True
Suppose -4*x + 3*u + 9 = 0, -4*x + 2*u + 11 = u. Suppose 8*c - x*c = 0. Suppose c = 4*r - h - 272, -2*r + 3*h - h = -142. Is r a prime number?
True
Let l = 134 + -217. Let w be -2 - (-3 + 0) - l. Suppose -3*b = b - w. Is b composite?
True
Suppose -69*g = -70*g + 1814. Is g composite?
True
Let x(h) = -h - 5. Let y be x(0). Let t(f) = -19*f - 4. Is t(y) a composite number?
True
Let l be (0 - -2) + (-1 - -1). Let x = 0 - l. Is 570/5*(-1)/x prime?
False
Let g = 130 + -33. Is g composite?
False
Is -1 + -2 + -1 + 241 prime?
False
Let x be 2661/18 + (-3)/(-18). Suppose 3 = -n + 6. Suppose -n*m + 4*t - 23 + x = 0, -25 = 5*t. Is m composite?
True
Suppose -3*f + 5 = -5*c - 0*f, -4*f = -5*c - 10. Suppose -178 = -c*k - 0*k. Is k prime?
True
Let d = 3 + -6. Let a(y) = -27*y - 2. Is a(d) prime?
True
Suppose -7*n = -3*n. Suppose n = -h + 4*u - 3*u + 129, 0 = 2*u + 4. Is h prime?
True
Let w(p) = 4*p**2 + 5*p + 5. Suppose -20 = 5*m - 0. Let s be w(m). Suppose 5*k - s = 81. Is k composite?
True
Is ((-1942)/(-12))/((-25)/(-225))*2 a composite number?
True
Suppose -4*k - 20 = 8. Let o(v) = -v**2 - 8*v. Is o(k) composite?
False
Suppose 0 = 5*o - 3*o - 102. Is o composite?
True
Let u be 1*-2 - (-1 - 5). Let b be ((-215)/u)/((-2)/16). Suppose -2*y + 2*c = -b, 0*c + 2*c + 852 = 4*y. Is y a composite number?
False
Let f = 397 - 102. Is f a composite number?
True
Is 6/(-3)*-2 - -385 composite?
False
Let d = 1919 - -596. Is d composite?
True
Suppose 3 = 3*n + 6. Is (2 - 13)/(n/19) composite?
True
Let h = 12 - 10. Suppose 2*s + 3*a = 304, 2*s - h*a - 159 = s. Is s prime?
False
Let b(a) = a**3 + 11*a**2 + 14*a - 31. Is b(13) a prime number?
False
Suppose 0*m + 2001 = 3*m. Is m prime?
False
Suppose -17 = v - 211. Is v a prime number?
False
Let q be (-703)/(-5) + 4/10. Suppose -3*f + 24 + 36 = 0. Let b = f + q. Is b a composite number?
True
Let m(z) = z**3 + 5*z**2 - 1. Let h be m(-5). Is -1*1*(h - 2) composite?
False
Suppose 4*i = -3*q + 9084, 3*q + 4542 = i + i. Is i a composite number?
True
Let x(m) = -m - 3. Let d be x(-7). Suppose -2*v = -d - 6. Suppose -v*a + 75 = -0*a. Is a a prime number?
False
Let s(m) = m + 9. Suppose -j + 1 = 9. Let y be s(j). Is -46*((-2)/4 - y) composite?
True
Let p(w) = w**3 + 6*w + 0 + w**2 + 4*w**2 + 5. Let i be p(-4). Is i/(-2 + (-3)/(-2)) composite?
True
Suppose -3*z + 1829 = -4*r, 0*z = -z - r + 612. Is z prime?
False
Suppose -2*j + 71 + 119 = 2*b, -280 = -3*j - 4*b. Suppose -3*a = -j - 38. Is a composite?
True
Suppose 7572 = 72*b - 60*b. Is b prime?
True
Let u = 445 + 304. Is u a prime number?
False
Let h(q) = 78*q**2 - 13*q + 15. Is h(-8) composite?
True
Let v be ((-438)/(-8))/(42/112). Let z = v + -19. Is z composite?
False
Let p(a) = -a**3 + 2*a**2 + 3*a - 2. Let 