 composite number?
True
Let x = -424 + 797. Is x composite?
False
Suppose s = 5*s - 8. Suppose -3*f = 8 - s. Is 4*((-33)/(-2) + f) a composite number?
True
Suppose 489 = 5*h - 686. Is h composite?
True
Suppose -2*v + 818 = 4*k, 2*k + 3*k = -4*v + 1642. Is v prime?
False
Is -1*2031/9*-3 a composite number?
False
Suppose 0 = -6*i + i + 10. Suppose 4 + i = 2*w. Suppose j - 84 = -w*j. Is j composite?
True
Let u(m) be the second derivative of m**5/20 - m**4/12 - m**3/6 + 37*m**2/2 + 3*m. Is u(0) a prime number?
True
Suppose 13 + 1 = 2*l + 4*c, 0 = -4*l - 4*c + 24. Suppose 7 + 628 = l*x + 4*d, 4*x + d = 508. Is x a composite number?
False
Let z be 7 - (4 - (-3 - -3)). Suppose 5*a + t - 1297 = 0, z*a - 2*t - 125 = 648. Is a a composite number?
True
Suppose -4*b - 3*w = -9*b + 1863, -5*w = -20. Suppose b = 5*q - 420. Is q a composite number?
True
Suppose -3*u = 4*z - 101, -4*u = 7*z - 2*z - 126. Suppose 2*a = a + z. Suppose -a = -x - x. Is x a prime number?
True
Is (1/2)/((-15)/(-355890)) prime?
True
Let b(h) = -h**3 + 12*h**2 + 12*h + 5. Let a(w) = -12*w. Let c be a(-1). Is b(c) prime?
True
Suppose -b - 2*b = 0. Let r = 1 + b. Is r/(-5) + (-196)/(-5) prime?
False
Let b = -35 + 35. Let q(s) = 79 - s**2 + s - 9 - 15. Is q(b) a composite number?
True
Suppose 22 = 5*z + 2. Suppose z*m - 47 = 41. Let d = -12 + m. Is d a composite number?
True
Let t(l) = -l**2 + 1. Let j be t(-1). Suppose -3*k + g + 87 = 0, k - 4*g = 15 + 25. Suppose j = d + d - k. Is d a prime number?
False
Suppose 4*m - 190 = 2*m. Suppose -3*y - m = -281. Is y a prime number?
False
Let n(l) = 8*l**2 - 6*l + 15. Is n(-7) prime?
True
Let q(x) = 2*x**2 - 2*x - 1. Is q(-1) prime?
True
Let x be -2*((-10)/4 + 2). Let b(f) = f**2 - f**2 - x + 2*f**2 + 0*f**2. Is b(5) composite?
True
Suppose 23 = -4*w + 3*w + 5*o, 0 = 5*w - o - 5. Suppose -w*j - g + 350 = -118, -4*j = -3*g - 926. Is j a composite number?
False
Let l be 56/10 - 6/10. Suppose 4*i + q - 832 = -3*q, -l*i + 2*q = -1047. Is i composite?
True
Let a = 296 - -2262. Is a composite?
True
Let d be (80/50)/(4/10). Let g(r) = 38*r**2 - 6*r + 1. Let q(f) = 113*f**2 - 17*f + 3. Let t(a) = d*q(a) - 11*g(a). Is t(1) composite?
True
Let g(p) = 101*p + 40. Is g(11) a prime number?
True
Let b = 8 - 1. Let t = b - 2. Suppose -5*n = -2*m + 53, t*n + 91 = -2*m + 6*m. Is m composite?
False
Suppose 0 = 3*a - 4*a - 308. Let q = a - -499. Is q a prime number?
True
Let z = -6 - -15. Let f(l) = 5*l + 13 + l + 0*l. Is f(z) a composite number?
False
Suppose -14*f = -9*f - 10795. Is f prime?
False
Let v be (2/(-6))/(1/(-9)). Suppose -v*g = -5*g + 6. Suppose g*k = 2*k + 23. Is k prime?
True
Suppose 0 = 2*y - 5*f + 21, -y + 0*f - 3*f = -17. Suppose -y*z + 361 + 213 = 0. Is z a composite number?
True
Suppose 0*c + 229 = 3*c + 4*p, -5*c + 397 = -p. Is c a prime number?
True
Let z = 1885 - 192. Is z composite?
False
Let o = -6 - -6. Is o + 147 + 1 + 1 prime?
True
Let l = 8 + -6. Suppose l*o - 5*j = 7*o - 70, -4*o + 5*j + 29 = 0. Is o a prime number?
True
Suppose -2 = 2*w + 3*r, -5 + 4 = -w - r. Suppose w*f - 4 = 3*l + 4, f + 2*l = 12. Suppose s - 23 = p - f*p, 4*s - 2*p - 92 = 0. Is s a composite number?
False
Suppose 4*c - 94 = 2*f, 5*c - 22 - 98 = 5*f. Is c composite?
False
Let i(n) = -n**3 - 5*n**2 - 10*n - 7. Is i(-7) a prime number?
False
Suppose 0 = -5*h - 12 - 3. Let r = 0 - h. Is 3 - (r + -6 + -59) composite?
True
Let i be 10/(6/(-435)*-5). Let z = 260 - i. Is z a prime number?
False
Let l(g) = g**3 + 4*g**2 + 2*g - 1. Let m be l(-2). Suppose -m*d + 6*d - 201 = 0. Is d a prime number?
True
Is ((-4)/(-7))/2 - 539104/(-224) a prime number?
False
Suppose -4*h - 5 = -489. Is h a composite number?
True
Suppose 3*s + 11756 = 7*s. Is s a composite number?
False
Let f(p) be the first derivative of -21*p**2/2 - p + 3. Is f(-3) composite?
True
Suppose -4*o - 2*m = -3127 - 167, 0 = -4*o + 2*m + 3274. Is o a prime number?
True
Suppose 4*w - 2*w = 6. Suppose -w*k + 429 = -153. Is k prime?
False
Suppose -5 + 1 = 2*m. Let n = -4 - m. Is n/7 - 270/(-14) composite?
False
Let y = 221 + 5. Is y a prime number?
False
Suppose 0*k = -3*k - 6, -5*d = 5*k - 315. Suppose -3*j - d = -w + j, -4*j = 4*w - 320. Is w a composite number?
True
Suppose -6*v + 286 = -344. Is (v/9)/((-5)/(-15)) a prime number?
False
Is -1 - (-2 + -684 - 0) a composite number?
True
Let h(a) = -89*a**2 + 2*a - 4. Let z(v) = 177*v**2 - 4*v + 9. Let f(n) = -7*h(n) - 3*z(n). Is f(1) a composite number?
True
Let g be 1/((3 - 2)/353). Suppose 2*u + 55 - g = -k, -2*k = 2*u - 298. Is u prime?
True
Let a = 4 - 8. Let i be a/(-3) - 4/(-6). Suppose 0 = -5*o - 0*x - 2*x + 40, -i*o + 5 = 3*x. Is o a prime number?
False
Suppose v = 3, -4*v + 6*v + 503 = z. Is z a prime number?
True
Let j = 12 - 7. Suppose 0 = j*h - 196 - 59. Is h a composite number?
True
Suppose 4*k - 13 = 3. Suppose -3*z = -k*o, z + 0*o - 10 = -2*o. Suppose v = -5*s + 3*v + 51, z*s + 4*v = 24. Is s a prime number?
False
Let z(h) = h**2 + 5*h + 3. Let k be z(-5). Suppose 12 = o + k*o. Suppose -6*t + t - o*y + 130 = 0, -4*t = -2*y - 82. Is t composite?
False
Let q(g) = -35*g - 1. Is q(-9) composite?
True
Let q = 128 + 83. Is q prime?
True
Let b be (-6)/(-2)*(2 - 1). Suppose -2*y - 3*y + 31 = b*s, 5*s + 2*y - 20 = 0. Is (s/3)/((-2)/(-21)) a composite number?
False
Is ((-11586)/(-9))/((-4)/(-6))*1 prime?
True
Suppose -y - 892 = -3*y. Suppose 3*o + 3*x = 669, 2*o + 6*x - y = 3*x. Is o a composite number?
False
Suppose 0 + 8 = -4*m. Let k = m + 3. Let i(c) = 133*c. Is i(k) composite?
True
Let f = -29 - -66. Is f composite?
False
Let b = 9 + -7. Let t be (21/(-4))/((-4)/96). Suppose -t = -b*s + 48. Is s a prime number?
False
Let k be (-11)/(-5) + (-4)/20. Let r be 105 + 3 - k/1. Let x = -53 + r. Is x a composite number?
False
Suppose -3*y + 5*m = -512, -590 - 282 = -5*y - m. Suppose 0 = -3*z + y + 183. Is z composite?
True
Suppose -2*v = 5*d + 3*v + 890, -5*d + 3*v = 898. Let g = 508 + d. Is g prime?
False
Suppose -1 = 2*c - 5. Suppose -c*l = l - 582. Suppose -5*v + l = -3*v. Is v a composite number?
False
Let b(x) = x**2 + 22. Let g = -3 + -1. Let u = 4 + g. Is b(u) composite?
True
Is ((-4 - -77)*-3)/(-1) composite?
True
Let w(q) = 6*q**2 - 1. Let i be w(-3). Let m = -34 + i. Is m composite?
False
Let u be -8 - (4/(-2))/1. Is -34*(21/u - -1) a composite number?
True
Let k(m) = -149*m + 1. Is k(-8) composite?
False
Suppose 3 = -5*g + 218. Suppose 5*o - 32 = g. Is o a composite number?
True
Suppose -g = 1 - 4. Suppose -3*z - 210 = -5*v - 879, -g*v = -5*z + 1115. Is z a composite number?
False
Let z = 260 - 145. Is z prime?
False
Let a(o) = 168*o + 5. Is a(3) prime?
True
Suppose 2*m = -3*y - 0*m, -5*y = -3*m. Suppose -5*f = y, t + f = 3*t - 70. Is t a prime number?
False
Let t be 2/3*(-4764)/8. Is t/(-5) - 6/15 prime?
True
Suppose 3*y - 2 = 1. Suppose 5 - y = -4*c. Is c/(1 + (-26)/25) a prime number?
False
Let d(i) = -51*i - 3. Is d(-4) a composite number?
True
Let y = 9 + -89. Let r = y + 123. Is r composite?
False
Let k = 909 - -210. Suppose 5*o - 1 = -11, 0 = 5*d - 2*o - k. Is d prime?
True
Let f(c) = -c**2 + 4*c + 1. Let z be f(3). Let w be ((-30)/z - 2)*-6. Is (-1 + 0)*(2 - w) composite?
True
Is 0/9 - (1 - 59) a composite number?
True
Is (-1503)/(-6) + (-4)/(-8) prime?
True
Let b = 2085 + -191. Is b prime?
False
Let v(x) = -11*x**2 - x - 4. Let z be v(4). Let f = -84 - z. Is f + 2/(4/(-6)) composite?
False
Suppose -z + 4*f = 11, -5*z = -2*z + 3*f - 12. Is 84/7 - z/(-1) a composite number?
False
Let f(s) = 145*s - 44. Is f(23) a composite number?
True
Let y(v) = -v**2 + 4*v + 6. Let p be y(5). Let r(d) = 469*d + 1. Let i be r(p). Suppose -2*n - x - 2*x = -244, -i = -4*n + 3*x. Is n a composite number?
True
Let w be 26/4 + 4/(-8). Suppose -w*u = -2*u. Suppose -3*l - 18 + 60 = u. Is l prime?
False
Let l = -345 + 662. Is l a prime number?
True
Suppose 4*h - 4058 = -5*a + 599, h + 4667 = 5*a. Is a composite?
True
Let a(n) = -n**3 - 8*n**2 + 9*n - 1. Suppose 0 = -2*k - 7 - 19. Let x(l) = 2*l**3 + 17*l**2 - 19*l + 2. Let s(p) = k*a(p) - 6*x(p). Is s(2) composite?
False
Let y = -51 - -12. Let a be (27 + -1)*(-35)/(-14). Let i = a + y. Is i a prime number?
False
Let o(d) = 3*d**2 - 4. Let k be o(-8). Suppose -l + 4 = 1. Suppose -l*a + 301 = -k. Is a prime?
True
Su