r - q*f + 30. Is r a composite number?
True
Let f be 2/7 + (-10)/35. Suppose -2*x = 2*x + 5*t - 547, f = -5*t - 25. Is x composite?
True
Let b = 1228 - -595. Is b a prime number?
True
Let d = -120 + 269. Is d a composite number?
False
Suppose g = -3*g + 460. Is g a composite number?
True
Let u(j) = j**3 + 7*j**2 - 10*j - 5. Let q = -10 + 3. Is u(q) prime?
False
Suppose -6*t + 8*t = 1082. Is t prime?
True
Let k be ((-135)/6)/((-1)/2). Let s = k - -6. Is s a prime number?
False
Suppose 2*k + a = -a + 158, 0 = 4*k - 5*a - 298. Is k a prime number?
False
Is (-14)/35 + ((-3967)/(-5) - -1) a composite number?
True
Let j(a) = a**2 - 4*a + 2. Let x be j(4). Let q(b) = b. Let z be q(x). Suppose -113 = -5*t + z*u, t - 4*t + 3*u = -66. Is t a prime number?
True
Let n(o) be the third derivative of -o**5/60 - o**4/6 + o**3/3 + 3*o**2. Let b be n(-3). Suppose w + 0*w = -b*v + 348, -5*w = -15. Is v prime?
False
Let k(s) = 3*s**3 + 2*s**2 + 2*s - 2. Is k(2) a composite number?
True
Let k be (-1*(-116)/2)/1. Suppose -5*m + 137 = -k. Let x = m + -17. Is x a prime number?
False
Suppose 0 = 2*s + 15 - 3. Let r = s + 29. Is r a composite number?
False
Let y(u) = -6*u**3 - 4*u**2 - u - 2. Suppose -4*k - 26 = -10. Let g = k + 1. Is y(g) a composite number?
False
Let v = -7 - -10. Suppose -3*i + 4*p + 21 = 0, -p = -2*p + v. Is i a composite number?
False
Suppose 3*o - 5*o = -4. Suppose 0 = -o*x - 2*x + 1236. Is x composite?
True
Let s be (-9)/6 - (-978)/4. Suppose -3*x = 3*r - 0*r - s, -2*r + 163 = x. Is r composite?
True
Suppose 5*n - 476 = n. Is n composite?
True
Suppose -r + 105 = -164. Suppose -5*u = -1899 + r. Suppose 3*i - 15 = 0, 4*o + i + i - u = 0. Is o composite?
False
Suppose 2*d + 8*d = 2230. Is d a composite number?
False
Let y(t) = 2*t. Let c = -6 + 5. Let z be y(c). Is (-236)/(-9) + z/9 a prime number?
False
Suppose 0 = -4*s - 512 + 3036. Is s a composite number?
False
Let a be -3*(2 - 10/6). Let m(r) be the first derivative of -59*r**4/4 - 2*r**3/3 + r + 2. Is m(a) prime?
False
Let l(p) = 30*p - 2 + 3 - 2. Suppose 3*c + 2*c = 10. Is l(c) a prime number?
True
Suppose 3*r = -0*r + 132. Suppose l - r = -q, 0*q - 5*q = 4*l - 219. Is q a prime number?
True
Suppose -2*h = 3*o - 0*o + 5, -2*o - 3 = h. Is (h + 0)/((-2)/254) a prime number?
True
Suppose 2*y = -b - 4 - 2, 5*y + 5*b + 15 = 0. Is (y/9)/(5/(-195)) a prime number?
True
Let h = 90 - 143. Is (h/(-2))/((-6)/(-12)) prime?
True
Let u = -2 - -5. Is (-228)/9*-3 + u a prime number?
True
Suppose -4 - 1 = -u. Suppose -f - f = -2, -2*f + 267 = u*l. Is l composite?
False
Is (-12)/8 - 23185/(-10) composite?
True
Suppose -3*n + 6 = -0*n. Suppose -3*j - 4 = -3*c + c, -48 = -5*c - n*j. Let w = c + 5. Is w prime?
True
Is ((-211)/(-4) - 0)*4 prime?
True
Let c(l) be the third derivative of -l**5/60 + l**4/4 - l**3 + l**2. Is c(4) composite?
False
Let v be (-2)/3*(-9)/(-6). Is 12*12 - 1/v a composite number?
True
Suppose -5*p = m + 111, -369 = 3*m + m - 5*p. Suppose -287 = -2*u + 63. Let o = u + m. Is o a composite number?
False
Let t(h) = 3*h**2 + h - 5. Let z = -2 - -7. Suppose -y = 10 - z. Is t(y) composite?
True
Suppose -4 - 4 = -4*x. Suppose -x*l + 415 = 3*l. Is l a prime number?
True
Let s be 4/(8/(-6)) - -7. Suppose 0 = 3*z + q - 200, s*z - 4*q - 240 = -0*q. Is z a composite number?
True
Suppose -v + 0*v + 1420 = 5*m, 5*v = -5*m + 1420. Let y = m - 33. Is y a composite number?
False
Is (259 - 1) + (-5)/5 a prime number?
True
Let f be -2 + 5 - (4 - -1). Let q(s) = -33*s**3 - 2*s**2 - 2*s - 2. Let n be q(f). Suppose -4*z + 50 = -n. Is z a prime number?
False
Let n(k) = 13*k**3 - 3*k**2 - 6*k + 11. Is n(5) composite?
False
Suppose 3*v - 450 = p + 103, v - 166 = 4*p. Suppose -5*k + 1415 = 2*a, 5*k - 1214 - v = -5*a. Suppose 4 - 74 = -b + 3*i, 5*b - 2*i = k. Is b a prime number?
False
Let o = -576 + 894. Suppose -3*i - o = -6*i. Suppose 5*s - 203 = 4*k, 0 = -4*s + 2*k - i + 272. Is s prime?
True
Suppose -498 = 3*x - 3219. Is x composite?
False
Let b be 8/((-3)/(147/(-2))). Let q(f) = 13*f**2 + 6*f + 13. Let l be q(-4). Suppose -3*y + l = -b. Is y prime?
True
Let a(m) = 9*m - 47. Let j(t) = -3*t + 16. Let w(s) = 6*a(s) + 17*j(s). Is w(7) a prime number?
True
Let l(d) = 2*d**2 + 2*d**3 + 1 - 3*d**2 + 7*d**3 - 4*d. Let w = -3 + 6. Is l(w) composite?
False
Suppose -4*j - 12 = 4. Is (-338)/j - 1/(-2) a composite number?
True
Let h = 922 - 365. Is h a prime number?
True
Let h = 1 + 8. Suppose h*n + i - 65 = 4*n, -4*i = 5*n - 50. Is n composite?
True
Let b(f) = 13*f**2 + 2*f - 1. Let h be b(1). Let p = h + -10. Is p*4/((-16)/(-19)) a composite number?
False
Let d = 8 + 2. Let o = d + -5. Suppose 5*w + 33 - 3 = 5*n, 0 = -3*n + o*w + 10. Is n prime?
False
Is (202/2)/(1/5) prime?
False
Suppose h - 3 = 2*b + 62, 0 = -4*h + b + 274. Is h prime?
False
Suppose -d + 3*d - 10953 = -5*o, 2*o - 5*d = 4387. Is o composite?
True
Let l(m) = 1 - 4 + 42*m + 5 + 3. Let a(n) = -5*n. Let u be a(-1). Is l(u) a composite number?
True
Let c(z) = 0*z**3 - z**3 + 0*z - z. Let f be c(-1). Suppose -5*a - 40 = -4*u + 49, -98 = -4*u + f*a. Is u a prime number?
False
Suppose -y = -1 - 2. Suppose -4*k + 4*n + 88 = 0, -4*n = -3*n + y. Is k a composite number?
False
Let o be -3 - -5 - -4*41. Let s(n) = n**3 + 12*n**2 + 5*n - 6. Let v be s(-5). Suppose o + v = 5*w. Is w prime?
False
Suppose -3*h + 8*h + 5 = -3*j, -4*h = 2*j + 6. Let b = -3 + j. Is -3*(-2)/3*b a prime number?
False
Let f = 0 - -7. Is f a prime number?
True
Let h(v) = -159*v**3 + 2*v**2 - 2*v - 1. Is h(-2) a prime number?
True
Let a(k) = -3*k + 32. Is a(-9) prime?
True
Suppose 2915 = 5*h + 6*h. Is h composite?
True
Let m be -36*(-1 - 0 - 1). Suppose -2*p = -76 - m. Is p a prime number?
False
Let m(l) = 12*l - 10. Is m(12) prime?
False
Suppose -4*h + 666 = -5*k, -2*k - h - 4*h - 273 = 0. Suppose -258 + 30 = 4*x. Let c = x - k. Is c composite?
True
Suppose -5 = -3*i + 22. Let h = i + 13. Is h a prime number?
False
Let v(d) = 3*d**2 + 6*d - 5. Let n be v(9). Let b = 510 - n. Suppose 2*l + 153 = 5*s, 5*s - b = -5*l - 58. Is s a prime number?
True
Suppose 12 = 5*d - 2*f, -3*d = -2*f + 4*f - 20. Suppose 4*r - 2*z + 94 = 0, 0 = d*r - 4*z + 102 - 10. Is r/(-9)*(-9)/(-4) a prime number?
False
Let s be 2/(-4) + 1/2. Let g be s + 80 + (-2 - 0). Suppose 0*o = 2*o - g. Is o a prime number?
False
Suppose -5*l + 9 = -2*l. Suppose 0*v - l*v = -1659. Is v a prime number?
False
Let g(u) = 2*u**2 + 13*u + 13. Is g(-14) prime?
True
Let n = -3258 - -4603. Is n a composite number?
True
Suppose 3*o + 0*o - 6 = 0. Is (-117)/(-5 + o) + -2 a prime number?
True
Suppose 150 - 732 = -3*p. Is p a composite number?
True
Suppose -94 = 4*d - 2. Let r = d - 26. Is (2 + 1 - r) + -1 a prime number?
False
Suppose o + 6 = 5, -5*o + 9740 = 5*v. Is v a prime number?
True
Suppose -5*h - 151 = -416. Is h composite?
False
Is (-310)/3*(-39)/26 a prime number?
False
Let l(o) = 38*o + 1. Let d be l(2). Let x = d - -260. Is x prime?
True
Is 12/(-4)*3*(-28)/18 a composite number?
True
Suppose 2*q - q = -1. Let z = 2 - q. Is z composite?
False
Suppose -12*q = -17*q + 595. Is (-8)/16 + q/2 composite?
False
Let m = 47 + -130. Let c = 44 - m. Is c prime?
True
Suppose -283 + 80 = -n. Let d = -94 + n. Is d prime?
True
Let y(m) = m - 3. Let a be y(-9). Let c be ((-412)/a)/((-1)/(-3)). Is c/3 + (-3)/9 a composite number?
True
Let h be 1*2 + 10/5. Let y = -5 + h. Is ((-42)/(-15))/(y/(-5)) prime?
False
Let t(n) = n**2 - 9*n + 9. Let h be t(7). Let o(l) = 3*l**2 - 1. Let i be o(h). Suppose 0 = r + r - i. Is r a composite number?
False
Let p(s) = -s**3 - 6*s**2 + 4. Let d be p(-6). Let k be (-9)/6*(-2)/(-3). Is k - (-3 + -6)*d a prime number?
False
Let b be -38*(-15)/(-6)*-2. Let n = 139 + -246. Let p = b + n. Is p a composite number?
False
Suppose -387 - 457 = -4*j. Is j a composite number?
False
Let h = 498 - -143. Is h prime?
True
Let c(p) = p**3 - p**2 - 3*p + 2. Suppose -2*h = -n - 2, -3*n = h - 9 - 6. Let t be c(n). Is (t/(-3))/(6/(-9)) a composite number?
False
Suppose 6*p + 510 = 3*p. Let q = -29 - p. Is q composite?
True
Let q be (0/(-1))/(-1 - 0). Let t = 0 - q. Let i = t + 23. Is i a composite number?
False
Let b = 9 - 5. Suppose -b*f - f + 5*g - 40 = 0, g = -2*f - 19. Is 24 + 6/f*3 prime?
False
Let h = 6 - 2. Let w be 2/8 + 831/h. L