*t - s = 18. Is t a prime number?
True
Suppose 2*j - 6 = 4*r - 0, 5*j + 1 = 2*r. Suppose 9*u - 4*u - 25 = 5*d, -5*d + 3*u = 27. Let m = r - d. Is m composite?
True
Let m = 143 + -78. Is m composite?
True
Suppose 92 = 2*k + 2. Let j be 3/(-2 - k/(-21)). Is (9 - 2)*j/3 a prime number?
False
Let t = 298 - -166. Suppose -5*k = n + n - 437, -4*k - t = -2*n. Is n prime?
False
Suppose 0 = 2*l - l - 6. Let a be 1344/9 + (-4)/(-6). Suppose 4*v = 5*i + 235, -l*v + 3*v = 5*i - a. Is v composite?
True
Let u(d) = 23*d**3 + 3*d - 4*d + 0*d**2 - d**3 + 2*d**2. Is u(1) a composite number?
False
Let i(w) = 6*w**2 + 6*w - 3. Is i(-3) composite?
True
Let b = 532 - 337. Suppose 2*h - 3*i = 14, -3*i = 4*h - h - 6. Suppose -h*v + b = 5*w, -3*w = -w + 2*v - 80. Is w a prime number?
False
Suppose -2*m - 2*m = 5*y - 4629, 0 = -5*y + 4*m + 4621. Suppose 10*a = 5*a + y. Is a a composite number?
True
Let y = 1079 + -496. Is y prime?
False
Let g = 373 + -72. Is g prime?
False
Let b = 122 + -35. Is b a prime number?
False
Suppose -5*q - 3*q + 1160 = 0. Is q a prime number?
False
Suppose 0 = -2*u + 4*n - 8, -2*n - 16 = -5*u - n. Let c be 158/18 - (-4)/18. Suppose c*f = u*f + 265. Is f a prime number?
True
Let y be (145/(-10))/(2/(-4)). Let n = 56 - y. Suppose 3*c = 3*m - c - n, -5*m + 53 = -4*c. Is m a composite number?
False
Let k(t) = -132*t - 1. Is k(-2) composite?
False
Suppose -2*d + 2*m = -3*m - 114, -m - 106 = -2*d. Let q = d - -159. Is q composite?
False
Let g(w) = w**3 - 6*w**2 + 10*w - 7. Let r(u) = 4*u. Let k be r(2). Is g(k) a composite number?
True
Suppose 0 = 5*a + 15 - 0. Let c be (a/2)/((-18)/(-168)). Let n = c - -93. Is n prime?
True
Let n = -1358 - -3180. Is n prime?
False
Suppose 6*q + k - 508 = 2*q, q - 4*k - 127 = 0. Is q prime?
True
Suppose -4*v + 179 = -3*v. Is v prime?
True
Let t(z) = z**3 + 0 - 2*z - 1 - 7*z - 6*z**2 + 0. Is t(8) prime?
False
Suppose 5*w = -2*j + 6987, -j - 4*j - w + 17456 = 0. Is j a composite number?
False
Let l(h) be the third derivative of 13*h**5/60 + h**3/2 + 5*h**2. Is l(-4) composite?
False
Let t(s) = -s**3 + 14*s**2 - 6*s - 14. Is t(9) prime?
True
Let d(m) = 2*m**2 - 5*m + 22. Is d(15) a prime number?
True
Is (-17626)/(-42) + 2/(-3) prime?
True
Suppose 0 = 3*t - 4*l - 573, -l - 573 = -3*t + 4*l. Is t composite?
False
Is (-48)/(-168) - 7234/(-14) a composite number?
True
Let u(h) = -3 - 7 + 3 - 12*h. Is u(-7) prime?
False
Suppose -2*q = h - 1117, -5*h = -8*h + 3. Is (0 + 1)*-1 + q prime?
True
Suppose 2*h + 2*j - 6 = -2*h, 3*h + 3*j = 6. Is h*2*318/12 composite?
False
Suppose 2*h + 0 = 130. Is h a prime number?
False
Let d(n) = -2*n**3 - 11*n**2 - 11*n - 31. Is d(-12) a prime number?
True
Suppose -4*u - 4 - 8 = 0, -4*u - 36 = -4*c. Let h be ((-172)/c)/(1/(-3)). Suppose -4*v - 5*t + 235 + h = 0, 0 = -4*v + 4*t + 312. Is v a composite number?
False
Suppose 0 = 2*u - 33 - 41. Is u a composite number?
False
Let f(t) = 2*t**2 + 30*t + 63. Is f(-20) a prime number?
True
Let f be (3/(-9)*0)/2. Suppose f*p + p = -2. Is (161/14)/((-1)/p) prime?
True
Suppose 0 = -6*a + 2*a. Suppose a*i + 302 = 2*i. Let k = i - 74. Is k a prime number?
False
Suppose -3*k + 822 = -0*k. Is k prime?
False
Suppose 0 = 3*y + 6*f - 2*f - 234, 4*f + 358 = 5*y. Is (2 - 3)/((-1)/y) a composite number?
True
Let b(n) be the first derivative of n**3/3 - 5*n**2/2 - 11*n - 8. Is b(10) prime?
False
Suppose 0 = n + 2 + 1. Is (1/n)/((-9)/3429) prime?
True
Suppose -9*j + 7*j = -1570. Is j a prime number?
False
Is (-388)/(0/(-1) - 2) composite?
True
Is ((-178)/8)/((-2)/24) a prime number?
False
Let s be 6/9 + (-8)/(-6). Suppose -s*z = -p - 61, -2*z - 2*p + 48 = -16. Is z a prime number?
True
Let m(f) = -f**2 - 12*f + 17. Let d be m(-13). Let t(h) = h**3 - 4*h**2 + 5*h - 6. Let z be t(d). Is 326/z - (-6)/(-21) composite?
False
Suppose 0 = -6*g + 3*g - 6. Let u be (2 - g) + 0 + 1. Suppose 0 = -u*z + 7 + 228. Is z composite?
False
Suppose -154 + 44 = 2*v. Let w be (-11)/v + (-2059)/(-5). Suppose 5*z + w = 1157. Is z prime?
True
Let g be 2 + (-2)/(1*-2). Suppose -3 = 3*o, -g*o - 2*o = -4*k + 449. Let p = -46 + k. Is p a composite number?
True
Let r(f) = f**2 - 7*f + 6. Let g be r(5). Suppose 5*a = 3*b - 13, a - 4*a + 4*b = 10. Is (g - -3)/(a/134) a composite number?
False
Let q(j) = -2*j**2 + j + 2. Let k be q(2). Let z be -1*1*k/1. Suppose 2 = s - z. Is s a prime number?
False
Suppose -b = -0*b - 3. Suppose -5*v + v + 17 = -5*n, 7 = 4*v - b*n. Is 79/3 - v/(-6) composite?
True
Is (-3)/(-12)*-2 + 3966/4 a composite number?
False
Suppose -171 = 4*d + 13. Let j = 139 + d. Is j a composite number?
True
Let x(q) = 44*q + 3. Let r be x(-3). Let d = -86 - r. Is d a prime number?
True
Let s be 1056 + 1 + (-1 - -1). Suppose -2*d + l = -527, -5*l = d - 5*d + s. Is d prime?
True
Let k(i) = -i**2 + 11*i - 11. Let z be k(10). Let y = z - -217. Suppose -n = 4*x - 191, 4*x - 4*n - y = -0*n. Is x a prime number?
False
Let h = 110 - 51. Is h a prime number?
True
Let n = 68 + -7. Suppose 21 = h - n. Suppose 0 = 2*l + 7*t - 4*t - h, 3*t = -3*l + 117. Is l a composite number?
True
Let t(h) = -270*h + 5. Let u be t(-3). Suppose 5*j - u = -0*j. Is j a composite number?
False
Let g(x) = -x**2 - 5*x. Let y be g(-3). Suppose -5*s + 9 + y = 0. Suppose 12 = c - h, 2*c - 21 = -0*h + s*h. Is c a prime number?
False
Let t be (3 - 1)*(2 + 0). Suppose t = r + 1. Is 11*(4 + r + -6) a prime number?
True
Suppose -5*k + k = 168. Suppose -2*l - l - 12 = 0. Is l/1*k/8 a prime number?
False
Let c(g) = 7*g + 14. Is c(0) prime?
False
Let o(h) = 3 + 7*h**2 - h**3 - 5*h + 2*h**3 - 1. Let f be o(4). Suppose 5*z - 27 = f. Is z composite?
False
Suppose 4*h = 8*h + 2*s - 1622, 0 = -s - 3. Is h a composite number?
True
Suppose 0 = 2*i - 7*q + 2*q - 4069, -2*q = -10. Is i composite?
True
Is 2/(-6)*1*7458/(-22) a prime number?
True
Is (-838)/(-4) + 1/(-2) a composite number?
True
Let z = -18 + 35. Let j be (36/84)/((-2)/(-14)). Suppose 0*v + j*v - 27 = -3*g, 3*v - z = 2*g. Is v composite?
False
Suppose 9*k - 2281 = 5108. Is k a composite number?
False
Suppose -m - 22 = l, -m + 103 = -6*m + 2*l. Is (-6)/(-14) + (-138)/m a composite number?
False
Let v(i) = i**3 + 2*i + 83. Is v(0) a composite number?
False
Suppose -5*r = 5, -14 = 3*g + 2*r - 189. Is g a composite number?
False
Let i be (2*-1)/(5/(-15)). Suppose -i*a = -a. Suppose -4*v + 2*v + 518 = a. Is v composite?
True
Let c(x) = -113*x + 7. Is c(-12) a composite number?
True
Let i be 47 - 5/(20/8). Suppose 4*a = 427 + i. Is a a prime number?
False
Is (10 + 1)/(-1 - -2) composite?
False
Let f be 129/6*(-2)/(-1). Suppose -h + 122 = f. Is h composite?
False
Let z be (1 - 3) + 2*-1. Let l be (-9 + 1)*33/z. Let d = 123 - l. Is d a composite number?
True
Let x(o) = 2*o**2 - 4*o + 6. Let b be x(7). Suppose -15 = -r + b. Is r a prime number?
False
Let l(g) = g**2 + 3*g. Let n be l(-4). Suppose n*f = 2*f + 70. Is f a prime number?
False
Let y = -11 - 0. Let m(h) = h**3 + 13*h**2 + 10*h + 7. Is m(y) composite?
False
Suppose 0*a - 2*a - 688 = -2*y, -4*a = -y + 359. Is y a composite number?
True
Let t be 77 + 1/1 + -3. Let i = t - 44. Is i a composite number?
False
Let n = -1003 + 1722. Is n a prime number?
True
Suppose -x + 3 = 16. Let n = x - -64. Is n composite?
True
Suppose 270 = 2*s - 7*s. Let m = s - -105. Is m prime?
False
Let p(m) = -5*m**3 + m. Let a be p(-1). Suppose -a*z = 4*k - 2*z - 196, -z = -k + 55. Is k prime?
False
Suppose 6166 = 4*d - 3*x + 5*x, 5*d = 2*x + 7721. Is d a composite number?
False
Let m(d) = 1048*d**2 - 6*d + 7. Is m(1) a composite number?
False
Let t(k) = -18*k - 17. Is t(-8) a prime number?
True
Suppose 0*q - 237 = -3*q. Is q a composite number?
False
Suppose -14*w = -9*w - 995. Suppose -5*v = 3*m - 521, -3*m + 4 + w = 2*v. Is v composite?
True
Let l be (-99)/(3*(-3)/(-6)). Is -3 + 3 - l - 1 composite?
True
Let k = 0 - -5. Suppose k*r = -g + 113, 3*g - 3*r - 113 = 2*g. Is g prime?
True
Let w = -33 - -164. Is w composite?
False
Suppose -4*h + 4 + 4 = 0. Let v be (-10)/((-1)/(1/h)). Let d = v - -62. Is d a prime number?
True
Suppose 0 = -3*u + 5*u + 4. Let k(i) = -12*i + 1. Let p be k(u). Suppose p + 5 = 3*s. Is s a composite number?
True
Suppose -6*a = -a + k - 37, -4*k + 28 = 5*a. Let x = -12 + a. Is (332/(-10))/(x/10) composite?
False
Suppose -2