596. Is f a prime number?
True
Suppose 2510410 + 1377695 = 120*y + 495585. Is y a composite number?
True
Let z = 551067 - 379576. Is z composite?
False
Suppose -32 = j - 35. Suppose -d = d - 4*i - 14, -i - 1 = -j*d. Is 2309 - (0 + d + 3) prime?
False
Let r(x) = 60 - x**3 - 135 + 60 + 10*x + 11*x**2. Let l(f) = f**2 + 6*f - 6. Let n be l(-8). Is r(n) a prime number?
False
Let r = 261 + -261. Suppose r*g + 2*g - 12054 = -2*s, -4*s = -5*g - 24126. Is s a composite number?
False
Is (-129776094)/(-296) + 1/4 a composite number?
True
Let x be 2/(-4)*(22 - 28). Suppose -3*p - 4*i + 12559 = 0, p + p = -x*i + 8372. Is p composite?
True
Suppose 9*v = 26*v - 85. Suppose 0 = -v*t - 45447 + 134362. Is t prime?
True
Let x = 29 + -25. Let c(h) = 16 + 10 + x*h + 2*h**2 + 2 - h**2. Is c(-17) composite?
True
Let f be 1*(23026 + 2 + 1). Suppose 17407 = 22*p - f. Is p composite?
True
Let j(f) = -120*f - 14. Let x(a) = 241*a + 27. Let p(n) = -5*j(n) - 2*x(n). Let c be p(-3). Let d = 273 - c. Is d prime?
False
Let a = 558293 + -287272. Is a a composite number?
False
Suppose 18*h - 282 + 30 = 0. Suppose -4*w + 22936 = 4*u, h*w - 19*w - 3*u = -28664. Is w prime?
False
Suppose 0 = -4*u + 3*z + 218824, -13*u + 12*u + z + 54705 = 0. Is u a composite number?
False
Suppose x - 1543 = -q, -q + x = -1889 + 338. Let i = -640 + q. Is i composite?
False
Is (-132244)/224*-8 + -6*1 a prime number?
False
Suppose -2*c - c + 28 = 2*z, z - 28 = -5*c. Let h = z - 8. Let s(b) = 4*b + 1171. Is s(h) prime?
True
Suppose 3851762 = 5*a + x, 3*x = 7*a - 2*a - 3851774. Is a prime?
True
Suppose -65*p = -60*p. Suppose p = 3*n - 34 - 1373. Suppose -2012 = -s - n. Is s a prime number?
True
Suppose -19 + 9 = -5*h. Suppose -3*v - 1673 = -h*b, b - 570 - 274 = -v. Suppose 949 + b = 10*k. Is k a composite number?
False
Let s = -152 - -156. Suppose 8855 = 3*q + 4*r - 19491, -2*q = -s*r - 18864. Is q a prime number?
False
Suppose -46*o = -36*o - 450. Let h(d) = 5*d**2 + 3*d - 21. Is h(o) composite?
True
Suppose 2*n = -8*n + 59282 + 192548. Is n a composite number?
False
Suppose 36*m - 40*m = 0. Suppose 0 = -0*z - 2*z + 3*w + 13, m = -z + w + 4. Is 289*(z - (4 - 6)) a prime number?
False
Let a = 38 - 32. Suppose -a*b + 1888 = -4*b. Suppose -4*z + b = 4. Is z composite?
True
Let j = 20089 + -10603. Let w = j + 2437. Is w a composite number?
False
Let f = 165 + -165. Suppose f = 15*a - 31131 - 47784. Is a prime?
True
Let d(z) = z**3 - 18*z**2 - 41*z + 31. Let n be d(20). Suppose 0 = 2*b, 15 = 5*i + n*b - 7*b. Suppose -i*y = -2*a - 353, 6*y = 2*y + a + 464. Is y composite?
True
Is 2/((-10)/(-2392611)) + -3 + 133/35 a composite number?
False
Is (1 + (-254616)/(-20))/(2/10) prime?
True
Let k(a) = -6*a - 4*a**2 + a**2 + 17*a**2 + 48*a + 29. Is k(-19) a composite number?
True
Suppose f + 92400 = 5*f. Suppose 2*h + 5*m = 9237, -h + 5*m = -6*h + f. Is h a prime number?
True
Suppose 5*d = -0*d + 45. Suppose -17381 = -d*b - 5024. Is b composite?
False
Let j(n) = -133*n. Let a be j(2). Suppose -41*z - 4356 = -8*z. Let r = z - a. Is r composite?
True
Let o be 35/(-10)*(-16)/28. Suppose -27988 = -4*l - o*u, 20991 = -3*l + 6*l - 5*u. Is l prime?
True
Suppose 4*s + 19 + 1 = 0. Let y be (-1 + -1 - 20/(-25))*s. Let i = 73 + y. Is i a prime number?
True
Is 210/(-140)*(-1 + -1)*(-2775260)/(-12) prime?
False
Let h(c) = c - 3. Let k be h(11). Let x be (-5 + k)*7/3. Is -5*4/(-20)*x a prime number?
True
Let m be (-5 - (-4)/1)/1 - -261. Suppose 6 = 2*v + q, 3*q = -3*v + 6*v. Suppose 5*p + n - m = 0, 5*p + n - v*n - 270 = 0. Is p composite?
False
Let h(k) = 97*k**2 - 7*k - 43. Is h(10) composite?
False
Let x(p) = -3*p - 3. Let w be x(-4). Let u(i) = -i**2 + 11*i - 18. Let q be u(w). Suppose -5039 - 417 = -4*b - 3*v, -3*v + 12 = q. Is b composite?
False
Suppose -r - 3 = n, -3*r + 1 + 0 = n. Suppose -r*f + 1242 = -4*o, -8*f = -5*f + o - 1891. Is f a composite number?
True
Suppose 139202 = 5*l - 183628. Suppose 5*q = l + 3289. Is q composite?
True
Suppose -5*d = -20 - 0. Suppose 0*l - 23 = 5*j + l, 5*j = -d*l - 32. Is 5/130*j + 11533/13 prime?
True
Suppose 4 = 4*b, -4*z + 2*b + 2 = -3*z. Suppose 3*j = 7*j - 932. Suppose j - 677 = -z*q. Is q prime?
False
Let b(o) be the second derivative of o**4/12 + 2*o**3 - o. Let a be b(-10). Is 5/a - (-3354)/8 prime?
True
Let o = -8616 - -16871. Let x = 185 + -183. Suppose -x*r + o = 3*r. Is r a prime number?
False
Let i(u) = 7*u**2 - 57*u + 137. Is i(63) a prime number?
True
Let f = 8973 - 6202. Is f a composite number?
True
Suppose -4*d = -s - 67 - 42, -4*s = 3*d - 77. Suppose 0 = 28*g - d*g - 277. Let l = g - -264. Is l composite?
False
Suppose -4*h - 2*g + 338 = 0, -3*h - g + 5*g + 237 = 0. Suppose 88*m - h*m = 5755. Is m prime?
True
Suppose -20*h = -19*h - 2170. Let p = -969 + h. Is p a prime number?
True
Let w(c) = -11*c + 15. Let a be w(1). Suppose 7*t + 4*d = 10*t - 297, -a*t + 3*d = -389. Is t prime?
False
Is 61053 + (-2)/(11 + -5 + -7) prime?
False
Let f(z) = 26*z**3 - 4*z**2 - z + 4. Let r = 28 + -25. Is f(r) prime?
False
Let t = 923971 + -531594. Is t a composite number?
True
Let x(m) = 15*m**3 + 19*m**2 + 44*m + 18. Let q be x(13). Let p = q - 25157. Is p composite?
True
Suppose -49*c - 57*c = 60*c - 70393794. Is c prime?
False
Let c = 8999 + -1602. Is c a prime number?
False
Suppose 286*z - 304*z = -789138. Is z a prime number?
False
Suppose -33*s + 14*s + 786312 + 927925 = 0. Is s prime?
False
Suppose -23*v + 19*v = -340. Let j be (1/2)/(v/80 + -1). Suppose -j*p + 12684 = -11404. Is p a composite number?
False
Let r(a) = -1731*a + 89. Let y(n) = 1728*n - 87. Let l(b) = 4*r(b) + 5*y(b). Is l(8) a prime number?
True
Let t(z) = -2*z + 21. Let p(c) = c**3 + 6*c**2 - 5*c + 20. Let k be p(-7). Let g(q) = -4*q + 28. Let v be g(k). Is t(v) a prime number?
True
Is 6/(-18) - 13051160/(-87) a prime number?
False
Suppose 0 = 27*j - 25*j - 6, 2*q = j + 47695. Is q composite?
True
Let g be (-2 + 1)*(0 - 5). Suppose 0 = -g*n + 10*n - 30. Is (531/3)/(n/4) a composite number?
True
Suppose 3*b - 3*v - 9589 = -b, 2396 = b - v. Let o = 4025 - b. Suppose 4*i + 4*i - o = 0. Is i a composite number?
True
Let b(y) be the third derivative of -7*y**4/6 - 5*y**3/6 - 17*y**2. Let u be b(-15). Let s = u + -124. Is s a prime number?
False
Suppose 7*c - 13800567 = -3*c - 23*c. Is c composite?
False
Let l(d) = -722*d**2 - 7*d. Let i be l(-2). Let r = -1615 - i. Is r a composite number?
False
Let r = -47 - -52. Let n = r - -7. Is 1 + (-16)/n - (-476)/6 a composite number?
False
Let l(y) = -501*y + 1381. Is l(-12) a composite number?
False
Let f(y) = 31*y - 65. Let z(d) = -31*d + 67. Let w(v) = 3*f(v) + 2*z(v). Is w(18) prime?
False
Let o = 2052 + -3719. Let c(j) = 2375*j + 251. Let x be c(1). Let a = o + x. Is a a prime number?
False
Let m(q) = 285*q**2 + 23*q + 63. Is m(-8) composite?
False
Suppose -196*q = -82*q - 9335802. Is q composite?
True
Suppose 0 = 3*p - 4428 - 1050. Suppose -15*i + 14*i = 3*j - 893, 2*i - p = 4*j. Is i prime?
False
Suppose -18*x + 2419519 = 13*x. Is x composite?
False
Let c(u) = -155*u + 62. Let h be c(-8). Suppose 0 = 4*n + 2*d - h, -4*n + d + 1297 = 2*d. Is n a composite number?
True
Is (-65102)/43*178/(-4) composite?
True
Let r = 866 - -190. Suppose -r = 12*m - 15*m. Suppose -o + m = -597. Is o a prime number?
False
Is (-2546090)/(-12) + (3/((-72)/(-164)) - 7) a prime number?
False
Suppose 2966 = 2*t + 1150. Let j = -6 - -10. Suppose -w - w - 2*y = -t, 1786 = j*w - 2*y. Is w composite?
False
Is 9/((-36)/(-16))*90172887/588 a composite number?
False
Let y(o) be the third derivative of o**4/24 + 12*o**2. Let x be y(6). Suppose x*t - 8*t = -974. Is t prime?
True
Is 63563724/546 + 1/(-13) a prime number?
False
Let l = 57066 - 29105. Let y = 21340 + l. Is y a prime number?
False
Is (-4 - -1547)*138/6 prime?
False
Let y = 1118005 - 526823. Is y prime?
False
Let l(b) = b**3 + 6*b**2 - 9*b - 6. Let o be l(-7). Suppose o*f - 9435 = 23293. Is f a prime number?
True
Let r be (4/(-6))/(11656/1665 - 7). Let z = 3209 + r. Is z composite?
False
Let i(o) = 4460*o + 1329. Is i(19) prime?
True
Let z(l) = -1242*l + 2. Let w be z(-2). Let f = w + -1226. Suppose 0 = -5*x - k + f, 0 = 4*k - 7 - 13. Is x a prime number?
True
Let p = -63722 - -92071. Is p prime?
True
Let a(o) = -o**3 + o**2 - 2. Let x 