-4*c + 3364 = 3*u. Suppose c - 125 = 4*d. Is d composite?
False
Let d(w) = -w**3 - 5*w**2 - 4*w - 3. Let t be d(-4). Let v(u) = 3*u - 1. Let a be v(t). Is a/(-55) - 581/(-11) composite?
False
Suppose -4*j + 41 = l, 7 + 2 = j - l. Is 5814/j + (-10)/25 a composite number?
True
Suppose q + 12 = 4*x, 0 = -x - 5*q + q + 3. Suppose 969 + 504 = x*p. Is p a prime number?
True
Suppose 3*g + 32 = -4*z - g, 5*z + 44 = -g. Let n = 27 + -11. Let h = z + n. Is h prime?
True
Let j(b) = 11*b**2 + 6*b - 5. Is j(-6) composite?
True
Suppose 3*g + r - 6 = 0, -g + 0*r + 7 = 2*r. Let c = g - -1. Suppose 3*o + 2*t = 26, -c*o - o - 3*t + 24 = 0. Is o a composite number?
True
Suppose 5*r + 6 = 21. Is 80 - (r - (-1 + 3)) a prime number?
True
Let f(k) = 18*k**2 - 4*k + 3. Suppose q - 12 = -3*p, p - 4*q + q - 14 = 0. Suppose -p*w = -0 - 10. Is f(w) a composite number?
False
Let d be (-3)/(-9) + (-860)/(-12). Suppose -3*m - 55 + 184 = 0. Suppose -m = -5*t + d. Is t a composite number?
False
Let p(r) = 7*r**2 - 3*r + 3. Let q(l) = l + 1. Let m be q(-5). Is p(m) a composite number?
False
Let p(s) = -3*s**2 - 6*s + 1. Let i(k) = -2*k**2 + 6*k - 2*k**2 + 6*k**2. Let d(y) = -4*i(y) - 3*p(y). Is d(8) composite?
False
Let i = 1 + -1. Suppose 2*m = -r + 4, i = -r - 3*r + 5*m + 3. Suppose -5*g = -15, -u - 3*g - r = -2*u. Is u a prime number?
True
Let r be 1 + 2 - (-2 - 0). Suppose 0 = -2*t + r + 365. Is t a prime number?
False
Let f(i) = i**3 + 4*i**2 - 2*i - 3. Let r be f(3). Let n = r - -1. Is n prime?
False
Let a(c) = -c**3 - 5*c**2 - 2*c - 4. Let r be a(-5). Suppose 0 = -3*j + r*j - 15. Suppose -j*o + 32 = -3. Is o prime?
True
Let u(z) be the first derivative of z**5/12 - z**4/8 - z**3/6 - z**2/2 + 1. Let j(t) be the second derivative of u(t). Is j(4) prime?
True
Let h be ((-2)/(-8))/(3/12). Let x(d) = 79*d. Is x(h) prime?
True
Suppose -q + 3*t + 877 = q, -q - t + 436 = 0. Is q a prime number?
False
Suppose -49 = 5*b - 374. Suppose 3*r + 8 - b = 0. Is r a prime number?
True
Let i = 94 - 51. Is i prime?
True
Let g(i) = -i**3 - i**2 - i - 5. Let q be g(-4). Suppose 27 = -2*w - q. Let m = 62 + w. Is m composite?
True
Let n(u) = 16*u**2 - 30*u + 36. Let i(w) = -3*w**2 + 6*w - 7. Let o(a) = 11*i(a) + 2*n(a). Let h be o(5). Suppose h = -0*z - z + 58. Is z a prime number?
False
Let n(z) = -2*z**2 - 3*z - 3. Let h be n(-2). Suppose 64 = 5*o + 19. Let s = h + o. Is s a prime number?
False
Suppose -131 - 80 = -j. Is j a composite number?
False
Let d(s) = -s - 1. Let w(a) = 2*a + 2. Let q(p) = 8*d(p) + 3*w(p). Let x be q(-2). Let j(r) = 67*r - 3. Is j(x) a prime number?
True
Let b(t) = 15*t - 5. Let l(m) = -m**2 + 9*m - 2. Let y be l(8). Suppose -2*p + 17 = 2*g - 5*p, -2*p - y = 0. Is b(g) composite?
True
Suppose 2*v = 6 + 2, -2*v = -4*z. Suppose -n = z*n - 381. Is n a composite number?
False
Let u = -9 + 13. Suppose 2*k - 3*d - 520 = 238, -u*k + 1516 = -5*d. Is k composite?
False
Let p be -3*1 + 2 + 7. Let u = p + -4. Is u/(-7) - 2775/(-35) a prime number?
True
Let h = 4 - -1. Suppose h*q - 43 = -3*r, -4*q - 83 = -3*r + q. Is r prime?
False
Let c(w) = 148*w**2 + 1. Suppose -4*l = -6*l - 2. Is c(l) composite?
False
Let h = -215 - -304. Is h prime?
True
Let t = -38 - -24. Let c = 36 + t. Is c composite?
True
Suppose -5*m - 167 = -2*i - 0*m, 3*i - 308 = -4*m. Let c = i - -61. Is c a composite number?
False
Let a(s) = s**2 - s - 2. Let m be a(-2). Let b(h) = -4*h**3 + 5*h**2 + 5*h - 4. Let f be b(m). Let o = f + 329. Is o a prime number?
False
Is (-1024)/(-3) + (-8)/24 a composite number?
True
Let r(j) = -2*j**3 + 5*j**2 + 4*j. Let o be r(6). Let z = 391 + o. Is z a prime number?
True
Suppose -l - 315 = 2*l. Let k = l - -192. Is k composite?
True
Let i be 1 - 1 - (-4 - -1). Suppose -87 + 288 = i*u. Is u prime?
True
Let n(l) be the second derivative of 49*l**3/3 - l**2/2 - l. Is n(1) composite?
False
Suppose 6*q - 1953 = 4749. Is q a composite number?
False
Is 97 - (-3 + 12/4) a composite number?
False
Let b(g) = -4 - 19*g - 2 + 0. Let y(h) = -h**2 - 10*h - 5. Let a be y(-10). Is b(a) a composite number?
False
Suppose -2*q - t + 1825 = 0, -226 = 3*q - 5*t - 2944. Is q a composite number?
False
Let i be 215*((4 - 4) + -1). Let u = i + 334. Is u a composite number?
True
Let f(m) = 6*m. Let o be f(1). Suppose 0 = -6*h + h + 4*w + o, -2*h + 3*w + 1 = 0. Suppose h*n - 28 = 2. Is n a composite number?
True
Let z be 3/4 + (-5019)/(-28). Suppose 4*p = 824 + z. Is p prime?
True
Let r(v) = -182*v + 27. Is r(-5) prime?
True
Suppose g + 1168 = 4*a, -3 = 3*g + 9. Is a composite?
True
Suppose 0 = 5*z - 2*g + 7*g - 30620, -g = -z + 6118. Is z prime?
True
Let g = 4 - 2. Suppose -2*x = -12 + g. Suppose -7 + 22 = x*h. Is h composite?
False
Let w(q) = q**2 + 5*q + 6. Let y be w(-4). Suppose 205 = c + y*u - 0*u, -c - 4*u + 211 = 0. Suppose -3*x = -5*g - x + c, 0 = -2*g + 2*x + 82. Is g composite?
True
Let j(w) = w + 4. Let u be j(-7). Let c = 16 + u. Is c composite?
False
Let g = 1990 + 3517. Is g a composite number?
False
Let o(z) = -64*z**3 + 2*z**2 - 1. Let h be o(1). Let l = h + 88. Is l composite?
True
Suppose 2*u = -3*u + 4310. Is u prime?
False
Suppose 0 = 3*b - 277 - 41. Is (b/5)/(2/5) prime?
True
Let h(s) = -s + 1. Let t be h(-4). Suppose 7*f - 3*f - 5*a - 331 = 0, -f + 64 = t*a. Is f composite?
False
Let g = -10 - -12. Suppose -g*t + 3*t = 23. Is t prime?
True
Let z = 172 + -83. Suppose 4*h - z = 3*h. Is h composite?
False
Let a(q) = 13*q**2 + q - 3. Is a(-4) prime?
False
Suppose 0 = 2*i + 254 + 120. Let t = i - -456. Is t composite?
False
Let k be 20/6 - 1/3. Suppose k*i - 26 = 1. Suppose -10 - i = -g. Is g prime?
True
Let b be (-3 + -68)*(-1 + -4). Suppose -6*p + p = -b. Is p composite?
False
Suppose 3*s + 0*s = 261. Is s composite?
True
Let p = 13 - 20. Let u = -4 - p. Suppose -u*d + 120 + 363 = 0. Is d composite?
True
Let g(v) = -317*v - v**3 - 6 + 324*v - 6*v**2 + 13. Let x be -7 + (0 - (-2)/(-2)). Is g(x) a prime number?
True
Suppose 6 = 2*i, 9*d - 3125 = 8*d + 3*i. Is d a composite number?
True
Let n(m) = -m**3 + 4*m**2 + 3*m - 5. Is n(-8) composite?
False
Let k be 2*(-1)/4*-4. Suppose 4*w + 26 = 2*n, k*n - 44 = -4*w + 2*w. Suppose -b - b + x + 8 = 0, 5*b - 2*x - n = 0. Is b prime?
True
Let n be ((-52)/(-6))/(4/(-6)). Let t = 20 + n. Is t a prime number?
True
Let l = -1 + 3. Suppose 0 = 5*r + 20, 4*r + 40 = l*m - 10. Suppose 2*x - m = 9. Is x a composite number?
False
Let n(z) = -6 + 33*z + 2 - 2. Let p be n(5). Suppose a - p = -2*a. Is a composite?
False
Suppose 5*w = -178 + 813. Is w prime?
True
Let i = 13 + -8. Suppose -i*t = -t - 124. Is t composite?
False
Is 5/(-20) - 4020/(-16) a prime number?
True
Suppose -6*b - 5*d = -b - 440, 0 = 3*b + d - 266. Is b a composite number?
False
Let c = 0 - 0. Let g be (-16 - -18)/((-2)/(-20)). Suppose -2*n + g = 4*o, c = -5*n - 5*o + 61 - 11. Is n prime?
False
Let l(o) = -o**3 + 18*o**2 - 15*o - 19. Is l(17) composite?
True
Suppose 2*r = -r - 30. Is 2682/30 + 4/r composite?
False
Is 2*(11 + 2)*232/16 a prime number?
False
Suppose -v + 5 = 4. Let w be 26/(-4) + (-2)/4. Is (0 + v)/((-1)/w) composite?
False
Let f(t) = -2*t + 6*t**2 + 3 + 7*t - t**3 - 2*t**2 - 2. Is f(4) a prime number?
False
Let c(p) = 34*p**2 + 11*p + 8. Is c(-7) prime?
True
Let o be (-8)/10*15/(-6). Let i be (o/6)/(5/15). Suppose 2*w = 13 + i. Is w a prime number?
True
Let q = 11120 + -7897. Is q a composite number?
True
Let l(m) = 87*m - 6. Let x be l(3). Suppose 4*a - u = 207, x = 5*a - u - 5. Is a composite?
False
Suppose 630 = -2*x - 4*u + 5456, -5*u = 15. Is x a prime number?
False
Suppose 158 = 5*s + j, 2*s - 30 - 41 = -3*j. Is s a prime number?
True
Let v be 22/(-18) - 10/(-45). Is v + -2 + 50 - 0 prime?
True
Let n be (72/10)/(2/(-10)). Is (n/(-16) + -1)*52 prime?
False
Let p(a) = a**2 - a + 1. Let o be (-30)/9 + 3/9. Is p(o) a prime number?
True
Suppose -2*t = -3*t - 3*y + 1805, 4*t = 5*y + 7271. Is t prime?
False
Suppose -867 = -2*y - y. Is y a composite number?
True
Let m(u) = u**2 - u - 3. Let d be m(-3). Is (-5 + d)*26/4 a composite number?
True
Let t be ((-256)/(-6))/(5/30). Let c = t - 167. Is c prime?
True
Let m(n) = -11*n - 43. Let v be m(-10). Suppose f + 2*f - 12 = 0. Suppose f*i - 23 = -2*z + v, -2*i = 3*z - 123. Is z a composite number?
True
Let r(x) = 1. Let d(y) 