aller: j or -2?
-2
Let v = -2.2 - -2.11. Let l = 0.09 + v. Which is smaller: -0.06 or l?
-0.06
Let p be 8/(-28) - (-24)/(-14). Suppose 0 = -2*u - 5*z + 1, -2*z + 4 = -3*u + 5*u. Suppose -3 - u = 2*v. Is v > p?
False
Let y(v) = v**2 + 1. Let d be y(-6). Let s be -1 + -1 - d*1. Let b = -155/4 - s. Which is bigger: b or -1?
b
Suppose -g - 86 = 4*v - v, 90 = -3*v - 3*g. Let f be (6 - 3) + v/12. Does f = -1/4?
False
Let g be -1 - (1 - 1)/(-3). Let i(k) = -k**3 + 6*k**2 + 5. Let w be i(6). Suppose 0 = w*u - 8*u + 3. Which is greater: u or g?
u
Suppose 0 = -2*w - 2 - 0, 0 = -3*r - w + 362. Let x be (5/(-35))/(1/r). Let c = -17 - x. Is c greater than -1/6?
True
Suppose 2 + 2 = -2*a. Let y be 8/100 - a - 2. Is y at most 0?
False
Let h(d) = d**2 - 18*d - 13. Let i be h(18). Which is bigger: i or -1/9?
-1/9
Let g be 5/15 - (-4)/(-3). Let o be (g/3)/((-1)/12). Does o = 3?
False
Suppose 3*b = -3 - 0. Let a = 2/1065 - -1013/27690. Which is smaller: b or a?
b
Let g = -0.18 - -0.11. Let v = g + -5.93. Let u = 6.5 + v. Which is bigger: u or -1?
u
Let x(c) be the second derivative of c**3/2 + 2*c. Let u(k) = -2*k - 1. Let y(f) = -4*u(f) - 3*x(f). Let q be y(-3). Is 6 greater than q?
False
Let n = 2/81 - 176/567. Is n < 0?
True
Suppose 3*c - 5*i = -c + 16, -2*c - 3*i - 14 = 0. Which is greater: c or -3/8?
-3/8
Let o(i) = -i**3 - 10*i**2 - 9*i - 9. Let r be o(-9). Let p(h) = -h**2 - 9*h + 6. Let y be p(r). Let f be (-2)/11 + y/33. Which is greater: f or -3/5?
f
Suppose 0*j + 6 = -3*j. Suppose -6*v - 12 - 6 = 0. Is j >= v?
True
Let b be (3 - 1) + (-100)/(-3). Let p = 35 - b. Which is greater: -3 or p?
p
Let j be ((-5)/(-10) - 0)*4. Is j greater than 5?
False
Let h be 4/12*9/(-3). Let s be 232/(-56) + 4 + h. Which is smaller: 0 or s?
s
Let l = 98 + -687/7. Let b be (-15 - -14)*(0 + 0). Suppose 2*j - 4*j - 2 = b. Are j and l equal?
False
Let x = 0.095 + 0.105. Let u = -2.1 - -2. Is x bigger than u?
True
Let t be (7 + -7)*3/(-6). Is t greater than or equal to 5?
False
Let l = -78 - -79. Is l <= 1.09?
True
Let p be 2205/2232 - (0 + 1). Let h = -357/1240 + p. Which is bigger: h or 0.1?
0.1
Suppose -v = 5*n - 13, -2*v = 2*n - v - 4. Suppose n*d = d. Let g = 8 + -7. Which is greater: d or g?
g
Let q(x) = -x**2 + x + 1. Let d(m) = -5*m**2 + 17*m + 5. Let c(z) = d(z) - 6*q(z). Let r be c(-11). Is r less than -2/5?
True
Let g be (-30)/2*5/(-25). Is g at least 21/5?
False
Let i(y) = -y**2 - 6*y - 6. Let f be i(-5). Let p(n) = 5*n - 7. Let v be p(1). Is v less than or equal to f?
True
Let a be (-10)/(-3) - (-2)/3. Let z(y) = y**3 + 10*y**2 - y - 7. Let l be z(-10). Suppose -5*k - 2 = 4*j - l, 0 = -a*j - 2*k - 2. Which is smaller: 2/9 or j?
j
Suppose 2*y + 78 = 3*u, y + 30 + 22 = 2*u. Which is bigger: 28 or u?
28
Suppose 0 + 3 = m. Are 2 and m nonequal?
True
Let l = 2 - 3. Let x = 1 + l. Let o be (-1)/6*3 - (-2)/3. Is o < x?
False
Let c = 1 + 7. Are c and 8 nonequal?
False
Suppose -5*i = -2*q - q - 11, 5*i = -q + 23. Is i > 15/4?
True
Let p = 2 + -7. Let a = p - -6. Which is smaller: -1 or a?
-1
Suppose 0 = -l - 4 - 3. Let g = -7 - l. Suppose -3*c + 15 = -g*c. Which is smaller: c or 3?
3
Let b be -4 + (4 + 0 - 18 - 2). Suppose 0*j - 20 = 2*a - 4*j, 0 = -3*j + 9. Let p be a/b + 2/(-10). Which is smaller: -3 or p?
-3
Let g = 4 - -5. Let f = -9.5 + g. Which is smaller: f or 2/7?
f
Let n be (-2 + 0)*2/4. Let f(k) = -k + 4. Let x be f(6). Let i be 3*(2/7)/x. Which is smaller: n or i?
n
Let w = -11 + 12. Is w not equal to 0?
True
Let q = 15.32 + -0.32. Let l = q - 10. Let c = l + -5.1. Are c and -1/3 unequal?
True
Let i be ((-6)/(-4))/(15/(-40)). Is i <= -4?
True
Let o = -20/21 - -9/7. Suppose 5*c - 1 - 4 = 0. Which is greater: o or c?
c
Let j be (-78)/4*(-8)/12. Let y = j + -90/7. Which is greater: 0 or y?
y
Let u(v) = v + 2. Suppose -5*l + 3*y + 0*y = -16, 5*y + 16 = 3*l. Let p be u(l). Let w be (-4)/p + (-2)/(-3). Which is smaller: 1 or w?
w
Suppose 70 = -16*m - 42. Suppose -h = -6*h - 35. Does h = m?
True
Let y = 34.83 - 35. Let r = y - 4.83. Which is smaller: 2 or r?
r
Suppose 2*u + 22 = -4*k, 3*k = k - 5*u - 31. Let i = -5 - k. Let n = -1.1 - -1. Is n < i?
False
Let g = 0.98 - -0.02. Which is greater: -0.7 or g?
g
Suppose 20 = -t - t. Which is smaller: -9 or t?
t
Let u(v) = v - 4. Let g(l) = -2*l + 7. Let w(f) = 6*g(f) + 11*u(f). Let x be w(-3). Is -2/7 < x?
True
Let m(b) = 4*b + 28. Let n be m(-7). Which is greater: n or 8/23?
8/23
Let d(c) = -c**2 - 2*c - 3. Let j be d(-2). Let g be 1/(5*(j - -2)). Which is greater: -1 or g?
g
Let z = -0.8 - -0.83. Let a = -0.07 - z. Which is smaller: -7 or a?
-7
Let z be 6/(-4)*(-80)/12. Let w(y) = -y**3 + 7*y**2 + y + 3. Let t be w(7). Is z less than t?
False
Let x be 1/(-7) - 68/112. Which is bigger: -1 or x?
x
Let a be 1 + -1 - ((-1404)/(-231) + -6). Which is smaller: a or 1?
a
Suppose 3*o - 5 = 1. Suppose -3*y = -0*y + o*s - 7, -s - 14 = -2*y. Suppose -10*v + 5*v - y = 0. Which is greater: v or 1?
1
Let l(r) = -r**2 + r + 12. Let n be l(0). Suppose 4*f = -0 + n. Which is bigger: 2 or f?
f
Let o = -0.16 + 10.16. Let s = 8 - o. Let p = -11/2 + 6. Is s at least p?
False
Let b = 2 + -1.99. Let u = b - -0.09. Is -1 smaller than u?
True
Let t = -0.6 - -0.9. Let u = 0 - t. Which is smaller: 3 or u?
u
Let d be -2 + 2 - (0 - 6). Let q be (-44)/160 + d/15. Which is bigger: 2 or q?
2
Let h = 18 - 17.83. Let s = -6.83 - h. Which is smaller: 0.1 or s?
s
Let i = 5 - 9. Do i and -10/3 have different values?
True
Let u(y) = y**3 - 3*y**2 - 7*y + 6. Let n be u(4). Let g be (-52)/3 + (-2)/n. Let s = 33/2 + g. Which is greater: -2/13 or s?
-2/13
Suppose 0 = x + x - 6. Let l be (-4)/3*(-270)/20. Suppose 3*t = 5*b - 12, 2*b - l - 2 = 5*t. Which is bigger: x or b?
x
Suppose -21 + 5 = -4*z. Let q = 0 - z. Which is smaller: -3 or q?
q
Let v(h) = -h - 5 - 5 + 7 + 1. Let l be v(-6). Which is smaller: l or 5?
l
Suppose 2*v - 4*v + 87 = -5*u, 2*v + 15 = -u. Which is greater: -20 or u?
u
Let q = -62 + 58. Which is greater: q or -2?
-2
Let s be 22/(-18) + 16/72. Let b be 2/(-4)*(-2)/(-8). Is s smaller than b?
True
Let w(n) = n**2 - 9*n + 8. Let k be w(6). Let l be ((-6)/(-5))/((-2)/k). Let i(m) = m**2 - 6*m. Let r be i(l). Which is smaller: r or 1?
r
Let t be -5 - 2*9/(-6). Which is bigger: t or -5?
t
Suppose -5*p - 20 = 3*h, 2*h + 2*h - 12 = 3*p. Let x be (1/4)/((-9)/12)*1. Do h and x have different values?
True
Let l(u) = u + 5. Let k be l(0). Suppose k*x = 3*o - 7, -5*x + 4*o - 15 = -4*x. Let t be x/5 + 9/5. Which is smaller: t or 1/2?
1/2
Suppose -x + 2 = -2*x. Let g(h) = -h**3 + 6*h**2 - 3. Suppose n + 2*n - 18 = 0. Let w be g(n). Which is smaller: x or w?
w
Suppose -2*w - 2 = -b, 5*b + 32 + 18 = -5*w. Let f be 5 + (-2)/b*0. Suppose -f*k + 30 = -3*x, 18 = -k + 2*k - 3*x. Which is bigger: 4 or k?
4
Let m = -63 + 62. Is m <= -1/3?
True
Let x = 8 - 5. Let u = x - 6. Let j = -0.9 + 1.9. Which is smaller: j or u?
u
Suppose -9*f + 15*f = -234. Is -38 not equal to f?
True
Let i(k) = -6*k - 4. Let a be i(-3). Let t = a - 27/2. Which is smaller: t or -0.1?
-0.1
Let r be (-2)/(-5) + (-28311)/315. Let o = -386/7 - r. Let s = 33 - o. Which is greater: 0 or s?
0
Let z(p) = -p**3 - 11*p**2 - 19*p - 10. Let g be z(-9). Is g at most as big as 1?
True
Let z(f) = -f**3 - 8*f**2 - 8*f - 8. Let j be z(-7). Which is bigger: 3/28 or j?
3/28
Suppose r + 2*g - 5 = 0, 7 = 4*r + 3*g - 8. Let v = r + -3. Which is greater: -3/7 or v?
v
Let n = 21 + -30. Is 0.1 at most n?
False
Suppose 4*m + 8 - 20 = 0. Let f = 102 + -98. Which is smaller: m or f?
m
Let r(f) = -f - 4. Suppose g - 3*d = 3*g + 10, 2*g - 4*d = 4. Let p be r(g). Let w be p/6*0/2. Which is greater: w or -3?
w
Let v = -6 - -7. Let k(n) = 4*n + 2. Let a be k(-2). Let t = -4 - a. Is v at most t?
True
Let y(g) = g**2 + 2*g + 2. Let c be y(-2). Let z = -1 + c. Let p be z*2*(-3)/(-6). Which is smaller: -1/7 or p?
-1/7
Let a = 1.2 - 1.1. Which is smaller: a or -7?
-7
Suppose -h + p + 10 + 8 = 0, 0 = -4*h - 4*p + 72. Let y be (-4)/(-8) - h/28. Is y > 1?
False
Let u(j) = j**3 - 4*j**2 - j + 4. Let m be u(4). Let v be (-1 + 51/50)*-4. Which is greater: v or m?
m
Let x be ((-2)/(-4))/((-15)/(-540)). Is 20 <= x?
False
Let a(u) = 2*u - 2. Let q be a(2). Let d = 19 - q. Suppose -5*s - d - 15 = 4*x, 2*s + 11 = -x. Which is smaller: -5/2 