s f a composite number?
True
Let f = 38 + -38. Suppose f = 3*d + 4*u - 31, 3 + 1 = u. Suppose 0 = 2*n + 3*s + 2*s - 747, 3*n = d*s + 1158. Is n a composite number?
True
Let d(l) be the second derivative of -l**5/20 + l**3/2 + l**2/2 - 13*l. Let j be d(-2). Suppose -j*x + 2051 = 4*x. Is x composite?
False
Suppose -6 = -4*n + v, 4*n - 5 = -4*v + 11. Suppose -2*x + 2*s + s + 376 = 0, 921 = 5*x + n*s. Is x a composite number?
True
Let y = 1591975 + -733302. Is y a composite number?
False
Let a(x) = -2*x**3 + 2*x + 3. Let d be a(4). Let h be 2*d/(-6)*-3. Let k = 371 + h. Is k a prime number?
False
Let a(x) = x**2 + 18*x - 15. Let g be a(-19). Let q(r) = g*r**2 - 26 + 13*r - 17*r**2 + r**2 + 2*r**3. Is q(9) composite?
False
Let u(k) = 303*k**3 - 51*k**2 + 98*k - 39. Is u(16) prime?
True
Suppose -74*o = 4*g - 79*o - 837994, -418952 = -2*g - 5*o. Is g a prime number?
False
Let a(n) = 1452*n**2 - 11*n - 30. Let s(f) = -24*f - 75. Let r be s(-3). Is a(r) composite?
True
Let a(y) = 13*y**3 + 11*y**2 + 8*y + 49. Let f be a(-9). Let b = f + 32040. Is b a prime number?
True
Let r = -46 + 55. Let z(x) = -x + 23. Let w be z(r). Suppose 18*t = w*t + 2524. Is t prime?
True
Let z(g) = -8548*g**3 - 5*g**2 - 9*g + 7. Is z(-2) a prime number?
True
Let m be (-40)/(-5) + -6 + -8 - -9. Suppose -t - 3*s + 5*s + 2641 = 0, 0 = 2*t + 2*s - 5270. Suppose -3*k + 2*f = -t, 0 = 2*f - f + m. Is k prime?
True
Is (-3)/(-30)*5*(157*2025 - 7) a composite number?
False
Let c be 3/(-4) + 279064/32. Suppose 0 = -6*w + w - 4*y - c, -5 = y. Let x = 313 - w. Is x composite?
False
Suppose 8*o + 3*r = 3*o + 103532, 5*r + 62126 = 3*o. Is o a prime number?
True
Suppose -h + 2*y - 29452 = -4*h, 0 = 3*h - y - 29446. Let u = h - 6383. Is u a composite number?
False
Let t = 225 - 221. Suppose -979 = -g - w + 283, 0 = -t*g + 4*w + 5056. Is g a composite number?
True
Suppose 5*o + 3*c - 2*c = 176009, 176025 = 5*o + 5*c. Is o composite?
False
Suppose -147*d = -154*d + 21. Suppose g - 33642 = -3*p, -d*g + 5 + 4 = 0. Is p a composite number?
False
Suppose -72 + 121 = 7*k. Suppose -11*n = 3*h - k*n - 5843, -4*n + 1945 = h. Is h a composite number?
False
Suppose 96*f - 98*f - 444101 = -3*a, -296094 = -2*a - 4*f. Is a a composite number?
True
Suppose 0 = 3*a + 2*a - 10. Let t be (15 - a) + 6 - (-2 + 1). Let d(m) = 8*m - 69. Is d(t) a composite number?
True
Suppose 0 = -104*a - 524652 + 2071028. Is a a prime number?
True
Let u be 4/7 + (-35505)/(-35). Let h(x) = 20*x + 242. Let i be h(-12). Is -2*(u/(-2) + i + 1) prime?
True
Let c = 88 - 76. Let z be -12*(6921/c)/(-3). Suppose 0 = -7*y + 4*y + z. Is y prime?
True
Let z be (2 - (-4 + 5))*0. Let b be z - 94 - (1 + (-4)/(-2)). Let d = b - -224. Is d prime?
True
Suppose 16*p - 3524685 = 3*j - 1302028, 0 = 4*j - 20. Is p prime?
True
Let g = 7394 + -5087. Suppose -c = 2*h - 2*c - g, 0 = h - c - 1156. Is h composite?
False
Suppose -3*d + 21 = -5*u, 0 = -3*d + 2*u - 38 + 50. Is 4434 + 0 + d + (39 - 34) a prime number?
True
Let w = 48676 - -72453. Is w composite?
True
Let a = 68300 - 33543. Is a a prime number?
True
Let i = -8621 + 4768. Let m = 6108 - i. Is m a composite number?
True
Let q(v) be the second derivative of -v**4/4 - 3*v**3/2 - 5*v**2 - 47*v. Let j be q(-3). Is -2*(5 - (-11205)/j) a composite number?
True
Let i be 6/9 - -1*4118/6. Suppose -i - 139 = -2*l. Suppose 2*k - 144 = -2*h + 130, 3*k - l = -2*h. Is k composite?
False
Suppose -3*a - 4 = -2*s, 4 = 4*a + 4*s - 4. Suppose a = 39*k - 1185876 + 452559. Is k a prime number?
True
Suppose 6879320 = 35*o - 12191235. Is o a prime number?
False
Let s(j) = 21*j**2 + 2*j - 30. Let n(h) = -h**3 + 6*h**2 - 4*h - 4. Let u(o) = -o**2 + 19. Let k be u(4). Let l be n(k). Is s(l) a composite number?
True
Suppose 5*y + 2*b - 98638 = -2*b, y = -b + 19727. Let z = y + -8137. Is z composite?
False
Suppose w - 5*v = 64657, v + 159445 = 4*w - 99126. Is w a composite number?
True
Let u(g) = -4*g**2 - 31*g + 23*g + 4 + 0*g**2 - 6*g**2 - g**3. Let k be u(-8). Is ((-62)/8)/(15/k) prime?
True
Suppose 33 = -5*d + 2*d + 3*v, 3*v = 9. Is d/44 - 57330/(-110) prime?
True
Let n be (-2*50/4 + 4)*-3. Suppose -17972 = 59*p - n*p. Is p a composite number?
False
Suppose 220669 = -15*u + 811429. Suppose -6*z - 4962 = -u. Is z prime?
True
Let x be (-25 + 26)*(0 - 0). Suppose 4*q = x, -3*m + 2*m - 5*q + 389 = 0. Is m a composite number?
False
Suppose 5*h = 4*c - 146966, -75032 = -2*c + 3*h - 1548. Is c prime?
True
Let t = -18938 + 91825. Is t prime?
False
Let f(z) = 151*z + 23. Let b(o) = 75*o + 11. Let x(h) = -13*b(h) + 6*f(h). Let w be x(-2). Let k = 491 - w. Is k a prime number?
False
Suppose 6781 + 7179 = 4*c. Let d = c + 229. Is d a composite number?
False
Let z(d) = -144*d**3 + 1 - 81*d**2 + 152*d**2 - 75*d**2 + 4*d. Is z(-5) a prime number?
True
Suppose -274*b + 8750299 = -10643695. Is b a composite number?
True
Is (3 + 2*7/(-4))*-1284718 a composite number?
False
Let v = 699 - 697. Is ((-12)/(-27))/v + 327555/405 a prime number?
True
Let o be (15 + -5)/5 + -3 + 5. Suppose 5969 = 2*d - d + o*k, -4*k + 29893 = 5*d. Is d a prime number?
True
Let t(h) = 1193*h - 111. Let j(l) = -29822*l + 2775. Let z(n) = -3*j(n) - 74*t(n). Is z(10) a composite number?
True
Let j = 1473 - 1794. Let c = -587 - 875. Let i = j - c. Is i a prime number?
False
Suppose 0 = -8*v + 18*v - 400. Suppose v*j - 39*j = 1259. Is j prime?
True
Suppose 0 = -5*b + 4*b + 55. Let u(y) = 4 - 9 - 5*y**3 - 4*y - 65*y**3 - b*y**3. Is u(-2) prime?
False
Let w(d) = -d**3 + 47*d**2 + 977. Is w(33) a prime number?
True
Suppose -5*s + 2*v + v = -148, 0 = -4*v + 16. Is (-7324)/(-6)*48/s prime?
True
Let k = -100 - -138. Suppose k*j - 3407 = 37*j. Is j composite?
False
Suppose -23 = 10*p - 73, -4*b - 5*p = -2565. Is b composite?
True
Suppose 5*o + 23 = 38. Suppose -a + 2*i - 273 = 0, -274 = -0*a + a - o*i. Let h = 55 - a. Is h composite?
True
Let q = 17323 - 8714. Is q a prime number?
True
Suppose 123065 = 27*v - 32*v. Let r = v - -35592. Is r a composite number?
False
Suppose -640 = 5*c - c. Let f be (5/(-2))/(16/c). Let u = f + -6. Is u a prime number?
True
Let g(y) = 81*y**2 - 14*y + 22. Let p be g(-11). Suppose -776*t - p = -777*t. Is t prime?
False
Let a = 0 + -3. Let n be (-5)/(a/12*10). Suppose -n*f + 570 = 4*f. Is f a composite number?
True
Suppose 70 = -3*c + 10*c. Suppose -13*a + c*a + 6 = 0. Is (17/(-34))/(a/(-2764)) a composite number?
False
Suppose 393138 = 20*w - 155022. Suppose -w = -15*j - 7323. Is j a composite number?
True
Suppose -75*w - 2352 = -164*w + 73*w. Let b = 70817 - -93718. Is b/w - (-4)/(-14) prime?
False
Let x be ((-80)/64)/(((-3)/(-12))/(-1)). Suppose 5*y + 8945 = 5*p - 5535, -x*p = -2*y - 14483. Is p prime?
True
Let a(f) = -2*f**3 - 12*f**2 - 32*f - 19. Suppose -170*u - 150 = -160*u. Is a(u) composite?
True
Let h be (14/(-10))/(((-2)/10)/1). Suppose -h*j + 15 = -2*j. Suppose 4*z = j*z + 573. Is z a composite number?
True
Suppose -g + 34380 = -4144. Is g/6 + 40/(-6) + 7 composite?
False
Let w(s) = -s**3 + 19*s**2 + 3*s - 55. Let m be w(19). Let h be m/(-9) - (-232)/72. Is ((-16824)/16)/(h/(-4)) a composite number?
True
Suppose 15*i - 58 = -13. Suppose 0 = i*d + 5*q - 6107, 0 = 14*d - 15*d + 5*q + 2049. Is d a composite number?
False
Let l(k) = -55*k + 22. Let j be l(1). Is 2274/(-9)*j/22 a prime number?
True
Suppose -6*u + 500228 = 1623236. Is u/(-168) - 2/21 prime?
False
Let m be (4 - 5)/(1/(-5)). Suppose -m*u - 5*n + 3480 + 8805 = 0, -u - 4*n + 2469 = 0. Is u composite?
True
Suppose -3*h + 3*r + 394072 = -r, 2*r - 394048 = -3*h. Suppose -2*l - h = -4*u, 2*u + 3*l - 19934 = 45742. Is u/15 + 6/(-30) composite?
True
Let h(y) = 1922*y**2 - 2*y - 13. Suppose -24*u = -22*u + 6. Is h(u) a composite number?
False
Let s(d) = -23*d - 8. Let m(j) = 12*j + 3. Let h(q) = -7*m(q) - 3*s(q). Suppose -3*p = 2*w - 7*w + 38, -28 = 4*p - w. Is h(p) a prime number?
False
Let k(z) = -z**3 + 24*z**2 - 4*z - 22. Let l = -65 + 89. Suppose -b = -l + 1. Is k(b) a prime number?
False
Is (-225713663)/(-422)*(3 + -1) a composite number?
True
Let c = 41 + -37. Suppose 5*a = -c*w + 16681, 0*a - 4*a = -2*w + 8334. Is w composite?
True
Let v = -9028 - -18809. Is v a composite number?
False
Suppose -4*u = -4 - 12. Suppose 3*l + 4*f - 581 = 0, 6*f - u*f = -4*l + 788. Is l compo