= -4*p - 6. Let r be v(-2). Suppose -3*y + 13 = 5*k, -3 = -3*y - r*k + 4. Let u be 25/290*(12/(-15) - -2). Is u < y?
True
Let x = -32 - -78. Let q = x - 42.1. Let p = -3.6 + q. Which is bigger: p or 0.7?
0.7
Let b(f) = f**3 + 56*f**2 - 7*f + 17. Let p be b(7). Which is smaller: p or 9166/3?
p
Let h = 45/11 - 5. Suppose 0 = 3*v + 3*m - 12, 4*m + 25 - 41 = -3*v. Which is bigger: v or h?
v
Let v be ((-1140)/14)/(160/(-4480)). Let h = -5 - -9. Let n be 2276*4/v - h. Which is smaller: n or 0?
n
Let c = -33.77 + 0.77. Is c < -15?
True
Let u(p) = -196*p + 8821. Let f be u(45). Which is bigger: -47/99 or f?
f
Let w(y) = y**3 - 4*y**2 - 6*y - 4. Let m be w(5). Let d = 151 + -125. Suppose 3*v + d = -l - 0*l, -16 = v + 4*l. Which is bigger: m or v?
v
Suppose -3 = 12*r - 99. Let x(z) = 5*z**2 - 9*z + 56. Let n be x(r). Is n greater than 304?
False
Let p be 5*(-3 - (-16)/3). Let v(o) = -o + 6. Let f be (120/160)/(0 - 1/8). Let k be v(f). Are k and p unequal?
True
Suppose 1476 = 15*b - 1809. Let p = b - 387. Is p > -169?
True
Let g = 1/12 - 31/12. Let w = 5.71 - 4.81. Which is greater: g or w?
w
Let y = -5624.968 + 6066. Let u = -441 + y. Are -2/3 and u non-equal?
True
Let z = -2092 - -2086. Which is smaller: z or -1.71?
z
Let y(i) = 8*i**3 + 59*i**2 + 320*i - 10. Let g be y(-8). Which is bigger: g or -2891?
g
Let b = -472037 + 7087159/15. Which is bigger: b or 439?
b
Let x = 7795 - 3060. Is x > 4735?
False
Let i(r) = -r**3 - r + 2. Let s(z) = 6*z**3 + 27*z**2 + 7*z - 15. Let a(w) = 5*i(w) + s(w). Let u be a(-27). Is u less than -55?
True
Let m = 0 - -13. Let r(o) = 9*o - 75. Let n(b) = -4*b + 37. Let x(w) = m*n(w) + 6*r(w). Let f be x(-16). Is f > -14/11?
True
Let f = -119 - -67. Let d = -796.3 + 743.9. Let p = f - d. Is p greater than 6?
False
Let k = -49 + 27. Let j(x) = -180*x**2 + x + 3. Let y be j(-1). Let c = 155 + y. Is k != c?
True
Let d(q) = 2*q**3 - 10*q**2 + 8*q + 1. Let l be d(4). Which is greater: l or -37/86?
l
Suppose 2976 = -5*o + 29*o. Is o less than 373/3?
True
Suppose -8 = 76*z - 74*z, -3*z - 20 = 2*x. Which is greater: 2325 or x?
2325
Let z be -14*-5*(-5)/50. Let t be (-10605036)/(-3104185) - 3 - (-3)/z. Let x = t - 2/2861. Are x and 0 non-equal?
True
Let x be 4/(-22) + 506/121. Suppose f - 3*u - 39 = 0, x*f - 186 = -u + 3*u. Let m be (-54)/(-9) + 160/(-25). Which is bigger: f or m?
f
Let k be (18/3 + -4)*(2 + -1). Suppose -k*y = 34 - 34. Suppose -v + 2 - 7 = y. Is -6 equal to v?
False
Let t = -151 + 629/4. Suppose 54 = -2*a + 224. Let y = a + -79. Do t and y have different values?
True
Let k = 15199/50 - 304. Suppose 36 = -160*b + 163*b. Let l be (-2)/b*(0 + 2). Which is smaller: k or l?
l
Suppose 0 = 5*c + 3*l - 10028 - 3191, -5*l + 2635 = c. Which is greater: 2643 or c?
c
Let q = -5 - -13. Let r(j) = j**3 + 11*j**2 - 17*j - 56. Let u be r(-12). Suppose -4*y + u = q. Is y at least as big as -1?
True
Let h = 30 - 28. Suppose 5*b + 2 = -2*q - 4, -h*b = -4. Let f be ((-2)/(-8))/((-2)/q). Are f and 0 equal?
False
Let a(d) = d**3 + 17*d**2 + 20*d - 6. Let c be a(-16). Let w be c/(-6)*(11 - 8). Let v be 4/10 - (-3 + w/25). Which is bigger: v or 1?
v
Suppose 0 = 2*h + 5*r + 7, -r + 14 = 5*h - 3. Suppose 0 = -h*b + b + g - 74, -5*g + 25 = 0. Which is greater: -24 or b?
b
Suppose -4*s = 3*u - 6582, -9*u + 5*u = 8. Let o be ((-2)/(-13) - s/(-9828))*4. Are o and 2 equal?
False
Let h be 0/(42/(-14) + 1). Which is smaller: h or -18/71?
-18/71
Let j = 97.3 - 97. Let a = j - 1.3. Which is smaller: a or -208?
-208
Suppose 0 = 2*h + 3 - 7. Let t(u) = 2*u**2 - u - 2. Let p be t(2). Let l be p/h + (-10)/65. Is 2 smaller than l?
False
Let t = 67789 + -403886861/5958. Is t greater than or equal to 1?
False
Let t = 21379/95 - 1126/5. Let c = -287 - -288. Which is smaller: t or c?
t
Let o = -6853.31 + 6883. Let b = o - -2.31. Is 0 less than b?
True
Let p = 550 + -546. Let g be 86 + (0 - (-4)/(-2)). Suppose -32 = p*y - g. Are 14 and y nonequal?
True
Let z = -0.1504 + 0.0504. Let y(o) = -7*o**2 - 4*o + 4. Let n be y(3). Let d = 275/4 + n. Is d at most as big as z?
True
Let m be (16/180)/((-954)/45 - 12). Which is smaller: m or -1?
-1
Suppose -440*h - 33277 = -333*h. Which is smaller: -312 or h?
-312
Let p = -2944 + 2914. Suppose -4*h + 0*h - 136 = 0. Let k be h - -3 - 0/(-2). Is p at least as big as k?
True
Let p = -4569 + 4206. Is -358 at least as big as p?
True
Suppose 0 = 3*p - 5*n + 1270, -3*p - 5*n + 229 - 1479 = 0. Let i be (-300)/p + (-1 - (-18)/14). Which is smaller: -16/53 or i?
-16/53
Suppose -164*g = -157*g + 1953. Is g at most as big as -279?
True
Suppose 6*p = -2*p - 176. Let i be (63/(-12))/(8/32). Which is smaller: p or i?
p
Let s(m) = -m**2 - 85*m - 1651. Let d be s(-54). Do 706/31 and d have different values?
True
Let c = -5813597/679 - -8562. Which is greater: c or 2/5?
2/5
Suppose 3*h = 4*l + 19, 16*l - 20*l - 9 = -h. Which is smaller: 12/83 or l?
l
Let d be -1476*((-154)/(-11) + -13). Which is smaller: d or -1480?
-1480
Let v = 14683 + -14614. Which is bigger: v or 0.96?
v
Let y = -11 - -2. Let m = 193 - 191.78. Let g = 1.52 - m. Which is bigger: g or y?
g
Suppose 67 = -2*i + 75. Suppose -580 = -4*d + i*b, 2*b - 441 = -3*d + 3*b. Is 150 > d?
True
Let d(q) = -51*q. Let l be d(-2). Suppose 0*t - l = 3*t. Suppose -29 = 6*s + 181. Is s at least as big as t?
False
Let d(g) = 2*g**2 + 92*g + 668. Let p be d(-37). Which is smaller: p or 49/29?
49/29
Let s(d) = d**2 - 6*d**2 - 3 - d**3 - 7*d**2 + 9*d + 3*d**2. Let w be s(-8). Is w greater than or equal to -136?
False
Let u(q) = -7*q**2 - 133*q - 3162. Let t be u(-23). Which is bigger: t or -11419/3?
t
Let y(p) = -7*p**3 + 19*p**2 + 6*p. Let q be y(3). Is q less than or equal to -17/98?
False
Let v be 4/(-1)*((-235)/(-10) - 23). Are -139/61 and v unequal?
True
Let x(p) = -p**2 + 173*p - 6839. Let b be x(69). Which is smaller: -15 or b?
-15
Let d = 17496 - 17495. Is -20/2029 not equal to d?
True
Let b = 47 + -47. Suppose 14*k + 62 + 36 = b. Does k = -5?
False
Let v = -251 - -433. Suppose -25 = -f + 4*z + 15, 5*f = 2*z + v. Let d = f + -52. Which is smaller: d or -29/2?
d
Let z be ((-4)/3)/(1 + 21). Let x = -0.02668 - 0.07332. Are x and z unequal?
True
Let u(j) = -35*j - 1 + 37 + 98*j. Let y be u(-4). Is y >= -217?
True
Suppose 2*l - 2*o + 164 = 0, l - 2*o = -0*l - 80. Let g be 15*((-453)/6)/(l/8). Let n = g + -108. Is 1 at least n?
True
Suppose 5*x + 54*g + 600 = 50*g, 0 = -2*g. Let j be x/(4 + -1) + (5 - 9). Which is bigger: -217/5 or j?
-217/5
Suppose -5*h = -3*o - 421, h + h + 2*o = 178. Suppose -h = -i - 109. Let t = -17 - i. Which is bigger: t or 2?
t
Let a be (-3)/9*-6 - 581/207. Let i = a + 16/23. Is -0.1 >= i?
True
Suppose 15*t - 189 = -6*t. Let o be 12/(-36) + 84/t. Which is greater: o or 10?
10
Suppose -z = -4 - 0, -2*i - 38 = -4*z. Let j = -8 - i. Let h be (-156)/65*((-33)/6 + 3). Which is greater: h or j?
h
Suppose 5*u - 34 = -a, 3*a + 5*u - 50 - 52 = 0. Let z be 83/861*2 - a/357. Is z less than 0?
False
Let n(v) = 68*v**3 - 2*v + 1. Let c be n(1). Suppose -329*t = -113*t - 14256. Is t at most as big as c?
True
Let s = 78773 - 78798. Let u = 0.2 + 3.8. Which is smaller: s or u?
s
Let j = -0.1381 + 0.1381. Let u = 25/9 - 641/234. Are u and j equal?
False
Let w = 5/202 - -6439/1010. Suppose 14*p + 24 = 94. Is p smaller than w?
True
Let b = 10/3 + -236/69. Let f(g) = -2*g**2 - 2*g + 17. Let x be f(2). Suppose 0 = 4*m - 6*m - x*l - 13, 4*m + 5*l + 11 = 0. Are b and m unequal?
True
Suppose -2*a = a. Let m(w) = w**3 + 6*w**2 - 9*w + 1. Let i be m(-7). Suppose 17 = 2*x + i. Is x at least a?
True
Let h = -1326 + 1334.17. Let z = -84.83 + 85. Let i = z - h. Which is smaller: i or 1?
i
Suppose 4*b - b = f + 155, -5*b - 5*f = -285. Let d = b + -74. Let h be -4 - (-47)/10 - 1/2. Which is bigger: d or h?
h
Suppose 8*f - 68 - 4 = 0. Suppose f = -21*n + 219. Is n bigger than 10?
False
Suppose 0 = 16*z - 20*z + 292. Let c be (-3)/(-10)*2 - z/5. Let x be c/4 - 12/24. Which is greater: -24/7 or x?
-24/7
Let n = 187/480 - -1/96. Let p be 1275/21 + 3 + (-38)/14. Let q = 60 - p. Are n and q non-equal?
True
Let r = -9291 - -9376. Which is smaller: r or 119?
r
Let h be 4/(-21)*(971/(-4) + 348/(-1392)). Which is smaller: 45 or h?
45
Let b = 5810/13 + -123412/299. Is 35 < b?
False
Let u be -1*(-2 + -15 - 3)