o + 7671. Is o composite?
False
Suppose c = q - 913, -c + 0*c - 4*q - 918 = 0. Let x = c - -395. Is 5 + 2*(2 - x) composite?
True
Let c = -85850 - -123331. Is c prime?
False
Is (-9 - -36 - 31)/(8/(-275846)) a composite number?
True
Is 19366 + -1*(-7 - 2*(-7 - -5)) a composite number?
True
Let v(y) = -790*y - 36. Let r(l) = -l + 1. Let w(i) = 5*r(i) + v(i). Is w(-4) a composite number?
True
Is (-20)/(-250) - 16972153/(-275) a prime number?
True
Let o(u) = -u + 16. Suppose -2*q - 2*r = 2*q - 52, 4*q + r - 50 = 0. Let k be o(q). Suppose 5*c - 807 = -k*n, 2*c + 2*c - 624 = 4*n. Is c composite?
True
Suppose 112*w - 16912 - 455616 = 0. Let r = -4795 + 7447. Let o = w - r. Is o a composite number?
False
Let t(k) = 2*k**2 - 5*k + 11895. Let b be t(0). Suppose -25500 = -5*h + 5*z, -4*z + 1693 = -2*h + b. Is h composite?
False
Let m(h) = 252*h**2 - 16*h - 3. Let l(q) = -253*q**2 + 15*q + 2. Let b(o) = -7*l(o) - 6*m(o). Let v be b(-5). Suppose -14*p - v = -18*p. Is p composite?
True
Suppose -2*k = 4*m - 3066402, 3*k - 6*k + 4599589 = 4*m. Is k a composite number?
True
Let y be 39/(3 - 10116/3378). Suppose 5478 = 3*u - 3*g, 0*g = 4*u + g - y. Is u a composite number?
True
Suppose 0 = 8*v - 18*v + 1182114 - 220744. Is v a prime number?
True
Let y be (-1 - -5)/((-6)/(-33)). Let l be ((-10)/(-3))/(y/99). Suppose 0 = -3*j + l + 6. Is j prime?
True
Let x = 211033 - 128059. Suppose 22*r - 28*r = -x. Is r a prime number?
True
Let h = -1157951 - -2147122. Is h a composite number?
False
Let m = 77 - 74. Let h be (m/(-2))/(9/(-702)). Suppose -k = -3*c - h, -5*k + 3*c + 557 = 2*c. Is k composite?
True
Suppose 0 = -21*x + 4*x + 68. Suppose 441 = x*w - 4111. Is w composite?
True
Suppose -8 = -2*f + w - 4, 5*f + 5*w - 40 = 0. Suppose m = -f*r - 2076 + 26025, -4*m = -4. Is r prime?
True
Let z(a) = -256*a + 109. Let c be z(23). Is (13 - (12 - 0))/((-1)/c) composite?
False
Let d be (1 - -1558) + (3*-2)/2. Let i = d - 2440. Let h = -441 - i. Is h a composite number?
False
Suppose -4*p - 534006 = -2*k, -k - 5*p + 257248 = -9790. Is k a composite number?
True
Let d(o) = -139*o - 11. Let b be d(-5). Suppose 12 = 2*h - 4*c, 6*h - h + 18 = -2*c. Is (-2)/h*(b - 11) composite?
False
Suppose 0 = 4*v + 4*h - 972, -3*h = 19*v - 22*v + 705. Let f be 2/(-7) - 8364/(-21). Let m = f - v. Is m composite?
True
Suppose 0 = 4*n - 5*r - 21, -4*n - 3*r = -n - 36. Suppose n*x - 6310 = -x. Is x prime?
True
Suppose 61*s = 124*s - 10939012 + 1412026. Is s prime?
False
Let t be 2*(2 + 1) + 12 + -14. Is 3 - 0 - (-450 + t) a prime number?
True
Suppose -10*v + 79349 + 103636 = -5*y, 2*y = 14. Is v composite?
True
Let d = 62 + -62. Suppose c - 3*c - 10*c = d. Suppose c = 7*z - 2*z - 5965. Is z composite?
False
Let v be (-2*(-9)/(-30))/((-3)/45). Let s be 0/(v/3) + 1626. Suppose 0 = 2*j + 4*p - s, p = -2*p + 6. Is j composite?
False
Let b be 150/(-675) - (-12134)/9. Let a = b + -851. Is a a composite number?
True
Let a(c) = -c**3 + 12*c**2 + 12*c + 25. Let t be a(13). Suppose -258101 = t*h + 19675. Is h/(-15) - 3/15*1 a prime number?
True
Let z = 140 - -1409. Suppose 16*n - z = -509. Is (10/n - (-3766)/26)/1 a prime number?
False
Let p(z) be the first derivative of 23*z**3/3 + 3*z**2/2 + 4*z + 22. Let i be p(-5). Suppose 0 = 2*t - 4*r + 51 - 333, -4*t + 3*r + i = 0. Is t prime?
False
Suppose 0 = 4*v - 3*v + 5*d - 10, 0 = -3*v - 4*d + 19. Suppose v*a - 549 = -3*l, 5*l + 168 - 713 = -5*a. Is a composite?
True
Let z be (36870/(-9) + 2)*(-195)/10. Suppose 201706 + z = 16*c. Is c composite?
False
Suppose -3612*p + 3607*p = -3082988 - 1188077. Is p composite?
False
Suppose 2*h = 4*n - 2, 10*n - 13*n - 11 = -4*h. Suppose 0 = -3*o + 5*t - n*t + 16341, -3*t + 21788 = 4*o. Is o a prime number?
False
Let n be (-320756)/(-612) + (16/18 - 1). Let o = n - -68585. Is o a composite number?
False
Let h(q) = -34*q + 27 + 247*q**2 + 24*q - 19. Is h(3) a prime number?
False
Let x(h) = -11*h + 56 + 12*h**2 - 19*h**2 + h**3 - 23. Let k be x(8). Suppose -3*t = d - 2131, 2*d + 1 = k. Is t composite?
False
Let g(n) = 65 + 6*n - 6*n - n**2 - 3*n - 10. Let k be g(0). Suppose w - 122 = k. Is w a composite number?
True
Let m = 191 - 167. Suppose 27*d - 7563 = m*d. Is d composite?
False
Suppose 1109*h + 10246826 = 1151*h - 22873576. Is h prime?
False
Let p = -335 + -2315. Let v = p - -6921. Is v prime?
True
Is (-34)/((-14264)/1096 + 13) a prime number?
False
Let p = -7 + 10. Suppose 104*s + 78 = 130*s. Suppose p*x = -2*r + 349, x + 12 = -s*r + 546. Is r prime?
True
Suppose 8608710 + 671377 = 29*y. Is y a prime number?
False
Is (-32)/80 + (-72191502)/4*40/(-300) a composite number?
True
Let r be ((-2189)/4)/((-38)/(-8) + -5). Suppose 2*i - r = 2603. Is 15/(-75) + i/5 prime?
True
Suppose -2*h + 1716 = 4*s, 4*s - 6*s - 842 = -h. Let x = 5177 - h. Is x a composite number?
False
Is 12039 - ((-112)/7 + 8) a prime number?
False
Let t = -24615 + 63454. Is t a prime number?
True
Let h(j) = 24306*j - 3089. Is h(20) a prime number?
True
Let r(g) = 1906*g**2 - 24*g + 41. Let p be r(2). Suppose -4*m = 2*f - 15250, -f - 3*m + p = -5*m. Is f a composite number?
False
Suppose 0 = f + 2*f - 5*t - 28, 4*t = -3*f + 64. Let r(a) = -f*a + 14*a**2 + 18*a - 3*a**2 + 3. Is r(-2) composite?
False
Let x be (1/4 - 9/12)*14. Let g be (-14)/(-49) - (-1)/x*-26. Suppose -g*d + 0*d + 740 = 0. Is d a prime number?
False
Let t(x) = 5*x + 25. Let i be t(8). Let u = i - 61. Suppose 162 = 3*g - 2*k - 19, 185 = 3*g - u*k. Is g composite?
False
Let v(b) = 84*b - 1010. Let p be v(12). Let x be (-9)/(-2) - (-4)/(-8). Is 348 - (p + 12/x) composite?
False
Let r = -380 + 805. Is 2190075/r - 4/34 prime?
True
Let a be (-104)/(-26) - (2 + -1). Is (8 - (10464 - a))*1*-1 prime?
True
Is (-16)/256*-8*198706 prime?
False
Let p be 2 - (-2)/(-1)*-32. Let s = -2570 - -2529. Let t = p + s. Is t a prime number?
False
Let z(a) be the second derivative of 61*a**4/4 + a**3/3 + 2*a**2 + 40*a - 2. Is z(3) a composite number?
False
Let k = 113 + -110. Suppose -4*c + 7578 = 2*l, -k*c = -0*c + 2*l - 5683. Let n = c + -754. Is n a prime number?
False
Is (1 - 0/(-2))*11073 composite?
True
Let j = -24 - -22. Is (32/(-80))/(j/22670) a prime number?
False
Suppose -f + 1 + 4 = 0, 2055 = 5*d - 4*f. Suppose 134646 = 4*o + 2*c, 3*c + 3795 + 63524 = 2*o. Suppose 18*x - o = -d. Is x a composite number?
False
Let g(r) = -r**3 + 18*r**2 + 20*r - 14. Let l be g(19). Let v(y) = 75*y + 4. Let d be v(6). Suppose l*k - d = 1081. Is k a composite number?
False
Suppose 5*s + 635 + 55 = 0. Let z be (((-1756)/(-3))/(-2))/((-20)/30). Let x = z + s. Is x composite?
True
Let f = -263 + 266. Suppose 11 = -2*g + 13, 2*b - f*g - 1811 = 0. Is b a composite number?
False
Suppose 6*c - 8*c + 546305 = 5*w, 2*w - 5*c = 218522. Is w a composite number?
True
Suppose -2171330 = -148*o + 3816602. Is o a prime number?
True
Suppose -3*n + 6*n + 13 = 5*t, 2*t + 5*n = 30. Suppose -t*a + 8*a = 0. Suppose a = 3*j - 463 - 794. Is j prime?
True
Let u = -122 - -132. Let d(z) = 964*z - 27. Is d(u) a composite number?
False
Let b = 212 + -216. Let d(r) = 175*r**2 + 19. Is d(b) composite?
False
Let s be (-8)/(-12) + 56372/6. Suppose -148 = -8*m + s. Is m composite?
False
Let z = 259 - 941. Let y = z + 1755. Is y composite?
True
Let f = 1857138 + -941611. Is f prime?
True
Let j(b) = -20*b**3 - 86*b**2 + 16*b - 85. Let s(q) = 4*q**3 + 17*q**2 - 3*q + 17. Let g(t) = -2*j(t) - 11*s(t). Is g(-7) a prime number?
True
Let x(n) = 110137*n**3 - 2*n**2 - 341*n + 693. Is x(2) a prime number?
True
Suppose 4*c + 7*o = 4*o - 396, 0 = 5*c + 2*o + 495. Is (66/c)/(1/(-1203)) composite?
True
Let t(q) = -q**3 - 9*q**2 + 12*q - 21. Let g be 460/50 - 9 - 112/10. Is t(g) a prime number?
True
Suppose 5*k - 63 = 57. Suppose k*f - 124009 = 37583. Is f a prime number?
True
Suppose 25*c - 2410297 = 297084 - 255956. Is c a prime number?
True
Let l(b) = b**2 - 2*b - 88. Let u be l(10). Is (16/(-24))/(u/37428) a prime number?
True
Let o(y) = 803*y + 16. Let j(h) = 1607*h + 32. Let m(n) = 3*j(n) - 5*o(n). Let v be m(7). Suppose -w + 2*t + 2809 = 0, 2*w + 6*t - v = 2*t. Is w prime?
True
Is (0 + 1)*(0 - -7)/(-7)*-120617 a prime number?
False
Let c be 7/(196/3815) - 9/(-12). Suppose 0 = 145*x - c*x - 6248. Is x a prime number?
False
Suppose 29*z - 8516 = -159490. Let t = 