 Is f a prime number?
True
Suppose -85*n = -83*n - 46922. Is n a composite number?
True
Let o = -88 + 14. Let l = 78 + o. Suppose -l*g = c - 86 - 557, 1946 = 3*c - 5*g. Is c prime?
True
Suppose -5*f - 1 = 3*s - 8, 4*f = 3*s + 11. Suppose -f = 2*j, -3*k + 5*k - 30265 = -j. Is k composite?
True
Suppose 4*i - 54150 = -2*m, 5*m = -i - 3*i + 54153. Is i a composite number?
False
Let x = -248 + 258. Is (x + 5)/(-3) + (-2816)/(-2) a composite number?
True
Suppose -40*r + 24 = -32*r. Suppose 5*g + r*m - 27536 = 0, 3*g - 3*m = 2*g + 5518. Is g a composite number?
True
Suppose 0 = 12*i - 2283 + 11475. Is -11*i/(-1)*1/(-2) prime?
False
Let h = 143 - 135. Is 11814/h + ((-51)/(-12) - 4) a prime number?
False
Let l(n) = 343*n - 72. Let u be l(9). Let y = u - 1829. Is y a composite number?
True
Let b = -18869 - -42643. Is b a composite number?
True
Suppose 0 = -5*j - 5*i - 6266 + 31306, 2*j - 3*i = 10031. Suppose -7*p - 713 = -j. Is p prime?
False
Let j = 24830 - 41243. Is 6/((-54)/3)*j a composite number?
False
Let s = 39 + 25. Let k = s + -200. Is 103186/16 - (-17)/k a composite number?
False
Let l(h) = 88*h**2 + 259*h - 280. Is l(49) a composite number?
True
Suppose 0 = 10*c + 5 + 5. Let b(x) = -2330*x**3 + 2*x**2 + 2*x - 1. Is b(c) prime?
False
Let k be -38*(-2*1 - 7/(-7)). Suppose -5*w + 4*w + 5*n = -20, w = -4*n + k. Let x = w - -16. Is x composite?
True
Let q(z) = 5692*z**2 + 421*z - 9. Is q(4) a composite number?
True
Let j(b) = -37*b**2 - 3*b - 5. Let k(x) = -74*x**2 - 6*x - 9. Let g(z) = 7*j(z) - 4*k(z). Let u be g(3). Let h = 582 - u. Is h prime?
True
Suppose q - u + 3 = 0, 4*q + 0*u = -u - 2. Let a be (83 - -8) + (q - -5). Is 2/10 - (-100206)/a composite?
True
Suppose -772*w = -749*w + 1119577 - 15152682. Is w prime?
False
Let y(h) = 73*h**2 - 3*h + 2. Let k be y(1). Let i = k - 60. Suppose 0 = i*m - 1101 - 591. Is m composite?
True
Let u = -228 + 232. Suppose u*t = -5*g + 23149, 3*t - 3*g - 16093 - 1289 = 0. Is t composite?
False
Suppose -3*x - 2*m - 376 = 0, -7 = -5*m - 17. Let y = -129 - x. Is (-3765)/y*(2/(-3) - -1) a composite number?
False
Let u(v) be the first derivative of -5/2*v**2 - 5*v + 1/3*v**3 + 9 + 1/4*v**4. Is u(6) prime?
False
Suppose k = 2*z + 3*z - 162, 2*k = -z - 324. Let y be (-5 + 2 - k) + 2. Let r = 320 - y. Is r prime?
False
Suppose -187224653 = -28*w + 45*w - 94*w. Is w composite?
False
Let d be -1 + -58*(-244)/8. Suppose 5*t = 2*c + 2*t - d, 5*c = -t + 4437. Is c prime?
True
Let u(i) = 15*i**3 + 49*i**2 - 48*i + 5. Is u(21) a composite number?
False
Let b(j) = -j**3 - 9*j**2 - 8*j - 8. Let z be b(-8). Is z/4 + 4539 - -4 a prime number?
False
Let m(w) = -w**3 - 4*w**2 - 3*w + 3. Let i be m(-3). Suppose -4*h + 70 = -i*v, 2*v + h = -2*v - 125. Is (-6)/v - (2 - 5188/10) a prime number?
False
Let u(i) = 2*i**3 + 2*i**2 - i - 2. Let z be u(-1). Is z/(-3)*-1 - 3521490/(-315) prime?
False
Let p(l) = 6*l**3 + 7*l**2 - 189*l - 101. Is p(29) a composite number?
False
Let v(p) = -p**3 + 5*p**2 + 7*p + 21. Let w be v(7). Is (36827/w)/((-3)/36 - 0) a composite number?
True
Let t(d) = 2*d**3 + 36*d**2 - 93*d - 137. Is t(42) a composite number?
True
Suppose -4*c + 154 = -2*s + 3*s, 0 = -3*c. Suppose -l + 70 - 68 = 0. Suppose -4*n - 3*o + 308 = 0, 0*o - s = -l*n + o. Is n prime?
False
Let m(u) = 17882*u**2 + 209*u - 646. Is m(3) prime?
False
Suppose -4*c - m + 15001 = c, 3*m + 3013 = c. Suppose -17835 = -4*p + c. Is p a prime number?
True
Let g be (102 - 98)*(1 - 0). Is 29594 + 0*g/24 a composite number?
True
Suppose -2*f - 18 = -18. Suppose -8*d + 8 + f = 0. Is 331/4*(21 - d) + 2 a prime number?
True
Suppose 2677 = q - 1345. Suppose -5*d + q = 3*j - 10187, 2*d + 4*j = 5678. Is d a prime number?
True
Suppose 5*j + o = 291546, 69569 = 2*j - 5*o - 47044. Is j a composite number?
False
Suppose -25 = -4*u + 7. Let c(j) be the second derivative of j**5/20 + j**4/2 - j**3 - 13*j**2/2 + 2*j - 300. Is c(u) a composite number?
True
Let k(g) = 31*g - 11. Suppose -20 = -78*o + 73*o. Let b be k(o). Suppose -b = -5*u - 3*x, 2*u + 0*x = -2*x + 42. Is u prime?
False
Let s(q) = -186894*q - 51. Is s(-3) composite?
True
Let x be (-4321 - 74)*(-6)/5. Let c = 16583 + x. Is c a composite number?
True
Let a = 493 - 491. Suppose k + 4*w = 2095, -5*k = a*w - 5474 - 5019. Is k prime?
True
Let l be (-2)/(-3)*42/4. Suppose 6*a = 5*a + l. Suppose 3*b = a*b - 996. Is b a prime number?
False
Let q(r) = -281*r - 1. Let x be q(-1). Let h be 34/((-38)/(-11571)*21). Let g = h - x. Is g a composite number?
True
Let s(p) = p**3 - 3*p**2 - 10*p + 6. Let a be s(5). Let w(n) = 108*n**2 - 2*n + 31. Is w(a) composite?
False
Let o(v) = v**2 + 3*v + 3. Let q be o(-3). Let w(m) = -m + 8. Let s be w(8). Suppose q*n + 5*n - 4072 = s. Is n a composite number?
False
Let s(x) = 12*x**2 + 137*x - 863. Is s(104) a composite number?
False
Let x(z) = -z**3 - 4*z**2 - 2*z + 3. Let q(s) = -s**2 + 11*s - 22. Let w be q(9). Let c be x(w). Suppose 0 = -4*l + c*l - 357. Is l prime?
False
Suppose -8*g = -22 - 26. Is 17134/(g + -4) - 4 a prime number?
True
Let v(h) be the third derivative of -h**5/3 + 13*h**4/24 - 7*h**3/6 + 4*h**2. Let y(g) be the first derivative of v(g). Is y(-6) a composite number?
True
Let d be (-40)/(-16)*(-266)/(-35). Let p = 0 - -12. Suppose -1099 = -d*l + p*l. Is l a composite number?
False
Suppose -r - 5*x + 4 = -4*r, r - 5*x = -8. Suppose 3*j + 2513 = 4*g, r*g - 1357 = 4*j + 2007. Is (-4 - -1)*j/3 a composite number?
True
Let c(g) = 5*g**2 - 2*g - 1. Let m be c(-1). Is (207945/(-6))/5*(-4)/m composite?
False
Let f be ((-3)/1 - -4)*(34 - 0). Let d be 38/9 - (4 + f/(-9)). Suppose -4*y - d*s + 3124 = 0, 4*y - 4*s - 781 = 3*y. Is y prime?
False
Suppose -b - 98 = 3*m, 5*m - 5*b + 151 - 21 = 0. Let c = m - -41. Suppose -3*v + 545 = 2*k, -k - c + 5 = 0. Is v a prime number?
False
Let q(s) = -129674*s - 1911. Is q(-2) a composite number?
False
Suppose 4*c = 4*w + 783872, 49*w + 2 = 47*w. Is c a composite number?
False
Let b be (-15)/(-2)*(-84)/105. Suppose 7*h + 4*r - 28 = 4*h, 2*h - 3*r = -4. Is 3/(b/(-592)*h) composite?
True
Let j = 48 - 46. Suppose -5*t + 3*c = 6*c - 7418, j*c = -3*t + 4451. Is t a prime number?
True
Let u = 26832 - -3699. Is u a prime number?
False
Let o = -20 + 20. Suppose o = -12*y + 8*y + 12. Is (-2570)/(-2) + (-6)/y a composite number?
False
Suppose 15*q - 2*p + 2071840 = 19*q, q - 517963 = -p. Is q a composite number?
True
Suppose -1843*y + 1968*y = 109145875. Is y prime?
False
Let x(r) = -39*r + 40. Suppose 0 = -6*w - 3*w + 198. Suppose -54*a - w = -52*a. Is x(a) a prime number?
False
Let w = 3058 - 1224. Let a be (4 + -1)*(-3)/(-9)*w. Suppose 638 + 2113 = 3*r - 4*j, 2*j = 2*r - a. Is r a composite number?
True
Suppose 46*h - 137*h = 47*h - 42200814. Is h composite?
False
Let z(a) = 6*a + 8. Let r be z(-9). Let l = -50 - r. Is (-17062)/(-14) - l/14 a prime number?
False
Let w = 394954 + -262056. Is w a prime number?
False
Suppose -9*p - 2*o + 953980 - 373641 = 0, -3*p + 4*o = -193465. Is p a composite number?
False
Let i(z) = -73*z - 33. Let m be i(-9). Let l = 1059 - m. Let s = l - 212. Is s composite?
False
Let v = -403 + 317. Let y = 483 + v. Is y a composite number?
False
Let b(o) = 2662*o**3 - 12*o - 13. Let d be b(-1). Let l = 8755 - 4747. Let c = l + d. Is c prime?
False
Suppose -n - 36 = -5*h, -3*h = n + 2*n + 36. Let i be 3 + n/4*7/(-4). Suppose i = x - 52. Is x a prime number?
False
Is (-5045068)/(-42) - 4/(-12) composite?
False
Let q(l) = 26*l - 11. Suppose 4*w + 4*u = 24, 10*w - 2*u = 8*w. Suppose -k + 4*c = -23, 2*k + w*c = 4 + 20. Is q(k) composite?
False
Let f(v) be the first derivative of 10*v**3/3 + 6*v**2 + 27*v + 23. Is f(-10) a composite number?
False
Suppose -4*d = -24*b + 20*b - 1094184, 4*b - 820631 = -3*d. Is d composite?
True
Is 84/(-63)*(-1)/4 - (-165383964)/162 a composite number?
True
Suppose -f = -3*i + 2*i, -6 = 3*f - 5*i. Suppose f*s - 6357 = -3*a, 0 = -2*a - a + 12. Suppose -2298 = -3*m + s. Is m composite?
False
Suppose -5*a = 5*s + 14020, 2*s - s = 2*a - 2810. Let z = 658 + s. Let q = -1241 - z. Is q a composite number?
False
Suppose -4*n - 3*t = 16, 3*n - n - 3*t + 8 = 0. Let c be -3 + (4 + n - 2). Let b(x) = -16*x**3 - 6*x**2 + 4*x - 13. Is b(c) a prime number?
False
Let r = -1151 - -1637. Let b be ((-1 + 1)/(-