be a(-4). Is 7106 greater than v?
True
Let f be 24/56*7 - (-36)/(-9). Let a be ((-1)/6)/(0 + 2). Which is bigger: f or a?
a
Suppose -58*v = 86*v + 5*v - 294126. Which is smaller: v or 1976?
v
Let i be 1/5 - 1*(-2)/(-10). Let w(c) = -c**2 - 4*c - 9. Let d be w(i). Let a(h) = -h**2 + 7*h - 9. Let p be a(7). Is p > d?
False
Let q(s) = -s**3 + 4*s**2 + 18*s + 14. Let n be q(-2). Which is greater: -18/73 or n?
n
Let w = 30 - 29.9. Let m = 0.385 - 1.415. Is m at least w?
False
Suppose -7*r - 80 - 249 = 0. Let v be (r + 30)/(1/(-1) + 0). Let a be 3 + v/(-5) - (-356)/(-160). Which is smaller: a or -4?
-4
Let r = -1226267/20 + 61270. Let a = -218/5 - r. Which is smaller: 3/47 or a?
a
Let i be -9 - -6 - 175/(-36). Let a = -25/12 + i. Let w(l) = 21*l**2 + 356*l - 18. Let x be w(-17). Which is greater: a or x?
a
Suppose -11*k = -d - 16*k + 228, 391 = 2*d - 3*k. Is 1213/6 equal to d?
False
Let t be (-2 - -2)*(57/(-38) - (-2)/4). Does -7/1164 = t?
False
Suppose -2*b = -2 - 2. Suppose -4*g + 3*p = -160, -4*g + 156 = -2*p - b*p. Let v(f) = 45*f**3 - 5*f + 4. Let s be v(1). Which is greater: g or s?
s
Let f = -0.885 + 384.885. Let g = 376 - f. Is g != -0.15?
True
Let d = -3421.1 - -3421. Which is greater: -166 or d?
d
Let o = 5608 + -10270. Which is greater: o or -4663?
o
Let i be -3 + (-572)/(-198) + (-1)/90*-316. Which is bigger: i or 5/13?
i
Suppose -2*w + 19 = 13. Let j be 6/((-9)/(-2) - w). Let f be -5 - 17*(-8)/j. Is f smaller than 0?
False
Let d be (39/(-6) - -6)*(-4)/(-2). Let w be (2/(-3))/(d/(-324)*-2). Let j be 1 + w/(-44) + 2. Which is smaller: j or 0?
0
Let b = 544231/4 - 133967. Let p = 2104 - b. Are p and 14 nonequal?
True
Suppose 1 = -2*k + 2*y - 7*y, -3*y - 1 = k. Suppose -k*v - 28 = 3*v - 3*u, 0 = 4*v - 5*u + 25. Let o = -61348/33 - -5558/3. Which is smaller: o or v?
o
Suppose 0 = s + s - 2*i, i - 5 = 0. Suppose -5*d + 20 = -4*o, s*o + 28 = -3*d + 3. Which is greater: d or -9/14?
d
Let m = 59 - 40. Suppose -q - 121 - m = 0. Let c = q + 415/3. Which is greater: c or 0.1?
0.1
Let h = -42 + 81/2. Let k(r) = -3*r + r - r - 11 - 4*r - r**2. Let q be k(-5). Are h and q non-equal?
True
Let a be 5 + 70/(-14 + 19). Is a >= 14?
True
Suppose -20*m = -23*m - 2*u - 26751, 2*m = 4*u - 17834. Is -2/7 at least m?
True
Suppose 0 = -89*n + 55*n. Let o be (-4)/24*(-6)/(-272). Are o and n equal?
False
Suppose 3*x = 5*l - l - 5*l + 30, l = 0. Is x > 2/165?
True
Let i = 62 - 96. Let j = i - -60. Let u = j - 9. Do u and 2 have the same value?
False
Let l = -19600 + 19896. Which is smaller: 28 or l?
28
Suppose 18*m = 30*m - 96. Suppose -2*n - m = 0, -n - 2 = 3*p + 53. Is p greater than -0.7?
False
Let m be -1 - 1*(-2 + 2). Let x be (1 + 11)*m/(-22). Let c = -1323 + 1325. Which is bigger: c or x?
c
Let q be (2886/9022)/((-9)/12). Which is greater: q or 1?
1
Let m(o) = -o**3 - 7*o**2 - 7*o - 2. Let t be m(-6). Suppose t*d + d = -35. Suppose 113*g = -43*g - 1404. Which is bigger: g or d?
d
Let n be (3041/91 - 9) + 2/13. Let r = 2057/84 - n. Let l = -22 + 22. Which is bigger: r or l?
l
Let n = 816 - 815.9307. Let a = 3.4307 + n. Let f = 1 - 0.8. Is a greater than f?
True
Let v = 3506 - 3505.6. Let x = -162 + 155.1. Let s = x - 0.1. Is s at most v?
True
Let m = 2954 + -2051. Is 1 bigger than m?
False
Let j be (2 - 6)*(-17)/(-68). Let s = 20 - 28. Let v be 30/s*(-12)/(-150). Which is smaller: v or j?
j
Suppose -5*n + 7 = 2*p, 0 = -4*n + p + 3. Let i(h) = 28*h**3 - h**2 + 4*h - 15. Let w be i(5). Let a be (w/875)/4 - 1. Which is smaller: a or n?
a
Let f = 3002.83 + -3003. Is f greater than 39?
False
Let b be ((-10)/15)/(310/(-30)) - (-6981)/(-93). Are -127 and b nonequal?
True
Let z = 27180 - 27182. Let n = 35067/16 - 2194. Is n != z?
True
Suppose 4*a + 26 = 3*a. Let b = a - -23. Let l be (-4)/(2/((-3)/b)) + 0. Which is smaller: l or -0.2?
l
Let t be 4/(-14) + (-133)/49 - 37. Let k be (-24)/(-6)*4/t. Let h = -106 - -60. Which is smaller: h or k?
h
Let a be (2/(-6))/((-2)/252). Suppose -2*v + 32 = 2*d + 2*d, -d - a = -2*v. Let x be (-5)/2*16/v. Is -10 less than x?
True
Suppose 14*j - 54 = 13*j. Let g = 8 + j. Are 61 and g equal?
False
Let y be (5 - 2)/(-4 + 4 + 1). Let t be (22/3)/(y/18). Suppose t*f = 40*f + 148. Do f and -1 have different values?
True
Let m be 839 - ((5 - -1) + 3). Let j = m + -928. Is -97 <= j?
False
Let w = 34.53 - 25.53. Is w > -472?
True
Let t = 119.6 + -119.5. Which is greater: 2444 or t?
2444
Let d be 4 + -10 + (2 - -2) + -3. Let b(m) be the first derivative of -m**2 - 31*m - 21. Let x be b(-15). Which is greater: d or x?
x
Let w(q) = 4*q**3 - 151*q**2 - q + 339. Let t be w(38). Is 1745 <= t?
True
Suppose -319*s = -317*s + 2. Is 1/333 less than s?
False
Let x be 12 - 1 - (5 + -2). Let p(q) = -q**2 - 8*q - 12. Let z be p(-5). Suppose 23 = o + 4*s, z*o - 4*s = o - 2. Which is smaller: x or o?
o
Suppose -4*m - 91 + 495 = 0. Let r = m + -106. Which is greater: r or 2?
2
Let j(h) = 9*h**3 - 10*h**2 + 20*h + 54. Let k(r) = 11*r**3 - 10*r**2 + 19*r + 56. Let y(x) = -6*j(x) + 5*k(x). Let c be y(-11). Are 108 and c unequal?
True
Let h = 116677 - 116639. Let o be (-1 + 32)/(7 - 6). Which is bigger: o or h?
h
Let o(l) = -240*l - 227. Let b be o(-5). Are 976 and b non-equal?
True
Let z(v) = -23*v**2 + 4*v - 3. Let h be z(-2). Let k = h + 107. Suppose 0 = -2*c + k*c + 4*s + 4, 4*c - 42 = 2*s. Is 9 != c?
True
Let s = -3.542 + 2.542. Is 161.6 greater than s?
True
Let k = -138 - -86. Let q = k - -57. Suppose c = -2 - q. Is -11/2 smaller than c?
False
Suppose 5*z - 16*b + 11*b = -1200, 5*z + 1204 = b. Are -232 and z nonequal?
True
Let i be 4 + 492/(-6) + 4. Let d = i + 68. Is d smaller than -6?
False
Let n = 0.0005 - -4.0595. Let u = -4 + n. Let x = u - 0.15. Are -1 and x non-equal?
True
Suppose 40*g - 146 = -33*g. Let u = 7.89 + -1.24. Let f = u + -7. Is g at least as big as f?
True
Suppose 0 = -3*q - 6, -358 - 140 = 5*p + 4*q. Let a = -112 - p. Are a and -17 equal?
False
Let u = -931.4 + 1114. Let x = -183 + u. Let h = 0.03 - -2.97. Is h >= x?
True
Let d(a) = 83*a - 797. Let s be d(9). Is s >= -4?
False
Let n = -8736 + 8034. Is -2110/3 at most as big as n?
True
Suppose -56*o + 32 = -4*w - 58*o, o - 14 = 4*w. Which is greater: w or -107?
w
Suppose -16*i - 133*i - 21024 = 139*i. Do -72 and i have different values?
True
Let u be (-5)/(-20) + (-63)/92. Suppose -198 = 73*a + 125*a. Which is smaller: u or a?
a
Let u(b) = b**3 + 4*b + 13 + 10 - 2783*b**2 + 2796*b**2. Let x be u(-13). Which is greater: x or -111/4?
-111/4
Suppose 2755 = -10*l - 9*l. Let p = l - -103. Is -41 <= p?
False
Let w be (-6)/((240/112)/((-4)/(-42))). Let u = -2/45 - w. Which is smaller: -44 or u?
-44
Let r(n) be the second derivative of n**3/6 + 13*n**2/2 - 11*n. Let v be r(-13). Let i = -798 + 94165/118. Which is smaller: i or v?
v
Let d(a) = -10*a**2 - 357*a + 216. Let u be d(-36). Is u at least as big as 90?
True
Let n = 2255 - 1271. Does 982 = n?
False
Let j(p) = -5*p**2 + 15*p - 13*p**2 - 9 + 0*p. Let s be j(6). Let c be 246/s + (-8)/(-28). Which is smaller: c or 0?
c
Let q = 155/18 + -28/9. Suppose -s + 8 = 2*c - 3*s, -2*s - 8 = -c. Suppose c = -4*l - 5*u, -4*l - 13 + 53 = -5*u. Is l at least as big as q?
False
Let w = -210 - -174. Let a be (-219)/(1 - (-26)/(-25)). Let m be (-2)/3*a/100. Is m bigger than w?
False
Suppose -3*b = -3*j - 681, 0 = 11*j - 55*b + 57*b + 2575. Is -224 less than j?
False
Suppose -4*s + 2*f - 7 = -5*s, 4*s + 4*f = 16. Let v be (3/(-19))/((-4)/10772) + 3. Let a = v + -428. Is a at least s?
False
Let b be (-6)/(-63)*-1011 + (-4)/(-14). Let q = b + 139. Do 42 and q have the same value?
False
Let w = -0.09 - -9.09. Let a = 9.997 - 14.997. Which is smaller: a or w?
a
Let f = -13.175 + 14.175. Is -510 < f?
True
Let l(s) = -10*s - 335. Let t be l(-34). Suppose -3*m + 5*p - 121 = 80, 2*p + 335 = -t*m. Is m <= -69?
False
Let k be (-9)/(-135)*(-10)/(-204). Let o = k - -5/306. Which is smaller: o or -1?
-1
Let l be (-1422255)/19305 + 4/(-22). Let a = 885/13 + l. Is a != -5?
True
Suppose -318*v = -162*v - 335 - 445. Is v > 113/24?
True
Let f = -1445/4344 + -1/1448. Is f smaller than 2073?
True
Let b(p) = p**3 - 81*p**2 - 88*p + 448. Let r be b(82). Is -45 at least r?
False
Let g be (4/(42 - 2))/(5/50). Does g = 3/727?
False
Let r be 189/6 + 4/(-8). Let g(m) = m**2 + 20. Le