 c be h(n). Is c < 0?
False
Let l be (-1)/((-7)/339) - (-3 + 24/7). Suppose 2*d - 6*d = -192. Is d > l?
False
Let k be (37 + -3)*(1 - 0)/1. Suppose -2*x = 4, 0*u - 4*x - k = -u. Let a = -47 + u. Is -22 equal to a?
False
Let z = -0.0362 - -4.9262. Let h = z - 4.59. Is -93 less than or equal to h?
True
Let g = -23288 - -23288.1. Is g greater than -7/120?
True
Let o = -25.56 - -1.56. Let m = -24.059 - o. Is m >= 1/4?
False
Let q = -575 - -404.6. Let z = 171 + q. Which is smaller: 2 or z?
z
Let d = -3227 - -3226. Do d and 4/3713 have different values?
True
Let q = -197 + 308. Let f = -94 + q. Let m be (-117)/63 - (-1 - 1). Which is smaller: m or f?
m
Let b be ((-48)/18)/((-3)/(-135)). Let y be (0 + (-198)/12)*(-1)/((-12)/88). Is b smaller than y?
False
Let t(d) = d**3 + 6*d**2 - 8*d - 3. Let i be t(-7). Suppose 2*q + 3*x = x + 24, 3*q + i*x - 38 = 0. Let p be ((-12)/(-15))/(2/q). Which is smaller: p or 2/7?
2/7
Let q be (-2)/((-4)/(-14) + (-640)/(-112)). Which is smaller: q or 275?
q
Let o be 27/(-6)*((-35)/(-15) - -3). Suppose -452 = -3*g + 2*p + 162, 2*g = 3*p + 411. Let b be g/(-14) - o/(-56). Is b >= -15?
True
Let q = -97 + 93. Let a be (4/(-7))/(q/56). Suppose 0*g = -5*g + 4*f + a, 4*f = 2*g - 8. Which is smaller: g or 39?
g
Let b = -515 + -193. Let x be 59/b + 1 + 6/(-8). Is 0 at least as big as x?
False
Let o = 110/3 - 2087/57. Let i be ((-20)/(-25))/(8/20) - -6. Let k be 25/100*i/5. Which is smaller: k or o?
o
Let p = 86 - 60. Suppose 12*c = p - 230. Which is smaller: c or -63/4?
c
Let r = 214/129 - 2242/4773. Is 2 smaller than r?
False
Suppose -4*p + 20 = 6*v, 0 = -715*v + 710*v + 20. Let r(b) = b + 5. Let d be r(-6). Let f be ((-2)/(-4))/(1/d). Is p < f?
True
Let s = 0.34102 - 8521.34102. Which is smaller: s or 1?
s
Suppose 17*t = 4426 - 1581 + 2663. Is 326 bigger than t?
True
Let k(z) = -z + 0*z + 33 - 24. Let q be k(6). Suppose 2*g + q*g + 3*f = 50, 4*g + 2*f = 42. Is g equal to 13?
True
Suppose 0*k - 16 = 4*k. Let z(q) = -7*q - 135. Let h be z(-21). Let m be (36/h - 6)*(-16)/(-6). Which is smaller: k or m?
m
Let k(h) = -h**2 + 133*h + 850. Let j be k(-7). Is j at most -131?
False
Let f be 1/1 + 57/(-39). Let q = 52822 + -52824. Which is smaller: f or q?
q
Let p be (-3 - 3388/(-12))/((-2)/(-3)). Let n = p + -365. Is 380/7 equal to n?
False
Let j be 3378/8 - (-37)/((-296)/(-24)). Do j and 426 have different values?
True
Suppose -99*d = -105*d + 114. Let o be (-37)/d + 8/4. Which is bigger: 1 or o?
1
Let m = 0.081 + 3.619. Let x = 6.4 - m. Let y = -3.7 + x. Which is greater: y or 9/4?
9/4
Let y = 41851 + -249425/6. Which is greater: y or 279?
y
Suppose 4*u - 87 = k + 20, -u = 2*k - 20. Let f = -43 + u. Let g be (13/2 + -6)*-34. Is f > g?
False
Let f = -118 - -124. Let k be (40/(-585))/((30/5)/f). Do k and -1 have the same value?
False
Suppose -f - 7 = -9. Suppose 5*s + 10 = 5*p, -f*s - 5*p - 2 - 16 = 0. Is s != -50/13?
True
Suppose -2*q + 44 = 5*g, q + g - 92 = -2*q. Suppose -3*w = -a - 0*a - q, -w = 2*a + 99. Suppose 0*y - y = -4, -3*s - 142 = -y. Which is bigger: s or a?
s
Let o be (12 - 4)*(-2)/(-4). Let b be 270650/1120 - o/(-14). Let z = 242 - b. Which is smaller: 0 or z?
0
Suppose 0*i = i + 11. Let l be (910*(-25)/(-6300))/(3 - (-30)/(-9)). Is l != i?
True
Let x(m) = 2*m**3 - 125*m**2 + 64*m + 153. Let i be x(62). Which is smaller: 274 or i?
274
Suppose -u - 4*m - 15 = 0, m - 5 = 4*u + 6*m. Let q be 55/15 + (-3 - -5). Do q and u have the same value?
False
Let t = -0.0436 - 1.0564. Suppose 5*n = -4*j + 39, -6*j + 6 = -7*j + 4*n. Which is smaller: j or t?
t
Let r be (42/(-9))/2 - 12/(-3). Let a = 14 - 107. Let v = -81 - a. Are v and r nonequal?
True
Let q = -10/4789 + -569661/110147. Is -5 != q?
True
Let n(g) = -g**3 - 5*g**2 + 12*g + 7. Let o be n(-7). Let s be ((-6)/o)/((-12)/(-18)). Which is greater: 10 or s?
10
Let x(j) = -j**3 - 8*j**2 - 8*j - 5. Let v be x(-7). Let r = 38276/31 - 1234. Are v and r non-equal?
True
Suppose -3530 = 28*f - 30. Let c be ((-19)/21)/(f/(-15) - 9). Which is smaller: 2 or c?
c
Let p(l) = 9*l**3 - 2*l**2 + l. Let t(v) = 2*v - 8 + 22 - 11 - 2*v**2 + v. Let d be t(2). Let g be p(d). Which is greater: g or 11?
11
Let n = 1/55563 + 1055695/111126. Let b = 3 - -6. Is n greater than or equal to b?
True
Suppose 17*m - 11*m - 18 = 0. Suppose -2*h + 45 = -4*a - 23, 24 = -a - m*h. Is a >= -14?
False
Let r = -1794 - -2120. Are r and -0.4 unequal?
True
Suppose -164503 = 869*f + 104238 - 26290. Let w = -441 + 163. Which is greater: w or f?
w
Suppose 22*k - 23*k = -3*s + 423, 5*k + 2151 = -3*s. Which is smaller: k or -432?
-432
Let z be 4*2 - (-18 - (-8729)/112). Which is greater: z or 0.2?
0.2
Let t be (4 - 240/64) + (-1047)/12. Which is greater: -1470/17 or t?
-1470/17
Let v be (-3968)/60 + 20/150. Let y be (v/15)/11 + 254/685. Is -1 smaller than y?
True
Suppose 3*u - 23 = 2*t, -281*u = -4*t - 284*u + 17. Is -285 at least t?
False
Suppose 11*j - 75 = 6*j. Let c(d) = d**3 - 14*d**2 - 13*d - 14. Let k be c(j). Let a(t) = -t**2 - 10*t - 5. Let m be a(-7). Do m and k have different values?
False
Let z(h) = -59*h**2 + 356*h - 10. Let m be z(6). Is -15/32 > m?
False
Let b(u) = 4*u**3 + 4*u**3 + 21 - 20. Let j be b(1). Suppose -17*c = 40 - 142. Is j less than c?
False
Let l(s) = 3*s + 80 - 76 - 4*s. Let b be l(0). Let h be (b/54)/((48/18)/8). Which is bigger: 1 or h?
1
Let y(h) = 80*h**2 - h + 3. Let s be y(-1). Suppose -4*x = 84 + s. Is -43 greater than x?
False
Suppose 5*z = 2*g - 143, 111 + 20 = 2*g - z. Let m = g - 62. Let t be (-1*m)/(-8) + (-608)/(-128). Are t and 25/4 equal?
False
Let z = 0.0587 + -0.0587. Is z bigger than -60/11?
True
Let w = -437.8 + 67.8. Let m = w - -338. Is m not equal to -0.3?
True
Suppose 11*x = -3*p + 5*x + 18, -21 = -5*p - x. Which is bigger: 147/44 or p?
p
Let f be (-140)/7*(-323 - -1). Let n = -10779 + f. Let a = n - -56365/13. Which is bigger: -3 or a?
-3
Suppose -m - o - 69 = -71, -m - 3*o + 6 = 0. Do 9/2011 and m have different values?
True
Suppose 4*k + q - 19 = 0, 2*q + 3 = -k + 13. Suppose -70 = k*u + 5*r, -5*u + u = -r + 58. Suppose 2*i = -2*i - 60. Are i and u unequal?
False
Let t = 3.12 - 34.62. Let a = 15.5 + t. Which is smaller: -0.5 or a?
a
Suppose -9236 = 33*o - 38606. Is o > 880?
True
Let u = -0.4824 + 0.1424. Which is smaller: -1 or u?
-1
Let j(t) = -77*t + 185. Let h be j(5). Is -195 at least as big as h?
True
Let q = -1 + 0. Let b = q + 0.96. Let k = -7658 - -7660. Is b less than k?
True
Let p = -8130 - -8140. Which is smaller: p or 586/67?
586/67
Suppose -93*h + b - 24 = -88*h, 3*h + 32 = 5*b. Let s(o) = -o**2 + o. Let u be s(1). Let r = u + -1. Is h at least r?
False
Suppose h = -3*h - 5*f - 259, 3*h + 203 = 5*f. Let y = h - -17. Is y bigger than -95/2?
False
Let m be 8 - (46 + -10 - -8). Which is smaller: -49 or m?
-49
Let x = -191/12 + 187/12. Suppose 0 = 3*c + 2*c - 380. Which is bigger: x or c?
c
Let p be ((-296316)/37040 + 8)/(24/32). Is p at most -1?
False
Let w = -3 - -3.5. Let i be (30/(-9) - -3)/((-3)/27). Suppose i*p = -4 + 4. Which is bigger: p or w?
w
Let g = -28/55 - -10/11. Let r = -156 - -190. Let c = -35 + r. Is c equal to g?
False
Let z = 408 + -390. Suppose z*c - 13 = 16*c - 5*u, u = -3*c. Which is greater: -5/104 or c?
-5/104
Suppose 4*b = 8*x - 3*x + 102, 5*b - 117 = x. Suppose 5*c = 15, 0 = 4*p + p + c - b. Which is smaller: p or 8?
p
Let n = -2888 + 2887. Which is smaller: n or -10.49?
-10.49
Let k be ((-439200)/(-192))/((-3)/8). Which is greater: k or -6099?
-6099
Let t = -3818 - -3305. Which is smaller: 0 or t?
t
Let c(s) = -s**2 + 4. Let y be c(-2). Let v be y + -2 + 4 - (13 + -22). Suppose v*g - 6*g = -135. Which is smaller: -0.2 or g?
g
Suppose -s = 5*h - 156, 0*h + 2*h - 312 = -2*s. Let x be 1*6*(-8)/s. Let d = -5/26 + x. Is d smaller than -2/13?
True
Let z be 16501/377 - ((-36)/3)/4. Is z smaller than 46?
False
Let i(d) = d**3 - 3*d**2 - 31*d + 30. Let b(j) = -5*j + 1. Let y(v) = 4*b(v) - i(v). Let m be y(4). Let t = 38 + -57. Which is bigger: m or t?
m
Let k(p) = p**3 - 6*p**2 + 7. Suppose 0 = 3*m, -3*r - m - 12 = -5*r. Let f be k(r). Let v = 3928 + -3925. Which is smaller: f or v?
v
Let x(a) = -2*a**3 - 38*a**2 + 3*a + 59. Let j be x(-19). Suppose -196 = -j*q - 3*f, 200 = 2*q + 7*f - 6*f. Does q = 101?
True
Let b be 6*(-126)/36 + -118