 <= h?
True
Let g be 8/40*(-2)/1. Let r = -0.09 + 14.09. Let c = 79 - r. Is c < g?
False
Let k = 395 - 395. Suppose k = 116*i - 124*i + 256. Which is greater: i or 95/3?
i
Let s(g) = 7*g - 65. Let z be s(4). Suppose -4*v + v = 4*a + 91, 3*v - 4*a + 131 = 0. Is v smaller than z?
False
Let d(k) = 6*k + 16 + k - k**3 + 6*k**2 + 7*k - 11*k. Let l be d(7). Which is bigger: l or -116/9?
l
Let d = -1031 - -978. Let m = 387.2 + -334. Let f = d + m. Is 3/5 greater than or equal to f?
True
Let q = 96629 - 96629.2. Let s = 19 + -33. Are s and q non-equal?
True
Let t(h) = -h**2 - 2*h + 18. Let c be t(-7). Let q be (-3)/1 - c/(51/54). Let w be (-2)/q + (-136)/(-120). Do 3/19 and w have the same value?
False
Let s(j) = j**2 + 262*j - 845. Let g be s(0). Are -845 and g unequal?
False
Let z be -1 + 184/484 + 3/1. Is z > 1?
True
Let x = 5770 - 5769.9481. Is x greater than or equal to 0.02?
True
Let w = -150 + 107. Let u(i) = -111*i + 605. Let c(a) = -55*a + 302. Let m(l) = -5*c(l) + 3*u(l). Let j be m(6). Is j less than or equal to w?
True
Let p = -3677348/6417 + -1460/713. Which is bigger: p or -574?
-574
Let g = 3 + -1. Suppose 6*b - b - 10 = -g*t, b = -5*t - 21. Let u be b/(-6)*(-1 + 4/(-8)). Which is smaller: u or 9/13?
9/13
Let k(b) = -b**3 - 156*b**2 - 616*b - 245. Let t be k(-152). Which is smaller: 964 or t?
964
Let p = 176 + -167. Suppose p = 3*u, -6*u + 11 = 4*f - 5*u. Let m = -0.3 - 1.7. Is m not equal to f?
True
Suppose -63*j = -84*j + 373 + 1832. Which is smaller: j or 112?
j
Let x = 5680/8493 - 6/2831. Let h = 3 - 2. Which is greater: x or h?
h
Let m be -24 - 76 - (-26)/(-2). Is -1464/13 greater than or equal to m?
True
Let o = 43.5 - 1.5. Let h = o + 24. Let v = -66 + h. Do 1/9 and v have the same value?
False
Let n = 31 + -120. Let s = n - -112. Let h = -22.69 + s. Is h < 1/4?
False
Let w = 1639 - 1638.98. Let b = -5627 - -17026/3. Let q = -48 + b. Does q = w?
False
Let t(v) be the first derivative of 7*v**2 + 20*v - 9. Let d be t(2). Which is smaller: d or 52?
d
Let p be (44/8)/(1/4). Suppose 352*i - 366*i = -322. Which is bigger: i or p?
i
Let h be 950 + -3 + 0/(-2). Let p = -6642/7 + h. Does -2 = p?
False
Suppose 2*m + 1114*h - 1116*h + 230 = 0, 0 = -4*m - 4*h - 468. Is -38 smaller than m?
False
Let k(d) = 2*d - 493. Let g be k(78). Is g greater than or equal to -338?
True
Suppose -71404 = 2*s - l, 0 = -5*s + s - l - 142796. Let n be 4114/s - 1/14. Which is smaller: -1 or n?
-1
Suppose -180 = -17*y + 7*y. Suppose -2*z + 11*z = -y*z. Do z and -11 have the same value?
False
Let a(p) be the second derivative of -p**4 - p + 3 + 1/2*p**3 - 13/2*p**2 - 1/20*p**5. Let o be a(-12). Is -49 greater than o?
False
Let x = -0.157 - -3.157. Which is smaller: x or 57/16?
x
Let s = 3.7 + 81.3. Let n = s - 84.776. Let f = 0.076 + n. Which is greater: 0.1 or f?
f
Let l = 625.7 + -625.6. Which is bigger: l or -1/5867?
l
Let s be -1 - (-5 + 3) - (1 - 2). Let f be ((-21)/(-14))/(s - (-327)/(-162)). Let j = f + 1213/15. Does j = -1?
False
Suppose 4*d - 4*k - 36 = 0, k + 32 = 4*d - 4*k. Suppose -i - 1 = 2*r, 3*i + 2*r - 4*r - d = 0. Is 29/11 < i?
True
Let a = 23893 - 23901. Which is bigger: a or 1198?
1198
Let k(n) be the third derivative of -n**4/12 + 11*n**3/2 - 50*n**2. Let y be k(15). Which is smaller: -5 or y?
-5
Suppose 409 = -3*s - 5*y, -2*s - 5*y + 118 = 394. Let r(m) = -5*m**3 - 41*m**2 + 8*m - 3. Let j be r(-8). Is j at least s?
True
Suppose 3*q - 888 = -3*a, 331*q - 1480 = -5*a + 336*q. Which is greater: a or 294?
a
Let z = 7258/2385 - -18/265. Let i be 4/14 - 1839/189. Let y = i + z. Which is bigger: 1/3 or y?
1/3
Let k be 34 + 3*(-10)/15 + -1. Let x = 35 + -5. Let r = k - x. Which is smaller: -2/65 or r?
-2/65
Suppose -40 - 8 = -16*u. Suppose -5 = 5*l - 4*x, 0*x = -3*l - x - u. Which is bigger: l or 2/67?
2/67
Suppose 6564*z - 6562*z = 24. Which is greater: z or -3.2?
z
Suppose 3*k - 6618 = -2*v, -4*k + 9*v = 12*v - 8822. Is k > 2210?
False
Let u(c) = c**3 + 6*c**2 + 3*c + 18. Let d be u(-6). Suppose d = -p - 3*h + 16, 0 = 3*p + 2*p + h - 10. Is 2/83 not equal to p?
True
Let o(k) be the first derivative of -13*k**3/3 - 7*k**2/2 - 4*k + 13. Let c be o(7). Let r be (4/c)/(-1*5/25). Which is smaller: r or 1?
r
Let s(i) = i - 14. Let d be s(14). Let x be (((-45)/20)/9)/((-16)/12). Is x greater than d?
True
Let d be (-262878)/(-23870) - 1*(2 - -9). Do d and -20 have the same value?
False
Let d be (6/(-100))/(217424/1070). Are 1 and d equal?
False
Let b(y) = 9*y**2 + 2*y + 1. Suppose -5*m = 2*v - 23, 3*v + 13 = 2*m - 0*m. Let k be b(v). Let q be 1/(k*-1)*-7. Is 0 less than or equal to q?
True
Let p(a) = -20*a - 1. Let u be p(-1). Suppose -v + 28 = 4*g, 8*v + 8 = 3*g + 22. Let r be v + u + (-25)/5. Is 19 less than or equal to r?
False
Let l(u) = -u**2 + 7*u + 6. Let h be l(8). Let j be (5 + h)*40/(-15). Let c be (-15)/186*j/5. Are c and -1 equal?
False
Let v(i) = -19*i**2 - 2*i - 2. Let x be (-552)/(-21) + (2 - 48/21). Let h = x - 27. Let o be v(h). Which is bigger: o or -17?
-17
Suppose 1527*a - 169848 = 1359*a. Is 1011 at most as big as a?
True
Let j = 0.6246 - 0.0246. Let p = 22.1 + -0.1. Let g = 25 - p. Are j and g nonequal?
True
Let a be ((-4)/(-2))/(-3 + 99/27). Suppose 4*d = -12, -5*j + 346 = -0*j + a*d. Which is greater: 68 or j?
j
Let v = 16429 - 12787. Which is smaller: 1/3 or v?
1/3
Let g = -1/1151 - 80559/12661. Suppose -i - 13 - 15 = -4*u, i = -5*u + 26. Suppose -u*y = -5*y + 7. Are g and y nonequal?
True
Let h = -3660 + 2730. Is -1 bigger than h?
True
Let x be (-156)/(-5) - ((-680)/255 + (-4)/3). Suppose 2*f - 26 = 44. Does f = x?
False
Let q = -37 + 24. Let d = 12.4 + 2.6. Let r = d + q. Is 1 equal to r?
False
Let p(g) = g**3 - 7*g**2 + 12*g + 4. Let u be p(3). Let x be u - (-6)/(-2) - 13. Which is bigger: -25/2 or x?
x
Suppose -56 = -24*n + 16*n. Suppose -4*j + 10*m = n*m - 9, 2*j = -m - 3. Which is smaller: 225 or j?
j
Let i(s) = -12*s - 6. Let d be i(-2). Suppose -4*w = -k + 103, k + d = -2*w - 29. Let x = 26 + w. Which is smaller: x or -4/27?
-4/27
Let f = 20.1398 - 0.1398. Is f bigger than 20?
False
Suppose -16*t + 10*t - 18 = 0. Let d(i) = 7*i + 21. Let y be d(t). Which is smaller: y or -75?
-75
Suppose -9*z = 1130 - 6710. Suppose -z = -17*t - 3*t. Which is smaller: 33 or t?
t
Let r = 92.7 - 97.7. Suppose 20 = 4*a - 16. Let k = -9 + a. Is r at least as big as k?
False
Let l = 21 + -21.46. Let d = 2.05 + -2.11. Let q = d - l. Is q at most 2?
True
Let l be (-44)/22*(7 - 1). Let v be 6 - (-197)/l - -6. Is -3 at most v?
False
Let t(z) = 2*z**3 + 6*z**2 - 13*z + 11. Let b be t(-6). Let d = -113 - b. Is 20 > d?
True
Let w = -6990 + 6990.065. Is -2 equal to w?
False
Suppose -5364*s + 14 = -5362*s. Is 195 less than or equal to s?
False
Let x be 1*(-82)/(-6)*-1. Let m be (892/(-30))/2 - 23*(-50)/(-8625). Is m greater than x?
False
Let y(d) = -50*d - 55. Let k be y(-11). Let u = -488 + k. Which is smaller: u or 17?
u
Let j(a) = a**2 - 1. Let y(f) = -5*f**2 + 8*f + 27. Let t(r) = 4*j(r) + y(r). Let z be t(10). Let k be (6/(3 - 4))/(z/2). Which is smaller: k or -2?
k
Let y(t) = 4*t + 36. Let n be y(-9). Let g be (n - 1/34)*(-2)/(-17). Is g >= 0?
False
Let q(b) = 871 + 10*b - 1718 + 897. Suppose 3*n + 20 = -n. Let u be q(n). Which is smaller: -6/29 or u?
-6/29
Let t be (((-3)/(-3))/(-6))/((13596/54)/11). Which is smaller: -0.1 or t?
-0.1
Suppose 20*h - 16*h = 72. Suppose -h*a + 11 + 7 = 0. Which is bigger: 143 or a?
143
Let j be (37 - 15)*(1 - 5). Let z = -90 - j. Let h be 12/36 - z/(-42). Is h < 0.012?
False
Let n = -31 + 24. Let l = 7.7 + n. Let s = 1.3 - l. Which is smaller: 2/3 or s?
s
Let l be ((-90)/(-21))/(10/910). Let k be (-4 + 36/10)/((-54)/l). Let u be 1*(1 - 3) + 6. Are u and k equal?
False
Let k = 231 - 229.6. Let p = 0 + -0.1. Is k smaller than p?
False
Let v = -5956576/645 - -9235. Suppose -2*m - 14 = m - 17. Which is smaller: m or v?
v
Let a be (-3)/(-18*(-4)/16 - 3). Let l be -4 - (1*a + (-6 - -11)). Let k be 12*2*(-2)/6. Is k equal to l?
False
Let k = 6.1531 + -0.3531. Are k and -2/173 nonequal?
True
Let x = -187/2291 + 2/29. Let y = 3.72971 + -0.72971. Which is greater: y or x?
y
Suppose -u + 18 = -3*y, -3*y + 5*u = 12 + 6. Let b be (y + 10)*(-1)/34. Let z(j) = -j**3 - 2*j**2 + 4*j + 4. Let f be z(-3). Which is bigger: f or b?