+ 3*x - 3 = t. Is f composite?
True
Let a be 6/7*126/27. Suppose a*c - 5*r = 846, -5*c + 2*r + 422 = -3*c. Is c a prime number?
False
Suppose 4*k + 52 = 204. Suppose -5*l + k = 13. Suppose a + 100 = l*z, 2*z = -z + a + 62. Is z composite?
False
Suppose -2932 = -4*u + o, u + 5*o - 3*o = 733. Is u a composite number?
False
Suppose q + 0 = 2. Let m = q + 6. Is 22/m - 3/(-12) composite?
False
Suppose 3*d - 189 = -3*n - 0*n, d - 5*n = 75. Let h = d - 26. Is h composite?
True
Suppose q = -4*v + 20, -5*v + q = -4*v - 10. Let m(l) = -l - 16. Let n be m(-7). Let w = v - n. Is w composite?
True
Suppose -5*m + 2223 = -172. Is m prime?
True
Suppose -j = -0*j - 189. Let i = j + -40. Is i composite?
False
Let b = -770 + 522. Let s be b/5 + (-2)/5. Is -1 - (-3 - (1 - s)) composite?
False
Let m = -2 - -2. Suppose -2*h - 4 + 8 = m. Suppose 2*s = -i + 51, 3*i + h*s + 30 - 179 = 0. Is i prime?
False
Suppose q - 6 = 4*q. Let j be (-2)/4 - 7/q. Suppose j*n = 309 - 48. Is n a composite number?
True
Let q(j) = 2*j**2 - 1. Is q(-8) composite?
False
Suppose -w = -2*w + 9. Suppose 0 = -3*m + w + 474. Is m composite?
True
Let q(d) = 56*d + 15. Is q(7) a composite number?
True
Suppose 0*i - 13 = -i. Suppose -i = -3*b - 46. Let t(x) = 2*x**2 + 15*x + 6. Is t(b) a composite number?
False
Suppose 3*k - p = 286, -5*p + 732 = 5*k + 282. Suppose -5*n - 12 + 27 = 0. Suppose n*v - k = 479. Is v a composite number?
False
Suppose -f = -0*c - 3*c + 3, f = -4*c + 11. Let p(m) = -5*m + 3. Let k be p(c). Let g(j) = j**2 + 2*j - 4. Is g(k) prime?
True
Let t = 1 - -5. Let r = t + -3. Suppose v = r*v - 166. Is v a prime number?
True
Let t be (28/35)/((-2)/10). Let o = -6 - -8. Is (o + t)*21/(-6) a prime number?
True
Suppose m = -3*m. Let v be 0 + (m/(-1) - 0). Is 19 - v - (1 + -1) prime?
True
Suppose b + 2*d - 163 = 0, 6*d + 298 = 2*b + 3*d. Is b a composite number?
True
Is 4*(((-8790)/(-8))/5 + 1) a composite number?
False
Suppose -3*v = 67 - 262. Suppose a - v = n, -4*n = a - 0*a - 85. Suppose g + 2*g - a = 0. Is g a composite number?
False
Suppose 3*q + 3*c - 405 = 0, 0 = -3*q - 8*c + 4*c + 407. Let f = -6 + q. Is f a composite number?
False
Suppose 12*y - 9*y - 9330 = 3*d, 0 = -3*y + 2*d + 9329. Is y prime?
True
Suppose -36 = -4*l - 2*r, l + 3*r + 9 = -2*r. Is l a composite number?
False
Suppose 5*d + 72 = d. Is (42/4)/((-9)/d) a composite number?
True
Let z be (-10)/((-6)/(-2) - 5). Suppose 3*u - d + 9 - 67 = 0, -4*d = -z*u + 99. Is u prime?
True
Let j = 820 - 497. Is j prime?
False
Let n = -198 - -365. Is n a prime number?
True
Suppose -w - 56 = -j, 1 = 2*w + 3. Suppose -4*f + 157 = -j. Is f a prime number?
True
Let t(d) = 4*d**2 - 5. Is t(-7) a composite number?
False
Suppose 4*k - 3575 = -3*w, 2*k + 3540 = 3*w - k. Suppose 5*n - 208 = o - 2*o, -w = -5*o + 4*n. Is o composite?
False
Let f be 1*(-1207)/(-1) + -3. Let i = f + -831. Is i composite?
False
Let u = 9 - 3. Suppose 4*m - 2*m - u = 0. Suppose m*f = -138 + 333. Is f a composite number?
True
Suppose 5*q + 3679 = z, 2*z + 3*q = 6*z - 14767. Is z a prime number?
False
Let g(m) = -194*m + 31. Is g(-23) a composite number?
False
Is (-1355 - -1)*2*1/(-4) a prime number?
True
Let z(t) = 2*t**3 + t**2 - 4*t + 4. Is z(3) a composite number?
True
Let f = 169 - -98. Suppose 2*l + f = 5*l. Is l composite?
False
Let a = -12 + 31. Is a prime?
True
Let s(g) be the first derivative of g**4/4 - 2*g**3 + 3*g**2/2 + g - 1. Is s(6) prime?
True
Suppose -6*g = -3*g + 4*q - 8, 0 = -5*g - 4*q + 16. Is (6/(-4))/(g/(-152)) composite?
True
Let s be 3*(-2 + (-14)/(-6)). Let k(j) = 93*j + 2. Is k(s) a composite number?
True
Is 818/22 + (-2)/11 a prime number?
True
Let h(q) = q**2 - q + 785. Is h(0) prime?
False
Let l = 58 + 273. Is l composite?
False
Let n(a) = a + 4. Let j be n(-5). Let z be 1*(12 + 1 + j). Suppose -4*r + 352 = -3*f, z = 3*f - 0*f. Is r composite?
True
Let p(f) be the second derivative of -f**3 + 4*f**2 - f. Let d be p(-9). Let b = -3 + d. Is b prime?
True
Suppose 4 = 2*b + 22. Is (-6414)/(-54) - 2/b composite?
True
Let n(h) = h**3 + 8*h**2 + 3*h - 10. Let l be n(-7). Suppose 5*u - 245 = 2*g, u + 5*g - 4 - l = 0. Is u a prime number?
True
Is -2 + 1 + 1 + 35563/11 prime?
False
Let k = -1535 - -3662. Is k prime?
False
Let m = -11 + 13. Suppose m*w - 5*w + 2*y + 41 = 0, 2*y = -2. Is w a composite number?
False
Let i(u) = -u**2 - 8*u + 14. Let b be i(-9). Let z be 6*(1 - (-1)/(-3)). Suppose b*d = 5*a - z*a + 99, -3*a = 12. Is d a composite number?
False
Suppose 0 = 2*b - 4 - 14. Suppose 12 = 3*c - 0*c. Suppose c*q - 195 = -b*f + 4*f, -4*f + 120 = -4*q. Is f a prime number?
False
Let b = 8 - 4. Suppose 0 = 3*v - 2*v. Suppose v*q + b*q = 148. Is q a prime number?
True
Suppose 0 = -v + 4*v - 339. Is v prime?
True
Let w = -42 + 79. Is w prime?
True
Let b(l) = 5*l**3 - 4*l**2 - 5*l + 5. Let d(s) = 3*s**3 - 2*s**2 - 2*s + 3. Let m(q) = 2*b(q) - 5*d(q). Is m(-4) a prime number?
True
Let l be (-39)/((-2)/(-66)*3). Let m = -230 - l. Is m prime?
True
Let u(c) be the second derivative of c**5/20 + c**4/12 - c**3/6 + 23*c**2 + 2*c. Is u(0) a prime number?
False
Let h(x) = 41*x - 2. Is h(1) a prime number?
False
Let q(u) = u**3 + u**2 - u + 2. Let f be q(-2). Let x be (f - -3)/((-15)/10). Let r = x + 23. Is r prime?
False
Let k(m) = 5*m**2 - 9*m + 1. Is k(6) a prime number?
True
Let p(h) = -140*h**3 + 2*h**2 + 6*h - 1. Is p(-3) composite?
False
Let r(y) = -y**2 + 6*y. Let l be r(6). Suppose -k + q + 6 = l, -q - 13 - 11 = -3*k. Let s = 22 + k. Is s prime?
True
Let i(z) = z**3 - 9*z**2 - 30*z - 1. Is i(17) prime?
True
Let b(u) = 3*u + 10. Let x be b(-4). Is x/((-8)/(-3796))*-1 a prime number?
False
Suppose -64 - 804 = -4*k. Is k composite?
True
Suppose 1722 = 8*x - 10558. Is x composite?
True
Suppose i + 2343 = -0*t + 4*t, 0 = -2*i + 10. Is t a prime number?
True
Suppose 6*q - 176 = -3*l + q, -92 = -2*l + 3*q. Suppose -k = -3*k + 6. Let w = l + k. Is w a composite number?
True
Is (-1 - (-4)/2)*1931 prime?
True
Is (6/(-4))/(3/(-2722)) a prime number?
True
Is (1 - 3)/(-2)*57 prime?
False
Let d be (-1 + 5)*(-12)/3. Let l(p) = p**3 + 16*p**2 - 4*p - 11. Is l(d) a composite number?
False
Let m(s) = 2*s + 7. Let u be 2/(-6) + 38/6. Let a be m(u). Let k = a + 34. Is k prime?
True
Let w = 376 - -151. Suppose -2*n + w = -a, a + 791 = -2*n + 5*n. Suppose 2*x - 3*c - 298 = 0, -2*x + c + n + 34 = 0. Is x composite?
False
Let i(p) be the third derivative of -p**6/120 + p**5/30 + p**4/6 + p**3/3 - p**2. Let z be i(-3). Let k = 54 - z. Is k a composite number?
False
Suppose -b + 854 = 4*k + 33, -k + 4105 = 5*b. Is b composite?
False
Suppose -7 = 3*a - 4*a - 4*o, 2*a + 2*o = -16. Let h = a + 28. Is h prime?
False
Is 97/(63/(-33) - -2) prime?
False
Let p(q) be the second derivative of q**4/12 + q**3/3 + q**2/2 + q. Is p(6) composite?
True
Let i(m) = -11*m - 163*m + 0 + 4 + 1. Is i(-4) prime?
True
Let f(x) = -x**3 + 12*x**2 - 3*x + 1. Is f(5) a composite number?
True
Let r be (-1 - -3) + (-2000)/(-16). Suppose -r + 602 = 5*y. Is y prime?
False
Suppose 4*j + 32 = -2*f, 0*j + 19 = -3*j - 4*f. Let r be (326/(-6))/(3/j). Let x = r - 116. Is x prime?
True
Let z(h) = 21*h - 11. Let v(g) = -20*g + 11. Let k(f) = 3*v(f) + 4*z(f). Is k(9) composite?
True
Let h(r) = r - 5. Let a be h(11). Suppose a*u - u - 265 = 0. Is u composite?
False
Let s = -225 - -533. Let l = 471 - s. Is l composite?
False
Let x(p) = p**2 - 2*p + 6. Let y be x(-5). Let i = y - 3. Is (2/(-2))/((-2)/i) a prime number?
True
Let k(g) = 149*g - 4. Is k(3) prime?
True
Let a be 6/21 + 4/(-14). Suppose -4*r = 3*t - 215, a = -t - 5*r + r + 61. Is t composite?
True
Let f(u) = u**3 - 5*u**2 - u - 6. Let m be f(5). Let x(y) = y**2 + 8*y - 2. Is x(m) prime?
True
Let b(t) = -t + 6. Let f be b(-10). Let h(d) = 2*d**3 - 2*d**2 - d + 2. Let a be h(3). Let q = a + f. Is q a composite number?
True
Let h(y) = 4*y**3 - 5*y**2 - 2. Is h(5) composite?
False
Suppose 5*y + 19 - 54 = -5*s, -4*y + 20 = 0. Is (-7 + -8)*s/(-3) prime?
False
Let k be (2 + -5)*-1*11. Let r be (k/9 - 3)*246. Suppose r - 67 = z. Is z a composite number?
False
Let c be 1 + -3*(-3)/9. Suppose -3*i + 114 = 2*a + c*i, 2*a = 2*i + 142. Is a prime?
True
Suppose -a = -4*a. Let c(x) = -5*x - 3*x**2 - x**3 + a*x + 4*x**2 - 3. Is c(-4) prime?
True
Suppose 13*v = 