2?
-2
Let g(z) = 2*z - 8. Let s be g(6). Let k(f) = -3*f + 2 + 0*f + s*f. Let o be k(-2). Which is smaller: -1/5 or o?
-1/5
Suppose -5*j + 29 = 2*y - 0*j, 0 = -4*y - 3*j + 79. Which is smaller: 23 or y?
y
Let r = -3 + 2.94. Let x = r + -0.04. Is x less than or equal to -1/4?
False
Let f = 7 - 9. Let r be ((-2)/4)/((-1)/f). Is r at least as big as -1?
True
Let g be (2/(-3))/(224/(-24)). Is 0 equal to g?
False
Let y be (-1)/4 + 4/16. Let a = 1.35 - 0.15. Let q = a + -1. Which is smaller: y or q?
y
Suppose 6*b = 8*b - 30. Let o = b - 15. Which is bigger: 1/17 or o?
1/17
Let m = -61073/78 - -783. Which is bigger: 0 or m?
m
Let g be (-16)/4*(-2)/(-8). Let j be g/(-1)*9/(-162). Is 1 at most j?
False
Let h = -28 + 44. Let z be 0 - 0 - (-6)/h. Is z equal to 0?
False
Suppose o = -0*o + 4. Suppose 0 = -2*a - a - o*f + 20, f + 18 = 5*a. Is 4 bigger than a?
False
Let d = -19/45 + 2/9. Are d and -8 unequal?
True
Suppose 5 + 3 = f. Suppose -5*p + 22 = -f. Does 6 = p?
True
Let m = -1.88 - 0.12. Suppose 0*k + 4*k = 5*l + 12, 5*k = -4*l + 15. Which is smaller: l or m?
m
Let m = 0.4 + -1.4. Which is smaller: m or 11?
m
Let o(k) = k**2 - 6*k. Let a(b) = -5*b**2 + 25*b. Let s(u) = -2*a(u) - 9*o(u). Let x be s(-3). Is -6 less than x?
True
Let h = 7191/8 + -900. Let f = h - -11/8. Let w = -1.4 - -1.9. Which is bigger: w or f?
w
Let b(s) = -s**2 + 7*s + 8. Let t be b(9). Let p be 40/12*(-18)/t. Which is bigger: 5 or p?
p
Let u be 1*(-106)/(-2)*-127. Let o = u + 40511/6. Let p = 43/2 - o. Are p and 1 unequal?
True
Let v be -2 + (-65265 + -2 - -3). Let b = 457605/7 + v. Let p = b + -106. Is 1 <= p?
False
Let j(z) = -z**2 - 10*z + 5. Let c be j(-11). Let h be (-2)/c + 2/30. Does -6/7 = h?
False
Let d = 2/69 + -11/115. Is d < -1?
False
Suppose a + 4*a + 25 = 0. Let c = -2 - a. Suppose -c = 5*m - o - 3*o, 1 = 5*m - 2*o. Which is smaller: m or 1/7?
1/7
Suppose -3*b = -15, 39 = 4*o - o + 3*b. Suppose -2*h = 5*v + o + 13, 4*v = 4*h. Is h not equal to -2?
True
Let m be (0 - (1 - 1))*1. Let v be 38/78 + (-21)/9 + 2. Which is smaller: m or v?
m
Let r be ((-22)/(-5))/(49/35). Which is smaller: r or 4?
r
Let k = -3.5 - -0.5. Let z = -11 + 15. Let s = z - 6. Which is greater: k or s?
s
Let q be (0 - 0) + (-9 - -4). Which is smaller: -7 or q?
-7
Let j = -4 - 2. Suppose 0 = u - 9*u - 56. Is u less than j?
True
Let y = -8 + 12. Let m be 14/6 + y/(-2). Let q(u) = -u**2 + 2*u. Let i be q(2). Which is greater: i or m?
m
Let d = 0.0366 + 2.0534. Let v = -0.09 + d. Let f(t) = 2*t**3 - 1. Let o be f(1). Which is bigger: o or v?
v
Suppose -4*g - 4*b + 16 = 0, 4 = g - 3*g + 4*b. Suppose -3*j + 6 = -2*s, -j + 21 = 5*s + 2. Suppose g*w = -s*w - 25. Is w at least -5?
True
Suppose -24 = 22*z - 2. Is -9/8 less than or equal to z?
True
Let m = 7.62 - 0.12. Let x = 7 - m. Does 1 = x?
False
Suppose -3*t = -0*t - 2*u + 4, 6 = 3*u. Let g = t + 1. Let k(b) = -6*b - 28. Let j be k(-5). Is j > g?
True
Let q(f) = -f. Let a be q(0). Let o = -33/20 + 799/460. Is o greater than a?
True
Let z(c) = -c**2 + 7*c - 7. Let h be 84/8*(-2)/(-3). Let i be z(h). Which is greater: i or -8?
i
Let l = -0.3 + -6.2. Let m = l - -6. Which is greater: 1 or m?
1
Let y = -1 - 4. Suppose -3*h = -4*h. Suppose 0 = -3*w - h*w - 12. Is w != y?
True
Let v = 1/27 - 31/108. Let n = 23 - 25. Is n smaller than v?
True
Let l = 5 + -2. Let a be (-9 + 6)/(2/6). Let i be (l/a)/((-3)/27). Is 3 < i?
False
Let r = 9 - 8.93. Let f = r + -0.07. Is -2/5 less than or equal to f?
True
Let h = -2/189 - 179/945. Let v be -2*(0 + 3)*-1. Suppose -2*m = -2*l + 8, 4 = -v*m + 3*m + l. Which is smaller: h or m?
h
Let o be (0 + 1/7)*(-28)/(-40). Which is smaller: o or 0?
0
Let l(a) = -a - 8. Let q be l(-8). Suppose q - 3 = 3*y. Let c be 2/(-10)*5/(-4). Which is greater: c or y?
c
Let u = 79 - 82. Is -3 < u?
False
Let l = 1.6 + -1.4. Is l bigger than -6?
True
Let u = 2 - 0. Let q(d) = -d**3 + 3*d**2 - 2*d. Let w be q(u). Suppose w = -2*f - 3*f. Are -1/4 and f nonequal?
True
Let w = -10 - -17. Let m be 2/w - (-38)/(-84). Suppose -3*v = v + 4. Which is bigger: m or v?
m
Suppose 25 = k - 0*k - 5*r, -3*r - 27 = -3*k. Suppose k*g - 2*g = 0. Suppose 6*i = 2*i + 20, -4*v + 5*i - 21 = g. Are v and 2 unequal?
True
Suppose 0 = 4*a + 5 - 5. Which is greater: 9/13 or a?
9/13
Let k = -9 + 2. Let n = k - -2. Which is greater: -7/2 or n?
-7/2
Let p = 22 - 61. Let f = 33.2 + p. Let s = f + 0.8. Which is greater: s or 0.1?
0.1
Let k be (4/(-12))/(2/(-42)). Let p = k + -3. Suppose -2*f + p = 5*m, 4*f - 4*m = -0*m + 8. Is f less than 1/2?
False
Let p = 7 - 16. Is -9 <= p?
True
Suppose 3*a + 4*u = -0*a + 15, -20 = -4*a + 4*u. Suppose -12 = 5*w - s, 3*s + s + 2 = -a*w. Is -3 smaller than w?
True
Let m be (3 + 10/(-6))/((-8)/(-6)). Let l be (-1)/5*(-2)/(-6). Which is greater: l or m?
m
Let d(x) = 3*x + 19. Let u be d(-6). Is -6/53 > u?
False
Let r(o) = 7*o + 1. Let y be r(1). Let l(p) = -p + 8. Let c be l(y). Is -4/3 smaller than c?
True
Let n = 32 - 32. Is -25 > n?
False
Let y = 115 + -80. Let a be (-7)/y*2/(-4). Is 0 equal to a?
False
Suppose -3*p = -2*l - 2 - 9, 0 = l + 1. Are p and 7/3 unequal?
True
Let n = -2/67 - 51/536. Which is bigger: n or -1?
n
Let a = -449/12 + 583/12. Let n = -23/2 + a. Which is greater: n or 1?
1
Let f(o) = o**2 + o + 2. Let b be f(0). Let k = -22 + 22. Suppose b*i - 10 + 2 = k. Which is bigger: 1 or i?
i
Suppose 0 = -3*f + 10 - 4. Suppose -4*s + 3 = -h + 1, 2*h + f*s = 6. Is 3 <= h?
False
Let b = 4 + 5. Suppose 15 + b = -2*n + 4*x, 0 = -2*n + 5*x - 29. Is n at most as big as -2?
True
Let w = -6/11 + 249/517. Is -1 less than w?
True
Suppose k = 6*k. Let c be k - 0/((-2)/(-1)). Let l = -0.08 - -3.08. Is l at most c?
False
Suppose -5*s + 32 + 3 = 0. Suppose -5 = -2*q - s. Which is bigger: q or 3/2?
3/2
Let h(n) = 3*n + 9. Let x(a) = -2*a - 4. Let o(w) = -3*h(w) - 5*x(w). Let c be o(6). Let z be (-2)/(-8) + 42/(-72). Is c at most as big as z?
True
Let y = 5629/25 - 225. Let b = 11/225 - y. Suppose 21 = 5*v + 4*n, 0 = -0*v + 5*v - 2*n + 3. Does v = b?
False
Suppose -37 + 5 = -4*s. Let w = 12 - s. Suppose -3*p - w = -p. Which is smaller: p or -3?
-3
Suppose s - 6*s + 2 = -3*p, -9 = -5*s - 4*p. Suppose -2*w - 17 = -s. Do -3 and w have the same value?
False
Let m = -6 + 14. Let l be (2/(-10))/(m/(-50)). Which is smaller: l or 0?
0
Suppose 3*b + 4*a - 6*a = -401, 402 = -3*b + 3*a. Let w = b + 663/5. Which is smaller: w or -1?
-1
Let k be 2 + (-3 + 1)*1. Suppose -5*p - 9*p = -17*p. Is p != k?
False
Let n(c) = c**3 - 8*c**2 + 2*c - 11. Let j = 7 + 1. Let o be n(j). Suppose o*z - 10 = -5*a, -z + 6 = -a + 4. Which is bigger: 1 or z?
z
Suppose 4*h = 3*h + 1. Let k = h - 2. Let s be (-1)/2*2/5. Is s less than k?
False
Let q = 2/57 - -143/798. Let h be (-3 - -1)/(-4 + -3). Let a = h + q. Which is greater: a or 0?
a
Let w = -0.6 + -6.4. Which is smaller: -2 or w?
w
Let q(j) = -3*j + 35. Let w be q(12). Let c be ((-1)/4)/(39/(-24)). Is w greater than or equal to c?
False
Let x be 5 - 3*(-8)/108*-15. Let l = -3 + 4. Which is greater: l or x?
x
Let i be 1/3*(-12)/11. Which is smaller: i or 2/13?
i
Let s = -0.6 - -1.2. Let c = 13.6 + -15. Let r = c - s. Is r at most as big as -2?
True
Suppose 3*w + 0*w = 0. Let b(j) = -j**2 - j + 6. Let m be b(w). Suppose 0 = -2*v - 0 - m. Is -3 smaller than v?
False
Suppose 2*o = 27 - 1. Is 13 >= o?
True
Let m be 20/10 - 1*-4. Let p = -28 + 48. Suppose 3*y + 2 = p. Is m at least as big as y?
True
Let f = 52 + -53. Do 0.1 and f have different values?
True
Let b = -1 + -11. Which is smaller: -2 or b?
b
Let x = 274/3 - 3044/33. Is -1 equal to x?
False
Let u be ((-65)/63)/(-1) - 1. Are 0 and u equal?
False
Let m be 4/(-5)*-5*1. Let y be ((-45)/(-36))/(2 - 14/8). Is m less than or equal to y?
True
Let i = -9319/3 + 3164. Let j = 57 - i. Is -1 at most as big as j?
True
Let q = 1 - 1. Does 1 = q?
False
Let b = -5 + 6. Suppose -2*l + b = -l. Do -2/9 and l have the same value?
False
Let k be (-1)/(-2)*(-8)/(-6). Let g = -19 - -22. Let s be g*(-2)/12*-2. Which is smaller: s or k?
k
Suppose 3*x = 5 - 11. Which is smaller: x or -3?
-3
Let u = 0.145 - -10.755. Let y = u - 11. Which is greater: -4 or y?
y
Let i be (1 - 0)/(2/(-12)). Let r = -67 + 61. Are r and i non-equal?
False
Let t be (-60)/130*2/6. Suppose -6*m + 9 = -3*m. Which is smaller