number?
False
Let w(v) = v**2 - v - 53. Let x be w(30). Let a = x + 840. Is a prime?
True
Let t(q) = -216*q + 13. Let v be t(-7). Suppose 0 = -5*i + v + 690. Is i a composite number?
False
Is (8 + -3 + 10310664/(-30))*-5 composite?
True
Suppose w = -3*x + 925, 3*x - 4*w + 145 = 1095. Suppose u - 7595 = -3*p - x, 4*p - 9718 = u. Is p a composite number?
True
Let i(s) = s + 53. Let m be i(-5). Let l be (-2 - m/(-22)) + (-527)/(-187). Suppose 0 = -l*o + 6*o + 3*b - 6612, 2*o - 4*b - 4402 = 0. Is o a prime number?
True
Let n(r) = -985*r - 12. Let g be n(-6). Suppose -g + 2 = -z - 4*f, -5*f + 11801 = 2*z. Suppose 368 = -4*w + z. Is w a prime number?
False
Suppose 8 = -4*t, 4*i - 5*t - 70434 = -6*t. Is i a composite number?
False
Is (271/(-4) + 0)/((-69)/22908) prime?
False
Is 251884 - (25/9 - ((-329)/63 + 5)) a composite number?
True
Let d = 87542 - 38301. Suppose 4*t - 86711 = -3*x - 21061, -4*x + d = 3*t. Is t a composite number?
False
Let c(f) = 711*f. Let o be c(1). Suppose 2*p - 4*a - 393 = o, -5*a + 2835 = 5*p. Suppose 2271 + p = l. Is l prime?
True
Let v be -2 + 2 - 3 - -7. Suppose -2346 = -v*a - 2*y, 2*y + 1763 = -0*a + 3*a. Is a a prime number?
True
Suppose 3*u - 3*a = 188895, 23*u + 314853 = 28*u + 2*a. Is u a composite number?
False
Let u(a) = 110*a + 28. Let h be u(-20). Let p = -1055 - h. Is p a composite number?
False
Let v be (14*(-8)/(-140))/(-4*(-7)/140). Let z(n) = -n**3 - 2*n**2 + 2*n + 3. Let o be z(-2). Is (-19533)/(-68) + o/v composite?
True
Suppose -5*v = -159 - 106. Suppose v*d = -352618 + 1219751. Is d prime?
True
Is (-25698102)/(-24) - 0 - (-5 + 200/32) composite?
False
Let m be 108/8*(-10)/(-15). Suppose 0 = 2*b + b - 3*n - 9, m = 3*b - 4*n. Suppose -165 = -b*c + 282. Is c a composite number?
False
Let k(r) = 87*r**2 + 82*r + 5. Let m(b) = -b**2 + 12*b - 8. Let p be m(10). Is k(p) a composite number?
True
Let t(s) = 164*s**3 - 7*s**2 + 9*s - 9. Let j be t(6). Let h be ((-1)/(-2))/(7 - 45/6). Is (j/12 - -4) + h/(-4) a prime number?
True
Suppose 7*w + 83 = -974. Let x be -2 + (-4 - -1) - w. Let l = 303 - x. Is l prime?
True
Let y be (-12)/(-21) - (-11)/(-7). Is 2949/27 - (21/(-27) - y) prime?
True
Let h(a) = 2*a**2 + 380. Let y be h(0). Suppose -9*u = -5*u - y. Is u prime?
False
Suppose 5 = 3*f + x - 7, 0 = -3*f + 5*x + 12. Suppose -2483 - 2441 = -f*p. Is p prime?
True
Let n(z) be the third derivative of 3*z**4/4 - 37*z**3/6 + 65*z**2. Is n(16) prime?
True
Suppose 0 = -0*b + 4*b - 44. Suppose 5342 = -b*t + 29311. Is t composite?
False
Suppose 8*q + 5*q + 11310 = 0. Is q/(-45)*(-66)/(-4) a prime number?
False
Let g(v) = 400*v - 99. Let u be g(11). Let s = u + 1284. Is s composite?
True
Suppose 3*t = 10*t + 242*t - 83621919. Is t a prime number?
False
Let h = -1290 + 1294. Suppose -l = 5*m - 2277, 3*m - 11406 = -5*l - m. Suppose 2*d = -h*y + 2306, -4*y = -3*d + d + l. Is d composite?
True
Let z = 87 + -87. Suppose 5*x - 3*r - 4207 = -6*r, z = 4*r - 16. Is x composite?
False
Suppose 2*n = 5*g - n + 16, 3*g - 2*n + 10 = 0. Let r be (1 - (-1)/g*6) + 150. Suppose 26*s - 22*s = r. Is s a prime number?
True
Let o be (7 - 1732) + (-2 - 2/(-2)). Let s = 3063 + o. Is s a composite number?
True
Is (-25121919)/(-4552) - (7/8 + -1) composite?
False
Suppose m - 5*i = 738306, 0 = 34*i - 30*i - 20. Is m composite?
True
Let a(x) = -143*x + 42. Let t be (-6)/(-4)*20/(-6). Let k(m) = 215*m - 63. Let s(w) = t*k(w) - 7*a(w). Is s(-5) composite?
True
Suppose 0 = -13*x - 5*x - 40323 + 254289. Is x a prime number?
True
Let v(x) = -x**2 + 27*x - 94. Let c be v(17). Suppose 0 = -64*m + c*m - 38652. Is m a prime number?
True
Let j(x) = -18*x - 3. Let o be j(-3). Let d = -24 + o. Is ((-134)/(-3))/(-4 - (-114)/d) a prime number?
False
Let t be 3378/42 - (-9)/(-21). Let y be 32/t - (-7)/(-5). Let j(g) = 810*g**2 - g. Is j(y) a composite number?
False
Let k(q) be the second derivative of q**4/12 - 14*q**3/3 - 8*q**2 - 3*q. Let x be k(-19). Suppose 10 = 5*t, -5*t + x = -0*d + 3*d. Is d a composite number?
True
Let j = -49 - -48. Let w be (20/16)/((-3)/12*j). Suppose 4*f + 4*p = p + 451, -570 = -5*f - w*p. Is f a composite number?
False
Suppose -4*q - 2968 = -4*m, -6*q = -4*q - m + 1485. Let a = q + -76. Is -1 - a - (-7)/(35/(-15)) a composite number?
True
Suppose 4*a - 300*u = -305*u + 668582, 334294 = 2*a + 2*u. Is a composite?
True
Let b(h) = 11*h**2 - 9*h - 13. Let f = -71 - -74. Is b(f) a composite number?
False
Suppose 0 = a + 1, 4*o - 3*a - 2687 = -0*o. Suppose -2524 = -d - o. Is d a composite number?
True
Let p(v) = -v**3 - 15*v**2 + 17*v - 8. Let g be p(-16). Let s(z) = -13*z + 65. Is s(g) a composite number?
True
Suppose -83*l + 25160 = -91*l. Let j = -1152 - l. Is j a composite number?
False
Let v(l) = 319*l + 76. Let a be v(7). Let f = -1638 + a. Is f a composite number?
True
Suppose 120*s - 122*s + 23020 = 0. Suppose -4*g = 6*g - s. Is g a prime number?
True
Let o(m) be the second derivative of -m**3/3 + 57*m**2/2 + 4*m. Let f = 3 - 3. Is o(f) a prime number?
False
Let w(m) = m**3 + 21*m**2 - 21*m - 7. Let a be w(-17). Is -5*(-2)/(20/a) composite?
True
Let c(f) = -80*f + 7. Let z be 1*6/(-6) + 0. Is c(z) a composite number?
True
Is (-1)/((-3)/(-4816119)*-7) a composite number?
True
Suppose -4*d = 7*d - 44. Suppose -4*w + d*o + 83136 = 0, 2*w + 3*o = 6*w - 83135. Is w composite?
True
Let r = 98459 + 94192. Is r a prime number?
False
Suppose 0 = 2*z - 24 + 4. Suppose 7*r - 18 = z*r. Is r/8 + (-18137)/(-28) a composite number?
False
Let x be (-1623)/(-2) - (-3)/(-6). Suppose 6855 = 5*z + 3*c, -3*c = 2*c - 25. Let v = z - x. Is v a composite number?
False
Let d(v) = 10*v**2 - 31*v + 83. Let y be d(-19). Let b = 6381 - y. Is b prime?
True
Let i = 6526 - 3367. Suppose -i = -6*z + 4959. Suppose -4*a - z = -3*o, -2255 = -4*o - o - a. Is o composite?
True
Let d be (-24)/(-32)*-4 + 1*8. Is 11/((-66)/15468)*d/(-2) a prime number?
False
Suppose x + 2968 = 4*o, 14 - 2 = 3*x. Is o a prime number?
True
Suppose 137*a + 58 = 139*a. Suppose a*v = 48553 + 55818. Is v prime?
False
Let d = -859 - -1205. Suppose -10*l = -514 - d. Is l a composite number?
True
Suppose -3*m = -40 + 22. Suppose 2*o = 4*g - 28248, -g - 35301 = -m*g - 2*o. Is g a prime number?
False
Let w = -5 + 20. Let i be 3 + (-246)/w*(4 - -1). Let b = i - -132. Is b a composite number?
False
Suppose -143 = -3*t + 82. Suppose -3*y + 6*y - t = 0. Is (-6692)/(-10) + -1 + 20/y composite?
True
Is (16/15 - (-6)/(-15))/((-84)/(-17743446)) prime?
False
Suppose 0 = 6*g + 57077 - 13745. Let y = g + 18946. Suppose -6*c = -18*c + y. Is c a prime number?
True
Suppose 2*s - 145182 = -5*f, f + 92380 = -4*s + 382708. Is s composite?
True
Suppose -10 = -2*p - 12. Let f be ((-6)/(-4) + p)/(19/152). Suppose 3*y = 5*d + y - 8467, 2*d - f*y - 3390 = 0. Is d prime?
True
Let n be (-32)/(-8) + (-16)/8. Suppose -k + 4011 + 16309 = q, 0 = -n*q + 5*k + 40661. Is q a prime number?
True
Suppose -2*r + 728671 = 3*l, 4*l + 19*r - 18*r - 971553 = 0. Is l composite?
False
Suppose 5*a - 136 = -2221. Suppose 0 = -z - 24*f + 20*f, -3*f = -5*z. Is 1*(z - (a + (-8)/4)) a prime number?
True
Let q(u) = -584*u**3 - u - 1. Let a be q(-1). Suppose -4*g - 85*d - 862 = -83*d, 2*g - 3*d + 411 = 0. Let l = a + g. Is l a composite number?
True
Let i be 1*(4/6)/(14/(-51261)). Let z = -822 - i. Is z prime?
True
Suppose -5*f - 6 = -2*z - 7*f, -4 = -2*f. Let y(v) = 2860*v**3 - 4*v**2 + 5*v. Is y(z) a composite number?
False
Suppose -129555 = 7*i - 10*i. Suppose 4*f + 8652 = -m, -f - i = 5*m + 4*f. Is (-6)/18 + m/(-12) prime?
True
Suppose 0 = -2*j - 3*j. Suppose j = -3*v - 6374 + 18275. Is v composite?
False
Let z = 5108 + 5530. Let g = -857 + z. Is g prime?
True
Let p(s) = 15*s**2 + 19*s + 517. Is p(78) a composite number?
True
Let i(u) = -u**3 + 2*u**2 + 4*u. Let y(c) = c + 13. Let g be y(-10). Let v be i(g). Suppose -v*j = -10*h + 5*h + 2467, 0 = 4*j + 16. Is h a prime number?
True
Let t(g) be the second derivative of 25*g**4/6 - 13*g**3/6 - 7*g**2 - 31*g. Is t(-4) a composite number?
True
Let z = -2911 + 17074. Is z composite?
True
Let s(h) = 5*h**3 + 6*h**2 + h + 29. Let d be s(10). Let r = d - -5558. Is r a composite number?
False
Let n be (190/(-57))/((-3)/8136). Let o = 32781 - n. Is o a composite number?
False
Let x(f) = 8961*f**2 - 41*f 