(-16)/((2 - -1) + -5). Is p at most as big as g?
False
Let l(h) = 3*h**2 - 30*h + 2. Let a be l(10). Let t(f) = -f**3 - 10*f**2 + 13*f + 26. Let d be t(-11). Which is greater: d or a?
d
Let h = 428 + -428. Are h and 1/75 nonequal?
True
Let w = -221 - -220.4. Which is smaller: w or -2/13?
w
Let d = 13 + -10. Let h be d + (1 - 1) - 1. Suppose -h*k + 3 = -0*k + f, -k = -3*f + 16. Which is smaller: -11/5 or k?
-11/5
Let x be (-912)/7 - 46/(-161). Which is smaller: x or -123?
x
Let x = 531/4 + -132. Let f = 942/35 - 136/5. Which is bigger: f or x?
x
Suppose 5*a - 2*a - 5*d - 32 = 0, -5*a - 4*d = -4. Let g(p) = -3*p**2 + 9*p + 12. Let o be g(4). Suppose 4 + o = -a*v. Which is greater: v or -2/7?
-2/7
Let r = -301 - -302. Which is smaller: 2/123 or r?
2/123
Let j(z) = -6*z - 17. Let h(d) = -7*d - 16. Let g(c) = -4*h(c) + 5*j(c). Let s be g(-11). Which is greater: s or -2/13?
s
Let n = 3 - -2. Let r = 12 - n. Let u = 22/3 - r. Is 0.1 at most as big as u?
True
Let l = 399/10 - 81/2. Let d(u) = -2*u**2 - 9*u - 6. Let s be d(-3). Suppose -26 = -5*q - 2*y, -s*q - y + 15 = -0*q. Which is greater: q or l?
q
Let v be (-520)/440 + (-4)/(-22). Is v bigger than -2/1787?
False
Let n = -523029367/220 - -2377398. Let s = n - -92/11. Is s smaller than -1?
False
Let s be 54 + 0 - 23/(299/(-26)). Let j(a) = -a**3 - a**2 - a + 94. Let u be j(0). Let r be 33/(-77) + u/s. Are 0 and r non-equal?
True
Let y = -203854/33 - -6180. Let g be 56/44 + 0 + 2. Let k = y - g. Which is bigger: -1 or k?
k
Let w(x) = -x**3 - 13*x**2 + 30*x - 1. Let h be w(-15). Is h less than -1/293?
True
Let g be 114/36 - 1/6. Let j(u) = -u**3 - 18*u**2 - 18*u - 13. Let h be j(-17). Suppose 2*q + h = 4*r + 8, -g*r + 7 = -4*q. Is r smaller than -1?
True
Let q(s) = 20*s + 280. Let k(x) = 3*x + 43. Let n(t) = 32*k(t) - 5*q(t). Let w be n(-17). Do w and 44 have different values?
False
Let y be (-67)/(-332) + 2/(-8). Let z = -2/11463 + -11455/45852. Which is smaller: y or z?
z
Let f = 0.105 + -0.105. Let g = 424 - 2959/7. Is f at most as big as g?
True
Let h be 2/(-18) + (-10192086)/14418. Let w = 707 + h. Is w less than or equal to -1?
False
Let d(t) = -6*t + 4. Let h be d(2). Let p be h/(-14) - 176/112. Which is bigger: 1/40 or p?
1/40
Let f be 10*6/(-52) + 4/26. Which is bigger: 2/399 or f?
2/399
Suppose c + 4*c + 90 = 0. Suppose 88*k + 1986 = 322 + 80. Is c greater than k?
False
Suppose -25*p - 17784 = -6*p. Are p and -937 nonequal?
True
Let d be ((-10)/(-4) + -3)/((-4)/(-24)). Let x be (d/6)/((-6)/12). Which is smaller: x or -2/267?
-2/267
Let r be 22/26 + (-8)/(-52). Suppose 3*x - r = 2*x. Which is smaller: 2/11 or x?
2/11
Let b be 2/10 + 44/(-20). Suppose 4*m - 14 - 14 = 0. Suppose -5*a - m = -5*k + 3*k, -3 = 5*a + 2*k. Is a < b?
False
Let o be 168/120 + 2 + 12/(-5). Is 1/45 at least o?
False
Let n be (-65)/20 + 1 - -2. Which is bigger: 261 or n?
261
Suppose -3*z - 177 = -504. Suppose -z + 18 = 7*p. Is p greater than -14?
True
Let p = -347 - -353. Which is bigger: 0.04 or p?
p
Let v be (-4)/(-6)*15/2. Let k be 2/(-13) + (-54)/(-351). Suppose v*w - 5 = k, 0 = z + 4*w - 9*w + 4. Which is smaller: z or -2/21?
-2/21
Let o = 180 - 183. Which is greater: 0.18 or o?
0.18
Let m(t) = -t**3 - 9*t**2 - 9*t - 7. Let x be m(-8). Let w be (-5)/10*(21 + x). Let g = 11 + w. Is 1/14 equal to g?
False
Let l be (4/6)/(73/(-3942)). Is l at most 0.1?
True
Let k be 3*(42/(-9) + 5)*-30. Is -30 <= k?
True
Let b be (1/2)/((-25)/50). Which is greater: -3 or b?
b
Let z = -31 - -23. Let r be 6/z*(-120)/(-36). Which is bigger: 2/5 or r?
2/5
Suppose 2*t + 1 = 3*t. Let f be (-13 - -6)/(t/25). Let w = f - -1573/9. Is 1 at least w?
True
Let r = -20.2 - -50.3. Let c = 23 - r. Let f = -7 - c. Is -1 less than f?
True
Let t(i) = -i**2 + 11*i + 3. Let z be 6 - (2 + (-3 - -2)). Suppose 6 = 4*c - 5*o - 18, -z*o + 20 = 0. Let g be t(c). Are g and 4 equal?
False
Let c = 201 - 317. Let k = c + 113.09. Let f = k + -0.09. Which is smaller: f or 1/5?
f
Let i(x) = x**3 - 4*x**2 + 4*x - 1. Let r be (1/1)/(2/6). Let b be i(r). Suppose j - 4*k - 7 = k, 4*k + 8 = b*j. Which is smaller: 0 or j?
0
Let x(m) = -22*m + 5. Let y be x(-3). Let t = -357/5 + y. Are -10 and t nonequal?
True
Let l = 130 - 95. Suppose -4*d + 5 + l = 0. Let u be 10 + (0 - -2) + -1. Is d less than u?
True
Let x = -2090 + 8359/4. Is x < 0.88?
True
Let y = -23/12 - -17/4. Let t be ((5 - 2) + -2)*(-3)/(-3). Which is bigger: t or y?
y
Let u = 345 + -23. Suppose -1614 = -17*g - u. Is 77 greater than g?
True
Let m be (-258)/(-24) - (-1)/4. Let p(j) = -j**3 - 4*j**2 - 4*j - 4. Let v be p(-4). Which is greater: v or m?
v
Let f be 177/15 - 2/(-10). Suppose s + g = 0, 0*s + s = 3*g + f. Let y be 1/(-2)*-12 - 4. Is y >= s?
False
Let a = -0.258 - -0.158. Let t be 3/9 + (-124)/12. Let x be (-4)/t*(0 + 1). Is x bigger than a?
True
Let z = -11.51 + 10.31. Let p = 3 - 4. Let h = z - p. Which is smaller: h or 9?
h
Let o(x) = -15*x - 40. Let b be o(-5). Is 71/2 smaller than b?
False
Let l be (-204)/(-54) + (-2)/(-9). Let w(g) = -l*g**2 + 5*g**3 + g - 7*g**3 + g**3 - 2 + 2*g. Let i be w(-5). Is 6 bigger than i?
False
Let p be (-88)/(-12)*(-6)/(-4). Let w = -155/14 + p. Is w at least as big as -1?
True
Let f be -2 - (3 + 15)/(-3). Suppose -10 = k + 2*d, -5*k = f*d + d + 30. Which is greater: k or -9/8?
-9/8
Suppose -7*w = -33 - 58. Are 9 and w equal?
False
Suppose -3*n + 18 = 2*g + 2*n, -3*g + 2*n - 11 = 0. Let h = 72026138/29 - 2483996. Let u = -336 - h. Which is smaller: g or u?
g
Let p = -619/2 - -316. Is 2 < p?
True
Let l = 0.33 + -0.03. Let t be 1/((-1)/(4 + -22)). Let y be (t/96)/((-3)/(-4)). Which is smaller: y or l?
y
Let g(u) = -u - 37. Let b be g(-21). Let o be 36/9 + 66/b. Is -0.3 smaller than o?
True
Let n(y) = -y**2 - 2*y - 6. Let x be n(-4). Let q(h) = 15*h - 9. Let a be q(10). Let l = -156 + a. Which is smaller: l or x?
l
Let t(k) = -k**2 - 16*k - 62. Let v be t(-6). Which is bigger: 0.79 or v?
0.79
Suppose 5*t = -g + 2*t + 13, 3*g + 3 = 5*t. Suppose -4*s + 20 = g*w, -s + 2*w = -4*s + 17. Is 11/2 bigger than s?
False
Let k = 323 + -364. Is k less than -41?
False
Let r be 3/((-18)/14) - -2. Let h = 2.784 + -19.784. Which is bigger: r or h?
r
Let g = -27438/35 + 784. Let r be (-87)/(-315) + (-5 - -5). Let d = r + g. Which is smaller: -2/25 or d?
-2/25
Let y(t) = -t + 1. Let z be y(-2). Suppose -k + z*k = -2, 53 = -3*j - 2*k. Let w = -18 - j. Is w smaller than -6/5?
False
Let g = 28 - 8. Let m = g + -31. Let n = 47/3 + -15. Is n less than m?
False
Suppose 10*v + 1807 = -673. Is -247 > v?
True
Let s = 3.9 - 2. Let w = -0.9 + s. Is 1/10 > w?
False
Let y = -69 - -141. Suppose -4*s + a = -281, 3*s + s + 5*a = 299. Is s less than y?
True
Let j = 2830/7 + -2726/7. Is 16 greater than or equal to j?
True
Let w(b) = 2*b**3 + 5*b**2 + 19*b + 10. Let s(x) = 3*x**3 + 11*x**2 + 38*x + 20. Let v(h) = 3*s(h) - 5*w(h). Let a be v(10). Is -1 at least as big as a?
False
Let y = -5819 + 5804. Suppose 0 = -5*z + 2*s + 3*s - 70, 0 = -z - 3*s - 14. Is y < z?
True
Let n be (-3)/(2 - (-39)/(-15)). Suppose 29 = n*w - 121. Suppose -w = 3*f - 3. Is -9 less than f?
False
Suppose -2*b - 3*b = 0. Suppose -4*w - 2*v + 3*v + 12 = b, -2*w - 16 = 5*v. Suppose 2*k = o, -5*o + 7 + 1 = -w*k. Which is smaller: 2/15 or k?
2/15
Let r(o) = o + 2. Let s be r(3). Suppose 25 = s*f - 5*d, 0 = -5*f - 0*f - d + 49. Suppose -4*u + n = f, 5*n - 33 + 7 = u. Which is smaller: -12/11 or u?
-12/11
Suppose -3*o + 0*o = u + 6, 2*o = -4. Let f = -27/32 + 385/608. Is u less than f?
False
Let c(p) = -p**3 + 5*p**2 - 7*p + 12. Let w be c(3). Suppose -3 = w*l + 6. Let f = -2 + 2. Which is greater: f or l?
f
Let l = 12.5 + -13.29. Let j = l - -0.89. Are j and 2 nonequal?
True
Let z = -49/171 + 4/9. Suppose 2*p + 6 = 0, a + 4*p + 1 = -11. Which is smaller: z or a?
a
Let x = -476 + -12. Which is greater: x or -487?
-487
Let s = -1252 - -1251.92. Let t = -56 + 166/3. Which is bigger: s or t?
s
Suppose 5*x = -25, -3*l + 6 = -2*x - 1. Let h be l + -3 + 40/12. Let v = 2 + -1.8. Which is smaller: h or v?
h
Let d be (-2 - (-5)/2)/(-2). Let z be (-2)/8 + (4 - (-10939)/(-68)). Let c = z + 157. Does c = d?
False
Let c = 13 + 5. Suppose -2*i + 3*i = -3*o + 49, -8 = 4*i. Are o and c nonequal?
True
Let d = -949/2 + 475. Which is smaller: 437 or d?
d
Let 