composite?
True
Is (3 - 1 - 3) + 116 a prime number?
False
Suppose 0 = 2*v + 4*v - 2010. Is v prime?
False
Let x = -6 + 41. Let o = -7 + x. Suppose 2*d + 4*i - o = 0, -2*i - 2*i + 8 = 0. Is d prime?
False
Suppose 0 = v - 6*v - 2115. Let d be 10/(-4) - (-2)/(-4). Is d/12 - v/12 composite?
True
Suppose -5*h - 4*l + 812 + 851 = 0, 5*l = 2*h - 652. Is h a prime number?
True
Let m = 1 + 2. Suppose 0 = m*t + r - 10 - 7, 1 = t + 5*r. Suppose -5*u = 4*x - t*x + 42, 0 = -4*u + 16. Is x a prime number?
True
Let v = -26287 - -15417. Is 4/18 - v/90 a composite number?
True
Let t = 33 + -46. Let b(s) = s**2 + 8*s - 10. Is b(t) composite?
True
Suppose -2*j + 322 = -336. Suppose -j = -5*z + 236. Let s = z - 36. Is s a composite number?
True
Suppose 3*y = y + 6. Suppose -y*x - 4*r - 20 = 0, -x - 5 = -6*x + r. Suppose 4*w - 241 = 2*t - t, -w - 2*t + 49 = x. Is w a prime number?
True
Let q = 39 + -71. Let v = q - -53. Is v a composite number?
True
Suppose 0 = -5*b + 93 + 12. Is b a prime number?
False
Let f = -29 - -44. Is f prime?
False
Is (-37*2)/((-4)/6) composite?
True
Suppose 0 = 5*c + 4*f + 30, 3*f = 4*c + 7*f + 24. Is (-9680)/(-30) - 2/c prime?
False
Suppose 5*g + 505 = 5*n, -6*n + 477 = -n + 2*g. Is n a prime number?
True
Suppose 85 = 7*n - 13. Is n composite?
True
Let h = -3 - -6. Suppose -h*g + 5*m + 33 + 10 = 0, -5*m = -g + 31. Is g prime?
False
Let z be (1 - -2) + (54 - -3). Let o = -29 + z. Is o composite?
False
Let r be 22/3*132/(-8). Let t = r - -232. Is t a prime number?
False
Let d = 4026 + -2875. Is d a composite number?
False
Let r(h) = 17*h**2. Suppose 0 = 2*v - 5*v - 9. Let c be r(v). Suppose 2*z - c = -z. Is z a prime number?
False
Suppose 0*x = -3*x + 747. Suppose k + 2*k = x. Is k composite?
False
Let u = 12 - 26. Let h(s) = s**2 - 2. Let t be h(3). Let n = t - u. Is n a composite number?
True
Is 2 + (-5)/1 - -130 prime?
True
Suppose 5*q = -385 - 395. Is ((-1)/1)/(4/q) a prime number?
False
Suppose -c + 4 = 2. Suppose -c*u = u - 9. Suppose -u*z - 5*p + 904 = 0, -3*z + 1322 = 3*p + 428. Is z a composite number?
False
Is (-15)/105 + 7996/14 a composite number?
False
Suppose -34032 = 12*s - 134268. Is s prime?
True
Let n(a) = -2*a**3 - a**2 + 9*a**3 + a - a**3 - 4*a**3. Suppose 0 = f - 6*f + 10. Is n(f) a prime number?
False
Let q = 1212 + -518. Is q a composite number?
True
Let d be -2*(-1)/3*3. Suppose -3*a + 5*v = -0*a + 88, d*v = 3*a + 73. Let n = a - -74. Is n a prime number?
True
Let c(j) = j**2 + 4*j - 2. Let u be c(3). Suppose 7*y + 39 = 2*y + 3*b, 3*y = 4*b - u. Let v(r) = r**2 + 8*r - 6. Is v(y) a prime number?
True
Is ((-2322 + -1)*2)/(-2) prime?
False
Let z(j) = -5*j**2 + j. Let x be z(-1). Is (53*1)/(x/(-12)) composite?
True
Suppose 13580 + 180 = 2*o + v, -5*v = 2*o - 13752. Is o a prime number?
False
Let x(f) be the second derivative of f**4/6 - f**3/3 + f**2/2 + f. Suppose -3*y - 5*v = 29, -4*y - 2*v - 17 = 3. Is x(y) a prime number?
False
Let j = 36 + -19. Suppose -64 = -v - j. Is v composite?
False
Let r = 86 - -135. Let c = -108 + r. Is c composite?
False
Let p(b) = -b**3 - 6*b**2 + b + 8. Let a be p(-6). Suppose 5*u - 23 = -a*i, -3*i + 0*u - 3 = -5*u. Is 12/8 + 142/i prime?
True
Let n be 1/(10/4 - 2). Suppose 0*x - n*x = -84. Let j = x + -23. Is j prime?
True
Suppose 5*k - 30 = -10*s + 5*s, -2*k = -4*s + 30. Is s/((-28)/(-296)) - -3 a prime number?
False
Let c(a) = -a**3 + 9*a**2 + a - 7. Suppose 4*b = -12, -4*b - 34 - 23 = -5*o. Let x be c(o). Let s(t) = t**3 - 3*t + 1. Is s(x) a prime number?
True
Suppose -o + 64 + 21 = 0. Is o a prime number?
False
Let l(o) = 4*o**3 + 2*o**2 - 8*o + 3. Let v be l(5). Suppose 5*u - 412 = v. Is u prime?
False
Let z(s) = -s + 3*s + 3 + 0*s - 33*s**2. Let i be z(-2). Let j = 200 + i. Is j composite?
False
Let s = -7057 + 11328. Is s prime?
True
Suppose 5*x + 3*f - 858 = 574, 0 = 2*x + 3*f - 571. Is x a prime number?
False
Suppose 12*b = 7*b + 125. Let t(m) = 2*m**2 + m + 1. Let n be t(-1). Suppose -4*h = 5*w - 1003, -b = 3*w + n*w. Is h composite?
False
Let y(k) = 3*k**3 + 30*k**2 - 22*k + 8. Let o(m) = 5*m**3 + 45*m**2 - 33*m + 12. Let w(c) = 5*o(c) - 8*y(c). Is w(15) composite?
True
Suppose k = 108 + 223. Is k prime?
True
Suppose 0*n = -3*n - 24. Let i = -37 - n. Let t = i + 42. Is t a composite number?
False
Let a be 3/(-6)*-4*-1. Let s = a + 21. Is s a prime number?
True
Let g = 13 + -9. Suppose -g*o + 449 = 5*p, -3*o - 13 + 1 = 0. Is p composite?
True
Let a(v) = -3*v + 6. Suppose 5*r = 4 + 6. Suppose 3*w + r*w = 4*q, 0 = -2*q + w - 6. Is a(q) prime?
False
Suppose -4056 = -4*z + z. Suppose 2*a - 1546 = -4*q, 209 = 4*q - a - z. Is q a prime number?
True
Suppose -5*j - 20 = 0, -2*a = 3*a - 2*j - 443. Is a composite?
True
Suppose 2*j + 1356 = 8*j. Is j composite?
True
Let i(h) = h**3 - 2*h**2 + 5*h - 3. Let y be ((-1)/(-2))/(9/90). Is i(y) a prime number?
True
Suppose 0 = -5*o + 465 + 4030. Is o prime?
False
Let r(p) = -6*p**2 + 21*p**2 - 3*p - 12*p**2 + 4 + 27*p**3. Is r(2) a composite number?
True
Suppose q = -0*q + 581. Suppose -t + q - 154 = 0. Is t prime?
False
Let q(h) = -2 - 4 + 4*h - 3*h. Let o be q(5). Is 80 + (-2 - o) + 0 prime?
True
Let s = 1487 + -792. Is s a composite number?
True
Suppose 0*c - 3*c = -1443. Is c a prime number?
False
Let j = 6 + 0. Suppose -3*x = -26 - 94. Suppose -2*z - x = -j*z. Is z a composite number?
True
Let f be ((-12)/5)/(2/(-165)). Let r be (3 + -2)/(9/459). Suppose -3*q + f + r = 0. Is q prime?
True
Let j(b) = 5*b - 5. Let g be j(4). Let k = -3 - g. Is k/(-4)*20/6 a composite number?
True
Suppose -5*i = -15 - 5. Let p(o) = -o**2 + 6*o + 3. Is p(i) a prime number?
True
Let l(v) = v**2 - 1. Let z be l(2). Suppose -j + 3*d = -2*d - 194, 4*j = -z*d + 799. Is j a prime number?
True
Is (-3 - 4)*(-8)/14 prime?
False
Suppose 3*w + w = -5*q - 825, w + q = -207. Let h = w + 359. Is h composite?
False
Let i(q) = -q**3 + 24*q**2 - 9*q - 3. Is i(13) composite?
True
Let s = 746 + -265. Is s prime?
False
Suppose 2*b + h + 220 = -h, -5*b = h + 554. Let l = b + 194. Is l a prime number?
True
Let p = 1501 + -949. Let d = p - 317. Is d composite?
True
Let g = -192 - -277. Is g composite?
True
Let c = 6686 - 3135. Is c composite?
True
Let k = -14 - -33. Suppose -i + 0 = -k. Is i composite?
False
Let s(z) = z**3 + 5*z**2 - z - 1. Let c be s(-5). Suppose -66 = -2*y - c*g, 0 = y + 2*y + 2*g - 107. Is y a prime number?
True
Let d(i) = 7*i - 7. Let a be d(6). Let l = -24 + a. Is l a composite number?
False
Let l be (-2 - -3)*565 - -2. Suppose 5*x - 868 - l = 0. Is x prime?
False
Let b(i) = -15*i**3 + i**2 - 8*i + 3. Is b(-5) composite?
True
Let l(c) = -1 + 1 + c**2 + 4*c. Let v be l(-5). Let f(n) = n**3 - n - 7. Is f(v) a composite number?
False
Suppose -c - 16 = -5*c. Is (-97)/c*(-1 + -3) prime?
True
Suppose -7*g = -4*g - 1272. Is ((-8)/(-32))/(2/g) composite?
False
Suppose -5*m + 3*t - 580 = 5*t, 3*t = 3*m + 369. Is (-7)/(-4)*m*-2 a composite number?
True
Let l(x) be the second derivative of 7*x**3/2 + 5*x**2/2 - 6*x. Is l(6) composite?
False
Let d(z) = -z**3 - 12*z**2 - 8*z + 8. Let c be d(-11). Let g = 116 + c. Is g prime?
False
Suppose -5*q = 7 + 8. Is 134/6 + 1/q a prime number?
False
Suppose -36376 = -28*b + 20*b. Is b prime?
True
Suppose -2*d + 2 = 5*w, 0 = 4*d - 3*d + 3*w - 2. Let i = d - -3. Is ((9/(-3))/i)/1 a prime number?
True
Let o = -3 + 106. Is o a prime number?
True
Is (-8 + (-99)/(-18))/(2/(-652)) a prime number?
False
Suppose 0 = 5*v - 25, -848 = -4*o + 2*v + 1098. Is o prime?
False
Suppose 0 = -0*t - 5*t + 15. Let a be 1/(t/309) - -3. Suppose 3*d - d = a. Is d a prime number?
True
Suppose 4*t - 444 = 4*l, 104 - 322 = -2*t - 2*l. Suppose -t = -i - i. Is i composite?
True
Let o(p) = p**2 - 3*p - 2. Let x be o(4). Suppose x*t + 5*z - 42 = -2*t, -4*t + 50 = z. Is t + (-4 - -2)/(-2) composite?
True
Suppose -4*i - 16 = 0, -d + 800 = 4*i - 151. Is d prime?
True
Let g be (-30)/(-4)*12/15. Suppose g*d - 5*i = 3*d + 9, -15 = -5*d + 5*i. Is d/((-6)/(-20)) + 0 prime?
False
Suppose -c = 2*n - 1223, -4*c + 3*n + n = -4868. Suppose 5*h - c = 376. Is h composite?
True
Let c be (-2)/(-2) + (-1)/(-1). Suppose 15*w = 14*w + 152. Suppose -4*t + w = c*n + 26, 2*n = t + 106. Is n a composite number?
True
Let h(y) = 2*y + 0*y + 0*y - 3*y**2 - 2. Let n be h(2). Let z(r) = 