 j = -91 + 63. Which is smaller: j or -27?
j
Let b(f) = f**3 - 4*f**2 + f - 3. Let r(x) = x**3 - 7*x**2 + 5*x + 5. Let i be r(6). Let c be 1 + i + 2 - -2. Let o be b(c). Are o and 1/6 equal?
False
Let a = 8 - 6. Suppose 0 = -2*d + b + 3, 0 = -0*b + a*b - 2. Is d at most as big as 7/3?
True
Let j = 0.096 + -1.096. Is j at most 3/2?
True
Let u be (-100)/34 - (-2 - 1). Is u bigger than 1?
False
Let o(v) = 1 - v + 0*v + 4. Let i be o(8). Let x be (-3)/i + (-34)/38. Which is smaller: x or 0?
0
Let u = -11 + 7. Let l = 40 + -37. Let n = l + u. Is 2/15 <= n?
False
Let j = -1423/18 + 79. Let b = j - -13/18. Which is greater: -0.1 or b?
b
Let h = -2.4 + 2.43. Let k = 17.03 - h. Does -2/7 = k?
False
Suppose -2*o + 10 = 2. Let g be o*((-2)/(-8))/(-1). Which is greater: g or 1/36?
1/36
Suppose 0 = 4*j - 2*j. Suppose j = -3*q - q. Suppose q*t - u = 2*t + 2, 0 = 2*t - 2*u + 14. Is t not equal to -2?
True
Suppose -3*h = 2*h + 30. Let j = h + 7. Is 2/31 bigger than j?
False
Let k = 22 - 15. Let d = -4 + k. Which is greater: d or 1/3?
d
Let t be (-132)/(-1425)*(-290)/(-12). Let u = t + -40/19. Are u and -1 unequal?
True
Suppose 6 = 3*g - 0*g. Suppose 0 = -g*o - 4*v - 22, -6*o = -2*o + 5*v + 32. Let j(x) = x - 1. Let r be j(-2). Is o at most as big as r?
True
Suppose 0 = j - 5 - 4. Let o = -6 + j. Suppose b - o*b - 4 = 0. Is -2 less than b?
False
Let h = 0.8 - 0.85. Let p = h + 0.15. Let y = -2 - -3. Which is greater: y or p?
y
Suppose -6 - 9 = -3*h. Let d(m) = -m**3 + 5*m**2 + 16*m - 8. Suppose -2*l + 52 - 13 = 5*j, 2*j - l = 12. Let g be d(j). Which is smaller: g or h?
h
Let h be (-6)/(-4) + -4 - (-9)/6. Are h and 1/42 non-equal?
True
Let c = 13 - 8. Let g = c - 6. Which is smaller: -2 or g?
-2
Suppose -1143 - 281 = -16*f. Which is greater: 0.1 or f?
f
Let k = -5 + 6. Let w = k - 0. Is w less than 0?
False
Let b = -33 + 35. Is -16 not equal to b?
True
Let s be ((5 - 0) + -5)*(0 + 1). Which is smaller: s or -4/21?
-4/21
Let u = -0.36 - -0.04. Let h = u + 0.02. Let p = h + 0.2. Which is bigger: p or 2/5?
2/5
Suppose 2*j + 4 = 3*j. Suppose 0 = -j*x + 7*x. Which is smaller: -0.04 or x?
-0.04
Suppose 0 = 2*t - 3 - 1. Let l be (7/(-14))/(t/(-8)). Is l bigger than 2?
False
Let s(h) = h**3 + 4*h**2 + 3*h. Let z be s(-2). Suppose z*c + 2 = 4. Is c <= -1/3?
False
Suppose -167*o = -168*o - 1. Let c = 2.9 + -5.1. Let w = 2 + c. Which is bigger: w or o?
w
Suppose 3 = 5*t - 7. Suppose -2*f - t*f = 4. Which is smaller: -3 or f?
-3
Suppose -5*m - 15 = 4*v + 5, -4*v + 16 = -4*m. Which is bigger: v or -1?
v
Let j be 1*(-3 - -4) + -2. Let r = -18 - -9. Let w be (-6)/21 + r/(-7). Is w not equal to j?
True
Suppose 0 = -5*k - 1 - 19. Are k and -11/4 unequal?
True
Let m = 10 + -15. Let b = m - -4. Suppose -5*t - 13 - 2 = s, 3*t - 5*s - 19 = 0. Is t at least b?
False
Suppose -2 = -2*w + 4. Suppose 0 = w*r - r. Suppose -3*d - g - 11 = 0, r = 3*d + 4*g + 15 + 2. Is d bigger than -3?
False
Let g = -1.8 + 3.8. Let d = -4 - g. Is d not equal to -0.3?
True
Let f = -10 - -7. Is -8/3 smaller than f?
False
Let m = -2/39 + -11/39. Let u(f) = -f**2 + 5*f. Let c be u(4). Suppose y + c = 3*y. Which is smaller: y or m?
m
Suppose -3*w = 2*w. Let a = -24909/3071 + 940/111. Let j = -2/83 + a. Is w at least j?
False
Let r = -3 - -6. Suppose 3 = r*w + 15. Are -5 and w non-equal?
True
Suppose 5*h - 136 = 2*r, -3*h - 5*r + 63 = -0*h. Suppose 0 = 5*m + 3*t - h, 16 = 5*m - t - 22. Let k = -7 + m. Which is bigger: -1/6 or k?
k
Let s(p) = -p**2 + 4*p + 3. Let v be s(4). Suppose -3*j + 4*w - 5 = -0*w, w + 1 = v*j. Which is bigger: j or 3?
3
Let j be 10/(-22)*(-6)/5. Let f(t) = -3*t - 3. Let y be f(-5). Let a = y - 10. Which is bigger: a or j?
a
Let a be (2/(-12))/(3/4). Let b = -85 + 766/9. Let i = a - b. Which is smaller: i or 1?
i
Let n be (-2)/8 - (-692)/2896. Let d = n - -368/543. Suppose 0 = -0*l + 4*l - l. Which is smaller: d or l?
l
Let m = 11.1 + -1.1. Let y = 10 - m. Is y smaller than 0?
False
Let y be 1 + -2 + (5 - 3). Which is greater: y or 2/25?
y
Let b = 4 - 3. Suppose -3*l + 18 = -3. Let u(r) = r - 8. Let f be u(l). Which is greater: b or f?
b
Let b = -4 + 18. Let y = b - 9. Let m = 4.8 - y. Is m bigger than 1/3?
False
Let t be (-2)/7 + (-2)/(-7). Suppose 4*o - 1 = 3. Which is smaller: o or t?
t
Let p = -119 - -130. Which is bigger: 12 or p?
12
Let m be ((-5)/16)/(1/4). Let t(w) = w**3 - 4*w**2 + w + 4. Let y be t(3). Is m at most as big as y?
False
Let i(l) = l - 2 - 4*l**2 + 3*l**3 - 2*l**3 + 2*l - 1. Let g be i(3). Is g not equal to 1/2?
True
Let a = 0.9 - 0.9. Is a > 0.1?
False
Let s(y) = 4*y**2. Let q be s(-1). Let f be (-24)/(-20) + 3/30*-2. Which is smaller: f or q?
f
Suppose 6 = -0*d + d. Suppose -5*u - d = 9. Let j be -2 - (18/2)/u. Which is bigger: j or 2/5?
j
Let g be ((-1)/4)/(29/8). Is 1 not equal to g?
True
Let t = 6.81 + -7. Let n = 9.81 - t. Which is bigger: -2/5 or n?
n
Let z = 0.1 + 0. Let l = -4 - -5. Is l >= z?
True
Let l = 0 + 1. Let s = 159 + -172.8. Let c = 14 + s. Which is greater: c or l?
l
Let y(u) = 2*u**2 + 3*u. Let a be y(-2). Let t be 10/(-24) + a/3. Which is bigger: -2 or t?
t
Let n = 50 + -452/9. Let y be 5 + 1*(1 - 2). Suppose -2*a = -2*t + y, 2*a - 6*a = 5*t - 1. Do t and n have different values?
True
Let q = -36 - -96. Which is smaller: 61 or q?
q
Let j = -52 + 126. Let o = j + -145/2. Is 2 smaller than o?
False
Suppose -4*k = -6 - 6. Suppose k*b = 4*w + 19, 4*w = 5*b + 3*w - 26. Suppose -a - 3*v + b = 0, 0*v = -a + v - 3. Do 1/3 and a have the same value?
False
Let g = -4493/9 - -497. Let r = -85/18 - g. Let q = 2 - 5. Which is smaller: q or r?
q
Let m be (-12)/(-21) - 59/(-7). Suppose 3*v = -0*v + m. Which is smaller: -2/7 or v?
-2/7
Let y be 2/5 - 12/55. Let t = -10 - -3. Let j = 6 + t. Is y at most j?
False
Let x(k) = -19*k - 1. Let p be x(1). Let q be -3 + p - 2/(-1). Let s be (9/6)/(q/4). Which is smaller: s or 1?
s
Suppose -3*w - 28 + 10 = 0. Let c(j) = -j**3 - 5*j**2 + 7*j + 7. Let i be c(w). Which is smaller: i or 2/33?
2/33
Let m be 6 + 24 - (2 - 1). Suppose 0 = -3*l + 7 + m. Let a be (-9)/l - (-1)/2. Which is bigger: -1 or a?
a
Let l = -1377/7 - -197. Let t(w) = -w + 2. Let a be t(2). Which is greater: a or l?
l
Suppose -2*p = -4*p + 206. Suppose 0*o + p = -5*o + 3*c, 3*o = 4*c - 64. Let h be ((-3)/26)/((-15)/o). Are h and 1 equal?
False
Let z be 4/((-144)/69) + (7 - 5). Is 0 <= z?
True
Let c = -0.215 - -0.005. Let x = 0.14 + c. Are x and 1 nonequal?
True
Let r be (10/(-14))/((-52)/(-14)). Let x = r - 4/13. Suppose c - 4*c = 0. Which is smaller: x or c?
x
Let g = 6 + -4. Suppose -4*r - p = -7, -5*r + 10 = -4*r + 3*p. Which is smaller: r or g?
r
Let k = 35/46 + -6/23. Let w(b) = -b**3 + 9*b**2 - b + 9. Let f be w(9). Suppose f = -3*j + 2*j. Is k bigger than j?
True
Let i = 2.9 - 3. Let t = 0 - 0. Let d be (t - 1)/(9/6). Which is bigger: d or i?
i
Let l = -0.1 - 0.4. Let t = l - -0.6. Suppose 4*o - 20 = 4*b, 2*b = -2*o - 1 - 5. Is t at least o?
False
Let h be 2*1*(-1)/(-2). Let p = 969/7 + -138. Do h and p have the same value?
False
Let v be (1/6)/((-28)/478). Let b = v + 11/4. Which is smaller: b or 0?
b
Let a = 32 - 158. Is a equal to -126?
True
Let g be 6/2 - (-22)/(-6). Let z = 2.9 - 0.1. Let c = 3 - z. Which is greater: c or g?
c
Let k(l) = l**2 - 2*l - 2. Let j be k(5). Are j and 13 unequal?
False
Let x(n) = -n - 8. Let q be x(0). Is -8 less than q?
False
Let x = 0 - -1. Let c be (3/15)/(4/10). Which is bigger: x or c?
x
Let z = 0 - 0.3. Let y(m) = -5*m + 9*m**2 + 3*m**2 - 15*m**2 + 4*m**2 + 3. Let v be y(5). Is z at most as big as v?
True
Let u be -9 + (-1 - -1 - -2). Which is greater: u or -8?
u
Let l = 76 + -76.4. Let o be (1/(-8))/(2/4). Which is smaller: l or o?
l
Suppose 0*v - 1 = -v - 3*t, 0 = -v + 4*t - 13. Which is bigger: v or -3?
-3
Let a = 626/753 - -1/502. Which is greater: a or 1?
1
Let g = -19 - -17.3. Let f = g - -2. Let b = f - 0.4. Do -0.1 and b have the same value?
True
Suppose 14 = -2*w - 0*w. Let g = 11 + w. Suppose m + 4 = 4*m + 2*j, -2*m = -g*j + 8. Is m less than or equal to -1?
False
Let x = -23 - -22.9. Is 13 less than or equal to x?
False
Suppose 3*r - 4*x = -9*x, -2*r = -x. Let w = 2 + -4. Is w greater than or equal to r?
False
Let l(f) = -f - 2. Let y be l(-10). Let g be (18/y)/(12/(-32)). Let p = 8 - 13. Which 