
Let r = -77 + 87. Are r and -2 equal?
False
Suppose -5*u - 106 = h - 335, -3*h + 147 = 3*u. Let y be -2*(u/21 - 2). Is 2 bigger than y?
True
Let t = -4.3 - 3.4. Let o = -0.3 - -8.3. Let l = t + o. Is l > 1?
False
Let h(q) = -2*q - 32. Let g be h(-17). Is g less than or equal to 6/11?
False
Let r be ((-1)/(-2))/((-4)/(-2)). Let o(q) = q**3 - 5*q**2 + 4*q + 1. Let v be o(3). Let p = v + 5. Which is bigger: p or r?
r
Let l be (-12)/(-10)*(-80)/32. Which is smaller: l or -0.4?
l
Let u = 0.07 - 0.03. Let c = 6.96 + u. Let j = c - 9. Which is smaller: j or 2/3?
j
Let n(z) = -4*z**2 - 13*z. Let m be n(-3). Which is smaller: 48/13 or m?
m
Let r be (-2)/(-3)*6/(-1). Let x be r/24*20/(-3). Which is bigger: 2 or x?
2
Let f = 23/6 + -4/3. Is f != 2?
True
Let p be (-4)/(-22) + 2/(-11). Let s = p - 1. Which is bigger: 1 or s?
1
Let c = 12 + -12.02. Let t = c + -2.98. Let w be (-10)/24 - (-2)/(-8). Do w and t have the same value?
False
Let a = -26/3 + 9. Let r = -13 - -15. Is a less than or equal to r?
True
Suppose -k - 32 = 5*l, 3*l + k + 28 = -4*k. Is -8 less than l?
True
Let o be 5/(1 + 4) - 76/70. Which is smaller: -1 or o?
-1
Suppose 2*f - 8 = -2*f. Suppose 0*o - 3*o + f*t - 7 = 0, 3*o + 23 = -2*t. Let x be (-22)/(-30) + 2/o. Is x smaller than -1?
False
Let i = 181 + -186. Are -5 and i equal?
True
Let z be (-1 - 0) + 12/9. Let l be (-2)/11 + 16/(-154). Which is bigger: l or z?
z
Suppose 4*o = 20 - 0, o = 5*q + 10. Which is smaller: q or 2/27?
q
Let n = 0 + 2. Suppose -15 = 5*o + 2*r, -n*o = 3*r + 2 + 4. Is -3 >= o?
True
Let x(s) = s + 8. Let i be x(-7). Let c be (-20)/(-6)*(-2)/(-12). Let y = 73/99 - c. Is y at least i?
False
Let w = -258/35 + 46/7. Do -1 and w have the same value?
False
Let f = -12/5 + 16/5. Which is smaller: f or -1/3?
-1/3
Let j(y) = -6*y - 16*y - 7*y - 4*y - 2. Let f be j(-2). Let m = 190/3 - f. Do m and 2/5 have different values?
True
Let v = -9 - -14.3. Let h = v + -6. Is h smaller than -1/4?
True
Suppose -g + 3*g = -8. Is -6 != g?
True
Let j = 47/15 - 14/5. Is 0 >= j?
False
Let n(m) = -m**2 + 5*m + 8. Let g be n(6). Suppose z - g*z = -1. Let d = -74/7 + 76/7. Which is smaller: z or d?
d
Suppose 5*d - 6*d - 8 = 0. Let f(g) = g**2 + 7*g - 7. Let s be f(d). Which is smaller: s or -1/3?
-1/3
Let b = -361 + 3959/11. Let u = b - -91/33. Do 2 and u have different values?
True
Let l = -40 - -39.8. Are -6 and l unequal?
True
Suppose 2*i + 3*i - 3*c + 3 = 0, -5*i + 5*c = 5. Which is smaller: 3/23 or i?
i
Suppose 30 = 3*g + 3*g. Is g smaller than 4?
False
Let v be (1/(-13))/(2 + 0 + -1). Which is greater: -4 or v?
v
Let n = 54 + -59.1. Let g = -10.3 - n. Let y = 5 + g. Which is smaller: -1/4 or y?
-1/4
Suppose 0 = y + 4 - 15. Is 15 smaller than y?
False
Let h = 16 - 9. Suppose h = -4*p - 1. Let q be p + (-1)/4*-15. Are 1 and q nonequal?
True
Let d = 67 + -265/4. Let n = -2.03 - -2. Let a = n + -0.07. Which is smaller: d or a?
a
Let y = 12 - 13. Which is smaller: -4/11 or y?
y
Suppose 0 = -3*g + 3. Let j = 381195/91 - 4189. Let n = j + 46/455. Is n equal to g?
False
Suppose 11*l - 7*l = -4. Let s = 141581/31710 - 7/906. Let w = s - 34/7. Which is smaller: w or l?
l
Let k = 1 + -1. Suppose k*o + 6 = 3*o. Suppose -2*d = -o - 2. Which is greater: d or 1?
d
Let q = 0.05 - 11.05. Let y = q - -8. Let o = 0.2 - 1.2. Is y < o?
True
Let t be 1*(-1 - (11 - -3)). Let u be (12/t)/(-7 - -5). Which is smaller: 1 or u?
u
Let t = 43555/61 - 714. Let a = t + -307/122. Is -2 at most as big as a?
False
Let q(g) = g. Let y be q(-2). Let b be 4/4 + (1 - y). Let u = 7 + -3. Is b at least as big as u?
True
Let b = 6 - 6. Suppose b = 3*l + l - 32. Let i be (12/(-165))/(l/(-20)). Is i bigger than 1?
False
Let i = -0.14 - 0.03. Let m = 0.83 - i. Is m greater than -2?
True
Let r = -42 - -167/4. Is -1 equal to r?
False
Let t = -5 - -4.2. Let m = t + 0.7. Which is smaller: m or 6?
m
Let u be 19*1/(-16) + 1. Which is smaller: u or 1?
u
Let t = 125608/79 - 1590. Is t > 1?
False
Suppose -p + 2*p = -5. Let w be (-3)/p + (-24)/(-10). Which is smaller: -1 or w?
-1
Let q = -0.91 - -1.91. Is -0.047 > q?
False
Let u be -1 + 2 + 2 + 0. Let m = -3 + u. Let k be (-2)/(-3) + (-39)/72. Is k at most as big as m?
False
Let o = 7058/33 + -214. Is -1 bigger than o?
False
Suppose -b = b - 6. Let c be -1*(0 - 0/1). Suppose -4*d = -5*l - 37, -l = -c*l + 5. Is d > b?
False
Let j be 2/(-11) - (-230)/55. Let h(p) = -p**2 - p + 9. Let w be h(j). Which is smaller: w or -10?
w
Let t be (0 + -2)*(-28)/(-8). Let w(a) = a**3 - 3*a**2 - 2*a - 1. Let u(d) = -d**2 + 7*d + 3. Let s be u(7). Let f be w(s). Is t at most as big as f?
True
Let l(v) = v**3 + 5*v**2 - 7*v - 2. Let k be l(-6). Suppose 5*b - 9 = k*b. Do 10 and b have the same value?
False
Let q = -0.9 + 1. Let k = 0.1 + q. Let n = 0 + k. Which is bigger: -1/4 or n?
n
Let u = -4 + 3. Let y(j) = -5*j**2. Let i be y(u). Is -7 < i?
True
Let p = 24 + -17. Let n = p + -13. Which is greater: -2 or n?
-2
Let s = 2 - 1. Let v = 63 + -249/4. Is v > s?
False
Suppose 3*d - f - 6 = 0, 5*d - 10 = -0*f - 3*f. Let y(z) = -z**3 + 2*z**2 + 3*z + 2. Let o = -2 - -5. Let i be y(o). Does i = d?
True
Let p = -5 - -7. Suppose -y = -3*y. Suppose -2*g + 4 = -y. Are p and g nonequal?
False
Let t(f) = -f + 45. Let w be t(27). Is 3 equal to w?
False
Let k(t) = 3*t**2 + 2*t - 1. Let r be k(-3). Let d be (-2)/(-4) + (-185)/(-10). Which is smaller: r or d?
d
Let w = -2 + 3. Does 1 = w?
True
Suppose m + 1 = -0. Let d(g) = g**2 - 2*g + 1. Let b(f) = f**2 - 2*f. Let i(y) = -3*b(y) + 2*d(y). Let n be i(3). Is n smaller than m?
False
Suppose 0 = -2*t + t - 8. Which is greater: -1 or t?
-1
Suppose 0 = g + 2*g - 3. Is g bigger than 0?
True
Let h = 34.9 + -35. Is -3/11 bigger than h?
False
Let x = -8 - -9. Suppose -3*j + n = -n + 19, 2*j + n + 1 = 0. Which is smaller: x or j?
j
Suppose 4*l - 5 = 19. Which is bigger: l or 7?
7
Let q be (-25)/(-27) - (-13)/(-13). Let s be 4/(-14) + 2/7. Which is smaller: q or s?
q
Let c = 3798/13 - 292. Suppose 0 = 5*a - 8 + 3. Which is bigger: c or a?
a
Let j be 3/(-2)*(-3 + -3). Is 9 bigger than j?
False
Suppose 11 = -2*n + 3*p - 2*p, 5*p + 35 = -5*n. Is -2 at most as big as n?
False
Suppose 3*f = f + 10. Suppose -2*q = -f*b - 3*q - 17, -q = -5*b - 13. Are b and -4 equal?
False
Let j = 96 - 100. Let u(h) = -h**2 - 4*h - 5. Suppose z + 6 = 2. Let r be u(z). Which is smaller: j or r?
r
Let y = 16 - 6. Let b be ((-1)/(-3))/(y/(-15)). Let x be 5/(-3) - 4/(-6). Is x at least b?
False
Suppose -2*t - 3 = -5. Let p be 47/(-15) + (6 - 3). Which is smaller: p or t?
p
Let b = -46739659/516 - -90581. Let i = b + -2/129. Let h = -1 + 0. Is h at least i?
False
Let m = -1.6 + -0.4. Let u = 27.8 - 28. Is u less than or equal to m?
False
Let g = 120 - 1822/15. Let r = 76/45 + g. Do r and -0.1 have the same value?
False
Let w(y) = -2*y - 9. Let n be w(-7). Let f(k) = k**3 - 4*k**2 - 4*k - 7. Let s be f(n). Which is greater: s or -3?
s
Let c(v) = -v**2 - 26*v - 135. Let g be c(-8). Suppose 3*j = z + 27, 2*j - 35 = 2*z - 7*z. Is g >= j?
False
Let m be 10/(-6) + 2/(-6). Let f = 3 - m. Suppose 20 = -4*q - f*o, 4*q = 3*q + 2*o + 8. Which is bigger: -1/6 or q?
q
Let l = 0.79 + -1.79. Which is greater: l or -19?
l
Let r(n) = 3*n + 1. Let a be r(-1). Which is smaller: -3 or a?
-3
Let i be 1/2 - 2/4. Let s be 6/21 + 3/(-84). Which is smaller: s or i?
i
Let j be (0/9)/(3*-1). Which is smaller: 2/21 or j?
j
Let d(x) be the second derivative of x**3/6 + x**2/2 + x. Let p be d(-4). Is p > -1?
False
Let i = -0.2 - 0.8. Let x = -0.45 + 4.25. Let a = x - 4. Is i less than a?
True
Let v = 17 + -1. Let c = 15.9 - v. Let h = 68 - 342/5. Do c and h have different values?
True
Let m be 3/(3/22) - 3. Which is smaller: m or 21?
m
Let d(g) = -2*g + 8. Let o be d(6). Let l = 5 - 10. Which is greater: o or l?
o
Suppose 2*g = -11*g + 39. Let z be ((-8)/10)/(1266/(-45)). Let o = z + 1658/1055. Which is bigger: o or g?
g
Let p = -802/551 + 27/19. Is 0 less than p?
False
Let c = -0.8 - -0.4. Let u = c + -0.1. Let b = -0.3 - u. Is b less than 0.1?
False
Let c = 0.969 + 0.031. Which is bigger: -35 or c?
c
Let n = 17/26 + 1/78. Let q = 12 - 11. Is n greater than q?
False
Let a = -32 - -28. Which is greater: -3 or a?
-3
Let z(u) = u**2 - 3*u + 4. Let m be z(4). Suppose 0 = 4*n - 6*n - m. Let x 