?
True
Suppose 29 + 145 = 2*x. Is x a composite number?
True
Let p(l) = -52*l**2 + l + 1. Let o be p(-1). Let b = 119 + o. Is b a prime number?
True
Let y(f) be the second derivative of 7*f**3/6 + 3*f**2 + 2*f. Is y(9) a prime number?
False
Let i(n) = -n + 5. Let r be i(0). Let q = -160 - -294. Suppose 3*o - r*f - q = 0, 0 = 3*o + f - 0*f - 164. Is o prime?
True
Let l(m) = m**3 + 6*m**2 + 4*m + 5. Let o be l(-5). Suppose -6 = -4*z + o. Suppose 3*g - 77 = 5*a, z*g + a - 5*a = 92. Is g a composite number?
False
Let g be (-4)/6 - (-14)/3. Suppose -72 = -4*f - 4*i, -f = -g*f - 4*i + 59. Is f composite?
False
Let r(h) = h**2 + 3*h - 2. Let b be r(-3). Let w = b - 2. Is 14/(0 - w/38) prime?
False
Let d be (-15)/6*156/(-15). Let t = d - 19. Is t composite?
False
Let k(y) = 29*y - 2. Is k(3) a composite number?
True
Let q(a) = 211*a + 14. Is q(5) a composite number?
False
Let k(n) = -n**3 + 9*n**2 + 12*n - 18. Let a be k(10). Suppose d = -3*i + 94, -34 - 104 = -a*d + 4*i. Is d prime?
True
Let p(r) = 100*r + 5. Let f(s) = -101*s - 6. Let u(o) = -6*f(o) - 7*p(o). Is u(-6) composite?
True
Suppose 2*y - 166 = 4*s + s, -170 = -2*y + 3*s. Let k = 55 - y. Let m = -20 - k. Is m a prime number?
True
Let a(m) = m**2 + 3*m - 7. Is a(-13) composite?
True
Let m be 70/(-21)*(-6)/4. Suppose 0*s - 119 = -3*k - 4*s, 0 = -m*k - 2*s + 189. Suppose -4*q + 122 = 3*a, 0 = -2*a - 4*q + k + 47. Is a a prime number?
False
Let o = 946 + -263. Is o a prime number?
True
Let i = 84 + 403. Is i composite?
False
Let v(a) = a**2 + 2*a + 1. Let k be v(5). Let g = k - -119. Is g composite?
True
Let g be 1/4 + (-1)/4. Suppose 0 = -g*x + 2*x + 2*u - 102, -149 = -3*x - 5*u. Is x composite?
False
Let g(b) = 2*b**2 - 2*b - 15. Let m be g(-10). Let i = -140 + m. Is i prime?
False
Let k = -1012 + 1555. Let f = k + -208. Suppose 0 = 3*c - f - 82. Is c a prime number?
True
Let y = 36 + -15. Suppose 0 = -4*n + y + 3. Is (2/n)/((-2)/(-282)) a composite number?
False
Let q(f) = 112*f. Let g be q(1). Suppose -3*x + 0*x + 6 = 0, 5*x = -3*u + g. Is u prime?
False
Suppose 7*v + 90 = u + 4*v, -4*u - v = -347. Is u prime?
False
Suppose -2*y = -2*l + 6, -2*l + 5*l + y + 3 = 0. Suppose -45 = -5*x - l*x. Is x a composite number?
True
Let d = -223 + 864. Suppose -5*h + 221 = o - 0*h, 0 = -3*o - 4*h + d. Is o composite?
False
Is ((-1)/(-3))/(7/12327) composite?
False
Is (-23128)/(-88) + (-4)/(-22) prime?
True
Let v = -9 - -4. Let k be (-492)/(-15) - 1/v. Let a = k + 26. Is a a composite number?
False
Suppose -2*i - 24 = 2*i. Let h = -8 - i. Let q(r) = 8*r**2 - 3*r - 1. Is q(h) prime?
True
Suppose -4*x - 3 = 5. Is (38/(-4))/(1/x) a prime number?
True
Let a(f) = 71*f + 3. Let k be a(-2). Let b = k - -559. Suppose i - 129 = -r - 4*i, 4*r - 4*i - b = 0. Is r a prime number?
True
Let p(h) = 7*h**2 + 3*h + 19. Is p(-6) prime?
False
Let p = 839 - 385. Suppose -2*q + p = -3*u, -3*u = 2*q + 2*q - 872. Is q prime?
False
Suppose -12652 - 7362 = -2*v. Is v prime?
True
Let r(t) = t**2 + 7*t + 1. Let l be r(-6). Let i(p) = 4*p**2 + 9. Is i(l) a composite number?
False
Let f = 1275 + 608. Is f prime?
False
Let o(b) = b**3 + 2*b**2 - 9*b + 7. Let f be o(6). Let q = f - 80. Is q prime?
False
Let s(k) = -k**3 - 7*k**2 + 6*k + 15. Is s(-9) prime?
False
Let q be (5/(-2))/(7/(-168)). Is (q/(-12))/((-1)/3) prime?
False
Let d be -3 - (-9 - -3)/3. Let a be 3 - (3 + -3 - d). Suppose -5*b - 40 = -2*z - a*b, -3*b + 30 = 3*z. Is z prime?
False
Suppose 3*j + j = 2*r, 5*r = -3*j. Suppose 0 = -3*w - j*w + 291. Suppose -w = -q + 104. Is q a prime number?
False
Suppose 3*c = l + 3 - 1, -8 = -5*c - 3*l. Suppose -c = -3*t + 8. Suppose -t*r - 2*r + 80 = 5*b, r + 4*b - 19 = 0. Is r prime?
False
Let h = 4 + 3. Let f = 6 + 21. Suppose -h = 5*v - f. Is v a composite number?
True
Suppose -4*p + 933 = -1559. Is p prime?
False
Let p be 74/14 + (-4)/14. Suppose 0*s + p*m = 4*s - 306, s - 4*m - 71 = 0. Let o = -46 + s. Is o a prime number?
False
Let d be 15/(-6)*(-277 + 3). Suppose 4*y - 351 - d = 0. Is y composite?
True
Suppose -590 = -5*j - 2*m, 0 = -3*j - 2*j - m + 595. Let g = -6 + 47. Let u = j + g. Is u a composite number?
True
Let s = -2381 - -3498. Is s a prime number?
True
Let g(t) be the third derivative of 1/2*t**3 + 1/24*t**4 - t**2 + 0 + 0*t. Is g(0) a prime number?
True
Is 1425/9 - 6/(-9) a composite number?
True
Suppose -2*f - 3*q + 1 + 1 = 0, -4*f - 2*q + 20 = 0. Let m(l) be the second derivative of 11*l**3/6 + l**2 - 3*l. Is m(f) a prime number?
True
Let k(m) = 3*m**2 - 1. Let a be k(-1). Suppose -5*g - 4*z = -819, -4*g - a*z + 944 = 290. Is g a composite number?
False
Let w = -3409 - -4806. Is w a prime number?
False
Let w(v) = 3*v + 5*v + 0*v + 3 + 2. Is w(9) a prime number?
False
Let y = -4492 + 8321. Is y a composite number?
True
Let m be (1/1)/((-6)/18). Let d be m/(-6)*2/1. Let u(g) = 14*g**3 - g**2. Is u(d) composite?
False
Suppose 8 = -2*z + 6*z. Suppose 3*i + 8 = 7*i. Is i + (-6 + z)*-1 a composite number?
True
Let o(g) = 15*g + 23. Is o(12) prime?
False
Let v(q) = -q**3 + 4*q**2 - 5. Let y be v(4). Let j(u) = -8*u + 4. Let r be j(y). Let s = r - 25. Is s prime?
True
Suppose r + 5*i + 16 = 0, r = 5*i - 2*i. Let w(h) = 2*h + 5. Let m be w(0). Let s = m - r. Is s prime?
True
Let k = -149 + 73. Let i = k - -145. Is i prime?
False
Suppose 0 = -5*p - r + 387, 101 = 2*p - r - 51. Let l = p - -8. Is l a composite number?
True
Suppose -8*l = 100 + 100. Let n be (10/3)/(2/(-6)). Let t = n - l. Is t a composite number?
True
Let l(f) be the second derivative of f**7/2520 + 113*f**5/120 - f**4/12 + f. Let u(t) be the third derivative of l(t). Is u(0) composite?
False
Suppose -1454 = -3*g + 211. Suppose 4*q - g = -q. Is q*(2 + 15/(-9)) composite?
False
Suppose 9 = -5*h + 69. Let r = h + -21. Is ((-6)/r)/(4/306) prime?
False
Suppose -5*h = -149 - 426. Suppose 5*y + r = 91, -4*y + h = y - 5*r. Is y prime?
True
Suppose r = 4*q - 3, 60 = 5*r - 0*r + 5*q. Suppose -4*f - 11 = r. Is 1169/35 - (-2)/f composite?
True
Suppose -5*n = -2*n - 18. Suppose -a - 5*u + 12 = -u, -a + n = 2*u. Suppose -5*z + 52 + 283 = a. Is z composite?
False
Let b(p) be the second derivative of p**4/12 + 3*p**2/2 + 3*p. Is b(-4) a composite number?
False
Let j = 3 + -5. Let k be (-1 - 2)/(j - -1). Suppose -18 = -k*b + 39. Is b a prime number?
True
Let h(x) = 458*x**2 - 1. Let o be h(1). Let g = o + -236. Is g prime?
False
Let q(z) = z**2 + 4*z - 6. Let n be q(-5). Is ((-7)/(-21))/(n/(-1491)) a composite number?
True
Let c = -361 - -520. Is c composite?
True
Suppose -4*d + 20 = 4*t, 2*d = -d - t + 9. Suppose 0*a = -a. Suppose -d*k + 19 - 7 = a. Is k a composite number?
True
Suppose -9 = -5*t + 2*t. Let l = t + 2. Suppose 5*x + 2*q - 179 = -q, 0 = -3*x - l*q + 101. Is x prime?
True
Let i = 162 + -96. Is i - 1*(-3)/1 a prime number?
False
Suppose -3*g + 2*o + 4565 = 0, -3*g + 0*o + 4573 = 2*o. Is g a prime number?
True
Let r(g) = g**3 + 3*g**2 - 4*g + 3. Let y be r(-4). Let u = 33 - 31. Suppose s = 2*t - 95, 5*t - u*s - 96 = y*t. Is t a composite number?
False
Let j be (-1)/1 + (8 - 5). Let i(t) = t - 3. Let k be i(3). Suppose k*d + 188 = j*d. Is d a composite number?
True
Suppose 3*x - 5*c - 15 = 0, -x + 2*x + 6 = -2*c. Suppose 4*b - 32 = -4*n, -4*n + x*b - b = -26. Suppose 0 = u + 5*i - 196, 3*u = -n*i + i + 638. Is u composite?
True
Let v = 10 - 6. Suppose 892 = l + 3*l + 2*f, -4*l + v*f = -892. Is l a prime number?
True
Is (-1)/(2/(-2818) + (5 - 5)) a prime number?
True
Suppose -2*y = 3*y - 20. Suppose -y*n = n - 1955. Let k = n - 270. Is k composite?
True
Let l(t) = 4*t**3 + 2*t - 3. Let m(p) = p**2 - 16*p + 17. Let r be m(15). Is l(r) prime?
False
Suppose 3*z - 372 = -3*t - 0*z, 4*z = -3*t + 377. Let q(x) = 2*x**2 + 3*x - 9. Let u be q(-7). Let y = t - u. Is y a prime number?
False
Let v be 2/2*6/6. Let j(w) = 35*w**2. Is j(v) composite?
True
Is (2 + -2)*1 - -85 composite?
True
Let c(m) = -6*m**2 + 2*m - 3. Let h be c(-4). Let s = h - -363. Let t = s - -51. Is t a prime number?
True
Let v = 2 - 2. Let t(p) = 21*p**2 + p + 1. Let k be t(-1). Let l = v + k. Is l prime?
False
Let t be (-22)/(-3) + (-8)/(-12). Suppose -t*v + 20 = -3*v. Suppose -v*q = q - 185. Is q a composite number?
False
Suppose 4*l + l = 1180. Suppose l = 2*y + 2*y. Suppose -y + 154 = 5*g. Is g pri