?
True
Suppose -r = 3*f - 488, -4*f + 281 + 373 = -2*r. Is f a prime number?
True
Suppose 2095 = -9*f + 10*f. Suppose f = 48*r - 43*r. Is r a composite number?
False
Let b(p) be the second derivative of -13*p**5/24 - p**4/4 - p**3/3 - p. Let m(v) be the second derivative of b(v). Is m(-4) a prime number?
False
Let i = -919 - -1386. Is i a composite number?
False
Let g be (-29)/(-9) - 6/27. Let h be (15/6)/(g/822). Suppose 79 = 4*n - h. Is n a prime number?
True
Let u(h) = -h**2 - 3*h - 2. Let w be u(-2). Let l(q) = 3*q + 40. Let p be l(-3). Suppose 0*y - y + p = w. Is y composite?
False
Suppose 23*g - 274261 = -39408. Is g composite?
False
Suppose 0 = -50*u + 46*u + 708. Let z be (-1 - 0)*46/(-1). Let d = u - z. Is d a composite number?
False
Suppose -13003 - 11651 = -14*h. Is h composite?
True
Let z(k) = -k. Let t be z(-1). Let y(m) be the second derivative of 23*m**4/12 - 4*m. Is y(t) prime?
True
Let v(x) = 4*x**3 - 40*x**2 + 30*x - 21. Let p(d) = -d**3 + 8*d**2 - 6*d + 4. Let h(m) = 11*p(m) + 2*v(m). Let a be h(5). Let b = a + 388. Is b composite?
True
Let d(a) = 3732*a**2 + 2*a - 9. Is d(2) prime?
True
Let a = 114 + 137. Suppose -3*v + a = u - 211, -2*v = 3*u - 1365. Is u composite?
True
Let s be -1 + (-2)/((-12)/30). Suppose 0 = 4*c - 2*b + 2, c - 6*c - 2 = -2*b. Suppose -5*v = -5*g - c*v + 735, 0 = s*g + 4*v - 572. Is g composite?
True
Let i = -9019 - -13412. Is i a composite number?
True
Let z(h) = 18*h + 15. Let k be z(2). Let u = k + 112. Is u prime?
True
Suppose 2*a - 6*a = -16. Suppose -a*d - 39 + 899 = 0. Is d a composite number?
True
Let c(b) = b**3 - 13*b**2 + 5*b - 15. Suppose q = -5*x + 113, -131 + 26 = -5*x - 5*q. Suppose -5*p + 2*s = -60, -p - x = 4*s - 57. Is c(p) prime?
True
Suppose -12*y = -95832 + 17808. Is y prime?
False
Suppose 4*w + 9 = -3*x - 11, 4*x = 2*w - 12. Is 47 - (2 + 12/w) prime?
False
Suppose -2*f - 26 = -5*w - 3, w - 2*f = 3. Suppose -2*m + d + 292 = 4*d, 5*m = -w*d + 735. Is m a composite number?
False
Let b = -152 - -68. Let m = -19 - b. Is m a prime number?
False
Let p = 1171 - 546. Suppose 61*y - 67*y - 1704 = 0. Let f = p + y. Is f a prime number?
False
Let t(d) = -d + 21. Suppose 3*v = -3 + 36. Let q be t(v). Is 5522/q - (-52)/65 a prime number?
False
Let i be ((-3)/(-9)*0)/2 - 4. Is 13*i/16*-4 a composite number?
False
Suppose -4 - 1 = -5*q, -o + 4*q = -71. Suppose -5*x = 3*u - 136, 5*u + 2*x - o = 120. Is u a composite number?
False
Suppose 4*s + 27 = 13*s. Suppose -3*l - 301 = -q, 0 = s*q - 4*l - 0*l - 883. Is q a composite number?
True
Suppose 2*q - 5*w + 13 = 4*q, 17 = 5*q - 3*w. Suppose u + 3*u = -v + 2847, 4*v - q*u = 11428. Suppose 221 = 4*i - v. Is i prime?
True
Let x = 8 + -10. Let g be 3 + x + 0/2. Is 27/(-9) - (g + -215) a prime number?
True
Suppose -5 = -3*o + r, 2 = 5*o - 2*r - 6. Is o/4*3812/2 a prime number?
True
Let i = -2654 + 3793. Is i composite?
True
Let s = -12561 + 18982. Is s a prime number?
True
Suppose 2185582 = 52*w - 1408086. Is w a composite number?
False
Let b = -51058 + 91601. Is b a composite number?
False
Suppose -84334 = -4*c + 4*w + 40026, 2*c + 3*w - 62165 = 0. Is c prime?
False
Let l be 6/21 - ((-64)/7)/(-4). Is (6/l)/((-5)/1745) composite?
True
Suppose -3*y = -2*r + 10, 2*r - 2*y - 3*y = 6. Suppose r*a - 3*a - 2935 = 0. Is a a prime number?
True
Is (70312/32 - -7)*(-8)/(-6) a prime number?
True
Suppose -15*i + 10*i + 7 = -w, 1 = w + 3*i. Is ((-1381)/w)/(39/78) a composite number?
False
Let m = -25 - -25. Suppose 2*a + 2*x = 0, 0*a - 3*a + x + 16 = 0. Suppose j - a*j + 129 = m. Is j prime?
True
Suppose -27*m - 24405 = -32*m. Is m prime?
False
Let g(a) = -156*a - 89. Is g(-7) composite?
True
Suppose -3*n - 9 = 0, 4*o = o - 2*n. Suppose c = -2*c, -c = o*h - 354. Is h a composite number?
True
Suppose 5*m - 11*g = -13*g + 13, 14 = 2*m + 3*g. Is (-25)/75*(-11499)/m a composite number?
False
Let n(l) = -10*l**3 - 3*l**2 + 2*l - 2. Let h = -14 - -11. Let b be n(h). Let u = b + -86. Is u a prime number?
True
Let l(g) = 253*g**3 + g**2 - 1. Let h be (-8 - -6) + (0 - -3). Is l(h) a composite number?
True
Let d(m) = 1193*m**2 - 3*m + 5. Suppose 2*i - 2 = 0, 3*r - 7 = i - 2*i. Is d(r) prime?
False
Suppose 1156*u + 2186544 = 1172*u. Is u a composite number?
True
Let y(h) = h**3 + 54*h**2 - h + 35. Is y(-53) composite?
False
Let t(i) be the first derivative of -2*i**3/3 + 6*i**2 - i + 10. Let x be t(5). Suppose -h = -40 + x. Is h a prime number?
True
Let r(o) = 840*o - 13. Is r(5) a prime number?
False
Suppose -3*q = 2*q - 50. Suppose 0 = -6*m + 28 - q. Suppose 4*n - 197 = -m*d, -2*n + 2*d - 255 = -7*n. Is n composite?
False
Suppose -5*o = 42 - 142. Is (-739)/(-4) - (-5)/o a composite number?
True
Let t be (-9)/((-9)/3) + 283. Suppose 2*b + 2*s = t, 2*b - 404 = -5*s - 124. Is b a composite number?
True
Suppose -5*o + 31 + 44 = 2*u, 178 = 5*u + 3*o. Let h be 9 + (-7 - (-1 - 2)). Suppose h*k = -5*n + u, n - 4*k - 14 = -2*n. Is n composite?
True
Is (-1656)/(-21) - (-1)/7 a composite number?
False
Let q(x) = 440*x + 13. Is q(12) prime?
False
Suppose -b + 3*b - 8 = 0. Suppose 5*l - l + b*o - 21508 = 0, -26850 = -5*l + 2*o. Suppose -2*j + 2*v = -l, -3*j - v + 8043 = v. Is j a composite number?
False
Let q(b) = -1593*b - 7. Let k be q(-1). Suppose c - k = -547. Is c a prime number?
True
Let z be (-4)/(-16) - 3/12. Suppose z = -2*h + 2*y + 166, 4*h + 0*h + 2*y = 362. Let d = -9 + h. Is d a prime number?
True
Suppose -3*j - 2 = -11. Suppose -5*h = 6*g - 2*g - 4357, -4354 = -5*h - j*g. Is h a composite number?
True
Suppose 0 = 3*h - h - 4*o - 35150, -8 = 2*o. Is h a composite number?
True
Let c(v) = -v**3 + 2*v**2 + 2*v - 2. Suppose 0 = -s + 3*s - 18. Suppose 0 = -2*t - 3*m - s, 2*m + 11 = -t - 2*t. Is c(t) a prime number?
True
Let d be (-2 + (-13 - -1))*7. Let g = -19 - d. Is g a prime number?
True
Suppose 7*s - 2*s - 135 = 0. Suppose h - s = 242. Is h a prime number?
True
Let a(h) = -3*h**3 + h**2 + 6*h - 1. Let d(w) = -w**3 + w**2 - w + 1. Let b(q) = -a(q) - 3*d(q). Let o be b(-3). Let t = o + 325. Is t a prime number?
False
Let t(v) = v + 5. Let k be t(0). Suppose 0 = 3*l - 7*l + 3*w + 136, -k*l = 3*w - 170. Is l composite?
True
Suppose 0 = -4*g - g + 2*g. Suppose 2*p - 718 = -3*i, -i - 2*i + 12 = g. Is p composite?
False
Suppose -4*z = -1314 - 694. Is z composite?
True
Let c be (4 + -4 + -4 + 4)/1. Suppose c*z + 2*z + 3*s = 110, 5*s = 3*z - 184. Is z a prime number?
False
Let x = -5 + 3. Let n(f) = -f**2 - 5*f - 2. Let w be n(x). Suppose w*s = 9 + 31. Is s composite?
True
Let v = 54 + 4. Let q = 273 + v. Is q a composite number?
False
Suppose 0 = -5*l + 23240 - 5500. Suppose -5*c + l = -c. Is c prime?
True
Suppose -1668 = -4*t + 5*f - 451, 4*f = t - 318. Suppose 3020 - t = b. Suppose 0 = -p + 3*p - b. Is p a prime number?
True
Let b = -1509 - -5192. Is b a prime number?
False
Let s(y) = 31*y**2 + 59*y + 5. Is s(-9) a prime number?
False
Let b = -36784 - -91931. Is b prime?
True
Let p(s) = 27*s**2 - 23*s - 15. Let y be p(14). Suppose -45*z + 50*z = y. Is z a composite number?
False
Let t be (-7)/4*(-4 + 8). Let w(f) = -3*f**3 - 8*f**2 - 7*f - 7. Is w(t) prime?
False
Let i(q) = 22*q**3 + 4*q**2 + q + 5. Suppose 0 = 2*x - 6*x + 16. Is i(x) a prime number?
True
Suppose 5*n - 80 = -2835. Let v = 14 - n. Is v composite?
True
Let d(o) = o**3 + 1. Let g(w) = 5*w**3 + 11*w**2 + 15*w - 4. Let v = 12 + -18. Let n(r) = v*d(r) + g(r). Is n(11) prime?
False
Let o be ((-8)/(-4))/(-2) - -17933. Let h be o/12 + (-2)/6. Suppose -5*x = -20, 0 = 2*a - x + 3*x - h. Is a a composite number?
False
Suppose 11*g - 5*g - 12462 = 0. Is g composite?
True
Let r be 8220/18*(13 - 1/1). Suppose -c + 4*h + r = 3*c, 3*h - 4092 = -3*c. Is c a composite number?
False
Let s be 760/133 - (-4)/14. Let y(g) = -4*g + 0*g - g**2 - 1 + 19*g. Is y(s) composite?
False
Let k(d) = d**3 + 9*d**2 - 10*d + 3. Let c be k(-10). Suppose -c*q = -9, 4*y - 3*y - 776 = 5*q. Is y a composite number?
True
Suppose 0 = 12*b - 62*b + 125650. Is b a prime number?
False
Suppose 16*g - 53994 = 10*g. Is g a composite number?
False
Let p = 13993 - -19686. Is p composite?
False
Let x(k) = 26*k - 8. Let w be x(-5). Let c = w + 622. Suppose -3*p + 1635 = -4*a + c, -2*p + a + 764 = 0. Is p a prime number?
False
Let d(s) be the second derivative of s