= 11 - 12. Is -3 equal to y?
False
Let n = 26/69 - 1/23. Which is greater: n or -16?
n
Let v(f) = -3*f - 44. Let i be v(-15). Which is greater: i or 14/9?
14/9
Let b = -0.01 + 0.01. Is 0 at most as big as b?
True
Let r = -90 + 83. Is -12 > r?
False
Let z(m) = m - 5. Let s be z(3). Which is smaller: s or -8/3?
-8/3
Let h be ((-2 - -12)*5)/1. Let s = h - 201/4. Suppose 0*n = 2*n. Are n and s non-equal?
True
Suppose -j = -2*j + y - 11, -5*j - 79 = 3*y. Is -3 smaller than j?
False
Suppose 5*j = 5*n + 10, 2*n - 2 + 0 = -j. Let z be j/(-11) - (-18)/(-22). Is -1 not equal to z?
False
Let f be (-16)/(-9) - (-2)/9. Suppose -3*o = f + 1. Do o and -1 have the same value?
True
Suppose -21 - 1 = -h - 5*m, 2*m = -h + 7. Is h greater than or equal to -2?
False
Let n be (-12)/(-18)*(-6)/14. Suppose -2*m = 4*q - 0*q + 94, -94 = 2*m - 5*q. Let a = m - -189/4. Which is smaller: a or n?
n
Let u = 2.92 + 0.08. Let s be 162/120 - 6/10. Let b = -1 + s. Which is bigger: b or u?
u
Let n(y) = 2*y**2 + 15*y + 8. Let q be n(-8). Is 15 less than or equal to q?
True
Let a = -15 - -23. Do 7 and a have different values?
True
Let r be (2 - 40/18)*-1. Which is bigger: 1 or r?
1
Let l be 12*(-4)/32*6. Which is smaller: l or -8?
l
Suppose 0*a + 38 = -3*a + 5*t, a - 4*t + 22 = 0. Suppose 0 = d + d + 10. Which is smaller: a or d?
a
Let i be 6/4*(-2)/(-12). Let b = 1.1 + 9.9. Let c = b - 13. Which is smaller: c or i?
c
Suppose -k + 20 = 4*k. Which is bigger: k or 3?
k
Let f = -3 + 3. Suppose -y - 2*t - 4 = 2, t = -2*y - 3. Does y = f?
True
Suppose w - 8 = -w. Let g = -1 + w. Let n be (-2)/8 + (-13)/(-4). Do n and g have the same value?
True
Suppose -f + 5 = -q - 3*q, 4*f - 9 = 5*q. Is f greater than 0.038?
True
Let r be 4/(-10)*30/(-3). Let c be 16/2 - r/2. Let w(a) = -a + 5. Let v be w(c). Which is smaller: -5/3 or v?
-5/3
Let p be (-2)/(-68)*129 + (-14 - -10). Are 1 and p unequal?
True
Let j = -168 - -331/2. Let i = 15/2 + -8. Which is smaller: j or i?
j
Let k = -3.089 + -0.001. Let c = k + 0.09. Is c greater than or equal to -1/4?
False
Let j = -1 - 2. Let s be 3/((-1)/(-4)*-6). Is j at least s?
False
Suppose -28 - 5 = 3*x. Let a = x + 16. Let i be 2/a + (-2)/(-20). Which is smaller: 2 or i?
i
Let u = 30/7 - -65/42. Which is smaller: 7 or u?
u
Let v(l) = 2*l**2 - 8*l. Let j(i) = 2*i**2 - 7*i. Let h(t) = -7*j(t) + 6*v(t). Let z be h(1). Which is smaller: 2 or z?
z
Let g = 7 - 7. Let x = -295/194 + 2/97. Which is bigger: g or x?
g
Suppose -m = -6*m + 30. Suppose 2*s = m*s + 32. Is s bigger than -8?
False
Let n = 2/9 - -23/18. Which is smaller: n or 2/7?
2/7
Let n = 3962/15 + -264. Let m(f) = -2*f - 4. Let s be m(-4). Suppose 3*y = -s + 1. Is n <= y?
False
Let s be 1/(-3)*12/14. Let c be -7 - (4 + 2)/(-3). Are s and c unequal?
True
Suppose 2*x - x = 3. Suppose 12 = c + 2*j, 8 = c + 4*j - x*j. Let w = c - 3. Is 3 not equal to w?
True
Let l = -0.03 + 0. Let v = -0.23 - l. Is v < 0?
True
Suppose -f + i - 1 = -3, -2*f - 4*i = -4. Suppose -u = 2 - 3. Let o = 2 - u. Which is greater: o or f?
f
Let a = 11 - 16. Let c = a + 4. Let y be (c + -3)*(-6)/16. Which is smaller: -2/3 or y?
-2/3
Suppose y - 19 = -40. Is y greater than or equal to -21?
True
Suppose 2*a + 3*l + 11 = -2*l, -3 = 2*a - 3*l. Do a and -16/5 have the same value?
False
Let x = -21 - -30. Which is smaller: 3 or x?
3
Let k = -13.73 + -0.27. Let o = k - -13.9. Is o bigger than -0.2?
True
Let w = 1419322/111 - 12787. Let b = 2/2265 - -1436/83805. Let t = b - w. Is t >= 1?
False
Let c be ((-24)/20)/(-3) + (-264)/10. Which is bigger: -25 or c?
-25
Let p = -2 + -2. Let g = p - -3.9. Which is smaller: g or -2/11?
-2/11
Suppose 5*l + 17 = 2*u - 5, 22 = 2*u + 4*l. Let f = u + -7. Suppose -3*c - 1 + f = 0. Is c at most as big as 0?
False
Suppose o = 4, 7*q - 6*q + o = 0. Is q >= -11?
True
Let t(m) = -2*m + 1. Let r be t(2). Let a = r - -3. Is 0 equal to a?
True
Let z be -1 + 52/10*-1. Let x = 207/35 + z. Which is greater: 2 or x?
2
Suppose 3*q = 4*r - 0*r - 2, 0 = -3*r - 5*q + 16. Let s be (12/(-15))/(1/(-5)). Suppose 0 = 2*b + r - s. Which is smaller: b or 2?
b
Let n = 1367/10431 - 14/171. Which is bigger: -1 or n?
n
Let t = 43.81 - 44. Let p = t - -0.22. Are -2 and p unequal?
True
Suppose -2*d - 22 = -4*k, -5*d = -5*k + 13 + 22. Suppose -k*f + 5*i = -9*f, 5*f = -4*i. Suppose f = 3*y - y. Which is smaller: 1/3 or y?
y
Let v = 14 - 17. Is 1 not equal to v?
True
Let q = 14.942 + 0.058. Which is smaller: 1 or q?
1
Let g = 1 + -1. Let w = -5 + 4.6. Let n = 0.3 + w. Is n >= g?
False
Suppose j - z = -2*z + 5, -2*j - 20 = -4*z. Suppose j = -0*n - 3*n + 3. Is n bigger than -3/8?
True
Let o = 41 - 121/3. Suppose 2*y - 24 = 4. Let m be ((-14)/(-49))/(2/y). Which is bigger: o or m?
m
Let v = 2 - 3. Let u be (-2)/10 - (-2056)/20. Let a = u + -103. Which is greater: a or v?
a
Let h be 5*(2 - -21)/1. Let v be 3/6 + h/(-30). Is v greater than -4?
True
Suppose 3*j - 30 = -3*p, -14 - 6 = -3*j - p. Suppose k + 3 - j = 0. Let u = -7 - -10. Which is smaller: u or k?
k
Let q = 2288/69 - 65/23. Is q at most as big as 31?
True
Let v(b) = -2*b + 22. Let p be v(10). Let g be p*(-1 - 1) - -5. Is g >= 0?
True
Let x = 26 + -33. Is -31/4 bigger than x?
False
Suppose 40*z - 38*z = -8. Is -3 smaller than z?
False
Let s = 6 - 3. Suppose -s*y = -2*y + 1. Which is greater: y or -1/2?
-1/2
Let i(l) = -l**3 + 10*l**2 - 9*l - 2. Let w be i(9). Let z = w + 6. Suppose -z*v = 3 + 1. Is -1 less than or equal to v?
True
Let g = 2.2 + 0.8. Is g > -2/3?
True
Let j = -2.11 - -0.11. Which is smaller: j or -2/3?
j
Let g(h) = 9*h**3 + 2*h**2 + 2*h - 1. Let w be g(-2). Let m = 96119 - 1827574/19. Let t = m - w. Which is smaller: t or 1?
t
Let p be 4*(-24)/(-7) + 2/7. Is 72/5 > p?
True
Suppose 2 = v - 4*m + 5, -2*m + 4 = 2*v. Let z be (v/(-5))/(4/10). Let d(b) = b**3 - 4*b**2 + 4*b - 4. Let t be d(3). Is t at most z?
True
Let b(g) = -4*g - 1. Let l be b(2). Is -11 at most l?
True
Let x(m) = -m**3 + 4*m**2 + 4*m + 6. Let i be x(5). Suppose i = -g - 1. Is 4 less than or equal to g?
False
Let s = 16 - 15.9. Which is smaller: s or -82?
-82
Suppose -5*v = -u - u + 37, -25 = 4*v + 3*u. Let b = -1 + v. Which is bigger: b or -2?
-2
Let r = 0.88 + 1.04. Let j = -2 + r. Let x = j - -0.08. Which is bigger: -0.05 or x?
x
Suppose 0 = 2*c - c - 6. Which is smaller: 4 or c?
4
Let n = 2 - 4. Let i = -1 - 2. Which is smaller: i or n?
i
Let j = 5 + -5. Let f = 1 - j. Let b = 8 - 4. Which is greater: f or b?
b
Suppose 3*u + 11 = z + u, -5*u + 11 = 3*z. Is z less than 19/3?
False
Suppose -5*d - 3*o + 11 = 0, -4*d - 2*o = -0*d - 8. Are -0.4 and d equal?
False
Suppose q + 3*q = 0. Let i = -8/393 - -7999/393. Let s = -20 + i. Are s and q equal?
False
Let s = 16385/128 - 128. Let x = -346636223/2176 + 1274397/8. Let r = s - x. Is r at most 1?
True
Let w(p) = p**3 - 8*p**2 - p + 9. Let j be w(8). Which is bigger: -2 or j?
j
Let w = -11.9 + -2.1. Are w and -1 non-equal?
True
Let i(b) be the first derivative of -b**4/12 - b**3 + 2*b - 1. Let l(f) be the first derivative of i(f). Let q be l(-6). Which is bigger: q or 4/7?
4/7
Let r be (-10)/(-12) + (-9)/(-54). Let o be 2 - (-2 + (1 - r)). Suppose -f = -o - 0. Which is greater: 5 or f?
5
Suppose -3*d = 48 - 30. Which is bigger: d or -5?
-5
Let q = 6 - 3. Let t be (-11 + -1)*(q - 2). Let b be 6/(-8)*4/t. Which is smaller: b or -3?
-3
Let f = 4 - -1. Suppose -2 = 4*p - 2*r, 0*r - 16 = -p - f*r. Does -4/15 = p?
False
Let x = -78 + 81. Let y be 1 - (0 - (1 + 0)). Is y != x?
True
Let y be 212/(-18) - (-6)/(-27). Let o be 3/y + (-18)/(-8). Is o != 0.1?
True
Let b = -1102 - -65021/59. Do b and 0 have the same value?
False
Suppose -4*z - 30 = z. Let v be (z/(-4))/((-6)/8). Let d = -1 - v. Which is bigger: -1/3 or d?
d
Let y = -1 + 1. Let r be (y - 0 - 0)/1. Let k be (-1 - -1)*1*-1. Is r at most k?
True
Let o be (-4)/(-14) - 1856/(-168). Which is smaller: o or 10?
10
Suppose -4*w + 2*o - 9 - 1 = 0, -5*o = 2*w - 13. Do w and -6/19 have the same value?
False
Suppose -4*h + 104 = -140. Let m = -243/4 + h. Suppose 7*y - 3 = 2*y + o, -2 = -o. Which is smaller: y or m?
m
Let w be 9/6*(-128)/108. Which is smaller: -1 or w?
w
Let c be 1 + (2 - -33) - 2. Let a = c - 18. Let v be (0 + 2)/(a/4). Which is bigger: -2/5 or v?
v
Let y be 6/2 - (-1102)/7. Let n = y + -160. Which i