qual to g?
False
Let q = 0.4 + -0.5. Let l be (-1)/((-5 + 7)/(-66 - 0)). Which is bigger: q or l?
l
Let p(j) = 35*j**3 + 2*j**2 - 3*j + 2. Let n be p(1). Let z = n - 28. Which is smaller: z or 11?
z
Suppose 2*s - 2 = 2*i, -s - i - 3 = -3*s. Let d = -45/41 + 979/369. Which is smaller: s or d?
d
Let l = 10.058 - -0.942. Which is bigger: l or 2/7?
l
Suppose -3*c + 5*c = 544. Let l = c - 823/3. Suppose 0 = -t - 0*t - 2. Which is greater: t or l?
t
Let m = 4285.17 + -4320. Let u = -35 - m. Which is smaller: -1 or u?
-1
Suppose 8*h - 2640 = -2*h. Let j be (-2)/(-3)*90/h. Is 1 at least j?
True
Let i be (-44)/110 - (0 - 2/5). Let b(k) = -5*k**2 + 6*k. Let j be b(5). Let g be -1 + 2 + j/65. Is g less than or equal to i?
True
Let y(s) = -s**2 - 16*s - 16. Let l be 72/(-24) - (1 + 11). Let h be y(l). Is 5 at least as big as h?
True
Let c = -0.165 - -0.095. Are 0.07 and c nonequal?
True
Let i = -9.1 - -6.1. Which is bigger: i or 0?
0
Let u be (-11 + 4)*(-1 - -2). Let n = -95/13 - u. Suppose 57 = -2*v + 55. Is v at least as big as n?
False
Let a(l) = -11*l**3 - l**2. Let c be a(-1). Let b be -6 + 21 - (-4 + (10 - 2)). Which is smaller: b or c?
c
Let f = 994 - 697. Is 298 at most f?
False
Let d = 52 + -56. Let q be d/(-14)*(-4)/(-20). Let y be (1 + -1)*(2 - 1). Is q at least as big as y?
True
Let n = 4.235 - 0.235. Which is greater: n or -0.6?
n
Suppose -2*z = r + 3, -z = -6*z + r - 18. Let h be (0 + -1)*(2 + -3) - 3. Which is bigger: h or z?
h
Let a be 5 - ((-120)/80)/((-3)/2). Let x(i) = -i**2 + 4*i - 3. Let u be x(3). Does a = u?
False
Suppose 0 = -5*g - 2*v - 0*v - 11, 2*g - 3*v - 7 = 0. Let k = -769/16 + 48. Let p = k - 7/16. Which is greater: p or g?
p
Let l be (-12)/(-15) + (-23768)/60. Let n = l - -390. Which is smaller: n or -4?
n
Let k(p) = -13*p**2 - 2*p - 1. Let o = -14 + 13. Let h be k(o). Let n be (h/10)/(-3 + 4). Is -1 equal to n?
False
Let o = -123 - -704. Let p = -14521/25 + o. Are -1 and p equal?
False
Let m be (-2 - -2 - 6)*-6. Suppose -3*g - m = -0*g. Let y be (g/8)/((-6)/4). Which is smaller: y or 2/33?
2/33
Let f(y) = -3*y + 3*y - 3*y + 1. Let z be f(-1). Let x be (-7)/21 + z/3. Do x and 1/4 have the same value?
False
Let x(m) be the third derivative of -m**5/60 - m**4/4 - m**3/3 - 9*m**2. Let l be x(-7). Suppose 8 - 17 = b. Is l >= b?
True
Let j(f) = -f**3 + 3*f**2 - 2. Let c be (-18)/(-4)*(-4)/(-6). Let d be j(c). Is -2 smaller than d?
False
Let n = 327 - 384. Is -59 <= n?
True
Let m be (-6)/21 + 13/((-7462)/2188). Which is smaller: -5 or m?
-5
Let p(z) be the second derivative of z**4/12 + 5*z**3/6 + 7*z**2/2 + 5*z. Let s be p(-5). Let c = s - -2. Are 8 and c equal?
False
Let m be 4 + (-3 - (-3 + 2)). Let u(a) = 3 - 9 - m + a - 6. Let l be u(5). Is l >= -8?
False
Let h = 39 - 30. Let b be ((-2)/6)/(h/(-297)). Which is smaller: 31/3 or b?
31/3
Let q = -234 + 442. Which is greater: q or 207?
q
Let g be ((-22)/264)/((-9)/(-108)). Let j be 2/45 - (1 + -1). Is j != g?
True
Suppose 3*w - 4 = -y + 8, -4*y = 12. Suppose -w*q - 12 = -q. Let s be (-39)/(-45) + 2/q. Is s less than 0?
False
Let m = -187/1339 + 5/206. Suppose -5*w - 1 = -6. Is w at least as big as m?
True
Let x = -25.2 - 7.8. Let p = x + 18. Let y = -15 - p. Which is bigger: 1/31 or y?
1/31
Suppose 23*f - 595 = 28*f + 3*k, 489 = -4*f - 5*k. Is f bigger than -115?
False
Let v be ((-16)/10)/(2/(-15)). Let u be (2/v)/((-176)/(-66)). Which is bigger: u or 0?
u
Let a be 0/((-2)/6*3). Suppose -3*z - 13 + 25 = a. Let o be ((-5)/(-2) + -1)*2. Is z <= o?
False
Let d = 4166 + -8165/2. Is 85 > d?
True
Let z be 1/(-4) - (-237)/1044. Suppose -564*h = -556*h. Which is greater: z or h?
h
Let a(s) = -s**2 + 10*s - 6. Let g be a(7). Suppose g*p = 5*p - 670. Which is bigger: 0 or p?
0
Let m(n) = -n**2 + 7*n - 2. Let c be m(4). Suppose v + 4*v - 5*d - 5 = 0, -4*v + 2*d = -c. Suppose -5 = -2*h + 5*f - 14, 0 = -2*f + 6. Which is greater: v or h?
v
Suppose 6*c + 5*u = 3*c + 545, 3*c - 538 = 2*u. Is 182 greater than or equal to c?
True
Let n(d) = -d**2 + d. Let h(c) = -2*c**2 + 4*c - 1. Let i(f) = -f + 5. Let x be i(6). Let a(k) = x*h(k) + n(k). Let j be a(3). Are j and 1 unequal?
False
Let x = -351 - -356. Which is greater: x or 7?
7
Let i = -5.95 - 0.05. Let g = i - -5.6. Let p = 1 + -1. Does p = g?
False
Suppose -5*j + 11 = -4. Suppose -22 - 2 = -4*z - 4*c, -4*c = j*z - 13. Let b = z + -11. Which is bigger: -1/6 or b?
b
Let n be -21 - 12/(0 + 4). Let t be 14 + (0 - 0/2). Let m = n + t. Which is bigger: m or -11?
m
Let s = -4709.04 - -4630. Let b = s - -79. Is 0 greater than or equal to b?
True
Suppose q - 9 = 11. Suppose -5*s + 58 - 8 = 0. Let z = s - q. Is z smaller than -0.1?
True
Let a be 50/6 + 2/(-6). Suppose -5*t = -4*t - a. Suppose 2*f + 3*x = t + 6, -5*f - 5*x = -25. Is f smaller than 1/5?
False
Let r(s) = s**3 - 7*s**2 + 19. Let b be r(6). Let n = b + 1. Is -17 smaller than n?
True
Let p(l) = l**3 + 6*l**2 - 6*l + 7. Suppose -4*c = -3*c + 7. Let v be p(c). Let h be (1/(-5))/((-68)/(-85)). Which is smaller: v or h?
h
Let k = -9.3 - -11. Let y = k + -31.7. Which is smaller: y or -1?
y
Let a(k) = -1 + 3*k - 1 + 0*k. Let s be a(-2). Let z = 8 + s. Is z less than -1?
False
Let b be 25458/(-90) + (-18)/135. Which is greater: -286 or b?
b
Suppose 6*v + u - 165 = 4*v, 0 = -v - u + 81. Which is bigger: v or 86?
86
Let a = -367.35 - -71.46. Let j = 298 + a. Let z = j + -0.11. Is z > 2?
False
Let n be ((-80)/(-41) + -2)*252/2142. Which is smaller: 0 or n?
n
Let c(a) = 30*a + 128. Let p be c(-13). Which is greater: p or -263?
p
Suppose 3*o - 2*g + 99 - 20 = 0, -4 = g. Are 0.1 and o nonequal?
True
Suppose -5*p + 0*b = -2*b - 143, -4*p + 2*b = -116. Is p < 198/7?
True
Let y(x) = x**2 + 9*x + 4. Let l be y(-9). Suppose -7*z + 8*z - 11 = 0. Let s(j) = -j**3 + 10*j**2 + 11*j + 2. Let h be s(z). Is l >= h?
True
Let a = -12.686 - -0.086. Let s = a - 3.4. Which is smaller: -1/2 or s?
s
Let x = 15.87 + -0.37. Let g = 1.5 - x. Let c = g + 11. Which is smaller: c or 0?
c
Let b(w) = -w**3 - 8*w**2 + 6*w + 5. Let o be b(-9). Suppose 6 = 2*g - o. Is g bigger than 19?
False
Suppose 2*m - 3*p - 31 = 0, 0*p - 47 = -4*m + p. Suppose -31 = -m*q + 35. Let j(c) = c + 3. Let k be j(3). Is q at most as big as k?
True
Let a(w) = 10*w - 62. Let y be a(6). Let p be ((8/(-15))/(y/(-3)))/(-18). Is p at most 1?
True
Let i = 72 - 67. Let t be (3 - -2)/i*-1. Which is smaller: 0.72 or t?
t
Let y be (-4)/1 - (-14)/2. Suppose -y*q + 2*q = 3. Is q less than 1?
True
Suppose 5 = -4*q - 2*m - 37, -5*q - 48 = 4*m. Which is smaller: -10 or q?
q
Let b = -18 - -29. Let v = b + -11.1. Which is smaller: v or -2/5?
-2/5
Suppose 0 = -0*g - 4*g - 60. Let c = 21 + g. Let h be -4*(42/8)/(-3). Is h > c?
True
Let y = -86 - -27. Let v be 28/294 + y/(-42). Suppose 4 = 3*p + 2*m + 14, -5*p - 20 = 4*m. Is p less than v?
True
Let b = -0.215 - 42.385. Let o = -43 - b. Let i = -0.17 + 0.16. Is o <= i?
True
Let k = 95 - 97. Let g be (k + 2 - (-20)/(-10)) + 0. Is -2/3 not equal to g?
True
Let c = 14 + 6. Let u(y) = c - 27 - 6*y + 14. Let z be u(2). Is z greater than or equal to -3?
False
Let n(k) = k + 18. Let d be n(-16). Suppose 195 = 5*b + 3*m, m - d*m = 3*b - 121. Let p be -3 - (b/(-9) - -2). Which is smaller: p or 9?
p
Let n be (8/(-52))/(3/6). Let t be 6/(-18) - (1/(-3) + 0). Which is smaller: n or t?
n
Suppose 6*r + 6*r + 84 = 0. Let o be 58/(-70) - 3/r. Is -0.004 not equal to o?
True
Let x = -77 + 960. Let g = -13222334 + 621491201/47. Let t = g - x. Which is greater: t or -1?
t
Let b = 838/161 - -406/23. Is b greater than or equal to 24?
False
Suppose 27*k = 14*k - 91. Which is smaller: -34/5 or k?
k
Let n be 1421/(-35) + 64/40. Is -39 at most n?
True
Suppose -15*w = -9*w + 18. Is -22/7 less than w?
True
Suppose 9 = 8*y + y. Let w be (3/2)/(15/6). Which is bigger: w or y?
y
Let y = 52 - 25. Suppose 3*g + 13 = l, 3*l - 3*g - y + 6 = 0. Let z = 1 + l. Which is smaller: 4 or z?
4
Let z = 125 - 140. Which is smaller: -31/2 or z?
-31/2
Let b = 23 + -30.2. Let m = -8 - b. Which is bigger: 2/11 or m?
2/11
Let r = 0.43 + -0.4. Let h = -62 - -68. Is r at most as big as h?
True
Let l = 64 - 63. Suppose -o - q - 13 = 0, 0*o = 3*o - q + 35. Let z be (-8)/o*(-3)/(-26). Which is smaller: l or z?
z
Let a be ((-501)/246 + 2)*(-9 + 7). Is a less than or equal to 